Algorithm 6 ECDSA_Verify_PK |
Input. Output. accept/reject 1: check whether r and s are integers between 1 and 2: calculate a 256-bit Hash value using hash function SHA-256 3: calculate 4: calculate and 5: calculate solution point 6: if , reject , otherwise compute 7: if and only if , accept |