Topics · Domain workflow

AI agents

A later reviewer can check what action was signed, under which policy context, and by which issuing key.

Problem

What breaks today

An agent executes a trade at 2am. The position is wrong. The system says it was within policy. Without a receipt the dashboard does not survive the dispute.

Mechanism

How ZK-SNAP responds

Receipts can record tool calls, policy context, delegated authority, and bounded actions for later verification.

Verifiable outcome

What a verifier can check

A later reviewer can check what action was signed, under which policy context, and by which issuing key.

Related profiles and labels

Machine activityBrowse contextResponsible AI context

Go deeper

Try the workflow, then read the spec.

Use Cases tells the story with cards. Proof Lab runs create and verify locally. Protocol holds the normative reference.

AI agent audit trails Proof Lab Use Cases