Wu Shuo learned that BitVM founder Robin Linus tweeted about the BitVM3 protocol, which uses optimistic computation and obfuscated circuit technology to significantly compress the on chain footprint of SNARK proof verification from the 2-4MB of BitVM2 to 56kB (assertTx) and 200 bytes (disproveTx), improving efficiency by over 1000 times. It is reported 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", which means default computing is done off chain and only verified through on chain transactions in case of disputes. Robin Linus also led the organization of the BitVM Alliance, which includes members such as Fiamma, Zerosync, Element Labs, Citroa, and others. http://(wublock123.com)/index.php? m=content&c=index&a=show&catid=6&id=44153