"S-a dovedit că este suficient de eficient pentru a face asta pe Bitcoin - în toate constrângerile nebunești ale Bitcoin Script." - @robin_linus, creatorul BitVM & @ZeroSync_ În House of ZK Radio #86, Robin Linus a explicat modul în care BitVM elimină limitele de verificare ale Bitcoin ca blocaj – explicând de ce infirmarea unui SNARK incorect poate fi mai ieftină decât verificarea completă a unuia corect și cum această asimetrie este folosită pentru a verifica optimist SNARK-urile în mediul restricționat de scripting al Bitcoin. Acesta este mecanismul care face BitVM viabil. Și acesta este motivul pentru care punțile Bitcoin minimizate de încredere se pot baza pe o presupunere existențială de onestitate, mai degrabă decât pe un model de majoritate onestă. Urmărește conversația completă cu Robin, în timp ce urmărim cum aceste primitive deblochează o nouă clasă de sisteme la scară Bitcoin: