2600 萬美元的黑盒：為什麼未驗證的程式碼是定時炸彈

重點摘要：

• 漏洞利用： 一個已上線 5 年的智能合約因其未驗證字節碼中的漏洞被掏空了 2600 萬美元（8,536 ETH）。
• 危險： 未驗證的程式碼充當「黑盒」，用戶和研究人員都無法審計合約實際做了什麼。
• 迷思： 這一事件證明「存活時間」不等於安全；一個缺陷可以潛伏多年才被觸發。
• Zelf 標準： 關鍵基礎設施必須是 開源且可驗證的。Zelf 使用 ZK 證明來數學上保證正確性，無需盲目信任。

黑盒的危險

不要信任「希望」

• 開源倫理：我們相信關鍵基礎設施必須開放供檢查。
• 零知識完整性：我們不要求你信任我們伺服器的內部狀態。我們使用 ZK 證明來 密碼學地證明 計算被正確執行，而不透露底層的私有資料。