"Auditing computation! At once!"