本文にスキップ
AI News HubLIVE
その他
要約のみ

AIスタートアップが2770万ドルの攻撃を阻止

Grego AIは、画期的な「深い不変性解析」技術により、すべてのトップ監査機関が見逃していたブロックチェーンプロトコルの重大な脆弱性を発見し、2770万ドルの潜在的な攻撃を阻止、25万ドルのバグ報奨金を獲得しました。この技術は独自のアーキテクチャと推論エンジンにより、既存のAIモデルの能力を限界まで押し上げ、複雑なシステム相互作用に隠れた脆弱性の自動検出と検証を実現します。

ソースHacker News AI著者: gregomaspero
AIスタートアップが2770万ドルの攻撃を阻止
誤りを報告

訂正窓口はまだ利用できません。記事情報をコピーして保存できます。

訂正案内

要約のみ

配信元のコンテンツ権限に基づき、編集要約、要点、原文へのリンクのみを提供します。

要点と分析を開く

記事インテリジェンス

エンジニア中級

要点

  • Grego AIは、人間のレビューでは到達不可能なソフトウェア脆弱性を発見する、初のAIベースの深い不変性解析手法を発表。
  • 同システムはEthereum、Lido、Chainlinkなどの主要プロトコルで重要な脆弱性を発見し、2770万ドルの攻撃を阻止。
  • トップバグハンターのJustus Hanna氏と数学オリンピック金メダリストのGregorio Maspero氏が創業し、cyber•FundやVercel創業者が出資。
  • 技術の中核は独自の推論アーキテクチャにあり、既存モデルを本来の設計を超えて動作させ、深いコード推論を実現。

要点と分析は自動生成され、誤りを含む場合があります。原典をご確認ください。