Simon Masson

As far as I understand, the goal of Vamp-IR is to be able to use complicated circuits in a simple way. I would like to have a practical example with...

Modification of `ed_on_bw6_761`

5

## Summary The `ed_on_bw6_761` curve is an elliptic curve whose base field matches the BW6-761 curve. This curve is useless and should be replaced by the BLS12-377 curve: * BLS12-377...

This implements one part of the verification circuit: the `compute_b` part (see [here](https://github.com/zcash/halo2/blob/677866d65362c0de7a00120c515a9583b2da2128/halo2_proofs/src/poly/commitment/verifier.rs#L145)). The circuit computes $\prod_i (1+u_{k-1-i} x^{2^i})$ but for 32 challenges $u_i$, it runs out of memory when...