Thảo luận về nguyên lý kỹ thuật DLC và các phương án tối ưu hóa
1. Tổng quan
Hợp đồng logarithm rời rạc (DLC) là một giải pháp thực thi hợp đồng dựa trên oracle được đề xuất bởi Tadge Dryja từ MIT vào năm 2018. DLC cho phép hai bên thực hiện thanh toán có điều kiện dựa trên các điều kiện đã định trước, thông qua ký trước và kết quả ký của oracle để thực hiện thanh toán. So với mạng lưới ánh sáng, DLC có những lợi thế rõ ràng về quyền riêng tư, hỗ trợ hợp đồng tài chính phức tạp và giảm thiểu rủi ro đối tác.
Mặc dù DLC có triển vọng ứng dụng rộng rãi trong hệ sinh thái Bitcoin, nhưng vẫn còn một số vấn đề cần được giải quyết, chẳng hạn như an ninh khóa, phi tập trung hóa oracle, và tiền lẻ với mệnh giá cố định. Bài viết này sẽ phân tích nguyên lý của DLC và đề xuất một số phương án tối ưu.
2. Cách hoạt động của DLC
Lấy ví dụ về Alice và Bob cược vào tính chẵn lẻ của giá trị băm khối thứ n+k, quy trình cơ bản của DLC như sau:
Các bên tạo cặp khóa: Oracle (z, Z), Alice (x, X), Bob (y, Y)
Alice và Bob tạo giao dịch ký quỹ 2-of-2, mỗi người khóa 1 BTC
Tạo hai giao dịch hợp đồng thực hiện (CET), dùng để chi tiêu giao dịch góp vốn
Máy tiên tri tạo ra cam kết R và S, S'
Alice và Bob tính toán khóa công khai mới PK^Alice và PK^Bob
Oracle phát sóng s hoặc s' dựa trên giá trị băm khối chẵn lẻ
Bên thắng sử dụng s/s' để tính toán khóa riêng mới rút tài sản
3. DLC tối ưu hóa
3.1 Quản lý khóa
Việc rò rỉ hoặc mất khóa riêng và số ngẫu nhiên của oracle có thể dẫn đến nhiều vấn đề về an ninh. Đề xuất áp dụng các biện pháp sau:
Sử dụng BIP32 để sinh khóa con hoặc khóa cháu để ký
Sử dụng khóa cá nhân và giá trị băm của bộ đếm làm số ngẫu nhiên
3.2 Oracle phi tập trung
Áp dụng chữ ký ngưỡng Schnorr để thực hiện phi tập trung hóa oracle, có những ưu điểm sau:
Tăng cường an ninh, giảm thiểu rủi ro điểm đơn thất bại
Thực hiện điều khiển phân tán
Nâng cao khả năng sử dụng và tính linh hoạt
Có khả năng truy cứu trách nhiệm
3.3 Kết hợp giữa phi tập trung và quản lý khóa
Trong bối cảnh phi tập trung, khóa riêng hoàn chỉnh không tồn tại, không thể sử dụng trực tiếp BIP32 để phân nhánh. Có thể áp dụng phương pháp phân nhánh khóa phân tán, sử dụng đa thức nội suy Lagrange để thiết lập mối quan hệ giữa các mảnh khóa riêng và khóa riêng hoàn chỉnh.
3.4 OP-DLC: giảm thiểu sự tin cậy của oracle
Giới thiệu cơ chế thách thức lạc quan, các oracle cần phải đặt cọc trước. Bất kỳ bên tham gia trung thực nào cũng có thể thách thức oracle gian lận, chiến thắng trong thách thức có thể tịch thu tiền đặt cọc của bên gian lận.
3.5 OP-DLC + BitVM đôi cầu
Kết hợp OP-DLC và BitVM, giải quyết vấn đề hoàn tiền cố định của DLC, đạt được khả năng hoàn tiền với bất kỳ độ granularity nào và nâng cao tính thanh khoản của tài chính.
4. Kết luận
Công nghệ DLC kết hợp với Taproot, BitVM, v.v., có thể thực hiện việc xác minh và thanh toán hợp đồng ngoài chuỗi phức tạp hơn. Thông qua cơ chế thách thức OP, có thể đạt được sự tối thiểu hóa niềm tin của oracle, đặt nền tảng cho việc ứng dụng rộng rãi của DLC.
Xem bản gốc
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.
16 thích
Phần thưởng
16
7
Đăng lại
Chia sẻ
Bình luận
0/400
ForkMonger
· 13giờ trước
pfft... thực thi dựa trên oracle? chỉ là một vector tấn công khác đang chờ được khai thác thật lòng mà nói
Xem bản gốcTrả lời0
RuntimeError
· 13giờ trước
Nói nhiều như vậy không bằng nói về cách giao dịch.
Xem bản gốcTrả lời0
DeFiAlchemist
· 13giờ trước
ahh cuối cùng cũng thấy được vẻ đẹp toán học thiêng liêng của các giao thức DLC... thực sự là thuật giả kim tài chính đang hoạt động thật sự.
Xem bản gốcTrả lời0
BrokenDAO
· 13giờ trước
Máy Oracle chỉ là rượu mới trong chai cũ, chi phí lòng tin vẫn không thể tránh khỏi.
Xem bản gốcTrả lời0
RugPullAlarm
· 13giờ trước
Lỗ hổng tiền ký trước có thể được tái hiện chỉ trong một ngày, kịch bản Rug Pull đã được viết sẵn?
Xem bản gốcTrả lời0
HypotheticalLiquidator
· 13giờ trước
Máy Oracle trung tâm ngưỡng rủi ro quá cao lại một domino khác đang chờ đổ.
Xem bản gốcTrả lời0
CryptoCross-TalkClub
· 13giờ trước
Một món đồ công nghệ cao nữa được chơi cho Suckers.
Thảo luận về nguyên lý công nghệ DLC và các giải pháp tối ưu Độ sâu
Thảo luận về nguyên lý kỹ thuật DLC và các phương án tối ưu hóa
1. Tổng quan
Hợp đồng logarithm rời rạc (DLC) là một giải pháp thực thi hợp đồng dựa trên oracle được đề xuất bởi Tadge Dryja từ MIT vào năm 2018. DLC cho phép hai bên thực hiện thanh toán có điều kiện dựa trên các điều kiện đã định trước, thông qua ký trước và kết quả ký của oracle để thực hiện thanh toán. So với mạng lưới ánh sáng, DLC có những lợi thế rõ ràng về quyền riêng tư, hỗ trợ hợp đồng tài chính phức tạp và giảm thiểu rủi ro đối tác.
Mặc dù DLC có triển vọng ứng dụng rộng rãi trong hệ sinh thái Bitcoin, nhưng vẫn còn một số vấn đề cần được giải quyết, chẳng hạn như an ninh khóa, phi tập trung hóa oracle, và tiền lẻ với mệnh giá cố định. Bài viết này sẽ phân tích nguyên lý của DLC và đề xuất một số phương án tối ưu.
2. Cách hoạt động của DLC
Lấy ví dụ về Alice và Bob cược vào tính chẵn lẻ của giá trị băm khối thứ n+k, quy trình cơ bản của DLC như sau:
Các bên tạo cặp khóa: Oracle (z, Z), Alice (x, X), Bob (y, Y)
Alice và Bob tạo giao dịch ký quỹ 2-of-2, mỗi người khóa 1 BTC
Tạo hai giao dịch hợp đồng thực hiện (CET), dùng để chi tiêu giao dịch góp vốn
Máy tiên tri tạo ra cam kết R và S, S'
Alice và Bob tính toán khóa công khai mới PK^Alice và PK^Bob
Oracle phát sóng s hoặc s' dựa trên giá trị băm khối chẵn lẻ
Bên thắng sử dụng s/s' để tính toán khóa riêng mới rút tài sản
3. DLC tối ưu hóa
3.1 Quản lý khóa
Việc rò rỉ hoặc mất khóa riêng và số ngẫu nhiên của oracle có thể dẫn đến nhiều vấn đề về an ninh. Đề xuất áp dụng các biện pháp sau:
3.2 Oracle phi tập trung
Áp dụng chữ ký ngưỡng Schnorr để thực hiện phi tập trung hóa oracle, có những ưu điểm sau:
3.3 Kết hợp giữa phi tập trung và quản lý khóa
Trong bối cảnh phi tập trung, khóa riêng hoàn chỉnh không tồn tại, không thể sử dụng trực tiếp BIP32 để phân nhánh. Có thể áp dụng phương pháp phân nhánh khóa phân tán, sử dụng đa thức nội suy Lagrange để thiết lập mối quan hệ giữa các mảnh khóa riêng và khóa riêng hoàn chỉnh.
3.4 OP-DLC: giảm thiểu sự tin cậy của oracle
Giới thiệu cơ chế thách thức lạc quan, các oracle cần phải đặt cọc trước. Bất kỳ bên tham gia trung thực nào cũng có thể thách thức oracle gian lận, chiến thắng trong thách thức có thể tịch thu tiền đặt cọc của bên gian lận.
3.5 OP-DLC + BitVM đôi cầu
Kết hợp OP-DLC và BitVM, giải quyết vấn đề hoàn tiền cố định của DLC, đạt được khả năng hoàn tiền với bất kỳ độ granularity nào và nâng cao tính thanh khoản của tài chính.
4. Kết luận
Công nghệ DLC kết hợp với Taproot, BitVM, v.v., có thể thực hiện việc xác minh và thanh toán hợp đồng ngoài chuỗi phức tạp hơn. Thông qua cơ chế thách thức OP, có thể đạt được sự tối thiểu hóa niềm tin của oracle, đặt nền tảng cho việc ứng dụng rộng rãi của DLC.