[Here](https://github.com/zeropoolnetwork/txcircuit/blob/master/src/merkletree.js#L65-L97) is an example of updatable Merkle proof. We need to implement tests for Merkle proof circuit and Merkle proof function, based on updatable Merkle proof.
