Statistical Proof of Execution (SPEX). - Michele Dallachiesa; Antonio Pitasi; David Pinger; Josh Goodbody; Luis Vaello (CoRR, 2025)