2600万ドルのブラックボックス：なぜ未検証コードは時限爆弾なのか

要約：

• 搾取： 5年間ライブだったスマートコントラクトが、未検証バイトコードの脆弱性により2600万ドル（8,536 ETH）を失いました。
• 危険： 未検証コードは「ブラックボックス」として機能し、ユーザーも研究者もコントラクトが実際に何をするかを監査できません。
• 神話： このインシデントは「生存期間」がセキュリティを意味しないことを証明しています。欠陥は何年もの間休眠状態で存在し、トリガーされるのを待つことがあります。
• Zelfの基準： 重要なインフラはオープンソースで検証可能でなければなりません。ZelfはZK証明を使用して、盲目的な信頼を必要とせずに正確性を数学的に保証します。

ブラックボックスの危険

「希望」を信じるな

• オープンソース倫理：重要なインフラは検査のために公開されるべきだと信じています。
• ゼロ知識の完全性：サーバーの内部状態を信頼してくださいとは言いません。ZK証明を使用して、基礎となるプライベートデータを明かさずに計算が正しく行われたことを暗号学的に証明します。