Lemmas of Differential Privacy
arXiv:2211.11189
Abstract
We aim to collect buried lemmas that are useful for proofs. In particular, we try to provide self-contained proofs for those lemmas and categorise them according to their usage.
Comments, feedback, and suggested additions welcome