Vi tar itu med problemet där en kund lagrar en stor mängd data med en opålitlig server på ett sådant sätt att kunden när som helst kan be servern att beräkna en funktion på någon del av sin outsourcade data. I detta scenario måste kunden på ett effektivt sätt kunna verifiera resultatets riktighet trots att den inte längre känner till indata från den delegerade beräkningen, den måste kunna fortsätta att lägga till element i sin fjärrlagring och den behöver inte i förväg fastställa (dvs. vid utkontraktering av data) de funktioner som den kommer att delegera. Ännu ambitiösare, kunder bör kunna verifiera i tid oberoende av input-size -en mycket tilltalande egenskap för beräkningar över enorma mängder data. I detta arbete föreslår vi nya kryptografiska tekniker som löser ovanstående problem för klassen av beräkningar av kvadratiska polynom över ett stort antal variabler. Denna klass omfattar ett brett spektrum av betydande aritmetiska beräkningar - särskilt många viktiga statistik. För att bekräfta effektiviteten i vår lösning, visar vi uppmuntrande resultat, t.ex., korrekturbevis har storlek under 1 kB och är kontrollerbara av kunder på mindre än 10 millisekunder.
Referensreferensreferensen löste problemet att kundens verifiering av data inte påverkas av datans inmatningsstorlek.
Verifiable delegation of computation on outsourced data
{'venue': "CCS '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}