Dev Ojha

It would be great to support a standardized r1cs file format. At the second zkproof workshop, [J-R1CS](https://community.zkproof.org/t/j-r1cs-a-json-lines-file-format-for-r1cs/117) was proposed as a candidate standard. If any such R1CS file format gains...

A method needs to be created in bls and curves to specify the amount of cores / some upperbound for parallelism. In several cases, the fastest parallel algorithm may not...

Montgomery reduction for complex number exponentiation

1

Unmarshalling compressed G2 points can be sped up by using the montgomery reduction in that exponentiation.

The library switched to using the product of pairing operation internally in bgls, where the product of pairings is currently implemented as doing the product in parallel, in lieu of...

Optimize big int allocations, by reusing big ints from a pool instead of constantly creating and deleting the objects.

This issue is meant to keep track of ways the efficiencies of the curve libraries can be sped up. For Altbn128 (and perhaps BLS12-381, I haven't investigated it for this),...

Tests need to be added to ensure that the bgls functions and curve API don't mutate their inputs.

Implement hashing to G2. For Altbn128 this will be Try and Increment, for Bls12-381 it will be Fouque Tibouchi hashing as specified in ebfull's repository.

Currently for the parallelization in bgls.go, the buffer size of the channels is infinite. A buffer size for these channels should be added, but perhaps the amount of buffering needs...

conditionally_select and conditional_enforce_equal use condition inconsistently

3

## Summary of Bug CondSelectGadget's API is ```rust fn conditionally_select( cond: &Boolean, true_val: &Self, false_val: &Self, ) ``` whereas EqGadget's API is ```rust fn conditional_enforce_equal( &self, other: &Self, should_enforce: &Boolean,...