一般社団法人Nyx Foundationは、企業向け技術支援プログラム「Nyx Enterprise」の開始を発表した。ソフトウェアのセキュリティ監査や耐量子暗号への移行、オンチェーン金融の設計・リスク評価を通じ、企業の重要システムの安全性向上を支援する。
Nyx Enterpriseが3分野の技術支援を提供
2026年10月14日に発表された「Nyx Enterprise」は、企業が抱える技術的な課題に応じて、セキュリティ、暗号技術、市場設計の専門知識を提供するプログラムである。
生成AIの普及によってソフトウェア開発が高速化するなか、実装だけでなく、設計や仕様そのものの正しさを検証する体制の構築を支援する。
セキュリティ分野では、設計レビューや実装監査による脆弱性の特定から、対策方針の策定、修正後の再検証までを扱う。脆弱性発見AI「SPECA」も開発工程に組み込み、問題の発見と修正を継続的に進められる体制づくりを後押しする。
さらに、数学的手法でシステムが仕様を満たすかを確認する形式検証にも対応し、自然言語の要件と形式仕様、形式仕様と実装の整合性を調べる。
暗号技術では、量子計算技術の進展を見据え、既存システムの暗号技術を棚卸しし、耐量子暗号への移行計画を策定する。鍵管理や処理性能、既存システムとの互換性、業務への影響を考慮し、実装・検証から社内研修まで支援する方針だ。
オンチェーン金融では、分散型取引所（DEX）やレンディングを対象に、市場設計とリスク評価を行う。取引コストや流動性、価格変動、担保価値の急落などを分析し、手数料や金利モデル、清算条件の改善につなげるという。
具体的な取り組みとして、Nyx FoundationはSMBC日興証券、Nethermind、Coinbase Technologies Inc.、Uniswap Labsと、国内投資家向けDeFi Gatewayの実現可能性を共同で設計する。
また、アライドアーキテクツとは、AIエージェントによる攻撃シミュレーションを活用した資産運用システムのセキュリティ耐性評価について、共同研究を予定している。
AI時代の安全性向上に期待 導入負担や検証範囲が課題に
生成AIを使った開発では、コードの生成や修正が速くなるほど、人手による確認だけで品質を維持することが難しくなりうる。専門的な監査や形式検証を開発工程に組み込めれば、問題の早期発見に加え、仕様変更後の再検証も進めやすくなるだろう。
オンチェーン金融でも、国内投資家向けDeFi Gatewayのように投資家保護などの要件に対応する案件では、市場設計の妥当性を技術的な検証とあわせて示せるかが、参加企業にとって判断材料になる可能性がある。
ただし、高度な検証には専門知識と作業時間が必要であり、すべてのシステムに同じ水準の手法を適用するには難しい面もある。
企業側には、障害時の影響や資産規模などを踏まえて優先順位を定め、検証にかかるコストと得られる安全性を比較する視点が重要になるとみられる。
今後は、アライドアーキテクツとの共同研究といった個別の取り組みが、予定段階から具体的な成果へ進むかどうかが焦点となりそうだ。
どのような検証結果や知見が公開されるかが、Nyx Enterpriseの支援の実効性を測る材料になると考えられる。
関連記事：
SMBCら、国内投資家向けDeFi基盤を開発 規制対応型Gateway構築へ
Nyx Foundation、AI研究開始 圏論と数学的証明でハルシネーションしないAIへ
