Statistical Proof of Execution (SPEX)

Online event: https://us06web.zoom.us/j/84513468897?pwd=SEd5TEN3Zi9XaThQRVpsVzZ4OFVmdz09

Michele Dallachiesa and Antonio Pitasi will discuss the intersection of blockchain and AI:
Many real-world applications are increasingly incorporating automated decision-making, driven by the widespread adoption of ML/AI inference for planning and guidance. This study examines the growing need for verifiable computing in autonomous decisionmaking. We formalize the problem of verifiable computing and introduce a sampling-based protocol that is significantly faster, more cost-effective, and simpler than existing methods. Furthermore, we tackle the challenges posed by non-determinism, proposing a set of strategies to effectively manage common scenarios.