Michele Dallachiesa

1 talk by Michele Dallachiesa

• Warden Protocol & Statistical Proof of Execution (SPEX) for verifiable computing (ML/AI)