Function opendp::transformations::sum::then_sum

pub fn then_sum<MI, T>(
) -> PartialTransformation<VectorDomain<AtomDomain<T>>, AtomDomain<T>, MI, AbsoluteDistance<T>>
where
    MI: Metric,
    T: MakeSum<MI>,
    (VectorDomain<AtomDomain<T>>, MI): MetricSpace,
    (AtomDomain<T>, AbsoluteDistance<T>): MetricSpace,

Make a Transformation that computes the sum of bounded data. Use make_clamp to bound data.

If dataset size is known, uses a restricted-sensitivity proof that takes advantage of known dataset size for better utility.

Citations

• CSVW22 Widespread Underestimation of Sensitivity…
• DMNS06 Calibrating Noise to Sensitivity in Private Data Analysis

Arguments

• input_domain - Domain of the input data.
• input_metric - One of SymmetricDistance or InsertDeleteDistance.
• bounds - Tuple of lower and upper bounds for data in the input domain.

Generics

• MI - Input Metric. One of SymmetricDistance or InsertDeleteDistance.
• T - Atomic Input Type and Output Type.