Tác giả: Robin Linus
Nguồn: https://delvingbitcoin.org/t/how-ctv-csfs-improves-bitvm-bridges/1591
Tóm tắt: CTV nâng cao các cầu nối BitVM bằng cách loại bỏ nhu cầu về các giao dịch cam kết được ký trước và giả định an toàn cơ bản dựa trên các bên tham gia trung thực. Hơn nữa, CSFS đã cải thiện đáng kể hiệu quả vốn và giảm gánh nặng khởi động.
Giới thiệu
Trong BitVM, chúng tôi sử dụng các điều khoản cam kết đầu vào để biểu thị trạng thái, ví dụ như chúng tôi thể hiện trạng thái "nếu không ai thách thức, người vận hành có thể rút tiền từ hợp đồng cầu nối" như một đầu ra cụ thể mà người thách thức có thể đốt để cho thấy họ cho rằng yêu cầu rút tiền của người vận hành là độc hại, buộc người vận hành phải trải qua quy trình thách thức. Ngược lại, trong trường hợp thuận lợi, đầu ra đó có thể "sống sót" qua toàn bộ giai đoạn thách thức, sau đó người vận hành có thể sử dụng nó để thực hiện giao dịch rút tiền.
Thiết kế hợp đồng cầu nối BitVM hiện tại dựa vào các điều khoản cam kết giả định để đảm bảo an toàn cho tiền gửi. Cam kết này yêu cầu giả định về 1 trong số n bên tham gia trung thực và trong thực tế sẽ mang lại nhiều độ phức tạp không mong muốn. Cho đến gần đây, chúng tôi vẫn nghĩ rằng CTV không đủ để thay thế các giao dịch cam kết, bởi vì CTV được thiết kế để chỉ cam kết đầu ra, không phải cam kết đầu vào. Tuy nhiên, sự thật cho thấy có một thủ thuật có thể kích hoạt các chức năng mà chúng tôi cần.
Thủ thuật chữ ký script
Ý tưởng chính là tận dụng thực tế rằng CTV có thể cam kết tất cả các chữ ký script đầu vào. Giả sử chúng ta muốn thể hiện "Đầu vào A chỉ có thể được chi tiêu cùng với đầu vào B", chúng ta có thể làm như sau:
- Xác định đầu vào B là một script P2SH (truyền thống).
- Tạo trước một chữ ký với nhãn sighash
SINGLE|NONE, về bản chất chỉ ký đầu vào B. Chữ ký này chỉ cam kết đầu vào B, và vì P2SH không phải là loại chứng từ cách ly, nên chữ ký này sẽ xuất hiện trong trường "scriptSig" của đầu vào B. - Xác định đầu vào A là một đầu ra P2TR và chứa một điều kiện CTV, mà hàm băm mẫu của nó cam kết các chữ ký script của một giao dịch trong tương lai (của các đầu vào), bao gồm chữ ký của đầu vào B.
Kết quả là: Đầu vào A cam kết chữ ký của Đầu vào B, chữ ký này lại cam kết Đầu vào B. Do đó, Đầu vào A chỉ có thể được chi tiêu cùng với Đầu vào B.
Chi tiết
Cam kết này là một chiều: Đầu vào A cam kết Đầu vào B, nhưng không phải ngược lại. Cam kết hai chiều về lý thuyết sẽ tốt hơn, nhưng không thể thực hiện được do vòng lặp hàm băm (ngay cả khi chúng ta có các mã vận hành nội suy như TXHASH).
Đối với hợp đồng cầu nối của chúng tôi, chỉ cần đảm bảo rằng Đầu vào B luôn bị đốt là đủ. Nhưng điều này cũng không thể thực hiện được với CTV - khi đó, hàm băm mẫu sẽ phải cam kết scriptSig của chính nó, mà chữ ký đã cam kết Đầu vào B, TXID của nó - điều này sẽ tạo ra một vòng lặp hàm băm.
Để giải quyết vấn đề này, chúng tôi đã thiết kế lại đồ thị giao dịch sao cho hợp đồng vẫn an toàn ngay cả khi Đầu vào B không được chi tiêu cùng với Đầu vào A. Chi tiết của thiết kế mới vượt ra ngoài phạm vi bài viết này, vì nó yêu cầu bạn có hiểu biết sâu hơn về kiến trúc hợp đồng cầu nối.
Cải tiến cụ thể
- CTV mang lại tính an toàn tiền gửi vô điều kiện. Ngay cả khi tất cả người vận hành đều độc hại, họ cũng không thể đánh cắp tiền từ hợp đồng cầu nối. Mặc dù chúng tôi vẫn dựa vào một giả định hoạt động cơ bản để đảm bảo việc rút tiền, nhưng quy trình khởi động được đơn giản hóa cho phép chúng tôi mở rộng nhóm người vận hành - có thể là một bậc. Do đó, giả định về việc ít nhất một người vận hành vẫn trực tuyến có xác suất cao hơn.
- CSFS thay thế chữ ký Lamport, giảm kích thước giao dịch xuống khoảng 10 lần. Điều này giảm đáng kể chi phí vốn cho người vận hành hợp đồng cầu nối.
- Phát sinh khóa phi cứng trở nên khả thi với CSFS, cho phép bất kỳ ai cũng có thể tính toán khóa công khai của người vận hành một cách không tương tác. Điều này đơn giản hóa đáng kể quá trình khóa vốn, vì lượng dữ liệu mà người vận hành cần cung cấp đã giảm.
- Trong thiết kế hiện tại, việc khóa vốn vẫn yêu cầu chữ ký của người vận hành, điều này mở ra khả năng kiểm duyệt. Mặc dù điều này có thể được giảm thiểu bằng các hệ thống khác, mục tiêu dài hạn của chúng tôi là thay đổi hợp đồng cầu nối để chỉ ra việc khóa hoàn toàn không tương tác, từ đó loại bỏ hoàn toàn nhu cầu tương tác.
Vì những lý do này, Liên minh BitVM mạnh mẽ ủng hộ đề xuất CTV + CSFS.
Kết luận
Các thủ thuật trên cho thấy, bằng cách sử dụng CTV và CSFS một cách linh hoạt, chúng ta có thể đơn giản hóa đáng kể việc xây dựng hợp đồng cầu nối BitVM, đồng thời nâng cao tính an toàn và hiệu quả. Bằng cách loại bỏ nhu cầu về các giao dịch cam kết được ký trước, loại bỏ giả định về các bên tham gia trung thực, CTV cho phép các hợp đồng cầu nối có được sự đảm bảo an toàn vô điều kiện. Đồng thời, CSFS có thể giảm chi phí vốn và độ phức tạp hoạt động, mở đường cho các cầu nối có thể mở rộng và phi tập trung hơn. Mặc dù vẫn còn một số thách thức mở - chẳng hạn như làm cho việc khóa vốn trở nên hoàn toàn không tương tác - nhưng thiết kế mới này đại diện cho một bước tiến lớn hướng tới khả năng t相互操作性của Bitcoin với mức độ tin cậy tối thiểu và thực tế.
