Vitalik baru saja memberi sinyal penting soal prioritas zkEVM 🎯
Selamat kepada tim $ZKS Airbender atas pencapaiannya, tapi inilah insight sesungguhnya:
Perang kecepatan SUDAH BERAKHIR. Keamanan kini satu-satunya hal yang penting.
Yang perlu diverifikasi secara formal:
1. Aritmetisasi = spesifikasi Ethereum (tanpa penyimpangan diam-diam)
2. Batas maksimum biaya prover per unit gas (tanpa lonjakan biaya tak terduga)
3. Keamanan sistem pembuktian itu sendiri (fondasinya)
Pada dasarnya, Vitalik mengatakan: berhenti berlomba mengejar TPS, mulailah membuktikan bahwa semuanya benar-benar berfungsi. Tim zkEVM yang lebih dulu menguasai verifikasi formal akan unggul. Sisanya cuma cepat, tapi rusak.
Amati tim mana yang serius beralih ke audit keamanan dan metode formal pada Q2. Itulah narasi besar berikutnya.
Selamat kepada tim $ZKS Airbender atas pencapaiannya, tapi inilah insight sesungguhnya:
Perang kecepatan SUDAH BERAKHIR. Keamanan kini satu-satunya hal yang penting.
Yang perlu diverifikasi secara formal:
1. Aritmetisasi = spesifikasi Ethereum (tanpa penyimpangan diam-diam)
2. Batas maksimum biaya prover per unit gas (tanpa lonjakan biaya tak terduga)
3. Keamanan sistem pembuktian itu sendiri (fondasinya)
Pada dasarnya, Vitalik mengatakan: berhenti berlomba mengejar TPS, mulailah membuktikan bahwa semuanya benar-benar berfungsi. Tim zkEVM yang lebih dulu menguasai verifikasi formal akan unggul. Sisanya cuma cepat, tapi rusak.
Amati tim mana yang serius beralih ke audit keamanan dan metode formal pada Q2. Itulah narasi besar berikutnya.