For circuits with no public signals, generated Solidity Verifier creates a function signature with zero array length that throws error in Solidity. This must be fixed manually.
TypeError: Array with zero length specified. --> contracts/verifiers/MintVerifier.sol:121:63: | 121 | function verifyProof(uint256[24] calldata _proof, uint256[0] calldata _pubSignals) public view returns (bool) { | ^