Untuk waktu yang lama, teknologi zero-knowledge proof telah dianggap sebagai teknologi "sempurna dalam teori, lambat dalam praktik" karena overhead komputasinya yang tinggi dan kecepatan lambat dalam proses pembuatan, sehingga sulit untuk memenuhi persyaratan ketat waktu pembuatan blok blockchain dan menghambat penerapannya dalam skenario praktis. Namun, pada tahun 2025, situasi ini akan benar-benar terbalik, dan kinerja ZK tidak lagi menjadi hambatan utama untuk adopsinya. Terobosan penting adalah sistem bukti SP1 Hypercube yang dikembangkan oleh tim Succinct. Ini berhasil menunjukkan kemampuan untuk menghasilkan bukti ZK untuk lebih dari 93% blok mainnet Ethereum dalam slot blok 12 detik (Slot) pada sekelompok GPU kelas konsumen, dengan waktu bukti rata-rata hanya 10,3 detik. Alasan mengapa Succint SP1 Hypercube telah membuat kemajuan teknologi yang signifikan dapat dipahami dengan mudah karena dua peningkatan berikut: 🔹 Proses pembuatan bukti ZK melibatkan pengkodean data transaksi blockchain ke dalam polinomial matematis, yang membantu membentuk bukti akhir. Anggap saja seperti menjejalkan tumpukan besar barang bawaan yang berantakan ke dalam kotak. Polinomial yang digunakan di masa lalu disebut Polinomial Univariat, yang tidak sesuai dengan struktur data blockchain, sama seperti mengisi item persegi dengan kotak bundar, selalu ada celah atau pemeratan, menghasilkan persiapan pengkodean yang memakan waktu dan tidak efisien. SP1 Hypercube menemukan polinomial polilinier baru, yang lebih sejalan dengan sifat multi-dimensi data transaksi, yang setara dengan merancang kotak persegi panjang yang dapat mengisi bagasi dengan sempurna. Ini sangat mempersingkat waktu persiapan pengkodean data, mempercepat pembuatan bukti dari menit menjadi detik, dan mewujudkan real-time. 🔹 Ternyata generasinya seperti satu orang yang mengemas secara manual, dan seluruh prosesnya selangkah demi selangkah dan tidak dapat dipisahkan. SP1 Hypercube sekarang menggunakan algoritme baru (termasuk agregasi rekursif dan protokol pengoptimalan) yang memungkinkan bukti besar dibagi menjadi beberapa tugas bukti kecil, yang masing-masing diproses secara independen dan kemudian dengan mudah digabungkan menjadi bukti lengkap. Keuntungan dari splitting adalah dapat memanfaatkan sepenuhnya CPU multi-core atau komputasi paralel GPU, seperti beberapa orang yang mengemasi tas mereka pada saat yang sama, menghasilkan lonjakan kecepatan keseluruhan, yang dapat mengejar irama Ethereum satu blok setiap 12 detik untuk bukti waktu nyata.

1/ 📖 Laporan Penelitian Penelitian Web3Caff Diluncurkan: "Ekosistem Ethereum 2025 dan Deduksi Takdir Masa Depan Laporan Penelitian 25.000 kata: Di bawah permainan akhir ZK, dapatkah perubahan mendalam ke dalam terus menerobos dan memimpin dalam arus sejarah?" 》 Ditulis oleh peneliti @Web3Caff_Res @ChromiteMerge, sistem ini menganalisis inovasi teknologi, restrukturisasi ekologis, dan pergeseran tata kelola Ethereum pada tahun 2025: dari revitalisasi dan ZKISASI L1, ke transformasi L2 dan evolusi strategis fondasi, menyajikan titik balik utama Ethereum dalam tampilan panorama. Baca selengkapnya 👇

Dalam VM tradisional, konsensus bergantung pada "semua node berulang kali mengeksekusi setiap transaksi", sehingga throughput seluruh jaringan dibatasi oleh node paling lambat, dan daya komputasi terbuang-untuk banyak perhitungan ulang. Di zkVM, prosesnya dipecah menjadi "eksekusi + bukti + verifikasi": program dan input hanya perlu dijalankan sekali di zkVM untuk menghasilkan hasil dan bukti tanpa pengetahuan; Node lain tidak perlu komputasi ganda, cukup verifikasi bukti ini. Dengan cara ini, beban komputasi sangat berkurang. Ambil zkVM (R0VM) RISC Zero sebagai contoh: 🔹 Ini menggunakan set instruksi RISC-V sebagai inti, dan pengembang hanya perlu menulis program tamu di Rust / C / C++ dan mengkompilasinya menjadi file RISC-V ELF. 🔹 Setiap file ELF sesuai dengan ID Gambar unik untuk memastikan bahwa "kode ini dieksekusi"; 🔹 Hasil eksekusi menghasilkan Tanda Terima yang mencakup: Jurnal: Output yang tersedia untuk umum atau hasil yang dijanjikan; Segel: Bukti ZK pendek yang dapat diverifikasi on-chain atau off-chain. Pada akhirnya, node di jaringan hanya perlu memverifikasi tanda terima ini tanpa harus melakukan ulang semua perhitungan. Akibatnya, biaya "konsistensi di seluruh jaringan" turun secara dramatis dari eksekusi berulang hingga memverifikasi bukti pendek.