Usually built on a Merkle tree so that comparing two large replicas costs little when they are almost equal.