Cây cầu Cardano-Bitcoin sắp tới, dựa trên giao thức Grail, có thể là bước đầu tiên hướng tới việc cung cấp các ứng dụng tài chính phi tập trung (DeFi) được bảo mật bởi Bitcoin, các tài liệu từ giao thức cơ bản của cây cầu tiết lộ.
Vào ngày 24 tháng 10, Emurgo, đội phát triển hỗ trợ Cardano, đã thông báo rằng họ đang phát triển cây cầu trong sự hợp tác với nhà phát triển của Grail, BTCOS.
Trong một bài viết X vào ngày hôm sau, người sáng lập Cardano Charles Hoskinson đã làm rõ rằng mạng sẽ cuối cùng tổ chức các ứng dụng DeFi được bảo mật bởi Bitcoin, thêm rằng, “Với phí babel, các nhà phát triển Bitcoin có thể phát triển các ứng dụng Hybrid Cardano/Bitcoin trong Aiken và trả phí giao dịch của họ bằng bitcoin.”
Bài đăng đã bị xóa vào ngày 16 tháng 11, nhưng những tuyên bố tương tự từ Hoskinson đã được người dùng X Al’O ghi lại và chia sẻ qua kênh của ông.
Một số người dùng Bitcoin đã hoài nghi về ý tưởng rằng các ứng dụng DeFi có thể được bảo mật bởi mạng Bitcoin.
Các nhà phê bình tuyên bố rằng các “Bitcoin layer 2” trước đó không cho phép người dùng rút Bitcoin của họ mà không có sự đồng ý của nhà điều hành mạng và nghi ngờ rằng mạng hybrid Cardano/Bitcoin mới sẽ chỉ là một phiên bản tương tự.
Tuy nhiên, các tài liệu cho Grail cho thấy rằng nó cho phép người dùng Bitcoin rút từ Cardano mà không cần sự đồng ý của các xác thực viên của nó.
Hợp đồng thông minh trên Bitcoin
Grail được lấy cảm hứng từ một ý tưởng trước đó gọi là “BitVM,” được mô tả bởi nhà phát triển Robin Linus trong một tài liệu trắng năm 2023.
Tài liệu đã đề xuất rằng một “rollup lạc quan” của Bitcoin, tương tự như Optimism, Base hoặc Arbitrum của Ethereum, có thể được tạo ra bằng cách có một máy chủ cam kết vào một trong hai “0” hoặc “1” cho mỗi bit dữ liệu được lưu trữ. Nó cho biết rằng những trò chơi đơn giản như cờ vua, cờ vây hoặc poker có thể được thực hiện trên Bitcoin bằng hệ thống này.
Một ví dụ về mạch logic BitVM trên Bitcoin, được sử dụng để tạo ra hợp đồng thông minh. Nguồn: tài liệu trắng của BitVM.
Tài liệu trắng của Grail, được xuất bản vào tháng 4, cho biết rằng Grail “xây dựng trên mô hình BitVM,” và hệ thống BitVM nguyên bản đã tạo ra hàng tỷ giao dịch phức tạp mà cuối cùng sẽ khiến cây cầu của nó không khả thi để sử dụng.
Để giảm bớt độ phức tạp, Grail sử dụng bằng chứng không kiến thức (ZK) để thu nhỏ lượng dữ liệu cần lưu trữ trên Bitcoin.
Kết quả cuối cùng là một hệ thống cho phép người dùng gửi Bitcoin vào mạng lớp 2 mà không cần phải tin tưởng vào bảo mật của mạng đó. Trong trường hợp này, điều đó có nghĩa là người dùng có thể rút Bitcoin (BTC) của họ từ Cardano ngay cả khi các nút của Cardano bị một tác nhân độc hại chiếm đoạt.
Việc tạo ra các ứng dụng hybrid có thể mất nhiều thời gian
Ngay cả sau khi cây cầu được triển khai, việc phát triển các ứng dụng DeFi được bảo mật bởi Bitcoin có thể mất một thời gian. Trong bài viết X đã bị xóa của mình, Hoskinson cho biết các nhà phát triển sẽ cần được đào tạo về ngôn ngữ lập trình Aiken của Cardano để tạo ra những ứng dụng hybrid Bitcoin/Cardano này.
Vì hầu hết các nhà phát triển DeFi Ethereum được đào tạo trong Solidity, điều này ngụ ý rằng các ứng dụng mới không thể chỉ được tạo ra bằng cách sao chép và dán từ Ethereum. Chúng sẽ phải được viết từ đầu.
Tài liệu ngôn ngữ lập trình Aiken. Nguồn: Aiken.
Trong bản ghi được Al’O đăng tải, Hoskinson cho biết, “Đó sẽ là một khối lượng công việc khổng lồ, đó là một công việc rất nặng nề, và sẽ có các tích hợp ví và tất cả những thứ này phải xảy ra.” Ông tiếp tục nói rằng công việc đó là xứng đáng vì “có 1,5 triệu tỷ đô la trong không gian Bitcoin.”
Việc rút tiền vẫn có thể bị chặn
Cointelegraph đã nói chuyện với Edan Yago, đồng sáng lập của nhà phát triển Grail BTC OS. Yago cho biết rằng việc rút tiền từ cây cầu vẫn có thể bị chặn nếu 100% những người xác minh của nó thông đồng một cách độc hại.
“Để chiếm đoạt hệ thống Grail một cách độc hại, bạn sẽ cần phải sở hữu 100% các nút,” ông nói.
Dù vậy, ông cho biết điều này là “một giả định bảo mật mạnh hơn Bitcoin,” vì Bitcoin chỉ dựa vào giả định rằng “đa số thợ đào [hoặc sức mạnh băm]” là trung thực.
Theo quan điểm của Yago, cây cầu có độ bảo mật tốt hơn các hệ thống gán Bitcoin hiện tại, và việc tạo ra một hệ thống an toàn hơn là cần thiết bởi vì hàng triệu tỷ đô la vốn bị ràng buộc trong Bitcoin. Ông đã thêm vào:
“Hầu hết BTC hiện đang bị tiềm ẩn vì những người nắm giữ không muốn tin tưởng vào các thực thể tập trung bên thứ ba cung cấp cầu nối/bao bọc cho các blockchain khác. Chúng tôi tin rằng một kho tiền hoặc một cây cầu như Grail — được bảo mật bởi mật mã không kiến thức và một mạng lưới thợ đào Bitcoin — có thể là giải pháp kho tiền bản địa an toàn nhất mà các người nắm giữ sẽ dễ dàng dựa vào trước khi đưa BTC của họ vào hoạt động.”
OP_CAT như một sự thay thế cho Bitcoin DeFi
Grail không phải là giải pháp duy nhất cố gắng bảo mật các ứng dụng DeFi sử dụng mạng Bitcoin. Một lựa chọn khác, được gọi là “OP_CAT” cũng tuyên bố cung cấp lợi ích này. Tuy nhiên, nó sẽ yêu cầu một phần mềm nút Bitcoin được fork mềm, mà một số nút Bitcoin không muốn thực hiện.
Dù vậy, CEO StarkWare Eli Ben Sasson đã ủng hộ sự thay đổi này và dự đoán rằng nó sẽ chính thức hoạt động “trong vòng 12 tháng tới.”
Khi được hỏi về OP_CAT, Yago cho biết rằng việc triển khai của nó “không thay đổi đáng kể các giả định về bảo mật của cây cầu.”
Ông không ủng hộ việc thêm OP_CAT vào Bitcoin, vì ông tin rằng điều đó là “khá rủi ro.” Ông nói:
“OP_CAT có thể nhanh chóng trở nên rất cồng kềnh về kích thước giao dịch, và ngay cả những chuỗi như Fractal đã tạo ra một fork Bitcoin với OP_CAT được kích hoạt cũng đang nhận thấy rằng nó mang đến những phức tạp riêng để giải quyết.”
Dù vậy, ông cho biết nếu OP_CAT được triển khai, nó “có thể thay đổi kiến trúc của cách mà người ta có thể thực hiện xác minh zk trên Bitcoin, nhưng nó [sẽ không] thay đổi đáng kể cách mà cây cầu hoạt động.”
