fix(cometbls-verifier): split back proof of kwoledge from groth16 pairing (#2692)
fixes https://github.com/spearbit-audits/review-union/issues/17 We chose to unmerge the proof of knowledge from the groth16 proof when doing the pairing check to keep the implementation simple and 1:1 with gnark.
H
hussein-aitlahcen committed
62cc89c9e7a96a181ee15809d6fddc8cf22e81d9
Committed by GitHub <noreply@github.com>
on 8/8/2024, 10:53:48 AM