ICME API

概要

• 数学と暗号技術で動作するAIエージェントのガードレール
• 自動意思決定を安全に検証・監査可能にする設計
• SMT-LIB論理とゼロ知識証明でプライバシーと迅速性を両立

技術要点

• 自然言語ポリシーを論理へコンパイル、SAT/UNSATで判定
• ゼロ知識証明で検証を1秒未満に
• プライバシーを保持しつつ暗号的監査証跡を生成

実装と応用

• x402ペイメントフロー、ガードレールごとに0.10 USDC、購読不要
• ARcコンパイル、ZK回路、支払いフローの組み合わせが実用的なプリミティブ