零知识证明snarks 研究历程和自学资料整理

研究历程

1. Snarks foundation 第一篇文章 2012年: Quadratic Span Programs and Succinct NIZKs without PCPs Rosario Gennaro， Craig Gentry， Bryan Parno， Mariana Raykova
2. Zerocash （2014）Zerocash: Decentralized Anonymous Payments from Bitcoin Eli Ben-Sasson and Alessandro Chiesa and Christina Garman and Matthew Green and Ian Miers and Eran Tromer and Madars Virza
3. Square Span Programs with Applications to Succinct NIZK Arguments 2014 George Danezis and Cedric Fournet and Jens Groth and Markulf Kohlweiss
4. （2015） Zero-Knowledge Contingent Payment
5. On the Size of Pairing-based Non-interactive Arguments Jens Groth 2016
6. Attack because of trusted setup （2017）Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services
7. A multi-party protocol for constructing the public parameters of the Pinocchio zk-SNARK
8. 总结性文章 Subversion-zero-knowledge SNARKs
9. Starks 2018 Scalable, transparent, and post-quantum secure computational integrity Eli Ben-Sasson and Iddo Bentov and Yinon Horesh and Michael Riabzev

有关论文

1. On the security of the BCTV Pinocchio zk-SNARK variant 2019
2. Simulation-Extractable SNARKs Revisited 2019
3. Simulation Extractability in Groth's zk-SNARK 2019
4. ZKBoo: Faster Zero-Knowledge for Boolean Circuits 2016
5. Pinocchio-Based Adaptive zk-SNARKs and Secure/Correct Adaptive Function Evaluation 2017
6. A Subversion-Resistant SNARK 2017
7. Transparent SNARKs from DARK Compilers 2019
8. Bulletproofs: Short Proofs for Confidential Transactions and More
9. Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings 2019 an introduction
10. Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs 2017

自学资料

1. 从函数到QAP

snarks 第一步要把函数转化成QAP，即对多项式的约束，以下中英文资料介绍很详细 V神 Medium https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649

中文翻译：
上半部分：

下半部分

我在读V神文章的时候，对从R1CS到多项式的转换过程有模糊，有同样一伙的小伙伴可以参考

文章持续更新