Skip to content

feat: differential privacy (1/5): definition, post-processing, group privacy, composition - #88

Draft
KoushaKalantari wants to merge 1 commit into
stat-lib:mainfrom
KoushaKalantari:dp-basic
Draft

KoushaKalantari wants to merge 1 commit into
stat-lib:mainfrom
KoushaKalantari:dp-basic

Conversation

@KoushaKalantari

Copy link
Copy Markdown

Formalizes: Dwork, Roth, "The algorithmic foundations of differential privacy", Foundations and Trends in Theoretical Computer Science 9(3–4), 2014 (Prop. 2.1, Thm. 2.2, Thm. 3.16, Cor. 3.15, Thm. B.1); McSherry, "Privacy integrated queries", SIGMOD 2009 (parallel composition, two-part case).
How this PR relates to the InfoLeakage library: https://github.com/KoushaKalantari/InfoLeakage#relationship-to-statlib

AI use: I used Opus 5.5 for creating the code, and Codex (gpt-6-astra) for reviewing the proofs.

  • I have read and understood every line of code in this PR.
  • I take responsibility for its correctness, style, and fit with the surrounding library.
  • If a reviewer raises a question, I can answer it without re-running the AI tool.

🤖 Generated with Claude Code

…oup privacy, composition (Dwork–Roth)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant