Skip to contents

Make a Measurement that uses propose-test-release to privatize a hashmap of counts.

Usage

make_gaussian_threshold(
  input_domain,
  input_metric,
  scale,
  threshold,
  k = NULL,
  .MO = "Approximate<ZeroConcentratedDivergence>"
)

Arguments

input_domain

Domain of the input.

input_metric

Metric for the input domain.

scale

Noise scale parameter for the laplace distribution. scale == standard_deviation / sqrt(2).

threshold

Exclude pairs with values whose distance from zero exceeds this value.

k

The noise granularity in terms of 2^k.

.MO

Output Measure.

Value

Measurement

Details

This function takes a noise granularity in terms of 2^k. Larger granularities are more computationally efficient, but have a looser privacy map. If k is not set, k defaults to the smallest granularity.

Required features: contrib

make_gaussian_threshold in Rust documentation.

Supporting Elements:

  • Input Domain: DI

  • Output Type: MI

  • Input Metric: MO

  • Output Measure: DI::Carrier

Proof Definition:

(Proof Document)