pub fn make_sized_bounded_int_checked_sum<T>(
size: usize,
bounds: (T, T)
) -> Fallible<Transformation<VectorDomain<AtomDomain<T>>, AtomDomain<T>, SymmetricDistance, AbsoluteDistance<T>>>where
for<'a> T: Number + AddIsExact + CanIntSumOverflow + Sum<&'a T>,
Expand description
Make a Transformation that computes the sum of bounded ints. The effective range is reduced, as (bounds * size) must not overflow.
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