Parent Log: http://ci.aztec-labs.com/f378932cfb9e1a30 Command: ddee941f13db6e98:CPUS=4:MEM=8g barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCKernelCapacity.MaxCapacityPassing Commit: https://github.com/AztecProtocol/aztec-packages/commit/e56baa7f24bac54baf9e2f22f6f33ae6fa8b8c0f Env: REF_NAME=gh-readonly-queue/next/pr-14891-76ca48a2187e3506bb464eae574e49476c2876ca CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 19:16:31 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14891_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=4 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9c4664a14eb81b97_next 19:16:31 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 19:16:31 Note: Google Test filter = ClientIVCKernelCapacity.MaxCapacityPassing 19:16:31 [==========] Running 1 test from 1 test suite. 19:16:31 [----------] Global test environment set-up. 19:16:31 [----------] 1 test from ClientIVCKernelCapacity 19:16:31 [ RUN ] ClientIVCKernelCapacity.MaxCapacityPassing 19:16:31 BN254 commitment key size: 262144 (mem: 6.00 MiB) 19:16:31 BN254 commitment key size: 262144 (mem: 170.14 MiB) 19:16:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 554.18 MiB) 19:16:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 554.18 MiB) 19:16:33 goblin ecc op : 10/1024 (mem: 554.18 MiB) 19:16:33 busread : 3/6000 (mem: 554.18 MiB) 19:16:33 lookups : 15000/15000 (mem: 554.18 MiB) 19:16:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 554.18 MiB) 19:16:33 arithmetic : 56000/56000 (mem: 554.18 MiB) 19:16:33 delta range : 18000/18000 (mem: 554.18 MiB) 19:16:33 elliptic : 4958/6000 (mem: 554.18 MiB) 19:16:33 auxiliary : 26000/26000 (mem: 554.18 MiB) 19:16:33 poseidon ext : 2/17000 (mem: 554.18 MiB) 19:16:33 poseidon int : 2/92000 (mem: 554.18 MiB) 19:16:33 overflow : 248619/248619 (mem: 554.18 MiB) 19:16:33 (mem: 554.18 MiB) 19:16:33 Total structured size: 490644 (mem: 554.18 MiB) 19:16:37 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1652.81 MiB) 19:16:47 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1673.85 MiB) 19:16:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 1673.85 MiB) 19:16:47 goblin ecc op : 56/1024 (mem: 1673.85 MiB) 19:16:47 busread : 3/6000 (mem: 1673.85 MiB) 19:16:47 lookups : 13540/15000 (mem: 1673.85 MiB) 19:16:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1673.85 MiB) 19:16:47 arithmetic : 32894/56000 (mem: 1673.85 MiB) 19:16:47 delta range : 10239/18000 (mem: 1673.85 MiB) 19:16:47 elliptic : 6000/6000 (mem: 1673.85 MiB) 19:16:47 auxiliary : 11827/26000 (mem: 1673.85 MiB) 19:16:47 poseidon ext : 1302/17000 (mem: 1673.85 MiB) 19:16:47 poseidon int : 7412/92000 (mem: 1673.85 MiB) 19:16:47 overflow : 1850/1850 (mem: 1673.85 MiB) 19:16:47 (mem: 1673.85 MiB) 19:16:47 Total structured size: 243875 (mem: 1673.85 MiB) 19:16:49 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1766.80 MiB) 19:16: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: 1766.80 MiB) 19:16:57 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1828.80 MiB) 19:16:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 1828.80 MiB) 19:16:57 goblin ecc op : 10/1024 (mem: 1828.80 MiB) 19:16:57 busread : 3/6000 (mem: 1828.80 MiB) 19:16:57 lookups : 15000/15000 (mem: 1828.80 MiB) 19:16:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1828.80 MiB) 19:16:57 arithmetic : 48085/56000 (mem: 1828.80 MiB) 19:16:57 delta range : 18000/18000 (mem: 1828.80 MiB) 19:16:57 elliptic : 4132/6000 (mem: 1828.80 MiB) 19:16:57 auxiliary : 23580/26000 (mem: 1828.80 MiB) 19:16:57 poseidon ext : 2/17000 (mem: 1828.80 MiB) 19:16:57 poseidon int : 2/92000 (mem: 1828.80 MiB) 19:16:57 overflow : 17783/17783 (mem: 1828.80 MiB) 19:16:57 (mem: 1828.80 MiB) 19:16:57 Total structured size: 259808 (mem: 1828.80 MiB) 19:17:00 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1828.80 MiB) 19:17: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: 1828.80 MiB) 19:17:08 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.80 MiB) 19:17:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.80 MiB) 19:17:08 goblin ecc op : 792/1024 (mem: 1876.80 MiB) 19:17:08 busread : 3/6000 (mem: 1876.80 MiB) 19:17:08 lookups : 13540/15000 (mem: 1876.80 MiB) 19:17:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1876.80 MiB) 19:17:08 arithmetic : 40019/56000 (mem: 1876.80 MiB) 19:17:08 delta range : 11097/18000 (mem: 1876.80 MiB) 19:17:08 elliptic : 6000/6000 (mem: 1876.80 MiB) 19:17:08 auxiliary : 11827/26000 (mem: 1876.80 MiB) 19:17:08 poseidon ext : 4942/17000 (mem: 1876.80 MiB) 19:17:08 poseidon int : 28160/92000 (mem: 1876.80 MiB) 19:17:08 overflow : 1850/1850 (mem: 1876.80 MiB) 19:17:08 (mem: 1876.80 MiB) 19:17:08 Total structured size: 243875 (mem: 1876.80 MiB) 19:17:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.80 MiB) 19:17:10 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1876.80 MiB) 19:17:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.80 MiB) 19:17:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.80 MiB) 19:17:20 goblin ecc op : 10/1024 (mem: 1876.80 MiB) 19:17:20 busread : 3/6000 (mem: 1876.80 MiB) 19:17:20 lookups : 15000/15000 (mem: 1876.80 MiB) 19:17:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1876.80 MiB) 19:17:20 arithmetic : 48085/56000 (mem: 1876.80 MiB) 19:17:20 delta range : 18000/18000 (mem: 1876.80 MiB) 19:17:20 elliptic : 4132/6000 (mem: 1876.80 MiB) 19:17:20 auxiliary : 23580/26000 (mem: 1876.80 MiB) 19:17:20 poseidon ext : 2/17000 (mem: 1876.80 MiB) 19:17:20 poseidon int : 2/92000 (mem: 1876.80 MiB) 19:17:20 overflow : 17783/17783 (mem: 1876.80 MiB) 19:17:20 (mem: 1876.80 MiB) 19:17:20 Total structured size: 259808 (mem: 1876.80 MiB) 19:17:22 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.80 MiB) 19:17: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: 1876.80 MiB) 19:17:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1877.18 MiB) 19:17:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1877.18 MiB) 19:17:30 goblin ecc op : 792/1024 (mem: 1877.18 MiB) 19:17:30 busread : 3/6000 (mem: 1877.18 MiB) 19:17:30 lookups : 13540/15000 (mem: 1877.18 MiB) 19:17:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1877.18 MiB) 19:17:30 arithmetic : 40019/56000 (mem: 1877.18 MiB) 19:17:30 delta range : 11097/18000 (mem: 1877.18 MiB) 19:17:30 elliptic : 6000/6000 (mem: 1877.18 MiB) 19:17:30 auxiliary : 11827/26000 (mem: 1877.18 MiB) 19:17:30 poseidon ext : 4942/17000 (mem: 1877.18 MiB) 19:17:30 poseidon int : 28160/92000 (mem: 1877.18 MiB) 19:17:30 overflow : 1850/1850 (mem: 1877.18 MiB) 19:17:30 (mem: 1877.18 MiB) 19:17:30 Total structured size: 243875 (mem: 1877.18 MiB) 19:17:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1877.18 MiB) 19:17:32 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1877.18 MiB) 19:17:40 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1877.18 MiB) 19:17:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 1877.18 MiB) 19:17:40 goblin ecc op : 10/1024 (mem: 1877.18 MiB) 19:17:40 busread : 3/6000 (mem: 1877.18 MiB) 19:17:40 lookups : 15000/15000 (mem: 1877.18 MiB) 19:17:40 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1877.18 MiB) 19:17:40 arithmetic : 48085/56000 (mem: 1877.18 MiB) 19:17:40 delta range : 18000/18000 (mem: 1877.18 MiB) 19:17:40 elliptic : 4132/6000 (mem: 1877.18 MiB) 19:17:40 auxiliary : 23580/26000 (mem: 1877.18 MiB) 19:17:40 poseidon ext : 2/17000 (mem: 1877.18 MiB) 19:17:40 poseidon int : 2/92000 (mem: 1877.18 MiB) 19:17:40 overflow : 17783/17783 (mem: 1877.18 MiB) 19:17:40 (mem: 1877.18 MiB) 19:17:40 Total structured size: 259808 (mem: 1877.18 MiB) 19:17:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1877.18 MiB) 19:17: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: 1877.18 MiB) 19:17:50 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.11 MiB) 19:17:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.11 MiB) 19:17:50 goblin ecc op : 792/1024 (mem: 1878.11 MiB) 19:17:50 busread : 3/6000 (mem: 1878.11 MiB) 19:17:50 lookups : 13540/15000 (mem: 1878.11 MiB) 19:17:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1878.11 MiB) 19:17:50 arithmetic : 40019/56000 (mem: 1878.11 MiB) 19:17:50 delta range : 11097/18000 (mem: 1878.11 MiB) 19:17:50 elliptic : 6000/6000 (mem: 1878.11 MiB) 19:17:50 auxiliary : 11827/26000 (mem: 1878.11 MiB) 19:17:50 poseidon ext : 4942/17000 (mem: 1878.11 MiB) 19:17:50 poseidon int : 28160/92000 (mem: 1878.11 MiB) 19:17:50 overflow : 1850/1850 (mem: 1878.11 MiB) 19:17:50 (mem: 1878.11 MiB) 19:17:50 Total structured size: 243875 (mem: 1878.11 MiB) 19:17:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.11 MiB) 19:17:53 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1878.11 MiB) 19:18:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.11 MiB) 19:18:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.11 MiB) 19:18:01 goblin ecc op : 10/1024 (mem: 1878.11 MiB) 19:18:01 busread : 3/6000 (mem: 1878.11 MiB) 19:18:01 lookups : 15000/15000 (mem: 1878.11 MiB) 19:18:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1878.11 MiB) 19:18:01 arithmetic : 48085/56000 (mem: 1878.11 MiB) 19:18:01 delta range : 18000/18000 (mem: 1878.11 MiB) 19:18:01 elliptic : 4132/6000 (mem: 1878.11 MiB) 19:18:01 auxiliary : 23580/26000 (mem: 1878.11 MiB) 19:18:01 poseidon ext : 2/17000 (mem: 1878.11 MiB) 19:18:01 poseidon int : 2/92000 (mem: 1878.11 MiB) 19:18:01 overflow : 17783/17783 (mem: 1878.11 MiB) 19:18:01 (mem: 1878.11 MiB) 19:18:01 Total structured size: 259808 (mem: 1878.11 MiB) 19:18:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.11 MiB) 19:18: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: 1878.11 MiB) 19:18:09 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.10 MiB) 19:18:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.10 MiB) 19:18:09 goblin ecc op : 792/1024 (mem: 1879.10 MiB) 19:18:09 busread : 3/6000 (mem: 1879.10 MiB) 19:18:09 lookups : 13540/15000 (mem: 1879.10 MiB) 19:18:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1879.10 MiB) 19:18:09 arithmetic : 40019/56000 (mem: 1879.10 MiB) 19:18:09 delta range : 11097/18000 (mem: 1879.10 MiB) 19:18:09 elliptic : 6000/6000 (mem: 1879.10 MiB) 19:18:09 auxiliary : 11827/26000 (mem: 1879.10 MiB) 19:18:09 poseidon ext : 4942/17000 (mem: 1879.10 MiB) 19:18:09 poseidon int : 28160/92000 (mem: 1879.10 MiB) 19:18:09 overflow : 1850/1850 (mem: 1879.10 MiB) 19:18:09 (mem: 1879.10 MiB) 19:18:09 Total structured size: 243875 (mem: 1879.10 MiB) 19:18:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.10 MiB) 19:18: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: 1879.10 MiB) 19:18:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.10 MiB) 19:18:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.10 MiB) 19:18:18 goblin ecc op : 10/1024 (mem: 1879.10 MiB) 19:18:18 busread : 3/6000 (mem: 1879.10 MiB) 19:18:18 lookups : 15000/15000 (mem: 1879.10 MiB) 19:18:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1879.10 MiB) 19:18:18 arithmetic : 48085/56000 (mem: 1879.10 MiB) 19:18:18 delta range : 18000/18000 (mem: 1879.10 MiB) 19:18:18 elliptic : 4132/6000 (mem: 1879.10 MiB) 19:18:18 auxiliary : 23580/26000 (mem: 1879.10 MiB) 19:18:18 poseidon ext : 2/17000 (mem: 1879.10 MiB) 19:18:18 poseidon int : 2/92000 (mem: 1879.10 MiB) 19:18:18 overflow : 17783/17783 (mem: 1879.10 MiB) 19:18:18 (mem: 1879.10 MiB) 19:18:18 Total structured size: 259808 (mem: 1879.10 MiB) 19:18:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.10 MiB) 19:18:21 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1879.10 MiB) 19:18:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.10 MiB) 19:18:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.10 MiB) 19:18:28 goblin ecc op : 792/1024 (mem: 1879.10 MiB) 19:18:28 busread : 3/6000 (mem: 1879.10 MiB) 19:18:28 lookups : 13540/15000 (mem: 1879.10 MiB) 19:18:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1879.10 MiB) 19:18:28 arithmetic : 40019/56000 (mem: 1879.10 MiB) 19:18:28 delta range : 11097/18000 (mem: 1879.10 MiB) 19:18:28 elliptic : 6000/6000 (mem: 1879.10 MiB) 19:18:28 auxiliary : 11827/26000 (mem: 1879.10 MiB) 19:18:28 poseidon ext : 4942/17000 (mem: 1879.10 MiB) 19:18:28 poseidon int : 28160/92000 (mem: 1879.10 MiB) 19:18:28 overflow : 1850/1850 (mem: 1879.10 MiB) 19:18:28 (mem: 1879.10 MiB) 19:18:28 Total structured size: 243875 (mem: 1879.10 MiB) 19:18:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.10 MiB) 19:18:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1879.10 MiB) 19:18:37 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.10 MiB) 19:18:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.10 MiB) 19:18:37 goblin ecc op : 10/1024 (mem: 1911.10 MiB) 19:18:37 busread : 3/6000 (mem: 1911.10 MiB) 19:18:37 lookups : 15000/15000 (mem: 1911.10 MiB) 19:18:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1911.10 MiB) 19:18:37 arithmetic : 48085/56000 (mem: 1911.10 MiB) 19:18:37 delta range : 18000/18000 (mem: 1911.10 MiB) 19:18:37 elliptic : 4132/6000 (mem: 1911.10 MiB) 19:18:37 auxiliary : 23580/26000 (mem: 1911.10 MiB) 19:18:37 poseidon ext : 2/17000 (mem: 1911.10 MiB) 19:18:37 poseidon int : 2/92000 (mem: 1911.10 MiB) 19:18:37 overflow : 17783/17783 (mem: 1911.10 MiB) 19:18:37 (mem: 1911.10 MiB) 19:18:37 Total structured size: 259808 (mem: 1911.10 MiB) 19:18:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.10 MiB) 19:18:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1911.10 MiB) 19:18:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.10 MiB) 19:18:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.10 MiB) 19:18:44 goblin ecc op : 792/1024 (mem: 1911.10 MiB) 19:18:44 busread : 3/6000 (mem: 1911.10 MiB) 19:18:44 lookups : 13540/15000 (mem: 1911.10 MiB) 19:18:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1911.10 MiB) 19:18:44 arithmetic : 40019/56000 (mem: 1911.10 MiB) 19:18:44 delta range : 11097/18000 (mem: 1911.10 MiB) 19:18:44 elliptic : 6000/6000 (mem: 1911.10 MiB) 19:18:44 auxiliary : 11827/26000 (mem: 1911.10 MiB) 19:18:44 poseidon ext : 4942/17000 (mem: 1911.10 MiB) 19:18:44 poseidon int : 28160/92000 (mem: 1911.10 MiB) 19:18:44 overflow : 1850/1850 (mem: 1911.10 MiB) 19:18:44 (mem: 1911.10 MiB) 19:18:44 Total structured size: 243875 (mem: 1911.10 MiB) 19:18:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.10 MiB) 19:18: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: 1911.10 MiB) 19:18:53 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.41 MiB) 19:18:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.41 MiB) 19:18:53 goblin ecc op : 10/1024 (mem: 1911.41 MiB) 19:18:53 busread : 3/6000 (mem: 1911.41 MiB) 19:18:53 lookups : 15000/15000 (mem: 1911.41 MiB) 19:18:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1911.41 MiB) 19:18:53 arithmetic : 48085/56000 (mem: 1911.41 MiB) 19:18:53 delta range : 18000/18000 (mem: 1911.41 MiB) 19:18:53 elliptic : 4132/6000 (mem: 1911.41 MiB) 19:18:53 auxiliary : 23580/26000 (mem: 1911.41 MiB) 19:18:53 poseidon ext : 2/17000 (mem: 1911.41 MiB) 19:18:53 poseidon int : 2/92000 (mem: 1911.41 MiB) 19:18:53 overflow : 17783/17783 (mem: 1911.41 MiB) 19:18:53 (mem: 1911.41 MiB) 19:18:53 Total structured size: 259808 (mem: 1911.41 MiB) 19:18:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.41 MiB) 19:18:55 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1911.41 MiB) 19:19:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.41 MiB) 19:19:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.41 MiB) 19:19:01 goblin ecc op : 792/1024 (mem: 1911.41 MiB) 19:19:01 busread : 3/6000 (mem: 1911.41 MiB) 19:19:01 lookups : 13540/15000 (mem: 1911.41 MiB) 19:19:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1911.41 MiB) 19:19:01 arithmetic : 40019/56000 (mem: 1911.41 MiB) 19:19:01 delta range : 11097/18000 (mem: 1911.41 MiB) 19:19:01 elliptic : 6000/6000 (mem: 1911.41 MiB) 19:19:01 auxiliary : 11827/26000 (mem: 1911.41 MiB) 19:19:01 poseidon ext : 4942/17000 (mem: 1911.41 MiB) 19:19:01 poseidon int : 28160/92000 (mem: 1911.41 MiB) 19:19:01 overflow : 1850/1850 (mem: 1911.41 MiB) 19:19:01 (mem: 1911.41 MiB) 19:19:01 Total structured size: 243875 (mem: 1911.41 MiB) 19:19:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.41 MiB) 19:19: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: 1911.41 MiB) 19:19:09 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.41 MiB) 19:19:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.41 MiB) 19:19:09 goblin ecc op : 10/1024 (mem: 1911.41 MiB) 19:19:09 busread : 3/6000 (mem: 1911.41 MiB) 19:19:09 lookups : 15000/15000 (mem: 1911.41 MiB) 19:19:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1911.41 MiB) 19:19:09 arithmetic : 48085/56000 (mem: 1911.41 MiB) 19:19:09 delta range : 18000/18000 (mem: 1911.41 MiB) 19:19:09 elliptic : 4132/6000 (mem: 1911.41 MiB) 19:19:09 auxiliary : 23580/26000 (mem: 1911.41 MiB) 19:19:09 poseidon ext : 2/17000 (mem: 1911.41 MiB) 19:19:09 poseidon int : 2/92000 (mem: 1911.41 MiB) 19:19:09 overflow : 17783/17783 (mem: 1911.41 MiB) 19:19:09 (mem: 1911.41 MiB) 19:19:09 Total structured size: 259808 (mem: 1911.41 MiB) 19:19:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.41 MiB) 19:19: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: 1911.41 MiB) 19:19:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.41 MiB) 19:19:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.41 MiB) 19:19:17 goblin ecc op : 792/1024 (mem: 1911.41 MiB) 19:19:17 busread : 3/6000 (mem: 1911.41 MiB) 19:19:17 lookups : 13540/15000 (mem: 1911.41 MiB) 19:19:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1911.41 MiB) 19:19:17 arithmetic : 40019/56000 (mem: 1911.41 MiB) 19:19:17 delta range : 11097/18000 (mem: 1911.41 MiB) 19:19:17 elliptic : 6000/6000 (mem: 1911.41 MiB) 19:19:17 auxiliary : 11827/26000 (mem: 1911.41 MiB) 19:19:17 poseidon ext : 4942/17000 (mem: 1911.41 MiB) 19:19:17 poseidon int : 28160/92000 (mem: 1911.41 MiB) 19:19:17 overflow : 1850/1850 (mem: 1911.41 MiB) 19:19:17 (mem: 1911.41 MiB) 19:19:17 Total structured size: 243875 (mem: 1911.41 MiB) 19:19:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.41 MiB) 19:19: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: 1911.41 MiB) 19:19:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.84 MiB) 19:19:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.84 MiB) 19:19:26 goblin ecc op : 10/1024 (mem: 1911.84 MiB) 19:19:26 busread : 3/6000 (mem: 1911.84 MiB) 19:19:26 lookups : 15000/15000 (mem: 1911.84 MiB) 19:19:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1911.84 MiB) 19:19:26 arithmetic : 48085/56000 (mem: 1911.84 MiB) 19:19:26 delta range : 18000/18000 (mem: 1911.84 MiB) 19:19:26 elliptic : 4132/6000 (mem: 1911.84 MiB) 19:19:26 auxiliary : 23580/26000 (mem: 1911.84 MiB) 19:19:26 poseidon ext : 2/17000 (mem: 1911.84 MiB) 19:19:26 poseidon int : 2/92000 (mem: 1911.84 MiB) 19:19:26 overflow : 17783/17783 (mem: 1911.84 MiB) 19:19:26 (mem: 1911.84 MiB) 19:19:26 Total structured size: 259808 (mem: 1911.84 MiB) 19:19:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.84 MiB) 19:19:28 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1911.84 MiB) 19:19:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.84 MiB) 19:19:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.84 MiB) 19:19:35 goblin ecc op : 792/1024 (mem: 1911.84 MiB) 19:19:35 busread : 3/6000 (mem: 1911.84 MiB) 19:19:35 lookups : 13540/15000 (mem: 1911.84 MiB) 19:19:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1911.84 MiB) 19:19:35 arithmetic : 40019/56000 (mem: 1911.84 MiB) 19:19:35 delta range : 11097/18000 (mem: 1911.84 MiB) 19:19:35 elliptic : 6000/6000 (mem: 1911.84 MiB) 19:19:35 auxiliary : 11827/26000 (mem: 1911.84 MiB) 19:19:35 poseidon ext : 4942/17000 (mem: 1911.84 MiB) 19:19:35 poseidon int : 28160/92000 (mem: 1911.84 MiB) 19:19:35 overflow : 1850/1850 (mem: 1911.84 MiB) 19:19:35 (mem: 1911.84 MiB) 19:19:35 Total structured size: 243875 (mem: 1911.84 MiB) 19:19:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.84 MiB) 19:19:37 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1911.84 MiB) 19:19:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.46 MiB) 19:19:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.46 MiB) 19:19:44 goblin ecc op : 10/1024 (mem: 1913.46 MiB) 19:19:44 busread : 3/6000 (mem: 1913.46 MiB) 19:19:44 lookups : 15000/15000 (mem: 1913.46 MiB) 19:19:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.46 MiB) 19:19:44 arithmetic : 48085/56000 (mem: 1913.46 MiB) 19:19:44 delta range : 18000/18000 (mem: 1913.46 MiB) 19:19:44 elliptic : 4132/6000 (mem: 1913.46 MiB) 19:19:44 auxiliary : 23580/26000 (mem: 1913.46 MiB) 19:19:44 poseidon ext : 2/17000 (mem: 1913.46 MiB) 19:19:44 poseidon int : 2/92000 (mem: 1913.46 MiB) 19:19:44 overflow : 17783/17783 (mem: 1913.46 MiB) 19:19:44 (mem: 1913.46 MiB) 19:19:44 Total structured size: 259808 (mem: 1913.46 MiB) 19:19:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.46 MiB) 19:19: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: 1913.46 MiB) 19:19:53 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.46 MiB) 19:19:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.46 MiB) 19:19:53 goblin ecc op : 792/1024 (mem: 1913.46 MiB) 19:19:53 busread : 3/6000 (mem: 1913.46 MiB) 19:19:53 lookups : 13540/15000 (mem: 1913.46 MiB) 19:19:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.46 MiB) 19:19:53 arithmetic : 40019/56000 (mem: 1913.46 MiB) 19:19:53 delta range : 11097/18000 (mem: 1913.46 MiB) 19:19:53 elliptic : 6000/6000 (mem: 1913.46 MiB) 19:19:53 auxiliary : 11827/26000 (mem: 1913.46 MiB) 19:19:53 poseidon ext : 4942/17000 (mem: 1913.46 MiB) 19:19:53 poseidon int : 28160/92000 (mem: 1913.46 MiB) 19:19:53 overflow : 1850/1850 (mem: 1913.46 MiB) 19:19:53 (mem: 1913.46 MiB) 19:19:53 Total structured size: 243875 (mem: 1913.46 MiB) 19:19:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.46 MiB) 19:19:55 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1913.46 MiB) 19:20:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.46 MiB) 19:20:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.46 MiB) 19:20:01 goblin ecc op : 10/1024 (mem: 1913.46 MiB) 19:20:01 busread : 3/6000 (mem: 1913.46 MiB) 19:20:01 lookups : 15000/15000 (mem: 1913.46 MiB) 19:20:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.46 MiB) 19:20:01 arithmetic : 48085/56000 (mem: 1913.46 MiB) 19:20:01 delta range : 18000/18000 (mem: 1913.46 MiB) 19:20:01 elliptic : 4132/6000 (mem: 1913.46 MiB) 19:20:01 auxiliary : 23580/26000 (mem: 1913.46 MiB) 19:20:01 poseidon ext : 2/17000 (mem: 1913.46 MiB) 19:20:01 poseidon int : 2/92000 (mem: 1913.46 MiB) 19:20:01 overflow : 17783/17783 (mem: 1913.46 MiB) 19:20:01 (mem: 1913.46 MiB) 19:20:01 Total structured size: 259808 (mem: 1913.46 MiB) 19:20:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.46 MiB) 19:20: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: 1913.46 MiB) 19:20:09 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.46 MiB) 19:20:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.46 MiB) 19:20:09 goblin ecc op : 792/1024 (mem: 1913.46 MiB) 19:20:09 busread : 3/6000 (mem: 1913.46 MiB) 19:20:09 lookups : 13540/15000 (mem: 1913.46 MiB) 19:20:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.46 MiB) 19:20:09 arithmetic : 40019/56000 (mem: 1913.46 MiB) 19:20:09 delta range : 11097/18000 (mem: 1913.46 MiB) 19:20:09 elliptic : 6000/6000 (mem: 1913.46 MiB) 19:20:09 auxiliary : 11827/26000 (mem: 1913.46 MiB) 19:20:09 poseidon ext : 4942/17000 (mem: 1913.46 MiB) 19:20:09 poseidon int : 28160/92000 (mem: 1913.46 MiB) 19:20:09 overflow : 1850/1850 (mem: 1913.46 MiB) 19:20:09 (mem: 1913.46 MiB) 19:20:09 Total structured size: 243875 (mem: 1913.46 MiB) 19:20:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.46 MiB) 19:20: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: 1913.46 MiB) 19:20:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.58 MiB) 19:20:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.58 MiB) 19:20:17 goblin ecc op : 10/1024 (mem: 1913.58 MiB) 19:20:17 busread : 3/6000 (mem: 1913.58 MiB) 19:20:17 lookups : 15000/15000 (mem: 1913.58 MiB) 19:20:17 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.58 MiB) 19:20:17 arithmetic : 48085/56000 (mem: 1913.58 MiB) 19:20:17 delta range : 18000/18000 (mem: 1913.58 MiB) 19:20:17 elliptic : 4132/6000 (mem: 1913.58 MiB) 19:20:17 auxiliary : 23580/26000 (mem: 1913.58 MiB) 19:20:17 poseidon ext : 2/17000 (mem: 1913.58 MiB) 19:20:17 poseidon int : 2/92000 (mem: 1913.58 MiB) 19:20:17 overflow : 17783/17783 (mem: 1913.58 MiB) 19:20:17 (mem: 1913.58 MiB) 19:20:17 Total structured size: 259808 (mem: 1913.58 MiB) 19:20:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.58 MiB) 19:20: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: 1913.58 MiB) 19:20:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.58 MiB) 19:20:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.58 MiB) 19:20:25 goblin ecc op : 792/1024 (mem: 1913.58 MiB) 19:20:25 busread : 3/6000 (mem: 1913.58 MiB) 19:20:25 lookups : 13540/15000 (mem: 1913.58 MiB) 19:20:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.58 MiB) 19:20:25 arithmetic : 40019/56000 (mem: 1913.58 MiB) 19:20:25 delta range : 11097/18000 (mem: 1913.58 MiB) 19:20:25 elliptic : 6000/6000 (mem: 1913.58 MiB) 19:20:25 auxiliary : 11827/26000 (mem: 1913.58 MiB) 19:20:25 poseidon ext : 4942/17000 (mem: 1913.58 MiB) 19:20:25 poseidon int : 28160/92000 (mem: 1913.58 MiB) 19:20:25 overflow : 1850/1850 (mem: 1913.58 MiB) 19:20:25 (mem: 1913.58 MiB) 19:20:25 Total structured size: 243875 (mem: 1913.58 MiB) 19:20:26 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.58 MiB) 19:20:26 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1913.58 MiB) 19:20:32 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.58 MiB) 19:20:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.58 MiB) 19:20:32 goblin ecc op : 10/1024 (mem: 1913.58 MiB) 19:20:32 busread : 3/6000 (mem: 1913.58 MiB) 19:20:32 lookups : 15000/15000 (mem: 1913.58 MiB) 19:20:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.58 MiB) 19:20:32 arithmetic : 48085/56000 (mem: 1913.58 MiB) 19:20:32 delta range : 18000/18000 (mem: 1913.58 MiB) 19:20:32 elliptic : 4132/6000 (mem: 1913.58 MiB) 19:20:32 auxiliary : 23580/26000 (mem: 1913.58 MiB) 19:20:32 poseidon ext : 2/17000 (mem: 1913.58 MiB) 19:20:32 poseidon int : 2/92000 (mem: 1913.58 MiB) 19:20:32 overflow : 17783/17783 (mem: 1913.58 MiB) 19:20:32 (mem: 1913.58 MiB) 19:20:32 Total structured size: 259808 (mem: 1913.58 MiB) 19:20:34 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.58 MiB) 19:20:34 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1913.58 MiB) 19:20:40 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.58 MiB) 19:20:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.58 MiB) 19:20:40 goblin ecc op : 792/1024 (mem: 1913.58 MiB) 19:20:40 busread : 3/6000 (mem: 1913.58 MiB) 19:20:40 lookups : 13540/15000 (mem: 1913.58 MiB) 19:20:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.58 MiB) 19:20:40 arithmetic : 40019/56000 (mem: 1913.58 MiB) 19:20:40 delta range : 11097/18000 (mem: 1913.58 MiB) 19:20:40 elliptic : 6000/6000 (mem: 1913.58 MiB) 19:20:40 auxiliary : 11827/26000 (mem: 1913.58 MiB) 19:20:40 poseidon ext : 4942/17000 (mem: 1913.58 MiB) 19:20:40 poseidon int : 28160/92000 (mem: 1913.58 MiB) 19:20:40 overflow : 1850/1850 (mem: 1913.58 MiB) 19:20:40 (mem: 1913.58 MiB) 19:20:40 Total structured size: 243875 (mem: 1913.58 MiB) 19:20:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.58 MiB) 19:20: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: 1913.58 MiB) 19:20:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.58 MiB) 19:20:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.58 MiB) 19:20:48 goblin ecc op : 10/1024 (mem: 1913.58 MiB) 19:20:48 busread : 3/6000 (mem: 1913.58 MiB) 19:20:48 lookups : 15000/15000 (mem: 1913.58 MiB) 19:20:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.58 MiB) 19:20:48 arithmetic : 48085/56000 (mem: 1913.58 MiB) 19:20:48 delta range : 18000/18000 (mem: 1913.58 MiB) 19:20:48 elliptic : 4132/6000 (mem: 1913.58 MiB) 19:20:48 auxiliary : 23580/26000 (mem: 1913.58 MiB) 19:20:48 poseidon ext : 2/17000 (mem: 1913.58 MiB) 19:20:48 poseidon int : 2/92000 (mem: 1913.58 MiB) 19:20:48 overflow : 17783/17783 (mem: 1913.58 MiB) 19:20:48 (mem: 1913.58 MiB) 19:20:48 Total structured size: 259808 (mem: 1913.58 MiB) 19:20:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.58 MiB) 19:20:50 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1913.58 MiB) 19:20:56 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.58 MiB) 19:20:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.58 MiB) 19:20:56 goblin ecc op : 792/1024 (mem: 1913.58 MiB) 19:20:56 busread : 3/6000 (mem: 1913.58 MiB) 19:20:56 lookups : 13540/15000 (mem: 1913.58 MiB) 19:20:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.58 MiB) 19:20:56 arithmetic : 40019/56000 (mem: 1913.58 MiB) 19:20:56 delta range : 11097/18000 (mem: 1913.58 MiB) 19:20:56 elliptic : 6000/6000 (mem: 1913.58 MiB) 19:20:56 auxiliary : 11827/26000 (mem: 1913.58 MiB) 19:20:56 poseidon ext : 4942/17000 (mem: 1913.58 MiB) 19:20:56 poseidon int : 28160/92000 (mem: 1913.58 MiB) 19:20:56 overflow : 1850/1850 (mem: 1913.58 MiB) 19:20:56 (mem: 1913.58 MiB) 19:20:56 Total structured size: 243875 (mem: 1913.58 MiB) 19:20:57 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.58 MiB) 19:20: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: 1913.58 MiB) 19:21:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:04 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:21:04 busread : 3/6000 (mem: 1915.47 MiB) 19:21:04 lookups : 15000/15000 (mem: 1915.47 MiB) 19:21:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:04 arithmetic : 56000/56000 (mem: 1915.47 MiB) 19:21:04 delta range : 18000/18000 (mem: 1915.47 MiB) 19:21:04 elliptic : 4958/6000 (mem: 1915.47 MiB) 19:21:04 auxiliary : 26000/26000 (mem: 1915.47 MiB) 19:21:04 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:21:04 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:21:04 overflow : 248619/248619 (mem: 1915.47 MiB) 19:21:04 (mem: 1915.47 MiB) 19:21:04 Total structured size: 490644 (mem: 1915.47 MiB) 19:21: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: 1915.47 MiB) 19:21:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:11 goblin ecc op : 56/1024 (mem: 1915.47 MiB) 19:21:11 busread : 3/6000 (mem: 1915.47 MiB) 19:21:11 lookups : 13540/15000 (mem: 1915.47 MiB) 19:21:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:11 arithmetic : 32894/56000 (mem: 1915.47 MiB) 19:21:11 delta range : 10239/18000 (mem: 1915.47 MiB) 19:21:11 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:21:11 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:21:11 poseidon ext : 1302/17000 (mem: 1915.47 MiB) 19:21:11 poseidon int : 7412/92000 (mem: 1915.47 MiB) 19:21:11 overflow : 1850/1850 (mem: 1915.47 MiB) 19:21:11 (mem: 1915.47 MiB) 19:21:11 Total structured size: 243875 (mem: 1915.47 MiB) 19:21:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21: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: 1915.47 MiB) 19:21:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:19 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:21:19 busread : 3/6000 (mem: 1915.47 MiB) 19:21:19 lookups : 15000/15000 (mem: 1915.47 MiB) 19:21:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:19 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:21:19 delta range : 18000/18000 (mem: 1915.47 MiB) 19:21:19 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:21:19 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:21:19 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:21:19 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:21:19 overflow : 17783/17783 (mem: 1915.47 MiB) 19:21:19 (mem: 1915.47 MiB) 19:21:19 Total structured size: 259808 (mem: 1915.47 MiB) 19:21:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21: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: 1915.47 MiB) 19:21:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:26 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:21:26 busread : 3/6000 (mem: 1915.47 MiB) 19:21:26 lookups : 13540/15000 (mem: 1915.47 MiB) 19:21:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:26 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:21:26 delta range : 11097/18000 (mem: 1915.47 MiB) 19:21:26 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:21:26 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:21:26 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:21:26 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:21:26 overflow : 1850/1850 (mem: 1915.47 MiB) 19:21:26 (mem: 1915.47 MiB) 19:21:26 Total structured size: 243875 (mem: 1915.47 MiB) 19:21:26 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21:26 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:21:32 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:32 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:21:32 busread : 3/6000 (mem: 1915.47 MiB) 19:21:32 lookups : 15000/15000 (mem: 1915.47 MiB) 19:21:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:32 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:21:32 delta range : 18000/18000 (mem: 1915.47 MiB) 19:21:32 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:21:32 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:21:32 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:21:32 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:21:32 overflow : 17783/17783 (mem: 1915.47 MiB) 19:21:32 (mem: 1915.47 MiB) 19:21:32 Total structured size: 259808 (mem: 1915.47 MiB) 19:21:33 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21: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: 1915.47 MiB) 19:21:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:39 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:21:39 busread : 3/6000 (mem: 1915.47 MiB) 19:21:39 lookups : 13540/15000 (mem: 1915.47 MiB) 19:21:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:39 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:21:39 delta range : 11097/18000 (mem: 1915.47 MiB) 19:21:39 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:21:39 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:21:39 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:21:39 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:21:39 overflow : 1850/1850 (mem: 1915.47 MiB) 19:21:39 (mem: 1915.47 MiB) 19:21:39 Total structured size: 243875 (mem: 1915.47 MiB) 19:21:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:21:45 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:45 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:21:45 busread : 3/6000 (mem: 1915.47 MiB) 19:21:45 lookups : 15000/15000 (mem: 1915.47 MiB) 19:21:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:45 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:21:45 delta range : 18000/18000 (mem: 1915.47 MiB) 19:21:45 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:21:45 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:21:45 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:21:45 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:21:45 overflow : 17783/17783 (mem: 1915.47 MiB) 19:21:45 (mem: 1915.47 MiB) 19:21:45 Total structured size: 259808 (mem: 1915.47 MiB) 19:21:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:21:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:51 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:21:51 busread : 3/6000 (mem: 1915.47 MiB) 19:21:51 lookups : 13540/15000 (mem: 1915.47 MiB) 19:21:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:51 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:21:51 delta range : 11097/18000 (mem: 1915.47 MiB) 19:21:51 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:21:51 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:21:51 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:21:51 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:21:51 overflow : 1850/1850 (mem: 1915.47 MiB) 19:21:51 (mem: 1915.47 MiB) 19:21:51 Total structured size: 243875 (mem: 1915.47 MiB) 19:21:51 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21:51 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:21:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:21:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:21:58 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:21:58 busread : 3/6000 (mem: 1915.47 MiB) 19:21:58 lookups : 15000/15000 (mem: 1915.47 MiB) 19:21:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:21:58 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:21:58 delta range : 18000/18000 (mem: 1915.47 MiB) 19:21:58 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:21:58 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:21:58 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:21:58 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:21:58 overflow : 17783/17783 (mem: 1915.47 MiB) 19:21:58 (mem: 1915.47 MiB) 19:21:58 Total structured size: 259808 (mem: 1915.47 MiB) 19:21:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:21:58 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:22:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:04 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:22:04 busread : 3/6000 (mem: 1915.47 MiB) 19:22:04 lookups : 13540/15000 (mem: 1915.47 MiB) 19:22:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:04 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:22:04 delta range : 11097/18000 (mem: 1915.47 MiB) 19:22:04 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:22:04 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:22:04 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:22:04 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:22:04 overflow : 1850/1850 (mem: 1915.47 MiB) 19:22:04 (mem: 1915.47 MiB) 19:22:04 Total structured size: 243875 (mem: 1915.47 MiB) 19:22:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22:04 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:22:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:11 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:22:11 busread : 3/6000 (mem: 1915.47 MiB) 19:22:11 lookups : 15000/15000 (mem: 1915.47 MiB) 19:22:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:11 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:22:11 delta range : 18000/18000 (mem: 1915.47 MiB) 19:22:11 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:22:11 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:22:11 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:22:11 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:22:11 overflow : 17783/17783 (mem: 1915.47 MiB) 19:22:11 (mem: 1915.47 MiB) 19:22:11 Total structured size: 259808 (mem: 1915.47 MiB) 19:22:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22: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: 1915.47 MiB) 19:22:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:17 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:22:17 busread : 3/6000 (mem: 1915.47 MiB) 19:22:17 lookups : 13540/15000 (mem: 1915.47 MiB) 19:22:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:17 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:22:17 delta range : 11097/18000 (mem: 1915.47 MiB) 19:22:17 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:22:17 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:22:17 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:22:17 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:22:17 overflow : 1850/1850 (mem: 1915.47 MiB) 19:22:17 (mem: 1915.47 MiB) 19:22:17 Total structured size: 243875 (mem: 1915.47 MiB) 19:22:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22: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: 1915.47 MiB) 19:22:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:24 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:22:24 busread : 3/6000 (mem: 1915.47 MiB) 19:22:24 lookups : 15000/15000 (mem: 1915.47 MiB) 19:22:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:24 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:22:24 delta range : 18000/18000 (mem: 1915.47 MiB) 19:22:24 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:22:24 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:22:24 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:22:24 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:22:24 overflow : 17783/17783 (mem: 1915.47 MiB) 19:22:24 (mem: 1915.47 MiB) 19:22:24 Total structured size: 259808 (mem: 1915.47 MiB) 19:22:24 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22:24 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:22:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:29 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:22:29 busread : 3/6000 (mem: 1915.47 MiB) 19:22:29 lookups : 13540/15000 (mem: 1915.47 MiB) 19:22:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:29 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:22:29 delta range : 11097/18000 (mem: 1915.47 MiB) 19:22:29 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:22:29 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:22:29 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:22:29 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:22:29 overflow : 1850/1850 (mem: 1915.47 MiB) 19:22:29 (mem: 1915.47 MiB) 19:22:29 Total structured size: 243875 (mem: 1915.47 MiB) 19:22:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22:30 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:22:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:36 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:22:36 busread : 3/6000 (mem: 1915.47 MiB) 19:22:36 lookups : 15000/15000 (mem: 1915.47 MiB) 19:22:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:36 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:22:36 delta range : 18000/18000 (mem: 1915.47 MiB) 19:22:36 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:22:36 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:22:36 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:22:36 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:22:36 overflow : 17783/17783 (mem: 1915.47 MiB) 19:22:36 (mem: 1915.47 MiB) 19:22:36 Total structured size: 259808 (mem: 1915.47 MiB) 19:22:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22: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: 1915.47 MiB) 19:22:42 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:42 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:22:42 busread : 3/6000 (mem: 1915.47 MiB) 19:22:42 lookups : 13540/15000 (mem: 1915.47 MiB) 19:22:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:42 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:22:42 delta range : 11097/18000 (mem: 1915.47 MiB) 19:22:42 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:22:42 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:22:42 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:22:42 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:22:42 overflow : 1850/1850 (mem: 1915.47 MiB) 19:22:42 (mem: 1915.47 MiB) 19:22:42 Total structured size: 243875 (mem: 1915.47 MiB) 19:22:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22: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: 1915.47 MiB) 19:22:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:49 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:22:49 busread : 3/6000 (mem: 1915.47 MiB) 19:22:49 lookups : 15000/15000 (mem: 1915.47 MiB) 19:22:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:49 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:22:49 delta range : 18000/18000 (mem: 1915.47 MiB) 19:22:49 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:22:49 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:22:49 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:22:49 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:22:49 overflow : 17783/17783 (mem: 1915.47 MiB) 19:22:49 (mem: 1915.47 MiB) 19:22:49 Total structured size: 259808 (mem: 1915.47 MiB) 19:22:49 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22: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: 1915.47 MiB) 19:22:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:22:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:22:54 goblin ecc op : 792/1024 (mem: 1915.47 MiB) 19:22:54 busread : 3/6000 (mem: 1915.47 MiB) 19:22:54 lookups : 13540/15000 (mem: 1915.47 MiB) 19:22:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:22:54 arithmetic : 40019/56000 (mem: 1915.47 MiB) 19:22:54 delta range : 11097/18000 (mem: 1915.47 MiB) 19:22:54 elliptic : 6000/6000 (mem: 1915.47 MiB) 19:22:54 auxiliary : 11827/26000 (mem: 1915.47 MiB) 19:22:54 poseidon ext : 4942/17000 (mem: 1915.47 MiB) 19:22:54 poseidon int : 28160/92000 (mem: 1915.47 MiB) 19:22:54 overflow : 1850/1850 (mem: 1915.47 MiB) 19:22:54 (mem: 1915.47 MiB) 19:22:54 Total structured size: 243875 (mem: 1915.47 MiB) 19:22:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:22:55 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:23:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.47 MiB) 19:23:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.47 MiB) 19:23:01 goblin ecc op : 10/1024 (mem: 1915.47 MiB) 19:23:01 busread : 3/6000 (mem: 1915.47 MiB) 19:23:01 lookups : 15000/15000 (mem: 1915.47 MiB) 19:23:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.47 MiB) 19:23:01 arithmetic : 48085/56000 (mem: 1915.47 MiB) 19:23:01 delta range : 18000/18000 (mem: 1915.47 MiB) 19:23:01 elliptic : 4132/6000 (mem: 1915.47 MiB) 19:23:01 auxiliary : 23580/26000 (mem: 1915.47 MiB) 19:23:01 poseidon ext : 2/17000 (mem: 1915.47 MiB) 19:23:01 poseidon int : 2/92000 (mem: 1915.47 MiB) 19:23:01 overflow : 17783/17783 (mem: 1915.47 MiB) 19:23:01 (mem: 1915.47 MiB) 19:23:01 Total structured size: 259808 (mem: 1915.47 MiB) 19:23:02 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.47 MiB) 19:23:02 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.47 MiB) 19:23:08 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1930.55 MiB) 19:23:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1930.55 MiB) 19:23:08 goblin ecc op : 792/1024 (mem: 1930.55 MiB) 19:23:08 busread : 3/6000 (mem: 1930.55 MiB) 19:23:08 lookups : 13540/15000 (mem: 1930.55 MiB) 19:23:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1930.55 MiB) 19:23:08 arithmetic : 40019/56000 (mem: 1930.55 MiB) 19:23:08 delta range : 11097/18000 (mem: 1930.55 MiB) 19:23:08 elliptic : 6000/6000 (mem: 1930.55 MiB) 19:23:08 auxiliary : 11827/26000 (mem: 1930.55 MiB) 19:23:08 poseidon ext : 4942/17000 (mem: 1930.55 MiB) 19:23:08 poseidon int : 28160/92000 (mem: 1930.55 MiB) 19:23:08 overflow : 1850/1850 (mem: 1930.55 MiB) 19:23:08 (mem: 1930.55 MiB) 19:23:08 Total structured size: 243875 (mem: 1930.55 MiB) 19:23:08 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1930.55 MiB) 19:23: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: 1930.55 MiB) 19:23:14 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1931.44 MiB) 19:23:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1931.44 MiB) 19:23:14 goblin ecc op : 10/1024 (mem: 1931.44 MiB) 19:23:14 busread : 3/6000 (mem: 1931.44 MiB) 19:23:14 lookups : 15000/15000 (mem: 1931.44 MiB) 19:23:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1931.44 MiB) 19:23:14 arithmetic : 48085/56000 (mem: 1931.44 MiB) 19:23:14 delta range : 18000/18000 (mem: 1931.44 MiB) 19:23:14 elliptic : 4132/6000 (mem: 1931.44 MiB) 19:23:14 auxiliary : 23580/26000 (mem: 1931.44 MiB) 19:23:14 poseidon ext : 2/17000 (mem: 1931.44 MiB) 19:23:14 poseidon int : 2/92000 (mem: 1931.44 MiB) 19:23:14 overflow : 17783/17783 (mem: 1931.44 MiB) 19:23:14 (mem: 1931.44 MiB) 19:23:14 Total structured size: 259808 (mem: 1931.44 MiB) 19:23:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1931.44 MiB) 19:23: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: 1931.44 MiB) 19:23:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1932.01 MiB) 19:23:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1932.01 MiB) 19:23:20 goblin ecc op : 792/1024 (mem: 1932.01 MiB) 19:23:20 busread : 3/6000 (mem: 1932.01 MiB) 19:23:20 lookups : 13540/15000 (mem: 1932.01 MiB) 19:23:20 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1932.01 MiB) 19:23:20 arithmetic : 40019/56000 (mem: 1932.01 MiB) 19:23:20 delta range : 11097/18000 (mem: 1932.01 MiB) 19:23:20 elliptic : 6000/6000 (mem: 1932.01 MiB) 19:23:20 auxiliary : 11827/26000 (mem: 1932.01 MiB) 19:23:20 poseidon ext : 4942/17000 (mem: 1932.01 MiB) 19:23:20 poseidon int : 28160/92000 (mem: 1932.01 MiB) 19:23:20 overflow : 1850/1850 (mem: 1932.01 MiB) 19:23:20 (mem: 1932.01 MiB) 19:23:20 Total structured size: 243875 (mem: 1932.01 MiB) 19:23:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1932.01 MiB) 19:23: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: 1932.01 MiB) 19:23:27 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1932.01 MiB) 19:23:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 1932.01 MiB) 19:23:27 goblin ecc op : 10/1024 (mem: 1932.01 MiB) 19:23:27 busread : 3/6000 (mem: 1932.01 MiB) 19:23:27 lookups : 15000/15000 (mem: 1932.01 MiB) 19:23:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1932.01 MiB) 19:23:27 arithmetic : 48085/56000 (mem: 1932.01 MiB) 19:23:27 delta range : 18000/18000 (mem: 1932.01 MiB) 19:23:27 elliptic : 4132/6000 (mem: 1932.01 MiB) 19:23:27 auxiliary : 23580/26000 (mem: 1932.01 MiB) 19:23:27 poseidon ext : 2/17000 (mem: 1932.01 MiB) 19:23:27 poseidon int : 2/92000 (mem: 1932.01 MiB) 19:23:27 overflow : 17783/17783 (mem: 1932.01 MiB) 19:23:27 (mem: 1932.01 MiB) 19:23:27 Total structured size: 259808 (mem: 1932.01 MiB) 19:23:27 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1932.01 MiB) 19:23: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: 1932.01 MiB) 19:23:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1932.81 MiB) 19:23:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 1932.81 MiB) 19:23:33 goblin ecc op : 792/1024 (mem: 1932.81 MiB) 19:23:33 busread : 3/6000 (mem: 1932.81 MiB) 19:23:33 lookups : 13540/15000 (mem: 1932.81 MiB) 19:23:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1932.81 MiB) 19:23:33 arithmetic : 40019/56000 (mem: 1932.81 MiB) 19:23:33 delta range : 11097/18000 (mem: 1932.81 MiB) 19:23:33 elliptic : 6000/6000 (mem: 1932.81 MiB) 19:23:33 auxiliary : 11827/26000 (mem: 1932.81 MiB) 19:23:33 poseidon ext : 4942/17000 (mem: 1932.81 MiB) 19:23:33 poseidon int : 28160/92000 (mem: 1932.81 MiB) 19:23:33 overflow : 1850/1850 (mem: 1932.81 MiB) 19:23:33 (mem: 1932.81 MiB) 19:23:33 Total structured size: 243875 (mem: 1932.81 MiB) 19:23:33 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1932.81 MiB) 19:23: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: 1932.81 MiB) 19:23:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1933.36 MiB) 19:23:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1933.36 MiB) 19:23:39 goblin ecc op : 10/1024 (mem: 1933.36 MiB) 19:23:39 busread : 3/6000 (mem: 1933.36 MiB) 19:23:39 lookups : 15000/15000 (mem: 1933.36 MiB) 19:23:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1933.36 MiB) 19:23:39 arithmetic : 48085/56000 (mem: 1933.36 MiB) 19:23:39 delta range : 18000/18000 (mem: 1933.36 MiB) 19:23:39 elliptic : 4132/6000 (mem: 1933.36 MiB) 19:23:39 auxiliary : 23580/26000 (mem: 1933.36 MiB) 19:23:39 poseidon ext : 2/17000 (mem: 1933.36 MiB) 19:23:39 poseidon int : 2/92000 (mem: 1933.36 MiB) 19:23:39 overflow : 17783/17783 (mem: 1933.36 MiB) 19:23:39 (mem: 1933.36 MiB) 19:23:39 Total structured size: 259808 (mem: 1933.36 MiB) 19:23:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1933.36 MiB) 19:23:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1933.36 MiB) 19:23:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1933.36 MiB) 19:23:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1933.36 MiB) 19:23:46 goblin ecc op : 792/1024 (mem: 1933.36 MiB) 19:23:46 busread : 3/6000 (mem: 1933.36 MiB) 19:23:46 lookups : 13540/15000 (mem: 1933.36 MiB) 19:23:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1933.36 MiB) 19:23:46 arithmetic : 40019/56000 (mem: 1933.36 MiB) 19:23:46 delta range : 11097/18000 (mem: 1933.36 MiB) 19:23:46 elliptic : 6000/6000 (mem: 1933.36 MiB) 19:23:46 auxiliary : 11827/26000 (mem: 1933.36 MiB) 19:23:46 poseidon ext : 4942/17000 (mem: 1933.36 MiB) 19:23:46 poseidon int : 28160/92000 (mem: 1933.36 MiB) 19:23:46 overflow : 1850/1850 (mem: 1933.36 MiB) 19:23:46 (mem: 1933.36 MiB) 19:23:46 Total structured size: 243875 (mem: 1933.36 MiB) 19:23:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1933.36 MiB) 19:23: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: 1933.36 MiB) 19:23:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1933.36 MiB) 19:23:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1933.36 MiB) 19:23:52 goblin ecc op : 10/1024 (mem: 1933.36 MiB) 19:23:52 busread : 3/6000 (mem: 1933.36 MiB) 19:23:52 lookups : 15000/15000 (mem: 1933.36 MiB) 19:23:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1933.36 MiB) 19:23:52 arithmetic : 48085/56000 (mem: 1933.36 MiB) 19:23:52 delta range : 18000/18000 (mem: 1933.36 MiB) 19:23:52 elliptic : 4132/6000 (mem: 1933.36 MiB) 19:23:52 auxiliary : 23580/26000 (mem: 1933.36 MiB) 19:23:52 poseidon ext : 2/17000 (mem: 1933.36 MiB) 19:23:52 poseidon int : 2/92000 (mem: 1933.36 MiB) 19:23:52 overflow : 17783/17783 (mem: 1933.36 MiB) 19:23:52 (mem: 1933.36 MiB) 19:23:52 Total structured size: 259808 (mem: 1933.36 MiB) 19:23:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1933.36 MiB) 19:23: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: 1933.36 MiB) 19:23:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1934.11 MiB) 19:23:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1934.11 MiB) 19:23:58 goblin ecc op : 792/1024 (mem: 1934.11 MiB) 19:23:58 busread : 3/6000 (mem: 1934.11 MiB) 19:23:58 lookups : 13540/15000 (mem: 1934.11 MiB) 19:23:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1934.11 MiB) 19:23:58 arithmetic : 40019/56000 (mem: 1934.11 MiB) 19:23:58 delta range : 11097/18000 (mem: 1934.11 MiB) 19:23:58 elliptic : 6000/6000 (mem: 1934.11 MiB) 19:23:58 auxiliary : 11827/26000 (mem: 1934.11 MiB) 19:23:58 poseidon ext : 4942/17000 (mem: 1934.11 MiB) 19:23:58 poseidon int : 28160/92000 (mem: 1934.11 MiB) 19:23:58 overflow : 1850/1850 (mem: 1934.11 MiB) 19:23:58 (mem: 1934.11 MiB) 19:23:58 Total structured size: 243875 (mem: 1934.11 MiB) 19:23:59 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1934.11 MiB) 19:23: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: 1934.11 MiB) 19:24:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1934.80 MiB) 19:24:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1934.80 MiB) 19:24:04 goblin ecc op : 10/1024 (mem: 1934.80 MiB) 19:24:04 busread : 3/6000 (mem: 1934.80 MiB) 19:24:04 lookups : 15000/15000 (mem: 1934.80 MiB) 19:24:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1934.80 MiB) 19:24:04 arithmetic : 48085/56000 (mem: 1934.80 MiB) 19:24:04 delta range : 18000/18000 (mem: 1934.80 MiB) 19:24:04 elliptic : 4132/6000 (mem: 1934.80 MiB) 19:24:04 auxiliary : 23580/26000 (mem: 1934.80 MiB) 19:24:04 poseidon ext : 2/17000 (mem: 1934.80 MiB) 19:24:04 poseidon int : 2/92000 (mem: 1934.80 MiB) 19:24:04 overflow : 17783/17783 (mem: 1934.80 MiB) 19:24:04 (mem: 1934.80 MiB) 19:24:04 Total structured size: 259808 (mem: 1934.80 MiB) 19:24:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1934.80 MiB) 19:24:04 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1934.80 MiB) 19:24:10 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1935.57 MiB) 19:24:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1935.57 MiB) 19:24:10 goblin ecc op : 792/1024 (mem: 1935.57 MiB) 19:24:10 busread : 3/6000 (mem: 1935.57 MiB) 19:24:10 lookups : 13540/15000 (mem: 1935.57 MiB) 19:24:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1935.57 MiB) 19:24:10 arithmetic : 40019/56000 (mem: 1935.57 MiB) 19:24:10 delta range : 11097/18000 (mem: 1935.57 MiB) 19:24:10 elliptic : 6000/6000 (mem: 1935.57 MiB) 19:24:10 auxiliary : 11827/26000 (mem: 1935.57 MiB) 19:24:10 poseidon ext : 4942/17000 (mem: 1935.57 MiB) 19:24:10 poseidon int : 28160/92000 (mem: 1935.57 MiB) 19:24:10 overflow : 1850/1850 (mem: 1935.57 MiB) 19:24:10 (mem: 1935.57 MiB) 19:24:10 Total structured size: 243875 (mem: 1935.57 MiB) 19:24:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1935.57 MiB) 19:24:10 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1935.57 MiB) 19:24:15 Largest circuit: 368580 gates. Trace details: (mem: 1935.57 MiB) 19:24:15 Minimum required block sizes for structured trace: (mem: 1935.57 MiB) 19:24:15 ecc_op : 792 19:24:15 busread : 3 19:24:15 lookup : 15000 19:24:15 pub_inputs : 32 19:24:15 arithmetic : 56000 19:24:15 delta_range : 18000 19:24:15 elliptic : 6000 19:24:15 aux : 26000 19:24:15 poseidon2_external : 4942 19:24:15 poseidon2_internal : 28160 19:24:15 overflow : 248619 19:24:15 (mem: 1935.57 MiB) 19:24: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: 1935.57 MiB) 19:24:21 Constructing a Goblin proof with num ultra ops = 11880 (mem: 1935.57 MiB) 19:24:38 IVC successfully verified! (mem: 1935.57 MiB) 19:24:38 [ OK ] ClientIVCKernelCapacity.MaxCapacityPassing (486831 ms) 19:24:38 [----------] 1 test from ClientIVCKernelCapacity (486831 ms total) 19:24:38 19:24:38 [----------] Global test environment tear-down 19:24:38 [==========] 1 test from 1 test suite ran. (486831 ms total) 19:24:38 [ PASSED ] 1 test.