BitVM tối ưu: Nâng cao hiệu suất và độ an toàn của hợp đồng Bitcoin
Bitcoin là một loại tài sản kỹ thuật số phi tập trung, an toàn và đáng tin cậy, đang phải đối mặt với vấn đề mở rộng trong thời gian dài. Mô hình UTXO của nó dẫn đến hệ thống không trạng thái, khó thực hiện các phép tính phức tạp phụ thuộc vào trạng thái, hạn chế việc xây dựng các ứng dụng phi tập trung và các công cụ tài chính phức tạp.
Vào tháng 12 năm 2023, dự án ZeroSync đã đề xuất giải pháp BitVM, đạt được hợp đồng Bitcoin hoàn chỉnh về mặt Turing mà không thay đổi sự đồng thuận của mạng Bitcoin. BitVM sử dụng script Bitcoin và Taproot, thực hiện Rollup lạc quan, thiết lập mối liên hệ giữa các UTXO của Bitcoin, đạt được script Bitcoin có trạng thái. Điều này đã mở rộng đáng kể các trường hợp sử dụng tiềm năng của Bitcoin.
Nhưng BitVM vẫn đang ở giai đoạn đầu, có một số vấn đề về hiệu suất và tính an toàn:
Thách thức và phản hồi cần phải tương tác nhiều lần, dẫn đến phí giao dịch cao và thời gian dài.
Dữ liệu ký hiệu một lần của Lamport dài hơn
Độ phức tạp của hàm băm cao, chi phí tương đối lớn
Hợp đồng lớn nhưng dung lượng khối hạn chế
Áp dụng mô hình cấp phép, chỉ hỗ trợ thách thức giữa hai bên
Đối với những vấn đề này, bài viết đề xuất những ý tưởng tối ưu sau:
Giảm số lần tương tác OP dựa trên ZK
Sử dụng chứng minh không kiến thức để giảm số lần thách thức của BitVM, nâng cao hiệu quả. Để cho thách thức không còn là thuật toán gốc, mà là thuật toán xác minh, giảm số vòng thách thức, rút ngắn chu kỳ. Có thể xây dựng ZK Fraud Proof, thực hiện chứng minh ZK theo yêu cầu, chỉ cần chứng minh ZK khi có thách thức.
Chữ ký một lần thân thiện với Bitcoin
Sử dụng chữ ký một lần Winternitz thay thế chữ ký Lamport, có thể giảm kích thước cam kết Bit xuống 50%, từ đó giảm mạnh phí giao dịch. Trong tương lai có thể khám phá các giải pháp chữ ký một lần gọn gàng hơn.
Hàm băm thân thiện với Bitcoin
Thực hiện hàm băm BLAKE3 dựa trên Bitcoin script để hỗ trợ xác minh chứng minh bao gồm merkle. Khám phá các hàm băm thân thiện với Bitcoin khác, chẳng hạn như Keccak-256, Grøstl, v.v.
Scriptless Scripts BitVM
Sử dụng công nghệ Scriptless Scripts, áp dụng chữ ký đa chiều Schnorr và chữ ký bộ điều hợp để thực hiện cam kết cổng logic trong mạch BitVM, tiết kiệm không gian kịch bản và nâng cao hiệu quả.
Thử thách nhiều bên không cần phép
Nghiên cứu giao thức thách thức nhiều bên OP không cần phép, mở rộng mô hình tin cậy của BitVM từ 1-of-n thành 1-of-N. Giải quyết các vấn đề như tấn công phù thủy và tấn công độ trễ, đạt được giao thức BitVM với độ tin cậy thấp hơn.
Công nghệ BitVM mới chỉ bắt đầu được khám phá, trong tương lai sẽ tiếp tục tìm kiếm nhiều hướng tối ưu hơn, để thực hiện việc mở rộng Bitcoin, phát triển hệ sinh thái Bitcoin.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
17 thích
Phần thưởng
17
7
Đăng lại
Chia sẻ
Bình luận
0/400
0xTherapist
· 07-23 01:29
Hiểu cái gì chứ chỉ là nói phét.
Xem bản gốcTrả lời0
LucidSleepwalker
· 07-22 11:50
À? Tiếp tục được chơi cho Suckers thôi.
Xem bản gốcTrả lời0
SmartContractPlumber
· 07-20 02:02
Thực sự tương tác thực sự tốn tiền, độ an toàn còn chưa được kiểm tra.
BitVM tối ưu hóa: Nâng cao hiệu suất và độ an toàn của hợp đồng Bitcoin
BitVM tối ưu: Nâng cao hiệu suất và độ an toàn của hợp đồng Bitcoin
Bitcoin là một loại tài sản kỹ thuật số phi tập trung, an toàn và đáng tin cậy, đang phải đối mặt với vấn đề mở rộng trong thời gian dài. Mô hình UTXO của nó dẫn đến hệ thống không trạng thái, khó thực hiện các phép tính phức tạp phụ thuộc vào trạng thái, hạn chế việc xây dựng các ứng dụng phi tập trung và các công cụ tài chính phức tạp.
Vào tháng 12 năm 2023, dự án ZeroSync đã đề xuất giải pháp BitVM, đạt được hợp đồng Bitcoin hoàn chỉnh về mặt Turing mà không thay đổi sự đồng thuận của mạng Bitcoin. BitVM sử dụng script Bitcoin và Taproot, thực hiện Rollup lạc quan, thiết lập mối liên hệ giữa các UTXO của Bitcoin, đạt được script Bitcoin có trạng thái. Điều này đã mở rộng đáng kể các trường hợp sử dụng tiềm năng của Bitcoin.
Nhưng BitVM vẫn đang ở giai đoạn đầu, có một số vấn đề về hiệu suất và tính an toàn:
Đối với những vấn đề này, bài viết đề xuất những ý tưởng tối ưu sau:
Giảm số lần tương tác OP dựa trên ZK
Sử dụng chứng minh không kiến thức để giảm số lần thách thức của BitVM, nâng cao hiệu quả. Để cho thách thức không còn là thuật toán gốc, mà là thuật toán xác minh, giảm số vòng thách thức, rút ngắn chu kỳ. Có thể xây dựng ZK Fraud Proof, thực hiện chứng minh ZK theo yêu cầu, chỉ cần chứng minh ZK khi có thách thức.
Chữ ký một lần thân thiện với Bitcoin
Sử dụng chữ ký một lần Winternitz thay thế chữ ký Lamport, có thể giảm kích thước cam kết Bit xuống 50%, từ đó giảm mạnh phí giao dịch. Trong tương lai có thể khám phá các giải pháp chữ ký một lần gọn gàng hơn.
Hàm băm thân thiện với Bitcoin
Thực hiện hàm băm BLAKE3 dựa trên Bitcoin script để hỗ trợ xác minh chứng minh bao gồm merkle. Khám phá các hàm băm thân thiện với Bitcoin khác, chẳng hạn như Keccak-256, Grøstl, v.v.
Scriptless Scripts BitVM
Sử dụng công nghệ Scriptless Scripts, áp dụng chữ ký đa chiều Schnorr và chữ ký bộ điều hợp để thực hiện cam kết cổng logic trong mạch BitVM, tiết kiệm không gian kịch bản và nâng cao hiệu quả.
Thử thách nhiều bên không cần phép
Nghiên cứu giao thức thách thức nhiều bên OP không cần phép, mở rộng mô hình tin cậy của BitVM từ 1-of-n thành 1-of-N. Giải quyết các vấn đề như tấn công phù thủy và tấn công độ trễ, đạt được giao thức BitVM với độ tin cậy thấp hơn.
Công nghệ BitVM mới chỉ bắt đầu được khám phá, trong tương lai sẽ tiếp tục tìm kiếm nhiều hướng tối ưu hơn, để thực hiện việc mở rộng Bitcoin, phát triển hệ sinh thái Bitcoin.