{"id":"arxiv/2608.15523","url":"https://arxiv.org/abs/2608.15523","tags":["math.NT"],"score":0,"title":"Cycles of supersingular elliptic curves for pairing-based proof systems","domain":"math.NT","source":"arxiv","authors":["Craig Costello","Gaurish Korpal"],"reviews":0,"subject":"math.NT","summary":"We give new constructions of cycles of pairing-friendly elliptic curves with a view towards unbounded recursive pairing-based proof systems. Unlike the only known prior cycle of elliptic curves - the ordinary MNT cycle - our construction uses elliptic curves that are supersingular. A trade-off of our approach is that the supersingular cycles are defined over extension fields (quadratic extensions in the optimal case), which makes elements and computations in $\\mathbb{G}_1$ less compact and efficient than those in the MNT cycle. On the other hand, the supersingular cycles in this paper offer…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-16","reactions":{}}