Một nhà phát triển Bitcoin đã đề xuất cách mới để mang các hợp đồng thông minh off-chain đến với Bitcoin mà không cần đến soft fork.

Theo Robin Linus, trưởng dự án ZeroSync công bố trong whitepaper (sách trắng) ngày 9/10 có tiêu đề “BitVM: Tính toán mọi thứ trên Bitcoin”, BitVM cho phép các hợp đồng Bitcoin Turing Complete mà không làm thay đổi quy tắc đồng thuận của Bitcoin.

Hệ thống Turing Complete là hệ thống về mặt lý thuyết có thể đưa ra 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 thi off-chain nhưng việc xác minh sẽ được thực hiện trên Bitcoin, tương tự như các optimistic rollup của Ethereum.

Kiến trúc của BitVM dựa trên bằng chứng gian lận và mô hình phản hồi thách thức trong đó “người chứng minh” có thể đưa ra tuyên bố và “người xác minh” trình bày bằng chứng gian lận để trừng phạt người chứng minh nếu đưa ra tuyên bố sai.

Linus giải thích rằng Bitcoin ở dạng hiện tại bị giới hạn ở các hoạt động cơ bản, chẳng hạn như chữ ký, khóa thời gian và khóa hash – nhưng giờ đây điều đó có thể được mở rộng bằng BitVM. Linus cho biết có thể tính toán một loạt ứng dụng thú vị.

“Các ứng dụng tiềm năng bao gồm trò chơi như Cờ vua, Cờ vây hoặc Poker và đặc biệt là xác minh bằng chứng hợp lệ trong hợp đồng Bitcoin.

Ngoài ra, có thể kết nối BTC với các chain nước ngoài, xây dựng thị trường dự đoán hoặc mô phỏng các opcode mới”.

Linus cho biết hạn chế của mô hình là bị giới hạn ở thiết lập hai bên với người chứng minh và người xác minh, đồng thời cần lượng đáng kể tính toán và giao tiếp off-chain để thực thi các chương trình.

Linus cho biết “cột mốc” tiếp theo là triển khai đầy đủ BitVM bên cạnh 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 bằng soft fork Taproot diễn ra vào tháng 11/2021.

Linus đã trích dẫn nghiên cứu của Ethereum về optimistic rollup và một nghiên cứu về Merkle Trees trong việc đóng góp cho whitepaper dài 8 trang.

Bitcoiner phản hồi về BitVM

Bitcoiner nổi tiếng Eric Wall đã đăng trên X (Twitter) rằng các khái niệm được nêu trong whitepaper BitVM “đã được kiểm tra” và “rất vui mừng” khi xem những thử nghiệm trong thế giới thực nào bắt nguồn từ nó. 

Nhà phân tích Bitcoin Dylan LeClair cũng rất ấn tượng với whitepaper của BitVM. Nhưng Adam Back, người đóng góp cho Bitcoin Core gợi ý mọi người chưa nên quá hào hứng với phát triển này.

Một nhà xây dựng trong không gian blockchain, “dotta”, lưu ý đã có bằng chứng khái niệm trên GitHub.

Một người dùng X khác, Sam Parker, đã cố gắng giải quyết nỗi sợ hãi phổ biến của những người theo chủ nghĩa tối đa hóa Bitcoin bằng cách giải thích BitVM sẽ không buộc Bitcoin phải “bị khóa” vào các hợp đồng này.

“Cuối cùng, đây là lựa chọn tham gia. Nếu bạn không tin tưởng coin của mình sẽ bị khóa theo một số hợp đồng Turing Complete (hoàn toàn hợp lý) thì đừng khóa chúng vào hợp đồng thông minh Turing Complete. Một trong những điểm hay của hệ thống UTXO là sandbox bảo mật”.

Những người khác, chẳng hạn như “psage” cho biết BitVM bổ sung vào danh sách những yếu tố sẽ đẩy giá Bitcoin tiến lên trong thị trường bò tiếp theo.

  

Đình Đình

Theo Cointelegraph