ACI ·

Parent Log: http://ci.aztec-labs.com/dc2fa81d7e6e38ef Command: 6b749196b5c0246c barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCBenchValidation.Full6 Commit: https://github.com/AztecProtocol/aztec-packages/commit/1650b3d017a2a4fa5182c8787e79cc108e24e1f4 Env: REF_NAME=gh-readonly-queue/next/pr-14990-77a00686be4080a71b03d68671da6c8b270b62aa CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 10:53:05 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14990_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_f2ef9cba02cb6520_next 10:53:05 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 10:53:05 Note: Google Test filter = ClientIVCBenchValidation.Full6 10:53:05 [==========] Running 1 test from 1 test suite. 10:53:05 [----------] Global test environment set-up. 10:53:05 [----------] 1 test from ClientIVCBenchValidation 10:53:05 [ RUN ] ClientIVCBenchValidation.Full6 10:53:05 BN254 commitment key size: 262144 (mem: 6.00 MiB) 10:53:05 BN254 commitment key size: 262144 (mem: 168.16 MiB) 10:53:06 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 559.20 MiB) 10:53:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 559.20 MiB) 10:53:06 goblin ecc op : 10/1024 (mem: 559.20 MiB) 10:53:06 busread : 3/6000 (mem: 559.20 MiB) 10:53:06 lookups : 15000/15000 (mem: 559.20 MiB) 10:53:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 559.20 MiB) 10:53:06 arithmetic : 56000/56000 (mem: 559.20 MiB) 10:53:06 delta range : 18000/18000 (mem: 559.20 MiB) 10:53:06 elliptic : 4958/6000 (mem: 559.20 MiB) 10:53:06 auxiliary : 26000/26000 (mem: 559.20 MiB) 10:53:06 poseidon ext : 2/17000 (mem: 559.20 MiB) 10:53:06 poseidon int : 2/92000 (mem: 559.20 MiB) 10:53:06 overflow : 248619/248619 (mem: 559.20 MiB) 10:53:06 (mem: 559.20 MiB) 10:53:06 Total structured size: 490644 (mem: 559.20 MiB) 10:53: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: 1673.20 MiB) 10:53:22 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1687.20 MiB) 10:53:22 Gate blocks summary: (actual gates / fixed capacity) (mem: 1687.20 MiB) 10:53:22 goblin ecc op : 56/1024 (mem: 1687.20 MiB) 10:53:22 busread : 3/6000 (mem: 1687.20 MiB) 10:53:22 lookups : 13540/15000 (mem: 1687.20 MiB) 10:53:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1687.20 MiB) 10:53:22 arithmetic : 32894/56000 (mem: 1687.20 MiB) 10:53:22 delta range : 10239/18000 (mem: 1687.20 MiB) 10:53:22 elliptic : 6000/6000 (mem: 1687.20 MiB) 10:53:22 auxiliary : 11827/26000 (mem: 1687.20 MiB) 10:53:22 poseidon ext : 1302/17000 (mem: 1687.20 MiB) 10:53:22 poseidon int : 7412/92000 (mem: 1687.20 MiB) 10:53:22 overflow : 1850/1850 (mem: 1687.20 MiB) 10:53:22 (mem: 1687.20 MiB) 10:53:22 Total structured size: 243875 (mem: 1687.20 MiB) 10:53:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1756.80 MiB) 10:53: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: 1756.80 MiB) 10:53:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1844.80 MiB) 10:53:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1844.80 MiB) 10:53:35 goblin ecc op : 10/1024 (mem: 1844.80 MiB) 10:53:35 busread : 3/6000 (mem: 1844.80 MiB) 10:53:35 lookups : 15000/15000 (mem: 1844.80 MiB) 10:53:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1844.80 MiB) 10:53:35 arithmetic : 48085/56000 (mem: 1844.80 MiB) 10:53:35 delta range : 18000/18000 (mem: 1844.80 MiB) 10:53:35 elliptic : 4132/6000 (mem: 1844.80 MiB) 10:53:35 auxiliary : 23580/26000 (mem: 1844.80 MiB) 10:53:35 poseidon ext : 2/17000 (mem: 1844.80 MiB) 10:53:35 poseidon int : 2/92000 (mem: 1844.80 MiB) 10:53:35 overflow : 17783/17783 (mem: 1844.80 MiB) 10:53:35 (mem: 1844.80 MiB) 10:53:35 Total structured size: 259808 (mem: 1844.80 MiB) 10:53:38 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1844.80 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: 1844.80 MiB) 10:53:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1889.80 MiB) 10:53:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1889.80 MiB) 10:53:49 goblin ecc op : 792/1024 (mem: 1889.80 MiB) 10:53:49 busread : 3/6000 (mem: 1889.80 MiB) 10:53:49 lookups : 13540/15000 (mem: 1889.80 MiB) 10:53:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1889.80 MiB) 10:53:49 arithmetic : 40019/56000 (mem: 1889.80 MiB) 10:53:49 delta range : 11097/18000 (mem: 1889.80 MiB) 10:53:49 elliptic : 6000/6000 (mem: 1889.80 MiB) 10:53:49 auxiliary : 11827/26000 (mem: 1889.80 MiB) 10:53:49 poseidon ext : 4942/17000 (mem: 1889.80 MiB) 10:53:49 poseidon int : 28160/92000 (mem: 1889.80 MiB) 10:53:49 overflow : 1850/1850 (mem: 1889.80 MiB) 10:53:49 (mem: 1889.80 MiB) 10:53:49 Total structured size: 243875 (mem: 1889.80 MiB) 10:53:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1889.80 MiB) 10:53:52 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1889.80 MiB) 10:54:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1889.80 MiB) 10:54:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1889.80 MiB) 10:54:03 goblin ecc op : 10/1024 (mem: 1889.80 MiB) 10:54:03 busread : 3/6000 (mem: 1889.80 MiB) 10:54:03 lookups : 15000/15000 (mem: 1889.80 MiB) 10:54:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1889.80 MiB) 10:54:03 arithmetic : 48085/56000 (mem: 1889.80 MiB) 10:54:03 delta range : 18000/18000 (mem: 1889.80 MiB) 10:54:03 elliptic : 4132/6000 (mem: 1889.80 MiB) 10:54:03 auxiliary : 23580/26000 (mem: 1889.80 MiB) 10:54:03 poseidon ext : 2/17000 (mem: 1889.80 MiB) 10:54:03 poseidon int : 2/92000 (mem: 1889.80 MiB) 10:54:03 overflow : 17783/17783 (mem: 1889.80 MiB) 10:54:03 (mem: 1889.80 MiB) 10:54:03 Total structured size: 259808 (mem: 1889.80 MiB) 10:54:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1889.80 MiB) 10:54:06 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1889.80 MiB) 10:54:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1889.80 MiB) 10:54:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1889.80 MiB) 10:54:16 goblin ecc op : 792/1024 (mem: 1889.80 MiB) 10:54:16 busread : 3/6000 (mem: 1889.80 MiB) 10:54:16 lookups : 13540/15000 (mem: 1889.80 MiB) 10:54:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1889.80 MiB) 10:54:16 arithmetic : 40019/56000 (mem: 1889.80 MiB) 10:54:16 delta range : 11097/18000 (mem: 1889.80 MiB) 10:54:16 elliptic : 6000/6000 (mem: 1889.80 MiB) 10:54:16 auxiliary : 11827/26000 (mem: 1889.80 MiB) 10:54:16 poseidon ext : 4942/17000 (mem: 1889.80 MiB) 10:54:16 poseidon int : 28160/92000 (mem: 1889.80 MiB) 10:54:16 overflow : 1850/1850 (mem: 1889.80 MiB) 10:54:16 (mem: 1889.80 MiB) 10:54:16 Total structured size: 243875 (mem: 1889.80 MiB) 10:54:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1889.80 MiB) 10:54:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1889.80 MiB) 10:54:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1889.80 MiB) 10:54:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1889.80 MiB) 10:54:30 goblin ecc op : 10/1024 (mem: 1889.80 MiB) 10:54:30 busread : 3/6000 (mem: 1889.80 MiB) 10:54:30 lookups : 15000/15000 (mem: 1889.80 MiB) 10:54:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1889.80 MiB) 10:54:30 arithmetic : 48085/56000 (mem: 1889.80 MiB) 10:54:30 delta range : 18000/18000 (mem: 1889.80 MiB) 10:54:30 elliptic : 4132/6000 (mem: 1889.80 MiB) 10:54:30 auxiliary : 23580/26000 (mem: 1889.80 MiB) 10:54:30 poseidon ext : 2/17000 (mem: 1889.80 MiB) 10:54:30 poseidon int : 2/92000 (mem: 1889.80 MiB) 10:54:30 overflow : 17783/17783 (mem: 1889.80 MiB) 10:54:30 (mem: 1889.80 MiB) 10:54:30 Total structured size: 259808 (mem: 1889.80 MiB) 10:54:33 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1889.80 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: 1889.80 MiB) 10:54:42 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:54:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:54:42 goblin ecc op : 792/1024 (mem: 1890.13 MiB) 10:54:42 busread : 3/6000 (mem: 1890.13 MiB) 10:54:42 lookups : 13540/15000 (mem: 1890.13 MiB) 10:54:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:54:42 arithmetic : 40019/56000 (mem: 1890.13 MiB) 10:54:42 delta range : 11097/18000 (mem: 1890.13 MiB) 10:54:42 elliptic : 6000/6000 (mem: 1890.13 MiB) 10:54:42 auxiliary : 11827/26000 (mem: 1890.13 MiB) 10:54:42 poseidon ext : 4942/17000 (mem: 1890.13 MiB) 10:54:42 poseidon int : 28160/92000 (mem: 1890.13 MiB) 10:54:42 overflow : 1850/1850 (mem: 1890.13 MiB) 10:54:42 (mem: 1890.13 MiB) 10:54:42 Total structured size: 243875 (mem: 1890.13 MiB) 10:54:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:54:46 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.13 MiB) 10:54:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:54:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:54:59 goblin ecc op : 10/1024 (mem: 1890.13 MiB) 10:54:59 busread : 3/6000 (mem: 1890.13 MiB) 10:54:59 lookups : 15000/15000 (mem: 1890.13 MiB) 10:54:59 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:54:59 arithmetic : 48085/56000 (mem: 1890.13 MiB) 10:54:59 delta range : 18000/18000 (mem: 1890.13 MiB) 10:54:59 elliptic : 4132/6000 (mem: 1890.13 MiB) 10:54:59 auxiliary : 23580/26000 (mem: 1890.13 MiB) 10:54:59 poseidon ext : 2/17000 (mem: 1890.13 MiB) 10:54:59 poseidon int : 2/92000 (mem: 1890.13 MiB) 10:54:59 overflow : 17783/17783 (mem: 1890.13 MiB) 10:54:59 (mem: 1890.13 MiB) 10:54:59 Total structured size: 259808 (mem: 1890.13 MiB) 10:55:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:55:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.13 MiB) 10:55:14 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:55:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:55:14 goblin ecc op : 792/1024 (mem: 1890.13 MiB) 10:55:14 busread : 3/6000 (mem: 1890.13 MiB) 10:55:14 lookups : 13540/15000 (mem: 1890.13 MiB) 10:55:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:55:14 arithmetic : 40019/56000 (mem: 1890.13 MiB) 10:55:14 delta range : 11097/18000 (mem: 1890.13 MiB) 10:55:14 elliptic : 6000/6000 (mem: 1890.13 MiB) 10:55:14 auxiliary : 11827/26000 (mem: 1890.13 MiB) 10:55:14 poseidon ext : 4942/17000 (mem: 1890.13 MiB) 10:55:14 poseidon int : 28160/92000 (mem: 1890.13 MiB) 10:55:14 overflow : 1850/1850 (mem: 1890.13 MiB) 10:55:14 (mem: 1890.13 MiB) 10:55:14 Total structured size: 243875 (mem: 1890.13 MiB) 10:55:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:55: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: 1890.13 MiB) 10:55:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:55:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:55:26 goblin ecc op : 10/1024 (mem: 1890.13 MiB) 10:55:26 busread : 3/6000 (mem: 1890.13 MiB) 10:55:26 lookups : 15000/15000 (mem: 1890.13 MiB) 10:55:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:55:26 arithmetic : 48085/56000 (mem: 1890.13 MiB) 10:55:26 delta range : 18000/18000 (mem: 1890.13 MiB) 10:55:26 elliptic : 4132/6000 (mem: 1890.13 MiB) 10:55:26 auxiliary : 23580/26000 (mem: 1890.13 MiB) 10:55:26 poseidon ext : 2/17000 (mem: 1890.13 MiB) 10:55:26 poseidon int : 2/92000 (mem: 1890.13 MiB) 10:55:26 overflow : 17783/17783 (mem: 1890.13 MiB) 10:55:26 (mem: 1890.13 MiB) 10:55:26 Total structured size: 259808 (mem: 1890.13 MiB) 10:55:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:55:29 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.13 MiB) 10:55:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:55:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:55:38 goblin ecc op : 792/1024 (mem: 1890.13 MiB) 10:55:38 busread : 3/6000 (mem: 1890.13 MiB) 10:55:38 lookups : 13540/15000 (mem: 1890.13 MiB) 10:55:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:55:38 arithmetic : 40019/56000 (mem: 1890.13 MiB) 10:55:38 delta range : 11097/18000 (mem: 1890.13 MiB) 10:55:38 elliptic : 6000/6000 (mem: 1890.13 MiB) 10:55:38 auxiliary : 11827/26000 (mem: 1890.13 MiB) 10:55:38 poseidon ext : 4942/17000 (mem: 1890.13 MiB) 10:55:38 poseidon int : 28160/92000 (mem: 1890.13 MiB) 10:55:38 overflow : 1850/1850 (mem: 1890.13 MiB) 10:55:38 (mem: 1890.13 MiB) 10:55:38 Total structured size: 243875 (mem: 1890.13 MiB) 10:55:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:55: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: 1890.13 MiB) 10:55:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:55:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:55:49 goblin ecc op : 10/1024 (mem: 1890.13 MiB) 10:55:49 busread : 3/6000 (mem: 1890.13 MiB) 10:55:49 lookups : 15000/15000 (mem: 1890.13 MiB) 10:55:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:55:49 arithmetic : 56000/56000 (mem: 1890.13 MiB) 10:55:49 delta range : 18000/18000 (mem: 1890.13 MiB) 10:55:49 elliptic : 4958/6000 (mem: 1890.13 MiB) 10:55:49 auxiliary : 26000/26000 (mem: 1890.13 MiB) 10:55:49 poseidon ext : 2/17000 (mem: 1890.13 MiB) 10:55:49 poseidon int : 2/92000 (mem: 1890.13 MiB) 10:55:49 overflow : 248619/248619 (mem: 1890.13 MiB) 10:55:49 (mem: 1890.13 MiB) 10:55:49 Total structured size: 490644 (mem: 1890.13 MiB) 10:55:49 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.13 MiB) 10:55:57 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:55:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:55:57 goblin ecc op : 56/1024 (mem: 1890.13 MiB) 10:55:57 busread : 3/6000 (mem: 1890.13 MiB) 10:55:57 lookups : 13540/15000 (mem: 1890.13 MiB) 10:55:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:55:57 arithmetic : 32894/56000 (mem: 1890.13 MiB) 10:55:57 delta range : 10239/18000 (mem: 1890.13 MiB) 10:55:57 elliptic : 6000/6000 (mem: 1890.13 MiB) 10:55:57 auxiliary : 11827/26000 (mem: 1890.13 MiB) 10:55:57 poseidon ext : 1302/17000 (mem: 1890.13 MiB) 10:55:57 poseidon int : 7412/92000 (mem: 1890.13 MiB) 10:55:57 overflow : 1850/1850 (mem: 1890.13 MiB) 10:55:57 (mem: 1890.13 MiB) 10:55:57 Total structured size: 243875 (mem: 1890.13 MiB) 10:55:57 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:55: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: 1890.13 MiB) 10:56:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:56:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:56:05 goblin ecc op : 10/1024 (mem: 1890.13 MiB) 10:56:05 busread : 3/6000 (mem: 1890.13 MiB) 10:56:05 lookups : 15000/15000 (mem: 1890.13 MiB) 10:56:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:56:05 arithmetic : 48085/56000 (mem: 1890.13 MiB) 10:56:05 delta range : 18000/18000 (mem: 1890.13 MiB) 10:56:05 elliptic : 4132/6000 (mem: 1890.13 MiB) 10:56:05 auxiliary : 23580/26000 (mem: 1890.13 MiB) 10:56:05 poseidon ext : 2/17000 (mem: 1890.13 MiB) 10:56:05 poseidon int : 2/92000 (mem: 1890.13 MiB) 10:56:05 overflow : 17783/17783 (mem: 1890.13 MiB) 10:56:05 (mem: 1890.13 MiB) 10:56:05 Total structured size: 259808 (mem: 1890.13 MiB) 10:56:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:56: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: 1890.13 MiB) 10:56:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:56:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:56:12 goblin ecc op : 792/1024 (mem: 1890.13 MiB) 10:56:12 busread : 3/6000 (mem: 1890.13 MiB) 10:56:12 lookups : 13540/15000 (mem: 1890.13 MiB) 10:56:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:56:12 arithmetic : 40019/56000 (mem: 1890.13 MiB) 10:56:12 delta range : 11097/18000 (mem: 1890.13 MiB) 10:56:12 elliptic : 6000/6000 (mem: 1890.13 MiB) 10:56:12 auxiliary : 11827/26000 (mem: 1890.13 MiB) 10:56:12 poseidon ext : 4942/17000 (mem: 1890.13 MiB) 10:56:12 poseidon int : 28160/92000 (mem: 1890.13 MiB) 10:56:12 overflow : 1850/1850 (mem: 1890.13 MiB) 10:56:12 (mem: 1890.13 MiB) 10:56:12 Total structured size: 243875 (mem: 1890.13 MiB) 10:56:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:56: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: 1890.13 MiB) 10:56:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:56:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:56:19 goblin ecc op : 10/1024 (mem: 1890.13 MiB) 10:56:19 busread : 3/6000 (mem: 1890.13 MiB) 10:56:19 lookups : 15000/15000 (mem: 1890.13 MiB) 10:56:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:56:19 arithmetic : 48085/56000 (mem: 1890.13 MiB) 10:56:19 delta range : 18000/18000 (mem: 1890.13 MiB) 10:56:19 elliptic : 4132/6000 (mem: 1890.13 MiB) 10:56:19 auxiliary : 23580/26000 (mem: 1890.13 MiB) 10:56:19 poseidon ext : 2/17000 (mem: 1890.13 MiB) 10:56:19 poseidon int : 2/92000 (mem: 1890.13 MiB) 10:56:19 overflow : 17783/17783 (mem: 1890.13 MiB) 10:56:19 (mem: 1890.13 MiB) 10:56:19 Total structured size: 259808 (mem: 1890.13 MiB) 10:56:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:56:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.13 MiB) 10:56:27 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.13 MiB) 10:56:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.13 MiB) 10:56:27 goblin ecc op : 792/1024 (mem: 1890.13 MiB) 10:56:27 busread : 3/6000 (mem: 1890.13 MiB) 10:56:27 lookups : 13540/15000 (mem: 1890.13 MiB) 10:56:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.13 MiB) 10:56:27 arithmetic : 40019/56000 (mem: 1890.13 MiB) 10:56:27 delta range : 11097/18000 (mem: 1890.13 MiB) 10:56:27 elliptic : 6000/6000 (mem: 1890.13 MiB) 10:56:27 auxiliary : 11827/26000 (mem: 1890.13 MiB) 10:56:27 poseidon ext : 4942/17000 (mem: 1890.13 MiB) 10:56:27 poseidon int : 28160/92000 (mem: 1890.13 MiB) 10:56:27 overflow : 1850/1850 (mem: 1890.13 MiB) 10:56:27 (mem: 1890.13 MiB) 10:56:27 Total structured size: 243875 (mem: 1890.13 MiB) 10:56:27 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.13 MiB) 10:56: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: 1890.13 MiB) 10:56:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.13 MiB) 10:56:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.13 MiB) 10:56:35 goblin ecc op : 10/1024 (mem: 1918.13 MiB) 10:56:35 busread : 3/6000 (mem: 1918.13 MiB) 10:56:35 lookups : 15000/15000 (mem: 1918.13 MiB) 10:56:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1918.13 MiB) 10:56:35 arithmetic : 48085/56000 (mem: 1918.13 MiB) 10:56:35 delta range : 18000/18000 (mem: 1918.13 MiB) 10:56:35 elliptic : 4132/6000 (mem: 1918.13 MiB) 10:56:35 auxiliary : 23580/26000 (mem: 1918.13 MiB) 10:56:35 poseidon ext : 2/17000 (mem: 1918.13 MiB) 10:56:35 poseidon int : 2/92000 (mem: 1918.13 MiB) 10:56:35 overflow : 17783/17783 (mem: 1918.13 MiB) 10:56:35 (mem: 1918.13 MiB) 10:56:35 Total structured size: 259808 (mem: 1918.13 MiB) 10:56:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.13 MiB) 10:56: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: 1918.13 MiB) 10:56:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.31 MiB) 10:56:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.31 MiB) 10:56:44 goblin ecc op : 792/1024 (mem: 1919.31 MiB) 10:56:44 busread : 3/6000 (mem: 1919.31 MiB) 10:56:44 lookups : 13540/15000 (mem: 1919.31 MiB) 10:56:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.31 MiB) 10:56:44 arithmetic : 40019/56000 (mem: 1919.31 MiB) 10:56:44 delta range : 11097/18000 (mem: 1919.31 MiB) 10:56:44 elliptic : 6000/6000 (mem: 1919.31 MiB) 10:56:44 auxiliary : 11827/26000 (mem: 1919.31 MiB) 10:56:44 poseidon ext : 4942/17000 (mem: 1919.31 MiB) 10:56:44 poseidon int : 28160/92000 (mem: 1919.31 MiB) 10:56:44 overflow : 1850/1850 (mem: 1919.31 MiB) 10:56:44 (mem: 1919.31 MiB) 10:56:44 Total structured size: 243875 (mem: 1919.31 MiB) 10:56:44 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.31 MiB) 10:56:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1919.31 MiB) 10:56:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.55 MiB) 10:56:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.55 MiB) 10:56:52 goblin ecc op : 10/1024 (mem: 1919.55 MiB) 10:56:52 busread : 3/6000 (mem: 1919.55 MiB) 10:56:52 lookups : 15000/15000 (mem: 1919.55 MiB) 10:56:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.55 MiB) 10:56:52 arithmetic : 48085/56000 (mem: 1919.55 MiB) 10:56:52 delta range : 18000/18000 (mem: 1919.55 MiB) 10:56:52 elliptic : 4132/6000 (mem: 1919.55 MiB) 10:56:52 auxiliary : 23580/26000 (mem: 1919.55 MiB) 10:56:52 poseidon ext : 2/17000 (mem: 1919.55 MiB) 10:56:52 poseidon int : 2/92000 (mem: 1919.55 MiB) 10:56:52 overflow : 17783/17783 (mem: 1919.55 MiB) 10:56:52 (mem: 1919.55 MiB) 10:56:52 Total structured size: 259808 (mem: 1919.55 MiB) 10:56:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.55 MiB) 10:56:52 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1919.55 MiB) 10:56:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.55 MiB) 10:56:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.55 MiB) 10:56:59 goblin ecc op : 792/1024 (mem: 1919.55 MiB) 10:56:59 busread : 3/6000 (mem: 1919.55 MiB) 10:56:59 lookups : 13540/15000 (mem: 1919.55 MiB) 10:56:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.55 MiB) 10:56:59 arithmetic : 40019/56000 (mem: 1919.55 MiB) 10:56:59 delta range : 11097/18000 (mem: 1919.55 MiB) 10:56:59 elliptic : 6000/6000 (mem: 1919.55 MiB) 10:56:59 auxiliary : 11827/26000 (mem: 1919.55 MiB) 10:56:59 poseidon ext : 4942/17000 (mem: 1919.55 MiB) 10:56:59 poseidon int : 28160/92000 (mem: 1919.55 MiB) 10:56:59 overflow : 1850/1850 (mem: 1919.55 MiB) 10:56:59 (mem: 1919.55 MiB) 10:56:59 Total structured size: 243875 (mem: 1919.55 MiB) 10:56:59 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.55 MiB) 10:56:59 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1919.55 MiB) 10:57:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.55 MiB) 10:57:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.55 MiB) 10:57:07 goblin ecc op : 10/1024 (mem: 1919.55 MiB) 10:57:07 busread : 3/6000 (mem: 1919.55 MiB) 10:57:07 lookups : 15000/15000 (mem: 1919.55 MiB) 10:57:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.55 MiB) 10:57:07 arithmetic : 48085/56000 (mem: 1919.55 MiB) 10:57:07 delta range : 18000/18000 (mem: 1919.55 MiB) 10:57:07 elliptic : 4132/6000 (mem: 1919.55 MiB) 10:57:07 auxiliary : 23580/26000 (mem: 1919.55 MiB) 10:57:07 poseidon ext : 2/17000 (mem: 1919.55 MiB) 10:57:07 poseidon int : 2/92000 (mem: 1919.55 MiB) 10:57:07 overflow : 17783/17783 (mem: 1919.55 MiB) 10:57:07 (mem: 1919.55 MiB) 10:57:07 Total structured size: 259808 (mem: 1919.55 MiB) 10:57:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.55 MiB) 10:57: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: 1919.55 MiB) 10:57:14 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.55 MiB) 10:57:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.55 MiB) 10:57:14 goblin ecc op : 792/1024 (mem: 1919.55 MiB) 10:57:14 busread : 3/6000 (mem: 1919.55 MiB) 10:57:14 lookups : 13540/15000 (mem: 1919.55 MiB) 10:57:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.55 MiB) 10:57:14 arithmetic : 40019/56000 (mem: 1919.55 MiB) 10:57:14 delta range : 11097/18000 (mem: 1919.55 MiB) 10:57:14 elliptic : 6000/6000 (mem: 1919.55 MiB) 10:57:14 auxiliary : 11827/26000 (mem: 1919.55 MiB) 10:57:14 poseidon ext : 4942/17000 (mem: 1919.55 MiB) 10:57:14 poseidon int : 28160/92000 (mem: 1919.55 MiB) 10:57:14 overflow : 1850/1850 (mem: 1919.55 MiB) 10:57:14 (mem: 1919.55 MiB) 10:57:14 Total structured size: 243875 (mem: 1919.55 MiB) 10:57:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.55 MiB) 10:57:14 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1919.55 MiB) 10:57:21 Largest circuit: 368580 gates. Trace details: (mem: 1920.34 MiB) 10:57:21 Minimum required block sizes for structured trace: (mem: 1920.34 MiB) 10:57:21 ecc_op : 792 10:57:21 busread : 3 10:57:21 lookup : 15000 10:57:21 pub_inputs : 32 10:57:21 arithmetic : 56000 10:57:21 delta_range : 18000 10:57:21 elliptic : 6000 10:57:21 aux : 26000 10:57:21 poseidon2_external : 4942 10:57:21 poseidon2_internal : 28160 10:57:21 overflow : 248619 10:57:21 (mem: 1920.34 MiB) 10:57: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: 1920.34 MiB) 10:57:29 Constructing a Goblin proof with num ultra ops = 4662 (mem: 1920.34 MiB) 10:57:48 IVC successfully verified! (mem: 1920.34 MiB) 10:57:48 [ OK ] ClientIVCBenchValidation.Full6 (283291 ms) 10:57:48 [----------] 1 test from ClientIVCBenchValidation (283291 ms total) 10:57:48 10:57:48 [----------] Global test environment tear-down 10:57:48 [==========] 1 test from 1 test suite ran. (283292 ms total) 10:57:48 [ PASSED ] 1 test.