Proving knowledge of isogenies: a survey
From MaRDI portal
Publication:6063129
DOI10.1007/s10623-023-01243-3zbMath1526.94025OpenAlexW4379161559MaRDI QIDQ6063129
Luca De Feo, Christophe Petit, Steven D. Galbraith, Ward Beullens
Publication date: 7 November 2023
Published in: Designs, Codes and Cryptography (Search for Journal in Brave)
Full work available at URL: https://dipot.ulb.ac.be/dspace/bitstream/2013/359803/3/IsogenyProofs.pdf
Cryptography (94A60) Curves over finite and local fields (11G20) Isogeny (14K02) Applications to coding theory and cryptography of arithmetic geometry (14G50) Quantum cryptography (quantum-theoretic aspects) (81P94)
Cites Work
- Unnamed Item
- Unnamed Item
- Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies
- Topics in cryptology -- CT-RSA 2022. Cryptographers' track at the RSA conference 2022, virtual event, March 1--2, 2022. Proceedings
- Cryptographic hash functions from expander graphs
- Supersingular isogeny graphs and endomorphism rings: reductions and solutions
- A concrete treatment of Fiat-Shamir signatures in the quantum random-oracle model
- Towards practical key exchange from ordinary isogeny graphs
- CSIDH: an efficient post-quantum commutative group action
- CSI-FiSh: efficient isogeny based signatures through class group computations
- Aurora: transparent succinct arguments for R1CS
- SeaSign: compact isogeny signatures from class group actions
- Faster SeaSign signatures through improved rejection sampling
- SQISign: compact post-quantum signatures from quaternions and isogenies
- B-SIDH: supersingular isogeny Diffie-Hellman using twisted torsion
- Oblivious pseudorandom functions from isogenies
- On the quaternion -isogeny path problem
- Mathematics of Public Key Cryptography
- Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model
- On the Security of Supersingular Isogeny Cryptosystems
- Constant-Size Commitments to Polynomials and Their Applications
- Towards Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies
- The Arithmetic of Elliptic Curves
- Fiat-Shamir with Aborts: Applications to Lattice and Factoring-Based Signatures
- Algebraic methods for interactive proof systems
- Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
- Foundations of Cryptography
- Computationally Sound Proofs
- CSIDH on the Surface
- Quaternion Algebras
- Abelian varieties over finite fields
- A Closer Look at PKI: Security and Efficiency
- Faster computation of isogenies of large prime degree
- Computing endomorphism rings of supersingular elliptic curves and connections to path-finding in isogeny graphs
- A Post-quantum Digital Signature Scheme Based on Supersingular Isogenies
- Identification protocols and signature schemes based on supersingular isogeny problems
- SIDH proof of knowledge
This page was built for publication: Proving knowledge of isogenies: a survey
