Efficient isogeny proofs using generic techniques

DOI10.1007/978-3-031-33491-7_10MaRDI QIDQ6535120zbMATH OpenFDO

Authors Kelong Cong, Yi-Fu Lai, Shai Levin

Publication date 10 November 2023

zbMATH Keywords

isogenyzero-knowledgeMPC-in-the-headzkSNARKinteractive oracle proof

Mathematics Subject Classification ID

Cryptography (94A60) Curves over finite and local fields (11G20)

Recommendations

• Supersingular curves you can trust
• Generating supersingular elliptic curves over \(\mathbb{F}_p\) with unknown endomorphism ring
• Identification protocols and signature schemes based on supersingular isogeny problems
• Proving knowledge of isogenies: a survey
• Exploring SIDH-based signature parameters

Cites work

• scientific article; zbMATH DE number 5485433 (Why is no real title available?)
• A new isogeny representation and applications to cryptography
• Aurora: transparent succinct arguments for R1CS
• BBQ: using AES in Picnic signatures
• Banquet: short and fast signatures from AES
• CSI-FiSh: efficient isogeny based signatures through class group computations
• CSIDH on the surface
• CSIDH: an efficient post-quantum commutative group action
• Calamari and Falafl: logarithmic (linkable) ring signatures from isogenies and lattices
• Compact, efficient and UC-secure isogeny-based oblivious transfer
• Constructing Isogenies between Elliptic Curves Over Finite Fields
• Constructing elliptic curves of prime order
• Cryptographic hash functions from expander graphs
• Delay encryption
• Efficient Algorithms for Supersingular Isogeny Diffie-Hellman
• Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
• Elliptic curves. Number theory and cryptography
• Fast Reed-Solomon interactive oracle proofs of proximity
• Group signatures and more from isogenies and lattices: generic, simple, and efficient
• How To Prove Yourself: Practical Solutions to Identification and Signature Problems
• Interactive oracle proofs
• LegRoast: efficient post-quantum signatures from the Legendre PRF
• On oriented supersingular elliptic curves
• On the Non-malleability of the Fiat-Shamir Transform
• On the cost of computing isogenies between supersingular elliptic curves
• Orion: zero knowledge proof with linear prover time
• Parallel collision search with cryptanalytic applications
• Password-authenticated key exchange from group actions
• Ramanujan graphs and Hecke operators
• SIDH proof of knowledge
• SQISign: compact post-quantum signatures from quaternions and isogenies
• SeaSign: compact isogeny signatures from class group actions
• Syndrome decoding in the head: shorter signatures from zero-knowledge proofs
• The Arithmetic of Elliptic Curves
• Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies
• Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies
• Verifiable isogeny walks: towards an isogeny-based postquantum VDF
• What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
• Zero-knowledge proofs from secure multiparty computation
• Zero-knowledge protocols for the subset sum problem from MPC-in-the-head with rejection

Cited in

(5)

• Generating supersingular elliptic curves over \(\mathbb{F}_p\) with unknown endomorphism ring
• Proving knowledge of isogenies: a survey
• Towards a quantum-resistant weak verifiable delay function
• Verifiable isogeny walks: towards an isogeny-based postquantum VDF
• Supersingular curves you can trust

This page was built for publication: Efficient isogeny proofs using generic techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535120)