@piapark-eth forked our merkle-tree Rust impl that we use in creddd.xyz and made it provable in SP1! Being able to zk prove a product’s backend/indexing logic with only a few lines of code change is very nice.

https://github.com/rkdud007/alloy-merkle-tree/tree/main

https://warpcast.com/dantehrani.eth/0x1a8f1cec

Less than minute for 128 leaves ! 

Here is SP1 support branch : https://github.com/rkdud007/alloy-merkle-tree/tree/sp1-support

Also added another trees : StandardMerkleTree and IncrementalMerkleTree 

Enjoy 🤗