Yayasan Ethereum mengubah prioritas: keamanan alih-alih kecepatan, 128-bit sebagai persyaratan tidak dapat diubah hingga tahun 2026

zkEVM ekosistem telah memecahkan teka-teki kecepatan. Dalam setahun terakhir, waktu pembuatan bukti berkurang dari 16 menit menjadi 16 detik, biaya transaksi turun 45 kali lipat, dan sebagian besar peserta jaringan kini memverifikasi 99% blok dalam 10 detik dengan perangkat standar. Ethereum Foundation secara resmi mengumumkan kemenangan ini pada 18 Desember — tekanan terhadap kapasitas throughput akhirnya mereda. Tetapi di balik keberhasilan dalam kecepatan tersembunyi krisis dalam keandalan.

Dari kecepatan ke keandalan: momen balik

Matematika dari banyak konstruksi berbasis STARK mulai runtuh dalam beberapa bulan terakhir. Asumsi yang menjadi dasar para perancang terbukti tidak mampu. Terutama terkait “proximity gap” dalam protokol SNARK dan STARK berbasis hash — asumsi yang telah dibantah oleh komunitas akademik. Hasilnya: keamanan efektif dari beberapa parameter turun jauh di bawah yang dinyatakan.

Ethereum Foundation menyimpulkan bahwa ketidakpercayaan matematis tersembunyi — tidak dapat diterima untuk sistem L1. Alih-alih strategi “keamanan berdasarkan asumsi” mereka menetapkan persyaratan tegas: keamanan terbukti, dengan set bit minimal 128. Ini menyamakan standar dengan standar akademik dan praktik kriptografi seumur hidup — tingkat yang bahkan secara teoretis tidak dapat dicapai oleh serangan.

Logikanya sederhana: jika seseorang memalsukan bukti zkEVM, dia menulis ulang seluruh status L1, menciptakan token dari tidak ada, memaksa protokol berbohong. Ini bukan sekadar kerentanan kontrak biasa — ini runtuhnya kepercayaan terhadap seluruh sistem. Itulah sebabnya EF menegaskan “cadangan keamanan” yang “tak terbantahkan”.

Tiga tahap implementasi dengan tenggat waktu ketat

Titik awal — Februari 2026:
Setiap tim zkEVM harus menghubungkan sistem bukti mereka ke “soundcalc” — alat perhitungan keamanan universal yang didukung EF. Alih-alih setiap proyek mengumumkan keamanan bit mereka berdasarkan asumsi unik, semua bekerja dengan satu standar. soundcalc akan diperbarui saat ditemukan serangan baru, menjamin relevansi penilaian.

Titik kedua — Mei 2026 (“Glamsterdam”): Keamanan terbukti minimal 100 bit, ukuran bukti akhir hingga 600 kilobyte, plus penjelasan publik tentang arsitektur rekursi setiap stack. Ini adalah langkah lebih lunak sebelum persyaratan akhir — target sementara yang secara kondisional memisahkan yang cukup andal dari yang jelas tidak cukup.

Titik ketiga — Desember 2026 (“H-star”): Target penuh: keamanan terbukti 128-bit, bukti berukuran tidak lebih dari 300 kilobyte, dan justifikasi kriptografi formal tentang topologi rekursi. Pada tahap ini, rekayasa beralih ke verifikasi formal — dunia bukti, bukan asumsi.

Arsenal teknis untuk mencapai yang mustahil

Ethereum Foundation tidak sekadar mengeluarkan persyaratan — mereka menunjuk alat yang membuat bukti 128-bit dan 300 kilobyte menjadi nyata.

WHIR — pengujian kedekatan Reed-Solomon yang baru, sekaligus skema komitmen untuk polinomial multi-baris. Dibandingkan dengan konstruk FRI sebelumnya: bukti 1,95 kali lebih kecil dengan tingkat keamanan yang sama, verifikasi jauh lebih cepat. Ini memastikan ketahanan pasca-kuantum tanpa penalti ukuran.

JaggedPCS — metode yang menghindari pengisian berlebih saat mengkodekan jejak sebagai polinomial. Pembuktinya mengurangi pekerjaan yang tidak perlu, menjaga keefisienan komitmen.

Grinding dan topologi rekursi yang terstruktur baik — pencarian parameter protokol secara kasar untuk menemukan bukti yang lebih murah dan kecil dalam batas keandalan, plus skema berlapis di mana ratusan bukti kecil digabungkan menjadi satu bukti akhir dengan keamanan yang dipertimbangkan matang.

Tim independen seperti Whirlaway sudah bereksperimen dengan WHIR untuk STARK multi-baris dengan efisiensi yang meningkat. Matematika berkembang pesat, tetapi juga menjauh dari asumsi yang setengah tahun lalu dianggap terjamin.

Taruhan besar, pertanyaan yang belum terjawab

Jika bukti dapat disiapkan dalam kurang dari 10 detik dan berukuran di bawah 300 kilobyte, Ethereum dapat secara radikal meningkatkan batas gas tanpa harus validator lokal menjalankan ulang setiap transaksi. Mereka akan memverifikasi bukti yang ringkas — jalan menuju staking yang realistis dengan throughput tinggi.

Namun kenyataan tertinggal dari lingkungan uji EthProofs. Pembuktian waktu nyata — masih merupakan standar di luar rantai, bergantung pada perangkat keras yang dikonfigurasi dan beban yang dikendalikan. Kesenjangan hingga ribuan validator independen yang harus menjalankan ini di rumah masih besar.

Yang paling sulit mungkin bukan matematika itu sendiri, tetapi formalitas arsitektur rekursi lengkap. Banyak zkEVM terdiri dari puluhan skema yang digabungkan dengan “lem” kode. Mendokumentasikan dan memverifikasi keamanan tumpukan seperti ini — pekerjaan besar untuk proyek seperti Verified-zkEVM, yang masih dalam tahap awal.

Selain itu, set bit 100 saat ini bisa saja direvisi besok jika muncul serangan baru. soundcalc terus “bergerak”, diperbarui seiring kemajuan kriptoanalisis.

Dari perlombaan ke kecepatan ke perlombaan ke keandalan

Setahun lalu, pertanyaannya adalah: apakah zkEVM dapat membuktikan cukup cepat? Jawaban sudah didapat. Sekarang pertanyaan sebenarnya: apakah mereka dapat membuktikan cukup andal — pada tingkat keamanan yang tidak bergantung pada asumsi yang bisa diretas, dengan bukti yang kecil untuk distribusi P2P, dengan arsitektur yang secara formal diverifikasi untuk ratusan miliar dolar?

Lomba kapasitas throughput telah selesai. Perlombaan untuk keamanan tak terbantahkan baru saja dimulai.