Name: Greco: Fast Zero-Knowledge Proofs for Valid FHE RLWE Ciphertexts Formation
Start: 2024-06-27T17:00:00+02:00
End: 2024-06-27T18:00:00+02:00

**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](https://github.com/enricobottazzi/designated-verifier-proof) and [zk-sbt](https://github.com/enricobottazzi/ZK-SBT). He led the creation of [summa](https://github.com/summa-dev/summa-solvency), 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](https://fhe.org/meetups/054)

**Never miss an update**

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

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

Allen

FHE.org - Homomorphic Encryption & Secure Computation

Technology

Cryptography

Data Privacy

Privacy

Cybersecurity

Open Source

Data Science

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

Online event

Share

FHE.org - Homomorphic Encryption & Secure Computation

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

FHE.org - Homomorphic Encryption & Secure Computation

Details

Members are also interested in