Verified implementation of the discrete Gaussian mechanism, composition, and postprocessing for zero concentrated differential privacy. Application to a few simple private queries: count, bounded sum, bounded mean.
Verified implementation of the discrete Gaussian mechanism, composition, and postprocessing for zero concentrated differential privacy. Application to a few simple private queries: count, bounded sum, bounded mean.