From c36ea26e5c6b94f107cc1aeb02a45cfc5a7c38ef Mon Sep 17 00:00:00 2001 From: koe Date: Mon, 8 Nov 2021 18:14:17 -0600 Subject: fix ge_p3_is_point_at_infinity(), which is evaluating field elements that haven't been reduced by the field order --- tests/crypto/main.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'tests/crypto/main.cpp') diff --git a/tests/crypto/main.cpp b/tests/crypto/main.cpp index f804c45dc..5486937c2 100644 --- a/tests/crypto/main.cpp +++ b/tests/crypto/main.cpp @@ -259,6 +259,16 @@ int main(int argc, char *argv[]) { if (expected != actual) { goto error; } + } else if (cmd == "check_ge_p3_identity") { + cerr << "Testing: " << cmd << endl; + public_key point; + bool expected_bad, expected_good, result_badfunc, result_goodfunc; + get(input, point, expected_bad, expected_good); + result_badfunc = check_ge_p3_identity_failure(point); + result_goodfunc = check_ge_p3_identity_success(point); + if (expected_bad != result_badfunc || expected_good != result_goodfunc) { + goto error; + } } else { throw ios_base::failure("Unknown function: " + cmd); } -- cgit v1.2.3