Verifiable Computation on Skynet Using a Merklized Virtual Machine | Hacker News Reader