ACI ·

Parent Log: http://ci.aztec-labs.com/4a1753aca73ebdf1 Command: 060f2775b5406036:CPUS=4:MEM=8g barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCKernelCapacity.MaxCapacityPassing Commit: https://github.com/AztecProtocol/aztec-packages/commit/00cd67e98e76d3202a0219baf301d59ef4211872 Env: REF_NAME=gh-readonly-queue/next/pr-15040-7339c264ad706420ee9babb0dd1b6ed793e97402 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 15:16:23 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15040_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=4 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9c4664a14eb81b97_next 15:16:23 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 15:16:23 Note: Google Test filter = ClientIVCKernelCapacity.MaxCapacityPassing 15:16:23 [==========] Running 1 test from 1 test suite. 15:16:23 [----------] Global test environment set-up. 15:16:23 [----------] 1 test from ClientIVCKernelCapacity 15:16:23 [ RUN ] ClientIVCKernelCapacity.MaxCapacityPassing 15:16:23 BN254 commitment key size: 262144 (mem: 6.00 MiB) 15:16:23 BN254 commitment key size: 262144 (mem: 170.59 MiB) 15:16:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 561.63 MiB) 15:16:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 561.63 MiB) 15:16:25 goblin ecc op : 10/1024 (mem: 561.63 MiB) 15:16:25 busread : 3/6000 (mem: 561.63 MiB) 15:16:25 lookups : 15000/15000 (mem: 561.63 MiB) 15:16:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 561.63 MiB) 15:16:25 arithmetic : 56000/56000 (mem: 561.63 MiB) 15:16:25 delta range : 18000/18000 (mem: 561.63 MiB) 15:16:25 elliptic : 4958/6000 (mem: 561.63 MiB) 15:16:25 auxiliary : 26000/26000 (mem: 561.63 MiB) 15:16:25 poseidon ext : 2/17000 (mem: 561.63 MiB) 15:16:25 poseidon int : 2/92000 (mem: 561.63 MiB) 15:16:25 overflow : 248619/248619 (mem: 561.63 MiB) 15:16:25 (mem: 561.63 MiB) 15:16:25 Total structured size: 490644 (mem: 561.63 MiB) 15:16: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: 1649.75 MiB) 15:16:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1666.76 MiB) 15:16:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1666.76 MiB) 15:16:39 goblin ecc op : 56/1024 (mem: 1666.76 MiB) 15:16:39 busread : 3/6000 (mem: 1666.76 MiB) 15:16:39 lookups : 13540/15000 (mem: 1666.76 MiB) 15:16:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1666.76 MiB) 15:16:39 arithmetic : 32894/56000 (mem: 1666.76 MiB) 15:16:39 delta range : 10239/18000 (mem: 1666.76 MiB) 15:16:39 elliptic : 6000/6000 (mem: 1666.76 MiB) 15:16:39 auxiliary : 11827/26000 (mem: 1666.76 MiB) 15:16:39 poseidon ext : 1302/17000 (mem: 1666.76 MiB) 15:16:39 poseidon int : 7412/92000 (mem: 1666.76 MiB) 15:16:39 overflow : 1850/1850 (mem: 1666.76 MiB) 15:16:39 (mem: 1666.76 MiB) 15:16:39 Total structured size: 243875 (mem: 1666.76 MiB) 15:16:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1730.50 MiB) 15:16: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: 1730.50 MiB) 15:16:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1827.50 MiB) 15:16:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1827.50 MiB) 15:16:52 goblin ecc op : 10/1024 (mem: 1827.50 MiB) 15:16:52 busread : 3/6000 (mem: 1827.50 MiB) 15:16:52 lookups : 15000/15000 (mem: 1827.50 MiB) 15:16:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1827.50 MiB) 15:16:52 arithmetic : 48085/56000 (mem: 1827.50 MiB) 15:16:52 delta range : 18000/18000 (mem: 1827.50 MiB) 15:16:52 elliptic : 4132/6000 (mem: 1827.50 MiB) 15:16:52 auxiliary : 23580/26000 (mem: 1827.50 MiB) 15:16:52 poseidon ext : 2/17000 (mem: 1827.50 MiB) 15:16:52 poseidon int : 2/92000 (mem: 1827.50 MiB) 15:16:52 overflow : 17783/17783 (mem: 1827.50 MiB) 15:16:52 (mem: 1827.50 MiB) 15:16:52 Total structured size: 259808 (mem: 1827.50 MiB) 15:16:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1827.50 MiB) 15:16: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: 1827.50 MiB) 15:17:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.50 MiB) 15:17:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.50 MiB) 15:17:03 goblin ecc op : 792/1024 (mem: 1875.50 MiB) 15:17:03 busread : 3/6000 (mem: 1875.50 MiB) 15:17:03 lookups : 13540/15000 (mem: 1875.50 MiB) 15:17:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1875.50 MiB) 15:17:03 arithmetic : 40019/56000 (mem: 1875.50 MiB) 15:17:03 delta range : 11097/18000 (mem: 1875.50 MiB) 15:17:03 elliptic : 6000/6000 (mem: 1875.50 MiB) 15:17:03 auxiliary : 11827/26000 (mem: 1875.50 MiB) 15:17:03 poseidon ext : 4942/17000 (mem: 1875.50 MiB) 15:17:03 poseidon int : 28160/92000 (mem: 1875.50 MiB) 15:17:03 overflow : 1850/1850 (mem: 1875.50 MiB) 15:17:03 (mem: 1875.50 MiB) 15:17:03 Total structured size: 243875 (mem: 1875.50 MiB) 15:17:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.50 MiB) 15:17: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: 1875.50 MiB) 15:17:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.50 MiB) 15:17:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.50 MiB) 15:17:17 goblin ecc op : 10/1024 (mem: 1875.50 MiB) 15:17:17 busread : 3/6000 (mem: 1875.50 MiB) 15:17:17 lookups : 15000/15000 (mem: 1875.50 MiB) 15:17:17 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1875.50 MiB) 15:17:17 arithmetic : 48085/56000 (mem: 1875.50 MiB) 15:17:17 delta range : 18000/18000 (mem: 1875.50 MiB) 15:17:17 elliptic : 4132/6000 (mem: 1875.50 MiB) 15:17:17 auxiliary : 23580/26000 (mem: 1875.50 MiB) 15:17:17 poseidon ext : 2/17000 (mem: 1875.50 MiB) 15:17:17 poseidon int : 2/92000 (mem: 1875.50 MiB) 15:17:17 overflow : 17783/17783 (mem: 1875.50 MiB) 15:17:17 (mem: 1875.50 MiB) 15:17:17 Total structured size: 259808 (mem: 1875.50 MiB) 15:17:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.50 MiB) 15:17: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: 1875.50 MiB) 15:17:27 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:17:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:17:27 goblin ecc op : 792/1024 (mem: 1875.71 MiB) 15:17:27 busread : 3/6000 (mem: 1875.71 MiB) 15:17:27 lookups : 13540/15000 (mem: 1875.71 MiB) 15:17:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:17:27 arithmetic : 40019/56000 (mem: 1875.71 MiB) 15:17:27 delta range : 11097/18000 (mem: 1875.71 MiB) 15:17:27 elliptic : 6000/6000 (mem: 1875.71 MiB) 15:17:27 auxiliary : 11827/26000 (mem: 1875.71 MiB) 15:17:27 poseidon ext : 4942/17000 (mem: 1875.71 MiB) 15:17:27 poseidon int : 28160/92000 (mem: 1875.71 MiB) 15:17:27 overflow : 1850/1850 (mem: 1875.71 MiB) 15:17:27 (mem: 1875.71 MiB) 15:17:27 Total structured size: 243875 (mem: 1875.71 MiB) 15:17:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:17: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: 1875.71 MiB) 15:17:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:17:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:17:38 goblin ecc op : 10/1024 (mem: 1875.71 MiB) 15:17:38 busread : 3/6000 (mem: 1875.71 MiB) 15:17:38 lookups : 15000/15000 (mem: 1875.71 MiB) 15:17:38 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:17:38 arithmetic : 48085/56000 (mem: 1875.71 MiB) 15:17:38 delta range : 18000/18000 (mem: 1875.71 MiB) 15:17:38 elliptic : 4132/6000 (mem: 1875.71 MiB) 15:17:38 auxiliary : 23580/26000 (mem: 1875.71 MiB) 15:17:38 poseidon ext : 2/17000 (mem: 1875.71 MiB) 15:17:38 poseidon int : 2/92000 (mem: 1875.71 MiB) 15:17:38 overflow : 17783/17783 (mem: 1875.71 MiB) 15:17:38 (mem: 1875.71 MiB) 15:17:38 Total structured size: 259808 (mem: 1875.71 MiB) 15:17:41 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:17:41 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1875.71 MiB) 15:17:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:17:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:17:49 goblin ecc op : 792/1024 (mem: 1875.71 MiB) 15:17:49 busread : 3/6000 (mem: 1875.71 MiB) 15:17:49 lookups : 13540/15000 (mem: 1875.71 MiB) 15:17:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:17:49 arithmetic : 40019/56000 (mem: 1875.71 MiB) 15:17:49 delta range : 11097/18000 (mem: 1875.71 MiB) 15:17:49 elliptic : 6000/6000 (mem: 1875.71 MiB) 15:17:49 auxiliary : 11827/26000 (mem: 1875.71 MiB) 15:17:49 poseidon ext : 4942/17000 (mem: 1875.71 MiB) 15:17:49 poseidon int : 28160/92000 (mem: 1875.71 MiB) 15:17:49 overflow : 1850/1850 (mem: 1875.71 MiB) 15:17:49 (mem: 1875.71 MiB) 15:17:49 Total structured size: 243875 (mem: 1875.71 MiB) 15:17:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:17: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: 1875.71 MiB) 15:17:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:17:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:17:58 goblin ecc op : 10/1024 (mem: 1875.71 MiB) 15:17:58 busread : 3/6000 (mem: 1875.71 MiB) 15:17:58 lookups : 15000/15000 (mem: 1875.71 MiB) 15:17:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:17:58 arithmetic : 48085/56000 (mem: 1875.71 MiB) 15:17:58 delta range : 18000/18000 (mem: 1875.71 MiB) 15:17:58 elliptic : 4132/6000 (mem: 1875.71 MiB) 15:17:58 auxiliary : 23580/26000 (mem: 1875.71 MiB) 15:17:58 poseidon ext : 2/17000 (mem: 1875.71 MiB) 15:17:58 poseidon int : 2/92000 (mem: 1875.71 MiB) 15:17:58 overflow : 17783/17783 (mem: 1875.71 MiB) 15:17:58 (mem: 1875.71 MiB) 15:17:58 Total structured size: 259808 (mem: 1875.71 MiB) 15:18:00 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:18: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: 1875.71 MiB) 15:18:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:18:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:18:07 goblin ecc op : 792/1024 (mem: 1875.71 MiB) 15:18:07 busread : 3/6000 (mem: 1875.71 MiB) 15:18:07 lookups : 13540/15000 (mem: 1875.71 MiB) 15:18:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:18:07 arithmetic : 40019/56000 (mem: 1875.71 MiB) 15:18:07 delta range : 11097/18000 (mem: 1875.71 MiB) 15:18:07 elliptic : 6000/6000 (mem: 1875.71 MiB) 15:18:07 auxiliary : 11827/26000 (mem: 1875.71 MiB) 15:18:07 poseidon ext : 4942/17000 (mem: 1875.71 MiB) 15:18:07 poseidon int : 28160/92000 (mem: 1875.71 MiB) 15:18:07 overflow : 1850/1850 (mem: 1875.71 MiB) 15:18:07 (mem: 1875.71 MiB) 15:18:07 Total structured size: 243875 (mem: 1875.71 MiB) 15:18:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:18:09 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1875.71 MiB) 15:18:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:18:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:18:19 goblin ecc op : 10/1024 (mem: 1875.71 MiB) 15:18:19 busread : 3/6000 (mem: 1875.71 MiB) 15:18:19 lookups : 15000/15000 (mem: 1875.71 MiB) 15:18:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:18:19 arithmetic : 48085/56000 (mem: 1875.71 MiB) 15:18:19 delta range : 18000/18000 (mem: 1875.71 MiB) 15:18:19 elliptic : 4132/6000 (mem: 1875.71 MiB) 15:18:19 auxiliary : 23580/26000 (mem: 1875.71 MiB) 15:18:19 poseidon ext : 2/17000 (mem: 1875.71 MiB) 15:18:19 poseidon int : 2/92000 (mem: 1875.71 MiB) 15:18:19 overflow : 17783/17783 (mem: 1875.71 MiB) 15:18:19 (mem: 1875.71 MiB) 15:18:19 Total structured size: 259808 (mem: 1875.71 MiB) 15:18:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15: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: 1875.71 MiB) 15:18:27 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:18:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:18:27 goblin ecc op : 792/1024 (mem: 1875.71 MiB) 15:18:27 busread : 3/6000 (mem: 1875.71 MiB) 15:18:27 lookups : 13540/15000 (mem: 1875.71 MiB) 15:18:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:18:27 arithmetic : 40019/56000 (mem: 1875.71 MiB) 15:18:27 delta range : 11097/18000 (mem: 1875.71 MiB) 15:18:27 elliptic : 6000/6000 (mem: 1875.71 MiB) 15:18:27 auxiliary : 11827/26000 (mem: 1875.71 MiB) 15:18:27 poseidon ext : 4942/17000 (mem: 1875.71 MiB) 15:18:27 poseidon int : 28160/92000 (mem: 1875.71 MiB) 15:18:27 overflow : 1850/1850 (mem: 1875.71 MiB) 15:18:27 (mem: 1875.71 MiB) 15:18:27 Total structured size: 243875 (mem: 1875.71 MiB) 15:18:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:18: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: 1875.71 MiB) 15:18:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:18:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:18:35 goblin ecc op : 10/1024 (mem: 1875.71 MiB) 15:18:35 busread : 3/6000 (mem: 1875.71 MiB) 15:18:35 lookups : 15000/15000 (mem: 1875.71 MiB) 15:18:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:18:35 arithmetic : 48085/56000 (mem: 1875.71 MiB) 15:18:35 delta range : 18000/18000 (mem: 1875.71 MiB) 15:18:35 elliptic : 4132/6000 (mem: 1875.71 MiB) 15:18:35 auxiliary : 23580/26000 (mem: 1875.71 MiB) 15:18:35 poseidon ext : 2/17000 (mem: 1875.71 MiB) 15:18:35 poseidon int : 2/92000 (mem: 1875.71 MiB) 15:18:35 overflow : 17783/17783 (mem: 1875.71 MiB) 15:18:35 (mem: 1875.71 MiB) 15:18:35 Total structured size: 259808 (mem: 1875.71 MiB) 15:18:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:18: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: 1875.71 MiB) 15:18:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:18:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:18:43 goblin ecc op : 792/1024 (mem: 1875.71 MiB) 15:18:43 busread : 3/6000 (mem: 1875.71 MiB) 15:18:43 lookups : 13540/15000 (mem: 1875.71 MiB) 15:18:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:18:43 arithmetic : 40019/56000 (mem: 1875.71 MiB) 15:18:43 delta range : 11097/18000 (mem: 1875.71 MiB) 15:18:43 elliptic : 6000/6000 (mem: 1875.71 MiB) 15:18:43 auxiliary : 11827/26000 (mem: 1875.71 MiB) 15:18:43 poseidon ext : 4942/17000 (mem: 1875.71 MiB) 15:18:43 poseidon int : 28160/92000 (mem: 1875.71 MiB) 15:18:43 overflow : 1850/1850 (mem: 1875.71 MiB) 15:18:43 (mem: 1875.71 MiB) 15:18:43 Total structured size: 243875 (mem: 1875.71 MiB) 15:18:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:18: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: 1875.71 MiB) 15:18:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:18:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:18:51 goblin ecc op : 10/1024 (mem: 1875.71 MiB) 15:18:51 busread : 3/6000 (mem: 1875.71 MiB) 15:18:51 lookups : 15000/15000 (mem: 1875.71 MiB) 15:18:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:18:51 arithmetic : 48085/56000 (mem: 1875.71 MiB) 15:18:51 delta range : 18000/18000 (mem: 1875.71 MiB) 15:18:51 elliptic : 4132/6000 (mem: 1875.71 MiB) 15:18:51 auxiliary : 23580/26000 (mem: 1875.71 MiB) 15:18:51 poseidon ext : 2/17000 (mem: 1875.71 MiB) 15:18:51 poseidon int : 2/92000 (mem: 1875.71 MiB) 15:18:51 overflow : 17783/17783 (mem: 1875.71 MiB) 15:18:51 (mem: 1875.71 MiB) 15:18:51 Total structured size: 259808 (mem: 1875.71 MiB) 15:18:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:18: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: 1875.71 MiB) 15:18:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:18:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:18:59 goblin ecc op : 792/1024 (mem: 1875.71 MiB) 15:18:59 busread : 3/6000 (mem: 1875.71 MiB) 15:18:59 lookups : 13540/15000 (mem: 1875.71 MiB) 15:18:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:18:59 arithmetic : 40019/56000 (mem: 1875.71 MiB) 15:18:59 delta range : 11097/18000 (mem: 1875.71 MiB) 15:18:59 elliptic : 6000/6000 (mem: 1875.71 MiB) 15:18:59 auxiliary : 11827/26000 (mem: 1875.71 MiB) 15:18:59 poseidon ext : 4942/17000 (mem: 1875.71 MiB) 15:18:59 poseidon int : 28160/92000 (mem: 1875.71 MiB) 15:18:59 overflow : 1850/1850 (mem: 1875.71 MiB) 15:18:59 (mem: 1875.71 MiB) 15:18:59 Total structured size: 243875 (mem: 1875.71 MiB) 15:19:00 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:19: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: 1875.71 MiB) 15:19:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1875.71 MiB) 15:19:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1875.71 MiB) 15:19:07 goblin ecc op : 10/1024 (mem: 1875.71 MiB) 15:19:07 busread : 3/6000 (mem: 1875.71 MiB) 15:19:07 lookups : 15000/15000 (mem: 1875.71 MiB) 15:19:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1875.71 MiB) 15:19:07 arithmetic : 48085/56000 (mem: 1875.71 MiB) 15:19:07 delta range : 18000/18000 (mem: 1875.71 MiB) 15:19:07 elliptic : 4132/6000 (mem: 1875.71 MiB) 15:19:07 auxiliary : 23580/26000 (mem: 1875.71 MiB) 15:19:07 poseidon ext : 2/17000 (mem: 1875.71 MiB) 15:19:07 poseidon int : 2/92000 (mem: 1875.71 MiB) 15:19:07 overflow : 17783/17783 (mem: 1875.71 MiB) 15:19:07 (mem: 1875.71 MiB) 15:19:07 Total structured size: 259808 (mem: 1875.71 MiB) 15:19:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1875.71 MiB) 15:19:09 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1875.71 MiB) 15:19:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:19:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:19:16 goblin ecc op : 792/1024 (mem: 1876.71 MiB) 15:19:16 busread : 3/6000 (mem: 1876.71 MiB) 15:19:16 lookups : 13540/15000 (mem: 1876.71 MiB) 15:19:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:19:16 arithmetic : 40019/56000 (mem: 1876.71 MiB) 15:19:16 delta range : 11097/18000 (mem: 1876.71 MiB) 15:19:16 elliptic : 6000/6000 (mem: 1876.71 MiB) 15:19:16 auxiliary : 11827/26000 (mem: 1876.71 MiB) 15:19:16 poseidon ext : 4942/17000 (mem: 1876.71 MiB) 15:19:16 poseidon int : 28160/92000 (mem: 1876.71 MiB) 15:19:16 overflow : 1850/1850 (mem: 1876.71 MiB) 15:19:16 (mem: 1876.71 MiB) 15:19:16 Total structured size: 243875 (mem: 1876.71 MiB) 15:19:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15:19:18 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.71 MiB) 15:19:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:19:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:19:26 goblin ecc op : 10/1024 (mem: 1876.71 MiB) 15:19:26 busread : 3/6000 (mem: 1876.71 MiB) 15:19:26 lookups : 15000/15000 (mem: 1876.71 MiB) 15:19:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:19:26 arithmetic : 48085/56000 (mem: 1876.71 MiB) 15:19:26 delta range : 18000/18000 (mem: 1876.71 MiB) 15:19:26 elliptic : 4132/6000 (mem: 1876.71 MiB) 15:19:26 auxiliary : 23580/26000 (mem: 1876.71 MiB) 15:19:26 poseidon ext : 2/17000 (mem: 1876.71 MiB) 15:19:26 poseidon int : 2/92000 (mem: 1876.71 MiB) 15:19:26 overflow : 17783/17783 (mem: 1876.71 MiB) 15:19:26 (mem: 1876.71 MiB) 15:19:26 Total structured size: 259808 (mem: 1876.71 MiB) 15:19:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15: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: 1876.71 MiB) 15:19:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:19:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:19:35 goblin ecc op : 792/1024 (mem: 1876.71 MiB) 15:19:35 busread : 3/6000 (mem: 1876.71 MiB) 15:19:35 lookups : 13540/15000 (mem: 1876.71 MiB) 15:19:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:19:35 arithmetic : 40019/56000 (mem: 1876.71 MiB) 15:19:35 delta range : 11097/18000 (mem: 1876.71 MiB) 15:19:35 elliptic : 6000/6000 (mem: 1876.71 MiB) 15:19:35 auxiliary : 11827/26000 (mem: 1876.71 MiB) 15:19:35 poseidon ext : 4942/17000 (mem: 1876.71 MiB) 15:19:35 poseidon int : 28160/92000 (mem: 1876.71 MiB) 15:19:35 overflow : 1850/1850 (mem: 1876.71 MiB) 15:19:35 (mem: 1876.71 MiB) 15:19:35 Total structured size: 243875 (mem: 1876.71 MiB) 15:19:38 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15:19: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: 1876.71 MiB) 15:19:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:19:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:19:44 goblin ecc op : 10/1024 (mem: 1876.71 MiB) 15:19:44 busread : 3/6000 (mem: 1876.71 MiB) 15:19:44 lookups : 15000/15000 (mem: 1876.71 MiB) 15:19:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:19:44 arithmetic : 48085/56000 (mem: 1876.71 MiB) 15:19:44 delta range : 18000/18000 (mem: 1876.71 MiB) 15:19:44 elliptic : 4132/6000 (mem: 1876.71 MiB) 15:19:44 auxiliary : 23580/26000 (mem: 1876.71 MiB) 15:19:44 poseidon ext : 2/17000 (mem: 1876.71 MiB) 15:19:44 poseidon int : 2/92000 (mem: 1876.71 MiB) 15:19:44 overflow : 17783/17783 (mem: 1876.71 MiB) 15:19:44 (mem: 1876.71 MiB) 15:19:44 Total structured size: 259808 (mem: 1876.71 MiB) 15:19:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15:19: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: 1876.71 MiB) 15:19:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:19:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:19:52 goblin ecc op : 792/1024 (mem: 1876.71 MiB) 15:19:52 busread : 3/6000 (mem: 1876.71 MiB) 15:19:52 lookups : 13540/15000 (mem: 1876.71 MiB) 15:19:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:19:52 arithmetic : 40019/56000 (mem: 1876.71 MiB) 15:19:52 delta range : 11097/18000 (mem: 1876.71 MiB) 15:19:52 elliptic : 6000/6000 (mem: 1876.71 MiB) 15:19:52 auxiliary : 11827/26000 (mem: 1876.71 MiB) 15:19:52 poseidon ext : 4942/17000 (mem: 1876.71 MiB) 15:19:52 poseidon int : 28160/92000 (mem: 1876.71 MiB) 15:19:52 overflow : 1850/1850 (mem: 1876.71 MiB) 15:19:52 (mem: 1876.71 MiB) 15:19:52 Total structured size: 243875 (mem: 1876.71 MiB) 15:19:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15:19:54 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1876.71 MiB) 15:20:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:20:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:20:00 goblin ecc op : 10/1024 (mem: 1876.71 MiB) 15:20:00 busread : 3/6000 (mem: 1876.71 MiB) 15:20:00 lookups : 15000/15000 (mem: 1876.71 MiB) 15:20:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:20:00 arithmetic : 48085/56000 (mem: 1876.71 MiB) 15:20:00 delta range : 18000/18000 (mem: 1876.71 MiB) 15:20:00 elliptic : 4132/6000 (mem: 1876.71 MiB) 15:20:00 auxiliary : 23580/26000 (mem: 1876.71 MiB) 15:20:00 poseidon ext : 2/17000 (mem: 1876.71 MiB) 15:20:00 poseidon int : 2/92000 (mem: 1876.71 MiB) 15:20:00 overflow : 17783/17783 (mem: 1876.71 MiB) 15:20:00 (mem: 1876.71 MiB) 15:20:00 Total structured size: 259808 (mem: 1876.71 MiB) 15:20:02 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15:20: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: 1876.71 MiB) 15:20:08 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:20:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:20:08 goblin ecc op : 792/1024 (mem: 1876.71 MiB) 15:20:08 busread : 3/6000 (mem: 1876.71 MiB) 15:20:08 lookups : 13540/15000 (mem: 1876.71 MiB) 15:20:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:20:08 arithmetic : 40019/56000 (mem: 1876.71 MiB) 15:20:08 delta range : 11097/18000 (mem: 1876.71 MiB) 15:20:08 elliptic : 6000/6000 (mem: 1876.71 MiB) 15:20:08 auxiliary : 11827/26000 (mem: 1876.71 MiB) 15:20:08 poseidon ext : 4942/17000 (mem: 1876.71 MiB) 15:20:08 poseidon int : 28160/92000 (mem: 1876.71 MiB) 15:20:08 overflow : 1850/1850 (mem: 1876.71 MiB) 15:20:08 (mem: 1876.71 MiB) 15:20:08 Total structured size: 243875 (mem: 1876.71 MiB) 15:20:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15:20:09 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.71 MiB) 15:20:15 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1876.71 MiB) 15:20:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 1876.71 MiB) 15:20:15 goblin ecc op : 10/1024 (mem: 1876.71 MiB) 15:20:15 busread : 3/6000 (mem: 1876.71 MiB) 15:20:15 lookups : 15000/15000 (mem: 1876.71 MiB) 15:20:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1876.71 MiB) 15:20:15 arithmetic : 48085/56000 (mem: 1876.71 MiB) 15:20:15 delta range : 18000/18000 (mem: 1876.71 MiB) 15:20:15 elliptic : 4132/6000 (mem: 1876.71 MiB) 15:20:15 auxiliary : 23580/26000 (mem: 1876.71 MiB) 15:20:15 poseidon ext : 2/17000 (mem: 1876.71 MiB) 15:20:15 poseidon int : 2/92000 (mem: 1876.71 MiB) 15:20:15 overflow : 17783/17783 (mem: 1876.71 MiB) 15:20:15 (mem: 1876.71 MiB) 15:20:15 Total structured size: 259808 (mem: 1876.71 MiB) 15:20:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1876.71 MiB) 15:20: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: 1876.71 MiB) 15:20:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1877.71 MiB) 15:20:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1877.71 MiB) 15:20:23 goblin ecc op : 792/1024 (mem: 1877.71 MiB) 15:20:23 busread : 3/6000 (mem: 1877.71 MiB) 15:20:23 lookups : 13540/15000 (mem: 1877.71 MiB) 15:20:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1877.71 MiB) 15:20:23 arithmetic : 40019/56000 (mem: 1877.71 MiB) 15:20:23 delta range : 11097/18000 (mem: 1877.71 MiB) 15:20:23 elliptic : 6000/6000 (mem: 1877.71 MiB) 15:20:23 auxiliary : 11827/26000 (mem: 1877.71 MiB) 15:20:23 poseidon ext : 4942/17000 (mem: 1877.71 MiB) 15:20:23 poseidon int : 28160/92000 (mem: 1877.71 MiB) 15:20:23 overflow : 1850/1850 (mem: 1877.71 MiB) 15:20:23 (mem: 1877.71 MiB) 15:20:23 Total structured size: 243875 (mem: 1877.71 MiB) 15:20:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1877.71 MiB) 15:20: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: 1877.71 MiB) 15:20:31 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1877.71 MiB) 15:20:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 1877.71 MiB) 15:20:31 goblin ecc op : 10/1024 (mem: 1877.71 MiB) 15:20:31 busread : 3/6000 (mem: 1877.71 MiB) 15:20:31 lookups : 15000/15000 (mem: 1877.71 MiB) 15:20:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1877.71 MiB) 15:20:31 arithmetic : 48085/56000 (mem: 1877.71 MiB) 15:20:31 delta range : 18000/18000 (mem: 1877.71 MiB) 15:20:31 elliptic : 4132/6000 (mem: 1877.71 MiB) 15:20:31 auxiliary : 23580/26000 (mem: 1877.71 MiB) 15:20:31 poseidon ext : 2/17000 (mem: 1877.71 MiB) 15:20:31 poseidon int : 2/92000 (mem: 1877.71 MiB) 15:20:31 overflow : 17783/17783 (mem: 1877.71 MiB) 15:20:31 (mem: 1877.71 MiB) 15:20:31 Total structured size: 259808 (mem: 1877.71 MiB) 15:20:33 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1877.71 MiB) 15:20: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: 1877.71 MiB) 15:20:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:20:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:20:39 goblin ecc op : 792/1024 (mem: 1878.71 MiB) 15:20:39 busread : 3/6000 (mem: 1878.71 MiB) 15:20:39 lookups : 13540/15000 (mem: 1878.71 MiB) 15:20:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:20:39 arithmetic : 40019/56000 (mem: 1878.71 MiB) 15:20:39 delta range : 11097/18000 (mem: 1878.71 MiB) 15:20:39 elliptic : 6000/6000 (mem: 1878.71 MiB) 15:20:39 auxiliary : 11827/26000 (mem: 1878.71 MiB) 15:20:39 poseidon ext : 4942/17000 (mem: 1878.71 MiB) 15:20:39 poseidon int : 28160/92000 (mem: 1878.71 MiB) 15:20:39 overflow : 1850/1850 (mem: 1878.71 MiB) 15:20:39 (mem: 1878.71 MiB) 15:20:39 Total structured size: 243875 (mem: 1878.71 MiB) 15:20:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:20: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: 1878.71 MiB) 15:20:45 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:20:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:20:45 goblin ecc op : 10/1024 (mem: 1878.71 MiB) 15:20:45 busread : 3/6000 (mem: 1878.71 MiB) 15:20:45 lookups : 15000/15000 (mem: 1878.71 MiB) 15:20:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:20:45 arithmetic : 48085/56000 (mem: 1878.71 MiB) 15:20:45 delta range : 18000/18000 (mem: 1878.71 MiB) 15:20:45 elliptic : 4132/6000 (mem: 1878.71 MiB) 15:20:45 auxiliary : 23580/26000 (mem: 1878.71 MiB) 15:20:45 poseidon ext : 2/17000 (mem: 1878.71 MiB) 15:20:45 poseidon int : 2/92000 (mem: 1878.71 MiB) 15:20:45 overflow : 17783/17783 (mem: 1878.71 MiB) 15:20:45 (mem: 1878.71 MiB) 15:20:45 Total structured size: 259808 (mem: 1878.71 MiB) 15:20:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:20:47 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.71 MiB) 15:20:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:20:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:20:52 goblin ecc op : 792/1024 (mem: 1878.71 MiB) 15:20:52 busread : 3/6000 (mem: 1878.71 MiB) 15:20:52 lookups : 13540/15000 (mem: 1878.71 MiB) 15:20:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:20:52 arithmetic : 40019/56000 (mem: 1878.71 MiB) 15:20:52 delta range : 11097/18000 (mem: 1878.71 MiB) 15:20:52 elliptic : 6000/6000 (mem: 1878.71 MiB) 15:20:52 auxiliary : 11827/26000 (mem: 1878.71 MiB) 15:20:52 poseidon ext : 4942/17000 (mem: 1878.71 MiB) 15:20:52 poseidon int : 28160/92000 (mem: 1878.71 MiB) 15:20:52 overflow : 1850/1850 (mem: 1878.71 MiB) 15:20:52 (mem: 1878.71 MiB) 15:20:52 Total structured size: 243875 (mem: 1878.71 MiB) 15:20:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:20:54 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1878.71 MiB) 15:21:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:01 goblin ecc op : 10/1024 (mem: 1878.71 MiB) 15:21:01 busread : 3/6000 (mem: 1878.71 MiB) 15:21:01 lookups : 15000/15000 (mem: 1878.71 MiB) 15:21:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:01 arithmetic : 56000/56000 (mem: 1878.71 MiB) 15:21:01 delta range : 18000/18000 (mem: 1878.71 MiB) 15:21:01 elliptic : 4958/6000 (mem: 1878.71 MiB) 15:21:01 auxiliary : 26000/26000 (mem: 1878.71 MiB) 15:21:01 poseidon ext : 2/17000 (mem: 1878.71 MiB) 15:21:01 poseidon int : 2/92000 (mem: 1878.71 MiB) 15:21:01 overflow : 248619/248619 (mem: 1878.71 MiB) 15:21:01 (mem: 1878.71 MiB) 15:21:01 Total structured size: 490644 (mem: 1878.71 MiB) 15:21: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: 1878.71 MiB) 15:21:09 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:09 goblin ecc op : 56/1024 (mem: 1878.71 MiB) 15:21:09 busread : 3/6000 (mem: 1878.71 MiB) 15:21:09 lookups : 13540/15000 (mem: 1878.71 MiB) 15:21:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:09 arithmetic : 32894/56000 (mem: 1878.71 MiB) 15:21:09 delta range : 10239/18000 (mem: 1878.71 MiB) 15:21:09 elliptic : 6000/6000 (mem: 1878.71 MiB) 15:21:09 auxiliary : 11827/26000 (mem: 1878.71 MiB) 15:21:09 poseidon ext : 1302/17000 (mem: 1878.71 MiB) 15:21:09 poseidon int : 7412/92000 (mem: 1878.71 MiB) 15:21:09 overflow : 1850/1850 (mem: 1878.71 MiB) 15:21:09 (mem: 1878.71 MiB) 15:21:09 Total structured size: 243875 (mem: 1878.71 MiB) 15:21:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:21: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: 1878.71 MiB) 15:21:15 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:15 goblin ecc op : 10/1024 (mem: 1878.71 MiB) 15:21:15 busread : 3/6000 (mem: 1878.71 MiB) 15:21:15 lookups : 15000/15000 (mem: 1878.71 MiB) 15:21:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:15 arithmetic : 48085/56000 (mem: 1878.71 MiB) 15:21:15 delta range : 18000/18000 (mem: 1878.71 MiB) 15:21:15 elliptic : 4132/6000 (mem: 1878.71 MiB) 15:21:15 auxiliary : 23580/26000 (mem: 1878.71 MiB) 15:21:15 poseidon ext : 2/17000 (mem: 1878.71 MiB) 15:21:15 poseidon int : 2/92000 (mem: 1878.71 MiB) 15:21:15 overflow : 17783/17783 (mem: 1878.71 MiB) 15:21:15 (mem: 1878.71 MiB) 15:21:15 Total structured size: 259808 (mem: 1878.71 MiB) 15:21:15 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:21:15 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1878.71 MiB) 15:21:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:21 goblin ecc op : 792/1024 (mem: 1878.71 MiB) 15:21:21 busread : 3/6000 (mem: 1878.71 MiB) 15:21:21 lookups : 13540/15000 (mem: 1878.71 MiB) 15:21:21 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:21 arithmetic : 40019/56000 (mem: 1878.71 MiB) 15:21:21 delta range : 11097/18000 (mem: 1878.71 MiB) 15:21:21 elliptic : 6000/6000 (mem: 1878.71 MiB) 15:21:21 auxiliary : 11827/26000 (mem: 1878.71 MiB) 15:21:21 poseidon ext : 4942/17000 (mem: 1878.71 MiB) 15:21:21 poseidon int : 28160/92000 (mem: 1878.71 MiB) 15:21:21 overflow : 1850/1850 (mem: 1878.71 MiB) 15:21:21 (mem: 1878.71 MiB) 15:21:21 Total structured size: 243875 (mem: 1878.71 MiB) 15:21:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:21: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: 1878.71 MiB) 15:21:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:28 goblin ecc op : 10/1024 (mem: 1878.71 MiB) 15:21:28 busread : 3/6000 (mem: 1878.71 MiB) 15:21:28 lookups : 15000/15000 (mem: 1878.71 MiB) 15:21:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:28 arithmetic : 48085/56000 (mem: 1878.71 MiB) 15:21:28 delta range : 18000/18000 (mem: 1878.71 MiB) 15:21:28 elliptic : 4132/6000 (mem: 1878.71 MiB) 15:21:28 auxiliary : 23580/26000 (mem: 1878.71 MiB) 15:21:28 poseidon ext : 2/17000 (mem: 1878.71 MiB) 15:21:28 poseidon int : 2/92000 (mem: 1878.71 MiB) 15:21:28 overflow : 17783/17783 (mem: 1878.71 MiB) 15:21:28 (mem: 1878.71 MiB) 15:21:28 Total structured size: 259808 (mem: 1878.71 MiB) 15:21:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:21: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: 1878.71 MiB) 15:21:34 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:34 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:34 goblin ecc op : 792/1024 (mem: 1878.71 MiB) 15:21:34 busread : 3/6000 (mem: 1878.71 MiB) 15:21:34 lookups : 13540/15000 (mem: 1878.71 MiB) 15:21:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:34 arithmetic : 40019/56000 (mem: 1878.71 MiB) 15:21:34 delta range : 11097/18000 (mem: 1878.71 MiB) 15:21:34 elliptic : 6000/6000 (mem: 1878.71 MiB) 15:21:34 auxiliary : 11827/26000 (mem: 1878.71 MiB) 15:21:34 poseidon ext : 4942/17000 (mem: 1878.71 MiB) 15:21:34 poseidon int : 28160/92000 (mem: 1878.71 MiB) 15:21:34 overflow : 1850/1850 (mem: 1878.71 MiB) 15:21:34 (mem: 1878.71 MiB) 15:21:34 Total structured size: 243875 (mem: 1878.71 MiB) 15:21:34 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:21: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: 1878.71 MiB) 15:21:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:39 goblin ecc op : 10/1024 (mem: 1878.71 MiB) 15:21:39 busread : 3/6000 (mem: 1878.71 MiB) 15:21:39 lookups : 15000/15000 (mem: 1878.71 MiB) 15:21:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:39 arithmetic : 48085/56000 (mem: 1878.71 MiB) 15:21:39 delta range : 18000/18000 (mem: 1878.71 MiB) 15:21:39 elliptic : 4132/6000 (mem: 1878.71 MiB) 15:21:39 auxiliary : 23580/26000 (mem: 1878.71 MiB) 15:21:39 poseidon ext : 2/17000 (mem: 1878.71 MiB) 15:21:39 poseidon int : 2/92000 (mem: 1878.71 MiB) 15:21:39 overflow : 17783/17783 (mem: 1878.71 MiB) 15:21:39 (mem: 1878.71 MiB) 15:21:39 Total structured size: 259808 (mem: 1878.71 MiB) 15:21:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:21: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: 1878.71 MiB) 15:21:45 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1878.71 MiB) 15:21:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 1878.71 MiB) 15:21:45 goblin ecc op : 792/1024 (mem: 1878.71 MiB) 15:21:45 busread : 3/6000 (mem: 1878.71 MiB) 15:21:45 lookups : 13540/15000 (mem: 1878.71 MiB) 15:21:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1878.71 MiB) 15:21:45 arithmetic : 40019/56000 (mem: 1878.71 MiB) 15:21:45 delta range : 11097/18000 (mem: 1878.71 MiB) 15:21:45 elliptic : 6000/6000 (mem: 1878.71 MiB) 15:21:45 auxiliary : 11827/26000 (mem: 1878.71 MiB) 15:21:45 poseidon ext : 4942/17000 (mem: 1878.71 MiB) 15:21:45 poseidon int : 28160/92000 (mem: 1878.71 MiB) 15:21:45 overflow : 1850/1850 (mem: 1878.71 MiB) 15:21:45 (mem: 1878.71 MiB) 15:21:45 Total structured size: 243875 (mem: 1878.71 MiB) 15:21:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1878.71 MiB) 15:21: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: 1878.71 MiB) 15:21:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1906.29 MiB) 15:21:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1906.29 MiB) 15:21:52 goblin ecc op : 10/1024 (mem: 1906.29 MiB) 15:21:52 busread : 3/6000 (mem: 1906.29 MiB) 15:21:52 lookups : 15000/15000 (mem: 1906.29 MiB) 15:21:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1906.29 MiB) 15:21:52 arithmetic : 48085/56000 (mem: 1906.29 MiB) 15:21:52 delta range : 18000/18000 (mem: 1906.29 MiB) 15:21:52 elliptic : 4132/6000 (mem: 1906.29 MiB) 15:21:52 auxiliary : 23580/26000 (mem: 1906.29 MiB) 15:21:52 poseidon ext : 2/17000 (mem: 1906.29 MiB) 15:21:52 poseidon int : 2/92000 (mem: 1906.29 MiB) 15:21:52 overflow : 17783/17783 (mem: 1906.29 MiB) 15:21:52 (mem: 1906.29 MiB) 15:21:52 Total structured size: 259808 (mem: 1906.29 MiB) 15:21:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1906.29 MiB) 15:21: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: 1906.29 MiB) 15:21:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1906.29 MiB) 15:21:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1906.29 MiB) 15:21:58 goblin ecc op : 792/1024 (mem: 1906.29 MiB) 15:21:58 busread : 3/6000 (mem: 1906.29 MiB) 15:21:58 lookups : 13540/15000 (mem: 1906.29 MiB) 15:21:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1906.29 MiB) 15:21:58 arithmetic : 40019/56000 (mem: 1906.29 MiB) 15:21:58 delta range : 11097/18000 (mem: 1906.29 MiB) 15:21:58 elliptic : 6000/6000 (mem: 1906.29 MiB) 15:21:58 auxiliary : 11827/26000 (mem: 1906.29 MiB) 15:21:58 poseidon ext : 4942/17000 (mem: 1906.29 MiB) 15:21:58 poseidon int : 28160/92000 (mem: 1906.29 MiB) 15:21:58 overflow : 1850/1850 (mem: 1906.29 MiB) 15:21:58 (mem: 1906.29 MiB) 15:21:58 Total structured size: 243875 (mem: 1906.29 MiB) 15:21:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1906.29 MiB) 15: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: 1906.29 MiB) 15:22:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1908.05 MiB) 15:22:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1908.05 MiB) 15:22:04 goblin ecc op : 10/1024 (mem: 1908.05 MiB) 15:22:04 busread : 3/6000 (mem: 1908.05 MiB) 15:22:04 lookups : 15000/15000 (mem: 1908.05 MiB) 15:22:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1908.05 MiB) 15:22:04 arithmetic : 48085/56000 (mem: 1908.05 MiB) 15:22:04 delta range : 18000/18000 (mem: 1908.05 MiB) 15:22:04 elliptic : 4132/6000 (mem: 1908.05 MiB) 15:22:04 auxiliary : 23580/26000 (mem: 1908.05 MiB) 15:22:04 poseidon ext : 2/17000 (mem: 1908.05 MiB) 15:22:04 poseidon int : 2/92000 (mem: 1908.05 MiB) 15:22:04 overflow : 17783/17783 (mem: 1908.05 MiB) 15:22:04 (mem: 1908.05 MiB) 15:22:04 Total structured size: 259808 (mem: 1908.05 MiB) 15:22:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1908.05 MiB) 15: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: 1908.05 MiB) 15:22:10 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1908.05 MiB) 15:22:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1908.05 MiB) 15:22:10 goblin ecc op : 792/1024 (mem: 1908.05 MiB) 15:22:10 busread : 3/6000 (mem: 1908.05 MiB) 15:22:10 lookups : 13540/15000 (mem: 1908.05 MiB) 15:22:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1908.05 MiB) 15:22:10 arithmetic : 40019/56000 (mem: 1908.05 MiB) 15:22:10 delta range : 11097/18000 (mem: 1908.05 MiB) 15:22:10 elliptic : 6000/6000 (mem: 1908.05 MiB) 15:22:10 auxiliary : 11827/26000 (mem: 1908.05 MiB) 15:22:10 poseidon ext : 4942/17000 (mem: 1908.05 MiB) 15:22:10 poseidon int : 28160/92000 (mem: 1908.05 MiB) 15:22:10 overflow : 1850/1850 (mem: 1908.05 MiB) 15:22:10 (mem: 1908.05 MiB) 15:22:10 Total structured size: 243875 (mem: 1908.05 MiB) 15:22:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1908.05 MiB) 15:22: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: 1908.05 MiB) 15:22:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1908.27 MiB) 15:22:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1908.27 MiB) 15:22:17 goblin ecc op : 10/1024 (mem: 1908.27 MiB) 15:22:17 busread : 3/6000 (mem: 1908.27 MiB) 15:22:17 lookups : 15000/15000 (mem: 1908.27 MiB) 15:22:17 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1908.27 MiB) 15:22:17 arithmetic : 48085/56000 (mem: 1908.27 MiB) 15:22:17 delta range : 18000/18000 (mem: 1908.27 MiB) 15:22:17 elliptic : 4132/6000 (mem: 1908.27 MiB) 15:22:17 auxiliary : 23580/26000 (mem: 1908.27 MiB) 15:22:17 poseidon ext : 2/17000 (mem: 1908.27 MiB) 15:22:17 poseidon int : 2/92000 (mem: 1908.27 MiB) 15:22:17 overflow : 17783/17783 (mem: 1908.27 MiB) 15:22:17 (mem: 1908.27 MiB) 15:22:17 Total structured size: 259808 (mem: 1908.27 MiB) 15:22:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1908.27 MiB) 15: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: 1908.27 MiB) 15:22:22 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1908.27 MiB) 15:22:22 Gate blocks summary: (actual gates / fixed capacity) (mem: 1908.27 MiB) 15:22:22 goblin ecc op : 792/1024 (mem: 1908.27 MiB) 15:22:22 busread : 3/6000 (mem: 1908.27 MiB) 15:22:22 lookups : 13540/15000 (mem: 1908.27 MiB) 15:22:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1908.27 MiB) 15:22:22 arithmetic : 40019/56000 (mem: 1908.27 MiB) 15:22:22 delta range : 11097/18000 (mem: 1908.27 MiB) 15:22:22 elliptic : 6000/6000 (mem: 1908.27 MiB) 15:22:22 auxiliary : 11827/26000 (mem: 1908.27 MiB) 15:22:22 poseidon ext : 4942/17000 (mem: 1908.27 MiB) 15:22:22 poseidon int : 28160/92000 (mem: 1908.27 MiB) 15:22:22 overflow : 1850/1850 (mem: 1908.27 MiB) 15:22:22 (mem: 1908.27 MiB) 15:22:22 Total structured size: 243875 (mem: 1908.27 MiB) 15:22:22 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1908.27 MiB) 15:22: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: 1908.27 MiB) 15:22:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1908.43 MiB) 15:22:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 1908.43 MiB) 15:22:28 goblin ecc op : 10/1024 (mem: 1908.43 MiB) 15:22:28 busread : 3/6000 (mem: 1908.43 MiB) 15:22:28 lookups : 15000/15000 (mem: 1908.43 MiB) 15:22:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1908.43 MiB) 15:22:28 arithmetic : 48085/56000 (mem: 1908.43 MiB) 15:22:28 delta range : 18000/18000 (mem: 1908.43 MiB) 15:22:28 elliptic : 4132/6000 (mem: 1908.43 MiB) 15:22:28 auxiliary : 23580/26000 (mem: 1908.43 MiB) 15:22:28 poseidon ext : 2/17000 (mem: 1908.43 MiB) 15:22:28 poseidon int : 2/92000 (mem: 1908.43 MiB) 15:22:28 overflow : 17783/17783 (mem: 1908.43 MiB) 15:22:28 (mem: 1908.43 MiB) 15:22:28 Total structured size: 259808 (mem: 1908.43 MiB) 15:22:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1908.43 MiB) 15:22: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: 1908.43 MiB) 15:22:34 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1910.42 MiB) 15:22:34 Gate blocks summary: (actual gates / fixed capacity) (mem: 1910.42 MiB) 15:22:34 goblin ecc op : 792/1024 (mem: 1910.42 MiB) 15:22:34 busread : 3/6000 (mem: 1910.42 MiB) 15:22:34 lookups : 13540/15000 (mem: 1910.42 MiB) 15:22:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1910.42 MiB) 15:22:34 arithmetic : 40019/56000 (mem: 1910.42 MiB) 15:22:34 delta range : 11097/18000 (mem: 1910.42 MiB) 15:22:34 elliptic : 6000/6000 (mem: 1910.42 MiB) 15:22:34 auxiliary : 11827/26000 (mem: 1910.42 MiB) 15:22:34 poseidon ext : 4942/17000 (mem: 1910.42 MiB) 15:22:34 poseidon int : 28160/92000 (mem: 1910.42 MiB) 15:22:34 overflow : 1850/1850 (mem: 1910.42 MiB) 15:22:34 (mem: 1910.42 MiB) 15:22:34 Total structured size: 243875 (mem: 1910.42 MiB) 15:22:35 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1910.42 MiB) 15:22:35 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1910.42 MiB) 15:22:40 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1910.80 MiB) 15:22:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 1910.80 MiB) 15:22:40 goblin ecc op : 10/1024 (mem: 1910.80 MiB) 15:22:40 busread : 3/6000 (mem: 1910.80 MiB) 15:22:40 lookups : 15000/15000 (mem: 1910.80 MiB) 15:22:40 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1910.80 MiB) 15:22:40 arithmetic : 48085/56000 (mem: 1910.80 MiB) 15:22:40 delta range : 18000/18000 (mem: 1910.80 MiB) 15:22:40 elliptic : 4132/6000 (mem: 1910.80 MiB) 15:22:40 auxiliary : 23580/26000 (mem: 1910.80 MiB) 15:22:40 poseidon ext : 2/17000 (mem: 1910.80 MiB) 15:22:40 poseidon int : 2/92000 (mem: 1910.80 MiB) 15:22:40 overflow : 17783/17783 (mem: 1910.80 MiB) 15:22:40 (mem: 1910.80 MiB) 15:22:40 Total structured size: 259808 (mem: 1910.80 MiB) 15:22:41 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1910.80 MiB) 15:22:41 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1910.80 MiB) 15:22:47 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1910.80 MiB) 15:22:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 1910.80 MiB) 15:22:47 goblin ecc op : 792/1024 (mem: 1910.80 MiB) 15:22:47 busread : 3/6000 (mem: 1910.80 MiB) 15:22:47 lookups : 13540/15000 (mem: 1910.80 MiB) 15:22:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1910.80 MiB) 15:22:47 arithmetic : 40019/56000 (mem: 1910.80 MiB) 15:22:47 delta range : 11097/18000 (mem: 1910.80 MiB) 15:22:47 elliptic : 6000/6000 (mem: 1910.80 MiB) 15:22:47 auxiliary : 11827/26000 (mem: 1910.80 MiB) 15:22:47 poseidon ext : 4942/17000 (mem: 1910.80 MiB) 15:22:47 poseidon int : 28160/92000 (mem: 1910.80 MiB) 15:22:47 overflow : 1850/1850 (mem: 1910.80 MiB) 15:22:47 (mem: 1910.80 MiB) 15:22:47 Total structured size: 243875 (mem: 1910.80 MiB) 15:22:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1910.80 MiB) 15:22:47 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1910.80 MiB) 15:22:53 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1911.66 MiB) 15:22:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 1911.66 MiB) 15:22:53 goblin ecc op : 10/1024 (mem: 1911.66 MiB) 15:22:53 busread : 3/6000 (mem: 1911.66 MiB) 15:22:53 lookups : 15000/15000 (mem: 1911.66 MiB) 15:22:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1911.66 MiB) 15:22:53 arithmetic : 48085/56000 (mem: 1911.66 MiB) 15:22:53 delta range : 18000/18000 (mem: 1911.66 MiB) 15:22:53 elliptic : 4132/6000 (mem: 1911.66 MiB) 15:22:53 auxiliary : 23580/26000 (mem: 1911.66 MiB) 15:22:53 poseidon ext : 2/17000 (mem: 1911.66 MiB) 15:22:53 poseidon int : 2/92000 (mem: 1911.66 MiB) 15:22:53 overflow : 17783/17783 (mem: 1911.66 MiB) 15:22:53 (mem: 1911.66 MiB) 15:22:53 Total structured size: 259808 (mem: 1911.66 MiB) 15:22:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1911.66 MiB) 15:22: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: 1911.66 MiB) 15:22:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1912.54 MiB) 15:22:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1912.54 MiB) 15:22:59 goblin ecc op : 792/1024 (mem: 1912.54 MiB) 15:22:59 busread : 3/6000 (mem: 1912.54 MiB) 15:22:59 lookups : 13540/15000 (mem: 1912.54 MiB) 15:22:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1912.54 MiB) 15:22:59 arithmetic : 40019/56000 (mem: 1912.54 MiB) 15:22:59 delta range : 11097/18000 (mem: 1912.54 MiB) 15:22:59 elliptic : 6000/6000 (mem: 1912.54 MiB) 15:22:59 auxiliary : 11827/26000 (mem: 1912.54 MiB) 15:22:59 poseidon ext : 4942/17000 (mem: 1912.54 MiB) 15:22:59 poseidon int : 28160/92000 (mem: 1912.54 MiB) 15:22:59 overflow : 1850/1850 (mem: 1912.54 MiB) 15:22:59 (mem: 1912.54 MiB) 15:22:59 Total structured size: 243875 (mem: 1912.54 MiB) 15:22:59 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1912.54 MiB) 15:22: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: 1912.54 MiB) 15:23:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1912.61 MiB) 15:23:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1912.61 MiB) 15:23:05 goblin ecc op : 10/1024 (mem: 1912.61 MiB) 15:23:05 busread : 3/6000 (mem: 1912.61 MiB) 15:23:05 lookups : 15000/15000 (mem: 1912.61 MiB) 15:23:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1912.61 MiB) 15:23:05 arithmetic : 48085/56000 (mem: 1912.61 MiB) 15:23:05 delta range : 18000/18000 (mem: 1912.61 MiB) 15:23:05 elliptic : 4132/6000 (mem: 1912.61 MiB) 15:23:05 auxiliary : 23580/26000 (mem: 1912.61 MiB) 15:23:05 poseidon ext : 2/17000 (mem: 1912.61 MiB) 15:23:05 poseidon int : 2/92000 (mem: 1912.61 MiB) 15:23:05 overflow : 17783/17783 (mem: 1912.61 MiB) 15:23:05 (mem: 1912.61 MiB) 15:23:05 Total structured size: 259808 (mem: 1912.61 MiB) 15:23:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1912.61 MiB) 15:23: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: 1912.61 MiB) 15:23:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1912.87 MiB) 15:23:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1912.87 MiB) 15:23:11 goblin ecc op : 792/1024 (mem: 1912.87 MiB) 15:23:11 busread : 3/6000 (mem: 1912.87 MiB) 15:23:11 lookups : 13540/15000 (mem: 1912.87 MiB) 15:23:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1912.87 MiB) 15:23:11 arithmetic : 40019/56000 (mem: 1912.87 MiB) 15:23:11 delta range : 11097/18000 (mem: 1912.87 MiB) 15:23:11 elliptic : 6000/6000 (mem: 1912.87 MiB) 15:23:11 auxiliary : 11827/26000 (mem: 1912.87 MiB) 15:23:11 poseidon ext : 4942/17000 (mem: 1912.87 MiB) 15:23:11 poseidon int : 28160/92000 (mem: 1912.87 MiB) 15:23:11 overflow : 1850/1850 (mem: 1912.87 MiB) 15:23:11 (mem: 1912.87 MiB) 15:23:11 Total structured size: 243875 (mem: 1912.87 MiB) 15:23:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1912.87 MiB) 15:23: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: 1912.87 MiB) 15:23:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:18 goblin ecc op : 10/1024 (mem: 1913.00 MiB) 15:23:18 busread : 3/6000 (mem: 1913.00 MiB) 15:23:18 lookups : 15000/15000 (mem: 1913.00 MiB) 15:23:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:18 arithmetic : 48085/56000 (mem: 1913.00 MiB) 15:23:18 delta range : 18000/18000 (mem: 1913.00 MiB) 15:23:18 elliptic : 4132/6000 (mem: 1913.00 MiB) 15:23:18 auxiliary : 23580/26000 (mem: 1913.00 MiB) 15:23:18 poseidon ext : 2/17000 (mem: 1913.00 MiB) 15:23:18 poseidon int : 2/92000 (mem: 1913.00 MiB) 15:23:18 overflow : 17783/17783 (mem: 1913.00 MiB) 15:23:18 (mem: 1913.00 MiB) 15:23:18 Total structured size: 259808 (mem: 1913.00 MiB) 15:23:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15:23:18 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.00 MiB) 15:23:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:23 goblin ecc op : 792/1024 (mem: 1913.00 MiB) 15:23:23 busread : 3/6000 (mem: 1913.00 MiB) 15:23:23 lookups : 13540/15000 (mem: 1913.00 MiB) 15:23:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:23 arithmetic : 40019/56000 (mem: 1913.00 MiB) 15:23:23 delta range : 11097/18000 (mem: 1913.00 MiB) 15:23:23 elliptic : 6000/6000 (mem: 1913.00 MiB) 15:23:23 auxiliary : 11827/26000 (mem: 1913.00 MiB) 15:23:23 poseidon ext : 4942/17000 (mem: 1913.00 MiB) 15:23:23 poseidon int : 28160/92000 (mem: 1913.00 MiB) 15:23:23 overflow : 1850/1850 (mem: 1913.00 MiB) 15:23:23 (mem: 1913.00 MiB) 15:23:23 Total structured size: 243875 (mem: 1913.00 MiB) 15:23:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15:23:23 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.00 MiB) 15:23:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:29 goblin ecc op : 10/1024 (mem: 1913.00 MiB) 15:23:29 busread : 3/6000 (mem: 1913.00 MiB) 15:23:29 lookups : 15000/15000 (mem: 1913.00 MiB) 15:23:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:29 arithmetic : 48085/56000 (mem: 1913.00 MiB) 15:23:29 delta range : 18000/18000 (mem: 1913.00 MiB) 15:23:29 elliptic : 4132/6000 (mem: 1913.00 MiB) 15:23:29 auxiliary : 23580/26000 (mem: 1913.00 MiB) 15:23:29 poseidon ext : 2/17000 (mem: 1913.00 MiB) 15:23:29 poseidon int : 2/92000 (mem: 1913.00 MiB) 15:23:29 overflow : 17783/17783 (mem: 1913.00 MiB) 15:23:29 (mem: 1913.00 MiB) 15:23:29 Total structured size: 259808 (mem: 1913.00 MiB) 15:23:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15:23: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: 1913.00 MiB) 15:23:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:35 goblin ecc op : 792/1024 (mem: 1913.00 MiB) 15:23:35 busread : 3/6000 (mem: 1913.00 MiB) 15:23:35 lookups : 13540/15000 (mem: 1913.00 MiB) 15:23:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:35 arithmetic : 40019/56000 (mem: 1913.00 MiB) 15:23:35 delta range : 11097/18000 (mem: 1913.00 MiB) 15:23:35 elliptic : 6000/6000 (mem: 1913.00 MiB) 15:23:35 auxiliary : 11827/26000 (mem: 1913.00 MiB) 15:23:35 poseidon ext : 4942/17000 (mem: 1913.00 MiB) 15:23:35 poseidon int : 28160/92000 (mem: 1913.00 MiB) 15:23:35 overflow : 1850/1850 (mem: 1913.00 MiB) 15:23:35 (mem: 1913.00 MiB) 15:23:35 Total structured size: 243875 (mem: 1913.00 MiB) 15:23:35 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15:23:35 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.00 MiB) 15:23:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:41 goblin ecc op : 10/1024 (mem: 1913.00 MiB) 15:23:41 busread : 3/6000 (mem: 1913.00 MiB) 15:23:41 lookups : 15000/15000 (mem: 1913.00 MiB) 15:23:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:41 arithmetic : 48085/56000 (mem: 1913.00 MiB) 15:23:41 delta range : 18000/18000 (mem: 1913.00 MiB) 15:23:41 elliptic : 4132/6000 (mem: 1913.00 MiB) 15:23:41 auxiliary : 23580/26000 (mem: 1913.00 MiB) 15:23:41 poseidon ext : 2/17000 (mem: 1913.00 MiB) 15:23:41 poseidon int : 2/92000 (mem: 1913.00 MiB) 15:23:41 overflow : 17783/17783 (mem: 1913.00 MiB) 15:23:41 (mem: 1913.00 MiB) 15:23:41 Total structured size: 259808 (mem: 1913.00 MiB) 15:23:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15:23: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.00 MiB) 15:23:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:48 goblin ecc op : 792/1024 (mem: 1913.00 MiB) 15:23:48 busread : 3/6000 (mem: 1913.00 MiB) 15:23:48 lookups : 13540/15000 (mem: 1913.00 MiB) 15:23:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:48 arithmetic : 40019/56000 (mem: 1913.00 MiB) 15:23:48 delta range : 11097/18000 (mem: 1913.00 MiB) 15:23:48 elliptic : 6000/6000 (mem: 1913.00 MiB) 15:23:48 auxiliary : 11827/26000 (mem: 1913.00 MiB) 15:23:48 poseidon ext : 4942/17000 (mem: 1913.00 MiB) 15:23:48 poseidon int : 28160/92000 (mem: 1913.00 MiB) 15:23:48 overflow : 1850/1850 (mem: 1913.00 MiB) 15:23:48 (mem: 1913.00 MiB) 15:23:48 Total structured size: 243875 (mem: 1913.00 MiB) 15:23:48 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15:23:48 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1913.00 MiB) 15:23:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:54 goblin ecc op : 10/1024 (mem: 1913.00 MiB) 15:23:54 busread : 3/6000 (mem: 1913.00 MiB) 15:23:54 lookups : 15000/15000 (mem: 1913.00 MiB) 15:23:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:54 arithmetic : 48085/56000 (mem: 1913.00 MiB) 15:23:54 delta range : 18000/18000 (mem: 1913.00 MiB) 15:23:54 elliptic : 4132/6000 (mem: 1913.00 MiB) 15:23:54 auxiliary : 23580/26000 (mem: 1913.00 MiB) 15:23:54 poseidon ext : 2/17000 (mem: 1913.00 MiB) 15:23:54 poseidon int : 2/92000 (mem: 1913.00 MiB) 15:23:54 overflow : 17783/17783 (mem: 1913.00 MiB) 15:23:54 (mem: 1913.00 MiB) 15:23:54 Total structured size: 259808 (mem: 1913.00 MiB) 15:23:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15:23:54 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1913.00 MiB) 15:23:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.00 MiB) 15:23:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.00 MiB) 15:23:59 goblin ecc op : 792/1024 (mem: 1913.00 MiB) 15:23:59 busread : 3/6000 (mem: 1913.00 MiB) 15:23:59 lookups : 13540/15000 (mem: 1913.00 MiB) 15:23:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.00 MiB) 15:23:59 arithmetic : 40019/56000 (mem: 1913.00 MiB) 15:23:59 delta range : 11097/18000 (mem: 1913.00 MiB) 15:23:59 elliptic : 6000/6000 (mem: 1913.00 MiB) 15:23:59 auxiliary : 11827/26000 (mem: 1913.00 MiB) 15:23:59 poseidon ext : 4942/17000 (mem: 1913.00 MiB) 15:23:59 poseidon int : 28160/92000 (mem: 1913.00 MiB) 15:23:59 overflow : 1850/1850 (mem: 1913.00 MiB) 15:23:59 (mem: 1913.00 MiB) 15:23:59 Total structured size: 243875 (mem: 1913.00 MiB) 15:23:59 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.00 MiB) 15: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: 1913.00 MiB) 15:24:04 Largest circuit: 368580 gates. Trace details: (mem: 1913.00 MiB) 15:24:04 Minimum required block sizes for structured trace: (mem: 1913.00 MiB) 15:24:04 ecc_op : 792 15:24:04 busread : 3 15:24:04 lookup : 15000 15:24:04 pub_inputs : 32 15:24:04 arithmetic : 56000 15:24:04 delta_range : 18000 15:24:04 elliptic : 6000 15:24:04 aux : 26000 15:24:04 poseidon2_external : 4942 15:24:04 poseidon2_internal : 28160 15:24:04 overflow : 248619 15:24:04 (mem: 1913.00 MiB) 15:24:09 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.00 MiB) 15:24:10 Constructing a Goblin proof with num ultra ops = 11880 (mem: 1913.00 MiB) 15:24:26 IVC successfully verified! (mem: 1913.00 MiB) 15:24:26 [ OK ] ClientIVCKernelCapacity.MaxCapacityPassing (482529 ms) 15:24:26 [----------] 1 test from ClientIVCKernelCapacity (482529 ms total) 15:24:26 15:24:26 [----------] Global test environment tear-down 15:24:26 [==========] 1 test from 1 test suite ran. (482529 ms total) 15:24:26 [ PASSED ] 1 test.