Set `Prover::eval` to pub, for easier debugging of circuits.

dalek-cryptography / bulletproofs

A pure-Rust implementation of Bulletproofs using Ristretto.

MIT License

1.02k stars 216 forks source link

Set `Prover::eval` to pub, for easier debugging of circuits. #326

Closed rubdos closed 4 years ago

rubdos commented 4 years ago

Development of complex constraint systems often goes wrong, and this patch allows to evaluate (for the prover) the actual value of a LinearCombination.

Related to #278, if it doesn't even fix that.

rubdos commented 4 years ago

Just noticed there's eval already... I'll change this mr to make that pub.

rubdos commented 4 years ago

I should've noticed that I had to add a doc comment... Either way, does this need someone else to review or would this be good to go? :-)

oleganza commented 4 years ago

Yeah, i was waiting for CI and then went to sleep.