{"id":"arxiv/2609.26258","url":"https://arxiv.org/abs/2609.26258","tags":["cs.CR","cs.IT","quant-ph"],"score":0,"title":"CRT-Decomposed $Σ$-Protocols for CSIDH","domain":"cs.CR","source":"arxiv","authors":["I. Dey","I. Cherkaoui"],"reviews":0,"subject":"cs.CR","summary":"We construct a zero-knowledge proof of knowledge for the CSIDH group action that exploits the Chinese Remainder Theorem (CRT) structure of the ideal class group, available whenever the group structure is known exactly, as for CSIDH-512. We prove perfect completeness, perfect special honest-verifier zero-knowledge, and 2-special soundness, in which the secret is recovered from two accepting transcripts by one subtraction and one modular inversion per CRT component; no rewinding loop, lattice reduction, or heuristic sampling appears in the extractor. Because each round admits exactly two…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}