Analisis Mendalam Hyperliquid: Arsitektur Teknologi dan Risiko Potensial

Hyperliquid sebagai bursa perdagangan buku pesanan on-chain yang mendapatkan perhatian besar, arsitektur teknologinya dan keamanannya layak untuk dibahas lebih dalam. Artikel ini akan menganalisis implementasi teknis Hyperliquid dari dua sudut pandang: struktur kontrak jembatan lintas rantai, dan arsitektur dua rantai HyperEVM dan HyperL1.

Analisis Jembatan Lintas Rantai Hyperliquid

Hyperliquid telah menerapkan kontrak jembatan di Arbitrum untuk menyimpan aset USDC pengguna. Kontrak jembatan ini terdiri dari empat kelompok validator: hotValidatorSet, coldValidatorSet, finalizers, dan lockers, yang masing-masing bertanggung jawab atas fungsi yang berbeda.

mekanisme validator

• hotValidatorSet: menangani operasi frekuensi tinggi seperti penarikan pengguna
• coldValidatorSet: mengubah konfigurasi sistem, dapat membatalkan permintaan penarikan
• lockers: dapat memberikan suara untuk menghentikan operasi kontrak jembatan
• finalizers: Konfirmasi perubahan status jembatan lintas rantai

Saat ini Hyperliquid hanya memiliki 4 node validator, hotValidatorSet dan coldValidatorSet masing-masing sesuai dengan 4 alamat.

Proses Setoran

Jembatan kontrak menggunakan metode Permit EIP-2612 untuk menangani setoran, hanya mengizinkan setoran USDC. Fungsi batchedDepositWithPermit dapat menangani beberapa setoran secara batch, prosesnya cukup sederhana.

Proses Penarikan

Permintaan penarikan harus memenuhi syarat berikut:

1. Mendapatkan 2/3 bobot tanda tangan hotValidatorSet
2. Setelah periode sengketa 200 detik
3. Dikonfirmasi oleh anggota finalizers

Selama periode sengketa, lockers dapat memberikan suara untuk menangguhkan kontrak jembatan, coldValidatorSet dapat membatalkan permintaan penarikan.

Mekanisme Kunci Kontrak Jembatan

2 locker dapat memberikan suara untuk mengunci kontrak jembatan. Untuk membuka kunci, dibutuhkan bobot tanda tangan 2/3 dari coldValidatorSet, dan juga dapat memperbarui alamat validator.

Pembaruan Validator

Fungsi updateValidatorSet dapat memperbarui hotValidatorSet dan coldValidatorSet, memerlukan tanda tangan dari semua anggota hotValidatorSet, dan melewati periode sengketa selama 200 detik.

risiko potensial

1. coldValidatorSet yang dikendalikan dapat melewati semua garis pertahanan untuk mencuri aset pengguna.
2. finalizers mungkin menolak untuk mengonfirmasi transaksi penarikan
3. locker mungkin mengunci kontrak jembatan secara berniat jahat

HyperEVM dan Arsitektur Dual Chain

Hyperliquid menggunakan "solusi dua rantai", yang berjalan pada dua rantai secara bersamaan:

1. Hyperliquid L1: Dikhususkan untuk sistem buku pesanan, berbasis lisensi
2. HyperEVM: Rantai kompatibel EVM, tanpa izin

Dua rantai menyebarkan data melalui protokol konsensus yang sama, tetapi berjalan di lingkungan eksekusi yang berbeda. HyperEVM dapat membaca status L1 dan menulis data ke L1.

Precompiles

HyperEVM membaca status L1 melalui kode pra-kompilasi. Alamat pra-kompilasi yang diketahui 0x800 dapat membaca posisi kontrak permanen pengguna di blok L1 terbaru.

Acara

HyperEVM menulis data ke L1 melalui Events. Node L1 mendengarkan Events dari alamat tertentu (0x3333...3333), mengubah niat pengguna menjadi transaksi L1.

Konsensus HyperBFT

Hyperliquid menggunakan algoritma konsensus HyperBFT berbasis HotStuff, secara teori dapat memproses 2 juta pesanan per detik.

Catatan Penting Pengembangan

1. msg.sender mungkin adalah alamat kontrak sistem L1
2. Interaksi EVM dan L1 yang tidak atomik dapat menyebabkan kehilangan aset
3. Alamat kontrak EVM harus memiliki akun pemetaan di L1
4. Ketika aset lintas rantai, mungkin terjadi situasi di mana saldo tidak dapat dikueri sementara.

Secara keseluruhan, HyperEVM mirip dengan lapisan kedua yang berbasis Hyperliquid L1, tetapi menawarkan interoperabilitas yang lebih tinggi.