ACI ·

Parent Log: http://ci.aztec-labs.com/bee3602a849f3b31 Command: 6266e35a15d4d786 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCBenchValidation.Full6MockedVKs Commit: https://github.com/AztecProtocol/aztec-packages/commit/90e495a77534c1d250949dbc053161959c9aadcc Env: REF_NAME=gh-readonly-queue/next/pr-15048-af8041048ee98abe05402607256df4b4cac51dd8 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 15:11:18 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15048_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_01edebf6bbfea4dc_next 15:11:18 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 15:11:18 Note: Google Test filter = ClientIVCBenchValidation.Full6MockedVKs 15:11:18 [==========] Running 1 test from 1 test suite. 15:11:18 [----------] Global test environment set-up. 15:11:18 [----------] 1 test from ClientIVCBenchValidation 15:11:18 [ RUN ] ClientIVCBenchValidation.Full6MockedVKs 15:11:18 BN254 commitment key size: 262144 (mem: 6.00 MiB) 15:11:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 672.17 MiB) 15:11:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 672.17 MiB) 15:11:20 goblin ecc op : 10/1024 (mem: 672.17 MiB) 15:11:20 busread : 3/6000 (mem: 672.17 MiB) 15:11:20 lookups : 15000/15000 (mem: 672.17 MiB) 15:11:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 672.17 MiB) 15:11:20 arithmetic : 56000/56000 (mem: 672.17 MiB) 15:11:20 delta range : 18000/18000 (mem: 672.17 MiB) 15:11:20 elliptic : 4958/6000 (mem: 672.17 MiB) 15:11:20 auxiliary : 26000/26000 (mem: 672.17 MiB) 15:11:20 poseidon ext : 2/17000 (mem: 672.17 MiB) 15:11:20 poseidon int : 2/92000 (mem: 672.17 MiB) 15:11:20 overflow : 246603/246603 (mem: 672.17 MiB) 15:11:20 (mem: 672.17 MiB) 15:11:20 Total structured size: 488628 (mem: 672.17 MiB) 15:11:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1767.27 MiB) 15:11:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1767.27 MiB) 15:11:26 goblin ecc op : 56/1024 (mem: 1767.27 MiB) 15:11:26 busread : 3/6000 (mem: 1767.27 MiB) 15:11:26 lookups : 13540/15000 (mem: 1767.27 MiB) 15:11:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1767.27 MiB) 15:11:26 arithmetic : 29702/56000 (mem: 1767.27 MiB) 15:11:26 delta range : 10239/18000 (mem: 1767.27 MiB) 15:11:26 elliptic : 6000/6000 (mem: 1767.27 MiB) 15:11:26 auxiliary : 11827/26000 (mem: 1767.27 MiB) 15:11:26 poseidon ext : 1302/17000 (mem: 1767.27 MiB) 15:11:26 poseidon int : 7412/92000 (mem: 1767.27 MiB) 15:11:26 overflow : 1850/1850 (mem: 1767.27 MiB) 15:11:26 (mem: 1767.27 MiB) 15:11:26 Total structured size: 243875 (mem: 1767.27 MiB) 15:11:26 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1767.27 MiB) 15:11:32 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1818.22 MiB) 15:11:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 1818.22 MiB) 15:11:32 goblin ecc op : 10/1024 (mem: 1818.22 MiB) 15:11:32 busread : 3/6000 (mem: 1818.22 MiB) 15:11:32 lookups : 15000/15000 (mem: 1818.22 MiB) 15:11:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1818.22 MiB) 15:11:32 arithmetic : 46405/56000 (mem: 1818.22 MiB) 15:11:32 delta range : 18000/18000 (mem: 1818.22 MiB) 15:11:32 elliptic : 4132/6000 (mem: 1818.22 MiB) 15:11:32 auxiliary : 23580/26000 (mem: 1818.22 MiB) 15:11:32 poseidon ext : 2/17000 (mem: 1818.22 MiB) 15:11:32 poseidon int : 2/92000 (mem: 1818.22 MiB) 15:11:32 overflow : 17783/17783 (mem: 1818.22 MiB) 15:11:32 (mem: 1818.22 MiB) 15:11:32 Total structured size: 259808 (mem: 1818.22 MiB) 15:11:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1818.22 MiB) 15:11:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.22 MiB) 15:11:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.22 MiB) 15:11:39 goblin ecc op : 792/1024 (mem: 1883.22 MiB) 15:11:39 busread : 3/6000 (mem: 1883.22 MiB) 15:11:39 lookups : 13540/15000 (mem: 1883.22 MiB) 15:11:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.22 MiB) 15:11:39 arithmetic : 36827/56000 (mem: 1883.22 MiB) 15:11:39 delta range : 11097/18000 (mem: 1883.22 MiB) 15:11:39 elliptic : 6000/6000 (mem: 1883.22 MiB) 15:11:39 auxiliary : 11827/26000 (mem: 1883.22 MiB) 15:11:39 poseidon ext : 4942/17000 (mem: 1883.22 MiB) 15:11:39 poseidon int : 28160/92000 (mem: 1883.22 MiB) 15:11:39 overflow : 1850/1850 (mem: 1883.22 MiB) 15:11:39 (mem: 1883.22 MiB) 15:11:39 Total structured size: 243875 (mem: 1883.22 MiB) 15:11:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.22 MiB) 15:11:47 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.22 MiB) 15:11:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.22 MiB) 15:11:47 goblin ecc op : 10/1024 (mem: 1883.22 MiB) 15:11:47 busread : 3/6000 (mem: 1883.22 MiB) 15:11:47 lookups : 15000/15000 (mem: 1883.22 MiB) 15:11:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.22 MiB) 15:11:47 arithmetic : 46405/56000 (mem: 1883.22 MiB) 15:11:47 delta range : 18000/18000 (mem: 1883.22 MiB) 15:11:47 elliptic : 4132/6000 (mem: 1883.22 MiB) 15:11:47 auxiliary : 23580/26000 (mem: 1883.22 MiB) 15:11:47 poseidon ext : 2/17000 (mem: 1883.22 MiB) 15:11:47 poseidon int : 2/92000 (mem: 1883.22 MiB) 15:11:47 overflow : 17783/17783 (mem: 1883.22 MiB) 15:11:47 (mem: 1883.22 MiB) 15:11:47 Total structured size: 259808 (mem: 1883.22 MiB) 15:11:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.22 MiB) 15:11:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.22 MiB) 15:11:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.22 MiB) 15:11:55 goblin ecc op : 792/1024 (mem: 1883.22 MiB) 15:11:55 busread : 3/6000 (mem: 1883.22 MiB) 15:11:55 lookups : 13540/15000 (mem: 1883.22 MiB) 15:11:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.22 MiB) 15:11:55 arithmetic : 36827/56000 (mem: 1883.22 MiB) 15:11:55 delta range : 11097/18000 (mem: 1883.22 MiB) 15:11:55 elliptic : 6000/6000 (mem: 1883.22 MiB) 15:11:55 auxiliary : 11827/26000 (mem: 1883.22 MiB) 15:11:55 poseidon ext : 4942/17000 (mem: 1883.22 MiB) 15:11:55 poseidon int : 28160/92000 (mem: 1883.22 MiB) 15:11:55 overflow : 1850/1850 (mem: 1883.22 MiB) 15:11:55 (mem: 1883.22 MiB) 15:11:55 Total structured size: 243875 (mem: 1883.22 MiB) 15:11:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.22 MiB) 15:12:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.22 MiB) 15:12:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.22 MiB) 15:12:04 goblin ecc op : 10/1024 (mem: 1883.22 MiB) 15:12:04 busread : 3/6000 (mem: 1883.22 MiB) 15:12:04 lookups : 15000/15000 (mem: 1883.22 MiB) 15:12:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.22 MiB) 15:12:04 arithmetic : 46405/56000 (mem: 1883.22 MiB) 15:12:04 delta range : 18000/18000 (mem: 1883.22 MiB) 15:12:04 elliptic : 4132/6000 (mem: 1883.22 MiB) 15:12:04 auxiliary : 23580/26000 (mem: 1883.22 MiB) 15:12:04 poseidon ext : 2/17000 (mem: 1883.22 MiB) 15:12:04 poseidon int : 2/92000 (mem: 1883.22 MiB) 15:12:04 overflow : 17783/17783 (mem: 1883.22 MiB) 15:12:04 (mem: 1883.22 MiB) 15:12:04 Total structured size: 259808 (mem: 1883.22 MiB) 15:12:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.22 MiB) 15:12:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.22 MiB) 15:12:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.22 MiB) 15:12:12 goblin ecc op : 792/1024 (mem: 1883.22 MiB) 15:12:12 busread : 3/6000 (mem: 1883.22 MiB) 15:12:12 lookups : 13540/15000 (mem: 1883.22 MiB) 15:12:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.22 MiB) 15:12:12 arithmetic : 36827/56000 (mem: 1883.22 MiB) 15:12:12 delta range : 11097/18000 (mem: 1883.22 MiB) 15:12:12 elliptic : 6000/6000 (mem: 1883.22 MiB) 15:12:12 auxiliary : 11827/26000 (mem: 1883.22 MiB) 15:12:12 poseidon ext : 4942/17000 (mem: 1883.22 MiB) 15:12:12 poseidon int : 28160/92000 (mem: 1883.22 MiB) 15:12:12 overflow : 1850/1850 (mem: 1883.22 MiB) 15:12:12 (mem: 1883.22 MiB) 15:12:12 Total structured size: 243875 (mem: 1883.22 MiB) 15:12:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.22 MiB) 15:12:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.22 MiB) 15:12:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.22 MiB) 15:12:21 goblin ecc op : 10/1024 (mem: 1915.22 MiB) 15:12:21 busread : 3/6000 (mem: 1915.22 MiB) 15:12:21 lookups : 15000/15000 (mem: 1915.22 MiB) 15:12:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.22 MiB) 15:12:21 arithmetic : 46405/56000 (mem: 1915.22 MiB) 15:12:21 delta range : 18000/18000 (mem: 1915.22 MiB) 15:12:21 elliptic : 4132/6000 (mem: 1915.22 MiB) 15:12:21 auxiliary : 23580/26000 (mem: 1915.22 MiB) 15:12:21 poseidon ext : 2/17000 (mem: 1915.22 MiB) 15:12:21 poseidon int : 2/92000 (mem: 1915.22 MiB) 15:12:21 overflow : 17783/17783 (mem: 1915.22 MiB) 15:12:21 (mem: 1915.22 MiB) 15:12:21 Total structured size: 259808 (mem: 1915.22 MiB) 15:12:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.22 MiB) 15:12:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.22 MiB) 15:12:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.22 MiB) 15:12:28 goblin ecc op : 792/1024 (mem: 1915.22 MiB) 15:12:28 busread : 3/6000 (mem: 1915.22 MiB) 15:12:28 lookups : 13540/15000 (mem: 1915.22 MiB) 15:12:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.22 MiB) 15:12:28 arithmetic : 36827/56000 (mem: 1915.22 MiB) 15:12:28 delta range : 11097/18000 (mem: 1915.22 MiB) 15:12:28 elliptic : 6000/6000 (mem: 1915.22 MiB) 15:12:28 auxiliary : 11827/26000 (mem: 1915.22 MiB) 15:12:28 poseidon ext : 4942/17000 (mem: 1915.22 MiB) 15:12:28 poseidon int : 28160/92000 (mem: 1915.22 MiB) 15:12:28 overflow : 1850/1850 (mem: 1915.22 MiB) 15:12:28 (mem: 1915.22 MiB) 15:12:28 Total structured size: 243875 (mem: 1915.22 MiB) 15:12:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.22 MiB) 15:12:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.22 MiB) 15:12:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.22 MiB) 15:12:36 goblin ecc op : 10/1024 (mem: 1915.22 MiB) 15:12:36 busread : 3/6000 (mem: 1915.22 MiB) 15:12:36 lookups : 15000/15000 (mem: 1915.22 MiB) 15:12:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.22 MiB) 15:12:36 arithmetic : 46405/56000 (mem: 1915.22 MiB) 15:12:36 delta range : 18000/18000 (mem: 1915.22 MiB) 15:12:36 elliptic : 4132/6000 (mem: 1915.22 MiB) 15:12:36 auxiliary : 23580/26000 (mem: 1915.22 MiB) 15:12:36 poseidon ext : 2/17000 (mem: 1915.22 MiB) 15:12:36 poseidon int : 2/92000 (mem: 1915.22 MiB) 15:12:36 overflow : 17783/17783 (mem: 1915.22 MiB) 15:12:36 (mem: 1915.22 MiB) 15:12:36 Total structured size: 259808 (mem: 1915.22 MiB) 15:12:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.22 MiB) 15:12:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.22 MiB) 15:12:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.22 MiB) 15:12:43 goblin ecc op : 792/1024 (mem: 1915.22 MiB) 15:12:43 busread : 3/6000 (mem: 1915.22 MiB) 15:12:43 lookups : 13540/15000 (mem: 1915.22 MiB) 15:12:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.22 MiB) 15:12:43 arithmetic : 36827/56000 (mem: 1915.22 MiB) 15:12:43 delta range : 11097/18000 (mem: 1915.22 MiB) 15:12:43 elliptic : 6000/6000 (mem: 1915.22 MiB) 15:12:43 auxiliary : 11827/26000 (mem: 1915.22 MiB) 15:12:43 poseidon ext : 4942/17000 (mem: 1915.22 MiB) 15:12:43 poseidon int : 28160/92000 (mem: 1915.22 MiB) 15:12:43 overflow : 1850/1850 (mem: 1915.22 MiB) 15:12:43 (mem: 1915.22 MiB) 15:12:43 Total structured size: 243875 (mem: 1915.22 MiB) 15:12:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.22 MiB) 15:12:50 Largest circuit: 366564 gates. Trace details: (mem: 1915.22 MiB) 15:12:50 Minimum required block sizes for structured trace: (mem: 1915.22 MiB) 15:12:50 ecc_op : 792 15:12:50 busread : 3 15:12:50 lookup : 15000 15:12:50 pub_inputs : 32 15:12:50 arithmetic : 56000 15:12:50 delta_range : 18000 15:12:50 elliptic : 6000 15:12:50 aux : 26000 15:12:50 poseidon2_external : 4942 15:12:50 poseidon2_internal : 28160 15:12:50 overflow : 246603 15:12:50 (mem: 1915.22 MiB) 15:13:07 Constructing a Goblin proof with num ultra ops = 4662 (mem: 1915.22 MiB) 15:13:34 IVC failed to verify. (mem: 1915.22 MiB) 15:13:34 [ OK ] ClientIVCBenchValidation.Full6MockedVKs (135992 ms) 15:13:34 [----------] 1 test from ClientIVCBenchValidation (135992 ms total) 15:13:34 15:13:34 [----------] Global test environment tear-down 15:13:34 [==========] 1 test from 1 test suite ran. (135992 ms total) 15:13:34 [ PASSED ] 1 test.