Năm 2018, Tadge Dryja từ Viện Công nghệ Massachusetts đã đề xuất Hợp đồng Đăng ký Rời rạc (DLC), một khung 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 đ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 xác định trước các kết quả có thể và thực hiện ký trước, thanh toán sẽ được thực hiện khi oracle ký kết kết quả. 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.
Nghiên cứu trước đây đã phân tích những ưu điểm và vấn đề tồn tại của DLC, và đề xuất một số phương án tối ưu. Tuy nhiên, do DLC liên quan đến nhiều bên tham gia, chiến lược phòng thủ tương đối phức tạp, thiếu sự đơn giản và đẹp.
Trong hệ thống Bitcoin, tất cả các hành động đều được thực hiện thông qua UTXO. Do đó, việc đảm bảo tính chính xác của UTXO có thể chống lại bất kỳ cuộc tấn công nào. 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). 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 bất kỳ cuộc tấn công nào. Cụ thể, oracle phải đặt cược 2BTC trước khi 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 thành công trong việc đối phó với thách thức, nó sẽ được coi là chính xác và hoàn thành 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 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ý lại. Phương pháp này tuân theo nguyên tắc "Đại đạo chí giản", mang lại sự đơn giản và đẹp đẽ.
2. Nguyên lý DLC
Lấy một thỏa thuận cược đơn giản làm ví dụ: Alice và Bob đặt cược vào việc giá trị băm của khối thứ ξ là số lẻ hay số chẵn. Nếu là số lẻ, Alice thắng; nếu là số chẵn, Bob thắng. DLC truyền thông tin khối qua oracle, tạo ra chữ ký điều kiện, để bên đúng nhận được tất cả tài sản.
Các bước chính của DLC bao gồm: giao dịch vốn, xây dựng CET, thanh toán và rút tiền. Trong quá trình này, tất cả các hành động đề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 CET đúng, 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. Đồng thời, oracle cần phải trả giá cho các hành vi ác ý.
3. OP-DLC 2
OP-DLC bao gồm năm quy định chính sau đây:
Oracle được cấu thành từ các liên minh, bất kỳ thành viên nào cũng có thể ký CET. Oracle cần phải đặt cọc 2BTC để có thể phát hành chữ ký và kiếm phí giao dịch. Thành viên làm điều xấu sẽ mất khoản đặt cọc, các thành viên khác có thể tiếp tục ký CET để đảm bảo người dùng rút tiền. Người dùng cũng có thể trở thành Oracle, thực hiện việc tối thiểu hóa niềm tin.
Nếu oracle làm xấu và sửa đổ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.
Khi oracle ký xác thực CET một cách trung thực, không ai có thể khởi xướng thách thức hợp lệ. Sau một tuần, CET có thể được thanh toán chính xác, oracle nhận được 0.05BTC thưởng.
Bất kỳ ai cũng có thể thách thức Oracle_sign. Chữ ký trung thực không thể bị thách thức thành công, và sẽ được thực hiện thanh toán sau một tuần. Chữ ký không trung thực sẽ dẫn đến việc oracle bị mất thế chấp và mất quyền ký lại trên hợp đồng DLC đó.
Thách thức trong OP-DLC là không cần giấy phép, bất kỳ bên tham gia nào cũng có thể giám sát việc thực hiện hợp đồng. Điều này đạt được sự tối thiểu hóa niềm tin vào oracle, người dùng cũng có thể hoạt động ngoại tuyến.
Ưu điểm của OP-DLC bao gồm:
Người dùng có quyền kiểm soát tài sản cao, chỉ có thể tin tưởng vào bản thân mình.
Tỷ lệ sử dụng vốn cao
Oracle có thể ký đượ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:
Thời gian rút tiền cần một tuần
Số lượng ký trước có mối quan hệ tuyến tính với số lượng CET, tăng trưởng nhanh.
4. Kết luận
OP-DLC đã đư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à các oracle độc hại bị trừng phạt, đồng thời đảm bảo CET đúng được thực hiện, các oracle nhận được phần thưởng xứng đáng. Phương pháp này có khả năng chống lại các cuộc tấn công tùy ý, 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.
9 thích
Phần thưởng
9
3
Đăng lại
Chia sẻ
Bình luận
0/400
DataBartender
· 22giờ trước
Gặm nhấm DLC khó khăn vẫn là mùi thơm của ngũ cốc zzz
Xem bản gốcTrả lời0
DeFiAlchemist
· 22giờ trước
*điều chỉnh ống kính huyền bí* thật thú vị khi hình học thiêng liêng của DLC phản chiếu các nguyên tắc giả kim cổ đại... sự đơn giản thực sự là viên đá triết gia của thiết kế giao thức.
Xem bản gốcTrả lời0
tx_pending_forever
· 22giờ trước
Lại làm cái kiểu cao cấp này à... nhìn mà hoa cả mắt.
OP-DLC 2: Tối ưu hóa đột phá cơ chế thử thách DLC bằng cách sử dụng nguyên lý đơn giản
OP-DLC 2: Sự thật luôn đơn giản
1. Giới thiệu
Năm 2018, Tadge Dryja từ Viện Công nghệ Massachusetts đã đề xuất Hợp đồng Đăng ký Rời rạc (DLC), một khung 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 đ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 xác định trước các kết quả có thể và thực hiện ký trước, thanh toán sẽ được thực hiện khi oracle ký kết kết quả. 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.
Nghiên cứu trước đây đã phân tích những ưu điểm và vấn đề tồn tại của DLC, và đề xuất một số phương án tối ưu. Tuy nhiên, do DLC liên quan đến nhiều bên tham gia, chiến lược phòng thủ tương đối phức tạp, thiếu sự đơn giản và đẹp.
Trong hệ thống Bitcoin, tất cả các hành động đều được thực hiện thông qua UTXO. Do đó, việc đảm bảo tính chính xác của UTXO có thể chống lại bất kỳ cuộc tấn công nào. 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). 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 bất kỳ cuộc tấn công nào. Cụ thể, oracle phải đặt cược 2BTC trước khi 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 thành công trong việc đối phó với thách thức, nó sẽ được coi là chính xác và hoàn thành 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 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ý lại. Phương pháp này tuân theo nguyên tắc "Đại đạo chí giản", mang lại sự đơn giản và đẹp đẽ.
2. Nguyên lý DLC
Lấy một thỏa thuận cược đơn giản làm ví dụ: Alice và Bob đặt cược vào việc giá trị băm của khối thứ ξ là số lẻ hay số chẵn. Nếu là số lẻ, Alice thắng; nếu là số chẵn, Bob thắng. DLC truyền thông tin khối qua oracle, tạo ra chữ ký điều kiện, để bên đúng nhận được tất cả tài sản.
Các bước chính của DLC bao gồm: giao dịch vốn, xây dựng CET, thanh toán và rút tiền. Trong quá trình này, tất cả các hành động đề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 CET đúng, 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. Đồng thời, oracle cần phải trả giá cho các hành vi ác ý.
3. OP-DLC 2
OP-DLC bao gồm năm quy định chính sau đây:
Oracle được cấu thành từ các liên minh, bất kỳ thành viên nào cũng có thể ký CET. Oracle cần phải đặt cọc 2BTC để có thể phát hành chữ ký và kiếm phí giao dịch. Thành viên làm điều xấu sẽ mất khoản đặt cọc, các thành viên khác có thể tiếp tục ký CET để đảm bảo người dùng rút tiền. Người dùng cũng có thể trở thành Oracle, thực hiện việc tối thiểu hóa niềm tin.
Nếu oracle làm xấu và sửa đổ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.
Khi oracle ký xác thực CET một cách trung thực, không ai có thể khởi xướng thách thức hợp lệ. Sau một tuần, CET có thể được thanh toán chính xác, oracle nhận được 0.05BTC thưởng.
Bất kỳ ai cũng có thể thách thức Oracle_sign. Chữ ký trung thực không thể bị thách thức thành công, và sẽ được thực hiện thanh toán sau một tuần. Chữ ký không trung thực sẽ dẫn đến việc oracle bị mất thế chấp và mất quyền ký lại trên hợp đồng DLC đó.
Thách thức trong OP-DLC là không cần giấy phép, bất kỳ bên tham gia nào cũng có thể giám sát việc thực hiện hợp đồng. Điều này đạt được sự tối thiểu hóa niềm tin vào oracle, người dùng cũng có thể hoạt động ngoại tuyến.
Ưu điểm của OP-DLC bao gồm:
Nhược điểm bao gồm:
4. Kết luận
OP-DLC đã đư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à các oracle độc hại bị trừng phạt, đồng thời đảm bảo CET đúng được thực hiện, các oracle nhận được phần thưởng xứng đáng. Phương pháp này có khả năng chống lại các cuộc tấn công tùy ý, thể hiện vẻ đẹp của sự đơn giản.