Large Field Input Causes Error

[Jurarpereurs]

Aim

Noir throws an exception when you try to use a large field value as input to the program. However, if you use a large field value as input in the #[test] function, the test will pass.

Expected Behavior

Noir should not error when using a large field value as input to the program.

Bug

Save the following code in src/main.nr:

fn main(x : Field, y : pub Field) {
    assert(x != y);
}

#[test]
fn test_main() {
    main(38635681773907251013895061801454257562916000962161246236232113416393728196608, 2);
}

Then run nargo check, you would see the following message:

[hello] Constraint system successfully built!

, meaning that the test case in #[test] passes.

Then, save the following in Prover.toml with exactly the same input as the test case:

x = "38635681773907251013895061801454257562916000962161246236232113416393728196608"
y = "2"

Then run nargo prove, you would see the following message:

Error: Expected witness values to be integers, provided value causes `number too large to fit in target type` error

Location:
    crates/nargo_cli/src/cli/mod.rs:79:5

To Reproduce

1. Create a new project with nargo new hello
2. Save the code in src/main.nr
3. Run nargo check
4. Save the code in Prover.toml
5. Run nargo prove

Installation Method

Binary

Nargo Version

nargo 0.10.5 (git version hash: 9fe4cfd, is dirty: false)

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response