DKK 4.5 million to Advance Zero-Knowledge Proof Cryptography

Congratulations to Assistant professors Carsten Baum and Peter Scholl, who have received DKK 4.5 million for their part of the project “Fromager”, in which they will collaborate with researchers from Galois, Qed.IT, Columbia University, and KU Leuven.

The aim of the project is to develop highly efficient zero-knowledge proofs for realistic applications. This could mean to design a system that allows a security researcher to prove a discovered exploit in a program, without releasing details of how the exploit works.

The project is part of a US Government-funded initiative to advance zero-knowledge proofs in cryptography, named SIEVE. The initiative is organized by DARPA, the US Defence Ministry’s research-funding agency.