Verona (VERONA)

Verona is een softwareplatform dat veilige gegevensverwerking (SC) biedt aan gegevenswetenschappers en andere programmeurs die geen experts zijn in cryptografie. Verona stelt gebruikers in staat om op veilige wijze gevoelige gegevens te berekenen terwijl deze ondoorzichtig blijven, door een programmeertaal en gereedschapssuite te bieden voor het ontwikkelen, middelen schatten, implementeren, uitvoeren en verifiëren van de uitvoering van applicaties die SC gebruiken. Verona werkt samen met gebruikers om afwegingen van SC-configuratie aan te bevelen die veilige (en dus vaak dure) rekenonderdelen minimaliseren en optimaliseren, en de veiligheid en prestaties in die delen in evenwicht brengen.

Verona beantwoordt de oproep van HECTOR voor nieuwe mogelijkheden zodat gebruikers (1) gedistribueerde, multi-user SC-applicaties kunnen programmeren zonder diepgaande cryptografische expertise te hebben; (2) de handelsruimte verkennen van meerdere SC-kandidaat-oplossingen voor data science-uitdagingen; (3) haalbaarheid en prestaties van die oplossingen begrijpen; en (4) SC eenvoudig te implementeren maken.

We doen dit door (1) een bestaande mainstream programmeertaal, Julia, uit te breiden met SC-functies om aan te geven welke inputs / outputs privé / onthuld zijn aan wie; (2) het bieden van meerdere geoptimaliseerde backends voor veilige berekeningen die voldoen aan verschillende configuratie-, beveiligings- en prestatiebehoeften: homomorfe encryptie (HE), verminkte circuits (GC-MPC), lineaire geheime sharing (LSS-MPC), functionele encryptie (FE) met begrensd sleutels, onbewust RAM (ORAM), verifieerbare berekening (VC) en hybriden hiervan; (3) hulpmiddelen voor het schatten van bronnen voor elke backend; en (4) automatisch de infrastructuur beheren om SC-uitvoeringsomgevingen op te staan en af te breken, en SC-resultaten naadloos te integreren in de uitvoering van applicaties.