Quantum Engineering Grenoble Seminar || Quantum Computing || Léo Colisson: "Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States"

on the September 15, 2021

At 3pm
The Quantum Computing seminars cover all aspects of quantum computing and quantum information theory, and will be jointly organised with the quantum information community in Lyon. It is once again possible to have an in-person seminar, and I strongly encourage those able to attend in person to do so (note: pass sanitaire required). Nonetheless, we have decided to trial a hybrid format so that those unable to attend in person can still participate. We plan to use Zoom for this (link below). We will review the format (and location of the seminar) for future seminars.
Quantum Engineering Grenoble Seminar Team is  pleased to announce that the first QuEnG Quantum Computing seminar of the new academic year will be given by Léo Colisson (LIP6, Sorbonne Université) on Wednesday 15 September at 3pm at LIG (room 406, IMAG building), as well as on Zoom as a hybrid event (read on for details). 
It is once again possible to have an in-person seminar, and I strongly encourage those able to attend in person to do so (note: pass sanitaire required). Nonetheless, we have decided to trial a hybrid format so that those unable to attend in person can still participate. We plan to use Zoom for this (link below). We will review the format (and location of the seminar) for future seminars.
Title: Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States
Abstract: Due to the special no-cloning principle, quantum states appear to be very useful in cryptography. But this very same property also has drawbacks: when receiving a quantum state, it is nearly impossible for the receiver to efficiently check non-trivial properties on that state without destroying it.
In this talk, I will introduce (Non-Interactive) Non-Destructive Zero-Knowledge Proofs on Quantum States. Our method binds a quantum state to a classical encryption of that quantum state (whose security reduces to the hardness of the Learning With Error problem). It allows a receiver to obtain guarantees on the quantum state by asking to the sender to prove properties directly on this classical encryption. This method is therefore non-destructive and it is possible to verify a very large class of properties that would be impossible to verify with a more standard quantum channel. For instance, we can force the sender to send different categories of states depending on whether they know a classical secret or not.
I will also explain how to extend this method to the multi-party setting, and how it can prove useful to distribute a GHZ state between different parties. The protocol ensures that only parties knowing a secret can be part of this GHZ, and that the identity of the parties that are part of the GHZ remains hidden to any malicious party. A direct application would be to allow a server to create a secret sharing of a qubit between unknown parties, authorized for example by a third party Certification Authority.
Access (in person)
The seminar will take place in room at LIG, in room 406 of the IMAG building on the campus. Someone will wait in the entrance to provide participants with access to the 4th floor. 
Zoom link + details:
Meeting ID: 985 1551 2137
Passcode: 436965
Published on September 3, 2021

Practical informations

Location


on Zoom as a hybrid event (read on for details)