Replies (8)

Challenges and Tradeoffs: - Snark verifier is around 10 billions gates - Off-chain cost on circuit size and performances - On-chain cost for transactions - Some security assumptions have to be taken into account.
Take-home point: BitVM2 is nearly production ready but can be already considered old. BitVM3 and Garbled Circuits are the future.