Cơ chế thách thức lạc quan của DLC: Con đường thanh lịch để đơn giản hóa sự phức tạp
Giới thiệu
Hợp đồng logarit rời rạc (DLC) là một khung thực thi hợp đồng dựa trên oracle, 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. DLC đảm bảo an toàn cho tiền gửi Bitcoin trong khi thực hiện các ứng dụng tài chính phi tập trung mới.
Phân tích trước đó đã chỉ ra các vấn đề về rủi ro khóa mật, rủi ro niềm tin phi tập trung, rủi ro thông đồng của DLC, và đã đề xuất các giải pháp như 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, các chiến lược phòng thủ này tương đối phức tạp, thiếu sự đơn giản và đẹp.
Trong Bitcoin, mọi hành động đều phải được thực hiện thông qua UTXO. Do đó, việc sử dụng cơ chế đồng thuận để đảm bảo UTXO đúng, 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 hợp đồng để thực hiện giao dịch (CET). 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.
Cụ thể, oracle phải ký CET sau khi đặt cọc 2BTC. 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 ứng phó thành công với thách thức, CET sẽ đúng, có thể hoàn thành thanh toán, oracle sẽ giải phóng tiền đặt cọc và nhận phí giao dịch. Nếu oracle cố gắng gian lận, bất kỳ ai cũng có thể thách thức thành công, CET đó sẽ không thể thanh toán, oracle sẽ mất tiền đặt cọc và không thể ký một CET giống nhau nữa. Phương pháp này đơn giản và tinh tế, phù hợp với triết lý "đại đạo chí giản".
Nguyên lý DLC
Lấy ví dụ về một thỏa thuận cược đơn giản giữa Alice và Bob: cược xem giá trị băm của khối thứ ξ là số lẻ hay số chẵn. Nếu là số lẻ, Alice thắng và có thể rút tài sản; nếu là số chẵn, Bob thắng và có thể rút tài sản. DLC truyền thông tin khối thông qua oracle, xây dựng chữ ký điều kiện để bên đúng nhận được 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 trong một đầu ra ký nhiều 2-of-2.
Xây dựng CET: Alice và Bob tạo ra CET1 và CET2, được sử dụng để chi tiêu giao dịch đầu tư.
Oracle tính toán cam kết và tạo chữ ký.
Thanh toán: Oracle dựa trên giá trị băm khối, ký kết CET1 hoặc CET2 tương ứng.
Rút tiền: Bên thắng sẽ tính toán khóa riêng mới và chi tiêu 20BTC đã được khóa.
Nghiên cứu cho thấy, bất kỳ hành động nào trong quá trình trên đều cần đượ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 mọi 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. Hơn nữa, oracle cần phải trả giá cho các hành vi xấu.
OP-DLC 2
OP-DLC bao gồm 5 quy định sau:
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. Phải đặt cọc 2BTC mới có thể phát hành chữ ký để kiếm phí giao dịch. Các thành viên có hành vi xấu sẽ mất tiền đặt cọc, các thành viên khác có thể tiếp tục ký CET. Người dùng cũng có thể trở thành oracle, thực hiện giảm thiểu sự tin cậy.
Khi oracle thực hiện các sửa đổi xấu, bất kỳ bên tham gia nào cũng có thể khởi xướng thách thức.
Khi oracle ký kết CET một cách trung thực, CET sẽ được thanh toán chính xác 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 chữ ký của oracle. Chữ ký trung thực không thể bị thách thức, sẽ thực hiện thanh toán sau 1 tuần. Chữ ký không trung thực sẽ bị thách thức thành công, oracle sẽ mất tiền đặt cọc và không thể thực hiện chữ ký với kết quả tương tự cho hợp đồng đó.
Thách thức trong OP-DLC là không cần sự cho 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. Đã đạt được việc tối thiểu hóa niềm tin vào oracle. So với mạng Lightning, Alice và Bob cũng có thể hoạt động ngoại tuyến.
Ư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ần 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 1 tuần
Số lượng tiền ký trước và số lượng CET tăng trưởng 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 rằng CET sai không bị thanh toán và oracle độc hại bị phạt, CET đúng được thực thi và oracle trung thực nhận thưở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.
Xem bản gốc
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.
Cơ chế thách thức lạc quan DLC: Giải pháp đơn giản bảo mật tài sản
Cơ chế thách thức lạc quan của DLC: Con đường thanh lịch để đơn giản hóa sự phức tạp
Giới thiệu
Hợp đồng logarit rời rạc (DLC) là một khung thực thi hợp đồng dựa trên oracle, 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. DLC đảm bảo an toàn cho tiền gửi Bitcoin trong khi thực hiện các ứng dụng tài chính phi tập trung mới.
Phân tích trước đó đã chỉ ra các vấn đề về rủi ro khóa mật, rủi ro niềm tin phi tập trung, rủi ro thông đồng của DLC, và đã đề xuất các giải pháp như 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, các chiến lược phòng thủ này tương đối phức tạp, thiếu sự đơn giản và đẹp.
Trong Bitcoin, mọi hành động đều phải được thực hiện thông qua UTXO. Do đó, việc sử dụng cơ chế đồng thuận để đảm bảo UTXO đúng, 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 hợp đồng để thực hiện giao dịch (CET). 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.
Cụ thể, oracle phải ký CET sau khi đặt cọc 2BTC. 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 ứng phó thành công với thách thức, CET sẽ đúng, có thể hoàn thành thanh toán, oracle sẽ giải phóng tiền đặt cọc và nhận phí giao dịch. Nếu oracle cố gắng gian lận, bất kỳ ai cũng có thể thách thức thành công, CET đó sẽ không thể thanh toán, oracle sẽ mất tiền đặt cọc và không thể ký một CET giống nhau nữa. Phương pháp này đơn giản và tinh tế, phù hợp với triết lý "đại đạo chí giản".
Nguyên lý DLC
Lấy ví dụ về một thỏa thuận cược đơn giản giữa Alice và Bob: cược xem giá trị băm của khối thứ ξ là số lẻ hay số chẵn. Nếu là số lẻ, Alice thắng và có thể rút tài sản; nếu là số chẵn, Bob thắng và có thể rút tài sản. DLC truyền thông tin khối thông qua oracle, xây dựng chữ ký điều kiện để bên đúng nhận được 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 trong một đầu ra ký nhiều 2-of-2.
Xây dựng CET: Alice và Bob tạo ra CET1 và CET2, được sử dụng để chi tiêu giao dịch đầu tư.
Oracle tính toán cam kết và tạo chữ ký.
Thanh toán: Oracle dựa trên giá trị băm khối, ký kết CET1 hoặc CET2 tương ứng.
Rút tiền: Bên thắng sẽ tính toán khóa riêng mới và chi tiêu 20BTC đã được khóa.
Nghiên cứu cho thấy, bất kỳ hành động nào trong quá trình trên đều cần đượ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 mọi 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. Hơn nữa, oracle cần phải trả giá cho các hành vi xấu.
OP-DLC 2
OP-DLC bao gồm 5 quy định sau:
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. Phải đặt cọc 2BTC mới có thể phát hành chữ ký để kiếm phí giao dịch. Các thành viên có hành vi xấu sẽ mất tiền đặt cọc, các thành viên khác có thể tiếp tục ký CET. Người dùng cũng có thể trở thành oracle, thực hiện giảm thiểu sự tin cậy.
Khi oracle thực hiện các sửa đổi xấu, bất kỳ bên tham gia nào cũng có thể khởi xướng thách thức.
Khi oracle ký kết CET một cách trung thực, CET sẽ được thanh toán chính xác 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 chữ ký của oracle. Chữ ký trung thực không thể bị thách thức, sẽ thực hiện thanh toán sau 1 tuần. Chữ ký không trung thực sẽ bị thách thức thành công, oracle sẽ mất tiền đặt cọc và không thể thực hiện chữ ký với kết quả tương tự cho hợp đồng đó.
Thách thức trong OP-DLC là không cần sự cho 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. Đã đạt được việc tối thiểu hóa niềm tin vào oracle. So với mạng Lightning, Alice và Bob 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:
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à oracle độc hại bị phạt, CET đúng được thực thi và oracle trung thực nhận thưở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.