Sự suy giảm cơn sốt của HyperLiquid: Phân tích từ góc độ kỹ thuật về cầu nối Cross-chain và kiến trúc HyperEVM

HyperLiquid như một sàn giao dịch sổ lệnh trên chuỗi được chú ý, TVL của nó đã vượt qua 2 tỷ đô la, được mệnh danh là "Binance trên chuỗi". Bài viết này sẽ đi sâu vào việc khám phá HyperLiquid từ góc độ cấu trúc công nghệ và an ninh, phân tích trọng tâm về cấu trúc và rủi ro của hợp đồng cầu nối Cross-chain, cũng như kiến trúc hai chuỗi HyperEVM và HyperL1.

Phân tích cầu nối Cross-chain HyperLiquid

HyperLiquid đã triển khai một hợp đồng cầu nối Cross-chain trên Arbitrum, để 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: chịu trách nhiệm cho các hoạt động tần suất cao như rút tiền của người dùng
• coldValidatorSet: chịu trách nhiệm sửa đổi cấu hình hệ thống, xử lý trạng thái khóa hợp đồng cầu nối, v.v.
• lockers: tương tự như ủy ban an ninh, có thể tạm ngừng hoạt động của hợp đồng cầu nối trong trường hợp khẩn cấp
• finalizers: xác nhận sự thay đổi trạng thái cầu nối Cross-chain, như tiền gửi và rút tiền của người dùng

quy trình gửi tiền

Hợp đồng cầu nối HyperLiquid 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. Thao tác gửi khá đơn giản, sử dụng hàm batchedDepositWithPermit để xử lý nhiều khoản tiền gửi.

quy trình rút tiền

Quy trình rút tiền tương đối phức tạp:

1. Người dùng khởi xướng yêu cầu rút tiền, cần tập hợp đủ trọng số chữ ký 2/3 từ hotValidatorSet
2. Bước vào "thời gian tranh chấp" 200 giây
3. Trong thời gian tranh chấp có thể xảy ra hai tình huống:
   • lockers cho rằng có vấn đề, có thể bỏ phiếu để đóng băng hợp đồng
   • coldValidatorSet có thể làm cho một số yêu cầu rút tiền trở nên vô hiệu
4. Sau khi kết thúc thời gian tranh chấp, các thành viên finalizers gọi hàm để xác định trạng thái cuối cùng, chuyển USDC cho người dùng.

cơ chế khóa hợp đồng cầu nối

• Cần 2 lockers bỏ phiếu để có thể khóa hợp đồng cầu nối
• Có thể rút lại phiếu bầu thông qua hàm unvoteEmergencyLock
• Mở khóa cần trọng số chữ ký 2/3 từ coldValidatorSet, đồng thời có thể cập nhật tập hợp người xác thực

Cập nhật tập hợp các người xác nhận

Thông qua hàm updateValidatorSet để cập nhật, cần có chữ ký của toàn bộ hotValidatorSet, có thời gian tranh chấp là 200 giây.

Cầu nối Cross-chain của những rủi ro tiềm ẩn

1. Hacker kiểm soát coldValidatorSet có thể vượt qua phòng tuyến để đánh cắp tài sản
2. finalizers có thể từ chối xác nhận rút tiền, dẫn đến tấn công kiểm tra
3. lockers có thể khóa hợp đồng cầu nối một cách ác ý, cản trở việc rút tiền

HyperEVM và kiến trúc hai chuỗi

HyperLiquid áp dụng kiến trúc chuỗi đôi:

• HyperLiquid L1(L1): chuỗi chuyên dụng cho sổ lệnh, chế độ cấp phép
• HyperEVM(EVM): chuỗi không cần cấp phép, có thể triển khai hợp đồng thông minh

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

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

HyperBFT đồng thuận

Dựa trên cải tiến HotStuff, tốc độ xử lý lý thuyết có thể đạt 2 triệu đơn hàng mỗi giây.

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

1. msg.sender có thể là địa chỉ hợp đồng hệ thống chứ không phải địa chỉ người dùng
2. Tương tác EVM với L1 không nguyên tử có thể dẫn đến rủi ro tài sản
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 chuỗi cross có thể tạm thời không thể tra cứu số dư.

Tổng thể, HyperEVM tương tự như kiến trúc lớp hai dựa trên HyperLiquid 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 chú ý xử lý tốt các tình huống biên trong tương tác chuỗi cross.