ACI ·

Parent Log: http://ci.aztec-labs.com/84dea640742bbf96 Command: dbc3f7779ce55e5e barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCBenchValidation.Full6MockedVKs Commit: https://github.com/AztecProtocol/aztec-packages/commit/80d800435dd8dfa325e38593d83b405488449dba Env: REF_NAME=gh-readonly-queue/next/pr-14444-28bf32bfc2566751e8baa0a9125a9db20d474bee CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 20 16:01:35 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14444_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_01edebf6bbfea4dc_next 16:01:36 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 16:01:36 Note: Google Test filter = ClientIVCBenchValidation.Full6MockedVKs 16:01:36 [==========] Running 1 test from 1 test suite. 16:01:36 [----------] Global test environment set-up. 16:01:36 [----------] 1 test from ClientIVCBenchValidation 16:01:36 [ RUN ] ClientIVCBenchValidation.Full6MockedVKs 16:01:36 BN254 commitment key size: 262144 (mem: 6.00 MiB) 16:01:37 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 664.93 MiB) 16:01:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 664.93 MiB) 16:01:37 goblin ecc op : 10/1024 (mem: 664.93 MiB) 16:01:37 busread : 3/6000 (mem: 664.93 MiB) 16:01:37 lookups : 15000/15000 (mem: 664.93 MiB) 16:01:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 664.93 MiB) 16:01:37 arithmetic : 56000/56000 (mem: 664.93 MiB) 16:01:37 delta range : 18000/18000 (mem: 664.93 MiB) 16:01:37 elliptic : 4958/6000 (mem: 664.93 MiB) 16:01:37 auxiliary : 26000/26000 (mem: 664.93 MiB) 16:01:37 poseidon ext : 2/17000 (mem: 664.93 MiB) 16:01:37 poseidon int : 2/92000 (mem: 664.93 MiB) 16:01:37 overflow : 246603/246603 (mem: 664.93 MiB) 16:01:37 (mem: 664.93 MiB) 16:01:37 Total structured size: 488628 (mem: 664.93 MiB) 16:01:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1761.06 MiB) 16:01:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1761.06 MiB) 16:01:44 goblin ecc op : 56/1024 (mem: 1761.06 MiB) 16:01:44 busread : 3/6000 (mem: 1761.06 MiB) 16:01:44 lookups : 13540/15000 (mem: 1761.06 MiB) 16:01:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1761.06 MiB) 16:01:44 arithmetic : 29754/56000 (mem: 1761.06 MiB) 16:01:44 delta range : 10259/18000 (mem: 1761.06 MiB) 16:01:44 elliptic : 6000/6000 (mem: 1761.06 MiB) 16:01:44 auxiliary : 11827/26000 (mem: 1761.06 MiB) 16:01:44 poseidon ext : 1322/17000 (mem: 1761.06 MiB) 16:01:44 poseidon int : 7526/92000 (mem: 1761.06 MiB) 16:01:44 overflow : 1850/1850 (mem: 1761.06 MiB) 16:01:44 (mem: 1761.06 MiB) 16:01:44 Total structured size: 243875 (mem: 1761.06 MiB) 16:01:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1761.06 MiB) 16:01:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1820.01 MiB) 16:01:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1820.01 MiB) 16:01:52 goblin ecc op : 10/1024 (mem: 1820.01 MiB) 16:01:52 busread : 3/6000 (mem: 1820.01 MiB) 16:01:52 lookups : 15000/15000 (mem: 1820.01 MiB) 16:01:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1820.01 MiB) 16:01:52 arithmetic : 46405/56000 (mem: 1820.01 MiB) 16:01:52 delta range : 18000/18000 (mem: 1820.01 MiB) 16:01:52 elliptic : 4132/6000 (mem: 1820.01 MiB) 16:01:52 auxiliary : 23580/26000 (mem: 1820.01 MiB) 16:01:52 poseidon ext : 2/17000 (mem: 1820.01 MiB) 16:01:52 poseidon int : 2/92000 (mem: 1820.01 MiB) 16:01:52 overflow : 17783/17783 (mem: 1820.01 MiB) 16:01:52 (mem: 1820.01 MiB) 16:01:52 Total structured size: 259808 (mem: 1820.01 MiB) 16:01:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1820.01 MiB) 16:02:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:00 goblin ecc op : 792/1024 (mem: 1885.01 MiB) 16:02:00 busread : 3/6000 (mem: 1885.01 MiB) 16:02:00 lookups : 13540/15000 (mem: 1885.01 MiB) 16:02:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:00 arithmetic : 36955/56000 (mem: 1885.01 MiB) 16:02:00 delta range : 11136/18000 (mem: 1885.01 MiB) 16:02:00 elliptic : 6000/6000 (mem: 1885.01 MiB) 16:02:00 auxiliary : 11827/26000 (mem: 1885.01 MiB) 16:02:00 poseidon ext : 4982/17000 (mem: 1885.01 MiB) 16:02:00 poseidon int : 28388/92000 (mem: 1885.01 MiB) 16:02:00 overflow : 1850/1850 (mem: 1885.01 MiB) 16:02:00 (mem: 1885.01 MiB) 16:02:00 Total structured size: 243875 (mem: 1885.01 MiB) 16:02:01 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:02:08 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:08 goblin ecc op : 10/1024 (mem: 1885.01 MiB) 16:02:08 busread : 3/6000 (mem: 1885.01 MiB) 16:02:08 lookups : 15000/15000 (mem: 1885.01 MiB) 16:02:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:08 arithmetic : 46405/56000 (mem: 1885.01 MiB) 16:02:08 delta range : 18000/18000 (mem: 1885.01 MiB) 16:02:08 elliptic : 4132/6000 (mem: 1885.01 MiB) 16:02:08 auxiliary : 23580/26000 (mem: 1885.01 MiB) 16:02:08 poseidon ext : 2/17000 (mem: 1885.01 MiB) 16:02:08 poseidon int : 2/92000 (mem: 1885.01 MiB) 16:02:08 overflow : 17783/17783 (mem: 1885.01 MiB) 16:02:08 (mem: 1885.01 MiB) 16:02:08 Total structured size: 259808 (mem: 1885.01 MiB) 16:02:08 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:02:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:16 goblin ecc op : 792/1024 (mem: 1885.01 MiB) 16:02:16 busread : 3/6000 (mem: 1885.01 MiB) 16:02:16 lookups : 13540/15000 (mem: 1885.01 MiB) 16:02:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:16 arithmetic : 36955/56000 (mem: 1885.01 MiB) 16:02:16 delta range : 11136/18000 (mem: 1885.01 MiB) 16:02:16 elliptic : 6000/6000 (mem: 1885.01 MiB) 16:02:16 auxiliary : 11827/26000 (mem: 1885.01 MiB) 16:02:16 poseidon ext : 4982/17000 (mem: 1885.01 MiB) 16:02:16 poseidon int : 28388/92000 (mem: 1885.01 MiB) 16:02:16 overflow : 1850/1850 (mem: 1885.01 MiB) 16:02:16 (mem: 1885.01 MiB) 16:02:16 Total structured size: 243875 (mem: 1885.01 MiB) 16:02:16 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:02:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:24 goblin ecc op : 10/1024 (mem: 1885.01 MiB) 16:02:24 busread : 3/6000 (mem: 1885.01 MiB) 16:02:24 lookups : 15000/15000 (mem: 1885.01 MiB) 16:02:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:24 arithmetic : 46405/56000 (mem: 1885.01 MiB) 16:02:24 delta range : 18000/18000 (mem: 1885.01 MiB) 16:02:24 elliptic : 4132/6000 (mem: 1885.01 MiB) 16:02:24 auxiliary : 23580/26000 (mem: 1885.01 MiB) 16:02:24 poseidon ext : 2/17000 (mem: 1885.01 MiB) 16:02:24 poseidon int : 2/92000 (mem: 1885.01 MiB) 16:02:24 overflow : 17783/17783 (mem: 1885.01 MiB) 16:02:24 (mem: 1885.01 MiB) 16:02:24 Total structured size: 259808 (mem: 1885.01 MiB) 16:02:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:02:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:33 goblin ecc op : 792/1024 (mem: 1885.01 MiB) 16:02:33 busread : 3/6000 (mem: 1885.01 MiB) 16:02:33 lookups : 13540/15000 (mem: 1885.01 MiB) 16:02:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:33 arithmetic : 36955/56000 (mem: 1885.01 MiB) 16:02:33 delta range : 11136/18000 (mem: 1885.01 MiB) 16:02:33 elliptic : 6000/6000 (mem: 1885.01 MiB) 16:02:33 auxiliary : 11827/26000 (mem: 1885.01 MiB) 16:02:33 poseidon ext : 4982/17000 (mem: 1885.01 MiB) 16:02:33 poseidon int : 28388/92000 (mem: 1885.01 MiB) 16:02:33 overflow : 1850/1850 (mem: 1885.01 MiB) 16:02:33 (mem: 1885.01 MiB) 16:02:33 Total structured size: 243875 (mem: 1885.01 MiB) 16:02:33 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:02:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:41 goblin ecc op : 10/1024 (mem: 1885.01 MiB) 16:02:41 busread : 3/6000 (mem: 1885.01 MiB) 16:02:41 lookups : 15000/15000 (mem: 1885.01 MiB) 16:02:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:41 arithmetic : 46405/56000 (mem: 1885.01 MiB) 16:02:41 delta range : 18000/18000 (mem: 1885.01 MiB) 16:02:41 elliptic : 4132/6000 (mem: 1885.01 MiB) 16:02:41 auxiliary : 23580/26000 (mem: 1885.01 MiB) 16:02:41 poseidon ext : 2/17000 (mem: 1885.01 MiB) 16:02:41 poseidon int : 2/92000 (mem: 1885.01 MiB) 16:02:41 overflow : 17783/17783 (mem: 1885.01 MiB) 16:02:41 (mem: 1885.01 MiB) 16:02:41 Total structured size: 259808 (mem: 1885.01 MiB) 16:02:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:02:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:49 goblin ecc op : 792/1024 (mem: 1885.01 MiB) 16:02:49 busread : 3/6000 (mem: 1885.01 MiB) 16:02:49 lookups : 13540/15000 (mem: 1885.01 MiB) 16:02:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:49 arithmetic : 36955/56000 (mem: 1885.01 MiB) 16:02:49 delta range : 11136/18000 (mem: 1885.01 MiB) 16:02:49 elliptic : 6000/6000 (mem: 1885.01 MiB) 16:02:49 auxiliary : 11827/26000 (mem: 1885.01 MiB) 16:02:49 poseidon ext : 4982/17000 (mem: 1885.01 MiB) 16:02:49 poseidon int : 28388/92000 (mem: 1885.01 MiB) 16:02:49 overflow : 1850/1850 (mem: 1885.01 MiB) 16:02:49 (mem: 1885.01 MiB) 16:02:49 Total structured size: 243875 (mem: 1885.01 MiB) 16:02:49 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:02:57 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:02:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:02:57 goblin ecc op : 10/1024 (mem: 1885.01 MiB) 16:02:57 busread : 3/6000 (mem: 1885.01 MiB) 16:02:57 lookups : 15000/15000 (mem: 1885.01 MiB) 16:02:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:02:57 arithmetic : 46405/56000 (mem: 1885.01 MiB) 16:02:57 delta range : 18000/18000 (mem: 1885.01 MiB) 16:02:57 elliptic : 4132/6000 (mem: 1885.01 MiB) 16:02:57 auxiliary : 23580/26000 (mem: 1885.01 MiB) 16:02:57 poseidon ext : 2/17000 (mem: 1885.01 MiB) 16:02:57 poseidon int : 2/92000 (mem: 1885.01 MiB) 16:02:57 overflow : 17783/17783 (mem: 1885.01 MiB) 16:02:57 (mem: 1885.01 MiB) 16:02:57 Total structured size: 259808 (mem: 1885.01 MiB) 16:02:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:03:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.01 MiB) 16:03:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.01 MiB) 16:03:04 goblin ecc op : 792/1024 (mem: 1885.01 MiB) 16:03:04 busread : 3/6000 (mem: 1885.01 MiB) 16:03:04 lookups : 13540/15000 (mem: 1885.01 MiB) 16:03:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.01 MiB) 16:03:04 arithmetic : 36955/56000 (mem: 1885.01 MiB) 16:03:04 delta range : 11136/18000 (mem: 1885.01 MiB) 16:03:04 elliptic : 6000/6000 (mem: 1885.01 MiB) 16:03:04 auxiliary : 11827/26000 (mem: 1885.01 MiB) 16:03:04 poseidon ext : 4982/17000 (mem: 1885.01 MiB) 16:03:04 poseidon int : 28388/92000 (mem: 1885.01 MiB) 16:03:04 overflow : 1850/1850 (mem: 1885.01 MiB) 16:03:04 (mem: 1885.01 MiB) 16:03:04 Total structured size: 243875 (mem: 1885.01 MiB) 16:03:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.01 MiB) 16:03:12 Largest circuit: 366564 gates. Trace details: (mem: 1885.01 MiB) 16:03:12 Minimum required block sizes for structured trace: (mem: 1885.01 MiB) 16:03:12 ecc_op : 792 16:03:12 busread : 3 16:03:12 lookup : 15000 16:03:12 pub_inputs : 32 16:03:12 arithmetic : 56000 16:03:12 delta_range : 18000 16:03:12 elliptic : 6000 16:03:12 aux : 26000 16:03:12 poseidon2_external : 4982 16:03:12 poseidon2_internal : 28388 16:03:12 overflow : 246603 16:03:12 (mem: 1885.01 MiB) 16:03:29 Constructing a Goblin proof with num ultra ops = 4662 (mem: 1885.01 MiB) 16:03:56 IVC failed to verify. (mem: 1889.01 MiB) 16:03:56 [ OK ] ClientIVCBenchValidation.Full6MockedVKs (140773 ms) 16:03:56 [----------] 1 test from ClientIVCBenchValidation (140773 ms total) 16:03:56 16:03:56 [----------] Global test environment tear-down 16:03:56 [==========] 1 test from 1 test suite ran. (140774 ms total) 16:03:56 [ PASSED ] 1 test.