Function opendp::transformations::make_sum

source ·

pub fn make_sum<MI, T>(
    input_domain: VectorDomain<AtomDomain<T>>,
    input_metric: MI
) -> Fallible<Transformation<VectorDomain<AtomDomain<T>>, AtomDomain<T>, MI, AbsoluteDistance<T>>>where
    MI: Metric,
    T: MakeSum<MI>,
    (VectorDomain<AtomDomain<T>>, MI): MetricSpace,
    (AtomDomain<T>, AbsoluteDistance<T>): MetricSpace,

Expand description

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

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.