Parent Log: http://ci.aztec-labs.com/1320ea46e24a4ada Command: 060f2775b5406036 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCBenchValidation.Full6MockedVKs Commit: https://github.com/AztecProtocol/aztec-packages/commit/ddabb45f79cc171e41a0a5330544775de9fdf7fd Env: REF_NAME=gh-readonly-queue/next/pr-14983-4e03f15ca8099f25d50eddd19c4914764b84fe7b CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 14:41:10 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14983_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_01edebf6bbfea4dc_next 14:41:10 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 14:41:10 Note: Google Test filter = ClientIVCBenchValidation.Full6MockedVKs 14:41:10 [==========] Running 1 test from 1 test suite. 14:41:10 [----------] Global test environment set-up. 14:41:10 [----------] 1 test from ClientIVCBenchValidation 14:41:10 [ RUN ] ClientIVCBenchValidation.Full6MockedVKs 14:41:10 BN254 commitment key size: 262144 (mem: 6.00 MiB) 14:41:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 672.61 MiB) 14:41:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 672.61 MiB) 14:41:12 goblin ecc op : 10/1024 (mem: 672.61 MiB) 14:41:12 busread : 3/6000 (mem: 672.61 MiB) 14:41:12 lookups : 15000/15000 (mem: 672.61 MiB) 14:41:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 672.61 MiB) 14:41:12 arithmetic : 56000/56000 (mem: 672.61 MiB) 14:41:12 delta range : 18000/18000 (mem: 672.61 MiB) 14:41:12 elliptic : 4958/6000 (mem: 672.61 MiB) 14:41:12 auxiliary : 26000/26000 (mem: 672.61 MiB) 14:41:12 poseidon ext : 2/17000 (mem: 672.61 MiB) 14:41:12 poseidon int : 2/92000 (mem: 672.61 MiB) 14:41:12 overflow : 248619/248619 (mem: 672.61 MiB) 14:41:12 (mem: 672.61 MiB) 14:41:12 Total structured size: 490644 (mem: 672.61 MiB) 14:41: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: 1765.13 MiB) 14:41:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1765.13 MiB) 14:41:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1765.13 MiB) 14:41:24 goblin ecc op : 56/1024 (mem: 1765.13 MiB) 14:41:24 busread : 3/6000 (mem: 1765.13 MiB) 14:41:24 lookups : 13540/15000 (mem: 1765.13 MiB) 14:41:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1765.13 MiB) 14:41:24 arithmetic : 32894/56000 (mem: 1765.13 MiB) 14:41:24 delta range : 10239/18000 (mem: 1765.13 MiB) 14:41:24 elliptic : 6000/6000 (mem: 1765.13 MiB) 14:41:24 auxiliary : 11827/26000 (mem: 1765.13 MiB) 14:41:24 poseidon ext : 1302/17000 (mem: 1765.13 MiB) 14:41:24 poseidon int : 7412/92000 (mem: 1765.13 MiB) 14:41:24 overflow : 1850/1850 (mem: 1765.13 MiB) 14:41:24 (mem: 1765.13 MiB) 14:41:24 Total structured size: 243875 (mem: 1765.13 MiB) 14:41:24 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1765.13 MiB) 14:41:24 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1765.13 MiB) 14:41:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1822.26 MiB) 14:41:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 1822.26 MiB) 14:41:33 goblin ecc op : 10/1024 (mem: 1822.26 MiB) 14:41:33 busread : 3/6000 (mem: 1822.26 MiB) 14:41:33 lookups : 15000/15000 (mem: 1822.26 MiB) 14:41:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1822.26 MiB) 14:41:33 arithmetic : 48085/56000 (mem: 1822.26 MiB) 14:41:33 delta range : 18000/18000 (mem: 1822.26 MiB) 14:41:33 elliptic : 4132/6000 (mem: 1822.26 MiB) 14:41:33 auxiliary : 23580/26000 (mem: 1822.26 MiB) 14:41:33 poseidon ext : 2/17000 (mem: 1822.26 MiB) 14:41:33 poseidon int : 2/92000 (mem: 1822.26 MiB) 14:41:33 overflow : 17783/17783 (mem: 1822.26 MiB) 14:41:33 (mem: 1822.26 MiB) 14:41:33 Total structured size: 259808 (mem: 1822.26 MiB) 14:41:34 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1822.26 MiB) 14:41:34 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1822.26 MiB) 14:41:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:41:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:41:44 goblin ecc op : 792/1024 (mem: 1885.26 MiB) 14:41:44 busread : 3/6000 (mem: 1885.26 MiB) 14:41:44 lookups : 13540/15000 (mem: 1885.26 MiB) 14:41:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:41:44 arithmetic : 40019/56000 (mem: 1885.26 MiB) 14:41:44 delta range : 11097/18000 (mem: 1885.26 MiB) 14:41:44 elliptic : 6000/6000 (mem: 1885.26 MiB) 14:41:44 auxiliary : 11827/26000 (mem: 1885.26 MiB) 14:41:44 poseidon ext : 4942/17000 (mem: 1885.26 MiB) 14:41:44 poseidon int : 28160/92000 (mem: 1885.26 MiB) 14:41:44 overflow : 1850/1850 (mem: 1885.26 MiB) 14:41:44 (mem: 1885.26 MiB) 14:41:44 Total structured size: 243875 (mem: 1885.26 MiB) 14:41:44 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:41:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1885.26 MiB) 14:41:56 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:41:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:41:56 goblin ecc op : 10/1024 (mem: 1885.26 MiB) 14:41:56 busread : 3/6000 (mem: 1885.26 MiB) 14:41:56 lookups : 15000/15000 (mem: 1885.26 MiB) 14:41:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:41:56 arithmetic : 48085/56000 (mem: 1885.26 MiB) 14:41:56 delta range : 18000/18000 (mem: 1885.26 MiB) 14:41:56 elliptic : 4132/6000 (mem: 1885.26 MiB) 14:41:56 auxiliary : 23580/26000 (mem: 1885.26 MiB) 14:41:56 poseidon ext : 2/17000 (mem: 1885.26 MiB) 14:41:56 poseidon int : 2/92000 (mem: 1885.26 MiB) 14:41:56 overflow : 17783/17783 (mem: 1885.26 MiB) 14:41:56 (mem: 1885.26 MiB) 14:41:56 Total structured size: 259808 (mem: 1885.26 MiB) 14:41:56 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:41: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: 1885.26 MiB) 14:42:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:42:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:42:07 goblin ecc op : 792/1024 (mem: 1885.26 MiB) 14:42:07 busread : 3/6000 (mem: 1885.26 MiB) 14:42:07 lookups : 13540/15000 (mem: 1885.26 MiB) 14:42:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:42:07 arithmetic : 40019/56000 (mem: 1885.26 MiB) 14:42:07 delta range : 11097/18000 (mem: 1885.26 MiB) 14:42:07 elliptic : 6000/6000 (mem: 1885.26 MiB) 14:42:07 auxiliary : 11827/26000 (mem: 1885.26 MiB) 14:42:07 poseidon ext : 4942/17000 (mem: 1885.26 MiB) 14:42:07 poseidon int : 28160/92000 (mem: 1885.26 MiB) 14:42:07 overflow : 1850/1850 (mem: 1885.26 MiB) 14:42:07 (mem: 1885.26 MiB) 14:42:07 Total structured size: 243875 (mem: 1885.26 MiB) 14:42:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:42: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: 1885.26 MiB) 14:42:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:42:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:42:18 goblin ecc op : 10/1024 (mem: 1885.26 MiB) 14:42:18 busread : 3/6000 (mem: 1885.26 MiB) 14:42:18 lookups : 15000/15000 (mem: 1885.26 MiB) 14:42:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:42:18 arithmetic : 48085/56000 (mem: 1885.26 MiB) 14:42:18 delta range : 18000/18000 (mem: 1885.26 MiB) 14:42:18 elliptic : 4132/6000 (mem: 1885.26 MiB) 14:42:18 auxiliary : 23580/26000 (mem: 1885.26 MiB) 14:42:18 poseidon ext : 2/17000 (mem: 1885.26 MiB) 14:42:18 poseidon int : 2/92000 (mem: 1885.26 MiB) 14:42:18 overflow : 17783/17783 (mem: 1885.26 MiB) 14:42:18 (mem: 1885.26 MiB) 14:42:18 Total structured size: 259808 (mem: 1885.26 MiB) 14:42:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:42: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: 1885.26 MiB) 14:42:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:42:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:42:29 goblin ecc op : 792/1024 (mem: 1885.26 MiB) 14:42:29 busread : 3/6000 (mem: 1885.26 MiB) 14:42:29 lookups : 13540/15000 (mem: 1885.26 MiB) 14:42:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:42:29 arithmetic : 40019/56000 (mem: 1885.26 MiB) 14:42:29 delta range : 11097/18000 (mem: 1885.26 MiB) 14:42:29 elliptic : 6000/6000 (mem: 1885.26 MiB) 14:42:29 auxiliary : 11827/26000 (mem: 1885.26 MiB) 14:42:29 poseidon ext : 4942/17000 (mem: 1885.26 MiB) 14:42:29 poseidon int : 28160/92000 (mem: 1885.26 MiB) 14:42:29 overflow : 1850/1850 (mem: 1885.26 MiB) 14:42:29 (mem: 1885.26 MiB) 14:42:29 Total structured size: 243875 (mem: 1885.26 MiB) 14:42:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:42: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: 1885.26 MiB) 14:42:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:42:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:42:38 goblin ecc op : 10/1024 (mem: 1885.26 MiB) 14:42:38 busread : 3/6000 (mem: 1885.26 MiB) 14:42:38 lookups : 15000/15000 (mem: 1885.26 MiB) 14:42:38 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:42:38 arithmetic : 48085/56000 (mem: 1885.26 MiB) 14:42:38 delta range : 18000/18000 (mem: 1885.26 MiB) 14:42:38 elliptic : 4132/6000 (mem: 1885.26 MiB) 14:42:38 auxiliary : 23580/26000 (mem: 1885.26 MiB) 14:42:38 poseidon ext : 2/17000 (mem: 1885.26 MiB) 14:42:38 poseidon int : 2/92000 (mem: 1885.26 MiB) 14:42:38 overflow : 17783/17783 (mem: 1885.26 MiB) 14:42:38 (mem: 1885.26 MiB) 14:42:38 Total structured size: 259808 (mem: 1885.26 MiB) 14:42:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:42:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1885.26 MiB) 14:42:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:42:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:42:49 goblin ecc op : 792/1024 (mem: 1885.26 MiB) 14:42:49 busread : 3/6000 (mem: 1885.26 MiB) 14:42:49 lookups : 13540/15000 (mem: 1885.26 MiB) 14:42:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:42:49 arithmetic : 40019/56000 (mem: 1885.26 MiB) 14:42:49 delta range : 11097/18000 (mem: 1885.26 MiB) 14:42:49 elliptic : 6000/6000 (mem: 1885.26 MiB) 14:42:49 auxiliary : 11827/26000 (mem: 1885.26 MiB) 14:42:49 poseidon ext : 4942/17000 (mem: 1885.26 MiB) 14:42:49 poseidon int : 28160/92000 (mem: 1885.26 MiB) 14:42:49 overflow : 1850/1850 (mem: 1885.26 MiB) 14:42:49 (mem: 1885.26 MiB) 14:42:49 Total structured size: 243875 (mem: 1885.26 MiB) 14:42:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:42: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: 1885.26 MiB) 14:43:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:43:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:43:05 goblin ecc op : 10/1024 (mem: 1885.26 MiB) 14:43:05 busread : 3/6000 (mem: 1885.26 MiB) 14:43:05 lookups : 15000/15000 (mem: 1885.26 MiB) 14:43:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:43:05 arithmetic : 48085/56000 (mem: 1885.26 MiB) 14:43:05 delta range : 18000/18000 (mem: 1885.26 MiB) 14:43:05 elliptic : 4132/6000 (mem: 1885.26 MiB) 14:43:05 auxiliary : 23580/26000 (mem: 1885.26 MiB) 14:43:05 poseidon ext : 2/17000 (mem: 1885.26 MiB) 14:43:05 poseidon int : 2/92000 (mem: 1885.26 MiB) 14:43:05 overflow : 17783/17783 (mem: 1885.26 MiB) 14:43:05 (mem: 1885.26 MiB) 14:43:05 Total structured size: 259808 (mem: 1885.26 MiB) 14:43:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:43: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: 1885.26 MiB) 14:43:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.26 MiB) 14:43:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.26 MiB) 14:43:16 goblin ecc op : 792/1024 (mem: 1885.26 MiB) 14:43:16 busread : 3/6000 (mem: 1885.26 MiB) 14:43:16 lookups : 13540/15000 (mem: 1885.26 MiB) 14:43:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.26 MiB) 14:43:16 arithmetic : 40019/56000 (mem: 1885.26 MiB) 14:43:16 delta range : 11097/18000 (mem: 1885.26 MiB) 14:43:16 elliptic : 6000/6000 (mem: 1885.26 MiB) 14:43:16 auxiliary : 11827/26000 (mem: 1885.26 MiB) 14:43:16 poseidon ext : 4942/17000 (mem: 1885.26 MiB) 14:43:16 poseidon int : 28160/92000 (mem: 1885.26 MiB) 14:43:16 overflow : 1850/1850 (mem: 1885.26 MiB) 14:43:16 (mem: 1885.26 MiB) 14:43:16 Total structured size: 243875 (mem: 1885.26 MiB) 14:43:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.26 MiB) 14:43: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: 1885.26 MiB) 14:43:27 Largest circuit: 368580 gates. Trace details: (mem: 1885.26 MiB) 14:43:27 Minimum required block sizes for structured trace: (mem: 1885.26 MiB) 14:43:27 ecc_op : 792 14:43:27 busread : 3 14:43:27 lookup : 15000 14:43:27 pub_inputs : 32 14:43:27 arithmetic : 56000 14:43:27 delta_range : 18000 14:43:27 elliptic : 6000 14:43:27 aux : 26000 14:43:27 poseidon2_external : 4942 14:43:27 poseidon2_internal : 28160 14:43:27 overflow : 248619 14:43:27 (mem: 1885.26 MiB) 14:43:34 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 1885.26 MiB) 14:43: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: 1885.26 MiB) 14:43:37 Constructing a Goblin proof with num ultra ops = 4662 (mem: 1885.26 MiB) 14:43:58 Sumcheck failed! (mem: 1890.26 MiB) 14:43:58 IVC failed to verify. (mem: 1890.26 MiB) 14:43:58 [ OK ] ClientIVCBenchValidation.Full6MockedVKs (167600 ms) 14:43:58 [----------] 1 test from ClientIVCBenchValidation (167600 ms total) 14:43:58 14:43:58 [----------] Global test environment tear-down 14:43:58 [==========] 1 test from 1 test suite ran. (167600 ms total) 14:43:58 [ PASSED ] 1 test.