Phân tích sâu về Hyperliquid: Kiến trúc kỹ thuật và rủi ro tiềm ẩn

Hyperliquid là một sàn giao dịch order book trên chuỗi được nhiều người chú ý, cấu trúc kỹ thuật và tính bảo mật của nó đáng được thảo luận sâu. Bài viết này sẽ phân tích việc thực hiện kỹ thuật của Hyperliquid từ hai góc độ: cấu trúc hợp đồng cầu nối đa chuỗi và kiến trúc hai chuỗi HyperEVM và HyperL1.

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

Hyperliquid đã triển khai một hợp đồng cầu trên Arbitrum để lưu trữ tài sản USDC của người dùng. Hợp đồng cầu này bao gồm bốn nhóm xác thực: hotValidatorSet, coldValidatorSet, finalizers và lockers, mỗi nhóm đảm nhận các chức năng khác nhau.

cơ chế xác thực

• hotValidatorSet: xử lý các hoạt động tần suất cao như rút tiền của người dùng
• coldValidatorSet: chỉnh sửa 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ể bỏ phiếu tạm dừng hoạt động hợp đồng cầu
• finalizers: Xác nhận sự thay đổi trạng thái cầu nối đa chuỗi

Hiện tại Hyperliquid chỉ có 4 nút xác thực, hotValidatorSet và coldValidatorSet tương ứng với 4 địa chỉ.

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, chỉ cho phép gửi USDC. Hàm batchedDepositWithPermit có thể xử lý nhiều khoản tiền gửi cùng một lúc, quy trình khá đơn giản.

Quy trình rút tiền

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

1. Đạt được quyền ký 2/3 của hotValidatorSet
2. Sau 200 giây 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, lockers có thể bỏ phiếu để tạm dừng hợp đồng cầu, coldValidatorSet có thể vô hiệu hóa yêu cầu rút tiền.

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

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

Cập nhật người xác thực

Hàm updateValidatorSet có thể cập nhật hotValidatorSet và coldValidatorSet, cần chữ ký của tất cả các thành viên trong hotValidatorSet và trải qua thời gian tranh chấp 200 giây.

Rủi ro tiềm ẩn

1. coldValidatorSet bị kiểm soát có thể vượt qua tất cả các hàng rào để đánh cắp tài sản của người dùng
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 chuỗi đôi

Hyperliquid áp dụng "giải pháp chuỗi kép", đồng thời vận hành hai chuỗi:

1. Hyperliquid L1: Chuyên dụng cho hệ thống sổ lệnh, có giấy phép.
2. HyperEVM: Chuỗi tương thích EVM, không cần giấy phép

Hai chuỗi truyền dữ liệu thông qua giao thức đồng thuận giống nhau, nhưng hoạt động trong môi trường thực thi khác nhau. HyperEVM có thể đọc trạng thái L1 và ghi dữ liệu vào L1.

Precompiles

HyperEVM thông qua mã tiền biên đọc trạng thái L1. Địa chỉ tiền biên đã biết 0x800 có thể đọc vị thế hợp đồng vĩnh viễn của người dùng trong khối L1 gần đây.

Sự kiện

HyperEVM ghi dữ liệu vào L1 thông qua Events. Các nút L1 lắng nghe Events từ địa chỉ cụ thể (0x3333...3333), chuyển đổi ý định của người dùng thành giao dịch L1.

sự đồng thuận HyperBFT

Hyperliquid áp dụng thuật toán đồng thuận HyperBFT dựa trên HotStuff, lý thuyết có thể xử lý 2 triệu đơn hàng mỗi giây.

Lưu ý phát triển

1. msg.sender có thể là địa chỉ hợp đồng hệ thống L1
2. Tính không nguyên tử trong tương tác EVM với L1 có thể dẫn đến mất mát tài sản
3. Địa chỉ hợp đồng EVM cần có tài khoản ánh xạ trên L1
4. Khi tài sản chuyển qua chuỗi có thể xảy ra tình trạng tạm thời không thể kiểm tra số dư.

Nói chung, HyperEVM giống như lớp hai dựa trên Hyperliquid L1, nhưng cung cấp khả năng tương tác cao hơn.