Home | Resources | Meetups | Conference 2025 | Join the community
Greco: Fast Zero-Knowledge Proofs for Valid FHE RLWE Ciphertexts Formation
by Enrico Bottazzi - 2024.06.27
Video recording (Youtube) | Slides (github) | Join the discussion (Discord)
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.
Register to attend
Visit FHE.org’s meetup.com event page to attend.
After the event has finished, resources (including any slides, video, papers, etc) will be added to this resource page.
Never miss an update
The newsletter where we post community announcements: https://fheorg.substack.com/
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!