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.
- Lean
Published by jtristan about 2 years ago
