PlonkVerifier.sol incorrect type variable

[enricobottazzi]

I was generating the plonkVerifier contract for the default multiplier example and it generated a contract with type "uint4" in the first line which is not an existing solidity type. Also, even by manually correcting this into an "uint32", I wasn't able to successfully verify my proof inside that contract

Here's the line that generates the wrong solidity type =>
https://github.com/0xPARC/zkrepl/blob/main/src/data/plonk.sol#L26