keccakf1600 test fails with internal bitsize error

[michaeljklein]

Aim

Attempted to test _ hash function on 25 0's as part of #5614:

#[test]
fn keccakf1600_test() {
    let _ = solve_array_input_blackbox_call(
        [(FieldElement::zero(), false); 25].into(),
        25,
        keccakf1600_op,
    );
}

Expected Behavior

Expected the blackbox call to be solved successfully, constraining the 25 output witnesses to the results of the keccakf1600 function.

Bug

Solving panics on a bitsize assertion here:

---- keccakf1600_zeros stdout ----
thread 'keccakf1600_zeros' panicked at /Users/michaelklein/Coding/rust/noir/acvm-repo/acvm/src/pwg/blackbox/mod.rs:110:17:
assertion `left == right` failed
  left: 254
 right: 64

This seems to be a bug because I am calling the function on all FieldElement::zero()'s and the following assertion passes:

assert_eq!(FieldElement::zero().num_bits(), 0);

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

No response

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[michaeljklein]

Maxim found that I was using the incorrect max number of bits for ACVM constants: #5614

(Test now passing)