Next Meetup Scheduled: Verifiable Computation over Encrypted Data: SNARKs and more
Next Meetup Scheduled: Verifiable Computation over Encrypted Data: SNARKs and more
on March 29th, 6pm Paris time
Hello fellow cryptographers!
Our next Meetup is scheduled for Tuesday, March 29th at 6pm Paris time. Here is the link to register:
Abstract
In this talk we will consider the setting in which an untrusted server stores a collection of encrypted data and is asked to compute a function over it and prove the result is correct. This problem is addressed by verifiable and private delegation of computation, a notion that is close to both the active areas of fully homomorphic encryption and verifiable computation.
The key tool to obtain such privacy-preserving verifiable computation protocols is to build Succinct non-interactive arguments of knowledge (SNARKs) that can efficiently handle proofs of computations over a quotient polynomial ring, such as the one used by Ring-LWE fully homomorphic encryption schemes.
This talk will present Rinocchio, a new designated-verifiable SNARK for ring arithmetic that allows to verify evaluations of FHE ciphertexts. We will discuss the challenges and open problems in the area.
About the speaker
Anca Nitulescu is a Cryptography Researcher at Protocol Labs working mainly on topics for the security of decentralised systems. Anca's current main areas of interest are SNARK protocols and Vector Commitments, focusing on scalability for such protocols when applied to distributed storage.
Anca worked on topics such as post-quantum secure SNARKs based on lattices, verifiable computation over encrypted data and authentication primitives, as well as on writing outreach material about Zero-Knowledge SNARKs. Website: www.di.ens.fr/~nitulesc
Important links
The official FHE.org website: https://fhe.org
The discord server where you can discuss FHE related topics with the community: https://discord.fhe.org
FHE.org on twitter
See you then,
PS: We're always looking for people to present their work on all aspects of homomorphic encryption during our monthly Meetup! So feel free to let us know - The easiest way to contact us is on Twitter or Discord.