Code Obfuscation in a Quantum World

Projektinformationen

ObfusQation

ID Finanzhilfevereinbarung: 101077455

DOI

10.3030/101077455

EK-Unterschriftsdatum 12 September 2023

Startdatum 1 Januar 2024

Enddatum 31 Dezember 2028

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 458 750,00

EU-Beitrag

€ 1 458 750,00

Koordiniert durch

UNIVERSITA COMMERCIALE LUIGI BOCCONI
Italy

Periodic Reporting for period 1 - ObfusQation (Code Obfuscation in a Quantum World)

Berichtszeitraum: 2024-01-01 bis 2026-06-30

Zusammenfassung vom Kontext und den Gesamtzielen des Projekts

ObfusQation studies what remains possible—and what becomes newly possible—when program obfuscation and its applications are placed in a post-quantum and quantum-program setting. Rather than treating quantum computing only as a threat, the project develops concrete, assumption-grounded primitives that support long-term security and quantum-native guarantees, and it builds verification and succinctness tools that let complex (including quantum) computation be checked efficiently and reused safely inside larger constructions. The research agenda is layered as follows: strengthen post-quantum foundations (e.g. timed cryptography and succinct building blocks), develop quantum-enabled functionalities (such as certified deletion and unclonability), and connect these to broader verification and complexity insights at the interface of quantum physics, cryptography, and pure mathematics.

Arbeit, die ab Beginn des Projekts bis zum Ende des durch den Bericht erfassten Berichtszeitraums geleistet wurde, und die wichtigsten bis dahin erzielten Ergebnisse

During the reporting period we pursued a coordinated set of technical activities aimed at strengthening the foundations needed for placing quantum cryptography on firm theoretical grounds. We developed new lattice-based constructions and proofs for timed cryptography (time-lock puzzles), advanced cryptographic primitives for the verification of classical and quantum computation, and established the existence of new quantum-cryptographic primitives, together with sharper verification foundations for quantum behavior.

In parallel with this research work, we maintained an active scientific exchange program—through research visits, hosting collaborators/visitors, and presenting intermediate and final results in invited and contributed talks at seminars and workshops. The continuous exchange of ideas has been a key factor in the success of the project thus far.

Main achievements: Establishing the existence of post-quantum time-lock puzzles under lattice assumptions, new quantum-enabled security functionalities, and more modular and efficient verification/succinctness techniques for quantum computation, together forming a strengthened technical platform for future progress on post-quantum obfuscation and obfuscation-related applications.

Fortschritte, die über den aktuellen Stand der Technik hinausgehen und voraussichtliche potenzielle Auswirkungen (einschließlich der bis dato erzielten sozioökonomischen Auswirkungen und weiter gefassten gesellschaftlichen Auswirkungen des Projekts)

The potential impact of these results is to strengthen the foundations of cryptography in two settings that are becoming increasingly relevant: Security agains quantum-capable adversaries, and emerging protocols where quantum information is part of the functionality. These outputs provide a technical basis for new post-quantum and quantum cryptography, which can inform future developments in the field. As these areas are still at their infancy, the key need for further uptake is further research on fundamental aspects of these cryptographic primitives.