Analisis Mendalam Hyperliquid dari Sudut Pandang Teknis: Kontrak Jembatan, HyperEVM dan Masalah Potensial

Hyperliquid sebagai bursa perdagangan buku pesanan on-chain yang banyak diperhatikan, arsitektur teknologinya dan keamanan layak untuk dibahas lebih dalam. Artikel ini akan menganalisis dari tiga aspek: struktur kontrak jembatan lintas rantai, karakteristik teknologi HyperEVM, dan potensi risiko keamanan.

Analisis Jembatan Lintas Rantai Hyperliquid

Hyperliquid telah menerapkan kontrak jembatan lintas rantai di Arbitrum untuk menyimpan aset USDC pengguna. Dari pembagian identitas node, Hyperliquid memiliki empat kelompok validator:

• hotValidatorSet: bertanggung jawab untuk menangani operasi frekuensi tinggi seperti penarikan pengguna
• coldValidatorSet: bertanggung jawab untuk mengubah konfigurasi sistem dan menangani situasi abnormal
• lockers: mirip dengan komite keamanan, dapat memilih untuk menangguhkan kontrak jembatan
• finalizers: konfirmasi perubahan status jembatan lintas rantai

Proses Setoran

Kontrak jembatan menggunakan metode Permit dari EIP-2612 untuk menangani setoran, hanya mengizinkan penyetoran USDC. Operasi setoran cukup sederhana, terutama diproses secara massal melalui fungsi batchedDepositWithPermit.

Proses Penarikan

Proses penarikan cukup rumit:

1. Pengguna mengajukan permintaan penarikan
2. Konfirmasi bobot tanda tangan 2/3 dari hotValidatorSet
3. Periode sengketa 200 detik
4. konfirmasi akhir anggota finalizers

Selama periode sengketa, lockers dapat memberikan suara untuk membekukan kontrak, coldValidatorSet dapat membuat sebagian penarikan menjadi tidak valid.

Mekanisme Penguncian Kontrak Jembatan

Anggota lockers dapat memanggil fungsi voteEmergencyLock untuk memberikan suara, 2 anggota yang memberikan suara dapat mengunci kontrak jembatan. Pembukaan kunci memerlukan 2/3 tanda tangan dari coldValidatorSet.

Pembaruan koleksi validator

Melalui fungsi updateValidatorSet untuk memperbarui hotValidatorSet dan coldValidatorSet, diperlukan tanda tangan dari semua anggota hotValidatorSet, dengan periode sengketa selama 200 detik.

Titik Risiko Utama

1. coldValidatorSet yang dikendalikan dapat melewati semua pertahanan untuk mencuri aset
2. finalizers dapat menolak konfirmasi transaksi penarikan, yang mengakibatkan aset pengguna tidak dapat ditarik
3. kontrak jembatan penguncian jahat, menghalangi penarikan

HyperEVM dan Arsitektur Interaksi Dua Rantai

Untuk mencapai kemampuan pemrograman dalam perdagangan buku pesanan, Hyperliquid telah meluncurkan solusi HyperEVM. Ciri-cirinya adalah:

1. Dapat membaca status buku pesanan Hyperliquid
2. Dapat berinteraksi dengan sistem buku pesanan Hyperliquid

Hyperliquid mengadopsi "solusi dual-chain", yang menjalankan dua rantai secara bersamaan:

• Hyperliquid L1: rantai khusus buku pesanan, berbasis izin
• HyperEVM: Rantai yang kompatibel dengan EVM, tanpa izin

Dua rantai berinteraksi melalui Precompiles dan Events:

• Precompiles: kode pra-kompilasi, memungkinkan EVM membaca status L1
• Acara: EVM melemparkan acara, node L1 mendengarkan dan melaksanakan operasi yang sesuai

Konsensus HyperBFT

Hyperliquid menggunakan algoritma konsensus HyperBFT yang ditingkatkan berdasarkan HotStuff, secara teoritis dapat memproses 2 juta pesanan per detik.

Catatan Penting untuk Pengembang

1. msg.sender mungkin merupakan alamat kontrak sistem, bukan alamat pengguna
2. Interaksi EVM dengan L1 tidak bersifat atomik, perlu menangani situasi kegagalan
3. Alamat kontrak EVM perlu membuat akun pemetaan di L1
4. Saldo mungkin sementara tidak terlihat selama proses lintas rantai aset.

Ringkasan

Hyperliquid menggabungkan buku pesanan berkinerja tinggi dan pemrograman melalui arsitektur dual chain dan mekanisme interaksi inovatif. Namun, mekanisme validator yang kompleks dan interaksi lintas rantai juga membawa potensi risiko keamanan, yang perlu diperhatikan dan dioptimalkan lebih lanjut.