零知识证明

参考 iden3 官方最新教程文档，用 circom2 和 snarkjs 库创建和执行你的第一个零知识证明。

I know that I know nothing —— 苏格拉底

相信很多人都听说过零知识证明，但是只有极少数人听说过模拟，然而模拟是理解零知识的关键。

通过讲解证明者和验证者之间的关系，以及如何使用 ZKP 实现隐私保护的机制。文中零知识证明的基本原理与公式，举例说明 Tornado Cash 如何通过零知识证明确保用户交易的匿名性

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～

零知识证明（Zero-knowledgeproofs）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。

RareSkills 的 Zero Knowledge Proofs 系列文章之《P vs NP 及其在零知识证明中的应用》。

一段代码生成零知识证明可以分为代码变成多项式阶段，多项式生成承诺两个阶段。

第一阶段，简单来说就是把代码转换成 a * b = c 三元算式的列表（就是写电路），然后套数据公式把三元算式的列表转换成多项式，然后用R1CS&QAP的方式对多项式进行约束；

第二阶段，先是通过f(x) = h(x)t

本文详细介绍了SP1 zkVM设计中的核心证明部分，包括多项式承诺方案（PCS）、Fiat-Shamir挑战生成器、FRI协议、低度扩展（LDE）和开放证明。文章深入探讨了这些技术的实现细节和数学原理，旨在构建高效的零知识证明系统。

零知识证明（Zero-knowledgeproofs）是一种在不暴露声明本身的情况下证明声明有效性的方法。

解析加密业界对零知识的见解及其未来的意义。

zkSNARK实践（二）——指数方程的证明