前言 这章主要讲述ZK-SNARKs 所用到的算术电路、R1CS、QAP等 1:算术电路 算术运算电路 1>半加器：实现半加运算的逻辑电路 2>全加器：能进行被加数，加数和来自低位的进位信号相加，并根据求和结果给出该位的进位信号 说明：2进制加，低位进位 相当于 结果S为 = A+B+C(地位进位) 高位进位 = A+B+C(地位进位) 三个中 有最少2个为1 高位就有进位了 【1】 方程转算

什么是zk-SNARKs？ Zcash is the first widespread application of zk-SNARKs, a novel form of zero-knowledge cryptography. The strong privacy guarantee of Zcash is derived from the fact that shielded trans

1. 引言 本文主要参考： Alexander R. Block 2023年论文 Fiat-Shamir Security of FRI and Related SNARKsAlbert Garreta 2023年9月在ZK Summit 10上分享 ZK10: Fiat-Shamir security of FRI and related SNARKs - Albert Garreta (N

1. 引言 前序博客有： Binius：基于binary fields的SNARKs（Part 1）Binius：助力ZK行业发展 本文重点关注： 1）concatenated codes：可扩展对small fields的多项式承诺方案2）用于，check 基于多变量多项式的statements，的不同协议 2. Concatenated Codes 之前的 Binius：基于bin

背景 Tornado cash是一个去中心化加密货币混合服务平台，使用智能合约来接受来自一个地址的代币存款，并允许他们从另一个地址提款。这些智能合约作为混合所有已存资产的池。一旦资金通过一个全新的地址从这些池中提取，链上源和目的地之间的链接已断开。然后将提取的加密资产匿名化。tornado cash中通过将merkle tree 与 zk-snarks结合使用实现存取款地址分离，从

ZKP学习笔记 ZK-Learning MOOC课程笔记 Lecture 9: SNARKs based on Linear PCP (Yupeng Zhang) SNARKs learned so far Earliest Implemented SNARKs Pros Shortest proof size (3 elements [Groth16])Fast verifier (

1. 引言 JENS ERNSTBERGER等人2023年论文《zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs》。 zk-Bench，定位为： 定位为首个公钥密码学性能评估基准测试框架和工具，重点关注通用ZKP系统的实测评估。 现有其它性能评估工具： 1）https

ZKP学习笔记 ZK-Learning MOOC课程笔记 Lecture 4: SNARKs via Interactive Proofs (Justin Thaler) 4.1 Interactive Proofs: Motivation and Model Interactive Proofs P solves problem, tells V the answer. Then t