...ollups (ORUs) 和 Zero-Knowledge Proof Rollups (ZKOs)。ZKO 使用加密零知识证明 (ZKP) 技术来验证链下交易，并提交更新后的链上状态数据以及证明。 最初，像 [Loopring](https://loopring.io/)、[zkSync Lite](https://lite.zksync.io/) 和 [immutable](https://www.imm...
...4654.png-article) **ZK Rollup** ZK Rollup 是靠着在主链完成零知识证明，链上无需包含签名数据，因为零知识证明就足以证明交易的有效与否，交易有效性就立刻确认，保证无效的状态绝不会发生，也即数据可用性放在链上，所以 ZK...
...更长时间，甚至需要更多研究工作来把 EVM 高效封装进零知识证明。不过好事情是，一旦 ZK Rollup 开发完成，现在所有的以太坊 dApp 和服务都可以平滑迁移到 ZK Rollup 上，无需花太多力气。 ZK Rollup 可以解决 Optimistic Rollup 上的几...
...要内存，所以更加高效。 ## 简短的 IOP 像 STARK 这样的零知识证明技术 …… 或者说叫做 “IOP” 的零知识证明技术类，大体上，是证明者为更长的证据创造一个更短的承诺，然后验证者请求一些索引，证明者发送相应的证据以...
...itrum | | **ZK Rollup** | 每次交易都用数学证明确保正确 | 零知识证明（ZK Proof） | zkSync、Starknet、Scroll | 📊**一张图总结（简化版）：** ``` Layer 0 👉 链的地基和通信系统（如 Cosmos、Polkadot、Celestia） | Layer 1 👉 主链，处理...
...在链外执行交易，并使用证明——无论是欺诈证明还是零知识证明（ZKP）——来验证 Layer2 （L2）的状态并处理提款。 然而，存在一个重大挑战：以太坊本身不原生验证 EVM 执行，迫使 rollup 独立在链上实现自己的证明系统以验...
...支撑我们将要使用的机制安全性上的关键密码学假设：[_知识指数_](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...
...应用会专注于那些地方社区在其自身需求上具有明显专业知识的领域，还是人们会很快尝试更大范围的应用呢？如果我们确实看到大规模部署，那效果如何？还有很多问题有待回答。 >- 原文链接： [vitalik.eth.limo/general...](https://v...
...8765) 的新概念。AggLayer 旨在通过聚合来自各种连接链的零知识证明 (ZKP)，从而实现安全和原子的跨链交易，从而在区块链生态系统中提供无缝的跨链基础设施，类似于 TCP/IP 对于 Web 的作用。这项创新旨在让用户体验与单个网络...
# 1. 跨表lookup ## 1.1 多个表格的聚合 在零知识证明中的lookup中，我们可能有多个表格，每个表格可以包含不同的数据。这些表格之间可能存在一定的关联，需要聚合起来进行联合验证。这个过程的目的是将多个表格中的相关信...
...也可以在工具中将它们默克尔化，我还可以将它们用在零知识证明以及所有这些东西中，它是充分面向未来的。 ## Simplicity 那我要讲什么呢？我要聊聊 Simplicity，这是一种新的区块链语言，而且它具备我刚刚提到的一切好处。...
...精度差异（相差 1 * rounding_mod）。 ### 作者 Nadav Kohen  本作品已获得 [知识共享署名 4.0 国际许可](http://creativecommons.org/licenses/by/4.0/) 的许可。 >- 原文链接...
...sts/circle-starks-1/ > 译者：Kurt Pan ### 引言 在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用...