← Hardness assumptions

Class-Group Assumptions (CL-DLP, Unknown Order)

Proposed by: Johannes Buchmann & Hugh Williams (1988); revived by Castagnos–Laguillaumie (2015), Wesolowski (2019) Category: Number-theoretic (groups of unknown order)

Mathematical form

Let Cl(Δ)\mathrm{Cl}(\Delta) be the ideal class group of the imaginary quadratic order of discriminant Δ<0\Delta < 0; for random large Δ|\Delta| its order h(Δ)h(\Delta) is unknown and believed infeasible to compute.

CL-DLP. Given g,h=gxCl(Δ)\mathfrak{g}, \mathfrak{h} = \mathfrak{g}^x \in \mathrm{Cl}(\Delta), find xx.

Order / root problem (unknown-order assumption). Given random gCl(Δ)\mathfrak{g} \in \mathrm{Cl}(\Delta), it is hard to find (any multiple of) ord(g)\mathrm{ord}(\mathfrak{g}), and hard to compute \ell-th roots — the adaptive root assumption — and g2T\mathfrak{g}^{2^T} requires TT sequential squarings (cf. [[sequential-squaring]]).

CL framework (DDH-CL / HSM). In class groups engineered to contain a subgroup where DL is easy, a DDH/hidden-subgroup-membership assumption in the full group yields linearly homomorphic encryption modulo a prime qq.

Best known attacks

Importance

Source: assumptions/class-group.md — corrections welcome via pull request.