zkpool

Optimistic ZK 假設所有狀態轉換都是正確的，不需要立即的有效性證明。這種設計降低了 ZKP 項目的總證明成本，同時通過激勵去中心化的挑戰者監控系統和挑戰欺詐行為來確保安全性。