...保持简洁和清晰，我们简化了一些概念。在本讨论中，零知识证明和计算完整性被视为一个单一概念，我们不会讨论工作量证明和权益证明的不同安全属性。 每个科学学科或工程领域的发展都会经历类似于经济领域中观察到的...
...766358588836.jpg) 接下来是功德箱的第二个特性：“使用零知识证明解决在不暴露相关信息的情况下，证明加密货币所有权的问题”。先看第一个问题如何证明加密货币所有权的问题，由于功德箱是通过`Merkle tree`实现，所以证明...
...： ``` A.B = a1*b1 + a2*b2 + ... + aN*bN ``` - [概述](#概述) - [零知识证明的流程](#零知识证明的流程) - [两个向量的点积的 Circom 电路](#两个向量的点积的-circom-电路) - [Circom 设置和安装](#circom-设置和安装) - [Circom 安装依赖](#circom-...
 ## 零知识证明：基础知识简介 非常感谢 [Matt](https://x.com/__lostin__), [Porter](https://x.com/portport255), [Nick](https://x.com/nick_pennie), [Swen](https://x.com/swen_sjn...
初识零知识证明
...acr.org/2018/691.pdf DIZK，Distributed Zero Knowledge，分布式的零知识证明系统。在分布式环境下，DIZK能支持超大规模电路（10亿门级别）的计算。而且，论文给出的测试数据表明，DIZK的计算性能随着分布式实例的增长，线性增长。 ...
...ack的Puzzle是我比较喜欢的活动。通过实例编码深入理解零知识证明的细节是比较高效的学习方式。zkHack V前几天已经开始了。这篇文章分析一下第一道题目： https://zkhack.dev/zkhackV/puzzleV1.html ### 1. 题目 有一个验证...
本视频讲解了如何编程零知识证明系统，主要由Pratyush Mishra和Alex Ozdemir主讲。视频的核心内容包括如何将高层次的应用想法转化为零知识证明系统可以理解的格式，具体探讨了三种不同的编程方法。 ### 核心内容概述 1. **零知...
...链技术有趣的地方就是一种技术的发展打开了一扇窗。零知识证明的发展拓宽了区块链L2的视角，提供了L2的另外一种实现可能，即zk Rollup。从另外一个角度看，区块链的进步是缓慢的，需要很多优秀的人才跨界把不同的技术揉...
RLN(Rate Limiting Nullifier)是一个零知识应用，可用于去中心化、匿名环境下的垃圾邮件预防。 区块链的匿名性为某些应用程序打开了垃圾邮件和Sybil攻击（女巫攻击）的可能性，这可能会严重影响用户体验和应用程序的整体功能...
...，我们将注意力转向一种展现出非常相似模式的技术：零知识 (ZK) 证明。 虽然对于密码学圈子之外的许多人来说仍然不熟悉，但 ZK 技术提供了一种变革性的价值主张：在不泄露任何底层信息的情况下证明某件事是真实的。这种...
...包”交易，并将“打包”后的交易数据连同一个 SNARK 零知识证明发布到链上。打包的正确性可以通过零知识证明来见证，负责“打包”的操作者不可能发布恶意或无效的交易。这就是后来被 Vitalik Buterin 称之为 ZK Rollup 的二层扩...
...up 是什么？了解你需要知道的一切关于 Optimistic 和基于零知识的 Rollup，它们是如何工作的，以及它们之间的区别。 **区块链 Rollup 是一种 L2 扩展解决方案，通过将多个链下交易“ _汇总_”成一个，增加以太坊每秒的交易数量...
...对安全和私密计算的需求比以往任何时候都更为迫切。零知识虚拟机（zkVMs）就是这样一种创新，它允许在不透露底层数据的情况下证明计算的正确性。zkVMs 对于隐私保护应用、去中心化金融（DeFi）和其他基于区块链的用例具有...
... ## **二. Groth16 算法** ### **1 算法特点** - **类型**：零知识SNARK 协议，基于 Pairing + R1CS（Rank-1 Constraint System）。 - **最大亮点**：证明体积极小（几十到几百字节），验证时间短。 ### **2.算法复杂度** - **生成证明**：为一...