Abstrakt. I ett system för bevisupptagning måste ett datacenter bevisa för en kontrollör att han faktiskt lagrar alla en kunds uppgifter. Den centrala utmaningen är att bygga system som är både effektiva och bevisligen säkra - det vill säga, det bör vara möjligt att extrahera kundens data från alla provtagare som klarar en verifieringskontroll. I det här dokumentet ger vi de första bevisen på återvinning med fullständiga bevis på säkerhet mot godtyckliga motståndare i den starkaste modellen, Juels och Kaliskis. Vårt första system, byggt från BLS-signaturer och säkert i den slumpmässiga oracle modellen, har ett proof-of-relevability protokoll där klientens fråga och serverns svar är både extremt kort. Detta system gör allmänheten verifierbar: vem som helst kan fungera som kontrollör, inte bara filägaren. Vårt andra system, som bygger på pseudorandom-funktioner (PRF) och är säkert i standardmodellen, tillåter endast privat verifiering. Det har en proof-of-Retrievability protokoll med en ännu kortare server svar än vår första schema, men klientens fråga är lång. Båda systemen förlitar sig på homomorfa egenskaper för att aggregera ett bevis i en liten autentisera värde.
REF förlängde ett POR-protokoll till kompakt POR med hjälp av homomorpha autentikers som är byggda från bevisbara säkra BLS-signaturer.
Compact Proofs of Retrievability
{'venue': 'Journal of Cryptology', 'journal': 'Journal of Cryptology', 'mag_field_of_study': ['Computer Science']}