...方式解决了这个问题： 1. **zk-rollups:** 承诺通过随附的零知识证明来证明是正确的。 2. **Optimistic rollups**: 承诺被乐观地接受，但验证者会检查它们，如果发现有承诺不正确，则会提交欺诈证明。在 optimistic rollups 的情况下，承诺...
...B, 或者说 100 ETH)，Snoop 在他的浏览器中本地生成了一个零知识证明 ([zero-knowledge proof](https://en.wikipedia.org/wiki/Zero-knowledge_proof)，ZKP)。 利用零知识证明，他能够证明出这条等式 **A + B = C + D** ，而无需揭露他们的任意资产价值。 ...
...发起者）。这是有意设计的！在内部，n-per-epoch 利用了零知识包含证明，通过使用[semaphore](https://semaphore.appliedzkp.org/) 库来实现。该合约通过提供的 zk 证明来强制进行身份验证，而不依赖交易的签署者。[ERC4337](https://eips.ethereum.o...
...区就扩展平台的最佳方法展开了激烈的辩论。一方认为零知识（“ZK”）rollup 是未来，而另一方则提倡乐观 Rollup（“OR”）。大同小异。本质上，两者之间的主要区别在于它们证明发生在 Layer 2 (“L2”) 链上的交易正确性的方式...
...，为什么它们是如此重要的创新。 ## 长话短说 - 零知识（ZK）证明是一种加密技术，可以验证用户是否知道某些信息而不要求他们透露这些信息。 - 零知识证明是两种类型的区块链Rollup的基础， Rollup 是处理链外交易的扩容...
...至关重要”。具体而言，他提倡主动运用形式化验证、零知识证明、多方计算等前沿技术，全面增强区块链协议和智能合约的防护能力。这也正是其创立CertiK的初心和愿景，即通过严谨的形式化验证技术，让Web3.0世界更加安全，...
...资源。虚拟机必须能够执行字节代码，执行任何必要的零知识证明的生成和验证，并管理整个执行环境。所有这些任务都需要大量的计算资源，这可能会增加系统的总体开销。另一个开销来源是执行字节代码所需的时间。由于虚...
...n/2019/08/15646287642674.jpg) Sapling是一个比较大的升级，零知识证明的性能提升了十几倍。Sapling不用JoinSplit结构表示交易，而是用SpendDescription和OutputDescription直接表示“花费”和“支出”。一个比较重要的设计是：valueBalance，Spend...
随机线性组合是在零知识证明算法中常用的技巧，它可以通过一次等式检查以概率方式验证 m 个等式检查。假设我们有 m 个内积需要证明。我们不需要生成 m 个证明，而是创建等式的随机线性组合并证明它。 ## Pedersen承诺的等...
...案有助于防止证明者作弊，并有助于保持他们的见证为零知识。 >- 原文链接： [rareskills.io/post/trust...](https://www.rareskills.io/post/trusted-setup) >- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～