... Web3 应用程序的可扩展性和安全性。通过将 OP Stack 与零知识证明（Zero-Knowledge proofs, ZKPs）相结合，Zircuit 使交易处理和安全状态更新变得高效。此案例研究探讨了 Zircuit 如何集成 Ingonyama 的 [ICICLE](https://dev.ingonyama.com/icicle/overview)...
定义 零知识证明应用采用零知识加密方法来增强数字系统的隐私性、安全性和效率。 零知识证明（ZKPs）是应用密码学领域的一项激动人心的突破，它将在从 Web3 到供应链再到物联网等一系列行业中开启新的用例。通过验证信...
...uffragium** 是一个安全、保护隐私的投票系统，它结合了零知识证明 (ZKP) 和全同态加密 (FHE)，以创建一个无需信任且防篡改的投票平台。利用 Zama 的 **fhEVM**，Suffragium 保留了安全投票系统的所有基本属性。 ### 对安全和私密投票...
SNARKs 和 STARKs 是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。 [零知识证明 (ZKP)](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/) 引起了广泛关注，因其在增强安全性、保护用户隐私...
## 我们很荣幸获得以太坊基金会对我们在零知识证明上进行 L2 扩展工作的认可和支持  以太坊基金会最近宣布了[第五波资助](https://blog.ethereum.org/2019/02/21/ethereum-foundation-gr...
...以太坊Layer 2扩展方案 - 乐观Rollups (Optimistic rollups) - 零知识Rollups / ZK rollups - 乐观Rollups vs 零知识Rollups - 总结 ## Rollups——以太坊Layer 2扩展方案  Rollups旨在创建通...
...GAS消耗应该不是168w，应该在40w左右。 如果使用Groth16零知识证明的话，大约需要不到50w的GAS（EIP1008情况下）。  值得一提的是，使用Groth16零知识证明，需要将...
...涌现。Starknet 作为以太坊的二层扩展方案，基于 STARK 零知识证明技术，正逐渐成为业内关注的焦点。为了更好地理解 Starknet 及其背后的技术和组织，我们需要深入了解与其相关的名称和概念。本文将重点介绍 STARKWARE、STARKEx、Ca...
...性质的正确，从而消除了大量的潜在错误及漏洞。 零知识证明（ZKP）对于区块链的扩展性至关重要。未来的智能合约将在先进的零知识虚拟机（zkVM）上运行，例如用于以太坊合约的zkEVM和用于Wasm合约的zkWasm。这是从传统虚拟...
...有数据触发智能合约执行。现在，越来越多项目都采用零知识证明（ZKP）技术在公链上保护隐私。（注：零知识证明指一方向另一方发送加密证明，在不透露数据内容的情况下证明自己拥有某个数据。）在区块链网络中，零知识...
...文章中的第一篇。** **zkVM 安全系列:** 📚 第一部分：零知识虚拟机 (zkVM) 简介 📚 第二部分：识别 zkVM 中的常见漏洞 📚 第三部分：编写和审计安全的 zkVM 应用程序：RISC Zero 的一个实际例子 ## 简介 零知识虚拟机 (zkVM) 正在...
... [ICICLE](https://github.com/ingonyama-zk/icicle) 是一个旨在加速零知识证明（ZKP）的密码学库。 我们很高兴地宣布发布 [ICICLE v3](https://dev.ingonyama.com/icicle/overview)，这是一个引入了强大的多平台支持的重大更新。我们的最新版本包括一...
Groth16算法确实比较美，优点是证明小，非常适合链上验证的场景。但是，Groth16算法需要可信的初始设置(Trusted Setup)，而且每个电路都需要初始设置。特别在业务电路升级的时候，还需要重新初始设置。PLONK算法，只需要一次初...
...作，同时保持与原始数据的关系。** 本文是我们理解零知识 (ZK) 证明的数学先决条件系列的第六篇。理解同态至关重要，因为它允许我们对加密或承诺的数据执行计算，而无需泄露原始值，从而使零知识证明成为可能。 本...