Verifiable compute protocol