In this milestone, we refactor the Merkle tree data structure into its own package and add the usage of cryptographic commitments.