2023-01-11 23:39:32 +01:00
|
|
|
"""Run the BIP-324 test vectors."""
|
|
|
|
|
2022-10-07 20:59:24 +02:00
|
|
|
import csv
|
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
|
|
|
|
import reference
|
|
|
|
|
2023-01-11 23:39:32 +01:00
|
|
|
FILENAME_PACKET_TEST = os.path.join(sys.path[0], 'packet_encoding_test_vectors.csv')
|
|
|
|
FILENAME_XSWIFTEC_INV_TEST = os.path.join(sys.path[0], 'xswiftec_inv_test_vectors.csv')
|
|
|
|
FILENAME_ELLSWIFT_DECODE_TEST = os.path.join(sys.path[0], 'ellswift_decode_test_vectors.csv')
|
2022-10-07 20:59:24 +02:00
|
|
|
|
2023-01-11 23:39:32 +01:00
|
|
|
with open(FILENAME_PACKET_TEST, newline='', encoding='utf-8') as csvfile:
|
|
|
|
print(f"Running {FILENAME_PACKET_TEST} tests...")
|
|
|
|
reader = csv.DictReader(csvfile)
|
|
|
|
for row in reader:
|
|
|
|
in_initiating = int(row['in_initiating'])
|
|
|
|
bytes_priv_ours = bytes.fromhex(row['in_priv_ours'])
|
|
|
|
int_priv_ours = int.from_bytes(bytes_priv_ours, 'big')
|
|
|
|
assert row['mid_x_ours'] == (int_priv_ours * reference.SECP256K1_G).x.to_bytes().hex()
|
|
|
|
bytes_ellswift_ours = bytes.fromhex(row['in_ellswift_ours'])
|
|
|
|
assert row['mid_x_ours'] == reference.ellswift_decode(bytes_ellswift_ours).hex()
|
|
|
|
bytes_ellswift_theirs = bytes.fromhex(row['in_ellswift_theirs'])
|
|
|
|
assert row['mid_x_theirs'] == reference.ellswift_decode(bytes_ellswift_theirs).hex()
|
|
|
|
x_shared = reference.ellswift_ecdh_xonly(bytes_ellswift_theirs, bytes_priv_ours)
|
|
|
|
assert row['mid_x_shared'] == x_shared.hex()
|
|
|
|
shared_secret = reference.v2_ecdh(bytes_priv_ours, bytes_ellswift_theirs,
|
|
|
|
bytes_ellswift_ours, in_initiating)
|
|
|
|
assert row['mid_shared_secret'] == shared_secret.hex()
|
2022-10-07 20:59:24 +02:00
|
|
|
|
2023-01-11 23:39:32 +01:00
|
|
|
peer = reference.initialize_v2_transport(shared_secret, in_initiating)
|
|
|
|
assert row['mid_initiator_l'] == peer['initiator_L'].hex()
|
|
|
|
assert row['mid_initiator_p'] == peer['initiator_P'].hex()
|
|
|
|
assert row['mid_responder_l'] == peer['responder_L'].hex()
|
|
|
|
assert row['mid_responder_p'] == peer['responder_P'].hex()
|
|
|
|
assert row['mid_send_garbage_terminator'] == peer['send_garbage_terminator'].hex()
|
|
|
|
assert row['mid_recv_garbage_terminator'] == peer['recv_garbage_terminator'].hex()
|
|
|
|
assert row['out_session_id'] == peer['session_id'].hex()
|
|
|
|
for _ in range(int(row['in_idx'])):
|
2022-10-07 20:59:24 +02:00
|
|
|
reference.v2_enc_packet(peer, b"")
|
2023-01-11 23:39:32 +01:00
|
|
|
ciphertext = reference.v2_enc_packet(
|
|
|
|
peer,
|
|
|
|
bytes.fromhex(row['in_contents']) * int(row['in_multiply']),
|
|
|
|
bytes.fromhex(row['in_aad']), int(row['in_ignore']))
|
|
|
|
if len(row['out_ciphertext']):
|
|
|
|
assert row['out_ciphertext'] == ciphertext.hex()
|
|
|
|
if len(row['out_ciphertext_endswith']):
|
|
|
|
assert ciphertext.hex().endswith(row['out_ciphertext_endswith'])
|
2022-10-07 20:59:24 +02:00
|
|
|
|
2023-01-11 23:39:32 +01:00
|
|
|
with open(FILENAME_XSWIFTEC_INV_TEST, newline='', encoding='utf-8') as csvfile:
|
|
|
|
print(f"Running {FILENAME_XSWIFTEC_INV_TEST} tests...")
|
|
|
|
reader = csv.DictReader(csvfile)
|
2022-10-07 20:59:24 +02:00
|
|
|
for row in reader:
|
2023-01-11 23:39:32 +01:00
|
|
|
u = reference.FE.from_bytes(bytes.fromhex(row['u']))
|
|
|
|
x = reference.FE.from_bytes(bytes.fromhex(row['x']))
|
2022-10-07 20:59:24 +02:00
|
|
|
for case in range(8):
|
|
|
|
ret = reference.xswiftec_inv(x, u, case)
|
|
|
|
if ret is None:
|
2023-01-11 23:39:32 +01:00
|
|
|
assert row[f"case{case}_t"] == ""
|
2022-10-07 20:59:24 +02:00
|
|
|
else:
|
2023-01-11 23:39:32 +01:00
|
|
|
assert row[f"case{case}_t"] == ret.to_bytes().hex()
|
2022-10-07 20:59:24 +02:00
|
|
|
assert reference.xswiftec(u, ret) == x
|
|
|
|
|
2023-01-11 23:39:32 +01:00
|
|
|
with open(FILENAME_ELLSWIFT_DECODE_TEST, newline='', encoding='utf-8') as csvfile:
|
|
|
|
print(f"Running {FILENAME_ELLSWIFT_DECODE_TEST} tests...")
|
|
|
|
reader = csv.DictReader(csvfile)
|
2022-10-07 20:59:24 +02:00
|
|
|
for row in reader:
|
2023-01-11 23:39:32 +01:00
|
|
|
ellswift = bytes.fromhex(row['ellswift'])
|
|
|
|
assert reference.ellswift_decode(ellswift).hex() == row['x']
|