OP-DLC 2: Chân lý ẩn chứa trong sự đơ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 đã định trước. 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 tiền gửi Bitcoin.

DLC tồn tại rủi ro về khóa, rủi ro về niềm tin phi tập trung, rủi ro về âm mưu và các vấn đề khác. Việc đưa vào các oracle phi tập trung, chữ ký ngưỡng, cơ chế thách thức lạc quan có thể giải quyết những vấn đề này, nhưng chiến lược phòng thủ tương đối phức tạp.

Trong DLC, mọi hành động cần phải được thực hiện thông qua CET(Contract Execution Transaction). 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ể, sau khi oracle đặt cọc 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, thì được coi là đúng và hoàn tất quyết toán, oracle sẽ giải phóng tiền đặt cọc 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ể quyết toán, oracle sẽ mất tiền đặt cọc và không thể ký vào CET cùng một lần nữa. Cơ chế này đơn giản và hiệu quả.

Nguyên lý DLC

Quy trình cơ bản của DLC bao gồm một số bước như giao dịch nạp vốn, xây dựng CET, thanh toán và rút tiền. Mọi hành động đề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à không được thực hiện, trong khi CET đúng sẽ được thực hiện. Oracle cần phải trả giá cho hành vi ác ý.

OP-DLC 2

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

1. Oracle được cấu thành từ một liên minh, bất kỳ thành viên nào cũng có thể ký CET. Phải đặt cọc 2BTC mới có thể phát hành chữ ký để kiếm phí giao dịch. Hành vi xấu sẽ dẫn đến mất cọc.

2. Khi oracle thực hiện thay đổi sai trái, bất kỳ ai cũng có thể khởi xướng thách thức.

3. Oracle ký hợp đồng CET một cách trung thực, sau 1 tuần có thể thanh toán đúng và nhậ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 thanh toán sau 1 tuần, máy dự đoán nhận phí giao dịch; chữ ký không trung thực sẽ bị thách thức, máy dự đoán mất tiền đặt cọc.

5. Cơ chế thách thức 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, đạt được việc tối thiểu hóa sự tin tưởng vào oracle.

Ư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 bản thân mình
• Tỷ lệ sử dụng vốn cao
• Người dùng có thể trở thành oracle, ký tên cho chính mình

Nhược điểm:

• Thời gian rút tiền cần 1 tuần
• Số lượng tiền ký trước và số lượng CET tăng trưởng theo tỉ lệ tuyến tính

Kết luận

OP-DLC đã đư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 hại sẽ bị trừng phạt, CET đúng được thực thi và oracle nhận được phần thưởng. Cách đơn giản và hiệu quả này có thể chống lại bất kỳ cuộc tấn công nào.