Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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.
