Table of Contents
Fetching ...

An Implementation of the Extended Tower Number Field Sieve using 4d Sieving in a Box and a Record Computation in Fp4

Oisin Robinson

TL;DR

The paper demonstrates a practical implementation of the Extended Tower NFS for a medium-characteristic, 512-bit finite field $\mathbb{F}_{p^4}$, highlighting a 4d sieving-in-a-box approach that outperforms 4d sieving in a hypersphere in key metrics. It introduces a novel Descent with intermediate random vectors to stabilize the initial split, analyzes its complexity and smoothness probabilities, and applies these methods to a full record computation including polynomial selection, sieving, duplication removal, linear algebra, descent, and log reconstruction. The work provides empirical evidence that a box geometry can be more efficient than a sphere in certain low dimensions, while still achieving competitive relation yields, and it reports a complete end-to-end record for discrete log in a 512-bit extension field. These findings contribute to understanding practical security implications for discrete log problems in extension fields and inform parameter choices and implementations for ExTNFS-based attacks.

Abstract

We report on an implementation of the Extended Tower Number Field Sieve (ExTNFS) and record computation in a medium characteristic finite field $\mathbb{F}_{p^4}$ of 512 bits size. Empirically, we show that sieving in a 4-dimensional box (orthotope) for collecting relations for ExTNFS in $\mathbb{F}_{p^4}$ is faster than sieving in a 4-dimensional hypersphere. We also give a new intermediate descent method, `descent using random vectors', without which the descent stage in our ExTNFS computation would have been difficult/impossible, and analyze its complexity.

An Implementation of the Extended Tower Number Field Sieve using 4d Sieving in a Box and a Record Computation in Fp4

TL;DR

The paper demonstrates a practical implementation of the Extended Tower NFS for a medium-characteristic, 512-bit finite field , highlighting a 4d sieving-in-a-box approach that outperforms 4d sieving in a hypersphere in key metrics. It introduces a novel Descent with intermediate random vectors to stabilize the initial split, analyzes its complexity and smoothness probabilities, and applies these methods to a full record computation including polynomial selection, sieving, duplication removal, linear algebra, descent, and log reconstruction. The work provides empirical evidence that a box geometry can be more efficient than a sphere in certain low dimensions, while still achieving competitive relation yields, and it reports a complete end-to-end record for discrete log in a 512-bit extension field. These findings contribute to understanding practical security implications for discrete log problems in extension fields and inform parameter choices and implementations for ExTNFS-based attacks.

Abstract

We report on an implementation of the Extended Tower Number Field Sieve (ExTNFS) and record computation in a medium characteristic finite field of 512 bits size. Empirically, we show that sieving in a 4-dimensional box (orthotope) for collecting relations for ExTNFS in is faster than sieving in a 4-dimensional hypersphere. We also give a new intermediate descent method, `descent using random vectors', without which the descent stage in our ExTNFS computation would have been difficult/impossible, and analyze its complexity.
Paper Structure (29 sections, 5 theorems, 34 equations, 2 figures, 5 tables, 4 algorithms)

This paper contains 29 sections, 5 theorems, 34 equations, 2 figures, 5 tables, 4 algorithms.

Key Result

theorem 1

For any full-rank lattice $\Lambda$ of rank $n$, where $\lambda_i$ denotes the $i$-th minimum of $\Lambda$.

Figures (2)

  • Figure 1: exTNFS, relations/core hour, box vs sphere 4d sieve
  • Figure :

Theorems & Definitions (19)

  • remark 1
  • remark 2
  • remark 3
  • remark 4
  • remark 5
  • remark 6
  • remark 7
  • remark 8
  • remark 9
  • remark 10
  • ...and 9 more