A Survey of Interactive Verifiable Computing: Utilizing Low-degree Polynomials

Angold Wang

This survey provides a comprehensive examination of verifiable computing, tracing its evolution from foundational complexity theory to modern zero-knowledge succinct non-interactiv…