Nope. The prover writes one (univariate) polynomial per column. Then, the verifier uses constraints that read from different polynomials. For example, if you have two columns the prover will provide f_1 and f_2. The verifier might want to check if, say, each entry of f_1 is the square of the corresponding entry in f_2. In this case she’ll use the…