Binary Merkle Tree Proof Verification

FuelLabs / fuel-merkle

Fuel Merkle trees in Rust.

Apache License 2.0

7 stars 5 forks source link

Open bvrooman opened 2 years ago

bvrooman commented 2 years ago

[ ] BMT proofs can be verified using a verify function:
- verify takes in the BMT proof set, the expected root, the proof index, and the total number of leaves
- verify returns true if the proof set combines to form the expected root; it returns false otherwise
[ ] verify tests

ControlCplusControlV commented 1 year ago

It looks like this has been fixed?