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