Function opendp::transformations::make_sized_bounded_int_split_sum

pub fn make_sized_bounded_int_split_sum<T>(
    size: usize,
    bounds: (T, T)
) -> Fallible<Transformation<VectorDomain<AtomDomain<T>>, AtomDomain<T>, SymmetricDistance, AbsoluteDistance<T>>>where
    T: Number + SplitSatSum + AddIsExact,

Make a Transformation that computes the sum of bounded ints with known dataset size.

This uses a restricted-sensitivity proof that takes advantage of known dataset size for better utility. Adds the saturating sum of the positives to the saturating sum of the negatives.

Citations

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

Arguments

• size - Number of records in input data.
• bounds - Tuple of lower and upper bounds for data in the input domain.

Generics

• T - Atomic Input Type and Output Type