Introduction to Verifiable Computing

Explore the concept of verifiable computing in this comprehensive conference talk from ACCU 2022. Delve into cryptographic tools that enable clients to outsource work to servers while maintaining the ability to verify correct execution without re-running computations. Learn about scenarios where direct verification is impossible due to partial input data submission and server privacy constraints. Gain insights from Ahto Truu, an industry veteran with three decades of experience in ICT, as he introduces key concepts and practical applications of verifiable computing. Discover how these techniques can be applied to preserve data integrity and enhance trust in outsourced computations. Access accompanying slides and materials for a deeper understanding of this cutting-edge topic in cryptography and programming.