diff options
author | Hubert Kario <hkario@redhat.com> | 2022-10-24 20:27:50 +0200 |
---|---|---|
committer | Hubert Kario <hkario@redhat.com> | 2022-10-24 20:37:07 +0200 |
commit | 87a1596b93f45f5b2ee484ca12a075365e67815a (patch) | |
tree | b8611ec27c06ca68d5d9e9afd9847724bcdfca12 | |
parent | 341e0d8be9fedf66fbc9a95630b4ed2138343380 (diff) | |
download | ecdsa-87a1596b93f45f5b2ee484ca12a075365e67815a.tar.gz |
tighter bounds for hypothesis parameters
-rw-r--r-- | src/ecdsa/test_ecdsa.py | 4 | ||||
-rw-r--r-- | src/ecdsa/test_ellipticcurve.py | 2 | ||||
-rw-r--r-- | src/ecdsa/test_jacobi.py | 20 |
3 files changed, 13 insertions, 13 deletions
diff --git a/src/ecdsa/test_ecdsa.py b/src/ecdsa/test_ecdsa.py index dbc4a6e..2af527b 100644 --- a/src/ecdsa/test_ecdsa.py +++ b/src/ecdsa/test_ecdsa.py @@ -622,12 +622,12 @@ def st_random_gen_key_msg_nonce(draw): name = draw(st.sampled_from(sorted(name_gen.keys()))) note("Generator used: {0}".format(name)) generator = name_gen[name] - order = int(generator.order()) + order = int(generator.order()) - 1 key = draw(st.integers(min_value=1, max_value=order)) msg = draw(st.integers(min_value=1, max_value=order)) nonce = draw( - st.integers(min_value=1, max_value=order + 1) + st.integers(min_value=1, max_value=order) | st.integers(min_value=order >> 1, max_value=order) ) return generator, key, msg, nonce diff --git a/src/ecdsa/test_ellipticcurve.py b/src/ecdsa/test_ellipticcurve.py index 85faef4..f46fd9e 100644 --- a/src/ecdsa/test_ellipticcurve.py +++ b/src/ecdsa/test_ellipticcurve.py @@ -44,7 +44,7 @@ HYP_SLOW_SETTINGS["max_examples"] = 10 @settings(**HYP_SLOW_SETTINGS) -@given(st.integers(min_value=1, max_value=r + 1)) +@given(st.integers(min_value=1, max_value=r - 1)) def test_p192_mult_tests(multiple): inv_m = inverse_mod(multiple, r) diff --git a/src/ecdsa/test_jacobi.py b/src/ecdsa/test_jacobi.py index 1f52804..71fb33e 100644 --- a/src/ecdsa/test_jacobi.py +++ b/src/ecdsa/test_jacobi.py @@ -202,7 +202,7 @@ class TestJacobi(unittest.TestCase): @settings(max_examples=10) @given( st.integers( - min_value=0, max_value=int(generator_brainpoolp160r1.order()) + min_value=0, max_value=int(generator_brainpoolp160r1.order() - 1) ) ) def test_multiplications(self, mul): @@ -217,7 +217,7 @@ class TestJacobi(unittest.TestCase): @settings(max_examples=10) @given( st.integers( - min_value=0, max_value=int(generator_brainpoolp160r1.order()) + min_value=0, max_value=int(generator_brainpoolp160r1.order() - 1) ) ) @example(0) @@ -235,10 +235,10 @@ class TestJacobi(unittest.TestCase): @settings(max_examples=10) @given( st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), ) @example(3, 3) @@ -254,10 +254,10 @@ class TestJacobi(unittest.TestCase): @settings(max_examples=10) @given( st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), st.integers(min_value=1, max_value=int(curve_brainpoolp160r1.p() - 1)), ) @@ -286,10 +286,10 @@ class TestJacobi(unittest.TestCase): @settings(max_examples=10) @given( st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), st.integers(min_value=1, max_value=int(curve_brainpoolp160r1.p() - 1)), ) @@ -351,10 +351,10 @@ class TestJacobi(unittest.TestCase): @settings(max_examples=14) @given( st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), st.integers( - min_value=1, max_value=int(generator_brainpoolp160r1.order()) + min_value=1, max_value=int(generator_brainpoolp160r1.order() - 1) ), st.lists( st.integers( |