Nyx Foundation、企業向け支援プログラムNyx Enterpriseを開始

CATEGORY: テクノロジー

一般社団法人Nyx Foundationは、企業向け技術支援プログラム「Nyx Enterprise」を開始します。

重要なソフトウェアのセキュリティ監査や形式検証、耐量子暗号への移行、オンチェーン金融の市場・リスク設計を各社の課題に応じて支援する取り組みです。AIによるソフトウェア開発の加速を背景に、重要システムの正しさと安全性を継続して確認できる技術基盤の提供を目指します。

立ち上げの背景と検証の重要性

生成AIの発展によってソフトウェアの設計や実装コストが下がり、コードや仕様、テストの短時間での生成が可能になっています。一方で、生成された成果物が要件を満たしているか、安全性に問題がないかを確認する重要性が高まっています。

開発速度の向上と生成されるコード量の増加に伴い、人手だけですべてを確認することは困難になりつつあります。特に金融取引や資産管理、社会インフラなどの重要システムでは、正しい実装に加えて設計や仕様そのものの正しさを検証する必要があるとしています。Nyx Enterpriseは、数学的検証やセキュリティ、暗号、市場設計の知見を生かした支援を行います。

セキュリティ監査と形式検証の領域では、設計レビューや実装監査を通じて脆弱性や攻撃リスクの特定から対策方針の策定まで一貫して支援します。新規開発に加え、既存システムの改修や運用段階にも対応します。支援には監査実績やイーサリアム財団の研究助成を受けた知見を活用するほか、脆弱性発見AI「SPECA」の開発工程への組み込みや、数学的手法に基づく形式検証も取り入れます。ツールとして「Lean Atlas」や「Atlas Prover」なども活用されます。

耐量子暗号への移行支援では、量子計算技術の進展を見据え、利用中の暗号技術の棚卸しや移行対象・優先順位の整理を行います。鍵管理、性能、既存システムとの互換性や業務への影響を踏まえた計画を策定し、実装・検証から社内研修まで対応する計画です。

オンチェーン金融基盤に向けては、分散型取引所（DEX）やレンディングの設計・分析を支援します。AMMやRFQなどの取引方式、流動性供給の仕組みを設計・分析し、ステーブルコインやRWAなどの対象資産に応じた市場設計を支援します。取引コストや価格への影響、流動性供給者の収益性・リスクを評価する仕組みです。

レンディングにおいては、担保資産の特性や市場流動性を踏まえた借入条件、金利モデル、清算メカニズムの設計・分析を行います。価格急変や資金引き揚げを想定したシミュレーションを通じて流動性不足や貸倒れのリスクを評価し、具体的な設計やパラメータの検討に反映します。

主な実績と共同研究の取り組み

Nyx Foundationはこれまでにも関連分野での実績を重ねています。

• 国内投資家向けDeFi Gateway：SMBC日興証券、Nethermind、Coinbase Technologies Inc.、Uniswap Labsとともに、国内投資家によるBase上のDeFiへのアクセスを支えるプラットフォームの実現可能性を共同設計
• 資産運用システムのセキュリティ耐性評価：アライドアーキテクツ株式会社とパートナーシップ契約を締結し、オンチェーンを活用した資産運用システムのセキュリティ耐性評価に関する共同研究を予定
• AIを活用した脆弱性発見の研究：仕様を基にEthereumクライアントの実装を点検するAIバグ発見システム「SPECA」を開発。2025年に開催されたEthereumのFusakaアップグレードに関する公開監査コンテストで17件の有効な脆弱性を報告し報告件数第1位を獲得
• 形式検証ツール「Lean Atlas」の公開：形式的な証明に使われる定義や命題のつながりを可視化し、人による確認が必要な箇所を絞り込むツールを公開
• 耐量子署名の形式検証：ケンブリッジ大学で開催された耐量子暗号のワークショップ「PQ Interop」で耐量子署名の形式検証結果を発表

関係者のコメント

プログラムの開始にあたり、Ethereum Foundation Presidentの宮口あや氏は「AIによるソフトウェア開発が広がる今、その安全性を検証する専門知は不可欠です」とした上で、Nyxがその知を社会での実践につなげていくことへの期待を寄せています。

また、Nyx Enterprise責任者の太田航志氏は、市場設計の研究と形式検証・セキュリティの専門知を組み合わせ、企業ごとの課題に応じた設計・実装・検証を支援し、安全で持続可能な情報社会・オンチェーン金融の実現に貢献していく姿勢を示しています。

Nyx Foundationの概要

一般社団法人Nyx Foundationは、東京都文京区に拠点を置く、Ethereum・ブロックチェーンに特化した私設の研究機関です。形式検証とセキュリティを専門領域とし、活動資金は寄付・研究助成金・スポンサーシップによって支えられています。

本件に関する問い合わせは、Nyx Enterpriseの太田航志氏（メールアドレス：contact@nyx.foundation）にて受け付けています。

本記事は一般社団法人Nyx Foundationの発表をもとに作成されています。