法人向け個人向け
一般社団法人Nyx Foundationは、「オープンイノベーションのための検証可能な未来を築く」というビジョンを掲げ、Ethereumを信頼できる社会基盤とすることを目指す非営利法人です。同法人は、状態遷移や資産移転がトラストレスに実行され、第三者が検証可能な基盤を構築することで、中間業者による過剰な仲介を減らし、参入障壁を下げ、世界中の誰もが公平なルールの上で新しい価値を創造・展開できる社会の実現に貢献しています。 同法人の主要な活動は多岐にわたります。まず、最先端の分散システムと暗号技術の研究開発に注力しており、ブロックチェーン、ゼロ知識証明、マルチパーティ計算といった基礎研究から実装まで幅広く取り組んでいます。特に、数学的手法を用いて暗号プロトコルやスマートコントラクトの正確性と安全性を証明する形式検証は、同法人の重要な専門分野です。また、デジタルインフラストラクチャの安全性向上に貢献するため、ホワイトハッキング活動を通じてセキュリティ脆弱性の発見と責任ある開示を行っており、バグバウンティプログラムへの参加や独自の脆弱性研究も積極的に実施しています。 さらに、同法人は研究者とイノベーターのためのコミュニティスペース「ハウス」を運営し、アイデアの交換、コラボレーション、実験のための物理的な拠点を提供しています。次世代の研究者とエンジニアの育成にも力を入れており、ワークショップ、セミナー、オンラインコースを通じて最新の技術知識を共有する教育プログラムを展開しています。これらの活動は、「安全にする」「使いやすくする」「広げる」という3つの柱に基づいています。「安全にする」では、クライアントのバグ修正や性能最適化、zkVMの研究開発、検証自動化ツールの開発を進め、「使いやすくする」では、DeFiのバグ報告やMEV最適化研究、新規アプリケーション開発を通じてアプリケーション体験の向上を図っています。「広げる」では、Research Houseの運営や教育プログラム、Ethereumの制度的応用研究を通じて学術と産業の橋渡しを行っています。 同法人は、学歴・人種・年齢・所属にかかわらず成果で評価されるエコシステムに共鳴する少数精鋭の若手研究者・エンジニアで構成されており、オープンなプロセスで確かな成果を積み重ねています。実績としては、イーサリアムの脆弱性を17件発見し監査コンテストで世界1位を獲得したことや、AIエージェントによる暗号プロトコルのLean形式検証の自動化、ポスト量子署名の署名時間・検証時間短縮の成功、予測市場アプリ「予測社会」のローンチなどが挙げられます。また、京都大学や香港科技大学、東京大学、コロンビアビジネススクールといった国内外の著名な学術機関との共同研究やイベント開催も活発に行い、2026年には富山県南砺市に研究所「Nanto」の建設構想を発表するなど、その活動範囲を広げています。これらの活動は、寄付を通じて多くの支援者に支えられています。
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、一般社団法人Nyx Foundationの決算・登記履歴・役員・関係企業・知財・政府調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見る株式会社エートスAI
株式会社エートスAIは、最先端のAI技術と製造・建設業界への深いドメイン理解を融合させ、現場が抱える具体的な課題を解決するAIソリューションを提供しています。同…
株式会社京都機械アルゴリズム研究所
株式会社京都機械アルゴリズム研究所は、数学・物理学の最先端理論に基づいた数理・物理アルゴリズムを実装し、社会課題の解決とより良い社会の実現を目指す企業です。同社…
株式会社HAIVE
株式会社HAIVEは、東京大学大学院・工学系研究科・技術経営戦略学専攻に在籍する学生3名が共同創業した企業です。同社は、人工知能・ソフトウェア・システムの研究及…
株式会社ONIXION
株式会社ONIXIONは、「イノベーションの架け橋となり、研究とビジネスをつなぐ」をミッションに掲げ、最先端のAI技術と実践的な知見を組み合わせ、企業のDX推進…