kaidokert / modmath-rs / 26734883216

99%

Build Type

push

github

Committed by web-flow

Commit Message

Field/FieldCt lift, CT siblings, API reorg

* v0.2.0: Field/FieldCt lift, CT siblings, basic/constrained/strict module reorg

Major changes:

- Adds modmath::Field<T> and modmath::FieldCt<T> with lifetime-branded
  Residue<'f, T> / ResidueCt<'f, T> as the canonical Montgomery surface.
- Adds CT-finalize siblings throughout the Montgomery stack:
  wide_redc_ct, cios_montgomery_mul_ct, wide_montgomery_mul_ct,
  basic_montgomery_mod_exp_ct, plus _pr variants where pre-reduced
  inputs are assumed.
- Adds CiosMontMulCt convenience trait paralleling CiosMontMul.
- Adds FieldCt::exp_public_exp for the CT-base + NCT-exp shape
  (RSA encrypt with public e, Curve25519 Fermat inverse with public p-2).
- Reorganizes schoolbook surface: modmath::basic, modmath::constrained,
  modmath::strict modules replace the basic_*/constrained_*/strict_*
  function prefixes; backward-compat re-exports preserved.
- Adds _pr (pre-reduced) sibling functions to schoolbook surface so
  CT-aware code paths can drop the Rem bound.
- wide-mul is now a default feature.
- Subtle dep added (gated by wide-mul which pulls fixed-bigint/ct).

Coverage Stats

1060 of 1103 new or added lines in 7 files covered. (96.1%)

2 existing lines in 1 file now uncovered.

4613 of 4685 relevant lines covered (98.46%)

2002.4 hits per line