In Verifier.sol
Function verify(unit[] input, ...)
The public input seems to be restricted to unit, if I want to check that a given hash is the hash of a preimage (in that case the public input would be a bytes32), would that also work? If not could we make some minor changes so that would work?