Gevulot is a generic decentralised prover network, designed for deploying arbitrary provers as on-chain programs, while maintaining performance similar to centralised 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.