Gevulot is a generic decentralized prover layer 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.