Michael Shoemate
Michael Shoemate
Closes #42. * adds `opendp_derive` crate that defines a "bootstrap" proc-macro * extracts an AST from constructor definitions * adds `opendp_bootstrap` crate for constructing bootstrap metadata from an AST *...
Similar API as `make_zCDP_to_approxDP`. Can be used to compose mixtures of pure and zCDP measurements.
Similar API as `make_zCDP_to_approxDP`. Can be used to compose mixtures of pure and approx measurements.
Right now, dispatch in `impl BasicCompositionMeasure for AnyMeasure` is typed by `M::Distance`, but only dispatches to `@floats`. Thus we can't do composition of fixed approx-DP distances. This isn't as breaking...
Can adapt from this proof: https://github.com/opendp/whitepapers/pull/11 This is a foundational proof that will be referred to by a large number of other proofs.