Bren2010 Implementation of a gateway that can serve proofs of correct behavior.