cronokirby

(2026-06) The Relative Trace-Zero Subgroup of the Barreto-Naehrig Curves

2026-06-23

Abstract

We prove a folklore characterization of the BN pairing subgroup as the kernel of a relative trace map on the -torsion points.