ACI ·

Parent Log: http://ci.aztec-labs.com/20565fb19cf53bed Command: 5e7b3c0a7c6ee83d cd noir/noir-repo && GIT_COMMIT=0000000000000000000000000000000000000000 NARGO=/home/aztec-dev/aztec-packages/noir/noir-repo/target/release/nargo yarn workspaces foreach -A --parallel --topological-dev --verbose --include @noir-lang/types --include @noir-lang/noir_js --include @noir-lang/noir_codegen --include @noir-lang/noirc_abi --include @noir-lang/acvm_js run test Commit: https://github.com/AztecProtocol/aztec-packages/commit/4b0e4dc09fa55f0bc808fa0c7c3e95e8fa997069 Env: REF_NAME=gh-readonly-queue/next/pr-15116-433ba6218aed45169029991a493e4232b30b8ec6 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 20:38:36 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15116_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_be430c00f9d9170c_next 20:38:40 [@noir-lang/acvm_js]: 20:38:40 [@noir-lang/acvm_js]: 20:38:40 [@noir-lang/acvm_js]: ✔ successfully calculates the bitwise AND of two fields 20:38:40 [@noir-lang/acvm_js]: ✔ successfully calculates the bitwise XOR of two fields 20:38:40 [@noir-lang/acvm_js]: ✔ successfully calculates the sha256 hash 20:38:40 [@noir-lang/acvm_js]: ✔ successfully calculates the blake2s256 hash 20:38:40 [@noir-lang/acvm_js]: ✔ successfully verifies secp256k1 ECDSA signatures 20:38:40 [@noir-lang/acvm_js]: ✔ successfully verifies secp256r1 ECDSA signatures 20:38:40 [@noir-lang/acvm_js]: ✔ returns the correct build info 20:38:40 [@noir-lang/acvm_js]: ✔ successfully executes circuit and extracts return value 20:38:40 [@noir-lang/acvm_js]: ✔ successfully processes simple brillig foreign call opcodes 20:38:40 [@noir-lang/acvm_js]: ✔ successfully processes complex brillig foreign call opcodes 20:38:40 [@noir-lang/acvm_js]: ✔ successfully executes a MultiScalarMul opcode 20:38:40 [@noir-lang/acvm_js]: ✔ successfully executes a MemoryOp opcode 20:38:40 [@noir-lang/acvm_js]: ✔ executeProgram: successfully executes program and extracts return value 20:38:40 [@noir-lang/acvm_js]: ✔ executeProgram: successfully process a program of acir functions with a nested call 20:38:40 [@noir-lang/acvm_js]: ✔ successfully compresses the witness 20:38:40 [@noir-lang/acvm_js]: ✔ successfully decompresses the witness 20:38:40 [@noir-lang/acvm_js]: ✔ successfully compresses the witness stack 20:38:40 [@noir-lang/acvm_js]: ✔ successfully decompresses the witness stack 20:38:40 [@noir-lang/acvm_js]: 20:38:40 [@noir-lang/acvm_js]: 18 passing (86ms) 20:38:40 [@noir-lang/acvm_js]: 20:38:40 [@noir-lang/noirc_abi]: 20:38:40 [@noir-lang/noirc_abi]: 20:38:40 [@noir-lang/noirc_abi]: ✔ recovers original inputs when abi encoding and decoding 20:38:40 [@noir-lang/noirc_abi]: ✔ Recovers custom field errors 20:38:40 [@noir-lang/noirc_abi]: ✔ Recovers custom tuple errors 20:38:40 [@noir-lang/noirc_abi]: ✔ Recovers custom fmt string errors 20:38:40 [@noir-lang/noirc_abi]: ✔ Recovers struct errors 20:38:40 [@noir-lang/noirc_abi]: ✔ errors when an integer input overflows 20:38:40 [@noir-lang/noirc_abi]: ✔ errors when passing a field in place of an array 20:38:40 [@noir-lang/noirc_abi]: ✔ errors when passing an array in place of a field 20:38:40 [@noir-lang/noirc_abi]: ✔ correctly handles struct inputs 20:38:40 [@noir-lang/noirc_abi]: 20:38:40 [@noir-lang/noirc_abi]: 9 passing (63ms) 20:38:40 [@noir-lang/noirc_abi]: 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: ✔ executes a single-ACIR program correctly 20:38:44 [@noir-lang/noir_js]: ✔ successfully executes a program with multiple acir circuits 20:38:44 [@noir-lang/noir_js]: ✔ circuit with a fmt string assert message should fail with the resolved assertion information 20:38:44 [@noir-lang/noir_js]: ✔ circuit with a nested assertion should fail with the resolved call stack 20:38:44 [@noir-lang/noir_js]: ✔ circuit with a nested assertion inside brillig should fail with the resolved call stack 20:38:44 [@noir-lang/noir_js]: ✔ circuit with a raw assert payload should fail with the decoded payload 20:38:44 [@noir-lang/noir_js]: ✔ successfully decodes the return values from a program using the databus 20:38:44 [@noir-lang/noir_js]: ✔ generates witnesses successfully 20:38:44 [@noir-lang/noir_js]: ✔ string input and number input are the same 20:38:44 [@noir-lang/noir_js]: ✔ string input and number input are the same 20:38:44 [@noir-lang/noir_js]: ✔ 0x prefixed string input for inputs will throw 20:38:44 [@noir-lang/noir_js]: input validation 20:38:44 [@noir-lang/noir_js]: ✔ x should be a int64 not a string 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: 12 passing (62ms) 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: ✔ generates witnesses successfully 20:38:44 [@noir-lang/noir_js]: ✔ string input and number input are the same 20:38:44 [@noir-lang/noir_js]: ✔ string input and number input are the same 20:38:44 [@noir-lang/noir_js]: ✔ 0x prefixed string input for inputs will throw 20:38:44 [@noir-lang/noir_js]: input validation 20:38:44 [@noir-lang/noir_js]: ✔ x should be a int64 not a string 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: 5 passing (31ms) 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: warning: Unsafe block must have a safety comment above it 20:38:44 [@noir-lang/noir_js]: ┌─ test/noir_compiled_examples/databus/src/main.nr:3:5 20:38:44 [@noir-lang/noir_js]: │ 20:38:44 [@noir-lang/noir_js]: 3 │ unsafe { 20:38:44 [@noir-lang/noir_js]: │ ------ The comment must start with the "Safety: " word 20:38:44 [@noir-lang/noir_js]: │ 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: bug: Brillig function call isn't properly covered by a manual constraint 20:38:44 [@noir-lang/noir_js]: ┌─ test/noir_compiled_examples/databus/src/main.nr:4:13 20:38:44 [@noir-lang/noir_js]: │ 20:38:44 [@noir-lang/noir_js]: 4 │ a + foo(y) 20:38:44 [@noir-lang/noir_js]: │ ------ This Brillig call's inputs and its return values haven't been sufficiently constrained. This should be done to prevent potential soundness vulnerabilities 20:38:44 [@noir-lang/noir_js]: │ 20:38:44 [@noir-lang/noir_js]: = Call stack: 20:38:44 [@noir-lang/noir_js]: 1. test/noir_compiled_examples/databus/src/main.nr:4:13 20:38:44 [@noir-lang/noir_js]: 20:38:44 [@noir-lang/noir_js]: warning: Unsafe block must have a safety comment above it 20:38:44 [@noir-lang/noir_js]: ┌─ test/noir_compiled_examples/assert_inside_brillig_nested/src/main.nr:6:5 20:38:44 [@noir-lang/noir_js]: │ 20:38:44 [@noir-lang/noir_js]: 6 │ unsafe { 20:38:44 [@noir-lang/noir_js]: │ ------ The comment must start with the "Safety: " word 20:38:44 [@noir-lang/noir_js]: │ 20:38:44 [@noir-lang/noir_js]: 20:38:49 [@noir-lang/noir_codegen]: 20:38:49 [@noir-lang/noir_codegen]: 20:38:49 [@noir-lang/noir_codegen]: ✔ codegens a callable function 20:38:49 [@noir-lang/noir_codegen]: ✔ allows passing a custom foreign call handler 20:38:49 [@noir-lang/noir_codegen]: ✔ codegens a callable argless function 20:38:49 [@noir-lang/noir_codegen]: 20:38:49 [@noir-lang/noir_codegen]: 3 passing (31ms) 20:38:49 [@noir-lang/noir_codegen]: 20:38:49 [@noir-lang/noir_codegen]: warning: struct `NestedStruct` is never constructed 20:38:49 [@noir-lang/noir_codegen]: ┌─ test/test_lib/src/lib.nr:7:8 20:38:49 [@noir-lang/noir_codegen]: │ 20:38:49 [@noir-lang/noir_codegen]: 7 │ struct NestedStruct<let BAR_SIZE: u32, let STR_LEN: u32, let NESTED_BAR_SIZE: u32, BAZ_TYP> { 20:38:49 [@noir-lang/noir_codegen]: │ ------------ struct is never constructed 20:38:49 [@noir-lang/noir_codegen]: │ 20:38:49 [@noir-lang/noir_codegen]: 20:38:49 [@noir-lang/noir_codegen]: (node:1340258) ExperimentalWarning: `--experimental-loader` may be removed in the future; instead use `register()`: 20:38:49 [@noir-lang/noir_codegen]: --import 'data:text/javascript,import { register } from "node:module"; import { pathToFileURL } from "node:url"; register("ts-node/esm", pathToFileURL("./"));' 20:38:49 [@noir-lang/noir_codegen]: (Use `node --trace-warnings ...` to show where the warning was created) 20:38:49 [@noir-lang/noir_codegen]: (node:1340258) [DEP0180] DeprecationWarning: fs.Stats constructor is deprecated. 20:38:49 [@noir-lang/noir_codegen]: (Use `node --trace-deprecation ...` to show where the warning was created) 20:38:49 Done in 11s 438ms