A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase. - View it on GitHub