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

Hyperliquid, như một sàn giao dịch order book trên chuỗi được quan tâm gần đây, đã có TVL vượt qua 2 tỷ USD và được mệnh danh là "Binance trên chuỗi". Bài viết này sẽ phân tích sâu từ góc độ kỹ thuật về cấu trúc hợp đồng cầu nối đa chuỗi của Hyperliquid, kiến trúc HyperEVM và những rủi ro tiềm ẩn, giúp độc giả hiểu rõ hơn về cấu trúc kỹ thuật của dự án ngôi sao này.

Phân tích cầu nối đa chuỗi Hyperliquid

Hyperliquid đã triển khai hợp đồng cầu nối đa chuỗi 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 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 và xử lý khẩn cấp
• lockers: giống như ủy ban an ninh, có thể 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 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, chỉ cho phép gửi USDC. Sử dụng hàm batchedDepositWithPermit để xử lý hàng loạt tiền gửi, đơn giản hóa thao tác của người dùng.

Quy trình rút tiền

Yêu cầu rút tiền cần có trọng số chữ ký 2/3 từ hotValidatorSet. Sau đó có 200 giây "thời gian tranh chấp", những người khóa có thể tạm dừng hợp đồng hoặc coldValidatorSet có thể làm cho việc rút tiền trở nên vô hiệu. Sau thời gian tranh chấp, các finalizers xác nhận trạng thái cuối cùng.

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

lockers có thể bỏ phiếu để khóa hợp đồng cầu. 2 locker bỏ phiếu là đủ để tạm ngừng hoạt động. Việc mở khóa cần 2/3 chữ ký của coldValidatorSet, đồng thời có thể cập nhật tập hợp các xác thực viên.

Cập nhật bộ xác thực

Hàm updateValidatorSet có thể cập nhật hotValidatorSet và coldValidatorSet, cần chữ ký của toàn bộ hotValidatorSet, có 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 phòng tuyến trộm 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 hại

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

Hyperliquid áp dụng "giải pháp hai chuỗi":

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

Hai chuỗi truyền dữ liệu thông qua cùng một giao thức đồng thuận, nhưng thực hiện riêng biệt. L1 có tốc độ tạo khối nhanh hơn, chuỗi EVM có thể đọc dữ liệu L1 và ghi vào L1.

Precompiles

HyperEVM tăng cường mã tiền biên, thực hiện việc đọc trạng thái sổ đặt hàng L1. Ví dụ, địa chỉ 0x800 có thể đọc vị thế hợp đồng vĩnh viễn của 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 theo dõi Events từ địa chỉ cụ thể và chuyển đổi chúng thành giao dịch L1.

HyperBFT đồng thuận

Được phát triển dựa trên HotStuff, lý thuyết có thể xử lý 2 triệu đơn hàng mỗi giây. Sử dụng phương pháp phát sóng tổng hợp Leader, giảm độ phức tạp.

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

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

Nói chung, HyperEVM tương tự như kiến trúc lớp 2 dựa trên 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ú ý đến việc xử lý các tình huống đặc biệt để đảm bảo an toàn cho tài sản của người dùng.