Ву сказал, что Робин Линус, основатель BitVM, написал в Твиттере о протоколе BitVM3, который значительно сжимает объем проверки доказательства SNARK в цепочке с 2 ~ 4 МБ BitVM2 до 56 КБ (assertTx) и 200 байт (disproveTx) с помощью оптимистичных вычислений и технологии Garbled Circuit, повышая эффективность более чем в 1000 раз. Понятно, что BitVM была впервые предложена Робином Линусом в 2023 году и направлена на внедрение сложных вычислений и функций смарт-контрактов в биткоин, а ее основной концепцией являются «оптимистичные вычисления», то есть вычисления по умолчанию выполняются вне сети и проверяются транзакциями в цепочке только в случае возникновения спора. Робин Линус также возглавляет альянс BitVM, в который входят Fiamma, Zerosync, Element Labs, Citrea и другие.