Science Score: 49.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 1 DOI reference(s) in README -
✓Academic publication links
Links to: arxiv.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (7.2%) to scientific vocabulary
Repository
SampCert : Verified Differential Privacy
Basic Info
- Host: GitHub
- Owner: leanprover
- License: apache-2.0
- Language: Lean
- Default Branch: main
- Homepage: https://leanprover.github.io/SampCert/
- Size: 882 KB
Statistics
- Stars: 73
- Watchers: 12
- Forks: 9
- Open Issues: 7
- Releases: 1
Metadata Files
README.md
SampCert
A verified implementation using Lean and Mathlib of randomized algorithms including the discrete Gaussian sampler for differential privacy, key results in zero concentrated differential privacy, and some verified (unbounded) private queries.
SampCert is deployed and used in the AWS Clean Rooms Differential Privacy service. SampCert proves deep properties about some of its randomized algorithm and makes heavy use of Mathlib. For example, we use theorems such as the Poisson summation formula.
The principal developer of SampCert is Jean-Baptiste Tristan. It is also developed by Markus de Medeiros.
Other people have contributed important ideas or tools for deployment including (in no particular order): Leo de Moura, Anjali Joshi, Joseph Tassarotti, Stefan Zetzsche, Aws Albharghouti, Muhammad Naveed, Tristan Ravitch, Fabian Zaiser, Tomas Skrivan.
To cite SampCert you can currently use the following reference:
@software{Tristan_SampCert_Verified_2024,
author = {Tristan, Jean-Baptiste},
doi = {10.5281/zenodo.11204806},
month = may,
title = {{SampCert : Verified Differential Privacy}},
url = {https://github.com/leanprover/SampCert},
version = {1.0.0},
year = {2024}
}
Owner
- Name: Lean
- Login: leanprover
- Kind: organization
- Website: https://lean-lang.org/
- Twitter: leanprover
- Repositories: 54
- Profile: https://github.com/leanprover
Lean Prover
GitHub Events
Total
- Watch event: 16
- Push event: 1
- Pull request event: 9
- Fork event: 5
- Create event: 1
Last Year
- Watch event: 16
- Push event: 1
- Pull request event: 9
- Fork event: 5
- Create event: 1
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 12
- Total pull requests: 56
- Average time to close issues: about 1 month
- Average time to close pull requests: 8 days
- Total issue authors: 2
- Total pull request authors: 6
- Average comments per issue: 0.5
- Average comments per pull request: 0.23
- Merged pull requests: 38
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 12
- Pull requests: 56
- Average time to close issues: about 1 month
- Average time to close pull requests: 8 days
- Issue authors: 2
- Pull request authors: 6
- Average comments per issue: 0.5
- Average comments per pull request: 0.23
- Merged pull requests: 38
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- jtristan (8)
- mjdemedeiros (5)
Pull Request Authors
- jtristan (52)
- mjdemedeiros (47)
- markusdemedeiros (7)
- madvorak (2)
- BoltonBailey (2)
- travitch (2)
- Arasyilmaz1 (1)