1/ Sebagian besar penyebar ZK dibangun untuk menghasilkan bukti yang benar. Hanya sedikit yang dibuat agar cepat, dapat diaudit, dan siap produksi. Bagian I memperkenalkan pembuktian graf-pertama. Bagian II menunjukkan angka-angkanya. Bagian III adalah peta jalan untuk membuat Venus berproduksi. Selamat datang di final trilogi zkVM. 🧵

2/ Fase 1: Kinerja. Kami membangun dengan grafik komputasi – bukan HAL – sebagai antarmuka eksekusi inti sejak hari pertama. Integrasi cudaGraph awal sudah menunjukkan peningkatan 9-12% pada RTX 5090. Target: 15%+, dengan multi-GPU terbukti berikutnya. Setiap optimasi senyawa.

3/ Fase 2: Keamanan Kinerja mengemudi grafik yang sama juga dapat memeriksa protokol bukti itu sendiri. Wawasan kunci: Jenis argumen ZK kecil dan dapat dihitung – SumCheck terurai menjadi hanya dua. Bangun perpustakaan tepercaya terbatas, verifikasi protokol apa pun secara mekanis.

4/ Fase 3: integrasi rbuilder. Pembuatan blok tidak sabar menunggu slow prover. Jadi, kami membangun pipeline asinkron dengan preemption sadar reorganisasi dan fallback yang anggun saat membuktikan berakhir. Tujuannya: ZK membuktikan bahwa cocok dengan produksi blok langsung tanpa memperlambatnya.

5/ Fase 4: Ekonomi. Bisakah node zkEVM mempertahankan dirinya sendiri? Kami memodelkan biaya bukti, pangsa MEV, & insentif protokol terhadap biaya perangkat keras & operasi di 3 konfigurasi GPU (dari RTX 5090 tunggal hingga 8x) untuk menemukan titik impas. Graph-first hanya menang jika layak untuk dijalankan.

6/ Sebagian besar penyebar ZK dibangun untuk menghasilkan bukti yang benar. Bukti yang benar adalah dasarnya. Kami sedang membangun yang juga cepat, dapat diaudit, siap produksi, dan berkelanjutan untuk dijalankan. Itulah yang dimungkinkan oleh graph-first. Baca Bagian III: