Di House of ZK Radio #86, @robin_linus (@ZeroSync_) membahas mengapa dia membuat BitVM dan bagaimana sebenarnya cara kerjanya. Robin pertama kali menjelaskan bagaimana Bitcoin dirancang sebagai sistem pembayaran peer-to-peer, tetapi blok 10 menit dan ~4MB per 10 menit tidak cukup untuk penggunaan global. Alih-alih mengubah Bitcoin menjadi rantai kontrak pintar lainnya, dia menginginkan cara untuk mendapatkan jembatan gaya zkRollup dan L2 di Bitcoin hanya menggunakan opcode yang ada. Itu mengarah pada ide inti BitVM: verifikasi optimis - alih-alih sepenuhnya memverifikasi SNARK on-chain, Anda hanya perlu dapat membantah bukti yang tidak valid, seperti menunjuk ke dua sel yang bertentangan dalam solusi Sudoku yang buruk. Dia kemudian melanjutkan untuk menjelaskan bagaimana BitVM mengubah lingkungan Bitcoin Script yang sangat terbatas, 32-bit, tanpa perkalian menjadi lapisan verifikasi umum dengan menyusun sistem di sekitar dua peran: operator yang memposting klaim, dan penantang yang dapat membuktikan penipuan secara ringkas. Model kepercayaan bergeser dari "mayoritas jujur" menjadi "satu penantang jujur sudah cukup", membuka pintu ke jembatan yang diminimalkan kepercayaan dan L2 yang lebih ekspresif tanpa garpu lunak. Tonton episode lengkapnya untuk masuk lebih dalam ke dalam evolusi BitVM (BitVM1 → BitVM2 → BitVM3), sirkuit kacau dan Glock, mengapa dia menyebut BitVM "tumpukan peretasan peretasan", dan bagaimana semua ini cocok dengan peta jalan yang lebih luas untuk menskalakan Bitcoin dengan cara asli Bitcoin: