...tus/1849896554016145912)，其中有两个问题值得关注： （1）零知识证明在区块链中的发展经历了三个重要阶段，从专用电路到通用 zkVM 的演变，再到对专用电路的重拾； （2）ZK 领域当前最紧迫的两个挑战——改进证明基础设施以提...
...。第二个漏洞破坏了通过承诺生成的 gnark Groth16 证明的零知识属性（[CVE-2024-45040↗](https://github.com/Consensys/gnark/security/advisories/GHSA-9xcg-3q8v-7fq6)）。在某些情况下，攻击者可以利用此漏洞从证明中恢复私有证明人。我们已将这两个...
...B**（相当于几条推文的大小）。 * 采用 **zk-SNARKs**（零知识证明）的递归压缩技术，无需存储完整的区块链历史。 2. **轻量化与去中心化** * 用户可以运行一个完整的 Mina 节点，硬件需求极低（如普通手机或笔记本电脑...
...acr.org/2018/691.pdf DIZK，Distributed Zero Knowledge，分布式的零知识证明系统。在分布式环境下，DIZK能支持超大规模电路（10亿门级别）的计算。而且，论文给出的测试数据表明，DIZK的计算性能随着分布式实例的增长，线性增长。 ...
...济终局性，零确认交易）。 尽管我们可以使用递归零知识证明和高效的证明计算系统来聚合多个交易，我们也很难改变承诺间隔。如果我们盲目延长承诺间隔，就会影响安全性。 然后，我们需要思考如何在 zkRollup 中实现安...
...M 技术。这表明，三年前由 Risc0 发起的 zkVM 运动（通用零知识证明）正在蓬勃发展，逐渐成为区块链的支柱，为更广泛的应用，如 zkAI，迈出了坚实的第一步。 本文系列以 SP1 zkVM 为例，分析 zkVM 的原理、来宾程序的执行、零...
1. 引言 - A. 零知识证明（ZKPs）的定义 - B. 使用ZKPs的好处概述 2. ZKPs的工作原理 - A. ZKP过程概述 - B. ZKP过程三个阶段的解释 3. ZKPs的应用 - A. 加密货币交易 - B. 身份管理 - C. 数据隐私 4. ZKPs面临的挑战 - A. 实现的...
...chments/2025/03/oOlSJ4VA67cd47868c4f4.png!/scale/60) 你是否听说过零知识证明（ZK）的神奇之处，却不知其运作机制？那么，“ZK白板系列”专栏将是你打开这扇魔法之门的钥匙！ 从零知识证明的基本概念出发，逐步深入到高级协议，并探...
...的学术论文落地成具体的产品，如何在底层采用交互式零知识证明技术，以及针对实际部署进行了哪些优化。如果你对于DECO技术背后的开发逻辑及其用例感兴趣，那么可以先从[这篇文章](http://mp.weixin.qq.com/s?__biz=MzU0MTgyMDQwNQ==&mid=...
...n/article…](https://learnblockchain.cn/article/10274) ## 剥开零知识洋葱 _2024 年 11 月 27 日_  > 本文由一位工程师爱好者撰写（嗨，我是 [Krishang](https://zk.bearblog.dev/ab...
...766358588836.jpg) 接下来是功德箱的第二个特性：“使用零知识证明解决在不暴露相关信息的情况下，证明加密货币所有权的问题”。先看第一个问题如何证明加密货币所有权的问题，由于功德箱是通过`Merkle tree`实现，所以证明...
...关联，解决了隐私问题。Tornado Cash 使用了 Merkle 树和零知识证明电路。在智能合约验证零知识证明。零知识证明在加密世界中相对较新。数学背后非常复杂，但工具如`snarkjs`和`circom`使其易于使用。希望本文能帮助您理解这种“...
# 零知识证明-SRP协议 ## 简介 SRP 是 Secure Remote Password 协议的缩写，是一种密码协议，用于在客户端和服务器之间建立安全的身份验证。该协议的设计旨在避免将用户密码明文传输到服务器，从而提高了安全性。 在 ...
...ale/50) 某个用户需要消费某个cm，必须向区块链提供**零知识证明**： * 他知道一个Note，并能生成一个cm，而且这个cm在以rt为树根的Merkle树上 * 用同样的Note信息，能生成一个nullfier，而且这个nullfier之前没有生成过。 以上...