...法可以分为两种类型：乐观 Rollups（Optimistic Rollups）和零知识 Rollups（zk-Rollups）。 - Op Rollups：假设交易是有效的，只有在有争议时才进行验证 - Zk Rollups：通过零知识证明技术，在提交交易数据的同时，保证其正确性。 ### Pl...
...是关于如何利用Boundless协议和Steel工具在区块链上实现零知识证明（ZK）智能合约的开发。演讲者Wolfgang Welz介绍了Boundless协议的背景、目标以及其在区块链技术中的应用，特别是如何解决当前智能合约区块链的计算限制。 关键...
...到过去十年来诞生的最强密码学技术，肯定免不了提及零知识证明 (zero knowledge proof)。在区块链领域中，它们有两大应用场景：可扩展性和隐私。[zk-SNARK](https://learnblockchain.cn/article/1662) 作为其中一种 zkp 技术，在近几年来也得到...
...段视频中，讲者深入探讨了如何构建SNARK（简洁非交互式知识论证），并介绍了其中的美妙代数思想。视频的核心内容包括对SNARK的构建过程的详细解释，特别是通过结合功能承诺方案和交互式Oracle证明来实现。 **主要观点概括...
...的证明者总是胜出的情况。 - 步骤1：提交第T个区块的零知识证明的哈希 - 从第T+11个区块开始，不再允许新的证明者提交哈希。 - 步骤2：提交零知识证明 - 在第T+11个区块之后，任何证明者都可以提交零知识证明。如果至...
...们的[Noir语言](https://noir-lang.org/)利用加密状态机制进行零知识电路开发。这使得在其生态系统内进行机密交易，同时仍然允许可验证性，尽管Aztec的采用和扩展性仍在不断发展。 - **[RAILGUN](https://railgun.org/):** RAILGUN利用零知识...
## 引言 由于zk-SNARKs（零知识、简洁、非交互式知识论证）在去中心化私人计算和区块链扩展方面的能力，最近引起了越来越多的关注。这些构造涉及两个方之间的协议，一个是证明者（prover），另一个是验证者（verifier），前...
...B, 或者说 100 ETH)，Snoop 在他的浏览器中本地生成了一个零知识证明 ([zero-knowledge proof](https://en.wikipedia.org/wiki/Zero-knowledge_proof)，ZKP)。 利用零知识证明，他能够证明出这条等式 **A + B = C + D** ，而无需揭露他们的任意资产价值。 ...
...证器。只要逻辑，即使非常复杂，也能够被准确编程成零知识证明，BitVM2 就可以验证它。 ### BitVM2 程序工作流 BitVM2 的详细交易流程由于一些优化和安全机制而变得复杂。但 [BitVM2](https://bitvm.org/bitvm_bridge.pdf) 白皮书也呈现...
...协议的设计。本专栏介绍了 V3 的智能合约架构。 [**零知识证明之书**](https://learnblockchain.cn/column/118/intro)  零知识证明之书， 对程序员友好的零知识证...
我们最近研究了如何使用零知识证明（ZKP）来验证全同态加密（FHE），因为这在两个新兴用例中至关重要。 - **fhEVM 的链下计算：** [Fhenix](https://www.fhenix.io/) 和 [Inco](https://www.inco.network/) 正在开发 L1 链，它们通过基于 [Zama 的 fh...
...隐私困境而存在的许多隐私问题，其中绝大多数集中在零知识证明（ZKPs）上。值得注意的例子包括[Proven 在 2023 年种子轮融资中筹集了 1580 万美元](https://www.coindesk.com/business/2023/03/09/zero-knowledge-crypto-startup-proven-raises-158m-in-seed-roun...
### 给 5 岁的孩子解释零知识证明 https://eli5.zksync.io/ **Harry**: zksync 搞的一个教程, 用卡通形象和简单的语言解释零知识证明。 ### mage-ai https://github.com/mage-ai/mage-ai **Mark.R**: 毫不费力地集成和同步来自第 3 方来源数据，...
...分析命令搬到了gui上，可以对比多个pprof文件。 ### 零知识证明的应用 https://arxiv.org/pdf/2408.00243 **Harry**: 这篇论文描述了零知识证明在区块链隐私、扩展、存储、互操作性等领域的新应用，以及非区块链应用如投票、认证...