Some Recent SNARKs

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