ᴍᴏsᴛ ᴘʀᴏᴊᴇᴄᴛs sᴀʏ ᴛʜᴇʏ ᴀʀᴇ sᴇᴄᴜʀᴇ. ɢᴏᴀᴛ ɴᴇᴛᴡᴏʀᴋ sʜᴏᴡs ʜᴏᴡ ɪᴛ ᴛᴇsᴛs ᴛʜᴀᴛ ᴄʟᴀɪᴍ.
@GOAT Network によって使用される zkVM「Ziren」は、社内テストのみに依存するのではなく、独立したセキュリティ作業を受けています。
Consensys Diligence、TU Wien、そして Ethereum Foundation は、数か月にわたるファジングおよび脆弱性調査で協働しました。5件のバグが見つかり、再現され、修正され、さらに独立に再検証されました。無効な証明に影響し得る健全性（soundness）の問題も含まれています。
GOAT では、ブリッジ実装の重要部分を検証するために形式手法も使用しています。
最近の TLA+ による検証ラウンドでは、研究者らがブリッジノードの状態マシンをモデル化し、peg out のタイムロックや Taproot コネクタを Rust 実装から直接反映しました。
このプロセスで 8件の問題が見つかりました。すべての 8件は修正され、再検証されました。また「1 of N」のセキュリティ特性も 4つのネットワークにまたがって確認され、そのモデルでは 1,618,897 状態をカバーしながら違反はゼロでした。
これは重要です。検証とは「信じてください」と言うこととは同じではないためです。
つまり、何が起こるべきかを定義し、その特性に対して実装をテストし、見つかった内容を公開することを意味します。
GOAT の BitVM 設計も、楽観的チャレンジモデルを採用しています。主張された結果は異議申し立てでき、記載された「1 of N」の前提のもとで、単一の正直な参加者だけで詐欺的な振る舞いを止めるのに十分となり得ます。
そして GOAT は、より長期的な暗号学的脅威にも取り組んでいます。
ネットワークは、validator のコンセンサスキーを secp256k1 から ML DSA 65（NIST に標準化されたポスト量子署名方式）へ移行しています。
より大きな教訓はシンプルです。
セキュリティは、1 回の監査や 1 つの機能ではありません。
継続的なテスト、形式検証、独立した研究、チャレンジの仕組み、そして将来の脅威への備えです。
GOAT Network が、ビットコインに決済される価値のためのインフラを構築する際に取っているアプローチは、まさにこれです。
#bitcoin
@GOAT Network によって使用される zkVM「Ziren」は、社内テストのみに依存するのではなく、独立したセキュリティ作業を受けています。
Consensys Diligence、TU Wien、そして Ethereum Foundation は、数か月にわたるファジングおよび脆弱性調査で協働しました。5件のバグが見つかり、再現され、修正され、さらに独立に再検証されました。無効な証明に影響し得る健全性（soundness）の問題も含まれています。
GOAT では、ブリッジ実装の重要部分を検証するために形式手法も使用しています。
最近の TLA+ による検証ラウンドでは、研究者らがブリッジノードの状態マシンをモデル化し、peg out のタイムロックや Taproot コネクタを Rust 実装から直接反映しました。
このプロセスで 8件の問題が見つかりました。すべての 8件は修正され、再検証されました。また「1 of N」のセキュリティ特性も 4つのネットワークにまたがって確認され、そのモデルでは 1,618,897 状態をカバーしながら違反はゼロでした。
これは重要です。検証とは「信じてください」と言うこととは同じではないためです。
つまり、何が起こるべきかを定義し、その特性に対して実装をテストし、見つかった内容を公開することを意味します。
GOAT の BitVM 設計も、楽観的チャレンジモデルを採用しています。主張された結果は異議申し立てでき、記載された「1 of N」の前提のもとで、単一の正直な参加者だけで詐欺的な振る舞いを止めるのに十分となり得ます。
そして GOAT は、より長期的な暗号学的脅威にも取り組んでいます。
ネットワークは、validator のコンセンサスキーを secp256k1 から ML DSA 65（NIST に標準化されたポスト量子署名方式）へ移行しています。
より大きな教訓はシンプルです。
セキュリティは、1 回の監査や 1 つの機能ではありません。
継続的なテスト、形式検証、独立した研究、チャレンジの仕組み、そして将来の脅威への備えです。
GOAT Network が、ビットコインに決済される価値のためのインフラを構築する際に取っているアプローチは、まさにこれです。
#bitcoin