...了 BitSNARK v.0.1，第一次使得使用户能够验证比特币上的零知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证零知识证明执行情况的一种方法，它允许将比特币的转移与可证明的外部事件（...
...Rollup 有哪两种类型？ **一般来说，Rollup 有两种类型，零知识 (ZK) Rollup 和 Optimistic Rollup。** ##### **1. 零知识 Rollup (ZK Rollup)** **零知识 Rollup (ZK Rollup)** 使用有效性证明。每批交易都包含一个加密证明，称为简洁非交互式知识论证...
...绍使用 [lambdaworks](https://github.com/lambdaclass/lambdaworks) 的零知识证明（ZKP）。零知识证明是一种强大的技术，可以[以许多不同的方式塑造未来](https://learnblockchain.cn/article/15546/)。有关该主题的介绍和一些历史，请参阅我们[之前的博...
...露在环中。且在目前的公有链市场上，与环签名相比，零知识证明依然是最佳的匿名方案之一。 BTW，关于环签名还有一个有趣的历史故事，最早可以追溯到十七世纪的法国。相传，法国群臣向国王提意见的时候，为了不让国...
Ciara Nightingale ## ZK 数学 101：集合论 学习集合论的基础知识，从有限集和无限集到集合运算和函数，这对于理解 ZK 证明中的密码学结构至关重要。 **集合论是数学的一个分支，研究对象的集合，这些对象称为集合。** 它提供了处...
...评估进行有效证明的方式提交多项式。 它们是一种零知识证明，通常提供更高的安全性，因为它们会立即验证。与欺诈证明相比，这也意味着更短的最终确定时间，因为欺诈证明总是必须等待挑战期过去才能最终确定。但是...
...chain.cn/2025/10/11/17394179_image.jpg) Nethermind 为以太坊 ZK（零知识）*证明*（zero-knowledge proofs）做的准备 ## 接下来的步骤 * 将编译扩展到 riscv32 以获得更广泛的兼容性 * 首次集成将是 RISC0 和 SP1，更广泛的目标是支持任何...
...com/zeroknowledgefm) 和 [@AnnaRRose](https://x.com/AnnaRRose) 举办的零知识峰会 这是地球上最专注于 zk 的会议，所有 zk 人聚集在一起。ZK 峰会 10 将于 9 月在伦敦举行。更多细节请查看：[https://zksummit.com](https://t.co/To0NXf2HFS) 8. Zac Williams...
零知识证明领域的技术创新呈爆炸式增长，但在密码学的复杂性之下，存在一个根本性的挑战：开发人员如何以零知识系统可以验证的方式表达计算逻辑？答案在于约束语言——**领域特定语言**（DSL），它弥合了熟悉的编程概...
# 零知识证明 (ZKP) 零知识证明（ZKP）是一个在区块链行业引起广泛关注的概念。许多人，包括我自己，曾将其视为一个神秘的“黑盒”。在本文及后续系列中，我将分享我对一种 ZKP 协议，特别是 zkSNARK [Groth16](https://eprint.iacr.org...
...int.iacr.org/2017/1066) 允许你仅基于离散对数假设生成这些零知识证明，而无需可信设置。这实际上意味着不需要配对（比如 KZG/Groth16），而是比仅使用哈希函数（比如 STARKs）更复杂的方案。该协议已用于 [门罗币中的范围证明](http...
...olo↗](https://eprint.iacr.org/2025/926)。 传统的哈希函数在零知识 (ZK) 证明设置中通常效率低下，因此导致了多种 ZK 友好哈希函数的设计。另一方面，lookup arguments 最近被纳入 ZK 协议中，从而能够更有效地处理 **ZK 不友好** 的操作...
...hain.cn/article/10796)，在这一期中我们涵盖了 merkle 树的基础知识，并将经常引用我们在上一期中所学的内容。 > _我无法创造的，我无法理解。_ > _理查德·费曼_ ## 引言 在《黑客指南：Layer 2》第一期中，我们介绍了 merkle ...