aboutsummaryrefslogtreecommitdiff
path: root/nizk/nizk.go
AgeCommit message (Collapse)Author
2024-11-11refactoring in progressÖzgür Kesim
2024-04-09nizk: use Bytes interface for abstractionÖzgür Kesim
2024-03-29stage2: proof and verification implemented and testedÖzgür Kesim
2024-03-28nizk/stage1: Implementation of proof and verificaiton for stage1Özgür Kesim
The proof and verification of statements according to Stage1 (page 4) is done.