Extending multipilcation circuit

Hi,

I wanted to extend the code you have to verify multiplication to a circuit where we verify the point wise multiplication of arrays, I tried my own code but I am facing a lot of errors and would need some guidance as to how exactly should write the constraints.