Privately and Publicly Verifiable Computing Techniques