OP-DLC 2: Đại Đạo Chí Giản

Giới thiệu

Hợp đồng Log ẩn danh (DLC) là một khung thực hiện hợp đồng dựa trên oracle, cho phép các 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. Tuy nhiên, DLC cũng phải đối mặt với một số vấn đề, chẳng hạn như rủi ro khóa, rủi ro niềm tin phi tập trung và rủi ro thông đồng.

Trong Bitcoin, hành vi của bất kỳ bên tham gia nào đều cần đượ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ẽ có khả năng chống lại bất kỳ cuộc tấn công nào. Tương tự, trong DLC, tất cả các hành vi đều đượ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 sẽ có khả năng chống lại bất kỳ cuộc tấn công nào. Cụ thể, sau khi oracle đặt cược 2BTC, nó 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 đối phó với thách thức, thì CET là đúng, có thể hoàn thành việc thanh toán, oracle 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ành công thách thức, 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 cùng một lần nữa. Điều này phù hợp với nguyên tắc đơn giản hóa triết lý, mang tính đơn giản và đẹp.

Nguyên lý DLC

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

Các bước chính của DLC bao gồm: giao dịch nạp vốn, 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 trong DLC đều cần được thực hiện thông qua CET. Do đó, chỉ cần sử dụng cơ chế thử thách lạc quan để đảm bảo CET chính xác, có thể chống lại các cuộc tấn công tùy ý. 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 vi độc hại.

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. Sau khi đặt cọc 2BTC, oracle mới có thể phát hành chữ ký để kiếm phí giao dịch. Thành viên gây hại sẽ mất số tiền đặt cọc. Alice và Bob cũng có thể trở thành oracle, chỉ tin tưởng vào bản thân.

2. Nếu oracle làm xấu 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. Khi oracle ký kết CET một cách trung thực, có thể thanh toán đúng sau 1 tuần. Oracle nhận được phần thưởng 0.05BTC.

4. Bất kỳ ai cũng có thể thách thức Oracle_sign. Chữ ký trung thực sẽ được giải quyết sau 1 tuần, oracle sẽ mở khóa tài sản thế chấp và nhận phí giao dịch. Chữ ký không trung thực dẫn đến mất mát tài sản thế chấp, và oracle đó sẽ không thể thực hiện chữ ký với kết quả tương tự cho hợp đồng DLC này.

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 việc tối thiểu hóa lòng tin vào oracle.

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

• Chế độ kiểm soát tài sản cao, người dùng chỉ tin tưởng vào bản thân.
• Tỷ lệ sử dụng vốn cao
• Oracle có thể ký xác định khi nạp tiền, 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 1 tuần
• Số lượng chữ ký cần được ký trước đang tăng nhanh.

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 hại sẽ mất tiền đặt cọc, CET đúng sẽ được thực thi và oracle sẽ mở khóa tiền đặt cọc và nhận phí giao dịch. Cách 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.