pub fn make_population_amplification<DI, TO, MI, MO>(
    measurement: &Measurement<DI, TO, MI, MO>,
    population_size: usize
) -> Fallible<Measurement<DI, TO, MI, MO>>where
    DI: IsSizedDomain,
    MI: 'static + Metric,
    MO: 'static + AmplifiableMeasure,
    (DI, MI): MetricSpace,
Expand description

Construct an amplified measurement from a measurement with privacy amplification by subsampling. This measurement does not perform any sampling. It is useful when you have a dataset on-hand that is a simple random sample from a larger population.

The DIA, DO, MI and MO between the input measurement and amplified output measurement all match.

Arguments

  • measurement - the computation to apply privacy amplification to
  • population_size - the size of the population from which the input dataset is a simple sample

Generics

  • DIA - Atomic Input Domain. The domain of individual records in the input dataset.
  • TO - Output Type.
  • MI - Input Metric.
  • MO - Output Metric.