...zkSNARK证明生成上的一些优化措施，我们成功地将生成零知识证明的成本降低为每笔交易仅0.03分RMB（100万笔交易成本大约300RMB），与目前我们线上的版本相比，成本降低了15倍。再加上其他一些优化手段，最终路印协议每笔撮合...
...创建可追踪的链接。 Tornado cash 可能是最具代表性的零知识智能合约应用程序，因此我们将以足够低的水平解释它的工作原理，以便程序员可以重现该应用程序。 假设读者知道 Merkle 树如何工作，并且对反转 cryptographic hash ...
...tps://img.learnblockchain.cn/2025/03/26/1J7Vpue3e17NFeICRkEbcBg.png) 零知识证明电路是现代隐私保护去中心化系统中的基础构建块。在过去的几年里，ZKP 语言领域发生了显著变化，许多不同的解决方案被提出。早期的先锋如 Circom 以强调控制...
> **预备知识** > 1. 多项式和阶 > 1.1 多项式基本概念及其在密码学中的应用 > 1.2 低阶多项式的重要性及其在证明系统中的意义 > 2. 群与有限域 > 2.1 群和有限域 > 2.2 子群和陪集 > 2.3 循环群和单位根 (root of unity) > ...
...利侵权行为。Schnorr 专利现在已经过期，并且正在 ZKP（零知识证明）以及分布式和可扩展签名中实现。 如果 NIST 无法以无专利形式提供 DSA，那么 ECDSA 就不太可能被采用。ECDSA 的无专利使用可能使 Satoshi Nakamoto 能够采用 ECDSA，...
...—这个问题在 2025 年再次成为焦点。 在过去几年里，零知识证明 (ZKP) 一直是最突出的隐私增强技术。然而，ZKP 有一定的局限性，一种观点是通过使用 FHE（特别是作为协处理器）来弥补其中的一些局限性。在这篇博文中，我们...
...生产证明的开销是有效性证明类扩容方案的艺术。 零知识证明是一种精巧有效性证明方式，它使得 Layer1 的验证节点无需获取链下交易的全部信息并进行重复计算即可证明其有效性。零知识证明算法的研究一直处在密码学领域...
...论这个主题之前，让我们花点时间探讨 zkEVM 是什么，零知识证明的理论基础，以及它如何在各种Layer2项目中迅速发展。本文旨在比较当前利用 zkEVM 的 ZK rollups 的特征，假设读者对以太坊、Layer2解决方案和零知识证明有基本了解...
...： [**带有 JavaScript 的 ZK-WASM** \\ \\ **ZK-WASM 将 Rust 中的零知识证明 (ZKP) 集成到 WebAssembly (WASM) \[1\] 中。 Rust 之间的桥梁…**\\ \\ asecuritysite.com](https://asecuritysite.com/webcrypto/crypt_zk?source=post_page-----8bfe14836c03-------------------------------------...
...-on-board-1cf3487554f?fileGuid=9hhKcdCvwPrpcy8q)，方便开发者使用零知识证明技术。我们看到 rollup 技术有了很多突破，包括 Aztec 和 ZkSync 通过改进 PLONK 引入[递归](https://medium.com/matter-labs/zksync-v1-1-reddit-edition-recursion-up-to-3-000-tps-subscriptions-a...
...。该框架旨在使 OP Stack 能够支持多个证明系统，包括零知识证明，以及当前系统 Cannon。生产冗余证明方案提供了一个从 OP Stack 链提取到 ETH 链的安全保障方案，可以将安理会的作用限制为仅在他们不同意的情况下在证明之间进...
...存不足错误。 - **CPU 除法加速：** 速度提升 36%。 - **零知识证明 v2：** 新的哈希模式将验证速度提高了 34-38%，但证明时间略有增加。 - **噪声抑制压缩：** 压缩 MPC 中生成的大型密文。 - **密钥升级器：** 将旧密文更新为新的...
...是简洁的。本文描述了如何实现这一点。 对于R1CS的零知识证明是通过将见证向量转换为[有限域椭圆曲线点](https://learnblockchain.cn/article/11316)，并将Hadamard乘积替换为每一行的[双线性配对](https://learnblockchain.cn/article/11321)。 给...
...有关各个网络的信息将会有所变化。* ## 01. Rollups 背景知识 Rollups 是一种可扩展性解决方案，即通过在 Rollups (L2) 网络中将交易捆绑在一起并进行压缩，然后将它们发送到一个共识层 (比如以太坊 L1 主网) 进行验证。通过一次...
...com/remyroy/ethstaker/blob/main/monitoring.md) ## Layer2 - [Hermez零知识EVM](https://blog.hermez.io/introducing-hermez-zkevm/) 路线图 - 使用StarkEx担保的无信任[L2到侧链桥](https://medium.com/starkware/a-trustless-sidechain-to-starkex-bridge-secured-by-ethereum-61e00f19f7e0)...