folding-schemes

Here are 2 public repositories matching this topic...

idrees2516 / lzx

LZX — the post-quantum lattice zkVM research workspace: 17+ paper protocol cores (Akita PCS, Twist & Shout, LaBRADOR/Greyhound, RoKoko, SALSAA, HyperWolf, LatticeBlindFold...) wired end-to-end, adversarially tested. Stage-5.2 claims fold landed: 31 KB batched-compact memory-argument proofs.

rust zero-knowledge post-quantum polynomial-commitments sumcheck zkvm lattice-cryptography folding-schemes twist-and-shout

Updated Oct 6, 2026
Rust

systemslibrarian / crypto-lab-fold-gate

Sponsor

Star

Browser-based Nova NIFS lab — watch a plain random combination of two satisfying R1CS instances fail, then watch E' = E₁ + rT + r²E₂ restore it, with real ristretto255 commitments, tampering fixtures, and no zero-knowledge claimed.

cryptography nova r1cs zero-knowledge-proofs ristretto255 crypto-lab folding-schemes incrementally-verifiable-computation

Updated Oct 16, 2026
TypeScript

Add this topic to your repo

To associate your repository with the folding-schemes topic, visit your repo's landing page and select "manage topics."

Learn more