När en kund outsourcar ett jobb till en tredje part (t.ex. molnet), hur kan kunden kontrollera resultatet, utan att utföra beräkningen på nytt? Det senaste arbetet med bevisbaserad kontrollerbar beräkning har gjort betydande framsteg på detta problem genom att införliva djupa resultat från komplexitetsteori och kryptografi i inbyggda system. Dessa system fungerar dock inom en statslös modell: de utesluter beräkningar som interagerar med RAM eller en disk, eller för vilka kunden inte har full input. Detta dokument beskriver Pantry, ett byggt system som övervinner dessa begränsningar. Pantry består av bevisbaserad kontrollerbar beräkning med opålitlig lagring: klienten uttrycker sin beräkning i form av smältar som intygar att ange, och verifiable outsources som beräkning. Med Pantry utökar vi verifiabiliteten till MapReduce-jobb, enkla databasfrågor och interaktioner med privat stat. Därför tar Pantry ytterligare ett steg mot praktisk bevisbaserad kontrollerbar beräkning för realistiska tillämpningar.
I bevisbaserad kontrollerbar beräkning REF, leverantören returnerar resultaten av en frågad beräkning, tillsammans med ett bevis för denna beräkning.
Verifying computations with state
{'venue': "SOSP '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}