use crate::{AddMod, Limb, NonZero, Uint};
impl<const LIMBS: usize> Uint<LIMBS> {
#[must_use]
pub const fn add_mod(&self, rhs: &Self, p: &NonZero<Self>) -> Self {
let (w, carry) = self.carrying_add(rhs, Limb::ZERO);
w.try_sub_with_carry(carry, p.as_ref()).0
}
#[must_use]
pub const fn add_mod_special(&self, rhs: &Self, c: Limb) -> Self {
let (out, carry) = self.carrying_add(rhs, c);
let l = carry.0.wrapping_sub(1) & c.0;
out.wrapping_sub(&Self::from_word(l))
}
#[must_use]
pub const fn double_mod(&self, p: &NonZero<Self>) -> Self {
let (w, carry) = self.shl1_with_carry(Limb::ZERO);
w.try_sub_with_carry(carry, p.as_ref()).0
}
}
impl<const LIMBS: usize> AddMod for Uint<LIMBS> {
type Output = Self;
fn add_mod(&self, rhs: &Self, p: &NonZero<Self>) -> Self {
debug_assert!(self < p.as_ref());
debug_assert!(rhs < p.as_ref());
self.add_mod(rhs, p)
}
}
#[cfg(test)]
mod tests {
use crate::U256;
#[cfg(feature = "rand_core")]
use crate::{Limb, NonZero, Random, RandomMod, Uint};
#[cfg(feature = "rand_core")]
use rand_core::SeedableRng;
#[test]
fn add_mod_nist_p256() {
let a =
U256::from_be_hex("44acf6b7e36c1342c2c5897204fe09504e1e2efb1a900377dbc4e7a6a133ec56");
let b =
U256::from_be_hex("d5777c45019673125ad240f83094d4252d829516fac8601ed01979ec1ec1a251");
let n =
U256::from_be_hex("ffffffff00000000ffffffffffffffffbce6faada7179e84f3b9cac2fc632551")
.to_nz()
.unwrap();
let actual = a.add_mod(&b, &n);
let expected =
U256::from_be_hex("1a2472fde50286541d97ca6a3592dd75beb9c9646e40c511b82496cfc3926956");
assert_eq!(expected, actual);
}
#[test]
fn double_mod_expected() {
let a =
U256::from_be_hex("44acf6b7e36c1342c2c5897204fe09504e1e2efb1a900377dbc4e7a6a133ec56");
let n =
U256::from_be_hex("ffffffff00000000ffffffffffffffffbce6faada7179e84f3b9cac2fc632551")
.to_nz()
.unwrap();
assert_eq!(a.add_mod(&a, &n), a.double_mod(&n));
}
#[cfg(feature = "rand_core")]
#[test]
fn add_mod_special() {
fn test_size<const LIMBS: usize>() {
let mut rng = chacha20::ChaCha8Rng::seed_from_u64(1);
let moduli = [
NonZero::<Limb>::random_from_rng(&mut rng),
NonZero::<Limb>::random_from_rng(&mut rng),
];
for special in &moduli {
let p = &NonZero::new(Uint::ZERO.wrapping_sub(&Uint::from(special.get()))).unwrap();
let minus_one = p.wrapping_sub(&Uint::ONE);
let base_cases = [
(Uint::ZERO, Uint::ZERO, Uint::ZERO),
(Uint::ONE, Uint::ZERO, Uint::ONE),
(Uint::ZERO, Uint::ONE, Uint::ONE),
(minus_one, Uint::ONE, Uint::ZERO),
(Uint::ONE, minus_one, Uint::ZERO),
];
for (a, b, c) in &base_cases {
let x = a.add_mod_special(b, *special.as_ref());
assert_eq!(*c, x, "{} + {} mod {} = {} != {}", a, b, p, x, c);
}
for _i in 0..100 {
let a = Uint::<LIMBS>::random_mod_vartime(&mut rng, p);
let b = Uint::<LIMBS>::random_mod_vartime(&mut rng, p);
let c = a.add_mod_special(&b, *special.as_ref());
assert!(c < **p, "not reduced: {} >= {} ", c, p);
let expected = a.add_mod(&b, p);
assert_eq!(c, expected, "incorrect result");
}
}
}
test_size::<1>();
test_size::<2>();
test_size::<3>();
if cfg!(not(miri)) {
test_size::<4>();
test_size::<8>();
test_size::<16>();
}
}
}