Towards practical post quantum Single Secret Leader Election (SSLE) - Part 1
Antonio Sanso | August 30, 2022
Single Secret Leader Election (SSLE from now on) is an important research problem the cryptographic community has been researching on. The SSLE protocols allow a set of users to elect a leader ensuring that the identity of the winner remains secret until he decides to reveal himself. Whisk is a block proposer election protocol tailored to the Ethereum beacon chain that protects the privacy of proposers. It relies on discrete logarithm assumptions and uses a shuffling approach and NIZK proof of shuffle to prove correctness. This year NIST announced its choice for Post-Quantum-Cryptography algorithms that are going to replace the existing public key infrastructure (Zhenfei Zhang covered this in a previous blog post).
In this blog post we are going to analyze a possible Post Quantum analogue of Whisk based on Commutative Supersingular isogenies (CSIDH).
N.B. If you wonder if this solution is affected by the new devastating attack on SIDH the answer is NO. The Castryck-Decru Key Recovery Attack crucially relies on torsion point information that are not present in CSIDH based solutions.
As mentioned above Whisk is a proposal to fully implement SSLE from DDHand shuffles scheme (see also section 6 from Boneh et al paper). The idea behind this solution is pretty straightforward and neat. Let's list below the key ingredients of the commitment scheme in Whisk (at the net of the shuffles):
- Alice commits to a random long-term secret k using a tuple (called tracker).
- Bob randomizes Alice’s tracker with a random secret by multiplying both elements of the tuple: .
- Alice proves ownership of her randomized tracker (i.e. open it) by providing a proof of knowledge of a discrete log (DLOG NIZK) that proves knowledge of a k such that .
- Identity binding is achieved by having Alice provide a deterministic commitment when she registers her tracker.
- We also use it at registration and when opening the trackers to check that both the tracker and use the same using a discrete log equivalence proof (DLEQ NIZK).
Whisk can be implemented in any group where the Decisional Diffie Hellman problem (DDH) is hard. Currently Whisk is instantiated via a commitment scheme in BLS12-381.
Commutative Supersingular isogenies (CSIDH).
This section (and the remainder of the blog post) will require some knowledge about elliptic curves and isogeny based cryptography. The general reference on elliptic curves is Silverman for a thorough explanation of isogenies we refer to De Feo.
CSIDH is an isogeny based post quantum key exchange presented at Asiacrypt 2018 based on an efficient commutative group action. The idea of using group actions based on isogenies finds its origins in the now well known 1997 paper by Couveignes. Almost 10 years later Rostovtsev and Stolbunov rediscovered Couveignes's ideas .
Couveignes in his seminal work introduced the concept of Very Hard Homogeneous Spaces (VHHS). A VHHS is a generalization of cyclic groups for which the computational and decisional Diffie-Hellman problem are hard. The exponentiation in the group (or the scalar multiplication if we use additive notation) is replaced by a group action on a set. The main hardness assumption underlying group actions based on isogenies, is that it is hard to invert the group action:
Group Action Inverse Problem (GAIP)). Given a curve , with , find an ideal a ⊂ O such that .
The GAIP (also known as vectorization) might resemble a bit the discrete logarithm problem and in this blog post we exploit this analogy to translate the commitment scheme in Whisk to the CSIDH setting.
In this section we will show that a 1:1 translation is indeed (almost) easily achievable. Indeed the translation from the DLOG setting to VHHS presents a caveat: in this blog post we will focus our attention on the fraud proof version of shuffle based SSLE. This is also described in the original SSLE paper (see Removing NIZKs paragraph). The reason behind this is because currently there isn't a way to have NIZK proof of shuffle based on isogenies. Apart from this, let's see how it is indeed possible to translate all the other ingredients.
Whisk commitment scheme
The hardness of the GAIP problem gives a natural translation of the Whish commitment scheme. Alice commits to a random long-term secret using a tuple , where over is the base curve (the equivalent of the generator in the elliptic curve based solution). Also the randomization phase is trivial: Bob randomizes Alice’s tracker with a random secret by multiplying both elements of the tuple: .
DDH and CSIDH
The next thing to address is ensuring DDH is a hard problem in CSIDH.
Group-Action DDH the Group-Action DDH assumption holds if the two distributions and are computationally indistinguishable.
Castryck et al showed that the DDH problem is easy in ideal-class-group actions when the class number is even. Such groups are therefore unsuited for the above construction. As a countermeasure to their attack, they suggest working with supersingular elliptic curves over Fp for , which is already the case for CSIDH. In that setting, the Group-Action DDH problem is conjectured to be hard.
DLOG NIZK in CSIDH
A sigma protocol proving knowledge of a solution of a GAIP instance in zero knowledge has been described in original Couveignes's paper and further analyzed in Stolbunov'sPhD thesis. Two incarnations of these ideas in the CSIDH setting are SeaSign and CSI-FiSh. The first paper (SeaSign) uses rejection sampling (a technique successfully employed in lattice based cryptography) to prevent signatures from leaking the private key (a problem that occurs if a sigma protocol is performed naively). The same is achieved in the latter paper (CSI-FiSh) computing the class group of the imaginary quadratic field used in the CSIDH-512 cryptosystem.
DLEQ NIZK in CSIDH
A way to solve discrete log equivalence proof (DLEQ NIZK) in the CSIDH is provided in Beullens et al. section 2.4.
In this blog post we briefly analyzed a possible replacement of Whisk in the Post Quantum setting. We achieved this employing the commutative supersingular isogeny (CSIDH) setting. We have seen that a direct translation from DLOG to VHHS is indeed possible with some limitations. The derived Post Quantum Whisk Protocol is restricted to the fraud proof version due the lack of NIZK proof of shuffle in the isogeny setting. The current zero-knowledge proving system is an adaptation of the Bayer-Groth shuffle argument but is currently out of reach for isogeny based cryptography. We hope this blog post stimulates researchers to look into this open problem.
We would like to thank Ward Beullens, Dan Boneh, Luca De Feo and George Kadianakis for for fruitful discussions and comments.