Skip to content

Commit 72aa104

Browse files
theStackpeterdettmanreal-or-random
committed
add missing group element invariant checks
The group element checks `secp256k1_{ge,gej}_verify` have first been implemented and added in commit f202667 (PR bitcoin-core#1299). This commit adds additional verification calls in group functions, to match the ones that were originally proposed in commit 09dbba5 of WIP-PR bitcoin-core#1032 (which is obviously not rebased on bitcoin-core#1299 yet). Also, for easier review, all functions handling group elements are structured in the following wasy for easier review (idea suggested by Tim Ruffing): - on entry, verify all input ge, gej (and fe) - empty line - actual function body - empty line - on exit, verify all output ge, gej Co-authored-by: Peter Dettman <[email protected]> Co-authored-by: Tim Ruffing <[email protected]>
1 parent 907a672 commit 72aa104

File tree

1 file changed

+80
-17
lines changed

1 file changed

+80
-17
lines changed

0 commit comments

Comments
 (0)