Thông báo được đưa ra thông qua một bản trắng mang tên “BitVM: Tính Toán Mọi Thứ Trên Bitcoin” vào ngày 9 tháng 10 bởi Robin Linus, người dẫn dắt dự án ZeroSync, BitVM cho phép hợp đồng Bitcoin có khả năng tính toán Turing mà không làm thay đổi quy tắc đồng thuận của Bitcoin.
Một hệ thống Turing Complete là hệ thống có khả năng lý thuyết để cung cấp một câu trả lời cho bất kỳ vấn đề tính toán nào.
Với BitVM, “logic” của các hợp đồng Bitcoin sẽ được thực hiện ngoại tuyến nhưng việc xác minh sẽ được thực hiện trên mạng lưới Bitcoin — tương tự như các optimistic rollups trên Ethereum.
Cấu trúc của BitVM dựa trên chứng minh lừa đảo và một mô hình thách thức phản ứng trong đó “người chứng minh” có thể đưa ra các yêu cầu và “người xác minh” có thể thực hiện chứng minh lừa đảo để trừng phạt người chứng minh khi có các yêu cầu sai lệch.
"Any computable function can be verified on Bitcoin"https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— яobin linus (@robin_linus) October 9, 2023
Linus giải thích rằng Bitcoin, trong hình thức hiện tại, bị giới hạn ở các thao tác cơ bản như chữ ký, khóa thời gian và khóa băm — nhưng điều này có thể được mở rộng với BitVM, mà Linus nói có thể tính toán nhiều ứng dụng thú vị.
“Các ứng dụng tiềm năng bao gồm các trò chơi như Cờ vua, Cờ caro hoặc Poker, và đặc biệt là xác minh chứng minh sự hợp lệ trong các hợp đồng Bitcoin.”
“Ngoài ra, có thể có khả năng kết nối BTC với các chuỗi ngoại quốc, xây dựng một thị trường dự đoán hoặc giả mạo các mã lệnh mới,”
Linus nói.
Linus cho biết một hạn chế của mô hình này là nó chỉ hoạt động trong một tình huống hai bên với một người chứng minh và một người xác minh, và một lượng lớn tính toán và giao tiếp ngoại tuyến cần thiết để thực hiện các chương trình.
Theo Linus, “cột mốc” tiếp theo là triển khai đầy đủ BitVM cùng với Tree++ — một ngôn ngữ lập trình cấp cao để viết và gỡ lỗi các hợp đồng Bitcoin.
BitVM được kích hoạt thông qua sự nâng cấp mềm Taproot diễn ra vào tháng 11 năm 2021.
Các nhà phát triển Bitcoin đã phản ứng tích cực với BitVM. Người dẫn dắt Bitcoin nổi tiếng Eric Wall đã viết trên Twitter rằng các khái niệm được trình bày trong bản trắng của BitVM “đầy hứng khởi” và ông “thận trọng hứng khởi” để xem những thí nghiệm thực tế sẽ phát sinh từ đó.
Dylan LeClair, một nhà phân tích Bitcoin, cũng ấn tượng với bản trắng của BitVM. Tuy nhiên, Adam Back, một đóng góp viên chính của Bitcoin Core, chỉ trích rằng người ta không nên quá phấn khích với sự phát triển này ngay lúc này.
Một người xây dựng trong lĩnh vực blockchain, “dotta,” lưu ý rằng đã có một bằng chứng thực tế trên GitHub. Người dùng khác, Sam Parker, đã cố gắng giải quyết một lo ngại phổ biến giữa các người theo trường phái Bitcoin maximalists bằng cách giải thích rằng BitVM sẽ không buộc Bitcoin phải “bị khóa” vào các hợp đồng này.
The bullish stuff around #Bitcoin is snowballing, lots of them controversial, nevertheless a few off my finger tips:
– BitVM
– Ordinals
– Multiple Pres Candidates talking about it
– ETF
– Halving
– Privacy improvements
– Exponential Hash Rate increase
– Countries mining
….— psage (@perspiringsage) October 9, 2023
“Cuối cùng, điều này là tùy chọn. Nếu bạn không tin tưởng rằng tiền của bạn sẽ bị “khóa” vào một hợp đồng thông minh Turing complete (hoàn toàn hợp lý), thì đừng bao giờ khóa chúng vào một hợp đồng thông minh Turing complete. Một trong những điểm đẹp của hệ thống UTXO là an toàn ở chế độ cách ly bảo mật.”
Những người khác, như “psage,” nói rằng BitVM sẽ thêm vào danh sách các yếu tố sẽ thúc đẩy giá Bitcoin lên trong chu kỳ tăng giá tiếp theo.
