Blind zkSNARKs

This repository contains all codes and assets regarding blind zkSNARKs. You can find:

1. Proof of Decryption: We implemented the proof-of-decryption protocol presented in our [paper] (https://eprint.iacr.org/2024/1684) in C. We leveraged basic primitives used in Lazer, a library for lattice-based zero-knowledge proofs, and thoroughly extended it to construct our proof of decryption for GBFV ciphertexts.

2. Performance scripts

Learning materials

• Paper: Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data
• Blog post: Blind zkSNARKs
• Video: Nexus Speaker Series: Jannik Spiessens

Proof of Decryption

The main source code related to verifiable decryption can be found in:

• Folder vdec
• Folder scripts

Team:

• Mariana Gama
• Emad Heydari Beni
• Jiayi Kang
• Jannik Spiessens
• Frederik Vercauteren

Acknowledgement

We thank Robin Geelen for helping us use the GBFV implementation and Vadim Lyubashevsky and Patrick Steuer for helping us use the Lazer library. This work was supported in part by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement ISOCRYPT - No. 101020788) and by CyberSecurity Research Flanders with reference number VR20192203. A large part of the codebase is copied verbatim from Lazer, produced by IBM Research Europe.