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