Commitment tree using vector commitments to reduce proof size and speed state proofs compared to Merkle Patricia tries, proposed for Ethereum state.