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

1. Giới thiệu

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 đạt được 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.

Phần trước đã phân tích những lợi thế và vấn đề mà DLC gặp phải, đồng thời đưa ra một số ý tưởng 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 Bitcoin, mọi hành động đều được thực hiện thông qua UTXO. Tương tự, mọi hành động trong DLC đều được thực hiện thông qua CET(Contract Execution Transaction). Do đó, chỉ cần đả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à 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ó thể hoàn thành thanh toán, oracle sẽ giải tỏa đặt cọc và nhận phí giao dịch; nếu oracle phạm tội, 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. Thiết kế này đơn giản và thanh lịch.

2. Nguyên lý DLC

Lấy một cược đơn giản làm ví dụ để giải thích nguyên lý DLC: Alice và Bob cược vào tính chẵn lẻ của giá trị băm của khối thứ ξ. Nếu là số lẻ, Alice thắng; nếu là số chẵn, Bob thắng. DLC truyền thông tin khối qua oracle, xây dựng chữ ký điều kiện để bên đúng thắng.

Quy trình cụ thể bao gồm: giao dịch đầu tư, xây dựng CET, thanh toán và rút tiền. 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 đú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, CET đúng sẽ được thực hiện. Ngoài ra, oracle cần phải trả giá cho hành vi ác ý.

3. 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. Cần phải đặt cọc để có thể ký và kiếm phí giao dịch, nếu làm điều xấu sẽ mất khoản đặt cọc.

2. Nếu oracle làm sai và sửa đổi kết quả, bất kỳ ai cũng có thể khởi xướng thách thức.

3. CET được ký bởi oracle trung thực có thể thanh toán sau một tuần và nhận được thưởng.

4. Bất kỳ ai cũng có thể thách thức chữ ký của oracle. Nếu thách thức thành công, chữ ký đó sẽ không còn hiệu lực, oracle sẽ mất tiền đặt cọc.

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ần được xác định khi nạp tiền, nhưng 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 chữ ký cần 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 rằng CET không chính xác sẽ không được thanh toán, trong khi CET chính xác sẽ được thực hiện. Cách này có thể chống lại mọi cuộc tấn công, thiết kế đơn giản và tinh tế.