I don't just want a proving contract, I want an arbitrary contract to be able to do merkle proofs, ideally on a root it has.
Maybe the merkle proving contract lib could be published once per chain, and then a lib could be published for other contracts to ask it to prove if given leaves + proofs match their own merkle roots.
The point is, I love this, but I want it more modular/reusable. Great work!
I don't just want a proving contract, I want an arbitrary contract to be able to do merkle proofs, ideally on a root it has.
Maybe the merkle proving contract lib could be published once per chain, and then a lib could be published for other contracts to ask it to prove if given leaves + proofs match their own merkle roots.
The point is, I love this, but I want it more modular/reusable. Great work!