fully adaptive composition constructor

Construct an odometer that can spawn a compositor queryable.

Usage

make_fully_adaptive_composition(input_domain, input_metric, output_measure)

Arguments

input_domain

indicates the space of valid input datasets

input_metric

how distances are measured between members of the input domain

output_measure

how privacy is measured

Value

Odometer

Details

Required features: contrib

make_fully_adaptive_composition in Rust documentation.

Citations:

• WRRW23 Fully Adaptive Composition in Differential Privacy

• VZ23 Concurrent Composition Theorems for Differential Privacy

• HSTVVXZ23 Concurrent Composition for Interactive Differential Privacy with Adaptive Privacy-Loss Parameters

Supporting Elements:

• Input Domain DI

• Input Metric MI

• Output Measure MO

• Query Measurement<DI, MI, MO, TO>

• Answer TO

Proof Definition:

(Proof Document)