Age | Commit message (Expand) | Author |
---|---|---|
2024-11-11 | refactoring in progress | Özgür Kesim |
2024-04-09 | nizk: use Bytes interface for abstraction | Özgür Kesim |
2024-03-29 | stage2: proof and verification implemented and tested | Özgür Kesim |
2024-03-28 | nizk/stage1: Implementation of proof and verificaiton for stage1 | Özgür Kesim |