币界网报道：Robin Linus, founder of BitVM, tweeted to introduce the BitVM3 protocol. Through optimistic computing and garbled circuit technology, the on-chain footprint of SNARK proof verification is greatly compressed from 2~4MB of BitVM2 to 56kB (assertTx) and 200 bytes (disproveTx), increasing efficiency by more than 1000 times. It is understood that BitVM was first proposed by Robin Linus in 2023, aiming to introduce complex computing and smart contract functions into Bitcoin. Its core concept is "optimistic computing", that is, the default calculation is completed off-chain, and only when a dispute arises is it verified through on-chain transactions. Robin Linus also took the lead in organizing the BitVM Alliance, whose members include Fiamma, Zerosync, Element Labs, Citrea, etc.