Gevulot is a permissionless and programmable layer 1 blockchain for deploying zero-knowledge provers and verifiers as on-chain programs. It’s designed specifically for applications that require cheap and fast proof generation, with high liveness guar...