För att ingjuta större förtroende för beräkningar utkontrakterade till molnet, bör kunderna kunna kontrollera riktigheten av resultaten returneras. I detta syfte introducerar vi Pinocchio, ett byggt system för att effektivt kontrollera allmänna beräkningar samtidigt som vi endast förlitar oss på kryptografiska antaganden. Med Pinocchio skapar kunden en offentlig utvärderingsnyckel för att beskriva hennes beräkning; denna inställning är proportionell mot att utvärdera beräkningen en gång. Arbetstagaren utvärderar sedan beräkningen på en viss insats och använder utvärderingsnyckeln för att visa att den är korrekt. Beviset är endast 288 byte, oavsett vilken beräkning som gjorts eller storleken på IO. Vem som helst kan kontrollera beviset med hjälp av en öppen verifieringsnyckel. Avgörande är att vår utvärdering av sju ansökningar visar att Pinocchio också är effektiv i praktiken. Pinocchios verifieringstid är en fast 10 ms plus 0,4-15 μs per IO element: 5-7 order av magnitud mindre än tidigare arbete 23; faktiskt Pinocchio är det första allmänna systemet för att visa verifiering billigare än inhemsk körning (för vissa appar). Arbetarens bevis ansträngning är fortfarande dyrt, men Pinocchio minskar det med 19×-60× i förhållande till tidigare arbete. Som ytterligare en funktion gör Pinocchio det möjligt för arbetstagaren att inkludera privata indata i beräkningen och bevisa att hon utförde beräkningen korrekt utan att avslöja någon information om de privata indata till kunden. Slutligen, för att hjälpa utveckling, Pinocchio ger en end-to-end verktygskedja som sammanställer en delmängd av C till program som genomför kontrollerbara beräkningsprotokollet.
REF är den första allmänna ramen för verifiering för att visa att verifieringen kan vara billigare än den inhemska beräkningen.