1. Phân tích

Cầu nối Cardano-Bitcoin: Bước tiến tới DeFi được bảo mật bởi Bitcoin

Cầu nối mới giữa Cardano và Bitcoin cho phép người dùng rút Bitcoin của họ một cách an toàn, ngay cả khi phần lớn các nút Cardano trở nên ác ý.

Cầu nối Cardano-Bitcoin sắp tới, sử dụng giao thức Grail, có thể đại diện cho bước tiến đầu tiên hướng tới việc cho phép các ứng dụng tài chính phi tập trung (DeFi) tận dụng bảo mật của Bitcoin. Sự phát triển này nhằm tích hợp bảo mật mạnh mẽ của Bitcoin vào hệ sinh thái DeFi.

Emurgo, đội ngũ phát triển đứng sau Cardano, đã thông báo vào ngày 24 tháng 10 rằng họ đang phát triển cầu nối này hợp tác với BTCOS, nhà phát triển của Grail.

Người sáng lập Cardano, Charles Hoskinson, đã giải thích thêm trong một bài đăng X hiện đã bị xóa rằng mạng lưới sẽ tổ chức các ứng dụng DeFi được bảo mật bởi Bitcoin. Ông đề cập rằng các nhà phát triển có thể sử dụng ngôn ngữ lập trình Aiken để tạo ra các ứng dụng lai Cardano/Bitcoin và trả phí giao dịch bằng Bitcoin.

Mặc dù bài đăng của Hoskinson đã bị xóa vào ngày 16 tháng 11, các tuyên bố tương tự đã được ghi lại và chia sẻ bởi người dùng X tên là Al’O.

Một số người dùng Bitcoin đã bày tỏ sự hoài nghi về khả năng bảo mật các ứng dụng DeFi với mạng lưới Bitcoin. Các nhà phê bình chỉ ra rằng các 'lớp 2 của Bitcoin' trước đây không cho phép người dùng rút Bitcoin của họ mà không có sự chấp thuận của nhà điều hành mạng, gây lo ngại rằng cầu nối lai Cardano/Bitcoin mới có thể đi theo hướng tương tự.

Tuy nhiên, tài liệu của Grail xác nhận rằng nó thực sự cho phép người dùng Bitcoin rút từ Cardano mà không cần sự đồng ý của người xác thực.

Hợp đồng thông minh trên Bitcoin

Khái niệm đằng sau Grail được lấy cảm hứng từ ý tưởng 'BitVM' được đề xuất bởi nhà phát triển Robin Linus trong một bài báo trắng năm 2023. Bài báo này đề xuất tạo ra một 'rollup lạc quan' của Bitcoin tương tự như Optimism, Base hoặc Arbitrum của Ethereum, nơi một máy chủ cam kết một '0' hoặc '1' cho mỗi bit dữ liệu. Nó đề xuất rằng các trò chơi đơn giản như cờ vua, cờ vây hoặc poker có thể được vận hành trên Bitcoin bằng phương pháp này.

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ài báo trắng BitVM.

Bài báo trắng của Grail, được phát hành vào tháng 4, xây dựng dựa trên khái niệm BitVM. Nó thừa nhận rằng hệ thống BitVM ban đầu đã tạo ra hàng tỷ giao dịch phức tạp, làm cho cầu nối của nó trở nên không thực tế. Để giải quyết điều này, Grail sử dụng các bằng chứng không kiến thức (ZK) để giảm thiểu dữ liệu được lưu trữ trên Bitcoin.

Kết quả 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 phải dựa vào bảo mật của mạng đó. Người dùng có thể rút Bitcoin (BTC) của họ từ Cardano ngay cả khi các nút của nó bị tấn công bởi các diễn viên ác ý.

Tạo Ứng Dụng Lai Có Thể Mất Thời Gian

Ngay cả sau khi cầu nối đượ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ể là một quá trình kéo dài. Hoskinson đã nhấn mạnh trong bài đăng X đã bị xóa của mình rằng 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 để xây dựng các ứng dụng lai này.

Vì hầu hết các nhà phát triển DeFi của Ethereum được đào tạo về Solidity, điều này ngụ ý rằng các ứng dụng mới không thể đơn giản được sao chép từ Ethereum. Chúng sẽ cần được phát triển từ đầu.

Tài liệu ngôn ngữ lập trình Aiken. Nguồn: Aiken.

Trong một bản ghi âm được chia sẻ bởi Al’O, Hoskinson mô tả nỗ lực này là một 'lượng công việc khổng lồ' và một 'nhiệm vụ rất nặng nề', liên quan đến việc tích hợp ví và các phát triển cần thiết khác. Ông nhấn mạnh phần thưởng tiềm năng, cho rằng có 1,5 nghìn tỷ đô la trong không gian Bitcoin.

Rút Tiền Vẫn Có Thể Bị Chặn

Edan Yago, đồng sáng lập của nhà phát triển Grail BTC OS, giải thích rằng việc rút tiền từ cầu nối vẫn có thể bị chặn nếu tất cả các người xác minh cùng nhau hành động ác ý. Ông cho biết để chiếm quyền kiểm soát hệ thống Grail một cách ác ý, người ta sẽ cần kiểm soát 100% các nút.

Yago lưu ý rằng yêu cầu này đại diện cho một 'giả định bảo mật mạnh hơn so với Bitcoin', chỉ giả định rằng đa số các thợ mỏ (hoặc sức mạnh băm) là trung thực.

Ông tin rằng cầu nối cung cấp bảo mật tốt hơn so với các hệ thống pegging Bitcoin hiện tại, nhấn mạnh sự cần thiết của một hệ thống bảo mật hơn với hàng nghìn tỷ đô la vốn Bitcoin. Ông thêm vào:

'Hầu hết BTC hiện nay đang ở trạng thái tiềm ẩn vì 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/bọc sang các blockchain khác. Chúng tôi tin rằng một kho hoặc cầu nối 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ợ mỏ Bitcoin - có thể là giải pháp kho bảo mật nhất mà người nắm giữ sẽ dễ dàng tin tưởng trước khi đưa BTC của họ vào sử dụng.'

OP_CAT như một Giải Pháp Thay Thế cho Bitcoin DeFi

Ngoài Grail, một giải pháp khác có tên 'OP_CAT' cũng nhằm bảo mật các ứng dụng DeFi sử dụng mạng lưới Bitcoin. Tuy nhiên, việc triển khai OP_CAT sẽ yêu cầu một soft fork của phần mềm nút Bitcoin, điều mà một số nút không muốn hỗ trợ.

Giám đốc điều hành StarkWare Eli Ben Sasson đã ủng hộ sự 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 cho biết việc triển khai nó sẽ không thay đổi đáng kể các giả định bảo mật của cầu nối. Ông bày tỏ lo ngại về những rủi ro liên quan đến việc thêm OP_CAT vào Bitcoin, trích dẫn các phức tạp tiềm ẩn về kích thước giao dịch và những thách thức mà các chuỗi như Fractal đã gặp phải khi triển khai nó.

Tuy nhiên, ông thừa nhận rằng nếu OP_CAT được triển khai, nó có thể thay đổi kiến trúc của việc xác minh không kiến thức trên Bitcoin nhưng sẽ không thay đổi cơ bản cách hoạt động của cầu nối.

Theo Cointelegraph

Tin khác