def test_sas_reject(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {"sender": alice_id, "content": alice.start_verification()}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
with pytest.raises(LocalProtocolError):
alice.reject_sas()
alice.set_their_pubkey(bob.pubkey)
bob.set_their_pubkey(alice.pubkey)
alice.state = SasState.key_received
bob.state = SasState.key_received
alice.reject_sas()
assert alice.canceled
def test_sas_share_keys(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {"sender": alice_id, "content": alice.start_verification()}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
accept = {"sender": bob_id, "content": bob.accept_verification()}
accept_event = KeyVerificationAccept.from_dict(accept)
alice.receive_accept_event(accept_event)
alice_key = {"sender": alice_id, "content": alice.share_key()}
key_event = KeyVerificationKey.from_dict(alice_key)
assert isinstance(key_event, KeyVerificationKey)
bob.receive_key_event(key_event)
assert bob.state == SasState.key_received
bob_key = {"sender": bob_id, "content": bob.share_key()}
key_event = KeyVerificationKey.from_dict(bob_key)
assert isinstance(key_event, KeyVerificationKey)
alice.receive_key_event(key_event)
assert alice.state == SasState.key_received
assert alice.get_emoji() == bob.get_emoji()
def test_client_cancel_event(self, olm_machine):
alice_device = OlmDevice(olm_machine.user_id, olm_machine.device_id,
olm_machine.account.identity_keys)
bob_device = olm_machine.device_store[bob_id][bob_device_id]
start = {
"sender": alice_device.user_id,
"content": olm_machine.create_sas(bob_device).content
}
start_event = KeyVerificationStart.from_dict(start)
bob_sas = Sas.from_key_verification_start(bob_device.user_id,
bob_device.id,
bob_device.ed25519,
alice_device, start_event)
alice_sas = olm_machine.key_verifications[start_event.transaction_id]
assert alice_sas
bob_sas.cancel()
cancel = {
"sender": bob_id,
"content": bob_sas.get_cancellation().content
}
cancel_event = KeyVerificationCancel.from_dict(cancel)
assert not alice_sas.canceled
olm_machine.handle_key_verification(cancel_event)
assert alice_sas.canceled
assert alice_sas.transaction_id not in olm_machine.key_verifications
def test_sas_invalid_commitment(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {"sender": alice_id, "content": alice.start_verification()}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
accept = {"sender": bob_id, "content": bob.accept_verification()}
accept_event = KeyVerificationAccept.from_dict(accept)
alice.receive_accept_event(accept_event)
alice_key = {"sender": alice_id, "content": alice.share_key()}
key_event = KeyVerificationKey.from_dict(alice_key)
assert isinstance(key_event, KeyVerificationKey)
bob.receive_key_event(key_event)
assert bob.state == SasState.key_received
bob_key = {"sender": bob_id, "content": bob.share_key()}
bob_key["content"]["key"] = alice.pubkey
key_event = KeyVerificationKey.from_dict(bob_key)
assert isinstance(key_event, KeyVerificationKey)
alice.receive_key_event(key_event)
assert alice.state == SasState.canceled
def test_sas_accept(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device,
bob_keys["ed25519"],
alice_device, start_event)
accept = {
"sender": bob_id,
"content": bob.accept_verification().content
}
accept_event = KeyVerificationAccept.from_dict(accept)
assert isinstance(accept_event, KeyVerificationAccept)
alice.receive_accept_event(accept_event)
assert alice.state == SasState.accepted
def test_sas_mac_before_key(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
bob.set_their_pubkey(alice.pubkey)
bob.state = SasState.key_received
bob.chosen_mac_method = Sas._mac_normal
bob.accept_sas()
bob_mac = {"sender": bob_id, "content": bob.get_mac().content}
mac_event = KeyVerificationMac.from_dict(bob_mac)
alice.receive_mac_event(mac_event)
assert alice.canceled
def test_sas_local_errors(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
alice.set_their_pubkey(bob.pubkey)
alice.state = SasState.canceled
bob.state = SasState.canceled
with pytest.raises(LocalProtocolError):
bob.accept_verification()
with pytest.raises(LocalProtocolError):
alice.share_key()
alice.sas_accepted = True
with pytest.raises(LocalProtocolError):
alice.get_mac()
def test_sas_start(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
assert alice.state == SasState.created
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
assert isinstance(start_event, KeyVerificationStart)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
with pytest.raises(LocalProtocolError):
bob.start_verification()
assert bob.state == SasState.started
def test_sas_decimals(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
accept = {
"sender": bob_id,
"content": bob.accept_verification().content
}
accept_event = KeyVerificationAccept.from_dict(accept)
alice.receive_accept_event(accept_event)
alice.set_their_pubkey(bob.pubkey)
bob.set_their_pubkey(alice.pubkey)
assert alice.get_decimals() == bob.get_decimals()
def test_client_full_we_start(self, olm_machine):
alice_device = OlmDevice(olm_machine.user_id, olm_machine.device_id,
olm_machine.account.identity_keys)
bob_device = olm_machine.device_store[bob_id][bob_device_id]
start = {
"sender": alice_device.user_id,
"content": olm_machine.create_sas(bob_device).content
}
start_event = KeyVerificationStart.from_dict(start)
bob_sas = Sas.from_key_verification_start(bob_device.user_id,
bob_device.id,
bob_device.ed25519,
alice_device, start_event)
alice_sas = olm_machine.key_verifications[start_event.transaction_id]
assert alice_sas
accept = {
"sender": bob_id,
"content": bob_sas.accept_verification().content
}
accept_event = KeyVerificationAccept.from_dict(accept)
olm_machine.handle_key_verification(accept_event)
alice_key = {
"sender": alice_id,
"content": alice_sas.share_key().content
}
alice_key_event = KeyVerificationKey.from_dict(alice_key)
bob_sas.receive_key_event(alice_key_event)
bob_key = {"sender": bob_id, "content": bob_sas.share_key().content}
bob_key_event = KeyVerificationKey.from_dict(bob_key)
olm_machine.handle_key_verification(bob_key_event)
assert alice_sas.other_key_set
assert bob_sas.other_key_set
bob_sas.accept_sas()
bob_mac = {"sender": bob_id, "content": bob_sas.get_mac().content}
bob_mac_event = KeyVerificationMac.from_dict(bob_mac)
assert not olm_machine.is_device_verified(bob_device)
alice_sas.accept_sas()
olm_machine.handle_key_verification(bob_mac_event)
assert alice_sas.state == SasState.mac_received
assert alice_sas.verified
assert olm_machine.is_device_verified(bob_device)
def test_sas_invalid_mac(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
with pytest.raises(LocalProtocolError):
alice.accept_sas()
alice.set_their_pubkey(bob.pubkey)
bob.set_their_pubkey(alice.pubkey)
alice.state = SasState.key_received
bob.state = SasState.key_received
alice.chosen_mac_method = Sas._mac_normal
bob.chosen_mac_method = Sas._mac_normal
alice.accept_sas()
alice_mac = {"sender": alice_id, "content": alice.get_mac().content}
mac_event = KeyVerificationMac.from_dict(alice_mac)
mac_event.keys = "FAKEKEYS"
bob.receive_mac_event(mac_event)
assert bob.canceled
assert not bob.verified
bob.state = SasState.key_received
assert not bob.canceled
mac_event = KeyVerificationMac.from_dict(alice_mac)
mac_event.mac["ed25519:{}".format(alice_device_id)] = "FAKEKEYS"
bob.receive_mac_event(mac_event)
assert bob.canceled
assert not bob.verified
def test_sas_invalid_start(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {"sender": alice_id, "content": alice.start_verification()}
start_event = KeyVerificationStart.from_dict(start)
start_event.method = "m.sas.v0"
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
assert bob.canceled
def test_sas_old_mac_method(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
start_event.message_authentication_codes.remove(Sas._mac_normal)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
with pytest.raises(LocalProtocolError):
alice.accept_sas()
alice.set_their_pubkey(bob.pubkey)
bob.set_their_pubkey(alice.pubkey)
alice.state = SasState.key_received
bob.state = SasState.key_received
alice.chosen_mac_method = Sas._mac_normal
bob.chosen_mac_method = Sas._mac_normal
with pytest.raises(LocalProtocolError):
alice.get_mac()
alice.accept_sas()
alice_mac = {"sender": alice_id, "content": alice.get_mac().content}
mac_event = KeyVerificationMac.from_dict(alice_mac)
assert isinstance(mac_event, KeyVerificationMac)
assert not bob.verified
bob.receive_mac_event(mac_event)
assert bob.state == SasState.mac_received
assert not bob.verified
bob.accept_sas()
assert bob.verified
def test_sas_mac(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {"sender": alice_id, "content": alice.start_verification()}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
with pytest.raises(LocalProtocolError):
alice.accept_sas()
alice.set_their_pubkey(bob.pubkey)
bob.set_their_pubkey(alice.pubkey)
alice.state = SasState.key_received
bob.state = SasState.key_received
with pytest.raises(LocalProtocolError):
alice.get_mac()
alice.accept_sas()
alice_mac = {"sender": alice_id, "content": alice.get_mac()}
mac_event = KeyVerificationMac.from_dict(alice_mac)
assert isinstance(mac_event, KeyVerificationMac)
assert not bob.verified
bob.receive_mac_event(mac_event)
assert bob.state == SasState.mac_received
assert not bob.verified
bob.accept_sas()
assert bob.verified
def test_sas_not_ok_events(self):
alice = Sas(
alice_id,
alice_device_id,
alice_keys["ed25519"],
bob_device,
)
start = {
"sender": alice_id,
"content": alice.start_verification().content
}
start_event = KeyVerificationStart.from_dict(start)
bob = Sas.from_key_verification_start(bob_id, bob_device_id,
bob_keys["ed25519"],
alice_device, start_event)
accept = {
"sender": bob_id,
"content": bob.accept_verification().content
}
accept_event = KeyVerificationAccept.from_dict(accept)
accept_event.sender = faker.mx_id()
alice.receive_accept_event(accept_event)
assert alice.canceled
alice.state = SasState.created
accept_event.sender = bob_id
accept_event.transaction_id = "fake_id"
alice.receive_accept_event(accept_event)
assert alice.canceled
accept_event.transaction_id = alice.transaction_id
alice.receive_accept_event(accept_event)
assert alice.canceled
alice.state = SasState.created
accept_event.hash = "fake_hash"
alice.receive_accept_event(accept_event)
assert alice.canceled
alice.state = SasState.created
accept_event.hash = Sas._hash_v1
alice.receive_accept_event(accept_event)
alice_key = {"sender": alice_id, "content": alice.share_key().content}
alice_key_event = KeyVerificationKey.from_dict(alice_key)
alice_key_event.sender = faker.mx_id()
bob.receive_key_event(alice_key_event)
assert bob.canceled
bob.set_their_pubkey(alice.pubkey)
bob.state = SasState.key_received
bob.chosen_mac_method = Sas._mac_normal
alice.chosen_mac_method = Sas._mac_normal
alice.set_their_pubkey(bob.pubkey)
alice.state = SasState.key_received
bob.accept_sas()
bob_mac = {"sender": bob_id, "content": bob.get_mac().content}
mac_event = KeyVerificationMac.from_dict(bob_mac)
mac_event.sender = faker.mx_id()
alice.receive_mac_event(mac_event)
assert alice.canceled
