Constraint system with arrays/ error in implementing batch mode about bellman HOT 3 CLOSED

batch.rs is intended for verifying batches of separate proofs. Since what you want to verify is so simple, it wouldn't make sense to have a separate proof for each element (you would only want to split into multiple circuits if the vectors were absolutely huge). Instead just constrain each multiplication within the circuit just as you would constrain a single multiplication.

from bellman.

Also, we have not yet cut a release of bellman since the batch verification API was merged, so if you're depending on bellman 0.9 that could be your problem. We should be cutting a new release soon (in the next week or so).

from bellman.

The batch API was released in 0.9.0.

from bellman.