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

1. Giới thiệu

Hợp đồng logarit 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ừ MIT đề xuất vào năm 2018. DLC cho phép các bên thực hiện thanh toán theo điều kiện đã định, với các lợi thế như tính riêng tư tốt, tính linh hoạt cao của hợp đồng và rủi ro đối tác thấp.

DLC so với mạng lưới Lightning có những lợi thế chính bao gồm:

• 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 từ bên đối tác
• Không cần quản lý kênh thanh toán
• Tính mở rộng tốt hơn trong các tình huống cụ thể

Nhưng DLC vẫn tồn tại một số vấn đề cần giải quyết:

• Rủi ro an toàn khóa oracle
• Rủi ro tập trung của oracle
• Vấn đề sinh khóa trong bối cảnh phi tập trung
• Rủi ro âm mưu của oracle
• Giới hạn tiền lẻ cố định

Bài viết này sẽ khám phá nguyên lý của DLC và đề xuất một số giải pháp tối ưu để giải quyết các vấn đề nêu trên, nâng cao tính an toàn của hệ sinh thái Bitcoin.

2. Nguyên lý DLC

Lấy một ví dụ về cược đơn giản để giải thích nguyên lý cơ bản của DLC:

Alice và Bob đánh cược vào tính chẵn lẻ của giá trị băm của khối thứ n+k. Nếu lẻ, Alice thắng; nếu chẵn, Bob thắng.

Khởi tạo:

• Oracle, Alice, Bob mỗi người tạo ra một cặp khóa
• Alice và Bob tạo giao dịch ký quỹ 2-of-2
• Hai bên tạo hai hợp đồng để thực hiện giao dịch ( CET )

Dự đoán hứa hẹn:

• Tính toán và phát sóng (R,S,S')
• Alice và Bob dựa vào đó tính toán khóa công mới

Kết toán:

• Oracle phát sóng s hoặc s' dựa trên hash khối
• Bên thắng sẽ sử dụng s/s' để tính toán khóa riêng mới và rút tiền
• Thiết lập khóa thời gian để ngăn chặn sự mất hiệu lực của oracle

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

3.1 Quản lý khóa

Sự rò rỉ hoặc mất mát khóa bí mật của oracle và số ngẫu nhiên sẽ dẫn đến vấn đề an ninh:

• Mất khóa riêng dẫn đến không thể thanh toán
• Rò rỉ khóa riêng có thể bị thay đổi kết quả
• Rò rỉ hoặc tái sử dụng số ngẫu nhiên có thể suy ra khóa riêng
• Mất số ngẫu nhiên dẫn đến không thể thanh toán

Đề xuất sử dụng BIP32 để phát sinh khóa con, sử dụng khóa riêng và 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ó 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
• Linh hoạt và có thể mở rộng
• Có thể truy cứu trách nhiệm

3.3 Tích hợp phi tập trung và quản lý khóa

Trong bối cảnh phi tập trung, khóa riêng hoàn chỉnh không thể nhìn thấy và không thể sử dụng trực tiếp để sinh ra BIP32. Có thể áp dụng phương pháp sinh khóa phân tán, dựa trên nội suy Lagrange để thực hiện việc sinh phân mảnh khóa riê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 phải đặ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 oracle xấu. Giảm giả định về lòng tin vào oracle.

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

Kết hợp BitVM và OP-DLC, thực hiện hoàn tiền với bất kỳ độ granularity nào, tự do nạp và rút tiền, tăng cường tính thanh khoản. Người dùng có thể chọn nhiều cách nạp và rút tiền, và tối thiểu hóa sự tin cậy của oracle.

4. Kết luận

Công nghệ DLC đang phát triển không ngừng, kết hợp với các công nghệ mới như Taproot, BitVM có thể thực hiện các hợp đồng ngoài chuỗi phức tạp hơn. Thông qua các giải pháp tối ưu hóa có thể giải quyết các vấn đề hiện tại, nâng cao hơn nữa tính bảo mật và khả năng sử dụng của DLC.