Explainer
Offline Verification of AI Workflows
What it means for an AI workflow's evidence to survive vendor changes, account closure, and long retention windows.
Notes and updates
Blog
Notes and updates from the Sequesign project. Protocol design, trust model, reference implementation, and the occasional opinion piece.
Perspective
From logs to receipts — what changes when AI agents take action
Logs support investigation. Receipts support verification. As AI agents move from drafting text to taking delegated action, the evidence model has to change with them. A working evaluation checklist for technical buyers.
Explainer
What makes an AI agent audit trail actually verifiable
Logs are useful for debugging but not for proving what happened. Audit trails for delegated AI work need signed events, ordering proof, principal identity, provenance boundaries, and verifiability that outlasts the original system.
Technical
Why cryptographic execution receipts will change the way you audit AI agents
Audit logs are written by the system under investigation, which disqualifies them as evidence. Sequesign produces independently verifiable receipts that prove what happened, who authorized it, and in what order.
Opinion
Logs are not receipts.
Logs are written by the system being investigated, which disqualifies them as evidence; a receipt is signed at the moment of action, witnessed independently, and verifiable offline by anyone.
Announcement
Sequesign is public.
We are publicly launching Sequesign, a protocol for cryptographically verifiable receipts of delegated AI work, with a reference implementation, trust model, and live demo.
Technical
Verifying a Sequesign receipt.
What offline verification actually does, what a receipt package contains, the nine checks the verifier runs in order, and what the structured report looks like on success and failure.
Explainer
What a receipt actually proves.
A walk through the sharp line between what a valid Sequesign receipt proves cryptographically and what it deliberately leaves as agent-asserted, and why that separation is the product.