OP-DLC 2: Đạo lớn đến giản

Giới thiệu

Hợp đồng logarit rời rạc (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. Hai bên xác định trước các kết quả có thể và ký trước, khi oracle ký kết quả, sử dụng các chữ ký trước đó để thực hiện thanh toán. DLC đạt đượ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.

Phân tích trước đây đã tóm tắt những lợi thế và vấn đề mà DLC phải đối mặt, đồng thời đưa ra một số ý tưởng tối ưu hóa. Tuy nhiên, do DLC liên quan đến nhiều bên tham gia, nên chiến lược phòng ngừa khá phức tạp. Chiến lược phòng ngừa phức tạp không phải là hoàn hảo và thiếu sự đơn giản.

Trong Bitcoin, mọi hành động cần được thực hiện thông qua UTXO. Do đó, đảm bảo UTXO chính xác có thể chống lại các cuộc tấn công. Tương tự, mọi hành động trong DLC đượ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 chính xác, có thể chống lại bất kỳ cuộc tấn công nào. Cụ thể, oracle phải được đặt cọc trước khi 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 đối mặt với thách thức, thì CET là chính xác, có thể hoàn thành việc thanh toán, oracle sẽ giải phóng tiền đặt cọc và nhận phí giao dịch; nếu oracle làm điều ác, 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à thanh lịch.

Nguyên lý DLC

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

DLC chủ yếu liên quan đến 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, bất kỳ hành động nào cũng cần phải đượ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 là 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. Ngoài ra, oracle cần phải chịu chi phí cho các hành động ác ý.

OP-DLC 2

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

1. Oracle được cấu thành từ liên minh, bất kỳ thành viên nào cũng có thể ký CET. Cần phải staking để phát hành chữ ký và kiếm phí giao dịch. Hành vi xấu sẽ làm mất khoản staking.

2. Nếu oracle gian lận và sửa đổi kết quả, bất kỳ bên tham gia nào cũng có thể khởi xướng thách thức.

3. Nếu oracle ký xác nhận CET một cách trung thực, sẽ không ai có thể khởi xướng thách thức hiệu quả. Sau một tuần, CET có thể được thanh toán chính xác, 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 thành công, sẽ được thực hiện và 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ý hợp đồng đó.

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 hợp đồng có được thực hiện đúng hay không, nhằm đạt được mức độ tin cậy tối thiểu đối với oracle.

Ưu điểm của OP-DLC bao gồm:

• Quyền 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 linh hoạt, người dùng có thể trở thành oracle

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

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