1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

Microsoft proves Pinocchio's a real boy with proofs tool

Discussion in 'The Register' started by RSS, Apr 20, 2015.

  1. RSS

    RSS New Member Member

    '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.…

    Continue reading...
     

Share This Page