OP-DLC 2: Tối ưu hóa cơ chế thách thức lạc quan của hợp đồng DLC

2025-07-04 02:23:09

Đang tạo bản tóm tắt

OP-DLC 2：Sự thật luôn đơn giản.

DLC(Hợp đồng đăng nhập rời rạc) là một khung thực thi hợp đồng dựa trên oracle được đề xuất bởi Tadge Dryja từ Viện Công nghệ Massachusetts vào năm 2018. Nó cho phép cả 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ực hiện thanh toán thông qua việc ký trước và ký kết kết quả bằng oracle. DLC thực hiện các ứng dụng tài chính phi tập trung mới trong khi đảm bảo an toàn cho khoản tiền gửi Bitcoin.

Trước đó đã tóm tắt những ưu điểm và vấn đề mà DLC gặp phải, đồng thời đưa ra một số phương án tối ưu. Tuy nhiên, do DLC liên quan đến nhiều bên tham gia, chiến lược phòng thủ tương đối phức tạp, thiếu sự đơn giản và đẹp mắt.

Trong hệ thống Bitcoin, tất cả hành vi đều được thực hiện thông qua UTXO. Chỉ cần đảm bảo UTXO đúng, có thể chống lại bất kỳ cuộc tấn công nào. Tương tự, trong DLC, tất cả hành vi đều được thực hiện thông qua CET(Contract Execution Transaction). Do đó, việc sử dụng cơ chế thách thức lạc quan để đảm bảo CET đúng sẽ giúp chống lại bất kỳ cuộc tấn công nào.

Cụ thể, sau khi oracle ký quỹ 2BTC mới có thể ký CET. Thêm cơ chế thách thức lạc quan vào CET. Nếu CET không bị thách thức hoặc thành công trong việc đối phó với thách thức, CET sẽ được coi là đúng và hoàn thành thanh toán, oracle sẽ giải phóng ký quỹ và nhận phí giao dịch. Nếu oracle cố gắng gian lận, bất kỳ ai cũng có thể thách thức thành công, CET đó sẽ không thể thanh toán, oracle sẽ mất tiền ký quỹ và không thể ký tên cho CET đó nữa. Thiết kế này đơn giản nhưng hiệu quả.

Nguyên lý DLC

Lấy ví dụ Alice và Bob đặt cược vào tính chẵn lẻ của giá trị băm khối thứ ξ để giải thích nguyên lý DLC:

Giao dịch nạp vốn: Alice và Bob mỗi người khóa 10BTC vào đầu ra ký đa chữ ký 2-of-2.
Xây dựng CET: Tạo hai CET để chi tiêu cho giao dịch đầu tư.
Oracle tính toán cam kết và tạo chữ ký.
Thanh toán: Oracle ký hợp đồng CET tương ứng dựa trên băm khối.
Rút tiền: Bên thắng tính toán khóa riêng mới và chi tiêu số tiền đã bị khóa.

Nghiên cứu phát hiện, chỉ cần sử dụng cơ chế thách thức lạc quan để đảm bảo CET đúng, có thể chống lại bất kỳ cuộc tấn công nào. CET sai sẽ bị thách thức, không được thực hiện, trong khi CET đúng sẽ được thực hiện. Đồng thời, oracle cần phải trả giá cho hành vi độc hại.

OP-DLC 2

OP-DLC bao gồm các quy định sau:

Oracle được tạo thành từ các liên minh, bất kỳ thành viên nào cũng có thể ký CET. Cần đặt cọc 2BTC để ký.
Nếu oracle làm ác, bất kỳ ai cũng có thể khởi xướng thách thức.
CET ký hợp đồng trung thực có thể được thanh toán sau 1 tuần, và oracle sẽ nhận được phần thưởng.
Bất kỳ ai cũng có thể thách thức Oracle_sign.
Thách thức là không cần phép, bất kỳ ai cũng có thể giám sát việc thực hiện hợp đồng.

Ưu điểm:

Quy chế kiểm soát tài sản cao, người dùng chỉ có thể tin tưởng vào chính mình
Tỷ lệ sử dụng vốn cao
Phạm vi oracle có thể được xác định linh hoạt

Nhược điểm:

Thời gian rút tiền cần 1 tuần
Số lượng đã ký trước có mối quan hệ tuyến tính với số lượng CET

Kết luận

OP-DLC sẽ đưa cơ chế thách thức lạc quan vào CET, đảm bảo rằng CET sai không bị thanh toán và oracle ác ý sẽ bị trừng phạt, CET đúng sẽ được thực thi và oracle trung thực sẽ nhận được phần thưởng. Thiết kế đơn giản nhưng hiệu quả này có thể chống lại nhiều loại tấn công.

OP7.49%

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.

20 thích