arno/trezor-firmware
1
0
Fork 0
mirror of https://github.com/trezor/trezor-firmware.git synced 2024-12-18 04:18:10 +00:00
Code Issues Releases Wiki Activity

test(crypto): use P-256 prime in test_bignum.py

Browse Source
This commit is contained in:
Ondřej Vejpustek 2023-09-19 15:41:02 +02:00
parent 5d017e928d
commit 5a9d399012
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
crypto/tests/test_bignum.py
View File

@ -24,10 +24,13 @@ lib = ctypes.cdll.LoadLibrary(os.path.join(dir, "libtrezor-crypto.so"))
limbs_number = 9 limbs_number = 9
bits_per_limb = 29 bits_per_limb = 29
secp256k1_prime = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F
p256_prime = 0xFFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFF
@pytest.fixture()
@pytest.fixture(params=[secp256k1_prime, p256_prime])
def prime(request): def prime(request):
return 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F return request.param
@pytest.fixture(params=range(limbs_number * bits_per_limb)) @pytest.fixture(params=range(limbs_number * bits_per_limb))
@ -400,7 +403,7 @@ def assert_bn_multiply(k, x_old, prime):
assert bignum_is_normalised(bn_x) assert bignum_is_normalised(bn_x)
assert number_is_partly_reduced(x_new, prime) assert number_is_partly_reduced(x_new, prime)
assert x_new == (k * x_old) % prime assert x_new % prime == (k * x_old) % prime
def assert_bn_fast_mod(x_old, prime): def assert_bn_fast_mod(x_old, prime):