is_valid_rsa2048_signature_assuming_encoded_message

Verify an RSA-2048 signature assuming the message is already encoded.

Given public key n and signature data (s, m, 17 reduction witnesses), verifies s^{65537} ≡ m (mod n) by:

1. Well-formedness: n > 1 odd, 0 ≤ s < n, 0 ≤ m < n, valid chunk bounds.
2. For each of 11 RNS channels: run the mega-circuit to verify all 17 reduction steps of the square-and-multiply chain.
3. Final equality: the last reduction remainder equals the expected message m.

Fully qualified path: garaga::signatures::rsa::is_valid_rsa2048_signature_assuming_encoded_message

pub fn is_valid_rsa2048_signature_assuming_encoded_message(
    signature: @RSA2048SignatureWithHint, public_key: @RSA2048PublicKey,
) -> bool