رحلة إلى أسرع مؤكدين zkSNARK: المجموع الاختيار '92 ➜ عناوين IP للدوائر منخفضة العمق (GKR / CMT'12) ➜ SNARKs للدوائر منخفضة العمق (vSQL'17) ➜ SNARKs للدوائر العامة + عمليات البحث (Spartan'19) ➜ zkVMs عبر عمليات البحث (Lasso + Jolt'23 ، Twist + Shout'25) التحقق من المجموع يعمل أيضا على الطي: Neo!