“Si è scoperto che questo è effettivamente abbastanza efficiente da fare su Bitcoin - all'interno di tutti i vincoli folli di Bitcoin Script.” - @robin_linus, Creatore di BitVM & @ZeroSync_ Nella House of ZK Radio #86, Robin Linus ha spiegato come BitVM rimuove i limiti di verifica di Bitcoin come un ostacolo - spiegando perché dimostrare un SNARK errato può essere più economico che verificare completamente uno corretto e come quella asimmetria venga utilizzata per verificare ottimisticamente i SNARK all'interno dell'ambiente di scripting ristretto di Bitcoin. Questo è il meccanismo che rende BitVM fattibile. Ed è il motivo per cui i ponti Bitcoin a fiducia minimizzata possono fare affidamento su un'assunzione di onestà esistenziale piuttosto che su un modello di maggioranza onesta. Guarda la conversazione completa con Robin mentre tracciamo come questi primitivi sbloccano una nuova classe di sistemi su scala Bitcoin: