tree 7220dc7d2b948ea5d040723abc50cd48ae881e2f
parent 7e54a29bead535131fc4b1bf03cf3a1470348848
author Gilles Peskine <Gilles.Peskine@arm.com> 1615915514 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1617022544 +0200

Consistently describe Ed25519 as a 255-bit curve

The coordinates are over $F_{2^{255}-19}$, so by the general
definition of the bit size associated with the curve in the
specification, the value for size attribute of keys is 255.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>