# Introduction

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 [here](https://docs.gevulot.com/gevulot-docs/firestarter) for more details.

**ZkCloud** - An in development permissionless network to be launched in 25Q1. Read about ZkCloud network design [here](https://docs.gevulot.com/gevulot-docs/zkcloud-design).


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.gevulot.com/gevulot-docs/readme.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.