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