找到约 13 条结果

文章 多项式承诺，正在重塑整个区块链

...全，但证明的数据量却是最大；IPA 是 Bulletproof 和 Halo2 零知识算法默认的多项式承诺方案，验证时间相对较长，采用的项目有门罗币，zcash 等，前两者是不需要初始可信设置的。 由上图可以看出在证明大小与验证时间上，KZG ...

文章 比特币 ZK Rollups 你想了解的都在这

...类型的 Rollup，而Chainway的发布旨在实现比特币的第一个零知识 Rollup。 Kasar Labs 和 Taproot Wizards 巧合地同时发布了一个用于比特币的 DA 适配器。这个适配器允许开发者将 Madara 技术堆栈连接到比特币上，以运行基于 StarkWare 创...

文章 Zeth将有效性证明引入Optimism的OP堆栈

... 今天，我们自豪地宣布，Zeth现在支持从以太坊主网以零知识构建和推导OP主网区块，并在链上验证这些证明。与第一次发布一样，第二次发布基于现有的revm、alloy、ethers crates及其对OP Stack的支持。 此发布标志着Zeth新特性的...

文章 即使进行了零知识证明（ZK）包装，数字身份也存在风险吗？

...和 World 团队成员的讨论。** 在数字身份系统中使用零知识证明[来保护隐私](https://learnblockchain.cn/article/11478)现在至少在某种程度上正在成为主流。[各种](https://blog.celo.org/self-protocol-a-sybil-resistant-identity-primitive-for-real-people-launche...

文章 OLA：构建信任最小化的比特币跨链桥的核心基础设施

...跨链交互的基础设施协议，为比特币生态系统提供跨链零知识证明（ZKP）。传统的 BTC 跨链桥通常依赖于多重签名托管人或中心化中介机构，引入了额外的信任假设，并将用户资产置于单个实体或一小群体的控制之下。这种中心...

文章 Calldata 压缩实验

...线图已经以 “rollup” 为方向：rollup 是一种使用证明（零知识证明或是 optimistic 欺诈证明）来继承以太坊安全性的独立执行环境。 在经过多年的开发后，rollup 最终被部署到以太坊上并且逐渐得到采用。这项技术的佼佼者 Arbitr...

文章 Rapidsnark 的 GPU 加速

...kchain.cn/2025/04/26/1kCCOs0VH2a2fIgaayk-euw.jpeg) ## 背景和动机 零知识证明在区块链中蓬勃发展。 [Plonky2](https://github.com/0xPolygonZero/plonky2) 是 ZK 开发者最受欢迎的 STARK 框架之一。但众所周知，在智能合约中使用基于 FRI 的多项式承诺和 F...

文章 我们还需要状态通道吗？

...作原理。读者或许已经了解过相关内容，但重温这些基础知识有助于理解本系列的余下文章。 ## 状态通道有什么用？ 状态通道往往被视为一种扩容方案。自状态通道问世以来，Layer 2 扩容也有了许多进展。（“Layer 2” 指在...

文章 STARKs，第一部分：多项式的证明

...计算到隐私保护的加密货币各种用例的一种通用简洁的零知识证明技术。你可能不知道的是，ZK-SNARKs有一个更新、更闪亮的表亲：ZK-STARKs。ZK-STARKs中的“T”代表“透明”，它解决了ZK-SNARKs主要的一个弱点：对“受信任设置”的...

文章 零知识证明 - Halo2电路构建源代码导读

理解Halo2，可以从两部分着手：1/ 电路构建 2/ 证明系统。从开发者的角度看，电路构建是接口。如何通过Halo2构建建电路，这些电路在Halo2的内部如何表示是理解电路构建的关键。本文就从源代码的角度深入浅出讲解Halo2的电路构...

文章 基于哈希证明系统的区块链两方椭圆曲线签名

...明方式证实出该方案无需交互性安全假设，便可在具备零知识性的基础上减少通信上的开销。 关键词：哈希证明系统; 椭圆曲线签名；区块链；安全性证明；隐私保护 **Two-Party ECDSA for Blockchain Based on Hash Proof Systems** Abstract...

文章 基于 ZK 的资产证明

...造假除了加强监管一直没有很好的解决办法，但是随着零知识证明技术逐渐成熟，我们可以看到一种新的解决思路。 如果每个用户都可以验证自己部分的资产是否有财务作假行为，那么只要验证的用户足够多，那么一个组...

文章 Layer2 的基本概念和主流项目分析

...法可以分为两种类型：乐观 Rollups（Optimistic Rollups）和零知识 Rollups（zk-Rollups）。 - Op Rollups：假设交易是有效的，只有在有争议时才进行验证 - Zk Rollups：通过零知识证明技术，在提交交易数据的同时，保证其正确性。 ### Pl...