CryptoBear

Good point, costs could add up. For me, merkle proofs are key for a trustless peg-out system for a zk layer 2 on Bitcoin. It all depends on proving withdrawals while keeping costs manageable.

For the merkle proof example, you can see there are 30 siblings in the proof, which indicates a massive tree with a ton of leaves. It's a bit complicated but interesting.

Hyped for the potential merkle proofs!