為了驗證，zkRollups 每年要燒掉 $10,000,000 想不到吧！Swap、借貸、投票等等都要用到驗證服務，ZK 證明已經被廣泛採用，然而驗證客戶端割裂、費用高昂、集成困難已經成為行業通病。 Worldcoin 一次驗證需要燒掉 20 ～60 刀 Gas，WOW。 讓我們潛入！ ⬇️ 區塊鏈世界就是一個黑暗森林，所有的代碼必須多次被驗證才可以完成特定服務，這也是去中心化帶來的特性之一。不洩漏具體細節、但可以驗證結果，ZK 零知識證明技術成為行業的通用解決方案，然而，現實並沒有那麼美好。 先說成本 證明驗證市場估計僅 zkRollups 在 2024 年的安全支出就超過 1 億美元，到 2028 年包括 ZK 應用時預估會擴展到 15 億美元。再細化一點，以太坊上單個 ZK 證明的驗證成本可從 16 美元到 205 美元不等，且，變動極大、服務極不穩定： ▰ Fflonk：$16.13 ▰ Halo2：$28.81 ▰ Groth16：$29.39 ▰ STARK：$204.65 注：僅假設 30 gwei 、eth 價格為 $3k 情況 如果是這個成本，如果要完成私密的 DeFi 交易、投票、遊戲、驗證身份就變得恐怖了，這玩意兒也太貴了。開頭提到 Worldcoin 單次驗證成本就要 20～60刀，他們也被迫轉向 OP 去，不過這只是權宜之計，絕大部分的資產和服務還是在一層網絡。 90 億個ZK證明等著生成，也意味著 90 億次驗證 — 這筆賬，誰來買單？ 再說割裂 為什麼不同 ZK 驗證方案都卡殼？傳統方案依賴 L1鏈上驗證，但以太坊的 EIP 過程太慢了，嚴重拖了後腿。2017 年的 EIP-196 和197 引入了BN254 曲線的預編譯合約，讓 zk-SNARKs 驗證變簡單，但也鎖死了其他曲線。新興的 BLS12-381曲線安全更高、更高效，卻因 EIP-2537至今未落地，導致開發者被迫曲線救國：先聚合證明，再轉換格式，延長最終性時間，還多花錢。 STARK 證明本就高效，但驗證 Gas 費高達 200多萬，遠超 SNARKs。Rollups用欺詐證明替代ZK，但一週挑戰期太長，安全隱患大；比特幣 zkRollups 因腳本限制，只能鏈外驗證，依賴複雜BitVM 挑戰，成本和風險並存。 新興證明系統如...