Phân tích sâu về kiến trúc và vấn đề tiềm ẩn của Hyperliquid từ góc độ kỹ thuật

Hyperliquid, như một trong những đại diện của sàn giao dịch đặt hàng trên chuỗi, đã vượt qua 2 tỷ USD TVL, được gọi là "Binance trên chuỗi". Bài viết này sẽ phân tích sâu về nguyên lý cấu trúc của Hyperliquid từ hai góc độ là cấu trúc kỹ thuật và độ an toàn.

Phân tích cầu xuyên chuỗi Hyperliquid

Hyperliquid đã triển khai hợp đồng cầu nối đa chuỗi trên Arbitrum, dùng để lưu trữ tài sản USDC của người dùng. Hợp đồng cầu nối này bao gồm bốn nhóm người xác thực:

• hotValidatorSet: xử lý các thao tác tần suất cao như rút tiền
• coldValidatorSet: Thay đổi cấu hình hệ thống, có thể vô hiệu hóa yêu cầu rút tiền
• lockers: có thể tạm dừng hợp đồng cầu
• finalizers: xác nhận sự thay đổi trạng thái cầu nối liên chuỗi

quy trình gửi tiền

Hợp đồng cầu sử dụng phương pháp Permit của EIP-2612 để xử lý tiền gửi, hỗ trợ thao tác hàng loạt. Logic gửi tiền đơn giản, rủi ro an toàn thấp.

Quy trình rút tiền

Yêu cầu rút tiền phải đáp ứng các điều kiện sau:

1. Tập hợp 2/3 trọng số chữ ký của hotValidatorSet
2. Sau 200 giây thời gian tranh cãi
3. Được xác nhận cuối cùng bởi các thành viên finalizers

Trong thời gian tranh chấp, các khoá có thể tạm ngưng hợp đồng cầu, coldValidatorSet có thể làm cho việc rút tiền trở nên vô hiệu.

Cơ chế khóa hợp đồng cầu

Cần 2 phiếu bầu từ các lockers để khóa hợp đồng cầu. Việc mở khóa yêu cầu trọng số chữ ký 2/3 từ coldValidatorSet, đồng thời có thể cập nhật tập hợp các người xác thực.

Cập nhật tập hợp xác thực viên

Cần có chữ ký của tất cả các thành viên trong hotValidatorSet để cập nhật hotValidatorSet và coldValidatorSet, sau thời gian tranh chấp 200 giây, sẽ được xác nhận bởi các finalizers.

Rủi ro tiềm ẩn

1. coldValidatorSet bị kiểm soát có thể vượt qua cơ chế an ninh để đánh cắp tài sản
2. finalizers có thể từ chối xác nhận giao dịch rút tiền
3. lockers có thể khóa hợp đồng cầu một cách ác ý

HyperEVM và kiến trúc tương tác chuỗi kép

Hyperliquid sử dụng kiến trúc hai chuỗi:

• Hyperliquid L1: Hệ thống sổ lệnh chuyên dụng, chế độ cấp phép
• HyperEVM: Chuỗi tương thích EVM, không cần giấy phép

Hai chuỗi tương tác thông qua Precompiles và Events:

• Precompiles: Cho phép HyperEVM đọc trạng thái L1
• Sự kiện: Cho phép HyperEVM ghi dữ liệu vào L1

HyperBFT đồng thuận

Hyperliquid đã phát triển thuật toán đồng thuận HyperBFT dựa trên HotStuff, với khả năng xử lý lý thuyết lên tới 2 triệu đơn hàng mỗi giây.

Lưu ý cho nhà phát triển

1. msg.sender có thể là địa chỉ hợp đồng hệ thống
2. Tương tác giữa EVM và L1 không phải là nguyên tử, cần xử lý các tình huống thất bại.
3. Địa chỉ hợp đồng EVM cần tạo tài khoản ánh xạ trên L1
4. Tài sản跨链 có thể tạm thời không nhìn thấy, cần được xử lý một cách hợp lý.

Nói chung, HyperEVM giống như kiến trúc lớp hai L1, nhưng cung cấp khả năng tương tác cao hơn. Các nhà phát triển cần lưu ý đến các chi tiết kỹ thuật do cấu trúc hai chuỗi độc đáo của nó mang lại.