Nyx Foundation、AIバグ発見システム「SPECA」がイーサリアム財団の研究助成金に採択。プロトコルセキュリティの自動化へ 一般社団法人 Nyx Foundationのプレスリリース
イーサリアムの仕様書（Execution/Consensus specs）を自動で読み込み、クライアント実装との不整合を検出するプロトタイプ（CLI/API）を開発します。 これにより、GitHubのCI/CDパイプライン等にSPECAを組み込み、開発の初期段階で仕様違反を検知できる体制を構築します。
Nyxが世界に先駆けて取り組んでいる「Lean言語を用いた形式検証の自動化」技術とSPECAを統合します。 SPECAが生成したセキュリティ要件を、数学的な証明に基づくLean 4の形式仕様へと自動変換するパイプラインを構築し、進化し続けるイーサリアムの仕様に対しても、より厳密でスケーラブルな安全性検証を実現します。 助成金期間中も継続してクライアントの監査を行い、発見された脆弱性の報告と修正パッチの提供を行います。 また、これらの成果をまとめたフルペーパーを、セキュリティ分野のトップカンファレンスへ投稿する予定です。
Nyx Foundationは、AIエージェントと形式検証の技術を掛け合わせることで、イーサリアムをはじめとするあらゆるITシステムの脆弱性発見を自動化し、誰もが安心して利用できるデジタル社会の基盤構築に貢献してまいります。 このツールはオープンソースで公開され、一般利用を目指します。 一般社団法人Nyx Foundation（所在地：東京都文京区）は、Ethereum・ブロックチェーンに特化した私設の研究機関です。 形式検証とセキュリティを専門領域とし、次世代プロトコルの安全性向上に取り組んでいます。
すべての活動資金は寄付・研究助成金・スポンサーシップによって支えられています。 Ethereum Foundationやブロックチェーン企業・大学との連携を進め、Financial Cryptography 2026 DeFi Workshopでの論文採択など、国際的な学術成果も上げています。
プレスリリース ニュースリリース 配信 サイト サービス 方法 代行 PR TIMES
United States Latest News, United States Headlines
Similar News:You can also read news stories similar to this one that we have collected from other news sources.
手書き・FAX・領収書まで、「データ入力業務の完全自動化」 VLMベースAI-OCRプラットフォーム「Papers GO AI」提供開始手書き・FAX・領収書まで、「データ入力業務の完全自動化」 VLMベースAI-OCRプラットフォーム「Papers GO AI」提供開始 株式会社AKUODIGITALのプレスリリース
Read more »
新恵社がAI Orchestraと共催で非エンジニア向けClaude Code入門ウェビナーを開催新恵社はオウンドメディア編集部アウトソーシング事業の第一弾として、AI Orchestraと共催で非エンジニア向けClaude Code活用のウェビナーを開催。非エンジニアが業務効率化を実現する方法を伝授し、複数チャネルを統合した編集支援の実例を披露する。
Read more »
AMD Ryzen AI 7 350シリーズ搭載の超薄型軽量ノート「Acer Swift Air 16」でベンチマーク・バッテリー・熱など計測してみたAMD Ryzen AI 7 350シリーズを搭載し、重量990gという超軽量の薄型ノートPC「Swift Air 16」をAcerから借りられたので、外観チェックに続き、ベンチマークを行ってみました。
Read more »
米国政府、最新AIモデルを事前チェック Google DeepMind、xAI、MS米国 商務省傘下のAI標準・イノベーションセンター(the Center for AI Standa...
Read more »
オードリー若林正恭MCのAI×実験的バラエティーが全国ネット進出 前代未聞の生成AI大喜利＆空想タレントのものまねショーもフジテレビは14日、『AI実験バラエティ シンギュラ』（後11：00）を放送する。この番組では【AI×テレビ】の可能性を広げるべく、AIを使用してさまざまな実験企画を行う。今年1月に年末年始特番とし…
Read more »
AIがスプレッドシートに勝手に数式を挿入して機密データを外部送信してしまう脆弱性が発見されるRamp Labsが提供する表計算AI「Sheets AI」に、ユーザーの承認なしで機密性の高い財務データを外部サーバーへ送信できてしまう脆弱(ぜいじゃく)性が存在していたことを、AIセキュリティ企業PromptArmorが報告しました。Rampのセキュリティチームは、2026年3月16日に問題を解決したと説明しています。
Read more »