https://github.com/Zokrates/ZoKrates Our CI should compile and test some of the examples provides in the ZoKrates repository.