| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-04-04 | harmonize variable names across packages | Özgür Kesim |
| 2024-03-28 | nizk/stage1: Implementation of proof and verificaiton for stage1 | Özgür Kesim |
| 2024-03-28 | nizk/commit: rename from stage1 to commit, proper term | Özgür Kesim |
