Privacy Analysis and Proofs

The privacy analysis proof is available here