Collection of tools for private delegated proving of arbitrary programs. - View it on GitHub