От видения Valiant в 2008 году до 2025 года ~

IVC и схемы сворачивания эволюционировали! С 2022 года:

↳ Halo представляет накопление/сворачивание
↳ Рекурсия Snark → сворачивание для IVC (KST22)
↳ Поддержка Plonkish, CSS, Air, а не только R1CS
↳ Меньшие схемы проверки
↳ Мультисворачивание и параллельное сворачивание
↳ Непостоянные схемы IVC
↳ Постквантовая безопасность с меньшими полями
↳ Эффективная проверка в блокчейне (MicroNova)
↳ Индивидуальное сворачивание для различных сценариев

Что-то упустили?