Overview

We believe in a Zero-Knowledge (ZK) future where proving is truly decentralized, performant, and cheap. Gevulot has been designed with this vision in mind. It is the first credibly neutral, decentralized prover layer for the modular stack. We are building a protocol that enables new applications utilizing provable compute to become economically viable. It also ensures provers can achieve the highest possible resource efficiency by aggregating workloads from across the industry.

A unique feature of Gevulot is that it allows for centralized-equivalent proving performance while providing the high liveness and availability guarantees common in decentralized networks. The network achieves this through its innovative dual-node architecture, specifically optimized for proof generation and verification, and its extremely simple consensus mechanism, which enables fair and efficient distribution of workloads and rewards.

The two primary node types in Gevulot are provers and validators. At a high level, users broadcast proving workloads, validators process transactions and order them into blocks, and provers complete proving workloads and verify proofs.

Gevulot allows users to specify their desired amount of redundancy based on their own priorities. The protocol also leverages maximum parallelization of computation at both the node and network levels. This parallel processing capability significantly boosts the network's efficiency and scalability, allowing nodes to run multiple provers and verifiers simultaneously. As a result, the network can handle various provers working on distinct proofs at the same time.

The network's design promises several advantages, including liveness guarantees, high censorship resistance, lower and predictable fees, and efficient workload distribution among multiple provers.