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

PreviousProof AggregationNextBridges

Last updated 4 months ago

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

CairoVM
Risc0
Wasm0
zkBPF
zkEVMs