Parent Log:
http://ci.aztec-labs.com/dc2fa81d7e6e38ef
Command: 6b749196b5c0246c barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.BadProofFailure
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/1650b3d017a2a4fa5182c8787e79cc108e24e1f4
Env: REF_NAME=gh-readonly-queue/next/pr-14990-77a00686be4080a71b03d68671da6c8b270b62aa CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 12 10:53:04 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14990_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_9f13456260f49eb0_next
10:53:04 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc
10:53:04
Note: Google Test filter = ClientIVCTests.BadProofFailure
10:53:04 [==========] Running 1 test from 1 test suite.
10:53:04
[----------] Global test environment set-up.
10:53:04
[----------] 1 test from ClientIVCTests
10:53:04
[ RUN ] ClientIVCTests.BadProofFailure
10:53:04 BN254 commitment key size: 262144 (mem: 6.00 MiB)
10:53:05 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 395.18 MiB)
10:53:07 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 629.18 MiB)
10:53:11 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 698.18 MiB)
10:53:14 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 698.18 MiB)
10:53:17 Largest circuit: 47737 gates. Trace details: (mem: 729.36 MiB)
10:53:17 Minimum required block sizes for structured trace: (mem: 729.36 MiB)
10:53:17 ecc_op : 792
10:53:17 busread : 3
10:53:17 lookup : 2
10:53:17 pub_inputs : 33
10:53:17 arithmetic : 11612
10:53:17 delta_range : 2899
10:53:17 elliptic : 2
10:53:17 aux : 50
10:53:17 poseidon2_external : 4952
10:53:17 poseidon2_internal : 28217
10:53:17 overflow : 0
10:53:17 (mem: 729.36 MiB)
10:53:21 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 729.36 MiB)
10:53:24 Constructing a Goblin proof with num ultra ops = 1442 (mem: 729.36 MiB)
10:53:48 BN254 commitment key size: 262144 (mem: 729.36 MiB)
10:53:49 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 729.36 MiB)
10:53:51 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 729.36 MiB)
10:53:55 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 792.34 MiB)
10:53:59 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 792.34 MiB)
10:54:02 Largest circuit: 47737 gates. Trace details: (mem: 823.34 MiB)
10:54:02 Minimum required block sizes for structured trace: (mem: 823.34 MiB)
10:54:02 ecc_op : 792
10:54:02 busread : 3
10:54:02 lookup : 2
10:54:02 pub_inputs : 33
10:54:02 arithmetic : 11612
10:54:02 delta_range : 2899
10:54:02 elliptic : 2
10:54:02 aux : 50
10:54:02 poseidon2_external : 4952
10:54:02 poseidon2_internal : 28217
10:54:02 overflow : 0
10:54:02 (mem: 823.34 MiB)
10:54:06 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 823.34 MiB)
10:54:06 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:54:09 Constructing a Goblin proof with num ultra ops = 1442 (mem: 823.34 MiB)
10:54:32 Sumcheck failed! (mem: 823.34 MiB)
10:54:32 BN254 commitment key size: 262144 (mem: 823.34 MiB)
10:54:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:54:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:54:38 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:54:42 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:54:46 Largest circuit: 47737 gates. Trace details: (mem: 823.34 MiB)
10:54:46 Minimum required block sizes for structured trace: (mem: 823.34 MiB)
10:54:46 ecc_op : 792
10:54:46 busread : 3
10:54:46 lookup : 2
10:54:46 pub_inputs : 33
10:54:46 arithmetic : 11612
10:54:46 delta_range : 2899
10:54:46 elliptic : 2
10:54:46 aux : 50
10:54:46 poseidon2_external : 4952
10:54:46 poseidon2_internal : 28217
10:54:46 overflow : 0
10:54:46 (mem: 823.34 MiB)
10:54:49 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 823.34 MiB)
10:54:50 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:54:54 Constructing a Goblin proof with num ultra ops = 1442 (mem: 823.34 MiB)
10:55:19 Sumcheck failed! (mem: 823.34 MiB)
10:55:20 BN254 commitment key size: 262144 (mem: 823.34 MiB)
10:55:21 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:55:23 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 823.34 MiB)
10:55:26 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 824.34 MiB)
10:55:29 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 824.34 MiB)
10:55:32 Largest circuit: 47737 gates. Trace details: (mem: 824.80 MiB)
10:55:32 Minimum required block sizes for structured trace: (mem: 824.80 MiB)
10:55:32 ecc_op : 792
10:55:32 busread : 3
10:55:32 lookup : 2
10:55:32 pub_inputs : 33
10:55:32 arithmetic : 11612
10:55:32 delta_range : 2899
10:55:32 elliptic : 2
10:55:32 aux : 50
10:55:32 poseidon2_external : 4952
10:55:32 poseidon2_internal : 28217
10:55:32 overflow : 0
10:55:32 (mem: 824.80 MiB)
10:55:34 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 824.80 MiB)
10:55:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 824.80 MiB)
10:55:37 Constructing a Goblin proof with num ultra ops = 1442 (mem: 824.80 MiB)
10:55:55 Sumcheck failed! (mem: 824.80 MiB)
10:55:55
[ OK ] ClientIVCTests.BadProofFailure (170690 ms)
10:55:55
[----------] 1 test from ClientIVCTests (170690 ms total)
10:55:55
10:55:55
[----------] Global test environment tear-down
10:55:55
[==========] 1 test from 1 test suite ran. (170690 ms total)
10:55:55
[ PASSED ] 1 test.