Kitchen Math
3
Probabilitic Method
4.1
Leftover Hash Lemma and HILL Entropy
4
Various Papers
4.1
Leftover Hash Lemma and HILL Entropy
4.2
Discrete Gaussian Leftover Hash Lemma
4.3
Schwartz-Zippel By Dana Moshkovitz
4.4
Ligero Interleaved Linear Code Testing
4.5
Interleaved Linear Code Testing with Logarithmic Randomness
4.6
Basefold Random Linear Foldable Code and the Distance Proof
4.7
Bulletproof
4.8
Sublinear Lattice ZKP for Arithmetic Circuits
4.9
A Non-PCP Approach to Succinct Quantum-Safe ZK
4.10
Short Invertible Polynomial Ring Elements
4.11
Lattice-Based Exact Argument of Knowledge
4.12
Practical Product Proof from Lattice Commitments
4.13
Practical Exact Proofs from Lattices
4.14
Lattice Proofs for Exact Euclidean Norm Bounds and Quadratic Relations
4.15
LaBRADOR
4.16
Greyhound
4.17
Lattice-Based Succinct Arguments for NP with Polylog Verification