KCDSA

• ${\displaystyle p}$: a large prime such that ${\displaystyle |p|=512+256i}$ for ${\displaystyle i=0,1,\dots ,6}$.
• ${\displaystyle q}$: a prime factor of ${\displaystyle p-1}$ such that ${\displaystyle |q|=128+32j}$ for ${\displaystyle j=0,1,\dots ,4}$.
• ${\displaystyle g}$: a base element of order ${\displaystyle q}$ in ${\displaystyle \operatorname {GF} (p)}$.

• ${\displaystyle x}$: signer's private signature key such that ${\displaystyle 0<x<q}$.
• ${\displaystyle y}$: signer's public verification key computed by ${\displaystyle y=g^{\bar {x}}{\pmod {p}},}$ where ${\displaystyle {\bar {x}}=x^{-1}{\pmod {q}}}$.
• ${\displaystyle z}$: a hash-value of Cert Data, i.e., ${\displaystyle z=h({\text{Cert Data}})}$.

The 1998 spec is unclear about the exact format of the "Cert Data". In the revised spec, z is defined as being the bottom B bits of the public key y, where B is the block size of the hash function in bits (typically 512 or 1024). The effect is that the first input block corresponds to y mod 2^B.

• ${\displaystyle z}$: the lower B bits of y.

• ${\displaystyle h}$: a collision resistant hash function with |q|-bit digests.

• Signer randomly picks an integer ${\displaystyle 0<k<q}$ and computes ${\displaystyle w=g^{k}\mod {p}}$
• Then computes the first part: ${\displaystyle r=h(w)}$
• Then computes the second part: ${\displaystyle s=x(k-r\oplus h(z\parallel m)){\pmod {q}}}$
• If ${\displaystyle s=0}$, the process must be repeated from the start.
• The signature is ${\displaystyle (r,s)}$

• Verifier checks that ${\displaystyle 0\leq r<2^{|q|}}$ and ${\displaystyle 0<s<q}$ and rejects the signature as invalid if not.
• Verifier computes ${\displaystyle e=r\oplus h(z\parallel m)}$
• Then he checks if ${\displaystyle r=h(y^{s}\cdot g^{e}\mod {p})}$

• KCDSA specification and analysis