Efficient isogeny proofs using generic techniques

DOI10.1007/978-3-031-33491-7_10zbMATH Open1540.9406MaRDI QIDQ6535120FDOQ6535120

Authors: Kelong Cong, Yi-Fu Lai, Shai Levin 

Publication date: 10 November 2023

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

zbMATH Keywords

isogenyzero-knowledgeMPC-in-the-headzkSNARKinteractive oracle proof

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

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

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)