Home | Resources | Meetups | Conference 2026 | Join the community

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

by Enrico Bottazzi - 2024.06.27

Presentation Recording (Youtube) | Speaker Interview (Youtube) | Slides (github) | Join the discussion (Discord)

054 Meetup cover

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.

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!