We wrote the spec for AI execution receipts. Here’s why the definition matters more than the product.

说明与用途

AER‑1 规范定义了如何创建和验证 AI 工具调用的执行凭证，实现独立验证并支持经济交互。

问题

AI agents claim their work is "verifiable" but there is no shared definition of what a verifiable execution receipt is, leading to ambiguity and lack of trust for delegators.

结果

The spec provides a concrete, verifiable receipt format that eliminates ambiguity, allows independent verification, and supports economic interactions between agents and users.

工作流

• 1. Define the receipt schema (fields, types, and semantics).
• 2. Implement canonical byte serialization of core fields.
• 3. Compute SHA‑256 hash of canonical bytes and publish as output_hash.
• 4. Mint the receipt at execution time, including receipt_id, timestamp, tool info, caller, side_effects, and anchor if level 3.
• 5. Publish the receipt on a public page and expose a verify endpoint.
• 6. Third‑party verifiers fetch the receipt by ID, decode canonical_bytes, recompute hash, and compare to output_hash. If they match, the receipt is verified. If an anchor exists, the verifier also checks the external commitment (e.g., Nostr relay).

证据

AER‑1 is a short, open specification that defines exactly what an execution receipt is: a structured record minted at execution time that binds what was called, what it returned, and when — under a SHA‑256 commitment, published alongside the bytes that were hashed, with the whole thing checkable by a stranger with no account and no trust in whoever minted it.

来源

Our implementation anchors every receipt's envelope to public Nostr relays, so the receipt's existence is witnessed outside our own servers.

来源