DLC(Hợp đồng đăng ký ẩn danh ) là một khung thực hiện hợp đồng dựa trên oracle, được các nhà nghiên cứu tại Viện Công nghệ Massachusetts đề xuất vào năm 2018. Nó 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 trước, đồng thời bảo đảm an toàn cho khoản tiền gửi Bitcoin, mở ra các ứng dụng tài chính phi tập trung mới.
DLC mặc dù có ưu điểm trong việc bảo vệ quyền riêng tư, thực thi hợp đồng phức tạp, nhưng vẫn tồn tại các vấn đề như rủi ro khóa, rủi ro tin cậy phi tập trung, rủi ro thông đồng. Để đối phó với những thách thức này, một số nhà nghiên cứu đã đề xuất việc đưa vào các oracle phi tập trung, chữ ký ngưỡng, cơ chế thách thức lạc quan. Tuy nhiên, những chiến lược phòng thủ này tương đối phức tạp, thiếu sự đơn giản và đẹp mắt.
Trong hệ thống Bitcoin, hành vi của bất kỳ bên tham gia nào cũng cần được thực hiện thông qua UTXO. Do đó, chỉ cần đảm bảo tính chính xác của UTXO, có thể chống lại các loại tấn công khác nhau. Tương tự, trong DLC, tất cả các hoạt động đều được hoàn thành thông qua CET(Contract Execution Transaction). Nếu có thể đảm bảo tính chính xác của CET thông qua cơ chế thách thức lạc quan, có thể phòng ngừa hiệu quả các loại tấn công.
Cụ thể, oracle cần ký quỹ 2BTC để ký CET. Trong CET có cơ chế thách thức lạc quan: nếu CET không bị thách thức hoặc thành công trong việc đối phó với thách thức, thì được xem là đúng và có thể thực hiện thanh toán, oracle sẽ giải phóng ký quỹ và nhận phí giao dịch; nếu oracle cố gắng 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 sẽ mất ký quỹ và mất quyền ký trên CET đó. Thiết kế này đơn giản, tinh tế, phù hợp với triết lý "Đại đạo chí giản".
Cách hoạt động của DLC
Lấy ví dụ Alice và Bob ký một thỏa thuận cá cược đơn giản: cược vào tính chẵn lẻ của giá trị băm khối ξ. 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, tạo ra chữ ký điều kiện, đảm bảo rằng bên thắng cuộc đúng nhận toàn bộ tài sản.
Các bước chính bao gồm:
Giao dịch đầu tư: Alice và Bob mỗi người khóa 10BTC vào đầu ra ký nhiều chữ ký
Xây dựng CET: Tạo giao dịch với hai kết quả khả thi
Máy ước tính cam kết và tạo chữ ký
Thanh toán: Oracle ký hợp đồng CET tương ứng dựa trên kết quả thực tế.
Rút tiền: Bên thắng sử dụng khóa riêng mới để rút 20BTC
Nghiên cứu phát hiện rằng, 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ể phòng ngừa 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 hiện, CET đúng thì sẽ được thực hiện. Đồng thời, oracle cần phải chịu trách nhiệm cho các hành vi ác ý.
DLC nâng cao 2.0
DLC nâng cao bao gồm các quy định chính sau:
Oracle được hình thành từ một liên minh, bất kỳ thành viên nào cũng có thể ký CET. Cần phải đặt cọc 2BTC để phát hành chữ ký và nhận phí giao dịch. Hành vi xấu sẽ làm mất cọc. Người dùng cũng có thể trở thành oracle, đạt được sự tối thiểu hóa niềm tin.
Khi oracle thực hiện các sửa đổi sai trái, bất kỳ ai cũng có thể khởi xướng thách thức.
CET được ký bởi oracle trung thực, có thể thanh toán đúng sau 1 tuần. Oracle nhận được phần thưởng 0.05BTC.
Bất kỳ ai cũng có thể thách thức việc ký của oracle:
Nếu chữ ký trung thực, sẽ thực hiện thanh toán sau 1 tuần, oracle sẽ mở khóa tài sản đã đặt cọc và nhận phí giao dịch.
Nếu chữ ký không trung thực, thách thức thành công, oracle sẽ mất tiền ký quỹ và không thể ký hợp đồng với kết quả tương tự.
Cơ chế thách thức mở cho tất cả mọi người, đạt được sự tin tưởng tối thiểu đối với oracle. Người dùng có thể hoạt động ngoại tuyến, vì oracle xấu sẽ bị trừng phạt.
Ưu điểm của DLC nâng cao 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, không cần phải ứng trước số vốn bằng nhau
Oracle được 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:
Rút tiền cần 1 tuần
Số lượng đã ký trước tăng trưởng theo tuyến tính với số lượng CET
Kết luận
DLC tăng cường đã đư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à phạt những oracle độc hại, đồng thời đảm bảo CET đúng được thực hiện và thưởng cho oracle trung thực. Thiết kế này đơn giản và hiệu quả, có khả năng chống lại mọi loại tấn công, thể hiện vẻ đẹp của sự đơn giản.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
DLC nâng cao: Thiết kế đơn giản hỗ trợ nâng cấp an toàn hợp đồng thông minh Bitcoin
DLC nâng cao: Con đường tối giản
DLC(Hợp đồng đăng ký ẩn danh ) là một khung thực hiện hợp đồng dựa trên oracle, được các nhà nghiên cứu tại Viện Công nghệ Massachusetts đề xuất vào năm 2018. Nó 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 trước, đồng thời bảo đảm an toàn cho khoản tiền gửi Bitcoin, mở ra các ứng dụng tài chính phi tập trung mới.
DLC mặc dù có ưu điểm trong việc bảo vệ quyền riêng tư, thực thi hợp đồng phức tạp, nhưng vẫn tồn tại các vấn đề như rủi ro khóa, rủi ro tin cậy phi tập trung, rủi ro thông đồng. Để đối phó với những thách thức này, một số nhà nghiên cứu đã đề xuất việc đưa vào các oracle phi tập trung, chữ ký ngưỡng, cơ chế thách thức lạc quan. Tuy nhiên, những chiến lược phòng thủ này tương đối phức tạp, thiếu sự đơn giản và đẹp mắt.
Trong hệ thống Bitcoin, hành vi của bất kỳ bên tham gia nào cũng cần được thực hiện thông qua UTXO. Do đó, chỉ cần đảm bảo tính chính xác của UTXO, có thể chống lại các loại tấn công khác nhau. Tương tự, trong DLC, tất cả các hoạt động đều được hoàn thành thông qua CET(Contract Execution Transaction). Nếu có thể đảm bảo tính chính xác của CET thông qua cơ chế thách thức lạc quan, có thể phòng ngừa hiệu quả các loại tấn công.
Cụ thể, oracle cần ký quỹ 2BTC để ký CET. Trong CET có cơ chế thách thức lạc quan: nếu CET không bị thách thức hoặc thành công trong việc đối phó với thách thức, thì được xem là đúng và có thể thực hiện thanh toán, oracle sẽ giải phóng ký quỹ và nhận phí giao dịch; nếu oracle cố gắng 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 sẽ mất ký quỹ và mất quyền ký trên CET đó. Thiết kế này đơn giản, tinh tế, phù hợp với triết lý "Đại đạo chí giản".
Cách hoạt động của DLC
Lấy ví dụ Alice và Bob ký một thỏa thuận cá cược đơn giản: cược vào tính chẵn lẻ của giá trị băm khối ξ. 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, tạo ra chữ ký điều kiện, đảm bảo rằng bên thắng cuộc đúng nhận toàn bộ tài sản.
Các bước chính bao gồm:
Nghiên cứu phát hiện rằng, 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ể phòng ngừa 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 hiện, CET đúng thì sẽ được thực hiện. Đồng thời, oracle cần phải chịu trách nhiệm cho các hành vi ác ý.
DLC nâng cao 2.0
DLC nâng cao bao gồm các quy định chính sau:
Oracle được hình thành từ một liên minh, bất kỳ thành viên nào cũng có thể ký CET. Cần phải đặt cọc 2BTC để phát hành chữ ký và nhận phí giao dịch. Hành vi xấu sẽ làm mất cọc. Người dùng cũng có thể trở thành oracle, đạt được sự tối thiểu hóa niềm tin.
Khi oracle thực hiện các sửa đổi sai trái, bất kỳ ai cũng có thể khởi xướng thách thức.
CET được ký bởi oracle trung thực, có thể thanh toán đúng sau 1 tuần. Oracle nhận được phần thưởng 0.05BTC.
Bất kỳ ai cũng có thể thách thức việc ký của oracle:
Cơ chế thách thức mở cho tất cả mọi người, đạt được sự tin tưởng tối thiểu đối với oracle. Người dùng có thể hoạt động ngoại tuyến, vì oracle xấu sẽ bị trừng phạt.
Ưu điểm của DLC nâng cao bao gồm:
Nhược điểm bao gồm:
Kết luận
DLC tăng cường đã đư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à phạt những oracle độc hại, đồng thời đảm bảo CET đúng được thực hiện và thưởng cho oracle trung thực. Thiết kế này đơn giản và hiệu quả, có khả năng chống lại mọi loại tấn công, thể hiện vẻ đẹp của sự đơn giản.