Компания Cysic открыла исходный код своей платформы Venus zkVM, системы доказательств с графовой архитектурой, построенной на базе ZisK. Эта система отличается от традиционной модели HAL тем, что кодирует весь конвейер доказательств ZK в виде глобального графа вычислений. Такой подход отделяет логику от аппаратного исполнения, что приводит к более эффективному процессу доказательства. Результаты реальных тестов показывают, что Venus сокращает время полного процесса доказательства более чем на 9% по сравнению с ZisK версии 0.16.1 и уменьшает накладные расходы на синхронизацию между CPU и GPU. Платформа совместима с GPU, FPGA и ASIC. Кроме того, Cysic присоединилась к Ethproofs в качестве партнёра по интеграции и будет работать в качестве узла Ethereum zkEVM. ZisK zkVM, лежащая в основе Venus, входит в число пяти zkVM, рассматриваемых для обновления Ethereum EIP-8025, что ставит Cysic в авангард рынка доказательств уровня L1 Ethereum.