零知識證明

零知識證明是一種方法，藉助它，一方（證明者）可以讓另一方（驗證者）相信某個陳述為真，卻不透露除「它為真」之外的任何資訊。驗證者由此確信該斷言成立，卻學不到任何使其成立的底層秘密。這是密碼學中最令人驚訝的構想之一，因為乍看之下，要證明某事通常意味著亮出你的證據。

經典的演示是：在從不鍵入密碼的情況下證明你知道密碼。設想一個環形山洞，洞底深處有一道上鎖的門，一位朋友守在入口。你從兩條通道之一走進去，朋友隨後喊出他希望你從哪一側出來。如果你真的掌握能開門的秘密，那麼無論他喊哪一側，你每一次都能從指定的那側走出。經過足夠多輪，朋友便確信你知道密碼，卻始終沒有聽到它。零知識證明就是把這種可反覆進行、無法作假的演示，封裝進一段數學之中。

這遠不止是把戲。它讓你能在不透露生日的前提下證明自己已年滿 18，在不公開餘額的前提下證明自己資金充足，或在不重新運行的前提下證明一整批交易被正確計算——這正是 zk-Rollup 擴展區塊鏈的方式。零知識證明讓區塊鏈得以守住可驗證這一核心承諾，同時找回了幾分全公開帳本本會放棄的隱私。