# 1. 跨表lookup ## 1.1 多个表格的聚合 在零知识证明中的lookup中，我们可能有多个表格，每个表格可以包含不同的数据。这些表格之间可能存在一定的关联，需要聚合起来进行联合验证。这个过程的目的是将多个表格中的相关信...
...也可以在工具中将它们默克尔化，我还可以将它们用在零知识证明以及所有这些东西中，它是充分面向未来的。 ## Simplicity 那我要讲什么呢？我要聊聊 Simplicity，这是一种新的区块链语言，而且它具备我刚刚提到的一切好处。...
...sts/circle-starks-1/ > 译者：Kurt Pan ### 引言 在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用...
...在链外执行交易，并使用证明——无论是欺诈证明还是零知识证明（ZKP）——来验证 Layer2 （L2）的状态并处理提款。 然而，存在一个重大挑战：以太坊本身不原生验证 EVM 执行，迫使 rollup 独立在链上实现自己的证明系统以验...
...由和隐私**：这涵盖了**加密消息**，以及**匿名性**。[零知识证明](https://learnblockchain.cn/article/11478)可以在确保**真实性**的重要声明（例如，消息是由真实人类发送的）的同时保护匿名性，因此支持零知识证明的用例在这里也很...
...DSA)](https://learnblockchain.cn/article/13739)和一些基于 SNARK 的零知识证明 (ZKP)，例如 [PLONK](https://eprint.iacr.org/2019/953.pdf)。但它们是什么，它们如何工作，以及为什么使用它们？ 本文提供了对椭圆曲线、它们的数学结构、属性、椭圆曲...
...8765) 的新概念。AggLayer 旨在通过聚合来自各种连接链的零知识证明 (ZKP)，从而实现安全和原子的跨链交易，从而在区块链生态系统中提供无缝的跨链基础设施，类似于 TCP/IP 对于 Web 的作用。这项创新旨在让用户体验与单个网络...
...链下部分（存储 + 证明者成本）** ：状态存储和 SNARK（零知识证明）生成的成本。 （这部分依赖于硬件资源的使用，因此是不变的。我们的基准估计每次转账约为 0.001 美元。） * **链上部分（gas 成本）** ：对于每个**zkSync** ...
...有用）以及核心开发者找到无需通过硬分叉的方式整合零知识证明或 Confidential Transaction（机密交易）。然而，包含 Schnorr 签名的 Taproot 升级是个很好的开始。它的激活方式让我们看到了比特币实现近乎绝对同质性的希望。 （完...
...种称为 Orb 的硬件生物识别设备进行眼部扫描，并通过零知识证明在保护隐私的方式中进行身份验证。World ID 建立了个人身份的可验证和防篡改记录，减少身份欺诈或冒充的可能性。 - [**PolygonID**](https://polygonid.com/) **：** Polygon...
...施，用于构建去中心化应用程序。 此外，通过整合零知识（ZK）证明，集成显著增强了交易的安全性和效率。MoveVM 框架内的 ZK 证明增加了一层安全性和可扩展性，允许验证交易而不泄露底层数据。这种添加对于创建一个更安...
前两篇文章重点介绍了zkEVM的zkEVM电路和State电路： [零知识证明 - zkEVM源代码分析(EVM Circuit)](https://learnblockchain.cn/article/3959) [零知识证明 - zkEVM源代码分析（State Circuit）](https://learnblockchain.cn/article/4009) 接着分析zkEVM的另外...
...此外，如果构建者附加了关于区块中使用了哪些密钥的零知识证明，则密钥显示时间窗口可以更早开始，因此可以更长。此功能未包含在本 EIP 中，以最大限度地降低复杂性。 ## 向后兼容性 该提案对执行层和共识层协议进行了...