kaidokert / krabitls-rs / 29681055528

85%

Build Type

push

github

Committed by web-flow

Commit Message

RSA widths: verify 3072/4096 + additive width features (verify slice) (#104)

* Add RSA-3072/4096 verify widths (rsa-3072/rsa-4096 features)

Extend the width-general RSA verify path additively: new `rsa-3072`/`rsa-4096`
cargo features gate `RsaU3072`/`RsaU4096` carriers and two more `RsaVerifierKey`
enum variants dispatched on modulus length (384/512 B). Under `bigint-heapless`
the unified carrier CAP grows to the widest enabled width so one monomorphization
still holds every algorithm; the default per-role config gets distinct FixedUInt
widths.

Because every addition is behind its own feature, the default build — and the
thumbv7m -Oz Bug-2 zone in `rsa_verify.rs` — stays byte-identical unless a width
is opted in. Sign-side width symmetry (client_auth.rs) is a tracked follow-up.

* Normalize RSA width features: additive rsa-1024/3072/4096, drop rsa_2048_only

Coverage Stats

15 of 17 new or added lines in 2 files covered. (88.24%)

1 existing line in 1 file now uncovered.

4909 of 5771 relevant lines covered (85.06%)

156.85 hits per line