A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.