Öffentlich überprüfbare und datenschutzfreundliche aggregierte Statistiken auf verteilten Datensätzen

Ein leichtgewichtiges Protokoll, das Homomorphe Verschlüsselung und Zero-Knowledge-Beweise nutzt, um Eingabevalidierung, Berechnungskorrektheit und öffentliche Überprüfbarkeit für aggregierte Statistiken auf verteilten Datensätzen zu ermöglichen.