Trong House of ZK Radio #86, @robin_linus (@ZeroSync_) giải thích lý do tại sao anh ấy tạo ra BitVM và cách nó thực sự hoạt động. Robin đầu tiên giải thích cách Bitcoin được thiết kế như một hệ thống thanh toán ngang hàng, nhưng các khối 10 phút và ~4MB mỗi 10 phút là không đủ cho việc sử dụng toàn cầu. Thay vì biến Bitcoin thành một chuỗi hợp đồng thông minh khác, anh ấy muốn có một cách để có được các cầu nối kiểu zkRollup và L2 trên Bitcoin chỉ bằng cách sử dụng các opcode hiện có. Điều đó dẫn đến ý tưởng cốt lõi của BitVM: xác minh lạc quan - thay vì xác minh hoàn toàn một SNARK trên chuỗi, bạn chỉ cần có thể bác bỏ một bằng chứng không hợp lệ, như chỉ vào hai ô mâu thuẫn trong một giải pháp Sudoku sai. Sau đó, anh ấy tiếp tục giải thích cách BitVM biến môi trường rất hạn chế, 32-bit, không nhân của Bitcoin Script thành một lớp xác minh tổng quát bằng cách cấu trúc hệ thống xung quanh hai vai trò: một người điều hành đăng tải các tuyên bố, và những người thách thức có thể chứng minh gian lận một cách ngắn gọn. Mô hình tin cậy chuyển từ "đa số trung thực" sang "một người thách thức trung thực là đủ", mở ra cánh cửa cho các cầu nối giảm thiểu tin cậy và các L2 biểu đạt hơn mà không cần một soft-fork. Xem tập đầy đủ để đi sâu vào sự phát triển của BitVM (BitVM1 → BitVM2 → BitVM3), các mạch rối và Glock, lý do tại sao anh ấy gọi BitVM là "một đống hack trên hack", và tất cả những điều này phù hợp như thế nào vào lộ trình rộng lớn hơn để mở rộng Bitcoin theo cách bản địa của Bitcoin: