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.
Solutions: Other schemes for verifiable garbling are getting explored
Please Login to reply.
BitVM3s are one of these, but still maintain some of the drawbacks, such as the requirement for a trusted setup.
Take-home point: BitVM2 is nearly production ready but can be already considered old. BitVM3 and Garbled Circuits are the future.
