Function opendp::transformations::make_bounded_int_split_sum
source · pub fn make_bounded_int_split_sum<T>(
bounds: (T, T)
) -> Fallible<Transformation<VectorDomain<AtomDomain<T>>, AtomDomain<T>, SymmetricDistance, AbsoluteDistance<T>>>where
T: Number + SplitSatSum + AddIsExact,Expand description
Make a Transformation that computes the sum of bounded ints. 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
bounds- Tuple of lower and upper bounds for data in the input domain.
§Generics
T- Atomic Input Type and Output Type