Publicly Verifiable Trusted Computing with Communicating Distributed Deterministic State Machines