OP-DLC 2: Những chân lý vĩ đại luôn đơn giản.

1. Giới thiệu

Vào năm 2018, Tadge Dryja từ Viện Công nghệ Massachusetts đã đề xuất một khung thực hiện hợp đồng dựa trên oracle - Discreet Log Contract (DLC). Khung này 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 xác định trước, thông qua việc xác định trước các kết quả có thể và thực hiện ký trước, khi oracle ký kết quả thì thực hiện thanh toán. DLC không chỉ đảm bảo an toàn cho khoản tiền gửi Bitcoin mà còn mở ra những khả năng mới cho các ứng dụng tài chính phi tập trung.

Nghiên cứu trước đây đã tổng hợp những ưu điểm của DLC trong việc bảo vệ quyền riêng tư, hợp đồng phức tạp và rủi ro tài sản, đồng thời chỉ ra những vấn đề mà nó phải đối mặt như rủi ro khóa, rủi ro niềm tin phi tập trung và rủi ro thông đồng. Để giải quyết những vấn đề này, các nhà nghiên cứu đã cố gắng giới thiệu các giải pháp như oracle phi tập trung, chữ ký ngưỡng và cơ chế thách thức lạc quan. Tuy nhiên, do DLC liên quan đến nhiều bên tham gia, các chiến lược phòng thủ trở nên phức tạp, không phù hợp với nguyên tắc "đại đạo chí giản".

Trong hệ thống Bitcoin, hành vi của tất cả các bên tham gia được thực hiện thông qua UTXO. Do đó, đảm bảo tính chính xác của UTXO có thể chống lại mọi cuộc tấn công. Tương tự, trong DLC, tất cả hành vi được hoàn thành thông qua CET (giao dịch thực hiện hợp đồng). Bằng cách giới thiệu cơ chế thách thức lạc quan để đảm bảo tính chính xác của CET, có thể hiệu quả phòng ngừa các cuộc tấn công khác nhau. Cụ thể, oracle cần đặt cọc 2BTC để ký CET 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 đối phó thành công với thách thức, nó sẽ được coi là đúng và hoàn tất thanh toán, oracle sẽ giải phóng tiền đặt cọc và nhận phí giao dịch. Ngược lại, nếu oracle làm điều ác, bất kỳ ai cũng có thể thách thức thành công, dẫn đến CET không thể thanh toán, oracle mất tiền đặt cọc và mất quyền ký vào CET đó. Cơ chế đơn giản nhưng hiệu quả này thể hiện triết lý thiết kế "Đại đạo chí giản".

2. Nguyên lý DLC

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

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

1. Giao dịch đầu tư: Alice và Bob cùng nhau tạo ra giao dịch đầu tư, mỗi người khóa 10BTC trong đầu ra ký nhiều.

2. Xây dựng CET: Hai bên tạo ra CET1 và CET2 để sử dụng cho giao dịch chi tiêu vốn.

3. Tính toán oracle: Tính toán oracle cam kết và các tham số liên quan.

4. Thanh toán: Dựa trên giá trị băm của khối thứ ξ, oracle ký kết CET tương ứng.

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

Nghiên cứu cho thấy, tất cả các hành vi trong DLC đều 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 tính chính xác của CET, 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à ngăn chặn thực hiện, trong khi CET đúng sẽ được thực hiện. Thêm vào đó, oracle cần phải trả giá cho hành vi độc hại.

3. OP-DLC 2

OP-DLC bao gồm năm quy định chính sau đây:

1. Máy dự đoán được tạo thành từ các liên minh, bất kỳ thành viên nào cũng có thể ký CET. Máy dự đoán cần phải đặt cọc 2BTC để có thể phát hành chữ ký và kiếm hoa hồng. Kẻ xấu sẽ mất số tiền đặt cọc. Alice và Bob cũng có thể trở thành máy dự đoán, đạt được mức độ tin cậy tối thiểu.

2. Nếu oracle làm xấu thay đổ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. CET được ký kết trung thực có thể được thanh toán đúng sau một tuần. Oracle nhận được phần thưởng 0.05BTC như một khoản bồi 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 sẽ được thực hiện thanh toán sau một tuần, oracle sẽ mở khóa đặt cọc và nhận phí giao dịch. Chữ ký không trung thực sẽ dẫn đến việc oracle mất đặt cọc và không thể phát động chữ ký với kết quả tương tự cho hợp đồng DLC đó.

5. Thách thức trong OP-DLC là không cần sự cho phép, bất kỳ bên tham gia nào cũng có thể giám sát tính chính xác của việc thực hiện hợp đồng, đạt được sự tối thiểu hóa niềm tin vào oracle. So với mạng lưới lightning, Alice và Bob có thể ngoại tuyến, vì chỉ có chữ ký trung thực mới thanh toán CET, trong khi oracle gian lận sẽ bị trừng phạt.

Các ư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ỉ có thể tin tưởng vào chính mình.
• Tỷ lệ sử dụng vốn cao, người dùng không cần phải chờ vốn tương ứng để ứng trước.
• Oracle có thể ký được xác định khi nạp tiền, người dùng có thể trở thành oracle.

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

• Thời gian rút tiền cần một tuần.
• Số lượng chữ ký trước có mối quan hệ tuyến tính với số lượng CET, tăng trưởng khá nhanh.

4. Kết luận

OP-DLC thông qua việc giới thiệu cơ chế thách thức lạc quan trong CET, đảm bảo việc thực thi CET đúng cách và ngăn chặn CET sai, đồng thời trừng phạt các oracle ác ý. Thiết kế này có khả năng chống lại nhiều loại tấn công, thể hiện giải pháp đơn giản và thanh lịch.