Kami baru saja selesai meninjau proyek, jadi inilah utas singkat tentang @Lighter_xyz 🧵

Perbedaan besar pertama antara rantai perp yang lebih ringan dan gelombang terbaru adalah penggunaan bukti ZK. jembatan yang memegang lebih dari $1 miliar hanya mengizinkan penarikan yang telah dibuktikan oleh program tetap. Karena itu, validator tidak dapat begitu saja menandatangani penarikan yang tidak valid untuk mencuri dana.

Kabar buruknya adalah bahwa program yang dibuktikan oleh ZK Proofs tidak tersedia sumber, jadi saat ini tidak mungkin untuk memeriksa apakah rantai menerapkan logika bisnisnya dengan benar. Tim telah berkomunikasi dengan kami bahwa mereka sedang bekerja untuk mempublikasikannya dalam 1 atau 2 minggu.

Dengan asumsi bahwa program ini bagus, bukti ZK saja tidak cukup untuk mencegah hilangnya dana. Misalnya, sequencer terpusat dapat menyensor permintaan penarikan Anda, atau permintaan Anda untuk membatalkan pesanan. untungnya, @Lighter_xyz menerapkan transaksi paksa melalui L1.

jika beberapa pengguna tidak dapat memasukkan transaksi mereka dengan mengirimkannya ke sequencer, mereka dapat memaksanya melalui L1, mewarisi resistensi sensor penuh. Sequencer sekarang memiliki dua opsi: Entah itu menyertakan TX dan semua orang senang, atau proyek terpaksa dimatikan.

Ya, Anda membacanya dengan benar: sequencer sekarang memiliki insentif yang kuat untuk menyertakan semua permintaan, jika tidak, sistem dapat dimasukkan ke dalam "mode gurun", yaitu dimatikan. TX paksa yang tidak dapat diabaikan oleh sequencer meliputi: penarikan, setoran, pembuatan dan pembatalan pesanan.

Tetapi bagaimana pengguna bisa keluar jika sistem dimatikan? Di sinilah escape hatch masuk: Karena Lighter adalah rollup dan memastikan ketersediaan data dengan blob, pengguna dapat merekonstruksi status terbaru dan membuktikan saldo mereka untuk keluar. Semua pesanan terbuka diselesaikan menggunakan harga terbaru.

Proyek ini saat ini dapat ditingkatkan dengan penundaan 21 hari, tetapi penundaan tersebut dapat dikurangi menjadi nol oleh "Dewan Keamanan" yang dibentuk oleh multisig 3/5. Ini saja sudah mencegah sistem untuk dianggap tahap 1. Tim telah mengomunikasikan rencana untuk meningkatkan pengaturan ini.

Kekhawatiran lain muncul dari harga indeks. Oracle eksternal yang digunakan oleh proyek saat ini tidak diautentikasi dengan benar dan sequencer sepenuhnya dipercaya untuk melaporkannya dengan benar. Ini adalah kerentanan kritis yang telah direncanakan tim untuk ditangani.

Terakhir, cukup jelas dari kontrak bahwa tim mengambil inspirasi berat dari @zksync Lite lama, yang bagus! zksync lite, bersama dengan dYdX v3, selalu diakui sebagai rollup khusus aplikasi dengan model keamanan yang sangat baik.