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

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

Trước đó đã tóm tắt những lợi ích và vấn đề mà DLC phải đối mặt, và đưa ra một số giải pháp tối ưu. Tuy nhiên, do DLC liên quan đến nhiều bên tham gia, các chiến lược phòng thủ tương đối phức tạp. Để theo đuổi vẻ đẹp của sự đơn giản, chúng ta cần trở về bản chất: trong Bitcoin, bất kỳ hành động nào đều phải được thực hiện thông qua UTXO. Tương tự, các 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 tính chính xác của CET, có thể chống lại nhiều loại tấn công.

Cụ thể, chúng ta có thể 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. Oracle cần đặt cọc 2BTC để ký 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, thì được coi là chính xác và có thể thực hiện thanh toán, oracle sẽ giải tỏa đặt cọc và nhận phí giao dịch. Nếu oracle cố gắng làm điều xấu, bất kỳ ai cũng có thể khởi xướng thách thức, dẫn đến CET không thể thanh toán, oracle mất tiền đặt cọc và mất quyền ký CET đó. Cơ chế này đơn giản và hiệu quả, phù hợp với triết lý "Đại đạo chí giản".

Nguyên lý DLC

Lấy ví dụ Alice và Bob cá cược về tính chẵn lẻ của một giá trị băm khối, để giải thích nguyên lý cơ bản của DLC:

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

2. Xây dựng CET: Hai bên tạo ra hai CET, tương ứng với hai kết quả khác nhau.

3. Thanh toán: Oracle ký hợp đồng CET tương ứng dựa trên kết quả thực tế.

4. Rút tiền: Bên thắng tính toán ra khóa riêng mới và rút toàn bộ 20BTC.

Chìa khóa ở đây là, tất cả các hành động đều được thực hiện thông qua CET. Do đó, chỉ cần đảm bảo tính chính xác của CET, có thể ngăn chặn các cuộc tấn công khác nhau. CET sai sẽ bị thách thức và không được thực thi, trong khi CET chính xác sẽ được thực thi. Đồng thời, oracle cần phải trả giá cho các hành vi á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 2BTC để có thể ký và kiếm phí giao dịch.

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

3. Nếu oracle ký xác thực, CET có thể thanh toán sau một tuần, 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:

   • Nếu trung thực, thì CET sẽ được thanh toán bình thường, oracle sẽ mở khóa staking và nhận phí giao dịch
   • Nếu không trung thực, chữ ký này sẽ không hợp lệ, oracle sẽ mất tiền đặt cọc và không còn quyền ký lại.

5. Cơ chế thách thức không cần sự cho phép, bất kỳ ai cũng có thể giám sát việc thực hiện hợp đồng, đạt được sự tin tưởng tối thiểu vào oracle.

Ưu điểm chính của OP-DLC:

• Chế độ kiểm soát tài sản cao, người dùng chỉ có thể tin tưởng vào bản thân mình.
• Tỷ lệ sử dụng vốn cao, không cần phải ứng trước số tiền tương đương.
• Oracle cần được xác định khi nạp tiền, nhưng người dùng có thể trở thành oracle.

Những nhược điểm chính:

• Xuất tiền cần chờ đợi thời gian thử thách một tuần
• Số lượng tiền ký trước tăng trưởng tuyến tính với số lượng CET

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 rằng CET sai không bị thanh toán và các oracle độc hại sẽ bị trừng phạt, đồng thời đảm bảo CET đúng được thực hiện. Phương pháp đơn giản và hiệu quả này có thể chống lại nhiều loại tấn công, thể hiện tư tưởng thiết kế "đại đạo chí giản".