ZK AMA|关于零知识技术的 10 个常见问题
本文集合了有关零知识证明的一些常见问题,包括可持续性优势、可组合性、隐私和可扩展性的主题。
参加了一系列 workshop、讲座和 event。
无论你是否来到现场,我们使命都是相同的:传播零知识 (ZK) 的魅力。因此,本周生态成员回答了一些线上线下收集来的 ZK 问题。
Mina 的生态合作伙伴之一 O(1) Labs 回答了几个常见问题,拉开了序幕。
1
ZKP 在可持续性上有什么优势吗?
虽然没有研究数据的支持,但理论上,在区块链上本地使用递归零知识证明 (ZKP) 比常规的权益证明 (PoS) 和工作证明 (PoW) 共识机制更具可持续性。
例如,Mina 在区块链上原生使用递归 ZKP,因此它的大小保持在 ~11KB。传统区块链需要节点运营者使用耗能机器来验证数百 GB 的数据以运行节点,但 Mina 轻量而固定的大小允许用户通过各类消耗更少能量的常规计算机运行节点。当你将其与 PoS 系统结合使用时,你会得到一个非常环保的区块链。
2
关于递归 ZKP,无限可组合性意味着什么?
与 ZK 有关的递归就像一个循环的概念。它是指你对另一个证明的证明,对另一个证明(或同一证明)的证明,以此类推。
无限可组合性意味着你可以生成一个关于 zkApp 的某个部分的证明,并将该证明用于 zkApp 的另一部分以执行其他操作。例如,你可以生成一个证明,证明你控制某个具有特定属性的 Mina 账户,然后将其传递到智能合约的另一部分中,该部分将使用此信息在特定条件下允许资金转移。
往往更注重处理层面的效率,而可组合性则更注重你能用一个(或多个)所能实现的丰富程度和重复利用它们的能力。
3
在游戏方面,你希望看到什么样的 ZK 用例或应用?
完全可验证的隐私型扑克:如果你在线上玩扑克,有人可能会看到游戏的完整状态,或者运行服务器的人可能正在与身边的人交流以有效作弊。借助零知识证明,你可以构建完全可验证的隐私型扑克,以避免共享数据或类似的负面动态。
在最新一轮的 zkIgnite 中,有几个获得了资助的游戏类 zkApp 也非常有趣。
4
zkRollup 和 zk-zkRollup 有什么区别?
"zk-zkRollup"指的是对零知识证明(ZKP)进行另一层零知识证明。基本上是证明证明的正确性。这是一种增加匿名性的方式,也可以说是递归 SNARKS 的另一种说法,这也是 Mina 的核心。
有一个名为 Anomix 的 zkIgnite 项目正在做这件事,并且正在做更多的隐私链上操作。还有另一个获得资助的 zkIgnite 项目叫做 Noord,它是一个可扩展、模块化和可互操作的 zk-zkRollup。
5
利用 ZK 技术(例如 Mina 在区块链中所使用的)压缩信息是怎么做到的?
这种压缩是一种近似值,计算上是不可伪造的。类似于像的做法。
6
ZK 技术是否只对像 rollup 这样的可扩展性有用?
这是一个普遍的误解。ZK 不仅与可扩展性有关,它还可以用于基础设施和应用级别的隐私和证明。
包括 rollup、桥接、轻客户端和状态通道在内的区块链等基础设施可能会使用 ZK 技术。然而,ZK 主要作为一种隐私加密原语是独一无二的,因为它可以在不泄露信息细节的情况下验证信息。 利用这项技术将其隐私保护功能应用于现实世界的应用,例如在不泄漏你的社会安全号码的情况下证明你的信用评分。
7
零知识证明能证明什么?
近期 ZKP 技术的进展使得任意计算的证明成为可能。基本上,现代 ZKP 系统允许用户证明任何可以表达为程序的内容。但是还有一些注意事项。
由于这些系统所依赖的独特的加密假设,某些在实际硬件上高效的操作在零知识电路中可能效率不高。
8
添加 ZKP 可以实现全面的完全私密吗?
这是一个很好的想法,如果只需添加零知识证明就能使所有东西完全私密。但事实比较微妙。零知识证明在不泄露相关信息的情况下证明了计算,但仍然需要有人进行计算,并且该人必须知道相关信息。
最近有几个非常有趣的密码学分支引起了人们的关注。其中最流行的三个分支是零知识证明(计算证明)、同态加密(如果 A+B=C,则加密的 A +加密的 B =加密的 C)和多方计算(将过程传播到多方,防止任何一方直接看到该过程)。这些技术各自都非常强大,但它们的结合使用可能会更加有效。例如,将零知识证明和同态加密结合使用可以实现强大的匿名投票。
零知识证明是一项前沿技术,正在迅速创新并被多个项目采用。Mina 协议是该领域的领先者,具有原生的 ZK 链和 ZK 智能合约层可用于应用程序。
如果你对零知识有进一步的疑问,请加入 Mina Discord 上的#zkapps-questions 或 general channel,或订阅 Mina newsletter,了解 ZK 在 Mina 生态中的最新进展。
About Mina Protocol
#PoweredByParticipants
Mina 是全球最轻量区块链,由参与者参与治理。
凭借其优雅的设计,Mina 是首个实现简易编程性零知识智能合约(zkApp)的一层网络。Mina 独特的隐私和安全功能及其通过 zkApp 与任何网站链接的能力,使得 Web3 更具安全性和私密性,极大地推动着所有人都应享有的安全民主未来的构建。Mina 由总部位于美国的非营利组织 Mina 基金会管理。
全球最轻量区块链 人人皆可参与
公众号|Mina Protocol Official
微 博|Mina_Protocol
往期回顾
🔥 立即注册,加入 zkIgnite Cohort 2!
2023 Q1 透明度报告
Rollup 的全面指南以及 Mina 在其中的角色