Cysic merilis sumber terbuka mesin Venus zkVM-nya, menata ulang pembuatan bukti sebagai graf komputasi global dan memposisikan ZisK di dalam pasar bukti EIP-8025 Ethereum yang sedang berkembang.
Cysic telah merilis Venus, mesin komputasi zkVM sumber terbuka baru yang merestrukturisasi pembuatan bukti di sekitar graf komputasi global daripada lapisan abstraksi perangkat keras tradisional, memposisikan tumpukan ZisK perusahaan secara tepat di dalam debat pasar bukti L1 Ethereum yang sedang berkembang. Mengumumkan langkah ini di X, Cysic menggambarkan Venus sebagai “dibangun di atas ZisK” dan mengatakan sistem tersebut “meninggalkan model HAL tradisional” demi representasi berbasis graf dari seluruh alur bukti. “Pergeseran paradigma ini menghasilkan tiga keuntungan inti: optimasi komputasi global, pengurangan pergerakan data yang tidak efektif, dan pemanfaatan GPU yang secara signifikan meningkat,” tulis tim tersebut.
Alih-alih memperlakukan backend perangkat keras sebagai urutan panggilan fungsi yang terisolasi, Venus mengodekan pembuatan bukti zero-knowledge sebagai graf komputasi eksplisit yang dapat dijadwalkan secara end-to-end di seluruh GPU, FPGA, dan ASIC di masa mendatang. Cysic mengatakan ini memungkinkan kompiler untuk “menyusun ulang instruksi dan menggabungkan operasi memori melintasi batas kernel,” mengurangi 'memory thrash' antara CPU dan akselerator serta lebih cocok dengan karakter operasi MSM dan NTT yang sangat paralel. Dalam pengujian internal, mesin Venus memberikan “peningkatan waktu pembuktian end-to-end lebih dari 9% dibandingkan ZisK 0.16.1,” terutama dengan memangkas overhead sinkronisasi CPU-GPU daripada bergantung pada peningkatan perangkat keras mentah.
Pengumuman Venus muncul saat proposal EIP-8025 Ethereum, yang dijuluki “Bukti Eksekusi Opsional,” memformalkan model multi-prover untuk validasi blok L1 menggunakan zkVM. Dalam penjelasannya, Cysic mencatat bahwa ZisK adalah “salah satu dari lima zkVM yang secara eksplisit disebut sebagai kandidat dalam diskusi komunitas resmi,” bersama sistem seperti RISC Zero dan openVM, dan mengatakan tim dapat “menyelesaikan pembuatan bukti untuk blok Ethereum dalam 7,4 detik menggunakan 24 GPU,” memenuhi target waktu nyata. Proyek ini “sudah aktif di Ethproofs, mengirimkan bukti waktu nyata untuk blok Ethereum menggunakan satu RTX 4090,” dan terdaftar sebagai mitra integrasi Ethproofs seiring ekosistem bergerak menuju pasar bukti L1.eips.
Cysic menempatkan Venus sebagai inti akselerasi perangkat lunak di dalam tumpukan yang lebih besar yang mencakup ZisK zkVM di titik masuk protokol, perangkat keras ASIC kustom sebagai basis komputasi, dan jaringan ComputeFi untuk menjadwalkan pekerjaan di seluruh provers. “Masalah sebenarnya bukanlah komputasi mentah yang tidak memadai, melainkan ketidaksesuaian arsitektur mendasar,” tim berargumen, menyatakan bahwa tumpukan zkVM, perangkat keras, dan penjadwalan yang terintegrasi erat diperlukan untuk melakukan hyperscale peta jalan zkEVM yang direncanakan Ethereum.university.
