Parent Log: http://ci.aztec-labs.com/64815db951c4de2c Command: 260d890e20b4b1b8-no-avm barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCBenchValidation.Full6MockedVKs 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:01:44 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_01edebf6bbfea4dc_next 16:01:44 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 16:01:44 Note: Google Test filter = ClientIVCBenchValidation.Full6MockedVKs 16:01:44 [==========] Running 1 test from 1 test suite. 16:01:44 [----------] Global test environment set-up. 16:01:44 [----------] 1 test from ClientIVCBenchValidation 16:01:44 [ RUN ] ClientIVCBenchValidation.Full6MockedVKs 16:01:44 BN254 commitment key size: 262144 (mem: 5.50 MiB) 16:01:45 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 658.71 MiB) 16:01:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 658.71 MiB) 16:01:45 goblin ecc op : 10/1024 (mem: 658.71 MiB) 16:01:45 busread : 3/6000 (mem: 658.71 MiB) 16:01:45 lookups : 15000/15000 (mem: 658.71 MiB) 16:01:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 658.71 MiB) 16:01:45 arithmetic : 56000/56000 (mem: 658.71 MiB) 16:01:45 delta range : 18000/18000 (mem: 658.71 MiB) 16:01:45 elliptic : 4958/6000 (mem: 658.71 MiB) 16:01:45 auxiliary : 26000/26000 (mem: 658.71 MiB) 16:01:45 poseidon ext : 2/17000 (mem: 658.71 MiB) 16:01:45 poseidon int : 2/92000 (mem: 658.71 MiB) 16:01:45 overflow : 248619/248619 (mem: 658.71 MiB) 16:01:45 (mem: 658.71 MiB) 16:01:45 Total structured size: 490644 (mem: 658.71 MiB) 16:01:46 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1761.82 MiB) 16:01:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1761.82 MiB) 16:01:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1761.82 MiB) 16:01:55 goblin ecc op : 56/1024 (mem: 1761.82 MiB) 16:01:55 busread : 3/6000 (mem: 1761.82 MiB) 16:01:55 lookups : 13540/15000 (mem: 1761.82 MiB) 16:01:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1761.82 MiB) 16:01:55 arithmetic : 32894/56000 (mem: 1761.82 MiB) 16:01:55 delta range : 10239/18000 (mem: 1761.82 MiB) 16:01:55 elliptic : 6000/6000 (mem: 1761.82 MiB) 16:01:55 auxiliary : 11827/26000 (mem: 1761.82 MiB) 16:01:55 poseidon ext : 1302/17000 (mem: 1761.82 MiB) 16:01:55 poseidon int : 7412/92000 (mem: 1761.82 MiB) 16:01:55 overflow : 1850/1850 (mem: 1761.82 MiB) 16:01:55 (mem: 1761.82 MiB) 16:01:55 Total structured size: 243875 (mem: 1761.82 MiB) 16:01:56 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1761.82 MiB) 16:01:56 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1761.82 MiB) 16:02:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1831.58 MiB) 16:02:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1831.58 MiB) 16:02:04 goblin ecc op : 10/1024 (mem: 1831.58 MiB) 16:02:04 busread : 3/6000 (mem: 1831.58 MiB) 16:02:04 lookups : 15000/15000 (mem: 1831.58 MiB) 16:02:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1831.58 MiB) 16:02:04 arithmetic : 48085/56000 (mem: 1831.58 MiB) 16:02:04 delta range : 18000/18000 (mem: 1831.58 MiB) 16:02:04 elliptic : 4132/6000 (mem: 1831.58 MiB) 16:02:04 auxiliary : 23580/26000 (mem: 1831.58 MiB) 16:02:04 poseidon ext : 2/17000 (mem: 1831.58 MiB) 16:02:04 poseidon int : 2/92000 (mem: 1831.58 MiB) 16:02:04 overflow : 17783/17783 (mem: 1831.58 MiB) 16:02:04 (mem: 1831.58 MiB) 16:02:04 Total structured size: 259808 (mem: 1831.58 MiB) 16:02:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1831.58 MiB) 16:02:04 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1831.58 MiB) 16:02:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1895.58 MiB) 16:02:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1895.58 MiB) 16:02:12 goblin ecc op : 792/1024 (mem: 1895.58 MiB) 16:02:12 busread : 3/6000 (mem: 1895.58 MiB) 16:02:12 lookups : 13540/15000 (mem: 1895.58 MiB) 16:02:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1895.58 MiB) 16:02:12 arithmetic : 40019/56000 (mem: 1895.58 MiB) 16:02:12 delta range : 11097/18000 (mem: 1895.58 MiB) 16:02:12 elliptic : 6000/6000 (mem: 1895.58 MiB) 16:02:12 auxiliary : 11827/26000 (mem: 1895.58 MiB) 16:02:12 poseidon ext : 4942/17000 (mem: 1895.58 MiB) 16:02:12 poseidon int : 28160/92000 (mem: 1895.58 MiB) 16:02:12 overflow : 1850/1850 (mem: 1895.58 MiB) 16:02:12 (mem: 1895.58 MiB) 16:02:12 Total structured size: 243875 (mem: 1895.58 MiB) 16:02:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1895.58 MiB) 16:02:13 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1895.58 MiB) 16:02:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1895.58 MiB) 16:02:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1895.58 MiB) 16:02:21 goblin ecc op : 10/1024 (mem: 1895.58 MiB) 16:02:21 busread : 3/6000 (mem: 1895.58 MiB) 16:02:21 lookups : 15000/15000 (mem: 1895.58 MiB) 16:02:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1895.58 MiB) 16:02:21 arithmetic : 48085/56000 (mem: 1895.58 MiB) 16:02:21 delta range : 18000/18000 (mem: 1895.58 MiB) 16:02:21 elliptic : 4132/6000 (mem: 1895.58 MiB) 16:02:21 auxiliary : 23580/26000 (mem: 1895.58 MiB) 16:02:21 poseidon ext : 2/17000 (mem: 1895.58 MiB) 16:02:21 poseidon int : 2/92000 (mem: 1895.58 MiB) 16:02:21 overflow : 17783/17783 (mem: 1895.58 MiB) 16:02:21 (mem: 1895.58 MiB) 16:02:21 Total structured size: 259808 (mem: 1895.58 MiB) 16:02:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1895.58 MiB) 16:02: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: 1895.58 MiB) 16:02:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1895.58 MiB) 16:02:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1895.58 MiB) 16:02:29 goblin ecc op : 792/1024 (mem: 1895.58 MiB) 16:02:29 busread : 3/6000 (mem: 1895.58 MiB) 16:02:29 lookups : 13540/15000 (mem: 1895.58 MiB) 16:02:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1895.58 MiB) 16:02:29 arithmetic : 40019/56000 (mem: 1895.58 MiB) 16:02:29 delta range : 11097/18000 (mem: 1895.58 MiB) 16:02:29 elliptic : 6000/6000 (mem: 1895.58 MiB) 16:02:29 auxiliary : 11827/26000 (mem: 1895.58 MiB) 16:02:29 poseidon ext : 4942/17000 (mem: 1895.58 MiB) 16:02:29 poseidon int : 28160/92000 (mem: 1895.58 MiB) 16:02:29 overflow : 1850/1850 (mem: 1895.58 MiB) 16:02:29 (mem: 1895.58 MiB) 16:02:29 Total structured size: 243875 (mem: 1895.58 MiB) 16:02:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1895.58 MiB) 16:02: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: 1895.58 MiB) 16:02:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1895.58 MiB) 16:02:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1895.58 MiB) 16:02:38 goblin ecc op : 10/1024 (mem: 1895.58 MiB) 16:02:38 busread : 3/6000 (mem: 1895.58 MiB) 16:02:38 lookups : 15000/15000 (mem: 1895.58 MiB) 16:02:38 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1895.58 MiB) 16:02:38 arithmetic : 48085/56000 (mem: 1895.58 MiB) 16:02:38 delta range : 18000/18000 (mem: 1895.58 MiB) 16:02:38 elliptic : 4132/6000 (mem: 1895.58 MiB) 16:02:38 auxiliary : 23580/26000 (mem: 1895.58 MiB) 16:02:38 poseidon ext : 2/17000 (mem: 1895.58 MiB) 16:02:38 poseidon int : 2/92000 (mem: 1895.58 MiB) 16:02:38 overflow : 17783/17783 (mem: 1895.58 MiB) 16:02:38 (mem: 1895.58 MiB) 16:02:38 Total structured size: 259808 (mem: 1895.58 MiB) 16:02:38 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1895.58 MiB) 16:02: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: 1895.58 MiB) 16:02:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1895.58 MiB) 16:02:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1895.58 MiB) 16:02:46 goblin ecc op : 792/1024 (mem: 1895.58 MiB) 16:02:46 busread : 3/6000 (mem: 1895.58 MiB) 16:02:46 lookups : 13540/15000 (mem: 1895.58 MiB) 16:02:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1895.58 MiB) 16:02:46 arithmetic : 40019/56000 (mem: 1895.58 MiB) 16:02:46 delta range : 11097/18000 (mem: 1895.58 MiB) 16:02:46 elliptic : 6000/6000 (mem: 1895.58 MiB) 16:02:46 auxiliary : 11827/26000 (mem: 1895.58 MiB) 16:02:46 poseidon ext : 4942/17000 (mem: 1895.58 MiB) 16:02:46 poseidon int : 28160/92000 (mem: 1895.58 MiB) 16:02:46 overflow : 1850/1850 (mem: 1895.58 MiB) 16:02:46 (mem: 1895.58 MiB) 16:02:46 Total structured size: 243875 (mem: 1895.58 MiB) 16:02:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1895.58 MiB) 16:02:46 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1895.58 MiB) 16:02:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1895.58 MiB) 16:02:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1895.58 MiB) 16:02:54 goblin ecc op : 10/1024 (mem: 1895.58 MiB) 16:02:54 busread : 3/6000 (mem: 1895.58 MiB) 16:02:54 lookups : 15000/15000 (mem: 1895.58 MiB) 16:02:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1895.58 MiB) 16:02:54 arithmetic : 48085/56000 (mem: 1895.58 MiB) 16:02:54 delta range : 18000/18000 (mem: 1895.58 MiB) 16:02:54 elliptic : 4132/6000 (mem: 1895.58 MiB) 16:02:54 auxiliary : 23580/26000 (mem: 1895.58 MiB) 16:02:54 poseidon ext : 2/17000 (mem: 1895.58 MiB) 16:02:54 poseidon int : 2/92000 (mem: 1895.58 MiB) 16:02:54 overflow : 17783/17783 (mem: 1895.58 MiB) 16:02:54 (mem: 1895.58 MiB) 16:02:54 Total structured size: 259808 (mem: 1895.58 MiB) 16:02:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1895.58 MiB) 16:02:54 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1895.58 MiB) 16:03:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1896.08 MiB) 16:03:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 1896.08 MiB) 16:03:02 goblin ecc op : 792/1024 (mem: 1896.08 MiB) 16:03:02 busread : 3/6000 (mem: 1896.08 MiB) 16:03:02 lookups : 13540/15000 (mem: 1896.08 MiB) 16:03:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1896.08 MiB) 16:03:02 arithmetic : 40019/56000 (mem: 1896.08 MiB) 16:03:02 delta range : 11097/18000 (mem: 1896.08 MiB) 16:03:02 elliptic : 6000/6000 (mem: 1896.08 MiB) 16:03:02 auxiliary : 11827/26000 (mem: 1896.08 MiB) 16:03:02 poseidon ext : 4942/17000 (mem: 1896.08 MiB) 16:03:02 poseidon int : 28160/92000 (mem: 1896.08 MiB) 16:03:02 overflow : 1850/1850 (mem: 1896.08 MiB) 16:03:02 (mem: 1896.08 MiB) 16:03:02 Total structured size: 243875 (mem: 1896.08 MiB) 16:03:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1896.08 MiB) 16:03:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1896.08 MiB) 16:03:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1928.08 MiB) 16:03:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1928.08 MiB) 16:03:11 goblin ecc op : 10/1024 (mem: 1928.08 MiB) 16:03:11 busread : 3/6000 (mem: 1928.08 MiB) 16:03:11 lookups : 15000/15000 (mem: 1928.08 MiB) 16:03:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1928.08 MiB) 16:03:11 arithmetic : 48085/56000 (mem: 1928.08 MiB) 16:03:11 delta range : 18000/18000 (mem: 1928.08 MiB) 16:03:11 elliptic : 4132/6000 (mem: 1928.08 MiB) 16:03:11 auxiliary : 23580/26000 (mem: 1928.08 MiB) 16:03:11 poseidon ext : 2/17000 (mem: 1928.08 MiB) 16:03:11 poseidon int : 2/92000 (mem: 1928.08 MiB) 16:03:11 overflow : 17783/17783 (mem: 1928.08 MiB) 16:03:11 (mem: 1928.08 MiB) 16:03:11 Total structured size: 259808 (mem: 1928.08 MiB) 16:03:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1928.08 MiB) 16:03: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: 1928.08 MiB) 16:03:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1928.08 MiB) 16:03:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1928.08 MiB) 16:03:20 goblin ecc op : 792/1024 (mem: 1928.08 MiB) 16:03:20 busread : 3/6000 (mem: 1928.08 MiB) 16:03:20 lookups : 13540/15000 (mem: 1928.08 MiB) 16:03:20 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1928.08 MiB) 16:03:20 arithmetic : 40019/56000 (mem: 1928.08 MiB) 16:03:20 delta range : 11097/18000 (mem: 1928.08 MiB) 16:03:20 elliptic : 6000/6000 (mem: 1928.08 MiB) 16:03:20 auxiliary : 11827/26000 (mem: 1928.08 MiB) 16:03:20 poseidon ext : 4942/17000 (mem: 1928.08 MiB) 16:03:20 poseidon int : 28160/92000 (mem: 1928.08 MiB) 16:03:20 overflow : 1850/1850 (mem: 1928.08 MiB) 16:03:20 (mem: 1928.08 MiB) 16:03:20 Total structured size: 243875 (mem: 1928.08 MiB) 16:03:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1928.08 MiB) 16:03:20 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1928.08 MiB) 16:03:28 Largest circuit: 368580 gates. Trace details: (mem: 1928.08 MiB) 16:03:28 Minimum required block sizes for structured trace: (mem: 1928.08 MiB) 16:03:28 ecc_op : 792 16:03:28 busread : 3 16:03:28 lookup : 15000 16:03:28 pub_inputs : 32 16:03:28 arithmetic : 56000 16:03:28 delta_range : 18000 16:03:28 elliptic : 6000 16:03:28 aux : 26000 16:03:28 poseidon2_external : 4942 16:03:28 poseidon2_internal : 28160 16:03:28 overflow : 248619 16:03:28 (mem: 1928.08 MiB) 16:03:35 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 1928.08 MiB) 16:03:36 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1928.08 MiB) 16:03:39 Constructing a Goblin proof with num ultra ops = 4662 (mem: 1928.08 MiB) 16:04:04 Sumcheck failed! (mem: 1928.08 MiB) 16:04:05 IVC failed to verify. (mem: 1928.08 MiB) 16:04:05 [ OK ] ClientIVCBenchValidation.Full6MockedVKs (140880 ms) 16:04:05 [----------] 1 test from ClientIVCBenchValidation (140881 ms total) 16:04:05 16:04:05 [----------] Global test environment tear-down 16:04:05 [==========] 1 test from 1 test suite ran. (140881 ms total) 16:04:05 [ PASSED ] 1 test.