Implement Merkle proof

[junha1]

It might involve:

• Abstraction of cryptographic proof itself
• A new data structure of Merkle proof (also a new Rust struct)
• Discussion about possible dependency with current Merkle trie optimization
• Unit tests