Description
Zero-knowledge proofs of knowledge are useful tools for designing signature schemes. Among the existing techniques, the MPC-in-Head (MPCitH) paradigm provides a generic framework to build quantum-resilient proofs using techniques from secure multiparty computation. This paradigm has recently been improved in a series of works which makes it an effective and versatile tool. In this talk, I will present the recent advances in post-quantum signatures relying on the MPC-in-the-Head. After a general introduction to MPCitH, I will provide an overview of the state of the art that led to the MPCitH-based candidates that have been submitted to the additional NIST call for post-quantum signatures. Then, I will present the Threshold-Computation-in-the-Head (TCitH) framework, based on joint works with Matthieu Rivain. This framework extends common MPC-in-the-Head techniques by using Shamir’s secret sharing (instead of additive sharing) to achieve significant improvements in terms of sizes and timings.
Prochains exposés
-
Polytopes in the Fiat-Shamir with Aborts Paradigm
Orateur : Hugo Beguinet - ENS Paris / Thales
The Fiat-Shamir with Aborts paradigm (FSwA) uses rejection sampling to remove a secret’s dependency on a given source distribution. Recent results revealed that unlike the uniform distribution in the hypercube, both the continuous Gaussian and the uniform distribution within the hypersphere minimise the rejection rate and the size of the proof of knowledge. However, in practice both these[…]-
Cryptographie
-
Primitive asymétrique
-
Mode et protocole
-
-
Post-quantum Group-based Cryptography
Orateur : Delaram Kahrobaei - The City University of New York