Research

My research focuses on the interplay between cryptography, arithmetic geometry, and coding theory.

Explicit Euclidean division algorithms for some degree 8 number rings
Christophe Levrat
 [ arXiv | SageMath code ]
Effective Artin–Schreier–Witt theory for curves
Christophe Levrat, Rubén Muñoz--Bertrand [recently submitted]
 [ arXiv | SageMath code by Rubén ]
Highway to Hull: A New Algorithm for Solving the Matrix Code Equivalence Problem
Alain Couvreur, Christophe Levrat [Advances in Cryptology – CRYPTO 2025]
 [ arXiv | eprint | published version ]
A Divide-and-Conquer Sumcheck Protocol
Christophe Levrat, Tanguy Medevielle, Jade Nardi [IACR Communications in Cryptology, 2025]
 [ arXiv | eprint | published version ]
Computing the cohomology of constructible étale sheaves on curves
Christophe Levrat [Journal de Théorie des Nombres de Bordeaux, 2024]
 [ arXiv | published version ]
Curves are algebraic K(pi,1): theoretical and practical aspects
Christophe Levrat [Bulletin of the London Mathematical Society, 2024]
 [ arXiv | published version ]
Proofs of non-Supermajority: the missing link for two-phase BFT with responsive view-change and linear complexity
Christophe Levrat, Matthieu Rambaud [Preprint]
 [ eprint | Go code ]
Practical Non-interactive Multi-signatures, and a Multi-to-Aggregate Signatures Compiler
Christophe Levrat, Matthieu Rambaud [Preprint]
 [ eprint ]
Breaking the Consensus Bound: Asynchronous Dynamic Proactive Secret Sharing under Honest Majority
Christophe Levrat, Matthieu Rambaud, Antoine Urban [Preprint]
 [ eprint | Go code ]
Calcul effectif de la cohomologie des faisceaux constructibles sur le site étale d'une courbe
[PhD Thesis]
 [ arXiv ]