Tiga Tahap Keamanan Jaringan L2: Dari Sistem Pembuktian ke Desentralisasi Pemerintahan

Keamanan jaringan L2 Ethereum telah menjadi fokus perhatian komunitas. Baru-baru ini, seseorang mengusulkan standar "Battle Tested" untuk mengukur kematangan jaringan L2, yang memicu diskusi tentang pembagian tahap keamanan L2. Salah satu pendiri Ethereum, Vitalik Buterin, melakukan analisis mendalam tentang hal ini, menjelaskan tiga tahap keamanan jaringan L2 dan logika perkembangannya.

Tiga Tahap Keamanan Jaringan L2

Vitalik membagi keamanan jaringan L2 menjadi tiga tahap, terutama berdasarkan tingkat kontrol dewan keamanan terhadap komponen tanpa kepercayaan:

1. Tahap 0: Komite Keamanan memiliki kendali penuh dan dapat membatalkan hasil sistem bukti dengan suara mayoritas sederhana.

2. Tahap 1: Komite Keamanan membutuhkan persetujuan lebih dari 75% untuk menutupi sistem pembuktian, dan harus ada sejumlah anggota eksternal yang terlibat.

3. Tahap 2: Komite Keamanan hanya dapat bertindak dalam situasi kesalahan yang dapat dibuktikan, seperti ketika dua sistem bukti redundan saling bertentangan.

Tiga fase ini mencerminkan proses bertahap dari kontrol terpusat ke Desentralisasi, di mana "porsi suara" dewan keamanan secara bertahap berkurang.

Analisis Model Matematika Pemilihan Tahap Optimal

Vitalik mengusulkan sebuah model matematis yang disederhanakan untuk mengukur keamanan pada berbagai tahap. Model ini didasarkan pada asumsi berikut:

• Setiap anggota dewan keamanan memiliki probabilitas kegagalan independen sebesar 10%
• Probabilitas kegagalan aktif dan kegagalan keamanan sama
• Tahap 0 dan tahap 1 masing-masing menggunakan mekanisme pengambilan keputusan mayoritas 4/7 dan 6/8
• Terdapat sistem bukti keseluruhan yang tunggal

Melalui perhitungan distribusi binomial, model menghasilkan probabilitas kegagalan jaringan L2 pada berbagai tahap. Hasilnya menunjukkan bahwa, seiring dengan meningkatnya kualitas sistem bukti, tahap terbaik beralih secara bertahap dari 0 ke 1, dan kemudian ke 2.

Pertimbangan Dalam Aplikasi Nyata

Vitalik menunjukkan bahwa asumsi model yang disederhanakan tidak sepenuhnya sesuai dengan kenyataan. Dalam praktiknya, anggota dewan keamanan mungkin memiliki "mode kegagalan bersama", dan sistem pembuktian mungkin terdiri dari beberapa sistem independen. Faktor-faktor ini membuat tahap 1 dan tahap 2 lebih menarik daripada yang diprediksi oleh model.

Dari sudut pandang matematis, tampaknya tahap 1 dapat dilewati. Namun, mengingat efisiensi pengambilan keputusan dalam situasi darurat, dapat diberikan kepada anggota komite keamanan individual hak untuk menunda penarikan jangka pendek, untuk menyeimbangkan keamanan dan fleksibilitas.

Pada saat yang sama, memasuki fase 2 terlalu awal juga memiliki risiko, terutama jika penguatan sistem bukti yang mendasarinya牺牲. Vitalik menyarankan agar penyedia data harus menunjukkan audit sistem bukti dan indikator kematangan, serta fase saat ini.

Secara keseluruhan, pengembangan keamanan jaringan L2 adalah proses yang bertahap, yang perlu menemukan keseimbangan antara Desentralisasi, keamanan, dan efisiensi. Dengan kemajuan teknologi yang terus-menerus dan akumulasi praktik, jaringan L2 diharapkan dapat mencapai tingkat keamanan dan keandalan yang lebih tinggi.