Open protocol for signed, independently verifiable machine decisions.
Every consequential machine action -- tool calls, delegations, policy evaluations -- produces an Ed25519-signed receipt. Anyone can verify the receipt offline, without trusting the system that created it. The verification is issuer-blind: the verifier cannot learn what it is verifying.
| Standard | Status |
|---|---|
| draft-farley-acta-signed-receipts | IETF Internet-Draft |
| Receipt Format Specification | v1.0 |
| Charter -- 10 Invariants | Ratified |
| Package | Purpose | License | Downloads |
|---|---|---|---|
| @veritasacta/verify | Offline receipt verification | Apache-2.0 | 820/mo |
| @veritasacta/artifacts | Signed artifact envelope | Apache-2.0 | 857/mo |
| @veritasacta/protocol | Protocol type definitions | Apache-2.0 | 530/mo |
| protect-mcp | Runtime receipt signing | MIT | 2,307/mo |
- veritasacta.com -- Protocol reference instance. Hash-chained ledger with daily Ed25519-signed anchors.
- acta.today/wiki -- Verified knowledge base. 50+ entries produced by 8 frontier AI models through adversarial deliberation.
- Microsoft Agent Governance Toolkit -- Receipt verification adapter
- ScopeBlind -- Commercial managed issuance and enforcement
npx @veritasacta/verify receipt.jsonNo server. No account. No trust required. Apache-2.0.