ACCESS
Algebraic Coding and Cryptography
Seminar Series
Online Event
ACCESS is a joint effort designed to highlight world-class research in coding theory, cryptography, and related areas and to encourage collaboration among its participants.
Next seminar
October 15
October 15
Thibauld Feneuil
CryptoExperts
CryptoExperts
The Polynomial-IOP Vision of the Latest MPCitH Frameworks for Signature Schemes
Abstract. 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. In the last years, this paradigm has been improved in a series of works which makes it an effective and versatile tool. In this talk, I will present the recent frameworks TCitH and VOLEitH, using the formalism of the Polynomial Interactive Oracle Proofs (P-IOP), which is very popular in the SNARK state of the art. The main difference between the techniques used for signatures and those for SNARK is how the underlying polynomials are committed. After presenting the zero-knowledge protocol, I will thus discuss how to commit to polynomials when building signatures. Finally, I will provide an overview of how those recent frameworks impact the performance of the MPCitH signature schemes submitted to the first round of the NIST call for additional post-quantum signatures.
Biography. Thibauld Feneuil is a research engineer in cryptography at CryptoExperts (France). He received his PhD in 2023 from Sorbonne University (France) under the supervision of Jean Claude Bajard, Antoine Joux, and Matthieu Rivain. His main research topics are zero-knowledge proofs and post-quantum signatures. He is involved in the current NIST standardization process for Post-Quantum Cryptography as a co-submitter of several MPCitH-based submissions.