OP-DLC 2: Sự thật luôn đơn giản

Hợp đồng nhật ký kín (DLC) là một khung thực thi 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 đạ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 tiền gửi Bitcoin.

Bài viết này sẽ phân tích cách hoạt động của DLC và đề xuất một giải pháp cải tiến mang tên OP-DLC 2. Giải pháp này thông qua việc giới thiệu cơ chế thách thức lạc quan trong giao dịch hợp đồng (CET), hiệu quả ngăn chặn các cuộc tấn công khác nhau, đồng thời duy trì tính đơn giản của thiết kế.

Nguyên lý DLC

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

Các bước chính bao gồm:

1. Giao dịch góp vốn: Alice và Bob mỗi người khóa 10 BTC vào một đầu ra đa chữ ký.

2. Xây dựng CET: Tạo hai hợp đồng thực hiện giao dịch, tương ứng với các kết quả khác nhau.

3. Tính toán oracle: Tạo cam kết và chữ ký.

4. Thanh toán: Oracle ký kết CET tương ứng dựa trên kết quả thực tế.

5. Rút tiền: Bên thắng tính toán khóa riêng mới và rút tiền.

Nghiên cứu cho thấy, bất kỳ hành vi nào trong DLC đều cần được thực hiện thông qua CET. Do đó, chỉ cần đảm bảo CET đúng, có thể chống lại nhiều loại tấn công. CET sai sẽ bị thách thức và không thể thực hiện, trong khi CET đúng sẽ được thực hiện.

OP-DLC 2

OP-DLC 2 bao gồm các quy định cốt lõi sau:

1. Oracle được cấu thành từ các liên minh, cần phải đặt cọc để ký tên.

2. Bất kỳ ai cũng có thể thách thức một oracle xấu.

3. CET được ký kết một cách trung thực có thể được thanh toán sau một tuần, và oracle sẽ nhận được phần thưởng.

4. Cơ chế thách thức là không cần phép, bất kỳ ai cũng có thể giám sát việc thực hiện hợp đồng.

5. Người dùng cũng có thể trở thành oracle, đạt được quyền kiểm soát hoàn toàn đối với tài sản của mình.

Thiết kế này có những ưu điểm sau:

• Người dùng có quyền kiểm soát tài sản cao, chỉ cần tin tưởng vào bản thân.
• Tỷ lệ sử dụng vốn cao
• Oracle được xác định khi nạp tiền, nhưng người dùng có thể tự trở thành Oracle.

Nhược điểm chính là:

• Rút tiền cần thời gian chờ 1 tuần.
• Số lượng chữ ký trước có mối quan hệ tuyến tính với số lượng CET

Kết luận

OP-DLC 2 thông qua việc giới thiệu cơ chế thách thức lạc quan trong CET, đảm bảo rằng CET sai không được thực hiện, đồng thời trừng phạt các oracle độc hại. Thiết kế đơn giản này có thể chống lại hiệu quả các cuộc tấn công khác nhau, thể hiện tư tưởng "Đại đạo chi giản".