ACI ·

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