added production and verification of merkle proofs