Elliptic Curve Digital Signature Algorithm

Signature generation algorithm

Suppose Alice wants to send a signed message to Bob. Initially, they must agree on the curve parameters ${\displaystyle (\text{CURVE},G,n)}$. In addition to the field and equation of the curve, we need ${\displaystyle G}$, a base point of prime order on the curve; ${\displaystyle n}$ is the additive order of the point ${\displaystyle G}$.

The order ${\displaystyle n}$ of the base point ${\displaystyle G}$ must be prime. Indeed, we assume that every nonzero element of the ring ${\displaystyle \mathbb{Z}/n\mathbb{Z}}$ is invertible, so that ${\displaystyle \mathbb{Z}/n\mathbb{Z}}$ must be a field. It implies that ${\displaystyle n}$ must be prime (cf. Bézout's identity).

Alice creates a key pair, consisting of a private key integer ${\displaystyle d_A}$, randomly selected in the interval ${\displaystyle [1,n-1]}$; and a public key curve point ${\displaystyle Q_A=d_A\times G}$. We use ${\displaystyle \times }$ to denote elliptic curve point multiplication by a scalar.

For Alice to sign a message ${\displaystyle m}$, she follows these steps:

1. Calculate ${\displaystyle e=\text{HASH}(m)}$. (Here HASH is a cryptographic hash function, such as SHA-2, with the output converted to an integer.)
2. Let ${\displaystyle z}$ be the ${\displaystyle L_n}$ leftmost bits of ${\displaystyle e}$, where ${\displaystyle L_n}$ is the bit length of the group order ${\displaystyle n}$. (Note that ${\displaystyle z}$ can be greater than ${\displaystyle n}$ but not longer.)
3. Select a cryptographically secure random integer ${\displaystyle k}$ from ${\displaystyle [1,n-1]}$.
4. Calculate the curve point ${\displaystyle (x_1,y_1)=k\times G}$.
5. Calculate ${\displaystyle r=x_{1}modn}$. If ${\displaystyle r=0}$, go back to step 3.
6. Calculate ${\displaystyle s=k^{-1}(z+r{d}_A)modn}$. If ${\displaystyle s=0}$, go back to step 3.
7. The signature is the pair ${\displaystyle (r,s)}$. (And ${\displaystyle (r,-smodn)}$ is also a valid signature.)

As the standard notes, it is not only required for ${\displaystyle k}$ to be secret, but it is also crucial to select different ${\displaystyle k}$ for different signatures. Otherwise, the equation in step 6 can be solved for ${\displaystyle d_A}$, the private key: given two signatures ${\displaystyle (r,s)}$ and ${\displaystyle (r,s^{\prime })}$, employing the same unknown ${\displaystyle k}$ for different known messages ${\displaystyle m}$ and ${\displaystyle m^{\prime }}$, an attacker can calculate ${\displaystyle z}$ and ${\displaystyle z^{\prime }}$, and since ${\displaystyle s-s^{\prime }=k^{-1}(z-z^{\prime })}$ (all operations in this paragraph are done modulo ${\displaystyle n}$) the attacker can find ${\displaystyle k=\frac{z-z^{\prime }}{s-s^{\prime }}}$. Since ${\displaystyle s=k^{-1}(z+r{d}_A)}$, the attacker can now calculate the private key ${\displaystyle d_A=\frac{sk-z}{r}}$.

This implementation failure was used, for example, to extract the signing key used for the PlayStation 3 gaming-console.

Another way ECDSA signature may leak private keys is when ${\displaystyle k}$ is generated by a faulty random number generator. Such a failure in random number generation caused users of Android Bitcoin Wallet to lose their funds in August 2013.

To ensure that ${\displaystyle k}$ is unique for each message, one may bypass random number generation completely and generate deterministic signatures by deriving ${\displaystyle k}$ from both the message and the private key.

Signature verification algorithm

For Bob to authenticate Alice's signature ${\displaystyle r,s}$ on a message ${\displaystyle m}$, he must have a copy of her public-key curve point ${\displaystyle Q_A}$. Bob can verify ${\displaystyle Q_A}$ is a valid curve point as follows:

1. Check that ${\displaystyle Q_A}$ is not equal to the identity element O, and its coordinates are otherwise valid.
2. Check that ${\displaystyle Q_A}$ lies on the curve.
3. Check that ${\displaystyle n\times Q_A=O}$.

After that, Bob follows these steps:

1. Verify that r and s are integers in ${\displaystyle [1,n-1]}$. If not, the signature is invalid.
2. Calculate ${\displaystyle e=\text{HASH}(m)}$, where HASH is the same function used in the signature generation.
3. Let ${\displaystyle z}$ be the ${\displaystyle L_n}$ leftmost bits of e.
4. Calculate ${\displaystyle u_1=z{s}^{-1}modn}$ and ${\displaystyle u_2=r{s}^{-1}modn}$.
5. Calculate the curve point ${\displaystyle (x_1,y_1)=u_1\times G+u_2\times Q_A}$. If ${\displaystyle (x_1,y_1)=O}$ then the signature is invalid.
6. The signature is valid if ${\displaystyle r\equiv x_1(\mathrm{mod}n)}$, invalid otherwise.

Note that an efficient implementation would compute inverse ${\displaystyle s^{-1}modn}$ only once. Also, using Shamir's trick, a sum of two scalar multiplications ${\displaystyle u_1\times G+u_2\times Q_A}$ can be calculated faster than two scalar multiplications done independently.

Correctness of the algorithm

It is not immediately obvious why verification even functions correctly. To see why, denote as C the curve point computed in step 5 of verification,

${\displaystyle C=u_1\times G+u_2\times Q_A}$

From the definition of the public key as ${\displaystyle Q_A=d_A\times G}$,

${\displaystyle C=u_1\times G+u_2{d}_A\times G}$

Because elliptic curve scalar multiplication distributes over addition,

${\displaystyle C=(u_1+u_2{d}_A)\times G}$

Expanding the definition of ${\displaystyle u_1}$ and ${\displaystyle u_2}$ from verification step 4,

${\displaystyle C=(z{s}^{-1}+r{d}_A{s}^{-1})\times G}$

Collecting the common term ${\displaystyle s^{-1}}$,

${\displaystyle C=(z+r{d}_A)s^{-1}\times G}$

Expanding the definition of s from signature step 6,

${\displaystyle C=(z+r{d}_A)(z+r{d}_A{)}^{-1}(k^{-1}{)}^{-1}\times G}$

Since the inverse of an inverse is the original element, and the product of an element's inverse and the element is the identity, we are left with

${\displaystyle C=k\times G}$

From the definition of r, this is verification step 6.

This shows only that a correctly signed message will verify correctly; other properties such as incorrectly signed messages failing to verify correctly and resistance to cryptanalytic attacks are required for a secure signature algorithm.

Public key recovery

Given a message m and Alice's signature ${\displaystyle r,s}$ on that message, Bob can (potentially) recover Alice's public key:

1. Verify that r and s are integers in ${\displaystyle [1,n-1]}$. If not, the signature is invalid.
2. Calculate a curve point ${\displaystyle R=(x_1,y_1)}$ where ${\displaystyle x_1}$ is one of ${\displaystyle r}$, ${\displaystyle r+n}$, ${\displaystyle r+2n}$, etc. (provided ${\displaystyle x_1}$ is not too large for the field of the curve) and ${\displaystyle y_1}$ is a value such that the curve equation is satisfied. Note that there may be several curve points satisfying these conditions, and each different R value results in a distinct recovered key.
3. Calculate ${\displaystyle e=\text{HASH}(m)}$, where HASH is the same function used in the signature generation.
4. Let z be the ${\displaystyle L_n}$ leftmost bits of e.
5. Calculate ${\displaystyle u_1=-z{r}^{-1}modn}$ and ${\displaystyle u_2=s{r}^{-1}modn}$.
6. Calculate the curve point ${\displaystyle Q_A=(x_A,y_A)=u_1\times G+u_2\times R}$.
7. The signature is valid if ${\displaystyle Q_A}$, matches Alice's public key.
8. The signature is invalid if all the possible R points have been tried and none match Alice's public key.

Note that an invalid signature, or a signature from a different message, will result in the recovery of an incorrect public key. The recovery algorithm can only be used to check validity of a signature if the signer's public key (or its hash) is known beforehand.

Correctness of the recovery algorithm

Start with the definition of ${\displaystyle Q_A}$ from recovery step 6,

${\displaystyle Q_A=(x_A,y_A)=u_1\times G+u_2\times R}$

From the definition ${\displaystyle R=(x_1,y_1)=k\times G}$ from signing step 4,

${\displaystyle Q_A=u_1\times G+u_{2}k\times G}$

Because elliptic curve scalar multiplication distributes over addition,

${\displaystyle Q_A=(u_1+u_{2}k)\times G}$

Expanding the definition of ${\displaystyle u_1}$ and ${\displaystyle u_2}$ from recovery step 5,

${\displaystyle Q_A=(-z{r}^{-1}+sk{r}^{-1})\times G}$

Expanding the definition of s from signature step 6,

${\displaystyle Q_A=(-z{r}^{-1}+k^{-1}(z+r{d}_A)k{r}^{-1})\times G}$

Since the product of an element's inverse and the element is the identity, we are left with

${\displaystyle Q_A=(-z{r}^{-1}+(z{r}^{-1}+d_A))\times G}$

The first and second terms cancel each other out,

${\displaystyle Q_A=d_A\times G}$

From the definition of ${\displaystyle Q_A=d_A\times G}$, this is Alice's public key.

This shows that a correctly signed message will recover the correct public key, provided additional information was shared to uniquely calculate curve point ${\displaystyle R=(x_1,y_1)}$ from signature value r.

Security

In December 2010, a group calling itself fail0verflow announced the recovery of the ECDSA private key used by Sony to sign software for the PlayStation 3 game console. However, this attack only worked because Sony did not properly implement the algorithm, because ${\displaystyle k}$ was static instead of random. As pointed out in the Signature generation algorithm section above, this makes ${\displaystyle d_A}$ solvable, rendering the entire algorithm useless.

On March 29, 2011, two researchers published an IACR paper demonstrating that it is possible to retrieve a TLS private key of a server using OpenSSL that authenticates with Elliptic Curves DSA over a binary field via a timing attack. The vulnerability was fixed in OpenSSL 1.0.0f.

In August 2013, it was revealed that bugs in some implementations of the Java class SecureRandom sometimes generated collisions in the ${\displaystyle k}$ value. This allowed hackers to recover private keys giving them the same control over bitcoin transactions as legitimate keys' owners had, using the same exploit that was used to reveal the PS3 signing key on some Android app implementations, which use Java and rely on ECDSA to authenticate transactions.

This issue can be prevented by deterministic generation of k, as described by RFC 6979.

Concerns

Some concerns expressed about ECDSA:

1. Political concerns: the trustworthiness of NIST-produced curves being questioned after revelations were made that the NSA willingly inserts backdoors into software, hardware components and published standards; well-known cryptographers have expressed doubts about how the NIST curves were designed, and voluntary tainting has already been proved in the past. (See also the libssh curve25519 introduction.) Nevertheless, a proof that the named NIST curves exploit a rare weakness is still missing.
2. Technical concerns: the difficulty of properly implementing the standard, its slowness, and design flaws which reduce security in insufficiently defensive implementations.

Implementations

Below is a list of cryptographic libraries that provide support for ECDSA:

• Botan
• Bouncy Castle
• cryptlib
• Crypto++
• Crypto API (Linux)
• GnuTLS
• libgcrypt
• LibreSSL
• mbed TLS
• Microsoft CryptoAPI
• OpenSSL
• wolfCrypt