parameters `P``message``signature`procedureGiven elliptic curve

`parameters`, a signature verification procedure is generated that checks a signature given the public key`P`of the signer, the original`message`and the`signature`.The message is a number and the signature is a pair of two numbers.

For practical applications, you should convert some message digest into a number with the same bit length as the base point order of the elliptic curve and pass it as the

`message`argument.