Một nhà phát triển Bitcoin đề xuất các hợp đồng thông minh ngoài chuỗi không cần fork mềm
BitVM là một cách tiếp cận mới để phát triển các hợp đồng thông minh ngoài chuỗi hoàn chỉnh Turing cho Bitcoin, có khả năng giải quyết mọi vấn đề có thể tính toán được. BitVM xác minh logic hợp đồng trên Bitcoin bằng cách sử dụng các bằng chứng và thách thức gian lận mà không làm thay đổi các quy định cơ bản của giao thức. Nó cho phép nhiều ứng dụng và mở rộng chức năng của Bitcoin, nhưng BitVM yêu cầu rất nhiều lao động ngoài chuỗi và chỉ hoạt động cho hai bên. Ngoài ra, Tree++ là yêu cầu về ngôn ngữ lập trình cho BitVM, được xây dựng dựa trên bản nâng cấp Taproot.

Một nhà phát triển Bitcoin được cho là đã đề xuất một phương pháp mới để kết hợp các hợp đồng thông minh ngoài chuỗi có ý nghĩa hơn vào Bitcoin (BTC) mà không có sự phân ly nhẹ. BitVM, theo một sách trắng được xuất bản vào ngày 9 tháng 10 bởi Robin Linus, trưởng dự án ZeroSync và có tiêu đề “BitVM: Tính toán mọi thứ trên Bitcoin”, tạo điều kiện thuận lợi cho các hợp đồng Bitcoin hoàn chỉnh của Turing mà không sửa đổi các quy tắc đồng thuận của Bitcoin. Về lý thuyết, hệ thống Turing Complete có thể đưa ra giải pháp cho bất kỳ vấn đề tính toán nào.
BitVM nhằm mục đích triển khai việc thực thi 'logic' hợp đồng Bitcoin ngoài chuỗi trong khi vẫn đảm bảo tính chứng minh trên chuỗi khối Bitcoin, giống như các đợt triển khai lạc quan được quan sát thấy trên Ethereum. Mô hình phản hồi thách thức và bằng chứng gian lận làm nền tảng cho kiến trúc của BitVM, trong đó 'người chứng minh' có thể xác nhận các xác nhận quyền sở hữu và 'người xác minh' có thể thực hiện bằng chứng gian lận để trừng phạt người chứng minh vì đã đưa ra tuyên bố sai. Theo Linus, Bitcoin, như hiện tại, bị hạn chế ở các hoạt động cơ bản như hashlock, timelock và chữ ký. Tuy nhiên, hạn chế này có thể được mở rộng với việc bổ sung BitVM, theo ý kiến của ông, có khả năng tính toán nhiều ứng dụng hấp dẫn.
Như Linus đã nêu, chức năng của mô hình bị giới hạn ở cấu hình hai bên bao gồm người chứng minh và người xác minh. Hơn nữa, việc thực hiện chương trình đòi hỏi một lượng đáng kể tính toán và giao tiếp ngoài chuỗi. Linus tuyên bố rằng “cột mốc” tiếp theo sẽ là việc triển khai hoàn chỉnh BitVM và Tree++, một ngôn ngữ lập trình cấp cao được sử dụng để phát triển và gỡ lỗi các hợp đồng Bitcoin. Chức năng BitVM được khởi tạo bởi soft fork Taproot vào tháng 11 năm 2021.
Giúp nhà đầu tư kiếm tiền trong thị trường giao dịch với cơ chế hoàn tiền thường.