Thảo luận về nguyên lý công nghệ DLC và tối ưu hóa

1. Giới thiệu

Hợp đồng số log rời rạc ( DLC ) là một giải pháp thực thi hợp đồng thông minh dựa trên oracle, được Tadge Dryja từ Viện Công nghệ Massachusetts đề 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 dựa trên các điều kiện đã được định nghĩa trước, các bên tham gia xác định trước các kết quả có thể và thực hiện ký trước, khi oracle ký kết quả, sử dụng các chữ ký trước để thực hiện thanh toán. DLC có thể tạo ra các ứng dụng tài chính phi tập trung mới, đồng thời đảm bảo an toàn cho việc gửi bitcoin.

So với mạng Lightning, DLC có những ưu điểm sau:

• Bảo vệ quyền riêng tư tốt hơn
• Hỗ trợ hợp đồng tài chính phức tạp
• Giảm thiểu rủi ro đối tác
• Không cần quản lý kênh thanh toán
• Có khả năng mở rộng tốt hơn trong các tình huống cụ thể

Tuy nhiên, DLC vẫn tồn tại một số vấn đề và rủi ro:

• Rủi ro mất mát hoặc rò rỉ khóa oracle
• Vấn đề trung tâm hóa của oracle
• Oracle phi tập trung không thể thực hiện việc phân nhánh khóa trực tiếp.
• Rủi ro âm mưu của oracle
• Vấn đề trả tiền thối với mệnh giá cố định

Bài viết này sẽ khám phá các giải pháp tối ưu hóa DLC để nâng cao tính bảo mật của hệ sinh thái Bitcoin.

2. Nguyên lý DLC

Lấy ví dụ về việc Alice và Bob đánh cược vào tính chẵn lẻ của giá trị băm khối thứ n+k để giải thích nguyên lý DLC:

1. Khởi tạo: sinh ra G, bậc q

2. Tạo khóa: Oracle, Alice, Bob mỗi người tạo ra khóa riêng và khóa công.

3. Giao dịch nạp vốn: Alice và Bob tạo giao dịch nạp vốn với 2-of-2 chữ ký.

4. Thực hiện giao dịch hợp đồng: Tạo hai giao dịch CET để chi tiêu vốn đầu tư

5. Cam kết tính toán oracle: Tạo R, S, S' và phát sóng

6. Alice và Bob tính toán khóa công mới

7. Thanh toán: Oracle tạo ra s hoặc s' dựa trên giá trị băm khối.

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

9. Thiết lập khóa thời gian để đảm bảo tính công bằng

3. Tối ưu hóa DLC

3.1 Quản lý khóa

Sự an toàn của khóa riêng và số ngẫu nhiên của oracle là rất quan trọng. Các rủi ro chính bao gồm:

1. Oracle mất khóa riêng
2. Rò rỉ khóa riêng của oracle
3. Rò rỉ hoặc tái sử dụng số ngẫu nhiên của oracle
4. Máy dự đoán mất số ngẫu nhiên

Đề xuất tối ưu hóa:

• Sử dụng BIP32 để tạo khóa con
• Sử dụng khóa riêng và giá trị băm của bộ đếm làm số ngẫu nhiên

3.2 Oracle phi tập trung

Việc sử dụng chữ ký ngưỡng Schnorr để thực hiện oracle phi tập trung có những lợi thế sau:

• Tăng cường an ninh
• Kiểm soát phân tán
• Tăng cường khả năng sử dụng
• Tính linh hoạt và khả năng mở rộng
• Tính có thể truy cứu

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

Khi không tồn tại khóa riêng hoàn chỉnh, không thể trực tiếp sử dụng BIP32 để sinh ra khóa. Có thể áp dụng phương pháp sinh khóa phân tán:

• Phân mảnh khóa riêng và khóa riêng hoàn chỉnh thỏa mãn quan hệ nội suy
• Phân mảnh khóa bí mật con và khóa bí mật con cũng thỏa mãn quan hệ nội suy.
• Cân nhắc khả năng tương thích BIP32 mở rộng và không mở rộng

3.4 OP-DLC: giảm thiểu niềm tin vào oracle

Đề xuất cơ chế thách thức lạc quan:

• Oracle đặt cọc trước
• Bất kỳ bên tham gia trung thực nào cũng có thể khởi xướng thách thức
• Trừng phạt kẻ ác tiên tri
• Tỷ lệ lỗi lên đến 99%

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

Kết hợp BitVM để giải quyết vấn đề DLC:

• Trả lại tiền lẻ ở bất kỳ độ granularity nào
• Nhiều kênh nạp rút tiền
• Tin cậy tối thiểu của oracle
• Tăng cường hiệu quả sử dụng vốn

4. Kết luận

DLC kết hợp với các công nghệ mới như Taproot, BitVM, có thể thực hiện việc xác minh và thanh toán hợp đồng ngoài chuỗi phức tạp hơn. Thông qua cơ chế thách thức OP, có thể giảm thiểu sự tin tưởng vào oracle. Trong tương lai, DLC có khả năng đóng vai trò lớn hơn trong hệ sinh thái Bitcoin.