Practical Post-Quantum Signature Schemes from Isomorphism Problems of Trilinear Forms
Gang Tang, Dung Hoang Duong, Antoine Joux, Thomas Plantard, Youming Qiao, Willy Susilo
Abstract
. In this paper, we propose a practical signature scheme based on the alternating trilinear form equivalence problem. Our scheme is inspired by the Goldreich-Micali-Wigderson’s zero-knowledge protocol for graph isomorphism, and can be served as an alternative candidate for the NIST’s post-quantum digital signatures. First, we present theoretical evidences to support its security, especially in the post-quantum cryptography context. The evidences are drawn from several research lines, including hidden subgroup problems, multi-variate cryptography, cryptography based on group actions, the quantum random oracle model, and recent advances on isomorphism problems for algebraic structures in algorithms and complexity. Second, we demonstrate its potential for practical uses. Based on algo-rithm studies, we propose concrete parameter choices, and then implement a prototype. One concrete scheme achieves 128 bit security with public key size ≈ 4100 bytes, signature size ≈ 6800 bytes, and running times (key generation, sign, verify) ≈ 0 . 8ms on a common laptop computer.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 72475f16-a31e-4672-90fe-6d6daaf2a5fbCited by top-tier papers5
- Faster Isomorphism for 𝑝-Groups of Class 2 and Exponent 𝑝Xiaorui SunSTOC 2023 · 6 citations
- Solving the Tensor Isomorphism Problem for Special Orbits with Low Rank Points: Cryptanalysis and Repair of an Asiacrypt 2023 Commitment SchemeValerie Gilchrist, Laurane Marco, Christophe Petit, Gang TangCRYPTO 2024 · 4 citations
- On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials IV: Linear-Length Reductions and Their ApplicationsJoshua A. Grochow, Youming QiaoSTOC 2025 · 1 citation
- Canonical Forms for Matrix Tuples in Polynomial TimeYouming Qiao, Xiaorui SunFOCS 2024 · 1 citation
- Highway to Hull: An Algorithm for Solving the General Matrix Code Equivalence ProblemAlain Couvreur, Christophe LevratCRYPTO 2025
Related papers
- Graph-Theoretic Algorithms for the Alternating Trilinear Form Equivalence ProblemWard BeullensCRYPTO 2023 · 5 citations
- Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism InvariantsAnand Kumar Narayanan, Youming Qiao, Gang TangEUROCRYPT 2024 · 7 citations
- SQIsignHD: New Dimensions in CryptographyPierrick Dartois, Antonin Leroux, Damien Robert, Benjamin WesolowskiEUROCRYPT 2024 · 69 citations
- SQIsign2DPush: Faster Signature Scheme Using 2-Dimensional IsogeniesKohei Nakagawa, Hiroshi OnukiEUROCRYPT 2026 · 3 citations
- Cryptanalysis of Definite and Indefinite Lattice Isomorphism Problems with Applications to DEFIMarkus Kirschmer, Cong Ling, Ali SadreddinCRYPTO 2026
