Cysic ha ufficialmente reso open-source Venus, ora elencato come partner di integrazione Ethproofs di Ethereum.

Secondo quanto riportato da ChainCatcher, Cysic ha annunciato ufficialmente l’open source del framework di proof zkVM orientato ai grafi chiamato Venus. Venus è costruito su ZisK e abbandona il tradizionale modello HAL, che considera il processo di proof come una serie di funzioni back-end isolate, codificando invece l’intero flusso di proof ZK come un unico grafo computazionale globale, separando la logica dall’esecuzione hardware.