fs_1_1_circuit.html">Circuit</a>&lt; <a class="el" href="classproofs_1_1_g_f2__128.html">Field</a> &gt; *circ, const inputs &amp;in, <a class="el" href="structproofs_1_1_proof_aux.html">ProofAux</a>&lt; <a class="el" href="classproofs_1_1_g_f2__128.html">Field</a> &gt; *aux, <a class="el" href="structproofs_1_1_prover_layers_1_1bindings.html">bindings</a> &amp;bnd, <a class="el" href="classproofs_1_1_transcript_sumcheck.html">TranscriptSumcheck</a>&lt; <a class="el" href="classproofs_1_1_g_f2__128.html">Fie