Da visão de 2008 da Valiant até 2025 ~

IVC e esquemas de folding evoluíram! Desde 2022:

↳ Halo introduzindo acumulação/folding
↳ Recursão Snark → folding para IVC (KST22)
↳ Suporta Plonkish, CSS, Air, não apenas R1CS
↳ Circuitos de verificação menores
↳ Multifolding e folding paralelo
↳ IVC com circuitos não uniformes
↳ Seguro pós-quântico com campos menores
↳ Verificação on-chain eficiente (MicroNova)
↳ Folding personalizado para cenários

Está faltando alguma coisa?