Wu said that Robin Linus, the founder of BitVM, tweeted to introduce 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 functionalities to Bitcoin. Its core concept is 'optimistic computation', which assumes that computations are completed off-chain and only verifies them through on-chain transactions when disputes arise. Robin Linus also led the organization of the BitVM Alliance, whose members include Fiamma, Zerosync, Element Labs, Citrea, and others.
