Cysic merilis secara terbuka mesin zkVM Venus miliknya, mengubah pembuatan proof menjadi sebuah global computation graph dan menempatkan ZisK dalam pasar proof EIP‑8025 Ethereum yang sedang berkembang.
Ringkasan

• Venus menggantikan lapisan abstraksi perangkat keras tradisional dengan tampilan berbasis graph dari seluruh pipeline proses proving, memungkinkan optimasi komputasi global dan pemanfaatan GPU yang lebih baik.
• Cysic melaporkan peningkatan waktu proof end‑to‑end lebih dari 9% dibanding ZisK 0.16.1 dengan memangkas overhead sinkronisasi CPU‑GPU, bukan mengandalkan perangkat keras baru.
• ZisK sudah live di Ethproofs dan dirujuk dalam diskusi EIP‑8025, dengan tim mengklaim proof blok Ethereum 7,4 detik pada 24 GPU serta proving real‑time pada satu RTX 4090.

Cysic telah merilis Venus, mesin komputasi zkVM sumber terbuka baru yang merestrukturisasi pembuatan proof di sekitar global computation graph, bukan di sekitar lapisan abstraksi perangkat keras tradisional, menempatkan stack ZisK perusahaan secara jelas di dalam perdebatan pasar proof L1 Ethereum yang sedang berkembang. Saat mengumumkan langkah tersebut di X, Cysic menggambarkan Venus sebagai “dibangun di atas ZisK” dan mengatakan sistem tersebut “meninggalkan model HAL tradisional” demi representasi berbasis graph dari seluruh pipeline proof. “Perubahan paradigma ini menghasilkan tiga keuntungan inti: optimasi komputasi global, pengurangan perpindahan data yang tidak efektif, serta peningkatan pemanfaatan GPU yang secara nyata,” tulis tim tersebut.

Rancangan zkVM berbasis graph {#graphfirst-zkvm-design}

Alih‑alih memperlakukan backend perangkat keras sebagai rangkaian pemanggilan fungsi yang terisolasi, Venus mengenkode pembuatan proof pengetahuan nol sebagai sebuah computation graph eksplisit yang dapat dijadwalkan end‑to‑end di seluruh GPU, FPGA, dan ASIC di masa depan. Cysic mengatakan hal ini memungkinkan kompiler untuk “mengatur ulang instruksi dan menggabungkan operasi memori lintas batas kernel,” sehingga mengurangi thrash memori antara CPU dan akselerator serta lebih selaras dengan karakter operasi MSM dan NTT yang sangat paralel. Dalam pengujian internal, mesin Venus menghadirkan “peningkatan waktu proof end‑to‑end lebih dari 9% dibanding ZisK 0.16.1,” terutama dengan memangkas overhead sinkronisasi CPU‑GPU daripada mengandalkan peningkatan mentah dari perangkat keras.

Jalur langsung ke lini proof Ethereum {#direct-line-into-ethereums-proof-track}

Pengumuman Venus hadir bersamaan dengan proposal Ethereum EIP‑8025, yang dijuluki “Optional Execution Proofs,” yang 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 disebutkan sebagai kandidat dalam diskusi komunitas resmi,” bersama dengan sistem seperti RISC Zero dan openVM, dan mengatakan tim sudah bisa “menyelesaikan pembuatan proof untuk sebuah blok Ethereum dalam 7,4 detik menggunakan 24 GPU,” memenuhi target real‑time. Proyek ini “sudah live di Ethproofs, mengirimkan proof real‑time untuk blok Ethereum menggunakan satu RTX 4090,” dan terdaftar sebagai mitra integrasi Ethproofs saat ekosistem bergerak menuju pasar proof L1.eips.

Aksi infrastruktur ZK full‑stack {#fullstack-zk-infrastructure-play}

Cysic menggambarkan 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, serta jaringan ComputeFi untuk penjadwalan job lintas prover. “Masalahnya bukan kurangnya komputasi mentah, melainkan ketidakcocokan arsitektural yang mendasar,” ujar tim tersebut, dengan menyatakan bahwa diperlukan zkVM, perangkat keras, dan tumpukan penjadwalan yang sangat terintegrasi untuk melakukan hyperscale pada peta jalan zkEVM Ethereum yang direncanakan.university.