zx402がCardano上でAIエージェント向けのプライベート資金提供をテスト

zx402は、AIエージェントの支出を元のウォレットから切り離すよう設計されたプールを用い、Cardano Preprod上で二つのサービス購入を記録した。10月7日のテストは自動化された商取引におけるプライバシーの課題に対処するもので、公開された支払い履歴からエージェントの仕入れ先や購買頻度、運用予算が明らかになり得る点に焦点を当てている。

x402とMasumiを介した二つの購入

最初のデモでは、HTTP 402で支払いを要求するx402を通じて天気サービスに支払いを行った。レスポンスの費用は2 tUSDMで、プールのトランザクションを提出するリレイヤーには別途手数料が発生した。

あらかじめ入金しておいた資金を用い、プールは新しいワンタイムアドレスに資金供給し、標準的なx402の支払いを完了させた。サービスは天気のレスポンスを返し、残高は次回の購入に備えてプール内に留まった。

二つ目のテストでは、Masumiのエージェント“Expose: Web Single Answer”に対し、ゼロ知識証明を一文で説明するタスクとして0.01 tUSDMを支払った。ここでは、プールがMasumiのペイメントノードの購入用ウォレットに資金を供給した。資金はその後Masumiのエスクローに入り、公開されたログにはタスク完了が記録された。

この違いは支払いフローに影響する。x402のテストはワンタイムアドレスを使用した一方で、Masumiのテストは既存の購入用ウォレットに資金を供給した。チームは両方の実行についてターミナルログとトランザクションリンクを公開しており、いずれもメインネット資金ではなくテスト用トークンを使用している。

Cardanoのプライバシープールの仕組み

エージェントは資金を公開で入金し、それに対する請求権を記録するプライベートノートを保持する。入金が承認されると、エージェントはローカルでゼロ知識証明を生成し、購入の背後にある特定の入金を示さずに、承認済みで未使用の資金の所有権を証明する。

リレイヤーがその証明とトランザクションを提出する。標準的なx402のフローでは、支払いが売り手に届く前に、プールが新しいワンタイムアドレスに資金を供給する。ドキュメントによれば、売り手はzx402特有のコードを組み込まなくてもこれらの支払いを受け入れられる。未使用の資金は新たなプライベートノートとなり、後の購入に利用できる。

プライバシーには明確な限界がある。金額やタイミング、プールからの支払いは可視のままだ。プールが小さい場合や金額が一致する場合は、トランザクションの相関が容易になる可能性があり、残高を公開で引き出すと、過去の購入とのつながりが露呈し得る。

エージェントのブロックチェーンインフラ提供者は、アドレスやリクエストを観測できる場合がある。したがって、この設計は資金調達と支出の間の公開の結び付きを切ることを主眼としており、さらなるプライバシーはエージェントがどのようにネットワークへアクセスするかに依存する。

メインネット前に残る課題

ソースコード、SDK、テスト手順は開発者に公開されている。公開ウェブサイトはドキュメントを提供するが、ウォレット接続やトランザクションの実行は行わない。

入金の承認は実装済みだが、外部スクリーニングは未対応だ。現在のサービスは、設定された拒否関数が却下しない限り入金を承認する方式で、スクリーニング用のデータソースは接続されていない。

コスト面も想定用途を左右する。Cardanoの出力には最小量のADAを含める必要があるため、チームはこのプールを、安価なAPIリクエストごとに個別のブロックチェーントランザクションを行うのではなく、より大きな支払い、エスクロー資金供給、ペイメントチャネル向けに位置付けている。

メインネットへの展開は未定で、プロジェクト外の第三者は設計やコードをレビューしていない。外部資金を受け入れる前に、zx402は要件としてマルチパーティの暗号セットアップと外部のセキュリティ監査を挙げている。また、正しい初期状態を強制するブロックチェーン上の検証を備えた新しいプールが必要であり、現在のデプロイヤーの適切な初期化に依存する方式を置き換える必要がある。