Dari bukti tingkat menit ke keamanan tingkat slot: Apa arti real-time verification yang diimplementasikan oleh zkEVM?

Ditulis oleh: Tia, Techub News

Ketika “zkEVM mewujudkan verifikasi waktu nyata, membuktikan penundaan dari 16 menit menjadi 16 detik” sering disebutkan, sering kali dipahami sebagai peningkatan kinerja yang sederhana. Namun dalam sistem zk, waktu bukanlah indikator yang netral.

Perubahan magnitudo keterlambatan secara langsung menentukan apakah zkEVM dapat masuk ke jalur kritis waktu sistem, sehingga mengubah perannya dalam arsitektur.

16 detik bukan hanya “lebih cepat”, tetapi merupakan kali pertama membawa bukti zk ke dalam skala waktu yang mendekati slot blok. Langkah ini memiliki dampak yang secara esensial berbeda pada L2 zkEVM dan L1 zkEVM.

Tentang L2 zkEVM: Dari “finalitas setelah kejadian” ke status terpercaya tingkat slot

Dalam L2 zkEVM, fungsi zk proof adalah untuk membuktikan kepada Ethereum L1 keabsahan suatu transisi status L2.

Penundaan pembuktian selama sekitar 16 menit yang lalu berarti adanya batasan nyata:

L2 meskipun secara teoritis memiliki finalitas instan, namun dalam praktiknya, konfirmasi keamanannya selalu tertinggal beberapa siklus blok.

Ini menyebabkan blok L2 berada dalam keadaan “konfirmasi lunak” untuk waktu yang lama:

Pengalaman bagi pengguna adalah instan

Masih perlu menunggu untuk L1 dan sistem eksternal.

Ketika penundaan bukti turun menjadi sekitar 16 detik, struktur ini mengalami perubahan kualitas.

Pertama, bukti zk mulai dapat dihasilkan secara bergulir berdasarkan slot, bukan dengan membayar kembali sejumlah besar blok sejarah.

Ini berarti bahwa blok L2 pertama kali memiliki makna keamanan waktu yang mendekati L1, dan tidak lagi hanya menunggu status perantara yang dikonfirmasi secara final.

Kedua, ini secara langsung mempengaruhi model kepercayaan sistem lintas domain.

Jembatan lintas rantai, pengisian ulang CEX, dan sistem penyelesaian dapat bergantung pada hasil verifikasi zk di L1 dalam waktu detik, tanpa perlu mengatur jendela tunggu tambahan atau pengendalian risiko manual.

Yang lebih penting, zkEVM untuk pertama kalinya sejajar dengan Optimistic Rollup di tingkat pengalaman pengguna. Jalur zk tidak lagi hanya “lapisan penyelesaian yang aman tetapi lambat”, tetapi mulai menjadi lingkungan eksekusi yang dapat mendukung aplikasi waktu nyata.

Untuk L1 zkEVM: zk pertama kali mendekati skala waktu konsensus

L1 zkEVM bukanlah sebuah Rollup, melainkan sebuah potensi rekonstruksi cara verifikasi eksekusi L1.

Asumsi konsensus Ethereum saat ini adalah: setiap validator perlu mengeksekusi EVM lagi, dan secara langsung memverifikasi bahwa transisi status dalam blok adalah benar. Kemampuan eksekusi dengan demikian menjadi bagian dari keamanan konsensus, serta menjadi batasan keras untuk skalabilitas sistem.

Ide L1 zkEVM adalah untuk mengubah ini: tidak lagi mengharuskan validator untuk mengeksekusi EVM, hanya perlu memverifikasi sebuah bukti zk.

Validitas blok berubah dari “Saya sudah menghitung” menjadi “Saya telah memverifikasi sebuah fakta kriptografi.”

Namun, desain ini memiliki satu syarat: pembuktian zk harus cukup cepat untuk masuk ke jalur kritis konsensus.

Jika pembuatan bukti memerlukan waktu beberapa menit, itu hanya dapat digunakan sebagai verifikasi setelah fakta; hanya ketika penundaan bukti mendekati waktu slot, zk akan memiliki kemungkinan untuk berpartisipasi dalam penilaian waktu nyata “apakah blok tersebut valid”.

Oleh karena itu, makna 16 detik bukanlah “cukup cepat”, melainkan: zkEVM untuk pertama kalinya tidak diabaikan dalam desain konsensus dalam skala waktu.

Ini juga alasan mengapa diskusi tentang L1 zkEVM sangat berfokus pada keamanan 128-bit, teori pembuktian, dan asumsi kriptografi jangka panjang. Begitu zk memasuki jalur konsensus, tingkat keamanannya setara dengan fungsi hash dan algoritma tanda tangan.

Dari sudut pandang yang lebih makro, ini adalah titik di jalur logika yang sama dengan snarkification dan Beam Chain yang sedang didorong oleh Ethereum.

Lapisan konsensus mengejar kesederhanaan, stabilitas, dan verifikasi yang dapat diformalkan; lapisan eksekusi dapat kompleks, paralel, dan teroutsourcing; sedangkan kebenaran dibuktikan dan dikompresi oleh zk.

Kesimpulan

Oleh karena itu, “bukti keterlambatan menurun dari 16 menit menjadi 16 detik” bukanlah terobosan kinerja biasa, itu menandakan bahwa zkEVM sedang beralih dari “alat keamanan pasca buktikan”, berkembang menjadi “infrastruktur yang mungkin berpartisipasi dalam definisi finalitas waktu nyata.”

Dan begitu skala waktu zk mendekati slot, komponen mana dalam sistem yang merupakan inti, dan mana yang hanya sebagai pelengkap, sering kali juga akan ditulis ulang.