...itrum | | **ZK Rollup** | 每次交易都用数学证明确保正确 | 零知识证明（ZK Proof） | zkSync、Starknet、Scroll | 📊**一张图总结（简化版）：** ``` Layer 0 👉 链的地基和通信系统（如 Cosmos、Polkadot、Celestia） | Layer 1 👉 主链，处理...
...应用会专注于那些地方社区在其自身需求上具有明显专业知识的领域，还是人们会很快尝试更大范围的应用呢？如果我们确实看到大规模部署，那效果如何？还有很多问题有待回答。 >- 原文链接： [vitalik.eth.limo/general...](https://v...
...支撑我们将要使用的机制安全性上的关键密码学假设：[_知识指数_](https://www.google.com/url?sa=t&rct=j&q=&esrc=s&cd=1&cad=rja&uact=8&ved=0ahUKEwjz1-Ht7-vRAhVEr1QKHfvtAKIQFggaMAA&url=https%3A%2F%2Fwww.iacr.org%2Farchive%2Fcrypto2004%2F31520273%2Fbp.pdf&usg=AFQjCNFJk9kCq86ms46Z...
...在链外执行交易，并使用证明——无论是欺诈证明还是零知识证明（ZKP）——来验证 Layer2 （L2）的状态并处理提款。 然而，存在一个重大挑战：以太坊本身不原生验证 EVM 执行，迫使 rollup 独立在链上实现自己的证明系统以验...
...也可以在工具中将它们默克尔化，我还可以将它们用在零知识证明以及所有这些东西中，它是充分面向未来的。 ## Simplicity 那我要讲什么呢？我要聊聊 Simplicity，这是一种新的区块链语言，而且它具备我刚刚提到的一切好处。...
...精度差异（相差 1 * rounding_mod）。 ### 作者 Nadav Kohen  本作品已获得 [知识共享署名 4.0 国际许可](http://creativecommons.org/licenses/by/4.0/) 的许可。 >- 原文链接...
# 1. 跨表lookup ## 1.1 多个表格的聚合 在零知识证明中的lookup中，我们可能有多个表格，每个表格可以包含不同的数据。这些表格之间可能存在一定的关联，需要聚合起来进行联合验证。这个过程的目的是将多个表格中的相关信...
...网络上，实现它并不是一件简单的事情。幸运的是，[零知识证明（ZKP）](https://learnblockchain.cn/article/1189)技术使这成为可能，但不幸的是，ZKP是一项非常复杂的技术。这就是我构建 [zk-merkle-tree](https://www.npmjs.com/package/zk-merkle-tree) ...
...sts/circle-starks-1/ > 译者：Kurt Pan ### 引言 在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用...
...8765) 的新概念。AggLayer 旨在通过聚合来自各种连接链的零知识证明 (ZKP)，从而实现安全和原子的跨链交易，从而在区块链生态系统中提供无缝的跨链基础设施，类似于 TCP/IP 对于 Web 的作用。这项创新旨在让用户体验与单个网络...
...由和隐私**：这涵盖了**加密消息**，以及**匿名性**。[零知识证明](https://learnblockchain.cn/article/11478)可以在确保**真实性**的重要声明（例如，消息是由真实人类发送的）的同时保护匿名性，因此支持零知识证明的用例在这里也很...
...有用）以及核心开发者找到无需通过硬分叉的方式整合零知识证明或 Confidential Transaction（机密交易）。然而，包含 Schnorr 签名的 Taproot 升级是个很好的开始。它的激活方式让我们看到了比特币实现近乎绝对同质性的希望。 （完...
...种称为 Orb 的硬件生物识别设备进行眼部扫描，并通过零知识证明在保护隐私的方式中进行身份验证。World ID 建立了个人身份的可验证和防篡改记录，减少身份欺诈或冒充的可能性。 - [**PolygonID**](https://polygonid.com/) **：** Polygon...