Abstract

Many real-world applications are increasingly incorporating automateddecision-making, driven by the widespread adoption of ML/AI inference forplanning and guidance. This study examines the growing need for verifiablecomputing in autonomous decision-making. We formalize the problem of verifiablecomputing and introduce a sampling-based protocol that is significantly faster,more cost-effective, and simpler than existing methods. Furthermore, we tacklethe challenges posed by non-determinism, proposing a set of strategies toeffectively manage common scenarios.

 

Quick Read (beta)