tari-project / bulletproofs-plus / 5960943577

98%

push

github

feat: refactor inner-product prover (#57)

The inner-product prover is a bit clunky, as it requires the range
prover to set up a struct, perform iterative rounds, and then parse out
the proof elements it needs. This also requires consistency checks that
it would be nicer to avoid.

This PR moves the inner-product prover into the range prover, which
simplifies things at the cost of a longer prover function.

It also fixes some [vector
allocations](https://github.com/tari-project/bulletproofs-plus/blob/d9d0cc906/src/inner_product_round.rs#L111-L112)
that were much bigger than necessary.

Closes #61. Closes #55. Supersedes #56.

186 of 186 new or added lines in 2 files covered. (100.0%)

2116 of 2169 relevant lines covered (97.56%)

447.3 hits per line