從Valiant的2008願景到2025年 ~

IVC和摺疊方案已經發展！自2022年以來：

↳ Halo引入了累積/摺疊
↳ Snark遞歸 → IVC的摺疊（KST22）
↳ 支持Plonkish、CSS、Air，不僅限於R1CS
↳ 更小的驗證器電路
↳ 多重摺疊和並行摺疊
↳ 非均勻電路IVC
↳ 後量子安全，使用更小的域
↳ 高效的鏈上驗證（MicroNova）
↳ 針對特定場景的定製摺疊

還缺少什麼嗎？