Microsoft proves Pinocchio's a real boy with proofs tool

'Geppetto' gives verifiable computation a boost

Microsoft cloud wonks have developed a tool for developers capable of practical generation of proofs that an outsourced job has been crunched securely."