diff --git a/crates/noirc_abi/src/input_parser/mod.rs b/crates/noirc_abi/src/input_parser/mod.rs index 368adb45cfb..352694821e2 100644 --- a/crates/noirc_abi/src/input_parser/mod.rs +++ b/crates/noirc_abi/src/input_parser/mod.rs @@ -28,7 +28,9 @@ impl InputValue { (InputValue::Field(field_element), AbiType::Integer { width, .. }) => { field_element.num_bits() <= *width } - (InputValue::Field(field_element), AbiType::Boolean) => field_element.num_bits() == 1, + (InputValue::Field(field_element), AbiType::Boolean) => { + field_element.is_one() || field_element.is_zero() + } (InputValue::Vec(field_elements), AbiType::Array { length, typ, .. }) => { if field_elements.len() != *length as usize {