SettlementWitness

DefaultVerifier — SAR 验证基础设施

SAR（Settlement Attestation Receipt，结算证明收据）是一种验证协议，可生成经过加密签名的收据，用于证明 AI Agent 是否按照其规范完成了任务。

DefaultVerifier 是一个在线 SAR 验证器实现，提供公开收据注册表、指标 API 和浏览器。

重要事项——务必验证。

架构

了解 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 引用这些公钥。