نوعی روش اثبات در رمزنگاری که در آن اثبات‌کننده می‌تواند به وارسی‌کننده اثبات کند که یک گزاره مفروض درست است، بدون آنکه هیچ اطلاعاتی به‌جز درستی گزاره به وارسی‌کننده منتقل شود |||متـ . اثبات دانش‌صفر