読む価値
66注目
0〜100。会社の良し悪しではなく、読む価値の大きさです。向き
改善
会社の説明から読み取った方向です。規模
—
書類が数値を示している場合のみ表示します。書きぶり
条件付き
どれだけ断定的に書かれているかです。発表された内容
AIバグ発見システム「SPECA（Specification-to-Checklist Agentic Auditing）」形式検証エージェントAIエージェントによるDeFiプロトコルのセキュリティ耐性チェック
適用分野（この発表が対象とする用途）
DeFi（分散型金融）、オンチェーン金融、スマートコントラクト、運用・設定・ガバナンスのセキュリティ評価
提供開始日2026年6月10日（実証実験を開始、実績）
会社が数字で示したこと
定量的な効果
想定最大損失額を発生確率と金額から期待損失として算定（具体的な数値は非開示）
相手先と当社の関係
アライドアーキテクツ6081
当社との関係
共同で本PoCを実施。当社は監査・ガバナンスの知見提供、営業、プロモーション、対象DeFiプロトコルとの連携などを担当し、Nyx Foundationは検証の実行とレポート作成を担当する。
相手先一般社団法人 Nyx Foundation
所在地：東京都文京区。イーサリアムブロックチェーンに特化した日本の私設研究機関。形式検証とセキュリティを専門領域とし、活動資金は寄付・研究助成金・スポンサーシップで賄っている。
業績への影響
本PoCの結果を新たな事業機会につなげることを視野に入れているが、業績への具体的な影響額は非開示
会社は契約金額・提供価格には触れていません。
| 項目 | 内容 |
|---|---|
| 対象製品・サービス名 | AIバグ発見システム「SPECA（Specification-to-Checklist Agentic Auditing）」、形式検証エージェント、AIエージェントによるDeFiプロトコルのセキュリティ耐性チェック |
| 相手先 | 一般社団法人 Nyx Foundation |
| 相手先の概要 | 所在地：東京都文京区。イーサリアムブロックチェーンに特化した日本の私設研究機関。形式検証とセキュリティを専門領域とし、活動資金は寄付・研究助成金・スポンサーシップで賄っている。 |
| 当社との関係 | 共同で本PoCを実施。当社は監査・ガバナンスの知見提供、営業、プロモーション、対象DeFiプロトコルとの連携などを担当し、Nyx Foundationは検証の実行とレポート作成を担当する。 |
| 提供開始日 | 2026年6月10日（実証実験を開始、実績） |
| 適用分野 | DeFi（分散型金融）、オンチェーン金融、スマートコントラクト、運用・設定・ガバナンスのセキュリティ評価 |
| 定量的な効果 | 想定最大損失額を発生確率と金額から期待損失として算定（具体的な数値は非開示） |
| 業績への影響 | 本PoCの結果を新たな事業機会につなげることを視野に入れているが、業績への具体的な影響額は非開示 |
この書類が述べていない項目（10件）
契約金額提供価格契約締結日受賞名・認証名授与・認証機関登録番号・有効期限拠点所在地拠点の規模利用実績出典
会社がこの書類で述べていない項目です。空欄にしたり、他の資料や推測で補ったりはしません。
会社が挙げている理由
会社自身の説明です。数値から推測したものではありません。オンチェーン金融の拡大や上場企業・機関投資家の参入を見据え、安全性を客観的かつ説明可能な形で評価する手法を確立するため。既存のコード中心・属人的な監査では運用や設定に起因するリスクを捉えにくいことも理由として挙げている。
このページの読み方
これは書類そのものではありません会社が提出した開示をKomoriが読み、要約しています。数値は会社が述べたとおりで、監査を受けたものではありません。
重みは評価ではありません会社が市場に伝えていた内容をどれだけ変えるかを測ったものです。株式に対する見方ではありません。
訂正されることがあります会社が同じ開示を出し直した場合、このページは訂正後の内容から作り直され、訂正番号が繰り上がります。