KS-AMC-O-01: Protocol steps interleaved within different files #200
Description
Description and Impact Summary:
We observe that in the CGGMP implementation, the various files round_X.go do not completely reflect the corresponding steps as described in the paper. For example, round_4.go contains both proof generation from the paper’s round 4 and verification of the same proofs which appear in the paper’s round 5. This makes the flow of the program hard to parse to the paper.