PLAZA | Post-Quantum Lattice-Based Zero-Knowledge

Summary
The world is on a seemingly irreversible path towards a more privacy-oriented and decentralized mode of
storing and operating on data. A lot of this transformation is being enabled by advanced cryptography that’s
designed to cut out the need for trusted third parties that we rely on today. The effect of this transformation
is a more secure and, at the same time, a more efficient way of interaction in which the manual checks and
audits are instead embedded into the cryptographic protocols themselves. Another technological development
that’s on the horizon is a general-purpose quantum computer, whose utility comes from the fact that it will
be able to solve some problems considerably faster than a classical computer. Because of the multitude of
its positive scientific applications, building such a computer is being vigorously pursued by governments and
private companies. The main negative consequence of quantum computing is that it breaks most of the
cryptography that’s crucial to the privacy transformation.

The main ingredient of privacy-centric cryptography is a zero-knowledge proof for showing knowledge
of an x satisfying f(x) = y without revealing anything else about x. The most compact zero-knowledge
proofs currently rely on the hardness of various mathematical assumptions which are no longer difficult in
the presence of quantum computers. The central objective of the PLAZA project will be to create practical
zero-knowledge proofs that can withstand quantum attacks by basing them on the hardness of lattice problems.
Lattice problems are a very promising set of assumptions upon which to base cryptography and they
are currently being used to create the most efficient quantum-resistant encryption and signature schemes.
Creating more complex, but still practical, lattice-based schemes has so far proved to be a major challenge
mostly due to the difficulty of constructing efficient zero-knowledge proofs – and this is the problem that the
project proposes to solve.
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/101002845
Start date: 01-07-2021
End date: 30-06-2026
Total budget - Public funding: 1 999 510,00 Euro - 1 999 510,00 Euro
Cordis data

Original description

The world is on a seemingly irreversible path towards a more privacy-oriented and decentralized mode of
storing and operating on data. A lot of this transformation is being enabled by advanced cryptography that’s
designed to cut out the need for trusted third parties that we rely on today. The effect of this transformation
is a more secure and, at the same time, a more efficient way of interaction in which the manual checks and
audits are instead embedded into the cryptographic protocols themselves. Another technological development
that’s on the horizon is a general-purpose quantum computer, whose utility comes from the fact that it will
be able to solve some problems considerably faster than a classical computer. Because of the multitude of
its positive scientific applications, building such a computer is being vigorously pursued by governments and
private companies. The main negative consequence of quantum computing is that it breaks most of the
cryptography that’s crucial to the privacy transformation.

The main ingredient of privacy-centric cryptography is a zero-knowledge proof for showing knowledge
of an x satisfying f(x) = y without revealing anything else about x. The most compact zero-knowledge
proofs currently rely on the hardness of various mathematical assumptions which are no longer difficult in
the presence of quantum computers. The central objective of the PLAZA project will be to create practical
zero-knowledge proofs that can withstand quantum attacks by basing them on the hardness of lattice problems.
Lattice problems are a very promising set of assumptions upon which to base cryptography and they
are currently being used to create the most efficient quantum-resistant encryption and signature schemes.
Creating more complex, but still practical, lattice-based schemes has so far proved to be a major challenge
mostly due to the difficulty of constructing efficient zero-knowledge proofs – and this is the problem that the
project proposes to solve.

Status

SIGNED

Call topic

ERC-2020-COG

Update Date

27-04-2024
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Horizon 2020
H2020-EU.1. EXCELLENT SCIENCE
H2020-EU.1.1. EXCELLENT SCIENCE - European Research Council (ERC)
ERC-2020
ERC-2020-COG ERC CONSOLIDATOR GRANTS