Allow Zero zkEVM the prove EVM statements backed by a Sparse Merkle Tree using Poseidon Hashing, instead of a Merkle-Patricia trie using keccak.

Changes are being tracked on branch: feat/type2

https://github.com/0xPolygonZero/smt_utils