2019论文：待细看
- 1）Spartan: Efficient and general-purpose zkSNARKs without trusted setup Srinath Setty (2019/550)
Almost completely eliminates trusted setup, but succinct means root, not log
*2）Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings Mary Maller, Sean Bowe, Markulf Kohlweiss, Sarah Meiklejohn (2019/099)
3）AuroraLight: Improved prover efficiency and SRS size in a Sonic-like system Ariel Gabizon (2019/601)
Trusted setup can be updated later to increase confidence/security .
https://zkp.science/
2017年论文： 值得细看
Hyrax[WTsTW17]: Doubly-efficient zkSNARKs without trusted setup []
以及博客待细看，含当前最新零知识证明算法介绍：
https://nakamoto.com/cambrian-explosion-of-crypto-proofs/
参考资料：
[1] Some Recent SNARKs
