Warden Protocol and Statistical Proof of Execution (SPEX) for Verifiable Computing in ML/AI

This talk explores the intersection of blockchain and AI, focusing on the Warden Protocol and Statistical Proof of Execution (SPEX) for verifiable computing in ML/AI applications. Join Michele Dallachiesa and Antonio Pitasi as they address the growing need for verification in autonomous decision-making systems. Learn about their sampling-based protocol that offers faster, more cost-effective, and simpler solutions compared to existing methods. Discover strategies for managing non-determinism in verifiable computing contexts, particularly as automated decision-making becomes increasingly prevalent in real-world applications. The presentation provides a formal examination of verifiable computing problems and practical approaches to implementing verification in ML/AI inference systems used for planning and guidance.