Antonio Pitasi1 talk by Antonio PitasiWarden Protocol & Statistical Proof of Execution (SPEX) for verifiable computing (ML/AI)