Một nhà phát triển Bitcoin đã đề xuất một cách mới để đưa các hợp đồng thông minh ngoài chuỗi (off-chain smart contracts) vào Bitcoin mà không cần phải thực hiện một soft fork.
Theo Robin Linus, người điều hành dự án ZeroSync, thông báo trong một bài báo trắng vào ngày 9 tháng 10 có tiêu đề "BitVM: Tính toán mọi thứ trên Bitcoin", BitVM cho phép thực hiện các hợp đồng Turing Complete trên Bitcoin mà không thay đổi quy tắc của Bitcoin consensus.
Hệ thống Turing Complete là hệ thống có thể lý thuyết cung cấp 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 chuỗi (off-chain), nhưng việc xác minh sẽ được thực hiện trên Bitcoin, tương tự như Ethereum optimistic rollups.
Kiến trúc của BitVM dựa trên một mô hình chứng minh gian lận và phản ứng thách thức, trong đó "provers" có thể đưa ra các tuyên bố và "verifiers" trình bày bằng chứng về việc gian lận để trừng phạt prover đã đưa ra các tuyên bố sai lệch.
Linus giải thích rằng Bitcoin ở dạng hiện tại của nó bị hạn chế trong các hoạt động cơ bản, chẳng hạn như chữ ký, khoá thời gian và các khóa băm - nhưng giờ đây có thể mở rộng bằng cách sử dụng BitVM. Linus cho biết nó 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ờ Gô hoặc Poker, đặc biệt là xác minh bằng chứng về tính hợp lệ trong các hợp đồng Bitcoin.
Ngoài ra, có thể kết nối BTC với chuỗi ngoại quốc, xây dựng thị trường dự đoán hoặc mô phỏng các mã opcode mới.
Linus nói rằng giới hạn của mô hình này là nó bị giới hạn trong một cài đặt hai bên với prover và verifier, và nó yêu cầu một lượng lớn tính toán ngoài chuỗi và giao tiếp để thực hiện các chương trình.
Linus nói rằng "mốc" tiếp theo là triển khai đầy đủ của 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 một soft fork mang tên Taproot vào tháng 11 năm 2021.
Linus trích dẫn nghiên cứu về optimistic rollups của Ethereum và một nghiên cứu về cây Merkle trong việc đóng góp vào bài báo trắng dài tám trang.
Người theo dõi Bitcoin nổi bật Eric Wall đã đăng trên
Nhà phân tích Bitcoin Dylan LeClair cũng ấn tượng với bài báo trắng về BitVM. Nhưng người đóng góp cho Bitcoin Core Adam Back đề xuất rằng mọi người không nên quá phấn khích về sự phát triển này ngay bây giờ.
Một người xây dựng trong không gian blockchain, "dotta," lưu ý rằng đã có một bằng chứng thực hiện trên GitHub.
Người dùng khác, Sam Parker, cố gắng đối mặt với nỗi sợ hãi thông thường của những người theo trường phái Bitcoin 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.
Nhà phân tích Bitcoin Dylan LeClair cũng rất ấn tượng với sách trắng của BitVM. Nhưng người đóng góp cho Bitcoin Core, Adam Back, gợi ý mọi người chưa nên quá hào hứng với sự phát triển này.
Một nhà xây dựng trong không gian blockchain, “dotta”, lưu ý rằng đã có bằng chứng về 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 chung của những người theo chủ nghĩa tối đa hóa Bitcoin bằng cách giải thích rằng BitVM sẽ không buộc Bitcoin bị “khóa” vào các hợp đồng này.
“Cuối cùng, đây là sự lựa chọn tham gia. Nếu bạn không tin tưởng tiền 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à hộp cát 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 các yếu tố sẽ đẩy giá Bitcoin tiến lên trong thị trường tăng giá tiếp theo.
Nguồn:
tradecoind2.com
Theo Robin Linus, người điều hành dự án ZeroSync, thông báo trong một bài báo trắng vào ngày 9 tháng 10 có tiêu đề "BitVM: Tính toán mọi thứ trên Bitcoin", BitVM cho phép thực hiện các hợp đồng Turing Complete trên Bitcoin mà không thay đổi quy tắc của Bitcoin consensus.
Hệ thống Turing Complete là hệ thống có thể lý thuyết cung cấp 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 chuỗi (off-chain), nhưng việc xác minh sẽ được thực hiện trên Bitcoin, tương tự như Ethereum optimistic rollups.
Kiến trúc của BitVM dựa trên một mô hình chứng minh gian lận và phản ứng thách thức, trong đó "provers" có thể đưa ra các tuyên bố và "verifiers" trình bày bằng chứng về việc gian lận để trừng phạt prover đã đưa ra các tuyên bố sai lệch.
Linus giải thích rằng Bitcoin ở dạng hiện tại của nó bị hạn chế trong các hoạt động cơ bản, chẳng hạn như chữ ký, khoá thời gian và các khóa băm - nhưng giờ đây có thể mở rộng bằng cách sử dụng BitVM. Linus cho biết nó 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ờ Gô hoặc Poker, đặc biệt là xác minh bằng chứng về tính hợp lệ trong các hợp đồng Bitcoin.
Ngoài ra, có thể kết nối BTC với chuỗi ngoại quốc, xây dựng thị trường dự đoán hoặc mô phỏng các mã opcode mới.
Linus nói rằng giới hạn của mô hình này là nó bị giới hạn trong một cài đặt hai bên với prover và verifier, và nó yêu cầu một lượng lớn tính toán ngoài chuỗi và giao tiếp để thực hiện các chương trình.
Linus nói rằng "mốc" tiếp theo là triển khai đầy đủ của 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 một soft fork mang tên Taproot vào tháng 11 năm 2021.
Linus trích dẫn nghiên cứu về optimistic rollups của Ethereum và một nghiên cứu về cây Merkle trong việc đóng góp vào bài báo trắng dài tám trang.
Người theo dõi Bitcoin nổi bật Eric Wall đã đăng trên
Nhà phân tích Bitcoin Dylan LeClair cũng ấn tượng với bài báo trắng về BitVM. Nhưng người đóng góp cho Bitcoin Core Adam Back đề xuất rằng mọi người không nên quá phấn khích về sự phát triển này ngay bây giờ.
Một người xây dựng trong không gian blockchain, "dotta," lưu ý rằng đã có một bằng chứng thực hiện trên GitHub.
Người dùng khác, Sam Parker, cố gắng đối mặt với nỗi sợ hãi thông thường của những người theo trường phái Bitcoin 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.
Bitcoiner phản hồi BitVM
Nhà Bitcoin nổi tiếng Eric Wall đã đăng trênNhà phân tích Bitcoin Dylan LeClair cũng rất ấn tượng với sách trắng của BitVM. Nhưng người đóng góp cho Bitcoin Core, Adam Back, gợi ý mọi người chưa nên quá hào hứng với sự phát triển này.
Một nhà xây dựng trong không gian blockchain, “dotta”, lưu ý rằng đã có bằng chứng về 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 chung của những người theo chủ nghĩa tối đa hóa Bitcoin bằng cách giải thích rằng BitVM sẽ không buộc Bitcoin bị “khóa” vào các hợp đồng này.
“Cuối cùng, đây là sự lựa chọn tham gia. Nếu bạn không tin tưởng tiền 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à hộp cát 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 các yếu tố sẽ đẩy giá Bitcoin tiến lên trong thị trường tăng giá tiếp theo.
Nguồn:
Bitcoiner announces BitVM brings off-chain smart contracts to Bitcoin - TRADECOIN D2 (BETA)
A Bitcoin developer has proposed a new way to bring off-chain smart contracts to Bitcoin without the need for a soft fork.
tradecoind2.com
