Designing Post-Quantum Non-Interactive Zero Knowledge Proof from Reliable Assumptions
Name of applicant
Luisa Siniscalchi
Title
Associate Professor
Institution
Technical University of Denmark
Amount
DKK 6,947,248
Year
2025
Type of grant
Semper Ardens: Accelerate
What?
This project develops a framework for secure cryptographic proofs that remain reliable in the quantum era. Focusing on non-interactive zero-knowledge proofs (NIZKs) enables proving statements - like payments or identity verification - without revealing secrets. The goal is to create efficient, practical, deployable post-quantum proofs for privacy-preserving technologies.
Why?
Quantum computers threaten today’s cryptographic systems, especially those relying on public-key techniques since many post-quantum alternatives are immature and not efficient. Without robust NIZKs, privacy and scalability for digital identities, payments, and decentralized systems are at risk, making post-quantum secure NIZK essential for the future of secure privacy-preserving infrastructures.
How?
The project redefines security trade-offs to realize a post-quantum secure cryptographic primitive. It introduces time-bounded soundness, so proofs remain valid only as long as needed, e.g., until a payment is finalized. This relaxation enables NIZKs constructed using only highly reliable tools, such as symmetric post-quantum secure primitives (e.g., SHA and AES).