Parent Log: http://ci.aztec-labs.com/64e2bdc106a2b1fc Command: 381729888d660e62-no-avm barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCBenchValidation.Full6MockedVKs Commit: https://github.com/AztecProtocol/aztec-packages/commit/a8c553f203c98e5ca274e763c8e51daaaaf760d6 Env: REF_NAME=gh-readonly-queue/next/pr-15017-30660269b33bab8cca354c41659533acf4d48e07 CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Fri Jun 13 09:43:54 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15017_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_01edebf6bbfea4dc_next 09:43:54 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 09:43:54 Note: Google Test filter = ClientIVCBenchValidation.Full6MockedVKs 09:43:54 [==========] Running 1 test from 1 test suite. 09:43:54 [----------] Global test environment set-up. 09:43:54 [----------] 1 test from ClientIVCBenchValidation 09:43:54 [ RUN ] ClientIVCBenchValidation.Full6MockedVKs 09:43:54 BN254 commitment key size: 262144 (mem: 5.00 MiB) 09:43:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 671.16 MiB) 09:43:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 671.16 MiB) 09:43:55 goblin ecc op : 10/1024 (mem: 671.16 MiB) 09:43:55 busread : 3/6000 (mem: 671.16 MiB) 09:43:55 lookups : 15000/15000 (mem: 671.16 MiB) 09:43:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 671.16 MiB) 09:43:55 arithmetic : 56000/56000 (mem: 671.16 MiB) 09:43:55 delta range : 18000/18000 (mem: 671.16 MiB) 09:43:55 elliptic : 4958/6000 (mem: 671.16 MiB) 09:43:55 auxiliary : 26000/26000 (mem: 671.16 MiB) 09:43:55 poseidon ext : 2/17000 (mem: 671.16 MiB) 09:43:55 poseidon int : 2/92000 (mem: 671.16 MiB) 09:43:55 overflow : 248619/248619 (mem: 671.16 MiB) 09:43:55 (mem: 671.16 MiB) 09:43:55 Total structured size: 490644 (mem: 671.16 MiB) 09:43: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: 1761.90 MiB) 09:44:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1761.90 MiB) 09:44:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1761.90 MiB) 09:44:05 goblin ecc op : 56/1024 (mem: 1761.90 MiB) 09:44:05 busread : 3/6000 (mem: 1761.90 MiB) 09:44:05 lookups : 13540/15000 (mem: 1761.90 MiB) 09:44:05 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1761.90 MiB) 09:44:05 arithmetic : 32894/56000 (mem: 1761.90 MiB) 09:44:05 delta range : 10239/18000 (mem: 1761.90 MiB) 09:44:05 elliptic : 6000/6000 (mem: 1761.90 MiB) 09:44:05 auxiliary : 11827/26000 (mem: 1761.90 MiB) 09:44:05 poseidon ext : 1302/17000 (mem: 1761.90 MiB) 09:44:05 poseidon int : 7412/92000 (mem: 1761.90 MiB) 09:44:05 overflow : 1850/1850 (mem: 1761.90 MiB) 09:44:05 (mem: 1761.90 MiB) 09:44:05 Total structured size: 243875 (mem: 1761.90 MiB) 09:44:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1761.90 MiB) 09:44: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: 1761.90 MiB) 09:44:13 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1823.04 MiB) 09:44:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 1823.04 MiB) 09:44:13 goblin ecc op : 10/1024 (mem: 1823.04 MiB) 09:44:13 busread : 3/6000 (mem: 1823.04 MiB) 09:44:13 lookups : 15000/15000 (mem: 1823.04 MiB) 09:44:13 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1823.04 MiB) 09:44:13 arithmetic : 48085/56000 (mem: 1823.04 MiB) 09:44:13 delta range : 18000/18000 (mem: 1823.04 MiB) 09:44:13 elliptic : 4132/6000 (mem: 1823.04 MiB) 09:44:13 auxiliary : 23580/26000 (mem: 1823.04 MiB) 09:44:13 poseidon ext : 2/17000 (mem: 1823.04 MiB) 09:44:13 poseidon int : 2/92000 (mem: 1823.04 MiB) 09:44:13 overflow : 17783/17783 (mem: 1823.04 MiB) 09:44:13 (mem: 1823.04 MiB) 09:44:13 Total structured size: 259808 (mem: 1823.04 MiB) 09:44:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1823.04 MiB) 09:44: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: 1823.04 MiB) 09:44:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:44:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:44:21 goblin ecc op : 792/1024 (mem: 1887.04 MiB) 09:44:21 busread : 3/6000 (mem: 1887.04 MiB) 09:44:21 lookups : 13540/15000 (mem: 1887.04 MiB) 09:44:21 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:44:21 arithmetic : 40019/56000 (mem: 1887.04 MiB) 09:44:21 delta range : 11097/18000 (mem: 1887.04 MiB) 09:44:21 elliptic : 6000/6000 (mem: 1887.04 MiB) 09:44:21 auxiliary : 11827/26000 (mem: 1887.04 MiB) 09:44:21 poseidon ext : 4942/17000 (mem: 1887.04 MiB) 09:44:21 poseidon int : 28160/92000 (mem: 1887.04 MiB) 09:44:21 overflow : 1850/1850 (mem: 1887.04 MiB) 09:44:21 (mem: 1887.04 MiB) 09:44:21 Total structured size: 243875 (mem: 1887.04 MiB) 09:44:22 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:44: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: 1887.04 MiB) 09:44:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:44:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:44:30 goblin ecc op : 10/1024 (mem: 1887.04 MiB) 09:44:30 busread : 3/6000 (mem: 1887.04 MiB) 09:44:30 lookups : 15000/15000 (mem: 1887.04 MiB) 09:44:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:44:30 arithmetic : 48085/56000 (mem: 1887.04 MiB) 09:44:30 delta range : 18000/18000 (mem: 1887.04 MiB) 09:44:30 elliptic : 4132/6000 (mem: 1887.04 MiB) 09:44:30 auxiliary : 23580/26000 (mem: 1887.04 MiB) 09:44:30 poseidon ext : 2/17000 (mem: 1887.04 MiB) 09:44:30 poseidon int : 2/92000 (mem: 1887.04 MiB) 09:44:30 overflow : 17783/17783 (mem: 1887.04 MiB) 09:44:30 (mem: 1887.04 MiB) 09:44:30 Total structured size: 259808 (mem: 1887.04 MiB) 09:44:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:44:30 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1887.04 MiB) 09:44:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:44:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:44:38 goblin ecc op : 792/1024 (mem: 1887.04 MiB) 09:44:38 busread : 3/6000 (mem: 1887.04 MiB) 09:44:38 lookups : 13540/15000 (mem: 1887.04 MiB) 09:44:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:44:38 arithmetic : 40019/56000 (mem: 1887.04 MiB) 09:44:38 delta range : 11097/18000 (mem: 1887.04 MiB) 09:44:38 elliptic : 6000/6000 (mem: 1887.04 MiB) 09:44:38 auxiliary : 11827/26000 (mem: 1887.04 MiB) 09:44:38 poseidon ext : 4942/17000 (mem: 1887.04 MiB) 09:44:38 poseidon int : 28160/92000 (mem: 1887.04 MiB) 09:44:38 overflow : 1850/1850 (mem: 1887.04 MiB) 09:44:38 (mem: 1887.04 MiB) 09:44:38 Total structured size: 243875 (mem: 1887.04 MiB) 09:44:38 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:44: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: 1887.04 MiB) 09:44:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:44:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:44:46 goblin ecc op : 10/1024 (mem: 1887.04 MiB) 09:44:46 busread : 3/6000 (mem: 1887.04 MiB) 09:44:46 lookups : 15000/15000 (mem: 1887.04 MiB) 09:44:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:44:46 arithmetic : 48085/56000 (mem: 1887.04 MiB) 09:44:46 delta range : 18000/18000 (mem: 1887.04 MiB) 09:44:46 elliptic : 4132/6000 (mem: 1887.04 MiB) 09:44:46 auxiliary : 23580/26000 (mem: 1887.04 MiB) 09:44:46 poseidon ext : 2/17000 (mem: 1887.04 MiB) 09:44:46 poseidon int : 2/92000 (mem: 1887.04 MiB) 09:44:46 overflow : 17783/17783 (mem: 1887.04 MiB) 09:44:46 (mem: 1887.04 MiB) 09:44:46 Total structured size: 259808 (mem: 1887.04 MiB) 09:44:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:44:47 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1887.04 MiB) 09:44:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:44:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:44:54 goblin ecc op : 792/1024 (mem: 1887.04 MiB) 09:44:54 busread : 3/6000 (mem: 1887.04 MiB) 09:44:54 lookups : 13540/15000 (mem: 1887.04 MiB) 09:44:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:44:54 arithmetic : 40019/56000 (mem: 1887.04 MiB) 09:44:54 delta range : 11097/18000 (mem: 1887.04 MiB) 09:44:54 elliptic : 6000/6000 (mem: 1887.04 MiB) 09:44:54 auxiliary : 11827/26000 (mem: 1887.04 MiB) 09:44:54 poseidon ext : 4942/17000 (mem: 1887.04 MiB) 09:44:54 poseidon int : 28160/92000 (mem: 1887.04 MiB) 09:44:54 overflow : 1850/1850 (mem: 1887.04 MiB) 09:44:54 (mem: 1887.04 MiB) 09:44:54 Total structured size: 243875 (mem: 1887.04 MiB) 09:44:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:44: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: 1887.04 MiB) 09:45:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:45:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:45:03 goblin ecc op : 10/1024 (mem: 1887.04 MiB) 09:45:03 busread : 3/6000 (mem: 1887.04 MiB) 09:45:03 lookups : 15000/15000 (mem: 1887.04 MiB) 09:45:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:45:03 arithmetic : 48085/56000 (mem: 1887.04 MiB) 09:45:03 delta range : 18000/18000 (mem: 1887.04 MiB) 09:45:03 elliptic : 4132/6000 (mem: 1887.04 MiB) 09:45:03 auxiliary : 23580/26000 (mem: 1887.04 MiB) 09:45:03 poseidon ext : 2/17000 (mem: 1887.04 MiB) 09:45:03 poseidon int : 2/92000 (mem: 1887.04 MiB) 09:45:03 overflow : 17783/17783 (mem: 1887.04 MiB) 09:45:03 (mem: 1887.04 MiB) 09:45:03 Total structured size: 259808 (mem: 1887.04 MiB) 09:45:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:45: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: 1887.04 MiB) 09:45:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:45:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:45:11 goblin ecc op : 792/1024 (mem: 1887.04 MiB) 09:45:11 busread : 3/6000 (mem: 1887.04 MiB) 09:45:11 lookups : 13540/15000 (mem: 1887.04 MiB) 09:45:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:45:11 arithmetic : 40019/56000 (mem: 1887.04 MiB) 09:45:11 delta range : 11097/18000 (mem: 1887.04 MiB) 09:45:11 elliptic : 6000/6000 (mem: 1887.04 MiB) 09:45:11 auxiliary : 11827/26000 (mem: 1887.04 MiB) 09:45:11 poseidon ext : 4942/17000 (mem: 1887.04 MiB) 09:45:11 poseidon int : 28160/92000 (mem: 1887.04 MiB) 09:45:11 overflow : 1850/1850 (mem: 1887.04 MiB) 09:45:11 (mem: 1887.04 MiB) 09:45:11 Total structured size: 243875 (mem: 1887.04 MiB) 09:45:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:45: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: 1887.04 MiB) 09:45:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.04 MiB) 09:45:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.04 MiB) 09:45:20 goblin ecc op : 10/1024 (mem: 1887.04 MiB) 09:45:20 busread : 3/6000 (mem: 1887.04 MiB) 09:45:20 lookups : 15000/15000 (mem: 1887.04 MiB) 09:45:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.04 MiB) 09:45:20 arithmetic : 48085/56000 (mem: 1887.04 MiB) 09:45:20 delta range : 18000/18000 (mem: 1887.04 MiB) 09:45:20 elliptic : 4132/6000 (mem: 1887.04 MiB) 09:45:20 auxiliary : 23580/26000 (mem: 1887.04 MiB) 09:45:20 poseidon ext : 2/17000 (mem: 1887.04 MiB) 09:45:20 poseidon int : 2/92000 (mem: 1887.04 MiB) 09:45:20 overflow : 17783/17783 (mem: 1887.04 MiB) 09:45:20 (mem: 1887.04 MiB) 09:45:20 Total structured size: 259808 (mem: 1887.04 MiB) 09:45:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.04 MiB) 09:45: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: 1887.04 MiB) 09:45:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.54 MiB) 09:45:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.54 MiB) 09:45:28 goblin ecc op : 792/1024 (mem: 1887.54 MiB) 09:45:28 busread : 3/6000 (mem: 1887.54 MiB) 09:45:28 lookups : 13540/15000 (mem: 1887.54 MiB) 09:45:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.54 MiB) 09:45:28 arithmetic : 40019/56000 (mem: 1887.54 MiB) 09:45:28 delta range : 11097/18000 (mem: 1887.54 MiB) 09:45:28 elliptic : 6000/6000 (mem: 1887.54 MiB) 09:45:28 auxiliary : 11827/26000 (mem: 1887.54 MiB) 09:45:28 poseidon ext : 4942/17000 (mem: 1887.54 MiB) 09:45:28 poseidon int : 28160/92000 (mem: 1887.54 MiB) 09:45:28 overflow : 1850/1850 (mem: 1887.54 MiB) 09:45:28 (mem: 1887.54 MiB) 09:45:28 Total structured size: 243875 (mem: 1887.54 MiB) 09:45:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.54 MiB) 09:45:28 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1887.54 MiB) 09:45:37 Largest circuit: 368580 gates. Trace details: (mem: 1887.54 MiB) 09:45:37 Minimum required block sizes for structured trace: (mem: 1887.54 MiB) 09:45:37 ecc_op : 792 09:45:37 busread : 3 09:45:37 lookup : 15000 09:45:37 pub_inputs : 32 09:45:37 arithmetic : 56000 09:45:37 delta_range : 18000 09:45:37 elliptic : 6000 09:45:37 aux : 26000 09:45:37 poseidon2_external : 4942 09:45:37 poseidon2_internal : 28160 09:45:37 overflow : 248619 09:45:37 (mem: 1887.54 MiB) 09:45:44 (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 1887.54 MiB) 09:45: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: 1887.54 MiB) 09:45:47 Constructing a Goblin proof with num ultra ops = 4662 (mem: 1887.54 MiB) 09:46:11 Sumcheck failed! (mem: 1889.54 MiB) 09:46:12 IVC failed to verify. (mem: 1890.04 MiB) 09:46:12 [ OK ] ClientIVCBenchValidation.Full6MockedVKs (138140 ms) 09:46:12 [----------] 1 test from ClientIVCBenchValidation (138140 ms total) 09:46:12 09:46:12 [----------] Global test environment tear-down 09:46:12 [==========] 1 test from 1 test suite ran. (138140 ms total) 09:46:12 [ PASSED ] 1 test.