sum-check protocol合集

• 2008年论文 Delegating Computation: Interactive Proofs for Muggles 学习笔记
• 2018年论文 Hyrax: Doubly-efficient zkSNARKs without trusted setup学习笔记
• Hyrax: Doubly-efficient zkSNARKs without trusted setup代码解析
• 2019年论文 Spartan: zkSNARKS without trusted setup学习笔记
• Spartan: zkSNARKS without trusted setup 源代码解析
• 2020年博客 sum-check protocol in zkproof
• https://github.com/arkworks-rs/sumcheck arkworks团队分别对 Tiancheng Xie等人2019年论文《Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation》 和 Thaler 2013年论文《Time-Optimal Interactive Proofs for Circuit Evaluation》中的sumcheck protocol做了实现。
• Bootle等人2021年论文 Sumcheck Arguments and their Applications 和相应的PPT Sumcheck Arguments and their Applications