登链社区

密码学基础：零知识证明（第一部分）

in 密码学101

本文介绍了零知识证明（Zero Knowledge Proofs, ZKP）的基本概念和应用，特别是Bulletproofs技术，用于证明某个数值是否在特定范围内。文章详细解释了ZKP的工作原理、协议设计以及数学实现，并通过一个简单的示例说明了如何在不泄露信息的情况下验证陈述的真实性。

零知识证明 Bulletproofs Schnorr协议范围证明 Pedersen承诺

in 密码学101

本文介绍了如何使用zkSNARK（如Plonk）构建算术电路来进行零知识证明，特别是范围证明和集合成员证明。通过具体的例子，展示了如何将数学表达式转化为电路，并讨论了其中的技术和挑战。

zkSNARK PLONK 范围证明集合成员证明算术电路零知识证明

in 零知识证明之书

文章介绍了在推导范围证明和编码电路时，内积运算的一些有用代数技巧，并提供了每个规则的简单证明。

内积 Hadamard积范围证明代数技巧向量标量

in 零知识证明之书

本文详细介绍了Bulletproofs在范围证明中的构建方法，通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧，并通过Monero的使用实例说明了该技术的应用。

Bulletproofs 范围证明内积证明 Monero 零知识证明