Efficient isogeny proofs using generic techniques

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

Shai Levin, Yi-Fu Lai, Kelong Cong

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)

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 (2)

• Proving knowledge of isogenies: a survey
• Towards a quantum-resistant weak verifiable delay function

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)