From Valiant's 2008 vision to 2025 ~

IVC & folding schemes have evolved! Since 2022:

↳ Halo introducing accumulation/folding
↳ Snark recursion → folding for IVC (KST22)
↳ Supports Plonkish, CSS, Air, not just R1CS
↳ Smaller verifier circuits
↳ Multifolding & parallel folding
↳ Non-uniform circuit IVC
↳ Post-quantum secure with smaller fields
↳ Efficient on-chain verification (MicroNova)
↳ Custom folding for scenarios

Missing anything?