Privately and Publicly Verifiable Computing Techniques | lit.salon