QRコードをスキャンしてダウンロードしてください。
BTC $70,740.69 -2.62%
ETH $2,076.78 -2.43%
BNB $645.12 -1.41%
XRP $1.42 -4.56%
SOL $81.67 -4.53%
TRX $0.2795 -0.47%
DOGE $0.0974 -3.83%
ADA $0.2735 -4.22%
BCH $457.98 -0.19%
LINK $8.64 -2.97%
HYPE $28.98 -1.81%
AAVE $122.61 -3.42%
SUI $0.9138 -6.63%
XLM $0.1605 -4.62%
ZEC $260.31 -8.86%
BTC $70,740.69 -2.62%
ETH $2,076.78 -2.43%
BNB $645.12 -1.41%
XRP $1.42 -4.56%
SOL $81.67 -4.53%
TRX $0.2795 -0.47%
DOGE $0.0974 -3.83%
ADA $0.2735 -4.22%
BCH $457.98 -0.19%
LINK $8.64 -2.97%
HYPE $28.98 -1.81%
AAVE $122.61 -3.42%
SUI $0.9138 -6.63%
XLM $0.1605 -4.62%
ZEC $260.31 -8.86%

セキュリティ

Aave LabsはAave V4のセキュリティプランの完全な透明性監査報告を発表しました。

公式の発表によると、Aave LabsはAave V4のセキュリティプログラムに関する完全な透明性レポートを発表しました。これには、方法、プロセス、結果などが含まれ、Trail of Bits、Blackthorn、Certoraなどの複数のセキュリティ機関が共同で支持しています。手動監査、形式的検証、不変テスト、ファジング、公開セキュリティコンペティションを通じて、約345日間のセキュリティレビューが行われました。このプログラムは、DAOによって承認された150万ドルの専用セキュリティ予算によって支えられています。Aave Labsは、Aave V4セキュリティプログラムから5つのコアコミットメントを継続することを発表しました:初期開発段階に形式的検証を組み込み、アーキテクチャ設計が検証だけでなく安全な方法の指導を受けることを確保すること;手動レビュー、形式的検証、不変テスト、AI支援チェック、ファジング、公開セキュリティコンペティションを含む層状のセキュリティアプローチを採用し、より多くの潜在的な脆弱性をカバーすること;継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変テストスイートはプロトコルの反復に伴って継続的に実行されること;長期的な脆弱性報奨プログラムを設立し、より広範なセキュリティコミュニティを利用して継続的な監視を提供すること;およびAIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのインテリジェントなセキュリティ検出レベルを継続的に向上させること。

Aave LabsはAave V4のセキュリティプログラムの完全な透明性監査報告を発表しました。

公式の発表によると、Aave LabsはAave V4のセキュリティプログラムに関する完全な透明性レポートを公開しました。このレポートには、方法、プロセス、結果などが含まれており、Trail of Bits、Blackthorn、Certoraなどの複数のセキュリティ機関が共同で支持しています。手動監査、形式的検証、不変テスト、ファジング、公開セキュリティコンペティションを通じて、約345日間のセキュリティレビューが行われました。このプログラムは、DAOによって承認された150万ドルの専用セキュリティ予算によって支えられています。Aave Labsは、Aave V4セキュリティプログラムから5つのコアコミットメントを継続することを発表しました:初期開発段階に形式的検証を組み込み、アーキテクチャ設計が安全な方法論に基づいていることを確認する;手動レビュー、形式的検証、不変テスト、AI支援チェック、ファジング、公開セキュリティコンペティションを含む層状のセキュリティアプローチを採用し、より多くの潜在的な脆弱性をカバーする;継続的なセキュリティカバレッジを維持し、形式的検証フレームワークと不変テストスイートはプロトコルの反復に伴って継続的に実行される;長期的な脆弱性報奨金プログラムを設立し、より広範なセキュリティコミュニティを利用して継続的な監視を提供する;そして、AIスキャン能力を最適化し、既存のテスト経験に基づいて将来のバージョンのスマートセキュリティ検出レベルを向上させる。

OpenAI と Paradigm が EVMbench を発表し、AI エージェントのスマートコントラクトセキュリティへの応用を探ります。

据 The Block 报道,OpenAI と暗号投資機関 Paradigm は、AI エージェントのスマートコントラクトセキュリティ分野における能力を評価するための EVMbench を共同で発表しました。これには、高リスクの脆弱性の識別、修正、及び悪用が含まれます。双方は、AI がコードの作成と実行において能力を向上させるにつれて、攻撃者に利用される可能性がある一方で、防御ツールにもなり得ると述べています。したがって、実際の経済的意義を持つ環境で AI システムのセキュリティ能力をテストする必要があります。EVMbench は、脆弱性検出、契約の修正、悪用可能性の排除、及びサンドボックスチェーン環境での完全な攻撃プロセスのシミュレーションを含む多様なテストモードを提供します。このツールの発表に際し、DeFi プロトコル Moonwell とクロスチェーン流動性プロトコル CrossCurve が最近、スマートコントラクトの脆弱性攻撃に相次いで遭遇し、AI 支援のコードセキュリティに対する関心が高まっています。EVMbench は、120 の選定された脆弱性サンプルに基づいて構築されており、複数の公開監査およびコンペティションのケースをカバーしています。業界の分析者は、AI 技術の進歩に伴い、スマートコントラクトの脆弱性識別のハードルがさらに低下する可能性があり、安全防御と攻撃能力の間の競争が加速していると考えています。
app_icon
ChainCatcher Building the Web3 world with innovations.