alloy-merkle-tree

最小默克尔树实现

• 各种树实现
  • 完美二叉默克尔树
  • 增量默克尔树
  • 标准二叉树
• 与alloy-primitives类型兼容
• keccak哈希作为本地哈希
• 支持功能：插入、证明、验证

安装

❯ cargo add alloy-merkle-tree

支持

默克尔树

完美二叉默克尔树

let mut tree = MerkleTree::new();
// Should be 2 ^ N leaves
let num_leaves = 16;
for i in 0..num_leaves {
    tree.insert(B256::from(U256::from(i)));
}
tree.finish();

for i in 0..num_leaves {
    let proof = tree.create_proof(&B256::from(U256::from(i))).unwrap();
    assert!(MerkleTree::verify_proof(&proof));
}

增量默克尔树

用于 ETH2 存款合约

 let mut tree = IncrementalMerkleTree::<8>::new();
for i in 0..1 << (8 - 1) {
    tree.append([i as u8; 32].into()).unwrap();
}
for i in 0..1 << (8 - 1) {
    let leaf = [i as u8; 32].into();
    let proof = tree.proof_at_index(i).unwrap();
    assert!(tree.verify_proof(leaf, i, &proof));
}

标准二叉默克尔树

标准默克尔树

let num_leaves = 1000;
let mut leaves = Vec::new();
for i in 0..num_leaves {
    leaves.push(i.to_string());
}
let tree = StandardMerkleTree::of(leaves.clone());

for leaf in leaves.iter() {
    let proof = tree.get_proof(leaf);
    let bool = tree.verify_proof(leaf.to_string(), proof);
    assert!(bool);
}

参考

• merkle-tree
• 标准默克尔树