Lattice-Based Folding Achieves Post-Quantum Recursive Zero-Knowledge Proofs
First lattice-based folding scheme secures recursive SNARKs against quantum attack by replacing discrete logarithm commitments with Module SIS.
