OP_CAT đã chính thức được giới thiệu là Đề xuất cải tiến Bitcoin BIP-420 trong bối cảnh cuộc tranh luận đang diễn ra xung quanh các khế ước (covenant) trên Bitcoin.
Khế ước sắp ra mắt
Người ủng hộ OP_CAT và đồng sáng lập của Taproot Wizards Udi Wertheimer chia sẻ:
“Hôm nay, sau một thời gian dài chờ đợi, đề xuất OP_CAT đã chính thức được đánh số – BIP-420! BIP-420 kích hoạt các khế ước trên Bitcoin, cho phép hợp đồng thông minh, cầu nối an toàn, giao dịch on-chain, xác minh bằng chứng zk…”
Nói chung, các khế ước trên Bitcoin là các tính năng scripting nâng cao cho phép đặt điều kiện cho cách chi tiêu Bitcoin trong các giao dịch trong tương lai. Chúng có thể kích hoạt các trường hợp sử dụng, bao gồm việc tạo các “vault (kho tiền)” an toàn cho phép giao dịch có thể đảo ngược, thanh toán định kỳ tự động, chuyển khoản có giới hạn thời gian cho các tình huống như thừa kế và các công cụ tài chính phức tạp như ký quỹ và trái phiếu.
OP_CAT ban đầu được đưa vào như một trong những opcode đầu tiên trong Bitcoin. Tuy nhiên, Satoshi Nakamoto đã vô hiệu hóa nó cùng với một số opcode khác vào năm 2010 do lo ngại khả năng tạo các script (tập lệnh) có thể dẫn đến lỗ hổng.
Opcode đề cập đến một lệnh được sử dụng trong ngôn ngữ kịch bản tạo nên một phần của giao thức Bitcoin. Các script Bitcoin được tạo thành từ các chuỗi opcode, mỗi chuỗi thực hiện một thao tác cụ thể.
Đề xuất BIP-420, được viết bởi Ethan Heilman và Armin Sabouri, tìm cách giới thiệu lại OP_CAT cho Bitcoin thông qua một soft fork tương thích ngược bằng cách “xác định lại opcode OP_SUCCESS126” – được thiết kế để loại bỏ bất kỳ sự nhầm lẫn tiềm ẩn nào bằng cách không sử dụng giá trị opcode khác. Đề xuất chỉ tập trung vào việc giới thiệu lại opcode mà không làm thay đổi các khía cạnh khác trong giới hạn hoạt động của script.
Theo đề xuất, opcode OP_CAT sẽ đơn giản hóa và mở rộng các chức năng của Bitcoin, bao gồm làm cho các giao thức phi tập trung trở nên thiết thực hơn và hỗ trợ các thiết lập đa chữ ký nâng cao. Các tác giả cho rằng về cơ bản, OP_CAT sẽ tăng đáng kể sức mạnh và tính linh hoạt của script Bitcoin, giúp phát triển các ứng dụng phức tạp hơn trực tiếp trên blockchain Bitcoin dễ dàng hơn.
Tuy nhiên, khả năng xảy ra một soft fork OP_CAT phụ thuộc vào sự kết hợp giữa các cân nhắc về kỹ thuật, bảo mật và sự đồng thuận của cộng đồng. Nếu không có sự đồng thuận rộng rãi và minh chứng rõ ràng về tính an toàn và tiện ích của nó thì việc triển khai OP_CAT vẫn chưa chắc chắn.
Các đề xuất khế ước Bitcoin khác
Khái niệm về khế ước trên Bitcoin đã được thảo luận trong vài năm, ít nhất là từ năm 2013. Việc tích hợp các khế ước vào Bitcoin có thể mở rộng đáng kể chức năng, đưa nó đến gần hơn với các nền tảng linh hoạt về mặt lập trình như Ethereum nhưng cũng gây lo ngại về độ phức tạp và rủi ro bảo mật tiềm ẩn.
OP_CAT không phải là đề xuất khế ước Bitcoin duy nhất, với những đề xuất khác bao gồm CTV, CSFS và LNHANCE, mỗi đề xuất đều khác nhau về cách tiếp cận và sự đánh đổi (trade-off) cũng như các giai đoạn nghiên cứu và tranh luận khác nhau.
Check Template Verify (CTV) đã được Jeremy Rubin đề xuất trong BIP-119, giới thiệu một opcode mới đảm bảo chỉ các giao dịch khớp với mẫu được xác định trước mới có thể chi tiêu Bitcoin, cho phép các trường hợp sử dụng như vault, kiểm soát tắc nghẽn và di chuyển đa chữ ký kế thừa.
OP_CHECKSIGFROMSTACK (CSFS) được nhiều nhà phát triển khác nhau đề xuất, bao gồm cả Rubin, cho phép xác thực chữ ký bằng thông báo và khóa chung được chỉ định trong script, độc lập với giao dịch. CSFS được coi là linh hoạt và mạnh mẽ hơn CTV, có khả năng cho phép phạm vi ứng dụng rộng hơn.
LNHANCE đề xuất bổ sung thêm các khả năng scripting linh hoạt hơn nữa, bao gồm các vòng lặp và thực thi có điều kiện dựa trên dữ liệu bên ngoài. Đó là một đề xuất mang tính khái niệm hơn và ít chính thức hơn so với những đề xuất khác.
