Merkle roots · on chain
Each card is a batch of indexed records whose root was committed by the anchor contract. A record is only verifiable once its batch is here.