House of ZK Radio #86'da @robin_linus (@ZeroSync_), BitVM'yi neden yarattığını ve gerçekte nasıl çalıştığını anlatıyor. Robin ilk olarak Bitcoin'in eşler arası bir ödeme sistemi olarak nasıl tasarlandığını açıklıyor, ancak 10 dakikalık bloklar ve 10 dakikada ~4 MB, küresel kullanım için yeterli değil. Bitcoin'i başka bir akıllı sözleşme zincirine dönüştürmek yerine, yalnızca mevcut işlem kodlarını kullanarak Bitcoin üzerinde zkRollup tarzı köprüler ve L2'ler elde etmenin bir yolunu istedi. Bu, BitVM'nin temel fikrine yol açtı: iyimser doğrulama - zincir üzerindeki bir SNARK'ı tamamen doğrulamak yerine, yalnızca kötü bir Sudoku çözümünde birbiriyle çelişen iki hücreye işaret etmek gibi geçersiz bir kanıtı çürütebilmeniz gerekir. Daha sonra BitVM'nin, sistemi iki rol etrafında yapılandırarak Bitcoin Script'in çok sınırlı, 32 bitlik, çarpma gerektirmeyen ortamını nasıl genel bir doğrulama katmanına dönüştürdüğünü açıklamaya devam ediyor: iddiaları gönderen bir operatör ve dolandırıcılığı kısa ve öz bir şekilde kanıtlayabilen meydan okuyanlar. Güven modeli "dürüst çoğunluk"tan "tek bir dürüst meydan okuyucu yeterlidir"e doğru kayarak güveni en aza indirilmiş köprülere ve yumuşak çatallanmaya sahip olmayan daha etkileyici L2'lere kapı açıyor. BitVM'nin evrimi (BitVM1 → BitVM2 → BitVM3), bozuk devreler ve Glock, BitVM'yi neden "hack üzerine hack yığını" olarak adlandırdığı ve tüm bunların Bitcoin'i Bitcoin'e özgü bir şekilde ölçeklendirmek için daha geniş yol haritasına nasıl uyduğu hakkında daha derine inmek için bölümün tamamını izleyin: