...区块链交易签名、TLS 签名、可信执行环境 (TEE) 证明或零知识证明的任意组合。 - **计算** – 为智能合约执行某种类型的安全链下计算，例如从多个 Oracle 提交中计算中位数，或为游戏应用程序生成[可验证的随机数](https://chain.lin...
...有 EVM 兼容性的 Rollups zkEVM 是一个虚拟机，它可以与零知识证明计算兼容的方式执行智能合约。 Hermez zkEVM 是一种优化的 zkEVM 兼容技术，它提供完全的 OPCODE 兼容性和以太坊的安全性。 Scroll ZK Rollup 是一个兼容以太坊虚...
...\` 和 \`return\` 。 ## 安全属性证明 ### 流程控制 #### 预备知识 我们有一个键值映射，它将智能合约字节码中的每个 opcode 映射到其字节偏移量（也称为 \`program\_index\` ）。此 \`program\_index\` 是执行该 opcode 所需的 \`program\_counter\` ...
...发起者）。这是有意设计的！在内部，n-per-epoch 利用了零知识包含证明，通过使用[semaphore](https://semaphore.appliedzkp.org/) 库来实现。该合约通过提供的 zk 证明来强制进行身份验证，而不依赖交易的签署者。[ERC4337](https://eips.ethereum.o...
零知识证明就像是去中心化系统中隐私的魔法咒语。通过它们，你可以证明你知道某件事情而不需要暴露是什么。很酷对吧？但是 ZK 电路开发与普通编程有很大不同。它需要从约束的角度思考，而不仅仅是逻辑。 这就是 Noir ...
...本变得越来越高。因此，盈利能力取决于复杂的、专有的知识，这大大增加了新参与者在区块构建方面的竞争力。当拍卖是赢者通吃时，没有竞争力的构建者无法生存，最终会导致高度中心化（双头垄断或垄断对我来说并不奇怪...
...头理解椭圆曲线，不如研究一堆其他代数群，然后将这些知识和直觉转移到椭圆曲线上。 在加法下有理数构成一个群。在模素数下的整数构成一个乘法群。非零行列的矩阵在乘法下构成一个群。 你进行二元运算，你会在集...
...备好普遍可用的新功能)。 3. **隐私** ：比如，利用零知识证明在一个公共 L2 解决方案上提供隐私交易服务。 4. **更便宜/更简单的 L2-L3 互操作性** ：目前在 L1 和 L2 之间进行存入/提出资金流是出了名的昂贵。相反，由于 L2 的...
...。但这个过程不遵循代数方法，因此缺乏数学基础。在零知识**证明 (zero-knowledge proof)**的世界中——例如使用 STARKs——我们常用的哈希方法，如 SHA-256 和 Blake2，实现起来很复杂，而且运行速度通常很慢，特别是因为我们无法在...
...语言（DSL）需要具有大多数软件开发人员无法接触的专业知识。 零知识虚拟机（zkVMs）的发展克服了这第三个可用性障碍，因为zkVM允许开发人员使用Rust或Go等高级编程语言编写程序 - 而无需了解将证明其执行的底层SNARK。但是...
...节点，是制约FHE算法大规模应用的一个核心挑战。 零知识证明 (ZK) 算法（这里特指 zk-snarks ）主要用于扩容（如 zk-rollup ）和隐私。一个有趣的事实是，ZK 算法在外包计算场景下无法实现隐私白虎，这源于 ZK 系统的自身安全特...
...入尚未准备好全面可用的新功能)。 * 隐私：例如，零知识证明应用于公共L2上的保护隐私交易。 * 更便宜/更简单的L2- L3互操作性：目前在L1和L2之间使用的On/off-ramp流是出了名的昂贵。相比之下，由于L2的成本效益，当这些流...
如果你是因为对 web3 和区块链感到困惑而来到这里，别担心，我曾经也在互联网上经历过同样的困惑，试图理解这项新的热门技术，它有一些花哨的术语，以及一些非技术人员甚至技术人员都难以理解的术语。因此，在这篇博客...
...乎不可能的新技术正在变得非常真实**。我们看到在“零知识”系统方面[酝酿了数十年](https://a16zcrypto.com/content/article/zero-knowledge-canon/)的工作以惊人的速度发展，这将释放更多的区块链可扩展性和一类新的隐私保护应用程序（更...