Den stora variationen av små, beräkningssvaga enheter, och det ökande antalet beräkningsintensiva uppgifter gör delegeringen av beräkningar till stora datacenter till en önskvärd lösning. Beräkning outsourcing är dock endast användbart när det returnerade resultatet kan lita på, vilket gör kontrollerbar beräkning (VC) ett måste för sådana scenarier. I detta arbete utvidgar vi definitionen av kontrollerbar beräkning i två viktiga riktningar: offentlig delegering och offentlig verifiability, som har viktiga tillämpningar i många praktiska delegeringsscenarier. Befintliga VC-konstruktioner baserade på standardiserade kryptografiska antaganden lyckas dock inte uppnå dessa egenskaper. Som det primära bidraget i vårt arbete etablerar vi en viktig (och något överraskande) koppling mellan kontrollerbar beräkning och attributbaserad kryptering (ABE), en primitiv som har studerats vida omkring. Nämligen visar vi hur man konstruerar ett VC-system med offentlig delegering och offentlig verifierbarhet från alla ABE-system. VC-systemet kontrollerar alla funktioner i den funktionsklass som omfattas av de tillåtna ABE-reglerna. Detta system har en mycket effektiv verifieringsalgoritm som endast beror på utdatastorleken. Förstärka denna anslutning, visar vi en konstruktion av en multi-funktions verifierbara beräkningssystem från en ABE med outsourcade dekryptering, en primitiv definieras nyligen av Green, Hohenberger och Waters (USENIX Security 2011). Ett multifunktionellt VC-system möjliggör en kontrollerbar utvärdering av flera funktioner på samma förbehandlade inmatning. I den andra riktningen utforskar vi också konstruktionen av ett ABE-system från kontrollerbara beräkningsprotokoll.
Parno och al. REF föreslår en lösning för offentlig delegering och verifiering av beräkning med hjälp av Attributbaserad kryptering (ABE).
How to delegate and verify in public: Verifiable computation from attribute-based encryption
{'venue': 'PRV12] [PTM+ 06] [Reg05] [Sha84', 'journal': None, 'mag_field_of_study': ['Computer Science']}