Greco: Fast Zero-Knowledge Proofs for Valid FHE RLWE Ciphertexts Formation

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 speaker

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.

Unable to make it?

After the event has finished, resources (including slides, video, papers, etc) will be available at the resource page at https://fhe.org/meetups/054

Never miss an update

1. The newsletter where we post community announcements: https://fheorg.substack.com/
2. The discord server where you can discuss FHE related topics with the community: https://discord.fhe.org

Make sure to join either (or both) of these to stay informed about future events!