ハッキングが起こる前に防ぐ時が来ました。 信頼層のV1がここにあります。 ベータテストが現在開始されています。 私たちは長い間これに取り組んできましたが、それがもたらす影響について非常に楽観的です。 仕組みは次のとおりです。 信頼できるレイヤーには、次の 4 つのコンポーネントがあります。 > アサーション: Solidityで記述されたセキュリティルールで、決して発生してはならない状態を定義します(例:「実装アドレスは変更すべきではない」、「価格は1回のトランザクションでx%を超えて逸脱してはならない」)。 > プロトコル: チームはコントラクトのアサーションを定義し、オンチェーンに登録します。 > ブロックビルダー/シーケンサー: ネットワークインフラストラクチャは、ブロックを含める前にすべてのトランザクションをアサーションに対して検証し、セキュリティルールに違反するものを削除します。 > 透明性ダッシュボード: どのプロトコルがどのように保護されているかを示します。 ここでは、実際にどのように機能するかを理解するために、トランザクションフローの内訳を示します。 > ユーザーがネットワークにトランザクションを送信する >トランザクションがメモリプールに入る > OP-Talosは、潜在的な包含のためにトランザクションを受け取ります > OP-Talos は、トランザクションが対話する契約に関連するアサーションを参照します > PhEVM はトランザクション実行をシミュレートし、トランザクション前/トランザクション後の状態スナップショットを作成します > 関連するすべての主張は、これらの状態に対して実行されます > いずれかのアサーションが元に戻すと、トランザクション→無効としてフラグが立てられ、ドロップされた場合 > すべてのアサーションがブロックに含まれるトランザクション→合格した場合 トランザクションがハッキングにつながり、コントラクトが Credible Layer によって保護されている場合、トランザクションはドロップされます。コントラクトが保護されていない場合、トランザクションは含まれます。 上記を可能にするシステム: > OP-Talos: 検証プロセスを調整し、アサーション違反トランザクションを除外してブロックを構築する OP スタック ロールアップ用のカスタム ブロック ビルダー。 > PhEVM (OP-Talos の強制部門): 効率的な状態アクセスのための特別なプリコンパイルを使用して、分離されたオフチェーン環境でアサーション バイトコードを実行します。 > アサーションDA:アサーションのソースコードとバイトコードを保存し、ブロックビルダーにアサーションコードを提供します。 > Credible Layer Protocol: アサーションのオンチェーン レジストリを管理し、アサーションを保護されたコントラクトにマッピングするスマート コントラクト。 これにより、dappで次のことが可能になります。 • ハッキングを防止し、検出しない: 実行前に攻撃を阻止します • 誤検知なし: 定義されたルールに明示的に違反するトランザクションのみをブロックします • 開発者に優しい: Solidity で記述されたアサーション - 非侵襲的:既存の契約変更は不要 • 高性能: 1,500+ トランザクションを 50 ミリ秒未満で処理 • 透過的: すべてのアサーションがオンチェーンに表示されます 開発者は今日テストできます。できます: コントラクトのデプロイ> >アサーションを書く > テストを書く > ハッキング トランザクションがアサーションを破るかどうかをテストします ご興味がございましたら、お問い合わせください。今のところ、アクセスをホワイトリストに登録しています。 セキュリティは変化しています。 (大きな発表は近日公開予定)。
3.72K