Hợp đồng Log Discreet (DLC) là một khung thực thi hợp đồng dựa trên oracle được đề xuất bởi các nhà nghiên cứu của Viện Công nghệ Massachusetts 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 đã định trước, thông qua việc ký trước và ký kết kết quả bằng oracle, đồng thời đảm bảo an toàn cho khoản tiền gửi Bitcoin và thực hiện các ứng dụng tài chính phi tập trung mới.
Bài trước đã thảo luận về những ưu nhược điểm của DLC và đề 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 để giải quyết các vấn đề mà nó đang phải đối mặt. 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. Bài viết này đề xuất rằng, trong DLC, bất kỳ hành động nào cũng cần phải được thực hiện thông qua CET(Contract Execution Transaction), do đó chỉ cần đảm bảo CET là chính xác để phòng ngừa bất kỳ cuộc tấn công nào. Cụ thể, oracle chỉ có thể ký CET sau khi đã đặt cọc, 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 phản ứng thành công với thách thức, thì có thể hoàn tất việc thanh toán, oracle sẽ giải phóng đặ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ể thách thức thành công, dẫn đến CET không thể thanh toán, oracle sẽ mất tiền đặt cọc và không thể ký vào cùng một CET nữa. Phương pháp này đơn giản và hiệu quả.
Nguyên tắc cơ bản của DLC là truyền thông tin thông qua oracle để xây dựng chữ ký điều kiện, cho phép bên đúng nhận được tài sản. Các bên tham gia đều có cặp khóa riêng, khóa tiền thông qua giao dịch đầu tư, sau đó xây dựng CET để chi trả cho giao dịch đầu tư. Oracle ký CET tương ứng dựa trên kết quả, bên thắng có thể tính toán khóa riêng mới và chi tiêu số tiền đã khóa.
Nghiên cứu cho thấy, bất kỳ hành vi nào trong DLC đều cần phải được thực hiện thông qua CET, vì vậy 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 các cuộc tấn công. 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 ý.
OP-DLC bao gồm các quy định sau:
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, cần phải đặt cọc mới có thể phát hành chữ ký để kiếm phí giao dịch.
Nếu oracle làm sai và sửa đổi kết quả, bất kỳ ai cũng có thể khởi xướng thách thức.
Sau khi oracle ký xác thực CET một cách trung thực, nếu không ai thành công thách thức trong vòng 1 tuần, sẽ tiến hành thanh toán và oracle sẽ nhận được phần thưởng.
Bất kỳ ai cũng có thể thách thức Oracle_sign, nếu thành công thì chữ ký đó sẽ không hợp lệ, và oracle sẽ mất khoản ký quỹ.
Cơ chế thách thức mở cho tất cả mọi người, đạt được việc tối thiểu hóa lòng tin vào oracle.
Những ư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 mình
Tỷ lệ sử dụng vốn cao, không cần phải ứng trước một lượng vốn tương đương
Oracle được xác định khi nạp tiền, người dùng cũng có thể trở thành Oracle
Những điểm yếu bao gồm:
Thời gian rút tiền cần 1 tuần
Số lượng chữ ký cần được ký trước có mối quan hệ tuyến tính với số lượng CET
Tóm lại, 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 thực hiện đúng đắn và trừng phạt hành vi xấu, có khả năng chống lại nhiều 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.
Sự tiến hóa của OP-DLC: Đơn giản hóa tính an toàn của DLC bằng cơ chế thách thức lạc quan
OP-DLC 2: Đạo lớn đến giản
Hợp đồng Log Discreet (DLC) là một khung thực thi hợp đồng dựa trên oracle được đề xuất bởi các nhà nghiên cứu của Viện Công nghệ Massachusetts 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 đã định trước, thông qua việc ký trước và ký kết kết quả bằng oracle, đồng thời đảm bảo an toàn cho khoản tiền gửi Bitcoin và thực hiện các ứng dụng tài chính phi tập trung mới.
Bài trước đã thảo luận về những ưu nhược điểm của DLC và đề 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 để giải quyết các vấn đề mà nó đang phải đối mặt. 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. Bài viết này đề xuất rằng, trong DLC, bất kỳ hành động nào cũng cần phải được thực hiện thông qua CET(Contract Execution Transaction), do đó chỉ cần đảm bảo CET là chính xác để phòng ngừa bất kỳ cuộc tấn công nào. Cụ thể, oracle chỉ có thể ký CET sau khi đã đặt cọc, 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 phản ứng thành công với thách thức, thì có thể hoàn tất việc thanh toán, oracle sẽ giải phóng đặ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ể thách thức thành công, dẫn đến CET không thể thanh toán, oracle sẽ mất tiền đặt cọc và không thể ký vào cùng một CET nữa. Phương pháp này đơn giản và hiệu quả.
Nguyên tắc cơ bản của DLC là truyền thông tin thông qua oracle để xây dựng chữ ký điều kiện, cho phép bên đúng nhận được tài sản. Các bên tham gia đều có cặp khóa riêng, khóa tiền thông qua giao dịch đầu tư, sau đó xây dựng CET để chi trả cho giao dịch đầu tư. Oracle ký CET tương ứng dựa trên kết quả, bên thắng có thể tính toán khóa riêng mới và chi tiêu số tiền đã khóa.
Nghiên cứu cho thấy, bất kỳ hành vi nào trong DLC đều cần phải được thực hiện thông qua CET, vì vậy 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 các cuộc tấn công. 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 ý.
OP-DLC bao gồm các quy định sau:
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, cần phải đặt cọc mới có thể phát hành chữ ký để kiếm phí giao dịch.
Nếu oracle làm sai và sửa đổi kết quả, bất kỳ ai cũng có thể khởi xướng thách thức.
Sau khi oracle ký xác thực CET một cách trung thực, nếu không ai thành công thách thức trong vòng 1 tuần, sẽ tiến hành thanh toán và oracle sẽ nhận được phần thưởng.
Bất kỳ ai cũng có thể thách thức Oracle_sign, nếu thành công thì chữ ký đó sẽ không hợp lệ, và oracle sẽ mất khoản ký quỹ.
Cơ chế thách thức mở cho tất cả mọi người, đạt được việc tối thiểu hóa lòng tin vào oracle.
Những ưu điểm của OP-DLC bao gồm:
Những điểm yếu bao gồm:
Tóm lại, 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 thực hiện đúng đắn và trừng phạt hành vi xấu, có khả năng chống lại nhiều loại tấn công, thể hiện vẻ đẹp của sự đơn giản.