|
// Elements of the form (beta * u_i(tau) + alpha v_i(tau) + w_i(tau)) / gamma |
|
// for all public inputs. Because all public inputs have a dummy constraint, |
|
// this is the same size as the number of inputs, and never contains points |
|
// at infinity. |
|
pub ic: Vec<E::G1Affine>, |
$\tau$ is the toxic waste, this should say it's the corresponding G1 elements.
bellman/src/groth16/mod.rs
Lines 124 to 128 in 9bb30a7