Converting R1CS to QAP - checking the last step
There are both.
To produce a QAP system, you do dot-product witness and polynomials (no evaluation).
To verify a SNARK-proof, you do dot-product witness and polynomials evaluated at &quot;toxic waste&quot; multiplied by group elements.
Please note it's actually both public input and witness concatenated (all the variables).