Description

The generate-verifier-arguments command in the CLI tool, executed as:

cargo run -- generate-verifier-arguments -p <path_to_proof_file> -i <path_to_public_inputs_file>

currently only supports public inputs of size 3 due to a hardcoded value in the implementation. This limitation prevents the tool from handling public inputs of different sizes.

Steps to Reproduce

Run the command with a public inputs file containing fewer or more than 3 inputs:

cargo run -- generate-verifier-arguments -p proof.json -i public_inputs.json

If public_inputs.json contains a number of inputs other than 3, the command fails