...将深入了解 sumcheck 协议中的算术运算，并了解如何在零知识证明中优化特定情况。 [阅读 →](https://blog.zksecurity.xyz/posts/formal-verification-arithmetic-circuits/posts/faster-sumchecks/index.html)[ ### 零知识 Rollup (zk-Rollups) 这些将计算和状态存储转移到链下，并涉及一种无需信任的方法。一旦发布回 Mainnet，状态更改和与之相关的证明所需的更新将非常少。由于我们的...
...优于 FPGA 和 GPU，但上市时间较长。 ## 引言 近年来，零知识证明 (ZKP) 的重要性呈指数级增长，成为过去半个世纪计算机科学领域最关键的创新之一。这可以归因于 ZKP 有可能显著提高以太坊等区块链平台的可扩展性。ZKP 的一个...
...公共代币余额。 所有这些步骤都利用**同态加密**和[零知识证明(ZKPs)](https://learnblockchain.cn/article/12639)，在幕后工作，使系统能够验证正确性，同时隐藏总额。 请参阅“[机密余额产品指南](https://learnblockchain.cn/article/14138)”...
...和非交互式欺诈证明，下面会详细解释。 第二种是零知识证明，每次存入状态都需要给出证明，证明会在L1进行验证，如果验证根hash值是正确的，代表发布者的发布无误，这里的证明用到了零知识证明相关研究。 # 欺诈证...
... - ### VerITAS: Verifying Image Transformations at Scale VerITAS 使用零知识证明来证明只有某些编辑被应用于签名过的照片，首次实现了为真实大图像（3000 万像素）进行证明。其关键创新在于设计了一个新的证明系统，该系统能够证明对大...
> 非交互式零知识证明的美妙之处 想象一下你是一位课堂上的老师，你要求你的学生找到方程 x²-2x-15=0 的根。但是，你不想教你的班级，你也不想计算出正确答案。为此，我们可以要求班级展示一个证明，证明他们知道正确...
...经是本系列的第五篇文章了，这一篇继续深入非交互式零知识证明。 本文约 12,000 字。 [系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-...
...Rollup * **优势**：安全性强，退出速度快 * **缺点**：零知识证明生成复杂，对兼容性要求高 *** ### L2 如何与 L1 交互？ 1. 用户在主网通过 Bridge 跨链桥把资产发送到 L2 2. 用户在 L2 上进行操作（转账、交易、Mint） 3. Rollu...
...型（BTC）与接收者的资产类型一致。Anoma 区块链能够在零知识隐私中结算该交易。在 Anoma 上，观察者将无法推断出 Alice 和 Bob 之间交易的任何信息。此外，该交易看起来与涉及 BTC、ETH 或任何其他加密货币的交易无异。 ### 使用...
...[noble cryptography](https://paulmillr.com/noble/) 并行创建和验证零知识 SNARK 证明。 - 支持 Groth16。计划支持 PLONK 和其他算法 - 可选，使用 Web Worker 实现快速证明生成 - 支持现代 wasm 和旧版 js circom 程序 - 解析 R1CS，WTNS ### 用法 `np...
...，我们将注意力转向一种展现出非常相似模式的技术：零知识 (ZK) 证明。 虽然对于密码学圈子之外的许多人来说仍然不熟悉，但 ZK 技术提供了一种变革性的价值主张：在不泄露任何底层信息的情况下证明某件事是真实的。这种...
...的实施。这是一个数学上的不可能。当研究人员提出 [零知识系统作为解决方案](https://www.sciencedirect.com/science/article/abs/pii/S2214212623002296?ref=blog.shutter.network) 时，他们遇到了计算瓶颈。验证数百万张选票将花费数周时间并耗费大量...