This library contains the implementations of various merkle tree verification algorithms. Currently supported algorithms:
- Merkle Trees (supports unbalanced trees).
- Merkle Mountain Ranges.
- Merkle-Patricia Trie (Soon™).
npm install @polytope-labs/solidity-merkle-trees
This algorithm is based on the research done here: https://research.polytope.technology/merkle-multi-proofs
You can use it to verify proofs like so:
pragma solidity ^0.8.0;
import "@polytope-labs/solidity-merkle-trees/lib/MerkleMultiProof.sol";
contract YourContract {
function verify(
bytes32 root,
Node[][] memory proof,
Node[] leaves
) public {
require(MerkleMultiProof.verifyProof(root, proof, leaves), "Invalid proof");
}
}You can generate the 2D merkle multi proofs using this rust lib polytope-labs/rs-merkle
This algorithm is based on the research done here: https://research.polytope.technology/merkle-mountain-range-multi-proofs
You can use it to verify proofs like so:
pragma solidity ^0.8.0;
import "@polytope-labs/solidity-merkle-trees/lib/MerkleMountainRange.sol";
contract YourContract {
function verify(
bytes32 root,
bytes32[] memory proof,
MmrLeaf[] memory leaves,
uint256 mmrSize
) public {
require(MerkleMountainRange.verifyProof(root, proof, leaves, mmrSize), "Invalid proof");
}
}You can derive the k-indices for the mmr leaves using this rust lib polytope-labs/merkle-mountain-range.
This library is licensed under the Apache 2.0 License, Copyright (c) 2023 Polytope Labs.