Verification of compact proofs for Modified Merkle-Patricia tries(Substrate).
Primary LanguageSolidity