Pinocchio: Nearly practical verifiable computationBryan ParnoJon Howellet al.2013S&P 2013Conference paper