...共分布式账本上实现隐私保护的交易，特别是通过使用零知识证明（ZK proofs）来确保交易的隐私性和可验证性。 **主要观点和关键论据：** 1. **隐私保护智能合约的构建**：Zac强调，构建隐私保护的智能合约需要将私有状态...
...论这个主题之前，让我们花点时间探讨 zkEVM 是什么，零知识证明的理论基础，以及它如何在各种Layer2项目中迅速发展。本文旨在比较当前利用 zkEVM 的 ZK rollups 的特征，假设读者对以太坊、Layer2解决方案和零知识证明有基本了解...
使用[Halo2](https://learnblockchain.cn/article/3442)开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。 为了清晰地讲解这些...
...一个多项目的承诺了； 多项式的系数a，就是多项目的知识，知道了一个多项目的系数，就知道了多项目； 我们知道，从一堆数据中可以得出一个多项式的点值形式；比如把一个文件分成4份，每份大小8bite；选择x轴从0开始...
...法可以分为两种类型：乐观 Rollups（Optimistic Rollups）和零知识 Rollups（zk-Rollups）。 - Op Rollups：假设交易是有效的，只有在有争议时才进行验证 - Zk Rollups：通过零知识证明技术，在提交交易数据的同时，保证其正确性。 ### Pl...
...507) sigma协议的扩展--OR proof [区块链中的数学 - 何谓零知识证明?](https://learnblockchain.cn/article/2445) 何谓零知识证明 [区块链中的数学 - RSA累加器的非成员证明](https://learnblockchain.cn/article/2444) RSA Accumulator非成员证明以及区块链...
...这极大地扩展了所有链的能力和组合性。 通过利用零知识证明的力量，Boundless使区块链能够验证计算的正确性，而无需重新执行。这种称为可验证计算的突破性能力，允许网络中单个节点执行的内容被每个节点廉价地验证。 ...
...们的[Noir语言](https://noir-lang.org/)利用加密状态机制进行零知识电路开发。这使得在其生态系统内进行机密交易，同时仍然允许可验证性，尽管Aztec的采用和扩展性仍在不断发展。 - **[RAILGUN](https://railgun.org/):** RAILGUN利用零知识...
...太坊可以缓解部分压力；中期，**无状态客户端** 和 **零知识证明EVM（ZK-EVM）** 将进一步提升效率。然而，长期来看，以下问题仍是“拦路虎”： - **数据存储的稳定性**：如何高效存储和访问历史数据？ - **去中心化的平衡**...
...个模块化的基础设施栈，用于构建实时的、保护隐私的零知识应用程序。其可组合的 zkApp 框架通过整合身份、证明生成和安全计算，简化了可扩展的 Web3 体验的部署。 它的架构围绕可重用的模块构建，包括证明网络、DSL 电路...
...的证明者总是胜出的情况。 - 步骤1：提交第T个区块的零知识证明的哈希 - 从第T+11个区块开始，不再允许新的证明者提交哈希。 - 步骤2：提交零知识证明 - 在第T+11个区块之后，任何证明者都可以提交零知识证明。如果至...
...到过去十年来诞生的最强密码学技术，肯定免不了提及零知识证明 (zero knowledge proof)。在区块链领域中，它们有两大应用场景：可扩展性和隐私。[zk-SNARK](https://learnblockchain.cn/article/1662) 作为其中一种 zkp 技术，在近几年来也得到...
我们最近研究了如何使用零知识证明（ZKP）来验证全同态加密（FHE），因为这在两个新兴用例中至关重要。 - **fhEVM 的链下计算：** [Fhenix](https://www.fhenix.io/) 和 [Inco](https://www.inco.network/) 正在开发 L1 链，它们通过基于 [Zama 的 fh...
## 引言 由于zk-SNARKs（零知识、简洁、非交互式知识论证）在去中心化私人计算和区块链扩展方面的能力，最近引起了越来越多的关注。这些构造涉及两个方之间的协议，一个是证明者（prover），另一个是验证者（verifier），前...