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

Discreet Log Contract (DLC) là một khung thực hiện hợp đồng dựa trên oracle, 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 đã được định nghĩa trước. DLC đảm bảo an toàn cho việc gửi Bitcoin trong khi thực hiện các ứng dụng tài chính phi tập trung mới.

Phân tích trước đây cho thấy, DLC có ưu điểm trong việc bảo vệ quyền riêng tư, hợp đồng phức tạp, và rủi ro tài sản thấp, nhưng cũng tồn tại các vấn đề như rủi ro khóa, rủi ro niềm tin phi tập trung, và rủi ro thông đồng. Để giải quyết những vấn đề này, có thể đưa vào các oracle phi tập trung, chữ ký ngưỡng, và cơ chế thách thức lạc quan. 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à tinh tế.

Trong Bitcoin, mọi hành động cần phải được thực hiện thông qua UTXO. Do đó, việc sử dụng cơ chế đồng thuận để đảm bảo UTXO đúng sẽ chống lại mọi cuộc tấn công. Tương tự, trong DLC, tất cả hành động được thực hiện thông qua hợp đồng CET( để thực hiện giao dịch ). Sử dụng cơ chế thách thức lạc quan để đảm bảo CET đúng sẽ có thể chống lại mọi cuộc tấn công. Cụ thể, oracle chỉ có thể ký CET sau khi đã đặt cọc. 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 ứng phó với thách thức, thì CET đúng, có thể hoàn tất thanh toán, oracle sẽ giải phóng cọc và nhận phí giao dịch; nếu oracle cố gắng làm điều xấu, 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 đặt cọc và không thể ký vào CET đó nữa. Phương pháp này đơn giản và hiệu quả, mang tính thẩm mỹ giản dị.

Nguyên lý DLC

Alice và Bob ký kết thỏa thuận cược, đặt cược vào tính chẵn lẻ của một giá trị băm khối nào đó. Thông qua oracle truyền tải thông tin khối để xây dựng chữ ký điều kiện, giúp bên thắng đúng nhận được tất cả tài sản.

Quá trình bao gồm: đầu tư giao dịch ( trên chuỗi ), xây dựng CET ( ngoài chuỗi ), thanh toán ( từ ngoài chuỗi lên chuỗi ) và rút tiền ( trên chuỗi ). Nghiên cứu cho thấy, chỉ cần sử dụng cơ chế thách thức lạc quan để đảm bảo CET chính xác, 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 và 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 các hành vi độc hại.

OP-DLC 2

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

1. Oracle được cấu thành từ các liên minh, bất kỳ thành viên nào cũng có thể ký CET. Chỉ sau khi đặt cọc mới có thể phát hành chữ ký để kiếm phí giao dịch. Kẻ xấu sẽ mất số tiền đã đặt cọc, các thành viên khác có thể tiếp tục ký CET để đảm bảo người dùng rút tiền.

2. Khi oracle thực hiện hành vi xấu, bất kỳ bên tham gia nào cũng có thể khởi xướng thách thức.

3. Khi oracle ký xác thực CET một cách trung thực, không ai có thể khởi xướng thách thức hợp lệ. Sau một tuần, CET có thể được thanh toán đúng cách, oracle sẽ nhận được phần thưởng.

4. Bất kỳ ai cũng có thể thách thức chữ ký của oracle. Chữ ký trung thực không thể bị thách thức, sẽ thực hiện thanh toán sau một tuần; chữ ký không trung thực sẽ bị thách thức thành công, oracle sẽ mất tiền đặt cọc và mất quyền ký lại.

5. Thách thức trong OP-DLC là không cần giấy phép, bất kỳ bên tham gia nào cũng có thể giám sát việc thực hiện hợp đồng. Đã đạt được sự tối thiểu hóa niềm tin vào oracle.

Ưu điểm của OP-DLC bao gồ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
• Oracle được xác định khi nạp tiền, người dùng có thể trở thành Oracle

Những nhược điểm bao gồm:

• Thời gian rút tiền cần một tuần
• Số lượng cần 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à các oracle ác ý sẽ bị trừng phạt, trong khi CET đúng sẽ được thực hiện và oracle sẽ nhận được phần thưởng. Phương pháp này có thể chống lại các cuộc tấn công tùy ý, thể hiện vẻ đẹp của sự đơn giản.