
یک اثباتکننده(P) سعیمیکند تصدیقکننده (V) را متقاعدکند که ادعایش صحیح است. در حالت عادی، P در یک ارتباط یک سری اطلاعات به V میدهد و V با محاسباتی صحت ادعای P را تاییدمیکند. آیا میتوان بدون انتقال اطلاعات اضافی، V را متقاعد نمود؟ آیا میتوان پیامهای بیشتری ردوبدلکرد و در عین حال اطلاعات اضافه منتقل نشود؟ آیا میتوان با درنظر گرفتن احتمال خطای غیرصفر و با انتقال اطلاعات کم و کافی V را راضی نمود؟ تعریف دانایی صفر: در یک اثبا ...