Phân tích Hyperliquid từ góc độ kỹ thuật: hợp đồng cầu, cấu trúc và rủi ro tiềm ẩn

Hyperliquid, như một sàn giao dịch sổ lệnh trên chuỗi được chú ý, cấu trúc công nghệ và độ an toàn của nó đáng được thảo luận sâu. Bài viết này sẽ phân tích kỹ thuật Hyperliquid từ hai khía cạnh: cấu trúc hợp đồng cầu nối đa chuỗi và kiến trúc hai chuỗi HyperEVM.

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

Hyperliquid đã triển khai hợp đồng cầu nối chuỗi chéo trên Arbitrum để lưu trữ tài sản USDC của người dùng. Từ góc độ phân chia danh tính nút, Hyperliquid có bốn nhóm người xác nhận:

• hotValidatorSet: xử lý các thao tác tần suất cao như rút tiền
• coldValidatorSet: chịu trách nhiệm thay đổi cấu hình hệ thống
• lockers: giống như ủy ban an ninh, có thể bỏ phiếu để 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 chuỗi chéo

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 lúc, quy trình đơn giản và có độ an toàn cao.

Quy trình rút tiền

Yêu cầu rút tiền cần có quyền ký 2/3 từ hotValidatorSet. Sau khi khởi xướng có thời gian "tranh chấp" 200 giây, trong đó:

1. lockers có thể bỏ phiếu tạm dừng hợp đồng
2. coldValidatorSet có thể làm cho một giao dịch rút tiền trở nên không hợp lệ

Sau thời gian tranh cãi, các thành viên finalizers gọi hàm batchedFinalizeWithdrawals để xác nhận việc rút tiền.

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

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

Cập nhật tập hợp người 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 bảo vệ để đá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. hợp đồng cầu khóa bị khóa độc hại

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

Hyperliquid áp dụng "giải pháp chuỗi đôi", đồng thời vận hành chuỗi sổ đặt hàng chuyên dụng (HyperL1) và chuỗi tương thích EVM (HyperEVM).

Precompiles

HyperEVM tăng cường mã biên dịch trước, cho phép hợp đồng thông minh đọc trạng thái HyperL1. Địa chỉ biên dịch đã biết 0x800 có thể đọc vị trí hợp đồng vĩnh viễn của khối L1 mới nhất.

Sự kiện

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

HyperBFT đồng thuận

Được phát triển dựa trên HotStuff, tốc độ xử lý lý thuyết có thể đạt tới 2 triệu giao dịch mỗi giây.

Những điều cần lưu ý khi phát triển

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

Tổng thể mà nói, HyperEVM tương tự như lớp hai của 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 đặc biệt để đảm bảo an toàn cho tài sản của người dùng.