A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
active 2023-08-24 → 2024-08-08 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 351 days from 2023-08-24 to 2024-08-08. Pushes: 26 total, peak 6 in a day. Pull requests: 9 total, peak 3 in a day. Issues: 8 total, peak 3 in a day. Comments: 2 total, peak 2 in a day. Stars: 35 total, peak 3 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| nmohnblatt | 34 | 22 | 7 | 2 |
| darigovresearch | 6 | 0 | 0 | 0 |
| github-actions[bot] | 4 | 4 | 0 | 0 |
| NetWalker108 | 1 | 0 | 1 | 0 |
| tremblaythibaultl | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 35 stars here means stars gained during the window, not the repo's star count.