Gevulot Docs
  • Introduction
  • Firestarter
    • Overview
    • Get Started
      • Create Account
      • Purchase Credits
    • Run Workloads
      • Tasks
      • Workflows
    • Deploy Provers
      • Prover Packaging
      • Prover Deployment
    • RPC API
      • gRPC
      • gevulot-rs
    • Integrations
      • Zk Stack
      • Polygon CDK
      • Scroll SDK
    • Pricing
    • Firestarter AI
    • Firestarter Explorer
  • ZkCloud Design
    • Overview
    • Prover/Verifier Programs
    • Proving Workloads
    • Network Actors
    • Economics
    • Execution Guarantees
  • Usecases
    • Validity Rollups
    • Proof Aggregation
    • ZkVMs
    • Bridges
    • Verifiable RPC
    • ZkML
    • ZkFHE
    • ZK Coprocessors
  • Misc
    • FAQ
    • Website
    • Github
    • Twitter
    • Blog
    • Telegram
Powered by GitBook
On this page
  1. Usecases

ZkVMs

There are already tens of zkVM implementations including CairoVM, Risc0, Wasm0, zkBPF, zkEVMs. Any such zkVM implementation can be deployed on ZkCloud and used as a standalone environment when combined with some state storage system.

PreviousProof AggregationNextBridges

Last updated 3 months ago