A system for verifiable computation with state. The details are described in "Verifying computations with state", ACM SOSP 2013  http://www.cs.utexas.edu/pepper