Thảo luận về nguyên lý kỹ thuật DLC và ý tưởng tối ưu hóa

1. Giới thiệu

Hợp đồng logarithm rời rạc (DLC) là một giải pháp thực hiện hợp đồng Bitcoin dựa trên oracle, được Tadge Dryja từ MIT đề xuất vào năm 2018. DLC cho phép hai bên thực hiện thanh toán có điều kiện theo các điều kiện đã định trước, các bên tham gia ký trước các kết quả có thể xảy ra và thực hiện thanh toán khi oracle ký kết kết quả. So với mạng Lightning, DLC có những ưu điểm về tính riêng tư, hỗ trợ hợp đồng tài chính phức tạp, giảm thiểu rủi ro đối tác.

Mặc dù DLC có triển vọng lớn trong ứng dụng hệ sinh thái Bitcoin, nhưng vẫn tồn tại một số rủi ro và vấn đề:

• Việc lộ hoặc mất khóa oracle có thể dẫn đến tổn thất tài sản
• Sự tập trung của oracle mang lại rủi ro về niềm tin
• Oracle phi tập trung khó khăn trong việc sinh khóa
• Rủi ro âm mưu của nút oracle
• Giới hạn tiền thối với mệnh giá cố định

Bài viết này sẽ khám phá một số giải pháp tối ưu để giải quyết những thách thức mà DLC đang phải đối mặt, nâng cao tính an toàn cho hệ sinh thái Bitcoin.

2. Nguyên lý hoạt động của DLC

Lấy ví dụ về việc Alice và Bob cược vào giá trị băm của khối thứ n+k là chẵn hay lẻ, quy trình cơ bản của DLC như sau:

1. Tạo khóa: Oracle, Alice và Bob lần lượt tạo cặp khóa công tư.

2. Giao dịch góp vốn: Alice và Bob tạo ra đầu ra ký quỹ 2-of-2, mỗi người khóa 1 BTC.

3. Thực hiện giao dịch hợp đồng: Tạo hai giao dịch CET để sử dụng cho giao dịch nạp vốn.

4. Cam kết của oracle: tính toán và phát sóng (R,S,S').

5. Các bên tham gia tính toán khóa công mới.

6. Thanh toán: Oracle phát sóng s hoặc s' dựa trên giá trị băm của khối.

7. Rút tiền: Bên thắng sử dụng khóa riêng mới để rút 2 BTC.

Sử dụng khóa thời gian trong toàn bộ quá trình để đảm bảo an toàn cho quỹ.

3. Kế hoạch tối ưu hóa DLC

3.1 Quản lý khóa

Quản lý khóa oracle đối mặt với các rủi ro sau đây:

1. mất khóa riêng dẫn đến không thể thanh toán
2. Rò rỉ khóa riêng dẫn đến thanh toán gian lận
3. Rò rỉ hoặc tái sử dụng số ngẫu nhiên dẫn đến rò rỉ khóa riêng
4. Mất số ngẫu nhiên dẫn đến không thể thanh toán

Đề xuất sử dụng BIP32 để phân nhánh khóa con, và sử dụng khóa riêng và giá trị băm của bộ đếm làm số ngẫu nhiên, nâng cao tính bảo mật.

3.2 Oracle phi tập trung

Việc áp dụng chữ ký ngưỡng Schnorr có thể实现 một oracle phi tập trung với những lợi thế sau:

• Tăng cường an ninh, giảm thiểu điểm lỗi đơn
• Triển khai kiểm soát khóa phân tán
• Tăng cường tính khả dụng của hệ thống
• Linh hoạt thích ứng với các nhu cầu bảo mật khác nhau
• Hỗ trợ khả năng truy cứu trách nhiệm

3.3 Kết hợp phi tập trung và quản lý khóa

Oracle phi tập trung không thể sử dụng trực tiếp BIP32 để phân nhánh khóa. Có thể áp dụng phương pháp phân nhánh khóa phân tán, sử dụng đa thức nội suy Lagrange để thiết lập mối quan hệ giữa các mảnh khóa riêng tư và khóa riêng tư hoàn chỉnh, từ đó hỗ trợ phân nhánh khóa con.

3.4 OP-DLC: Giảm thiểu sự tin cậy của oracle

Đề xuất phương án OP-DLC, đưa vào cơ chế thách thức lạc quan:

• Dự đoán trước khi đặt cọc xây dựng trò chơi OP trên chuỗi.
• Bất kỳ bên trung thực nào cũng có thể khởi xướng thách thức
• Thử thách thành công thì sẽ trừng phạt kẻ xấu dự đoán
• Có thể sử dụng kết hợp với mô hình "k-of-n"

OP-DLC chỉ cần một bên tham gia trung thực để hoạt động, giảm đáng kể giả định về niềm tin.

3.5 OP-DLC + BitVM đôi cầu

Kết hợp OP-DLC và BitVM, giải quyết vấn đề phân bổ vốn DLC:

• Hỗ trợ hoàn tiền với bất kỳ độ phân giải nào
• Cung cấp nhiều kênh nạp và rút tiền
• Giảm thiểu sự tin tưởng vào oracle
• Tăng cường hiệu suất sử dụng vốn

4. Kết luận

Công nghệ DLC đang ngày càng phát triển và hoàn thiện. Kết hợp các công nghệ mới như Taproot, BitVM, DLC trong tương lai hứa hẹn sẽ đạt được sự xác minh và thanh toán hợp đồng ngoài chuỗi phức tạp hơn, đồng thời thông qua cơ chế OP để đạt được việc tối thiểu hóa niềm tin của oracle.