Expand description
Reference in-memory transparency log (RFC-ACDP-0012) — an append-only RFC 6962-style Merkle tree over publish-event leaves.
MerkleLog is a building block, deliberately not wired into
crate::registry::RegistryServer or the store: real registries
(the separate acdp-registry-* crates) own the §7.1 atomicity rule
— body, receipt, and leaf commit together, or none does — and the §8
endpoint surface. What this type provides is the tree arithmetic and
the signed artifacts:
MerkleLog::append— one accepted publish → one leaf, forever,leaf_indexassigned consecutively from 0 in acceptance order (§5.3, §7.1 rule 2);MerkleLog::checkpoint/MerkleLog::checkpoint_at— signed tree heads under the RFC-ACDP-0010 receipt signing key (§6);MerkleLog::inclusion_proof— RFC 6962 §2.1.1 audit paths packaged asLogInclusion(§8.2 inclusion mode);MerkleLog::consistency_proof— RFC 6962 §2.1.2 proofs (§8.2 consistency mode).
Everything a checkpoint commits to is recomputable from the ordered leaf hashes alone (§8.3), so the in-memory representation is exactly that: the leaves plus their §5.1 hashes.
Structs§
- Merkle
Log - An append-only, in-memory RFC 6962-style Merkle tree over transparency-log leaves (RFC-ACDP-0012 §5).