Nyx Foundation

その他東京都2025年設立

略称Nyx表記一般社団法人Nyx Foundation・一般社団法人 Nyx Foundation本部東京都文京区

Ethereumとブロックチェーンに特化した私設の研究機関。形式検証とセキュリティを専門に、AIエージェントによるEthereumクライアントの脆弱性検知（SPECA）やLeanを使った証明の自動化、耐量子署名の検証などに取り組む。SPECAはイーサリアム財団の研究助成に採択された。