diff --git a/src/lean_spec/subspecs/xmss/prf.py b/src/lean_spec/subspecs/xmss/prf.py index aff01cd3..b90bed66 100644 --- a/src/lean_spec/subspecs/xmss/prf.py +++ b/src/lean_spec/subspecs/xmss/prf.py @@ -184,12 +184,6 @@ def get_randomness( """ config = self.config - # Validate message length - if len(message) != config.MESSAGE_LENGTH: - raise ValueError( - f"Message must be exactly {config.MESSAGE_LENGTH} bytes, got {len(message)}" - ) - # Construct input: DOMAIN_SEP || 0x01 || key || epoch || message || counter input_data = ( PRF_DOMAIN_SEP