Cygnux-Labs/Tracekit

解決する課題

AIエージェントは、不正な操作やミスを隠すために自身のログを改ざんする可能性があるため、監査が困難な場合があります。本プロジェクトは、エージェントの活動記録が改ざん不可能であることを保証する手段を提供し、エージェントが正確に何を行い、それが許可されていたか、そして記録自体が変更されていないかを検証できるようにします。

仕組み

TracekitはAIエージェントの「フライトレコーダー」として機能します。ツール呼び出しが実行される前にインターセプトし、定義されたポリシーに基づいてチェックを行い、各決定を追記専用のハッシュチェーンに署名します。これにより、実行ごとに暗号学的に検証可能なファイル (.tkb) が作成されます。記録は署名されチェーン化されているため、事後にログを編集、削除、または並べ替えようとしても、検証が失敗します。

対象ユーザー

AIエージェントのセキュリティと説明責任を維持する必要がある開発者や運用担当者向けに設計されています。特に、エージェントが特定のルールに従ったことを証明する必要がある場合、不正なツール使用を防ぐ場合、または機密環境でエージェントの動作を監査する場合に非常に有用です。

ハイライト

• 改ざん検知ログ: ハッシュチェーンを使用して、ログが検出されずに編集されることがないようにします。
• 実行前制御: ツール呼び出しが実行される前にゲートを設け、許可、拒否、または人間による承認待ちの状態にすることができます。
• オフライン検証: インターネット接続なしで実行ログの整合性を検証できるシンプルなコマンドラインツールを提供します。
• 幅広い互換性: LangChain、LangGraph、CrewAIなど、多くの一般的なエージェントフレームワークやSDKと連携します。
• 最小限のオーバーヘッド: ツール呼び出しごとの遅延は1ms未満です。