Closed armfazh closed 1 year ago
Changes:
This last commit performs the actual checking of DLEQ proofs against test vectors. For some reason, this checking was omitted in previous code.
Changes: