tari-project / bulletproofs-plus / 6639792421

98%

push

github

fix: don't panic on inconsistent generators (#100)

Currently, the prover will panic if the statement aggregation factor
does not precisely correspond to that of the inner-product generators.
It would be best to allow the prover to use a larger generator set,
similarly to how the verifier operates, in order to be more flexible.
This PR adds such a fix, and includes a regression test.

Review of this PR should include asserting that removing the fix code
will fail the regression test.

Closes #99.

30 of 30 new or added lines in 1 file covered. (100.0%)

2209 of 2254 relevant lines covered (98.0%)

2585.29 hits per line