OP-DLC 2: Sự thật thường đơn giản

Năm 2018, Tadge Dryja từ MIT đã đề xuất Hợp đồng Đăng ký Đặc biệt (DLC), đây là một khuôn khổ thực hiện hợp đồng dựa trên oracle. 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 xác định trước. Hai bên xác định trước các kết quả có thể xảy ra và thực hiện ký trước, sau đó sử dụng các chữ ký trước này để thực hiện thanh toán khi oracle ký kết quả. DLC đạt được các ứng dụng tài chính phi tập trung mới trong khi vẫn đảm bảo an toàn cho tiền gửi Bitcoin.

Trước đó, bài viết "Phân tích nguyên lý DLC và suy nghĩ tối ưu hóa" đã tóm tắt những ưu điểm và vấn đề tồn tại của DLC, đồ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, các cuộc tấn công thông đồng giữa các bên khác nhau khá phức tạp, dẫn đến các chiến lược phòng ngừa cũng tương đối phức tạp. Các chiến lược phòng thủ phức tạp không phải là hoàn hảo, thiếu vẻ đẹp đơn giản.

Trong Bitcoin, mọi hành động đều cần được thực hiện thông qua UTXO. Do đó, việc đảm bảo UTXO chính xác thông qua cơ chế đồng thuận có thể chống lại mọi cuộc tấn công. Tương tự, trong DLC, tất cả các hành động đều được thực hiện thông qua CET(Contract Execution Transaction). Chỉ cần 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 mọi cuộc tấn công. Cụ thể, oracle cần đặt cọc 2BTC 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 đối phó thành công với thách thức, thì coi như chính xác, có thể hoàn tất thanh toán, oracle sẽ giải phóng tiền đặt cọc và nhận phí dịch vụ. 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 đó nữa. Phương pháp này đơn giản và hiệu quả, thể hiện trí tuệ của sự đơn giản.

Nguyên lý DLC

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

Quy trình cơ bản của DLC bao gồm:

1. Giao dịch góp vốn: Alice và Bob mỗi người gửi 10BTC vào địa chỉ đa chữ ký 2-of-2.

2. Xây dựng CET: Tạo ra hai kết quả có thể của CET.

3. Oracle tính toán cam kết và tạo ra khóa công mới cho Alice và Bob.

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

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

Nghiên cứu cho thấy, mọi hành động trong DLC đều phải được thực hiện thông qua CET. Chỉ cần đảm bảo CET đúng bằng cơ chế thách thức lạc quan, 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. Oracle cần phải trả giá cho hành động ác ý.

OP-DLC 2

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

1. Oracle được cấu thành từ một liên minh, bất kỳ thành viên nào cũng có thể ký CET. Phải đặt cọc 2BTC mới có thể ký để kiếm phí giao dịch. Những kẻ xấu sẽ mất tiền đặt cọc. Alice và Bob cũng có thể trở thành oracle, thực hiện tối thiểu hóa sự tin cậy.

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

3. Khi oracle ký CET một cách trung thực, có thể thanh toán chính xác 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 chữ ký của oracle. Chữ ký trung thực sẽ được thực hiện thanh toán sau 1 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ẽ bị vô hiệu sau khi bị thách thức thành công, oracle sẽ mất đặt cọc và không thể thực hiện chữ ký với kết quả tương tự đối với 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 việc thực hiện hợp đồng. Đã đạt được sự tối thiểu hóa niềm tin vào các oracle. Alice và Bob có thể hoạt động ngoại tuyến, vì các oracle xấu sẽ bị trừng phạt.

Ư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 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ũ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 1 tuần
• Số lượng chữ ký cần ký trước tăng theo CET theo tỷ lệ tuyến tính.

Kết luận

OP-DLC đã đưa cơ chế thách thức lạc quan vào CET, đảm bảo việc thực hiện CET chính xác, không thanh toán CET sai. Phương pháp đơn giản và hiệu quả này có thể chống lại các cuộc tấn công bất kỳ, thể hiện vẻ đẹp thiết kế giản dị.