“Hóa ra điều này thực sự đủ hiệu quả để thực hiện trên Bitcoin - trong tất cả những hạn chế điên rồ của Bitcoin Script.” - @robin_linus, Người sáng tạo BitVM & @ZeroSync_ Trong House of ZK Radio #86, Robin Linus đã phân tích cách BitVM loại bỏ giới hạn xác minh của Bitcoin như một rào cản - giải thích tại sao việc bác bỏ một SNARK không chính xác có thể rẻ hơn so với việc xác minh hoàn toàn một SNARK chính xác và cách mà sự bất đối xứng đó được sử dụng để xác minh lạc quan các SNARK trong môi trường lập trình hạn chế của Bitcoin. Đây là cơ chế khiến BitVM khả thi. Và đó là lý do tại sao các cầu nối Bitcoin giảm thiểu niềm tin có thể dựa vào một giả định về sự trung thực tồn tại thay vì một mô hình đa số trung thực. Xem cuộc trò chuyện đầy đủ với Robin khi chúng ta theo dõi cách mà những nguyên lý này mở khóa một lớp hệ thống quy mô Bitcoin mới: