Nostr Web Client

Garbled Circuits can improve efficiency of the SNARK verifier, thus upgrading BitVM2.

From 6MB to 70kB total.

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.

Please Login to reply.

Solutions: Other schemes for verifiable garbling are getting explored

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.