Ang Cysic ay nagbukas ng source code ng Venus zkVM engine nito, na muling hinuhubog ang pagbuo ng patunay bilang isang pandaigdigang graph ng komputasyon at inilalagay ang ZisK sa loob ng umuusbong na merkado ng patunay ng EIP‑8025 ng Ethereum.
Inilabas ng Cysic ang Venus, isang bagong open‑source na zkVM compute engine na muling nagbubuo ng pagbuo ng patunay sa paligid ng isang pandaigdigang graph ng komputasyon sa halip na isang tradisyonal na hardware abstraction layer, na nagpoposisyon sa ZisK stack ng kumpanya nang direkta sa loob ng umuusbong na debate sa L1 proof‑market ng Ethereum. Sa pag-aanunsyo ng hakbang sa X, inilarawan ng Cysic ang Venus bilang “itinayo sa ibabaw ng ZisK” at sinabing ang sistema ay “tinalikuran ang tradisyonal na modelo ng HAL” pabor sa isang representasyon na nakabatay sa graph ng buong pipeline ng patunay. “Ang pagbabagong ito ng paradigma ay nagbibigay ng tatlong pangunahing bentahe: pandaigdigang pag-optimize ng komputasyon, nabawasan ang hindi epektibong paggalaw ng data, at kapansin-pansing pinabuting paggamit ng GPU,” sulat ng team.
Sa halip na tratuhin ang mga hardware backend bilang isang pagkakasunod-sunod ng mga nakahiwalay na tawag sa function, ang Venus ay nag-e-encode ng pagbuo ng zero‑knowledge proof bilang isang tahasang graph ng komputasyon na maaaring iskedyul mula simula hanggang dulo sa mga GPU, FPGA at hinaharap na ASIC. Sinabi ng Cysic na nagbibigay-daan ito sa compiler na “muling ayusin ang mga instruksyon at pagsamahin ang mga operasyon ng memorya sa buong hangganan ng kernel,” binabawasan ang paglipat ng memorya sa pagitan ng CPU at accelerator at mas mahusay na tumutugma sa malawakang parallel na katangian ng mga operasyon ng MSM at NTT. Sa mga internal na pagsubok, naghatid ang Venus engine ng “higit sa 9% pagpapabuti sa oras ng pagpapatunay mula simula hanggang dulo kumpara sa ZisK 0.16.1,” pangunahin sa pamamagitan ng pagbabawas ng overhead ng pag-synchronize ng CPU‑GPU sa halip na umasa sa mga pagpapabuti ng raw hardware.
Dumating ang anunsyo ng Venus habang ang panukalang EIP‑8025 ng Ethereum, na tinawag na “Optional Execution Proofs,” ay pormal na bumubuo ng isang multi‑prover na modelo para sa L1 block validation gamit ang mga zkVM. Sa paliwanag nito, sinabi ng Cysic na ang ZisK ay “isa sa limang zkVM na hayagang pinangalanan bilang mga kandidato sa opisyal na talakayan ng komunidad,” kasama ang mga sistema tulad ng RISC Zero at openVM, at sinabi ng team na kaya na nilang “kumpletuhin ang pagbuo ng patunay para sa isang Ethereum block sa loob ng 7.4 segundo gamit ang 24 na GPU,” tinutupad ang mga target sa real‑time. Ang proyekto ay “aktibo na sa Ethproofs, nagsumite ng mga patunay sa real‑time para sa mga Ethereum block gamit ang isang RTX 4090,” at nakalista bilang isang Ethproofs integration partner habang lumalapit ang ecosystem sa isang L1 proof market.eips.
Inilarawan ng Cysic ang Venus bilang pangunahing software acceleration sa loob ng mas malaking stack na kinabibilangan ng ZisK zkVM sa entry point ng protocol, custom na ASIC hardware bilang base ng komputasyon at isang ComputeFi network para sa pag-iskedyul ng mga trabaho sa mga provers. “Ang tunay na problema ay hindi ang kakulangan sa raw compute kundi ang pangunahing hindi pagtutugma ng arkitektura,” ang pagtatalo ng team, na nagsasabing isang mahigpit na isinamang zkVM, hardware at scheduling stack ang kinakailangan upang i-hyperscale ang nakaplanong zkEVM roadmap ng Ethereum.university.
