从Valiant的2008愿景到2025年 ~

IVC和折叠方案已经发展！自2022年以来：

↳ Halo引入了累积/折叠
↳ Snark递归 → IVC的折叠（KST22）
↳ 支持Plonkish、CSS、Air，不仅限于R1CS
↳ 更小的验证器电路
↳ 多重折叠和并行折叠
↳ 非均匀电路IVC
↳ 后量子安全，使用更小的域
↳ 高效的链上验证（MicroNova）
↳ 针对特定场景的定制折叠

还缺少什么吗？