Compose · Understand
Ledger / provenance
Ledger is an append-only provenance chain — BLAKE3 hash links, Merkle checkpoints, and ed25519 signing make every result verifiable and reproducible. It is the receipts behind an answer.
Calyx returns an answer. A month later you want to prove it was produced from exactly the inputs and lenses it claimed, untampered. What lets you?
The Ledger. It's an append-only chain — BLAKE3 hash links, Merkle checkpoints, ed25519 signatures — so every result carries a tamper-evident receipt you can re-verify and reproduce. The answer doesn't just assert its provenance; it can prove it.
Source: calyxdocs/14 (Ledger)
Calyx returns an answer. A month later you want to prove it was produced from exactly the inputs and lenses it claimed, untampered. What lets you?
The Ledger. It's an append-only chain — BLAKE3 hash links, Merkle checkpoints, ed25519 signatures — so every result carries a tamper-evident receipt you can re-verify and reproduce. The answer doesn't just assert its provenance; it can prove it.
Every answer comes with its receipts
Ledger is Calyx’s provenance layer: an append-only chain that records how each result was produced. It’s the receipts behind an answer — not a promise that the work was done honestly, but a verifiable record of it.
Tamper-evident by construction
The chain is built so that changing any past entry is detectable:
- BLAKE3 hash links tie each entry to the one before it;
- Merkle checkpoints let you verify a whole range cheaply;
- ed25519 signatures prove who produced an entry.
Together these make every result reproducible and verifiable — you can re-run the path and check the hashes, or check a signature without re-running anything. This is what gives grounding teeth: an answer that says “I’m supported by these sources” can prove it, and the grounded retrieval pattern cites the Ledger when it shows its work.
Practise to master it
Sign in to practise — practice items are graded per learner and update your mastery toward the lesson gate.
Where this sits in the concept graph
Build on first
Leads next
- Grounded retrieval pattern
Related
- Aster (LSM storage)
- Grounded retrieval pattern
- Grounding & anchors
- Lens
- Oracle / consequence prediction
Sources
- calyxdocs/14 (Ledger)
- PRD 11_LEDGER