ACI ·

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