BAC-L2-TIA-104Celestia and modular blockchains
Namespaced Merkle trees
The structure that lets a rollup prove it received all of its data — and only its own — without reading the whole block.
- Level
- L2 — Appchain developer
- Duration
- 3 h
- Maintainer
- Modular Blockchain / Celestia Architect
Learning objectives
- 01Explain what a namespace adds to a Merkle tree
- 02Produce a completeness proof for a namespace
- 03Verify that no data was omitted
Guided lab
Implement the namespaced tree and its completeness-proof verifier.
Independent lab
Build an absence proof for an empty namespace and verify it.
Security angle
Without a completeness proof, a provider can deliver a subset and still look honest.
Assessment
Verifier passing the workshop's test vectors.