Skip to content

Venus

Introduction

Venus is Cysic's high-performance zkVM for verifiable computation. It allows developers to execute arbitrary programs and generate zero-knowledge proofs that the computation was carried out correctly, without exposing the program's internal state.

Within Cysic's service product stack, Venus serves as the proving engine for workloads that need both high throughput and cryptographic verifiability. It is designed to make zk proving practical for production-scale applications, especially where latency, hardware utilization, and operational flexibility matter.

If you want to start building with Venus right away, go to the Venus Tutorial.

What Venus Provides

Venus combines a developer-friendly execution model with hardware-oriented proving performance:

  • General-purpose zkVM: run arbitrary programs and prove execution correctness.
  • High-performance proving: optimized for low-latency and large-scale proof generation.
  • Hardware acceleration: designed to benefit from GPU, FPGA, and future ASIC backends.
  • Flexible interfaces: usable through CLI, libraries, JSON-RPC, and gRPC-based services.
  • Distributed proving: supports coordinator/worker execution across multiple machines.
  • Hints stream support: offloads expensive operations outside the VM while preserving verifiability.

Why Venus Matters in Cysic Network

Venus is a core part of how Cysic delivers proving capacity as a service:

  • It gives application teams a practical way to access verifiable compute without building a proving system from scratch.
  • It improves the efficiency of proof generation for workloads routed through the Cysic Network.
  • It aligns with Cysic's long-term hardware roadmap, where proving performance can scale across specialized compute infrastructure.

This makes Venus a strong fit for:

  • zk applications that need scalable proving throughput
  • systems that require verifiable off-chain execution
  • teams exploring hardware-accelerated zero-knowledge infrastructure

Relationship to the ZK Proof Layer

The Cysic ZK Proof Layer describes the network-level proving and verification service. Venus is one of the underlying proving technologies that helps power that layer, especially for high-performance zkVM workloads.

At the product level:

  • the ZK Proof Layer explains the service model and network workflow
  • Venus explains the proving engine and execution environment behind part of that service

Get Started

If you want to build directly with Venus, start with the Venus Tutorial, which covers installation, quickstart, program authoring, precompiles, distributed execution, and the hints stream workflow.

Disclaimer

Venus is under active development. It has not yet reached a fully mature production release, and some workflows may continue to evolve as the proving stack improves.