プレスリリース・ニュースリリース配信サービスのPR TIMES

Claude Mythosが示すAI時代のサイバーリスクに、日本発の数学的対抗技術—GhostDrift、ADICサイバーアシュアランス拡張のLean形式証明を公開

2026年5月26日 12時30分 株式会社GhostDrift数理研究所 　　 　　

Nyx Foundation、AIバグ発見システム「SPECA」がイーサリアム財団の研究助成金に採択。プロトコルセキュリティの自動化へ

2026年5月7日 16時56分 Nyx Foundation 　　 　　

Nyx Foundation、Ethereum次世代クライアント「Verity」の開発を開始

2026年4月7日 15時35分 Nyx Foundation 　　 　　

Nyx Foundation、AIエージェントでイーサリアムの脆弱性を17件発見、監査コンテストの報告件数で世界1位を獲得

2025年12月24日 15時28分 Nyx Foundation 　　 　　

京都大学 特定准教授 三内顕義氏がNyx Foundationに参画 ─ AIエージェントが決済する時代へ

2025年12月23日 13時50分 Nyx Foundation 　　 　　

【世界初*】AIエージェントで暗号プロトコルのLean形式検証を自動化

2025年11月4日 17時27分 Nyx Foundation 　　 　　

web3開発インフラ「Bunzz」のR&Dチームに、京大・末永幸平准教授が技術アドバイザとして参画！計算機科学によるスマートコントラクトの脆弱性、収益機会の研究を開始

2024年8月19日 09時10分 Bunzz