Ett ackumulatorsystem, som infördes av Benaloh och de Mare [BdM94] och ytterligare studerades av Barić och Pfitzmann [BP97], är en algoritm som gör att man kan hascha en stor uppsättning ingångar till ett kort värde, kallas ackumulatorn, så att det finns ett (kort) vittne att en given input införlivades i ackumulatorn. Samtidigt är det omöjligt att finna ett vittne för ett värde som inte ackumulerats. Vi lägger fram idén om en dynamisk ackumulator, som är en ackumulator som tillåter en att dynamiskt lägga till och ta bort indata, så att kostnaden för ett tillägg eller ta bort är oberoende av antalet ackumulerade värden. Vi uppnår detta under det starka RSA antagandet. För denna konstruktion visar vi också ett effektivt noll-kunskap protokoll för att bevisa att ett engagerat värde är i ackumulatorn. Dynamiska ackumulatorer möjliggör effektivt återkallande av medlemskap i anonyma miljöer. Vår konstruktion är särskilt lämplig för medlemskap upphävande i gruppsignaturer och identitet spärrsystem, såsom den på grund av Ateniese et al. [ACJT00] och effektivt återkallande av kreditivbrev i anonyma referenssystem, t.ex. på grund av Camenisch och Lysyanskaya [CL01a]. Genom att tillämpa vår metod på dessa system kan medlemskapet återkallas och ändå inte avsevärt öka komplexiteten i någon av verksamheterna. I synnerhet kostnaden för ett medlemskap verifiering eller förtroende visar ökningar med endast en liten konstant faktor, mindre än 2. Alla tidigare kända metoder (t.ex. de som beror på Bresson och Stern [BS01] och Ateniese och Tsudik [AT01]) medför en ökning av dessa kostnader som är linjär i antalet medlemmar.
Camenisch och Lysyanskaya REF föreslog en updatable ackumulator som kan användas för återkallande.
Dynamic Accumulators and Application to Efficient Revocation of Anonymous Credentials
{'venue': 'CRYPTO', 'journal': None, 'mag_field_of_study': ['Computer Science']}