pub fn field_add<const LIMBS: usize>(
a: &FieldElement<LIMBS>,
b: &FieldElement<LIMBS>,
p: &[u64; LIMBS],
) -> FieldElement<LIMBS>Expand description
Add two field elements: result = (a + b) mod p. Constant-time via conditional subtraction.