1/ Yeni anket: İhtiyacınız olan tek şey toplam kontrolü. Az önce Jolt ve daha geniş anlamda hızlı kanıtlayıcı SNARK'ların arkasındaki tasarım ilkeleri hakkında bir anket yayınladım. Muhtemelen ilk kez temel fikirlerin tümü tek bir yerde yazılıyor.

2/ Toplam kontrol protokolü nedir? Günümüzün en hızlı SNARK'larının omurgasıdır. Minimum ek yük ile büyük bir meblağı kontrol eden etkileşimli bir kanıt. SNARK'larda, kanıtlayıcıların çok daha az veri işlemesine olanak tanır. İşin çoğu basit toplama ve çarpma işlemlerine dönüşür.

3/ Ancak sum-check'in tüm kullanımları eşit değildir. En hızlı SNARK'lar, kanıtlayıcı işini en aza indirmek için tekrarlanan yapıdan yararlanarak bunu akıllıca kullanır. Anahtar teknikler: – Toplu değerlendirme argümanları – Hafıza kontrolü – Sanal polinomlar – Seyrek toplam kontroller – Küçük değerli koruma

Biraz daha nüans eklemek için, toplam kontrolü, karma tabanlı taahhütlerle küçük değerlere taahhütte bulunmayı daha hızlı hale getirmeye yardımcı olabilir. örneğin, FRI-Binius, paketlenmiş değerlere FRI benzeri bir kesinleştirme şeması uygulamadan önce birçok küçük değeri tek bir alan öğesine paketler. Sum-check daha sonra paketlenmemiş değerleri (doğrulayıcının gerçekten önemsediği şeydir) gerçekten taahhüt edilen paketlenmiş değerlerle ilişkilendirmek için kullanılır.