Build a Merkle tree from arbitrary data blocks. Persist the full tree (nodes, parent/child links, and leaf data) in SQLite. Generate inclusion proofs for leaves and verify them against the root.