零知識證明是指不需要提供真正的答案內容,也可以利用此在有限制的條件之下證明答案的正確性。
如圖,綠色並不知道粉色是否有鑰匙可以打開最後面的門,而粉色在綠色不知道的情況下從A或B跑入,這時綠色隨機選取A或B,而如果粉色可以正確的跑出,假使粉色沒有鑰匙且猜對的機率是50%,再試第二次假使粉色依舊沒有鑰匙且猜對的機率就是25%,而重複無限次,而如果每次粉色都猜對且粉色沒有鑰匙的情況下機率是接近於零,因此可以就可以斷定粉色是有鑰匙的。
如圖(圖上應改為z=w+re),證明者要證明自己知道w值,需要給出g^w和一個a是等於g^r,接著驗證者給出一個隨機數e,然後證明者給出一個值g^z,z等於w+re,最後驗證者計算(g^w)*(a^e)是否等於g^z,此例子主要是利用指數的公式來進行驗證。
許多場景其實都可以使用零知識證明,這裡只簡單描述實例,ZK Rollup的實際運用技術更為複雜。