... we can use _indicator polynomials_ for each gate: one for addition gates, and one for multiplication gates.
Then, we’d need to encode **gate information**. To do this, we can use **indicator polynomials** for each gate: one for addition gates, and one for multiplication gates.
然后,我们...