Verifierbar beräkning gör det möjligt för en beräkningssvag klient att "outsourca" beräkningen av en funktion F på olika ingångar x 1,..., x k till en eller flera arbetstagare. Arbetarna returnerar resultatet av funktionsutvärderingen, t.ex. y i = F(x i ), samt ett bevis på att beräkningen av F utfördes korrekt på det givna värdet x i. Kontrollen av beviset bör kräva betydligt mindre beräkningsansträngning än beräkning F(x i ) från grunden. Vi presenterar ett protokoll som gör det möjligt för arbetstagaren att returnera en beräknings-ljud, icke-interaktivt bevis som kan verifieras i O(m) tid, där m är bit-längden av utdata från F. Protokollet kräver en engångs förbehandling skede av klienten som tar O ( ska C) tid, där C är den minsta Booleska kretsen dator F. Vårt schema ger också input och output integritet för kunden, vilket innebär att arbetstagarna inte lär sig någon information om x i eller y i värden.
REF beskriver ett allmänt system för verifiering av beräkning som modelleras som en boolesk krets.
Non-interactive verifiable computing: Outsourcing computation to untrusted workers
{'venue': 'In CRYPTO', 'journal': None, 'mag_field_of_study': ['Computer Science']}