عندما يتحدث العاملون في مجال التشفير عن "إثباتات المعرفة الصفرية" (zero-knowledge proofs)، فإنهم يقصدون دائمًا تقريبًا شيئًا واحدًا محددًا: تقنية SNARK أو STARK التي تثبت أن عملية حسابية معينة قد تم تنفيذها بشكل صحيح، دون الكشف عن المدخلات. هذا النموذج الذهني جيد لمعظم النقاشات الهندسية. ولكنه يخفي تمييزًا يصبح مهمًا في اللحظة التي تحاول فيها التفكير فيما تضمنه الحماية الأمنية فعليًا.
This is a companion discussion topic for the original entry at https://namefi.io/r/ar/blog/perfect-vs-computational-zero-knowledge