sized bounded int ordered sum constructor

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

Usage

make_sized_bounded_int_ordered_sum(size, bounds, .T = NULL)

Arguments

size

Number of records in input data.

bounds

Tuple of lower and upper bounds for data in the input domain.

.T

Atomic Input Type and Output Type

Value

Transformation

Details

This uses a restricted-sensitivity proof that takes advantage of known dataset size for better utility. You may need to use make_ordered_random to impose an ordering on the data.

make_sized_bounded_int_ordered_sum in Rust documentation.

Citations:

• CSVW22 Widespread Underestimation of Sensitivity...

• DMNS06 Calibrating Noise to Sensitivity in Private Data Analysis

Supporting Elements:

• Input Domain: VectorDomain<AtomDomain<T>>

• Output Domain: AtomDomain<T>

• Input Metric: InsertDeleteDistance

• Output Metric: AbsoluteDistance<T>