Gevulot 

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