SettlementWitness

DefaultVerifier — SAR 検証インフラストラクチャ

SAR（Settlement Attestation Receipt）は、AI エージェントが仕様に従ってタスクを完了したかどうかを証明する、暗号署名付きのレシートを生成する検証プロトコルです。

DefaultVerifier は、公開レシートレジストリ、メトリクス API、エクスプローラーを備えた、稼働中の SAR 検証実装です。

重要なら、検証しましょう。

アーキテクチャ

SAR のスタックと検証モデルについて理解しましょう。

👉 SAR アーキテクチャ

---

レスポンス例

{ "witness": "SettlementWitness", "witness_version": "v0", "task_id": "example", "verifier_endpoint": "https://defaultverifier.com/verify", "witness_timestamp": "2026-01-01T00:00:00Z", "receipt_id": "...", "receipt": { "profile": "settlement-witness-verified-v0.2", "task_id_hash": "sha256:...", "verdict": "PASS", "reason_code": "CONDITION_SATISFIED", "ts": "...", "verifier_kid": "...", "counterparty": "0xABC...", "receipt_id": "sha256:...", "sig": "base64url:..." },

"_ext": { "agent_id": "0x123:demo" } }

---

注意事項

• レシートのペイロードは settlement-witness-verified-v0.2 プロファイルに基づいて発行されます。判定結果は PASS、FAIL、または INDETERMINATE です。
• counterparty が存在する場合、署名の対象範囲と receipt_id の導出に含まれます。
• 廃止された署名鍵も、その鍵で過去に署名されたレシートの検証には引き続き有効です。レシート内の verifier_kid は過去の証拠であり、書き換えられることはありません。
• 現在の署名鍵のライフサイクル（どの kid が有効か、または廃止済みか）は https://defaultverifier.com/.well-known/sar-keys.json で公開されています。現在有効な鍵については、この README ではなく、このエンドポイントを信頼できる情報源として扱ってください。
• この動作は実装済みであり、稼働中のレシートエンドポイントと鍵エンドポイントを通じて公開検証できます。

---

SAR 互換性： この実装は SAR の検証セマンティクスに従っており、counterparty が存在する場合は署名対象のペイロードを拡張します。

デモ

約 2 分で、最初から最後までの検証を実行できます。 DEMO.md

クイックスタート

1. レシートを作成する

curl -X POST https://defaultverifier.com/settlement-witness
-H 'content-type: application/json'
-d '{ "task_id":"quickstart-001", "spec":{"checks":[{"kind":"field_equals","inputs":{"output_path":"$.result"},"expected":"hello"}]}, "output":{"result":"hello"}, "counterparty":"0x1234567890abcdef1234567890abcdef12345678" }'

2. レシートを取得する

curl https://defaultverifier.com/settlement-witness/receipt/<receipt_id>

注：返されたレシートの receipt_id を使用してください。

3. ローカルで検証する（Node）

cd examples/node-verify node verify.js receipt.json jwks.json

例

Node.js による検証例： examples/node-verify/

Python による検証例： examples/verify_receipt_python.py

使用方法： python3 examples/verify_receipt_python.py <receipt_id>

API エンドポイント

レシートの作成

POST /settlement-witness

タスクの検証リクエストを送信し、署名付き SAR レシートを返します。

---

レシートの取得

GET /settlement-witness/receipt/{receipt_id}

注：取得には、返されたレシートの receipt_id（sha256:...）を使用してください。

以前に発行されたレシートを返します。

---

ウォレットレシートエクスプローラー

GET /settlement-witness/receipts?wallet={address}

ウォレットアドレスに関連付けられた最近のレシートを返します。

公開エクスプローラーは次の場所で利用できます。

https://defaultverifier.com/explorer

このインターフェースでは、最近のレシートとウォレット別の配信履歴を閲覧できます。

---

公開検証鍵

https://defaultverifier.com/.well-known/jwks.json

代替（SAR プロトコルのリファレンス）： https://defaultverifier.com/.well-known/sar-keys.json

レシートの Ed25519 署名の検証に使用します。

---

鍵レジストリ

https://defaultverifier.com/.well-known/sar-keys.json

verifier_kid が参照する検証者の公開鍵レジストリです。