Cysic släpper Venus zkVM som öppen källkod när Ethereum-bevismarknaden hettar till

Cysic har open-sourcat sin Venus zkVM-beräkningsmotor och omformulerar nollkunskapsbevisgenerering som en global beräkningsgraf istället för ett traditionellt maskinvaruabstraktionslager (HAL). Företaget säger att Venus zkVM-design förbättrar end-to-end bevisprestanda genom att minska CPU–GPU-synkroniseringsöverhead istället för att förlita sig på ny hårdvara. I interna benchmarktester rapporterar Cysic över 9% snabbare end-to-end bevisgenerering jämfört med ZisK 0.16.1. Uppdateringen placerar ZisK i Ethernets framväxande debatt om L1 bevismarknad kopplad till EIP-8025 ("Optional Execution Proofs"), som föreslår en modell med flera bevisförare för L1-blockvalidering med hjälp av zkVMs. Cysic hävdar att ZisK redan är live på Ethproofs: det kan slutföra generering av bevis för Ethereum-block på cirka 7,4 sekunder med 24 GPU:er, och det kan köra realtidsprovering på ett enda RTX 4090. Venus beskrivs som "byggt ovanpå ZisK" och "överger den traditionella HAL-modellen", med målet att öka GPU-utnyttjandet, minska ineffektiv datarörelse och möjliggöra end-to-end-schemaläggning över GPU:er, FPGA:er och framtida ASIC:er. För traders är detta en infrastrukturell utveckling för Ethereum zkEVM/bevisgenerering—mer relevant för L1 skalbarhetsberättelser än omedelbara prisdrivare—även om det kan stärka förtroendet för framsteg i zk-beviskörning i takt med att diskussionerna om EIP-8025 fortskrider.