Seperti yang kita semua tahu, rantai publik yang benar-benar terdesentralisasi L1 akan menghadapi segitiga yang mustahil (tidak dapat memperhitungkan keamanan, skalabilitas, dan desentralisasi pada saat yang bersamaan), dan salah satu fondasi nilai terpenting dari Ethereum, desentralisasi, juga merupakan aspek yang selalu dipatuhi Ethereum. Ethereum selalu berharap untuk pada akhirnya berjalan pada perangkat keras rumah tangga biasa, dengan lebih dari puluhan ribu node dan jutaan validator. Desakan Ethereum pada desentralisasi juga menyebabkan kemajuan yang relatif lambat dalam kinerja L1, dan akhirnya mengembangkan arsitektur L1 dan L2, tetapi saat ini L2 memiliki masalah fragmentasi likuiditas dan penangkapan nilai yang tidak memadai. Bagaimana cara memecahkan dilema asli blockchain Ethereum (keamanan, skalabilitas, dan desentralisasi)? Salah satu aspek penting adalah adopsi teknologi proof-of-the-art ZK. Pada intinya, bukti ZK memungkinkan sejumlah besar perhitungan atau transaksi dieksekusi di luar rantai, setelah itu hanya bukti ringkas yang diserahkan secara on-chain, membuktikan bahwa eksekusi tersebut benar tanpa mengungkapkan semua detailnya. Keuntungannya adalah dapat mewarisi keamanan sekaligus meningkatkan skalabilitas dan meningkatkan desentralisasi. Misalnya, zkVM digunakan untuk memperluas L1/L2, yang juga kondusif untuk pemisahan likuiditas L2. Bukti ZK aman secara kriptografis, memastikan eksekusi off-chain bebas kesalahan. Setelah terbukti tidak valid, itu akan ditolak, mewarisi keamanan asli Ethereum. Jika terbukti menghasilkan dan verifikasi yang efisien dan berbiaya rendah, dan jika perangkat keras biasa (ponsel atau komputer rumah) dapat berpartisipasi dalam verifikasi node, maka ada peluang untuk lebih meningkatkan desentralisasi. Produk inti SP1 (Succinct Proofs 1) yang baru-baru ini diluncurkan oleh Succinct (proyek infrastruktur yang berfokus pada bukti ZK) adalah zkVM berkinerja tinggi (mesin virtual tanpa pengetahuan) yang memungkinkan pengembang untuk menulis program arbitrer di Rust dan menghasilkan bukti ZK untuk membuktikan kebenaran eksekusi program tanpa menulis ulang sirkuit. Ini sangat membantu ekosistem Ethereum dalam memecahkan masalah segitiga yang mustahil. Secara khusus, Succinct dapat membantu Ethereum menskalakan dengan: Pertama, SP1-nya adalah zkVM berkinerja tinggi yang mendukung bukti eksekusi program dalam bahasa kompilasi LLVM apa pun, dan dapat diterapkan pada rollup, koprosesor, dan skenario zkEVM. SP1 Ringkas mendukung pembuatan bukti cepat, dan menurut klaim resmi saat ini, ia dapat menghasilkan bukti Ethereum dengan kecepatan waktu nyata, yang hampir mendekati teknologi "bukti waktu nyata". Menurut deskripsi pengujian resmi saat ini, dalam tolok ukur 10.000 blok Ethereum, lebih dari 93% blok dapat menghasilkan bukti dalam 12 detik, dan tolok ukur menggunakan cluster sekitar 200 GPU NVDIA RTX 4090 untuk mencapai kinerja di atas. Menjalankan klaster bukti real-time penuh membutuhkan sekitar 160 GPU RTX 4090, dan biaya build saat ini adalah sekitar $30-400.000, dan ada peluang untuk mengurangi biaya menjadi sekitar $100.000 melalui pengoptimalan perangkat keras dan peningkatan sistem pembuktian. Selain itu, Succinct juga merupakan jaringan pembuktian terdesentralisasi, yang dapat mengurangi biaya dan latensi verifikasi Ethereum melalui pemisahan komputasi dan verifikasi, dengan tujuan akhir memungkinkan node atau ponsel biasa untuk berpartisipasi dalam memverifikasi bukti dan mendukung Ethereum untuk memperluas ke lebih banyak validator. Terakhir, teknologi ZK juga akan memungkinkan lebih banyak skenario aplikasi, seperti verifikasi identitas, transaksi pribadi, operasi lintas rantai, dan banyak lagi. Singkatnya, teknologi ZK adalah salah satu bagian terpenting dari perjalanan Ethereum menuju 10.000tps.