Vi studerar problemet med kontrollerbar delegering av beräkning över outsourcade data, varigenom en kraftfull arbetare upprätthåller en stor datastruktur för en svag klient på ett kontrollerbart sätt. Jämfört med det välstuderade problemet med kontrollerbara beräkningar medför denna inställning ytterligare svårigheter, eftersom kontrollören också måste kontrollera att uppdateringarna är konsekventa på ett koncist sätt och utan att upprätthålla ett stort tillstånd. Vi presenterar ett system för verifierbar utvärdering av hierarkiska set-operationer (unioner, korsningar och set-differences) som tillämpas på en samling dynamiskt föränderliga element från en given domän. Kontrollkostnaden är proportionerlig endast till storleken på det slutliga resultatet och till frågans storlek, och är oberoende av kardinaliteterna i de berörda uppsättningarna. Kostnaden för uppdateringar är optimal (inklusive O(1) modulära operationer per uppdatering). Vår konstruktion utökar den av [Papamanthou et al., CRYPTO 2011] och förlitar sig på en modifierad version av den utdragbara kollisionsresistenta hashfunktion (ECRH) konstruktion, infördes i [Biansky et al., ITCS 2012] som kan användas för att koncist hash univariata polynomials.
Canetti m.fl. utökat det genom att tillåta datauppdateringar och monolitisk verifiering av hierarkiska åtgärder REF.
Verifiable Set Operations over Outsourced Databases
{'venue': 'Public Key Cryptography', 'journal': None, 'mag_field_of_study': ['Computer Science']}