OP-DLC 2: Sự thật thường đơn giản

1. Giới thiệu

Hợp đồng Log riêng tư (DLC) là một khuôn khổ 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 đã định trước. DLC đảm bảo an toàn cho tiền 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 đó đã xem xét những lợi thế và vấn đề mà DLC phải đối mặt, đồng thời đưa ra một số giải pháp. Tuy nhiên, các chiến lược phòng thủ phức tạp không hoàn hảo, thiếu sự đơn giản và đẹp đẽ.

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

2. Nguyên lý DLC

Lấy ví dụ về việc Alice và Bob đặt cược vào tính chẵn lẻ của giá trị băm khối để giải thích nguyên lý DLC. Các bước chính bao gồm giao dịch đặt cược, xây dựng CET, thanh toán và rút tiền.

Phát hiện quan trọng: Mọi hành vi đều cần được thực hiện thông qua CET. Do đó, 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 và ngăn chặn thực hiện, còn CET đúng sẽ được thực hiện. Oracle cần phải chịu chi phí cho hành vi ác ý.

3. OP-DLC 2

OP-DLC bao gồm 5 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. Phải đặt cọc thì mới có thể phát hành chữ ký để kiếm phí giao dịch.

2. Khi oracle thực hiện hành vi xấu, bất kỳ ai 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, sau 1 tuần có thể thanh toán đúng và nhận phần thưởng.

4. Bất kỳ ai cũng có thể thách thức Oracle_sign. Chữ ký trung thực sẽ được thực hiện thanh toán sau 1 tuần, chữ ký không trung thực sẽ bị trừng phạt.

5. Thách thức trong OP-DLC là không cần giấy 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:

• 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ũng có thể trở thành Oracle

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

4. Kết luận

OP-DLC đưa cơ chế thách thức lạc quan vào CET, đảm bảo thực hiện đúng và trừng phạt hành vi độc hại. Phương pháp này có thể chống lại bất kỳ cuộc tấn công nào, thể hiện vẻ đẹp của sự đơn giản.