...kchain.cn/2025/04/26/1kCCOs0VH2a2fIgaayk-euw.jpeg) ## 背景和动机 零知识证明在区块链中蓬勃发展。 [Plonky2](https://github.com/0xPolygonZero/plonky2) 是 ZK 开发者最受欢迎的 STARK 框架之一。但众所周知，在智能合约中使用基于 FRI 的多项式承诺和 F...
...主题，例如客户端、[L2](https://ethereum.org/en/layer-2/) 和 [零知识证明 (ZKP)](https://ethereum.org/en/zero-knowledge-proofs/#what-are-zk-proofs)。 | [Email](mailto:ethtaipei23@gmail.com) | | 社区和教育 | [ETHTallinn](https://ethtallinn2024.devfolio.co/overview) | | 在爱沙...
...成默克尔树的web应用 * 用 Circom 和 Hardhat [创建第一个零知识合约](https://betterprogramming.pub/how-to-create-a-zk-smart-contract-cd948a673749) ## 生态系统 - EF [运行节点Grant](https://esp.ethereum.foundation/run-a-node-grants)，以鼓励多样化，接...
...定的延迟。 ## 2.5 Validium 是一种结合了状态通道和零知识证明技术的解决方案，旨在提供高吞吐量和隐私保护。 - **代表项目：** 1. zkPorter 2. Arbitrum 3. zkSync - **优点：** 1. 高吞吐量：提供高吞吐量的链下交易。 2. ...
... PETs，每种都有其自身的优势和权衡。这些技术有： 零知识证明（ZK）、多方计算（MPC）、全同态加密（FHE）和可信执行环境（TEE） 他们分布在六个关键公理上。 1. 通用性：解决方案在多大程度上可以应用于广泛的用例和...
### 零知识多项式乘法 使用前一章的多项式承诺方案，证明者可以展示他们拥有三个多项式 l(x)、r(x) 和 t(x)，并证明 t(x) = l(x)r(x)。 为了使这个算法有效，验证者必须相信多项式的评估是正确的——但这是我们在前一章中展...
... 今天，我们自豪地宣布，Zeth现在支持从以太坊主网以零知识构建和推导OP主网区块，并在链上验证这些证明。与第一次发布一样，第二次发布基于现有的revm、alloy、ethers crates及其对OP Stack的支持。 此发布标志着Zeth新特性的...
... 支撑并促进了 zk-SNARKs 技术的首次大规模应用，填补了零知识证明技术从最新理论到工程实现间的空缺。 希望通过本系列文章，所有开发者都能亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念，学...
...人，前阿里巴巴 JVM 专家。专注于智能合约编程语言、零知识证明密码学研究。*
...然“第二阶段”是重新运用质押和验证者基础设施与专业知识，超越 L1 共识，安全多个协议。这使得建立新协议变得更容易。Cosmos 首创了这一概念作为“共享安全”，而 EigenLayer 的“重新质押”认识到以 ETH 为中心的方法可以...
...类型的 Rollup，而Chainway的发布旨在实现比特币的第一个零知识 Rollup。 Kasar Labs 和 Taproot Wizards 巧合地同时发布了一个用于比特币的 DA 适配器。这个适配器允许开发者将 Madara 技术堆栈连接到比特币上，以运行基于 StarkWare 创...
...全，但证明的数据量却是最大；IPA 是 Bulletproof 和 Halo2 零知识算法默认的多项式承诺方案，验证时间相对较长，采用的项目有门罗币，zcash 等，前两者是不需要初始可信设置的。 由上图可以看出在证明大小与验证时间上，KZG ...
...用程序。 在开发这项技术时，我们意识到，通过使零知识证明（ZKP）可编程，Mina 不仅增强了去中心化，而且还创造了全新的东西。 ## 新的设计范式：通过单一、可重用、可组合的证明来解锁 Mina 是使用递归 ZKP 从头开始...
... 一种是把区块链底层技术当做区块链本身，例如基于零知识证明的机器学习框架 zkML 和大量基于分布式和隐私计算的 AI 系统。 我认为区块链本身的特征还是可以去解决一些 AI 的问题。区块链的本质特征是通过密码学、共识...