BitVM founder Robin Linus tweeted about the BitVM3 protocol, which significantly compresses the on-chain footprint of SNARK proof verification from 2-4MB in BitVM2 to 56kB (assertTx) and 200 bytes (disproveTx) through optimistic computation and Garbled Circuit technology, achieving over 1000 times efficiency improvement. It is understood that BitVM was first proposed by Robin Linus in 2023, aiming to introduce complex computation and smart contract capabilities to Bitcoin, with the core concept being 'optimistic computation,' meaning that computation is assumed to be done off-chain, with on-chain transactions only used for verification in case of disputes. Robin Linus also spearheaded the formation of the BitVM Alliance, which includes members such as Fiamma, Zerosync, Element Labs, and Citrea.