publication 2023 Verifiable Distributed Aggregation Functions Hannah Davis, Christopher Patton, mike-rosulek, Phillipp Schoppmann privacyprotocolscryptography