123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778 |
- use rand::distributions::WeightedIndex;
- use rand::prelude::Distribution;
- use rand::Rng;
- use crate::params::*;
- use crate::poly::*;
- use std::f64::consts::PI;
- pub const NUM_WIDTHS: usize = 8;
- pub struct DiscreteGaussian<'a, T: Rng> {
- choices: Vec<i64>,
- dist: WeightedIndex<f64>,
- pub rng: &'a mut T,
- }
- impl<'a, T: Rng> DiscreteGaussian<'a, T> {
- pub fn init(params: &'a Params, rng: &'a mut T) -> Self {
- let max_val = (params.noise_width * (NUM_WIDTHS as f64)).ceil() as i64;
- let mut choices = Vec::new();
- let mut table = vec![0f64; 0];
- for i in -max_val..max_val + 1 {
- let p_val = f64::exp(-PI * f64::powi(i as f64, 2) / f64::powi(params.noise_width, 2));
- choices.push(i);
- table.push(p_val);
- }
- let dist = WeightedIndex::new(&table).unwrap();
- Self { choices, dist, rng }
- }
- // FIXME: not constant-time
- pub fn sample(&mut self) -> i64 {
- self.choices[self.dist.sample(&mut self.rng)]
- }
- pub fn sample_matrix(&mut self, p: &mut PolyMatrixRaw) {
- let modulus = p.get_params().modulus;
- for r in 0..p.rows {
- for c in 0..p.cols {
- let poly = p.get_poly_mut(r, c);
- for z in 0..poly.len() {
- let mut s = self.sample();
- s += modulus as i64;
- s %= modulus as i64; // FIXME: not constant time
- poly[z] = s as u64;
- }
- }
- }
- }
- }
- #[cfg(test)]
- mod test {
- use rand::thread_rng;
- use super::*;
- use crate::util::*;
- #[test]
- fn dg_seems_okay() {
- let params = get_test_params();
- let mut rng = thread_rng();
- let mut dg = DiscreteGaussian::init(¶ms, &mut rng);
- let mut v = Vec::new();
- let trials = 10000;
- let mut sum = 0;
- for _ in 0..trials {
- let val = dg.sample();
- v.push(val);
- sum += val;
- }
- let mean = sum as f64 / trials as f64;
- let std_dev = params.noise_width / f64::sqrt(2f64 * std::f64::consts::PI);
- let std_dev_of_mean = std_dev / f64::sqrt(trials as f64);
- assert!(f64::abs(mean) < std_dev_of_mean * 5f64);
- }
- }
|