firmware/testing/test_unit.py

282 lines
9.7 KiB
Python

# (c) Copyright 2020 by Coinkite Inc. This file is covered by license found in COPYING-CC.
#
# Run tests on the simulator itself, not here... these are basically "unit tests"
#
import pytest, os, shutil
from helpers import B2A, taptweak
def test_remote_exec(sim_exec):
assert sim_exec("RV.write('testing123')") == 'testing123'
def test_codecs(sim_execfile):
assert sim_execfile('devtest/segwit_addr.py') == ''
def test_public(sim_execfile):
"verify contents of public 'dump' file"
from pycoin.key.BIP32Node import BIP32Node
from pycoin.contrib.segwit_addr import encode as sw_encode
from pycoin.contrib.segwit_addr import decode as sw_decode
from pycoin.encoding import a2b_hashed_base58, hash160
pub = sim_execfile('devtest/dump_public.py')
assert 'Error' not in pub
#print(pub)
pub, dev = pub.split('#DEBUG#', 1)
assert 'pub' in pub
assert 'prv' not in pub
assert 'prv' in dev
lines = [i.strip() for i in pub.split('\n')]
for ln in lines:
if ln[1:4] == 'pub':
node_pub = BIP32Node.from_wallet_key(ln)
break
node_prv = BIP32Node.from_wallet_key(dev.strip())
# pub and private are linked
assert node_prv.hwif(as_private=False) == node_pub.hwif()
# check every path we derived
count = 0
for ln in lines:
if ln[0:1] == 'm' and '=>' in ln:
subpath, result = ln.split(' => ', 1)
sk = node_prv.subkey_for_path(subpath[2:])
if result[1:4] == 'pub' and result[0] not in 'xt':
# SLIP-132 garbage
assert 'SLIP-132' in result
result = result.split('#', 1)[0].strip()
# just base58/checksum check
assert a2b_hashed_base58(result)
elif result[1:4] == 'pub':
try:
expect = BIP32Node.from_wallet_key(result)
except Exception as e:
if 'unknown prefix' in str(e):
# pycoin not yet ready for SLIP-132
assert result[0] != 'x'
print("SKIP: " + ln)
continue
raise
assert sk.hwif(as_private=False) == result
elif result[0] in '1mn':
assert result == sk.address(False)
elif result[0:4] in { 'bc1q', 'tb1q' }:
h20 = sk.hash160()
assert result == sw_encode(result[0:2], 0, h20)
elif result[0:4] in {'bc1p', 'tb1p'}:
from bech32 import encode
tweked_xonly = taptweak(sk.sec()[1:])
assert result == encode(result[:2], 1, tweked_xonly)
elif result[0] in '23':
h20 = hash160(b'\x00\x14' + sk.hash160())
assert h20 == a2b_hashed_base58(result)[1:]
else:
raise ValueError(result)
count += 1
print("OK: %s" % ln)
assert count > 12
def test_nvram(unit_test, only_mk3):
# exercise nvram simulation: not mk4
unit_test('devtest/nvram.py')
def test_nvram_mk4(unit_test, only_mk4):
# exercise nvram simulation: only mk4
unit_test('devtest/nvram_mk4.py')
@pytest.mark.manual
def test_backups_simple(unit_test, set_seed_words):
# exercise dump of pub data
# - (bug) mk4 can only run this test in isolation from other test in this file.
unit_test('devtest/backups.py')
@pytest.mark.manual
def test_backups_blankish(unit_test, set_seed_words):
# exercise dump of pub data
# - (bug) mk4 can only run this test in isolation from other test in this file.
# want a zero in last byte of hex representation of raw secret...
'''
>>> tcc.bip39.from_data(bytes([0x10]*32))
'avoid letter advice cage ... absurd amount doctor blanket'
'''
set_seed_words('avoid letter advice cage absurd amount doctor acoustic avoid letter advice cage absurd amount doctor acoustic avoid letter advice cage absurd amount doctor blanket')
unit_test('devtest/backups.py')
def test_bip143(unit_test):
# exercise hash digesting for bip143 signatures
unit_test('devtest/unit_bip143.py')
def test_addr_decode(unit_test):
# - runs som known examples thru CTxIn and check it categories, and extracts pubkey/pkh right
unit_test('devtest/unit_addrs.py')
def test_clear_seed(unit_test):
# just testing the test?
unit_test('devtest/clear_seed.py')
def test_slip132(unit_test):
# slip132 ?pub stuff
unit_test('devtest/unit_slip132.py')
def test_multisig(unit_test):
# scripts/multisig unit tests
unit_test('devtest/unit_multisig.py')
def test_decoding(unit_test):
# utils.py Hex/Base64 streaming decoders
unit_test('devtest/unit_decoding.py')
@pytest.mark.parametrize('hasher', ['sha256', 'sha1', 'sha512'])
@pytest.mark.parametrize('msg', [b'123', b'b'*78])
@pytest.mark.parametrize('key', [b'3245', b'b'*78])
def test_hmac(sim_exec, msg, key, hasher):
import hashlib, hmac
cmd = "import ngu; from ubinascii import hexlify as b2a_hex; " + \
f"RV.write(b2a_hex(ngu.hmac.hmac_{hasher}({key}, {msg})))"
print(cmd)
got = sim_exec(cmd)
expect = hmac.new(key, msg, hasher).hexdigest()
assert got == expect
#print(expect)
@pytest.mark.parametrize('secret,counter,expect', [
( b'abcdefghij', 1, '765705'),
( b'abcdefghij', 2, '816065'),
( b'12345678901234567890', 0, '755224'), # test vectors from RFC4226
( b'12345678901234567890', 1, '287082'),
( b'12345678901234567890', 2, '359152'),
( b'12345678901234567890', 3, '969429'),
( b'12345678901234567890', 4, '338314'),
( b'12345678901234567890', 5, '254676'),
( b'12345678901234567890', 6, '287922'),
( b'12345678901234567890', 7, '162583'),
( b'12345678901234567890', 8, '399871'),
( b'12345678901234567890', 9, '520489'),
])
def test_hotp(sim_exec, secret, counter, expect):
cmd = "from users import calc_hotp; " + \
f"RV.write(calc_hotp({secret}, {counter}))"
got = sim_exec(cmd)
assert got == expect
def test_hmac_key(dev, sim_exec, count=10):
from hashlib import pbkdf2_hmac, sha256
from ckcc_protocol.constants import PBKDF2_ITER_COUNT
sn = sim_exec('import version; RV.write(version.serial_number().encode())').encode()
salt = sha256(b'pepper'+sn).digest()
for i in range(count):
pw = ('test%09d' % i).encode('ascii')
pw = pw[1:i] if i > 2 else pw
cmd = "from users import calc_hmac_key; from ubinascii import hexlify as b2a_hex; " + \
f"RV.write(b2a_hex(calc_hmac_key({pw})))"
got = sim_exec(cmd)
#print('pw=%r s=%r cnt=%d' % (pw, salt, PBKDF2_ITER_COUNT))
expect = B2A(pbkdf2_hmac('sha512', pw, salt, PBKDF2_ITER_COUNT)[0:32])
assert got == expect
print(got)
@pytest.mark.parametrize('path,ans', [
("m", "m"),
("", "m"),
("55555p/66666", "m/55555'/66666"),
("m/1/2/3", "m/1/2/3"),
("m/1'/2h/3p/4H/5P", "m/1'/2'/3'/4'/5'"),
("m/1'/2h/3p/4H/*'", "m/1'/2'/3'/4'/*'"),
("m/1'/2h/3p/4H/*", "m/1'/2'/3'/4'/*"),
("m/10000000/5'/*", "m/10000000/5'/*"),
])
@pytest.mark.parametrize('star', [False, True])
def test_cleanup_deriv_path_good(path, ans, star, sim_exec):
cmd = f'from utils import cleanup_deriv_path; RV.write(cleanup_deriv_path({repr(path)}, allow_star={star}))'
rv = sim_exec(cmd)
if not star and '*' in path:
assert 'Traceback' in rv
assert 'invalid characters' in rv
else:
assert rv == ans
@pytest.mark.parametrize('path,ans', [
("m/", "empty path component"),
("m//", "empty path component"),
("m/*/*", "invalid characters"),
("m/4/100000000000000", "bad component"),
("m/100000000000000/*", "bad component"),
("m/-34/*", "invalid characters"),
("m/*/5/*", "invalid characters"),
("m/*/*", "invalid characters"),
("m/*/5", "invalid characters"),
])
def test_cleanup_deriv_path_fails(path, ans, sim_exec, star=True):
cmd = f'from utils import cleanup_deriv_path; RV.write(cleanup_deriv_path({repr(path)}, allow_star={star}))'
rv = sim_exec(cmd)
assert 'Traceback' in rv
assert ans in rv
@pytest.mark.parametrize('patterns, paths, answers', [
(["m"], ("m", "m/2", "*", "any"), [True, False, False, False]),
(["any"], ("m", "m/2", "*", "1/2/3/4/5/6'/55'"), [True]*4),
(["m/1", "m/2/*'"], ("m", "m/1", "m/3/4", "m/2/4'", "m/2/4"),
[0, 1, 0, 1, 0]),
(["m/1/*", "m/2/*'"], ("m/1/2", "m/1/2'", "m/2/1", "m/2/1'"),
[1, 0, 0, 1]),
])
def test_match_deriv_path(patterns, paths, answers, sim_exec):
for path, ans in zip(paths, answers):
cmd = f'from utils import match_deriv_path; RV.write(str(match_deriv_path({repr(patterns)}, {repr(path)})))'
rv = sim_exec(cmd)
assert rv == str(bool(ans))
def test_is_dir(microsd_path, sim_exec):
dir = microsd_path("my_dir/my_inner_dir")
try:
os.makedirs(dir)
except FileExistsError: pass
with open(dir + "/nothing.txt", "w") as f:
f.write("ok")
cmd = 'import files; cs = files.CardSlot().__enter__(); RV.write(str(cs.is_dir("my_dir"))); cs.__exit__()'
rv = sim_exec(cmd)
assert rv == "True"
cmd = 'import files; cs = files.CardSlot().__enter__(); RV.write(str(cs.is_dir("my_dir/my_inner_dir"))); cs.__exit__()'
rv = sim_exec(cmd)
assert rv == "True"
cmd = 'import files; cs = files.CardSlot().__enter__(); RV.write(str(cs.is_dir("my_dir/my_inner_dir/nothing.txt"))); cs.__exit__()'
rv = sim_exec(cmd)
assert rv == "False"
shutil.rmtree(microsd_path("my_dir"))
def test_aes_compatibility(sim_execfile):
res = sim_execfile('devtest/unit_aes_compat.py')
assert res == ""
# EOF