ACI ·

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