Zero-knowledge proofs will define the next era of innovation in distributed systems, by opening up new frontiers in privacy, scalability and compatibility. Gevulot is ushering in this era by building a generic, decentralised prover network for deploying arbitrary zero-knowledge provers and verifiers as on-chain programs.