Age | Commit message (Collapse) | 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 | |
The proof and verification of statements according to Stage1 (page 4) is done. |