ACIR test array_dynamic_blackbox_input fails to verify in BB

[sirasistant]

Aim

Passing checks in aztec-packages

Expected Behavior

All acir tests should verify

Bug

This test https://github.com/noir-lang/noir/blob/b2aaeab319a0c66c431a7db6852f743eccde8e98/test_programs/execution_success/array_dynamic_blackbox_input/src/main.nr fails to verify

https://app.circleci.com/pipelines/github/AztecProtocol/aztec-packages/24623/workflows/dbb07d38-8b8c-4334-89c0-db3510d9bc3f/jobs/1143720
Reproduced locally:

noirup: done
% nargo execute                                                                   1m 26s ~/aztec-packages/noir/test_programs/execution_success/array_dynamic_blackbox_input arv/pull_noir_2 mainframe
[array_dynamic_blackbox_input] Circuit witness successfully solved
% nargo prove                                                                            ~/aztec-packages/noir/test_programs/execution_success/array_dynamic_blackbox_input arv/pull_noir_2 mainframe
% nargo verify                                                                       12s ~/aztec-packages/noir/test_programs/execution_success/array_dynamic_blackbox_input arv/pull_noir_2 mainframe
Failed to verify proof /mnt/user-data/alvaro/aztec-packages/noir/test_programs/execution_success/array_dynamic_blackbox_input/proofs/array_dynamic_blackbox_input.proof

To Reproduce

1. go to array_dynamic_blackbox_input
2. nargo execute
3. nargo prove
4. nargo verify => fails

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

None

Nargo Version

No response

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[guipublic]

The issue is fixed with PR #4360, it seems that old sha256 was giving the wrong result.
if you add:
println(sha256(hash_input);
println(sha256([hash_input[0],..[hash_input[64]);
you will not get the same result!!!

Instead, with sha256::digest() you get the same result and this result is consistent with sha256([hash_input[0],..[hash_input[64]);