Từ tầm nhìn của Valiant năm 2008 đến năm 2025 ~

IVC & các sơ đồ gập đã phát triển! Kể từ năm 2022:

↳ Halo giới thiệu tích lũy/gập
↳ Đệ quy Snark → gập cho IVC (KST22)
↳ Hỗ trợ Plonkish, CSS, Air, không chỉ R1CS
↳ Mạch xác minh nhỏ hơn
↳ Gập đa chiều & gập song song
↳ IVC mạch không đồng nhất
↳ An toàn sau lượng tử với các trường nhỏ hơn
↳ Xác minh trên chuỗi hiệu quả (MicroNova)
↳ Gập tùy chỉnh cho các tình huống

Có thiếu gì không?