東京都文京区に所在する、2025年設立のIT・ソフトウェア（AI・データ分析）企業。
- 所在地
- 〒113-0033 東京都 文京区 本郷６丁目２６番１０号本郷ニューハウジング２０２号室
- 法人番号
- 2010005040674
Google ワンタップ・30 秒 ／ ログイン
東京都文京区に所在する、2025年設立のIT・ソフトウェア（AI・データ分析）企業。
法人向け個人向け
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合はお問い合わせください。
一般社団法人Nyx Foundationは、「オープンイノベーションのための検証可能な未来を築く」というビジョンを掲げ、Ethereumを信頼できる社会基盤とすることを目指す非営利法人です。同法人は、状態遷移や資産移転がトラストレスに実行され、第三者が検証可能な基盤を構築することで、中間業者による過剰な仲介を減らし、参入障壁を下げ、世界中の誰もが公平なルールの上で新しい価値を創造・展開できる社会の実現に貢献しています。 同法人の主要な活動は多岐にわたります。まず、最先端の分散システムと暗号技術の研究開発に注力しており、ブロックチェーン、ゼロ知識証明、マルチパーティ計算といった基礎研究から実装まで幅広く取り組んでいます。特に、数学的手法を用いて暗号プロトコルやスマートコントラクトの正確性と安全性を証明する形式検証は、同法人の重要な専門分野です。また、デジタルインフラストラクチャの安全性向上に貢献するため、ホワイトハッキング活動を通じてセキュリティ脆弱性の発見と責任ある開示を行っており、バグバウンティプログラムへの参加や独自の脆弱性研究も積極的に実施しています。 さらに、同法人は研究者とイノベーターのためのコミュニティスペース「ハウス」を運営し、アイデアの交換、コラボレーション、実験のための物理的な拠点を提供しています。次世代の研究者とエンジニアの育成にも力を入れており、ワークショップ、セミナー、オンラインコースを通じて最新の技術知識を共有する教育プログラムを展開しています。これらの活動は、「安全にする」「使いやすくする」「広げる」という3つの柱に基づいています。「安全にする」では、クライアントのバグ修正や性能最適化、zkVMの研究開発、検証自動化ツールの開発を進め、「使いやすくする」では、DeFiのバグ報告やMEV最適化研究、新規アプリケーション開発を通じてアプリケーション体験の向上を図っています。「広げる」では、Research Houseの運営や教育プログラム、Ethereumの制度的応用研究を通じて学術と産業の橋渡しを行っています。 同法人は、学歴・人種・年齢・所属にかかわらず成果で評価されるエコシステムに共鳴する少数精鋭の若手研究者・エンジニアで構成されており、オープンなプロセスで確かな成果を積み重ねています。実績としては、イーサリアムの脆弱性を17件発見し監査コンテストで世界1位を獲得したことや、AIエージェントによる暗号プロトコルのLean形式検証の自動化、ポスト量子署名の署名時間・検証時間短縮の成功、予測市場アプリ「予測社会」のローンチなどが挙げられます。また、京都大学や香港科技大学、東京大学、コロンビアビジネススクールといった国内外の著名な学術機関との共同研究やイベント開催も活発に行い、2026年には富山県南砺市に研究所「Nanto」の建設構想を発表するなど、その活動範囲を広げています。これらの活動は、寄付を通じて多くの支援者に支えられています。
2026年6月8日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
一般社団法人Ｎｙｘ Ｆｏｕｎｄａｔｉｏｎは2025年9月、イーサリアム・ブロックチェーンに特化した研究チームとして設立を発表しました。10月にはEthereumをテーマとした情報を相次いで公表し、11月には「AIエージェントで暗号プロトコルのLean形式検証を自動化」したと発表しています。12月にはジョージタウン大学の松尾教授やIIJの須賀氏を交えた研究集会を開催し、京都大学の三内顕義特定准教授の参画を公表したほか、AIエージェントでイーサリアムの脆弱性を17件発見し監査コンテストの報告件数で世界1位を獲得したと発表しました。
2026年2月には1,000万円の寄付調達の完了を公表し、DEXにおける「見えざるマーケットメイキング」の不公平性を分析する手法を提案、さらに富山県南砺市に研究所「Nanto」の建設構想を発表しました。4月にはEthereum次世代クライアント「Verity」、5月にはAIエージェント専用Ethereum Layer 2「Eris」の開発開始を相次いで公表しています。また5月には、AIバグ発見システム「SPECA」がイーサリアム財団の研究助成金に採択されました。
設立から短期間で、Ethereumの形式検証・セキュリティとAIエージェントを結びつけた研究開発を相次いで進めている時期にあたります。
この要約は 2026-05-27 に AI が公開情報をもとに生成しています。 対象イベント 16 件。 事実と異なる箇所がある場合は お問い合わせください。
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、一般社団法人Ｎｙｘ Ｆｏｕｎｄａｔｉｏｎの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る同地域・同業種で選定
同業種の企業を読み込み中
所在地を問わず同業種で選定
株式会社ジーデップ・アドバンス上場
セカンドサイトアナリティカ株式会社上場
株式会社ＦＲＯＮＴＥＯ上場
株式会社みらい翻訳
株式会社バカン
株式会社ライトアップ上場
株式会社ＲｅｖＣｏｍｍ
Ｒａｐｙｕｔａ Ｒｏｂｏｔｉｃｓ株式会社
