Basic implementation of Merkle, but incomplete