{"id":"arxiv/2610.01924","url":"https://arxiv.org/abs/2610.01924","tags":["math.NT","cs.CR"],"score":0,"title":"Supersingularity and Superspeciality Verification of Abelian Surfaces","domain":"math.NT","source":"arxiv","authors":["Maria Corte-Real Santos","Gioella Lorenzon","Krijn Reijnders"],"reviews":0,"subject":"math.NT","summary":"Supersingular abelian surfaces are essential in isogeny-based cryptography. Despite this, we have no efficient algorithm to verify if a given abelian surface is supersingular. In this work, we initiate this research topic by giving an efficient Monte Carlo algorithm to verify if an abelian surface over $\\mathbb{F}_p$ is supersingular in $O(\\log p)$ with negligible failure probability, and an efficient conclusive algorithm if the order is smooth. We derive this algorithm by a careful analysis on the structure of supersingular Jacobians over $\\mathbb{F}_p$. Furthermore, we derive efficient…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-01","reactions":{}}