Overview of verifiable computing techniques providing private and public verification

Overview of state of the art privately and publicly verifiable computing techniques and an analysis of their properties, e.g., privacy, efficiency, and applicability.