This makes Space and Time one of the first platforms to offer verifiable computation.