Parent Log:
http://ci.aztec-labs.com/579c119d3c183e29
Command: d14436b2528735cf barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BadProofFailure
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/91cb4670e4c878fffa987f5c84d8b9b715e152dd
Env: REF_NAME=lx/prover-takes-in-vk CURRENT_VERSION=0.87.6 CI_FULL=0
Date: Fri Jun 13 16:47:06 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=lx_prover-takes-in-vk_amd64
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_9f13456260f49eb0_next
16:47:06 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc
16:47:06
Note: Google Test filter = ClientIVCTests.BadProofFailure
16:47:06 [==========] Running 1 test from 1 test suite.
16:47:06
[----------] Global test environment set-up.
16:47:06
[----------] 1 test from ClientIVCTests
16:47:06
[ RUN ] ClientIVCTests.BadProofFailure
16:47:06 BN254 commitment key size: 262144 (mem: 6.00 MiB)
16:47:16 Largest circuit: 47737 gates. Trace details: (mem: 728.21 MiB)
16:47:16 Minimum required block sizes for structured trace: (mem: 728.21 MiB)
16:47:16 ecc_op : 792
16:47:16 busread : 3
16:47:16 lookup : 2
16:47:16 pub_inputs : 33
16:47:16 arithmetic : 11612
16:47:16 delta_range : 2899
16:47:16 elliptic : 2
16:47:16 aux : 50
16:47:16 poseidon2_external : 4952
16:47:16 poseidon2_internal : 28217
16:47:16 overflow : 0
16:47:16 (mem: 728.21 MiB)
16:47:22 Constructing a Goblin proof with num ultra ops = 1442 (mem: 728.21 MiB)
16:47:45 BN254 commitment key size: 262144 (mem: 728.21 MiB)
16:47:53 Largest circuit: 47737 gates. Trace details: (mem: 821.57 MiB)
16:47:53 Minimum required block sizes for structured trace: (mem: 821.57 MiB)
16:47:53 ecc_op : 792
16:47:53 busread : 3
16:47:53 lookup : 2
16:47:53 pub_inputs : 33
16:47:53 arithmetic : 11612
16:47:53 delta_range : 2899
16:47:53 elliptic : 2
16:47:53 aux : 50
16:47:53 poseidon2_external : 4952
16:47:53 poseidon2_internal : 28217
16:47:53 overflow : 0
16:47:53 (mem: 821.57 MiB)
16:47:56 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 821.57 MiB)
16:48:00 Constructing a Goblin proof with num ultra ops = 1442 (mem: 821.57 MiB)
16:48:24 Sumcheck failed! (mem: 821.57 MiB)
16:48:24 BN254 commitment key size: 262144 (mem: 821.57 MiB)
16:48:33 Largest circuit: 47737 gates. Trace details: (mem: 822.15 MiB)
16:48:33 Minimum required block sizes for structured trace: (mem: 822.15 MiB)
16:48:33 ecc_op : 792
16:48:33 busread : 3
16:48:33 lookup : 2
16:48:33 pub_inputs : 33
16:48:33 arithmetic : 11612
16:48:33 delta_range : 2899
16:48:33 elliptic : 2
16:48:33 aux : 50
16:48:33 poseidon2_external : 4952
16:48:33 poseidon2_internal : 28217
16:48:33 overflow : 0
16:48:33 (mem: 822.15 MiB)
16:48:36 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 822.15 MiB)
16:48:40 Constructing a Goblin proof with num ultra ops = 1442 (mem: 822.15 MiB)
16:48:59 Sumcheck failed! (mem: 822.15 MiB)
16:49:00 BN254 commitment key size: 262144 (mem: 822.15 MiB)
16:49:11 Largest circuit: 47737 gates. Trace details: (mem: 823.15 MiB)
16:49:11 Minimum required block sizes for structured trace: (mem: 823.15 MiB)
16:49:11 ecc_op : 792
16:49:11 busread : 3
16:49:11 lookup : 2
16:49:11 pub_inputs : 33
16:49:11 arithmetic : 11612
16:49:11 delta_range : 2899
16:49:11 elliptic : 2
16:49:11 aux : 50
16:49:11 poseidon2_external : 4952
16:49:11 poseidon2_internal : 28217
16:49:11 overflow : 0
16:49:11 (mem: 823.15 MiB)
16:49:15 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 823.15 MiB)
16:49:19 Constructing a Goblin proof with num ultra ops = 1442 (mem: 823.15 MiB)
16:49:39 Sumcheck failed! (mem: 823.15 MiB)
16:49:39
[ OK ] ClientIVCTests.BadProofFailure (152938 ms)
16:49:39
[----------] 1 test from ClientIVCTests (152939 ms total)
16:49:39
16:49:39
[----------] Global test environment tear-down
16:49:39
[==========] 1 test from 1 test suite ran. (152939 ms total)
16:49:39
[ PASSED ] 1 test.