اثبات دانش صفر (ZKP)

اثبات دانش صفر به یک طرف اجازه می‌دهد درستی یک گزاره را بدون فاش کردن داده‌های زیربنایی یا انجام دوباره کار اثبات کند. نکته کلیدی این است که بررسی اثبات بسیار کم‌هزینه‌تر از تولید آن است.

برای مثال Pearl از اثبات‌های دانش صفر (از طریق سیستمی به نام Plonky2) استفاده می‌کند تا یک استخر بتواند با هزینه کم دوباره اعتبارسنجی کند که محاسبه سنگین هر شیر درست انجام شده است.