054 Greco: Fast Zero-Knowledge Proofs for Valid FHE RLWE Ciphertexts Formation w/ Enrico Bottazzi

Abstract
The presentation aims to describe:
* why proofs of valid ciphertext formation are necessary
* main issues when wrapping FHE algorithms into zkSNARKs
* tricks used to overcome those while building Greco
* benchmarks of Greco
About the speakers
Enrico is a researcher at PSE. His earliest contributions were in identity-related privacy-preserving applications such as designated verifier proof and zk-sbt. He led the creation of summa, a production-ready proof of solvency solution for custodians. Lately, his research has focused on applications powered by Secure Multi-Party Computation. His first contribution to the space is Greco.
Never miss an update
* The newsletter where we post community announcements: fheorg.substac...
* The discord server where you can discuss FHE related topics with the community: discord.fhe.org
Make sure to join either (or both) of these to stay informed about future events!
View all resources related to this meetup on fhe.org/meetup...