1 files changed, 20 insertions, 0 deletions
diff --git a/packages/meshbay-common/tests/test_handshake.py b/packages/meshbay-common/tests/test_handshake.py
index 11313aa..ad615a9 100644
--- a/packages/meshbay-common/tests/test_handshake.py
+++ b/packages/meshbay-common/tests/test_handshake.py
@@ -13,6 +13,7 @@ import pytest
 from cryptography.hazmat.primitives import serialization
 from cryptography.hazmat.primitives.asymmetric.ed25519 import Ed25519PrivateKey
 from meshbay_common.handshake import (
+    CHALLENGE_PREFIX,
     HANDSHAKE_PREFIX,
     NONCE_LEN,
     ROLE_CLIENT,
@@ -20,6 +21,7 @@ from meshbay_common.handshake import (
     AuthorizedPeer,
     HandshakeError,
     authorize_token,
+    challenge_transcript,
     handshake_transcript,
     make_proof,
     quic_binding,
@@ -131,6 +133,24 @@ def test_transcript_is_domain_separated():
     ).startswith(HANDSHAKE_PREFIX)
 
 
+def test_the_challenge_transcript_is_its_own_domain():
+    """
+    MNP 3.4: the node signs the challenge with the same key that signs the ack.
+    The two must never be interchangeable — a challenge signature passed off as
+    an ack signature would authenticate a node that never proved the GEK.
+    """
+    challenge = challenge_transcript(GROUP, NONCE_C, NONCE_S, BINDING)
+    assert challenge.startswith(CHALLENGE_PREFIX)
+    assert challenge != handshake_transcript(ROLE_NODE, GROUP, NONCE_C, NONCE_S, BINDING)
+    for other in (
+        challenge_transcript("other", NONCE_C, NONCE_S, BINDING),
+        challenge_transcript(GROUP, b"x" * 32, NONCE_S, BINDING),
+        challenge_transcript(GROUP, NONCE_C, b"y" * 32, BINDING),
+        challenge_transcript(GROUP, NONCE_C, NONCE_S, BINDING + b"z"),
+    ):
+        assert other != challenge
+
+
 def test_client_proof_is_not_a_node_proof():
     """
     C3: the node proves itself with the same key over the same connection. Without