This page collects topic ideas and resources.
Sumchecks
- https://eprint.iacr.org/2023/1342
- Spartan https://eprint.iacr.org/2019/550
- Lasso/Jolt? https://youtu.be/_WsCQc9Elcg
Lookup arguments
- Plookup et al.
- https://www.youtube.com/live/xnzjC_9vUzs Groth on folding memory checking
- https://youtu.be/uGjbczKGm4s
Recursion and Folding
- Accumulation without homomorphism
- Lattice folding (alternative talk)
- Nova cycle of curves Talk 1, Talk 2
- Mova: Nova folding without committing to error terms
Provable security of recursion
Evaluating Random Oracles within circuits:
- On Succinct Non-Interactive Arguments in Relativized Worlds (Talk)
- Arithmetized Random Oracles (Slides)
- (some) potential impossibility (Slides)
- (another) potential impossibility
Lattice-based ZK Proofs
- Lattices Meet Hashes Workshop
- BDLOP18 More efficient commitments from structured lattice assumption
- LNP22 Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General
- NS22 Practical Sublinear Proofs for R1CS from Lattices
- BS22 LaBRADOR: Compact Proofs for R1CS from Module-SIS
- AFLN23 SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions
ZK and Machine Learning
- LXZ21 zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy
- BFG+23 Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing
- GGJM23 Experimenting with Zero-Knowledge Proofs of Training
Anonymous Credentials
- RPXCS22 ZEBRA: SNARK-based Anonymous Credentials for Practical, Private and Accountable On-chain Access Control
- RWG+23 zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure
- Lattice-based AC: