Gevulot is a generic decentralized prover network, designed for deploying arbitrary provers as on-chain programs while maintaining performance similar to centralized provers.

The vision of Gevulot is to make the creation of performant zk-based systems, such as validity rollups, as easy as deploying smart contracts.