Sumcheck
روشی تعاملی برای بررسی ادعایی دربارهٔ مجموع مقدارهای یک polynomial روی مجموعه‌ای مشخص، با کاهش مرحله‌ای آن به بررسی‌های کوچک‌تر.
این تعریف را هوش مصنوعی از روی مطالب فیدآپ نوشته است.
مطالبی با این مفهوم
- Cryptography
StateSync-GKR؛ بررسی ماشینی soundness و prover سریع‌تر با proofهای یکسان
StateSync-GKR یک کران soundness برای GKR در Isabelle/HOL ارائه کرده است. در نسخهٔ 1.2 نیز throughput تولید proof بین ۲٫۴۱ تا ۲٫۷۱ برابر افزایش یافته، بدون تغییر proofهای مقایسه‌شده؛ اما اتصال کامل مدل به verifier در Rust هنوز تمام نشده است.