Abstrakt. I detta arbete föreslår vi en ny kryptografisk primitiv som kallas Delegatable Homomorphic Encryption (DHE). Detta gör det möjligt för en betrodd myndighet att kontrollera/delegera förmågan att utvärdera kretsar över krypterade data till opålitliga arbetstagare/utvärderare genom att utfärda polletter. Denna primitiva kan både ses som en offentlig-nyckel motsvarighet till Verifiable Computation, där indatagenerering och utdataverifiering utförs av olika enheter, eller som en generalisering av Fullt Homomorphic Encryption som möjliggör kontroll över beräkningar på krypterade data. Vår primitiva kommer med en serie av extra funktioner enligt följande: 1) Det finns en engångsinställning för alla kretsar; 2) avsändare behöver inte vara medvetna om de funktioner som kommer att utvärderas på de krypterade data, inte heller behöver de registrera nycklar; 3) polletter är oberoende av avsändare och mottagare; och 4) mottagare kan verifiera riktigheten av beräkning ges kort hjälpinformation om inmatningsdata och funktionen, oberoende av komplexiteten i den beräknade kretsen. Vi ger en modulär konstruktion av ett sådant DHE-system från tre komponenter: Fullt Homomorphic Encryption (FHE), Functional Encryption (FE) och en (anpassad) MAC. Som en språngbräda definierar vi först Verifiable Functional Encryption (VFE) och visar sedan hur man kan bygga ett säkert DHE-schema från en VFE och ett FHE-schema. Vi visar också hur man bygger den nödvändiga VFE från en standard FE tillsammans med ett MAC-system. Alla våra resultat innehåller standardmodellen. Slutligen visar vi hur man kan bygga en kontrollerbar beräkning (VC) system generiskt från en DHE. Som en följd av detta får vi det första VC-systemet som förblir kontrollerbart även om angriparen kan observera verifieringsresultat.
Barbosa och Farshim REF konstruerar ett verifierbart beräkningsprotokoll för godtyckliga funktioner (utan avstötningsproblem) från fullt homomorfisk kryptering och funktionell kryptering.
Delegatable homomorphic encryption with applications to secure outsourcing of computation
{'venue': 'In CT-RSA', 'journal': None, 'mag_field_of_study': ['Computer Science']}