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.
Verifiable Computing Verifiable computing gör det möjligt för en kund med begränsade resurser att outsourca beräkningen av en funktion till en opålitlig arbetstagare på ett sådant sätt att kunden kan verifiera riktigheten av beräkningen REF.
Non-interactive verifiable computing: Outsourcing computation to untrusted workers
{'venue': 'In CRYPTO', 'journal': None, 'mag_field_of_study': ['Computer Science']}