Wu Shuo, BitVM kurucusu Robin Linus'un, SNARK kanıt doğrulamasının zincir üzerindeki izini BitVM2'deki 2~4 milyon bayttan BitVM3 protokolü ile optimistik hesaplama ve Garbled Circuit teknolojisi kullanarak assertTx'de 56 bin bayt ve disproveTx'de 200 bayta sıkıştırdığını tweetlediğini öğrendi. Bu sayede verimlilik 1000 katın üzerinde artırılmıştır.
Anlaşıldığı üzere BitVM, Robin Linus tarafından 2023 yılında önerilmiştir ve Bitcoin'e karmaşık hesaplama ve akıllı sözleşme işlevselliği getirmeyi amaçlamaktadır. Temel konsepti "optimistik hesaplama" olup, bu da hesaplamaların varsayılan olarak zincir dışında tamamlandığı ve sadece ihtilaf durumunda işlemler aracılığıyla zincir üzerinde doğrulandığı anlamına gelir.
Robin Linus ayrıca BitVM İttifakı'nın lideridir ve bu ittifakın üyeleri arasında Fiamma, Zerosync, Element Labs, Citrea gibi kuruluşlar yer almaktadır.