概述
零知識證明（ZKP）是讓一方證明陳述為真、且不揭露其有效性以外任何資訊的密碼學方法。在 Web3 中，ZKP 用於壓縮計算、驗證匯總批次與保護隱私。它們是現代區塊鏈堆疊中影響最深的密碼學原語之一。
運作原理
證明者為計算（如「我正確執行了這一萬筆交易」）生成證明，驗證者以遠短於重新執行計算的時間檢查證明。證明簡潔且不揭露底層輸入（除非設計如此）。常見方案包括證明小、驗證快的 SNARK，以及透明、抗量子但較大的 STARK。
為何重要
ZKP 使 ZK 匯總能夠擴容以太坊、在公開帳本上實現私密交易，並建立僅揭露最少資訊的身份系統。其成本是生成證明所需的繁重計算，不過硬體與演算法改進正在降低。截至 2026 年，ZKP 正從研究轉向生產基礎設施。
相關概念
ZKP 驅動 ZK 匯總與有效性證明，並被應用於隱私與身份。它們與哈希函數及其建構所使用的承諾方案相關。