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

1. Tóm tắt

Hợp đồng logarit rời rạc ( DLC ) là một giải pháp thực thi hợp đồng dựa trên oracle, được Tadge Dryja của 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à ký trước, và khi oracle ký kết quả, họ sử dụng các chữ ký trước đó để thực hiện thanh toán. DLC có thể thực hiện các ứng dụng tài chính phi tập trung mới, đồng thời bảo đảm an toàn cho tiền 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 và linh hoạt
• Giảm thiểu rủi ro của bên đối tác
• Không cần quản lý kênh thanh toán
• Có khả năng mở rộng tốt trong hợp đồng phức tạp

Tuy nhiên, DLC vẫn tồn tại một số vấn đề cần giải quyết, chẳng hạn như:

• Rủi ro rò rỉ hoặc mất 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
• Rủi ro âm mưu của oracle
• Giới hạn hoàn tiền theo mệnh giá cố định

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

Lấy ví dụ Alice và Bob đặt cược vào tính chẵn lẻ của giá trị băm của khối thứ n+k:

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

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

3. Giao dịch thực hiện hợp đồng: Tạo hai giao dịch thực hiện hợp đồng để chi tiêu giao dịch đầu tư (CET).

4. Oracle tính toán và phát sóng cam kết.

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

6. Thanh toán: Oracle tạo ra chữ ký dựa trên giá trị băm của khối thứ n+k.

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

3. DLC tối ưu hóa

3.1 Quản lý khóa

Để nâng cao tính bảo mật:

• Sử dụng BIP32 để sinh khóa con hoặc khóa cháu cho việc ký
• Sử dụng khóa riêng và giá trị băm bộ đếm làm số ngẫu nhiên

3.2 Oracle phi tập trung

Áp dụng chữ ký ngưỡng Schnorr để triển khai oracle phi tập trung, có:

• Tăng cường an toàn
• Kiểm soát phân phối
• Tăng cường khả năng sử dụng
• Tính linh hoạt và khả năng mở rộng
• Trách nhiệm giải trình

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

Sử dụng phương pháp phân tán để phát sinh khóa, thực hiện phát sinh khóa trong bối cảnh chữ ký ngưỡng.

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

Giới thiệu cơ chế thách thức lạc quan, oracle cần đặt cọc trước. Bất kỳ bên tham gia trung thực nào cũng có thể khởi động thách thức, trừng phạt oracle xấu.

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

Kết hợp BitVM, giải quyết vấn đề thối tiền DLC, thực hiện:

• Tìm tiền lẻ ở bất kỳ độ phân giải nào
• Nhiều kênh nạp và rút tiền
• Giảm thiểu niềm tin vào oracle
• Tăng cường hiệu suất sử dụng vốn

4. Tóm tắt

DLC kết hợp với các công nghệ mới như Taproot, BitVM, có thể đạt được việc xác minh và thanh toán hợp đồng chuỗi ngoài phức tạp hơn. Thông qua cơ chế thách thức OP, có khả năng đạt được sự tối thiểu hóa niềm tin của oracle, mang lại triển vọng ứng dụng mới cho hệ sinh thái Bitcoin.