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

Introduction

NextOverview

Last updated 6 months ago

Gevulot is the first universal proving layer for ZK. It is designed to greatly decrease the cost of proving by aggregating workloads from across all use cases, allowing it to optimally utilize the underlying hardware. The core value proposition of Gevulot can be summarized as follows:

  1. Low cost

  2. High performance

  3. High liveness & availability

  4. Permissionless

  5. Credibly neutral

These docs describe the current network design and how to develop or interact with the network. Networks

Gevulot Firestarter - A production-ready, permissioned prover network available to be used today. See for more details.

ZkCloud - An in development permissionless network to be launched in 25Q1. Read about ZkCloud network design .

here
here