Table of Contents
Fetching ...

Polynomial Lattices for the BIKE Cryptosystem

Michael Schaller

TL;DR

The paper reframes BIKE's key-recovery weakness as a rank-$2$ lattice problem over a polynomial ring derived from the public key, treating the secret key as a sparse lattice vector. It builds a concrete lattice $L$ with basis $(x^r-1,0)$ and $(h,1)$ and applies Lenstra-style polynomial-lattice reduction to obtain a reduced basis, enabling a generalized weak-key search that combines lattice reduction with brute-force bounded by a degree parameter. By connecting Thue's lemma, Mahler's analogue of Minkowski, and rational reconstruction within a unified polynomial-lattice framework, the work shows how to recover more weak keys than prior approaches (e.g., BardetDLO16) and provides insights into short-vector hardness under a weight-based norm. The results suggest directions for extending the method to higher-rank lattices and for potential applications to HQC, highlighting open questions about deeper lattice-theoretic approaches to quasi-cyclic cryptosystems and their weak-key landscapes.

Abstract

In this paper we introduce a rank $2$ lattice over a polynomial ring arising from the public key of the BIKE cryptosystem. The secret key is a sparse vector in this lattice. We study properties of this lattice and generalize the recovery of weak keys from "Weak keys for the quasi-cyclic MDPC public key encryption scheme". In particular, we show that they implicitly solved a shortest vector problem in the lattice we constructed. Rather than finding only a shortest vector, we obtain a reduced basis of the lattice which makes it possible to check for more weak keys.

Polynomial Lattices for the BIKE Cryptosystem

TL;DR

The paper reframes BIKE's key-recovery weakness as a rank- lattice problem over a polynomial ring derived from the public key, treating the secret key as a sparse lattice vector. It builds a concrete lattice with basis and and applies Lenstra-style polynomial-lattice reduction to obtain a reduced basis, enabling a generalized weak-key search that combines lattice reduction with brute-force bounded by a degree parameter. By connecting Thue's lemma, Mahler's analogue of Minkowski, and rational reconstruction within a unified polynomial-lattice framework, the work shows how to recover more weak keys than prior approaches (e.g., BardetDLO16) and provides insights into short-vector hardness under a weight-based norm. The results suggest directions for extending the method to higher-rank lattices and for potential applications to HQC, highlighting open questions about deeper lattice-theoretic approaches to quasi-cyclic cryptosystems and their weak-key landscapes.

Abstract

In this paper we introduce a rank lattice over a polynomial ring arising from the public key of the BIKE cryptosystem. The secret key is a sparse vector in this lattice. We study properties of this lattice and generalize the recovery of weak keys from "Weak keys for the quasi-cyclic MDPC public key encryption scheme". In particular, we show that they implicitly solved a shortest vector problem in the lattice we constructed. Rather than finding only a shortest vector, we obtain a reduced basis of the lattice which makes it possible to check for more weak keys.

Paper Structure

This paper contains 6 sections, 13 theorems, 26 equations, 1 algorithm.

Key Result

Lemma 1

Let $k \leq n$ and $A \in \mathbb{Z}/(\gamma)^{k \times n}$ be a matrix. Then

Theorems & Definitions (26)

  • Lemma 1
  • proof
  • Lemma 2: Thue
  • proof
  • Definition 3
  • Definition 4
  • Remark 5
  • Definition 6
  • Remark 7
  • Theorem 8: Lenstra
  • ...and 16 more