use crate::{
error::MathError,
integer_mod_q::{Modulus, Zq},
macros::seeded::seedable_function,
rational::Q,
utils::sample::discrete_gauss::{DiscreteGaussianIntegerSampler, LookupTableSetting, TAILCUT},
};
impl Zq {
seedable_function!(
#[seeded]
#[optionally_seeded]
#[optionally_seeded]
#[unseeded]
#[seeded]
pub(crate) fn sample_discrete_gauss(
modulus: impl Into<Modulus>,
center: impl Into<Q>,
s: impl Into<Q>,
seed: Option<[u8; 32]>,
) -> Result<Self, MathError> {
let modulus: Modulus = modulus.into();
let center: Q = center.into();
let s: Q = s.into();
let mut dgis = DiscreteGaussianIntegerSampler::init(
¢er,
&s,
unsafe { TAILCUT },
LookupTableSetting::NoLookup,
seed,
)?;
let sample = dgis.sample_z();
Ok(Zq::from((&sample, &modulus)))
}
);
}
#[cfg(test)]
mod test_sample_discrete_gauss {
use crate::utils::sample::test_seed;
use crate::{integer::Z, integer_mod_q::Zq, rational::Q};
#[test]
fn availability() {
for seeded in [false, true] {
let z = Z::from(2);
let q = Q::from(2);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17u64,
7u8,
1u16,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17u16,
7u16,
1u8,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17u8,
7u32,
1u32,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17u32,
7u64,
1u64,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17i16,
7i8,
1i64,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17i8,
7i16,
1i32,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17i64,
7i32,
1i16,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17i32,
7i64,
1i8,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17,
q.clone(),
1i64,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
z.clone(),
0i8,
z.clone(),
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17,
z.clone(),
q.clone(),
seeded.then(test_seed),
);
let _ =
Zq::sample_discrete_gauss_optionally_seeded(17, 1f32, 1f64, seeded.then(test_seed));
let _ =
Zq::sample_discrete_gauss_optionally_seeded(17, 1f64, 1f32, seeded.then(test_seed));
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17i64,
7i32,
1i16,
seeded.then(test_seed),
);
let _ = Zq::sample_discrete_gauss_optionally_seeded(
17i32,
7i64,
1i8,
seeded.then(test_seed),
);
let _ =
Zq::sample_discrete_gauss_optionally_seeded(17, &q, 1i64, seeded.then(test_seed));
let _ =
Zq::sample_discrete_gauss_optionally_seeded(&z, 0i8, &z, seeded.then(test_seed));
let _ = Zq::sample_discrete_gauss_optionally_seeded(17, &z, &q, seeded.then(test_seed));
if seeded {
let _ = Zq::sample_discrete_gauss_seeded(17u64, 7u8, 1u16, test_seed());
} else {
let _ = Zq::sample_discrete_gauss(17u64, 7u8, 1u16);
}
}
}
#[test]
fn distribution() {
for seeded in [false, true] {
let mut counts = [0; 20];
for _ in 0..200 {
let sample =
Zq::sample_discrete_gauss_optionally_seeded(20, 0, 2, seeded.then(test_seed))
.unwrap();
let sample_int =
i64::try_from(&sample.get_representative_least_nonnegative_residue()).unwrap()
as usize;
counts[sample_int] += 1;
}
let expl_text = String::from("This test can fail with probability close to 0.
It fails if the sampled occurrences do not look like a typical discrete Gaussian random distribution.
If this happens, rerun the tests several times and check whether this issue comes up again.");
assert!(counts[0] > 70, "{expl_text}");
assert!(counts[0] < 130, "{expl_text}");
assert!(counts[19] > 20, "{expl_text}");
assert!(counts[19] < 70, "{expl_text}");
assert!(counts[1] > 20, "{expl_text}");
assert!(counts[1] < 70, "{expl_text}");
assert!(counts[18] < 20, "{expl_text}");
assert!(counts[2] < 20, "{expl_text}");
for count in counts.iter().take(18).skip(3) {
assert!(count < &10, "{expl_text}");
}
}
}
#[test]
fn same_seed_same_sample() {
use crate::integer_mod_q::Zq;
let sample_0 = Zq::sample_discrete_gauss_seeded(17, 0, 1, [42; 32]).unwrap();
let sample_1 = Zq::sample_discrete_gauss_seeded(17, 0, 1, [42; 32]).unwrap();
assert_eq!(sample_0, sample_1);
}
#[test]
fn known_answer() {
use crate::integer_mod_q::Zq;
let sample = Zq::sample_discrete_gauss_seeded(17, 0, 1, [42; 32]).unwrap();
assert_eq!("1 mod 17", sample.to_string());
}
}