Parent Log:
http://ci.aztec-labs.com/64815db951c4de2c
Command: 260d890e20b4b1b8-no-avm barretenberg/cpp/scripts/run_test.sh dsl_tests IvcRecursionConstraintTest.BadRecursiveVerifierAppCircuitTest
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/47c749527b1c3cce3edd9defedc46e89ea00c69e
Env: REF_NAME=gh-readonly-queue/next/pr-15009-00cd67e98e76d3202a0219baf301d59ef4211872 CURRENT_VERSION=0.87.6 CI_FULL=0
Date: Fri Jun 13 16:02:17 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15009_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_e66f73ee945ea337_next
16:02:17 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc
16:02:17
Note: Google Test filter = IvcRecursionConstraintTest.BadRecursiveVerifierAppCircuitTest
16:02:17 [==========] Running 1 test from 1 test suite.
16:02:17
[----------] Global test environment set-up.
16:02:17
[----------] 1 test from IvcRecursionConstraintTest
16:02:17
[ RUN ] IvcRecursionConstraintTest.BadRecursiveVerifierAppCircuitTest
16:02:17 BN254 commitment key size: 262144 (mem: 6.50 MiB)
16:02:17 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 168.85 MiB)
16:02:17 Sumcheck failed! (mem: 169.88 MiB)
16:02:17 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 174.38 MiB)
16:02:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 421.88 MiB)
16:02:22 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 659.88 MiB)
16:02:24 Largest circuit: 27982 gates. Trace details: (mem: 728.88 MiB)
16:02:24 Minimum required block sizes for structured trace: (mem: 728.88 MiB)
16:02:24 ecc_op : 168
16:02:24 busread : 3
16:02:24 lookup : 2
16:02:24 pub_inputs : 32
16:02:24 arithmetic : 8677
16:02:24 delta_range : 2518
16:02:24 elliptic : 2
16:02:24 aux : 50
16:02:24 poseidon2_external : 2502
16:02:24 poseidon2_internal : 14252
16:02:24 overflow : 0
16:02:24 (mem: 728.88 MiB)
16:02:27 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 728.88 MiB)
16:02:30 Constructing a Goblin proof with num ultra ops = 814 (mem: 728.88 MiB)
16:02:48
[ OK ] IvcRecursionConstraintTest.BadRecursiveVerifierAppCircuitTest (31515 ms)
16:02:48
[----------] 1 test from IvcRecursionConstraintTest (31515 ms total)
16:02:48
16:02:48
[----------] Global test environment tear-down
16:02:48
[==========] 1 test from 1 test suite ran. (31515 ms total)
16:02:48
[ PASSED ] 1 test.