Parent Log: http://ci.aztec-labs.com/034b537ee44cd1a8 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/76ca48a2187e3506bb464eae574e49476c2876ca Env: REF_NAME=gh-readonly-queue/next/pr-15045-9d6fb0bd1594726370a5f3a56591963452264642 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Fri Jun 13 18:01:11 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15045_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=4 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9c4664a14eb81b97_next 18:01:11 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 18:01:11 Note: Google Test filter = ClientIVCKernelCapacity.MaxCapacityPassing 18:01:11 [==========] Running 1 test from 1 test suite. 18:01:11 [----------] Global test environment set-up. 18:01:11 [----------] 1 test from ClientIVCKernelCapacity 18:01:11 [ RUN ] ClientIVCKernelCapacity.MaxCapacityPassing 18:01:11 BN254 commitment key size: 262144 (mem: 6.00 MiB) 18:01:11 BN254 commitment key size: 262144 (mem: 170.60 MiB) 18:01:13 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 555.64 MiB) 18:01:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 555.64 MiB) 18:01:13 goblin ecc op : 10/1024 (mem: 555.64 MiB) 18:01:13 busread : 3/6000 (mem: 555.64 MiB) 18:01:13 lookups : 15000/15000 (mem: 555.64 MiB) 18:01:13 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 555.64 MiB) 18:01:13 arithmetic : 56000/56000 (mem: 555.64 MiB) 18:01:13 delta range : 18000/18000 (mem: 555.64 MiB) 18:01:13 elliptic : 4958/6000 (mem: 555.64 MiB) 18:01:13 auxiliary : 26000/26000 (mem: 555.64 MiB) 18:01:13 poseidon ext : 2/17000 (mem: 555.64 MiB) 18:01:13 poseidon int : 2/92000 (mem: 555.64 MiB) 18:01:13 overflow : 248619/248619 (mem: 555.64 MiB) 18:01:13 (mem: 555.64 MiB) 18:01:13 Total structured size: 490644 (mem: 555.64 MiB) 18:01: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: 1656.25 MiB) 18:01:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1669.04 MiB) 18:01:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1669.04 MiB) 18:01:26 goblin ecc op : 56/1024 (mem: 1669.04 MiB) 18:01:26 busread : 3/6000 (mem: 1669.04 MiB) 18:01:26 lookups : 13540/15000 (mem: 1669.04 MiB) 18:01:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1669.04 MiB) 18:01:26 arithmetic : 32894/56000 (mem: 1669.04 MiB) 18:01:26 delta range : 10239/18000 (mem: 1669.04 MiB) 18:01:26 elliptic : 6000/6000 (mem: 1669.04 MiB) 18:01:26 auxiliary : 11827/26000 (mem: 1669.04 MiB) 18:01:26 poseidon ext : 1302/17000 (mem: 1669.04 MiB) 18:01:26 poseidon int : 7412/92000 (mem: 1669.04 MiB) 18:01:26 overflow : 1850/1850 (mem: 1669.04 MiB) 18:01:26 (mem: 1669.04 MiB) 18:01:26 Total structured size: 243875 (mem: 1669.04 MiB) 18:01:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1771.71 MiB) 18:01: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: 1771.71 MiB) 18:01:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1832.71 MiB) 18:01:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1832.71 MiB) 18:01:36 goblin ecc op : 10/1024 (mem: 1832.71 MiB) 18:01:36 busread : 3/6000 (mem: 1832.71 MiB) 18:01:36 lookups : 15000/15000 (mem: 1832.71 MiB) 18:01:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1832.71 MiB) 18:01:36 arithmetic : 48085/56000 (mem: 1832.71 MiB) 18:01:36 delta range : 18000/18000 (mem: 1832.71 MiB) 18:01:36 elliptic : 4132/6000 (mem: 1832.71 MiB) 18:01:36 auxiliary : 23580/26000 (mem: 1832.71 MiB) 18:01:36 poseidon ext : 2/17000 (mem: 1832.71 MiB) 18:01:36 poseidon int : 2/92000 (mem: 1832.71 MiB) 18:01:36 overflow : 17783/17783 (mem: 1832.71 MiB) 18:01:36 (mem: 1832.71 MiB) 18:01:36 Total structured size: 259808 (mem: 1832.71 MiB) 18:01:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1832.71 MiB) 18:01: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: 1832.71 MiB) 18:01:47 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.71 MiB) 18:01:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.71 MiB) 18:01:47 goblin ecc op : 792/1024 (mem: 1879.71 MiB) 18:01:47 busread : 3/6000 (mem: 1879.71 MiB) 18:01:47 lookups : 13540/15000 (mem: 1879.71 MiB) 18:01:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1879.71 MiB) 18:01:47 arithmetic : 40019/56000 (mem: 1879.71 MiB) 18:01:47 delta range : 11097/18000 (mem: 1879.71 MiB) 18:01:47 elliptic : 6000/6000 (mem: 1879.71 MiB) 18:01:47 auxiliary : 11827/26000 (mem: 1879.71 MiB) 18:01:47 poseidon ext : 4942/17000 (mem: 1879.71 MiB) 18:01:47 poseidon int : 28160/92000 (mem: 1879.71 MiB) 18:01:47 overflow : 1850/1850 (mem: 1879.71 MiB) 18:01:47 (mem: 1879.71 MiB) 18:01:47 Total structured size: 243875 (mem: 1879.71 MiB) 18:01:51 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.71 MiB) 18:01: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: 1879.71 MiB) 18:02:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.71 MiB) 18:02:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.71 MiB) 18:02:02 goblin ecc op : 10/1024 (mem: 1879.71 MiB) 18:02:02 busread : 3/6000 (mem: 1879.71 MiB) 18:02:02 lookups : 15000/15000 (mem: 1879.71 MiB) 18:02:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1879.71 MiB) 18:02:02 arithmetic : 48085/56000 (mem: 1879.71 MiB) 18:02:02 delta range : 18000/18000 (mem: 1879.71 MiB) 18:02:02 elliptic : 4132/6000 (mem: 1879.71 MiB) 18:02:02 auxiliary : 23580/26000 (mem: 1879.71 MiB) 18:02:02 poseidon ext : 2/17000 (mem: 1879.71 MiB) 18:02:02 poseidon int : 2/92000 (mem: 1879.71 MiB) 18:02:02 overflow : 17783/17783 (mem: 1879.71 MiB) 18:02:02 (mem: 1879.71 MiB) 18:02:02 Total structured size: 259808 (mem: 1879.71 MiB) 18:02:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.71 MiB) 18:02: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: 1879.71 MiB) 18:02:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.71 MiB) 18:02:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.71 MiB) 18:02:12 goblin ecc op : 792/1024 (mem: 1879.71 MiB) 18:02:12 busread : 3/6000 (mem: 1879.71 MiB) 18:02:12 lookups : 13540/15000 (mem: 1879.71 MiB) 18:02:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1879.71 MiB) 18:02:12 arithmetic : 40019/56000 (mem: 1879.71 MiB) 18:02:12 delta range : 11097/18000 (mem: 1879.71 MiB) 18:02:12 elliptic : 6000/6000 (mem: 1879.71 MiB) 18:02:12 auxiliary : 11827/26000 (mem: 1879.71 MiB) 18:02:12 poseidon ext : 4942/17000 (mem: 1879.71 MiB) 18:02:12 poseidon int : 28160/92000 (mem: 1879.71 MiB) 18:02:12 overflow : 1850/1850 (mem: 1879.71 MiB) 18:02:12 (mem: 1879.71 MiB) 18:02:12 Total structured size: 243875 (mem: 1879.71 MiB) 18:02:15 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.71 MiB) 18:02: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: 1879.71 MiB) 18:02:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.71 MiB) 18:02:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.71 MiB) 18:02:23 goblin ecc op : 10/1024 (mem: 1883.71 MiB) 18:02:23 busread : 3/6000 (mem: 1883.71 MiB) 18:02:23 lookups : 15000/15000 (mem: 1883.71 MiB) 18:02:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.71 MiB) 18:02:23 arithmetic : 48085/56000 (mem: 1883.71 MiB) 18:02:23 delta range : 18000/18000 (mem: 1883.71 MiB) 18:02:23 elliptic : 4132/6000 (mem: 1883.71 MiB) 18:02:23 auxiliary : 23580/26000 (mem: 1883.71 MiB) 18:02:23 poseidon ext : 2/17000 (mem: 1883.71 MiB) 18:02:23 poseidon int : 2/92000 (mem: 1883.71 MiB) 18:02:23 overflow : 17783/17783 (mem: 1883.71 MiB) 18:02:23 (mem: 1883.71 MiB) 18:02:23 Total structured size: 259808 (mem: 1883.71 MiB) 18:02:26 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.71 MiB) 18:02: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: 1883.71 MiB) 18:02:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.71 MiB) 18:02:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.71 MiB) 18:02:33 goblin ecc op : 792/1024 (mem: 1883.71 MiB) 18:02:33 busread : 3/6000 (mem: 1883.71 MiB) 18:02:33 lookups : 13540/15000 (mem: 1883.71 MiB) 18:02:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.71 MiB) 18:02:33 arithmetic : 40019/56000 (mem: 1883.71 MiB) 18:02:33 delta range : 11097/18000 (mem: 1883.71 MiB) 18:02:33 elliptic : 6000/6000 (mem: 1883.71 MiB) 18:02:33 auxiliary : 11827/26000 (mem: 1883.71 MiB) 18:02:33 poseidon ext : 4942/17000 (mem: 1883.71 MiB) 18:02:33 poseidon int : 28160/92000 (mem: 1883.71 MiB) 18:02:33 overflow : 1850/1850 (mem: 1883.71 MiB) 18:02:33 (mem: 1883.71 MiB) 18:02:33 Total structured size: 243875 (mem: 1883.71 MiB) 18:02:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.71 MiB) 18:02: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: 1883.71 MiB) 18:02:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.71 MiB) 18:02:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.71 MiB) 18:02:43 goblin ecc op : 10/1024 (mem: 1883.71 MiB) 18:02:43 busread : 3/6000 (mem: 1883.71 MiB) 18:02:43 lookups : 15000/15000 (mem: 1883.71 MiB) 18:02:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.71 MiB) 18:02:43 arithmetic : 48085/56000 (mem: 1883.71 MiB) 18:02:43 delta range : 18000/18000 (mem: 1883.71 MiB) 18:02:43 elliptic : 4132/6000 (mem: 1883.71 MiB) 18:02:43 auxiliary : 23580/26000 (mem: 1883.71 MiB) 18:02:43 poseidon ext : 2/17000 (mem: 1883.71 MiB) 18:02:43 poseidon int : 2/92000 (mem: 1883.71 MiB) 18:02:43 overflow : 17783/17783 (mem: 1883.71 MiB) 18:02:43 (mem: 1883.71 MiB) 18:02:43 Total structured size: 259808 (mem: 1883.71 MiB) 18:02:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.71 MiB) 18:02: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: 1883.71 MiB) 18:02:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.71 MiB) 18:02:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.71 MiB) 18:02:52 goblin ecc op : 792/1024 (mem: 1883.71 MiB) 18:02:52 busread : 3/6000 (mem: 1883.71 MiB) 18:02:52 lookups : 13540/15000 (mem: 1883.71 MiB) 18:02:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.71 MiB) 18:02:52 arithmetic : 40019/56000 (mem: 1883.71 MiB) 18:02:52 delta range : 11097/18000 (mem: 1883.71 MiB) 18:02:52 elliptic : 6000/6000 (mem: 1883.71 MiB) 18:02:52 auxiliary : 11827/26000 (mem: 1883.71 MiB) 18:02:52 poseidon ext : 4942/17000 (mem: 1883.71 MiB) 18:02:52 poseidon int : 28160/92000 (mem: 1883.71 MiB) 18:02:52 overflow : 1850/1850 (mem: 1883.71 MiB) 18:02:52 (mem: 1883.71 MiB) 18:02:52 Total structured size: 243875 (mem: 1883.71 MiB) 18:02:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.71 MiB) 18:02: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: 1883.71 MiB) 18:03:04 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.21 MiB) 18:03:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.21 MiB) 18:03:04 goblin ecc op : 10/1024 (mem: 1913.21 MiB) 18:03:04 busread : 3/6000 (mem: 1913.21 MiB) 18:03:04 lookups : 15000/15000 (mem: 1913.21 MiB) 18:03:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.21 MiB) 18:03:04 arithmetic : 48085/56000 (mem: 1913.21 MiB) 18:03:04 delta range : 18000/18000 (mem: 1913.21 MiB) 18:03:04 elliptic : 4132/6000 (mem: 1913.21 MiB) 18:03:04 auxiliary : 23580/26000 (mem: 1913.21 MiB) 18:03:04 poseidon ext : 2/17000 (mem: 1913.21 MiB) 18:03:04 poseidon int : 2/92000 (mem: 1913.21 MiB) 18:03:04 overflow : 17783/17783 (mem: 1913.21 MiB) 18:03:04 (mem: 1913.21 MiB) 18:03:04 Total structured size: 259808 (mem: 1913.21 MiB) 18:03:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.21 MiB) 18:03: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: 1913.21 MiB) 18:03:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.21 MiB) 18:03:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.21 MiB) 18:03:11 goblin ecc op : 792/1024 (mem: 1913.21 MiB) 18:03:11 busread : 3/6000 (mem: 1913.21 MiB) 18:03:11 lookups : 13540/15000 (mem: 1913.21 MiB) 18:03:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.21 MiB) 18:03:11 arithmetic : 40019/56000 (mem: 1913.21 MiB) 18:03:11 delta range : 11097/18000 (mem: 1913.21 MiB) 18:03:11 elliptic : 6000/6000 (mem: 1913.21 MiB) 18:03:11 auxiliary : 11827/26000 (mem: 1913.21 MiB) 18:03:11 poseidon ext : 4942/17000 (mem: 1913.21 MiB) 18:03:11 poseidon int : 28160/92000 (mem: 1913.21 MiB) 18:03:11 overflow : 1850/1850 (mem: 1913.21 MiB) 18:03:11 (mem: 1913.21 MiB) 18:03:11 Total structured size: 243875 (mem: 1913.21 MiB) 18:03:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.21 MiB) 18:03:13 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.21 MiB) 18:03:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.21 MiB) 18:03:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.21 MiB) 18:03:20 goblin ecc op : 10/1024 (mem: 1913.21 MiB) 18:03:20 busread : 3/6000 (mem: 1913.21 MiB) 18:03:20 lookups : 15000/15000 (mem: 1913.21 MiB) 18:03:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.21 MiB) 18:03:20 arithmetic : 48085/56000 (mem: 1913.21 MiB) 18:03:20 delta range : 18000/18000 (mem: 1913.21 MiB) 18:03:20 elliptic : 4132/6000 (mem: 1913.21 MiB) 18:03:20 auxiliary : 23580/26000 (mem: 1913.21 MiB) 18:03:20 poseidon ext : 2/17000 (mem: 1913.21 MiB) 18:03:20 poseidon int : 2/92000 (mem: 1913.21 MiB) 18:03:20 overflow : 17783/17783 (mem: 1913.21 MiB) 18:03:20 (mem: 1913.21 MiB) 18:03:20 Total structured size: 259808 (mem: 1913.21 MiB) 18:03:22 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.21 MiB) 18:03: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: 1913.21 MiB) 18:03:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.21 MiB) 18:03:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.21 MiB) 18:03:28 goblin ecc op : 792/1024 (mem: 1913.21 MiB) 18:03:28 busread : 3/6000 (mem: 1913.21 MiB) 18:03:28 lookups : 13540/15000 (mem: 1913.21 MiB) 18:03:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.21 MiB) 18:03:28 arithmetic : 40019/56000 (mem: 1913.21 MiB) 18:03:28 delta range : 11097/18000 (mem: 1913.21 MiB) 18:03:28 elliptic : 6000/6000 (mem: 1913.21 MiB) 18:03:28 auxiliary : 11827/26000 (mem: 1913.21 MiB) 18:03:28 poseidon ext : 4942/17000 (mem: 1913.21 MiB) 18:03:28 poseidon int : 28160/92000 (mem: 1913.21 MiB) 18:03:28 overflow : 1850/1850 (mem: 1913.21 MiB) 18:03:28 (mem: 1913.21 MiB) 18:03:28 Total structured size: 243875 (mem: 1913.21 MiB) 18:03:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.21 MiB) 18:03: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: 1913.21 MiB) 18:03:37 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.74 MiB) 18:03:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.74 MiB) 18:03:37 goblin ecc op : 10/1024 (mem: 1913.74 MiB) 18:03:37 busread : 3/6000 (mem: 1913.74 MiB) 18:03:37 lookups : 15000/15000 (mem: 1913.74 MiB) 18:03:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.74 MiB) 18:03:37 arithmetic : 48085/56000 (mem: 1913.74 MiB) 18:03:37 delta range : 18000/18000 (mem: 1913.74 MiB) 18:03:37 elliptic : 4132/6000 (mem: 1913.74 MiB) 18:03:37 auxiliary : 23580/26000 (mem: 1913.74 MiB) 18:03:37 poseidon ext : 2/17000 (mem: 1913.74 MiB) 18:03:37 poseidon int : 2/92000 (mem: 1913.74 MiB) 18:03:37 overflow : 17783/17783 (mem: 1913.74 MiB) 18:03:37 (mem: 1913.74 MiB) 18:03:37 Total structured size: 259808 (mem: 1913.74 MiB) 18:03:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.74 MiB) 18:03: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: 1913.74 MiB) 18:03:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.74 MiB) 18:03:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.74 MiB) 18:03:46 goblin ecc op : 792/1024 (mem: 1913.74 MiB) 18:03:46 busread : 3/6000 (mem: 1913.74 MiB) 18:03:46 lookups : 13540/15000 (mem: 1913.74 MiB) 18:03:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.74 MiB) 18:03:46 arithmetic : 40019/56000 (mem: 1913.74 MiB) 18:03:46 delta range : 11097/18000 (mem: 1913.74 MiB) 18:03:46 elliptic : 6000/6000 (mem: 1913.74 MiB) 18:03:46 auxiliary : 11827/26000 (mem: 1913.74 MiB) 18:03:46 poseidon ext : 4942/17000 (mem: 1913.74 MiB) 18:03:46 poseidon int : 28160/92000 (mem: 1913.74 MiB) 18:03:46 overflow : 1850/1850 (mem: 1913.74 MiB) 18:03:46 (mem: 1913.74 MiB) 18:03:46 Total structured size: 243875 (mem: 1913.74 MiB) 18:03:48 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.74 MiB) 18:03: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.74 MiB) 18:03:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.74 MiB) 18:03:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.74 MiB) 18:03:55 goblin ecc op : 10/1024 (mem: 1913.74 MiB) 18:03:55 busread : 3/6000 (mem: 1913.74 MiB) 18:03:55 lookups : 15000/15000 (mem: 1913.74 MiB) 18:03:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.74 MiB) 18:03:55 arithmetic : 48085/56000 (mem: 1913.74 MiB) 18:03:55 delta range : 18000/18000 (mem: 1913.74 MiB) 18:03:55 elliptic : 4132/6000 (mem: 1913.74 MiB) 18:03:55 auxiliary : 23580/26000 (mem: 1913.74 MiB) 18:03:55 poseidon ext : 2/17000 (mem: 1913.74 MiB) 18:03:55 poseidon int : 2/92000 (mem: 1913.74 MiB) 18:03:55 overflow : 17783/17783 (mem: 1913.74 MiB) 18:03:55 (mem: 1913.74 MiB) 18:03:55 Total structured size: 259808 (mem: 1913.74 MiB) 18:03:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.74 MiB) 18:03: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: 1913.74 MiB) 18:04:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.74 MiB) 18:04:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.74 MiB) 18:04:05 goblin ecc op : 792/1024 (mem: 1913.74 MiB) 18:04:05 busread : 3/6000 (mem: 1913.74 MiB) 18:04:05 lookups : 13540/15000 (mem: 1913.74 MiB) 18:04:05 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.74 MiB) 18:04:05 arithmetic : 40019/56000 (mem: 1913.74 MiB) 18:04:05 delta range : 11097/18000 (mem: 1913.74 MiB) 18:04:05 elliptic : 6000/6000 (mem: 1913.74 MiB) 18:04:05 auxiliary : 11827/26000 (mem: 1913.74 MiB) 18:04:05 poseidon ext : 4942/17000 (mem: 1913.74 MiB) 18:04:05 poseidon int : 28160/92000 (mem: 1913.74 MiB) 18:04:05 overflow : 1850/1850 (mem: 1913.74 MiB) 18:04:05 (mem: 1913.74 MiB) 18:04:05 Total structured size: 243875 (mem: 1913.74 MiB) 18:04:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.74 MiB) 18:04: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: 1913.74 MiB) 18:04:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.86 MiB) 18:04:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.86 MiB) 18:04:16 goblin ecc op : 10/1024 (mem: 1913.86 MiB) 18:04:16 busread : 3/6000 (mem: 1913.86 MiB) 18:04:16 lookups : 15000/15000 (mem: 1913.86 MiB) 18:04:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.86 MiB) 18:04:16 arithmetic : 48085/56000 (mem: 1913.86 MiB) 18:04:16 delta range : 18000/18000 (mem: 1913.86 MiB) 18:04:16 elliptic : 4132/6000 (mem: 1913.86 MiB) 18:04:16 auxiliary : 23580/26000 (mem: 1913.86 MiB) 18:04:16 poseidon ext : 2/17000 (mem: 1913.86 MiB) 18:04:16 poseidon int : 2/92000 (mem: 1913.86 MiB) 18:04:16 overflow : 17783/17783 (mem: 1913.86 MiB) 18:04:16 (mem: 1913.86 MiB) 18:04:16 Total structured size: 259808 (mem: 1913.86 MiB) 18:04:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.86 MiB) 18:04: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: 1913.86 MiB) 18:04:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.86 MiB) 18:04:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.86 MiB) 18:04:23 goblin ecc op : 792/1024 (mem: 1913.86 MiB) 18:04:23 busread : 3/6000 (mem: 1913.86 MiB) 18:04:23 lookups : 13540/15000 (mem: 1913.86 MiB) 18:04:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.86 MiB) 18:04:23 arithmetic : 40019/56000 (mem: 1913.86 MiB) 18:04:23 delta range : 11097/18000 (mem: 1913.86 MiB) 18:04:23 elliptic : 6000/6000 (mem: 1913.86 MiB) 18:04:23 auxiliary : 11827/26000 (mem: 1913.86 MiB) 18:04:23 poseidon ext : 4942/17000 (mem: 1913.86 MiB) 18:04:23 poseidon int : 28160/92000 (mem: 1913.86 MiB) 18:04:23 overflow : 1850/1850 (mem: 1913.86 MiB) 18:04:23 (mem: 1913.86 MiB) 18:04:23 Total structured size: 243875 (mem: 1913.86 MiB) 18:04:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.86 MiB) 18:04: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: 1913.86 MiB) 18:04:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.79 MiB) 18:04:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.79 MiB) 18:04:33 goblin ecc op : 10/1024 (mem: 1914.79 MiB) 18:04:33 busread : 3/6000 (mem: 1914.79 MiB) 18:04:33 lookups : 15000/15000 (mem: 1914.79 MiB) 18:04:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1914.79 MiB) 18:04:33 arithmetic : 48085/56000 (mem: 1914.79 MiB) 18:04:33 delta range : 18000/18000 (mem: 1914.79 MiB) 18:04:33 elliptic : 4132/6000 (mem: 1914.79 MiB) 18:04:33 auxiliary : 23580/26000 (mem: 1914.79 MiB) 18:04:33 poseidon ext : 2/17000 (mem: 1914.79 MiB) 18:04:33 poseidon int : 2/92000 (mem: 1914.79 MiB) 18:04:33 overflow : 17783/17783 (mem: 1914.79 MiB) 18:04:33 (mem: 1914.79 MiB) 18:04:33 Total structured size: 259808 (mem: 1914.79 MiB) 18:04:35 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.79 MiB) 18:04: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: 1914.79 MiB) 18:04:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.79 MiB) 18:04:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.79 MiB) 18:04:41 goblin ecc op : 792/1024 (mem: 1914.79 MiB) 18:04:41 busread : 3/6000 (mem: 1914.79 MiB) 18:04:41 lookups : 13540/15000 (mem: 1914.79 MiB) 18:04:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1914.79 MiB) 18:04:41 arithmetic : 40019/56000 (mem: 1914.79 MiB) 18:04:41 delta range : 11097/18000 (mem: 1914.79 MiB) 18:04:41 elliptic : 6000/6000 (mem: 1914.79 MiB) 18:04:41 auxiliary : 11827/26000 (mem: 1914.79 MiB) 18:04:41 poseidon ext : 4942/17000 (mem: 1914.79 MiB) 18:04:41 poseidon int : 28160/92000 (mem: 1914.79 MiB) 18:04:41 overflow : 1850/1850 (mem: 1914.79 MiB) 18:04:41 (mem: 1914.79 MiB) 18:04:41 Total structured size: 243875 (mem: 1914.79 MiB) 18:04:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.79 MiB) 18:04: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: 1914.79 MiB) 18:04:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.79 MiB) 18:04:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.79 MiB) 18:04:48 goblin ecc op : 10/1024 (mem: 1914.79 MiB) 18:04:48 busread : 3/6000 (mem: 1914.79 MiB) 18:04:48 lookups : 15000/15000 (mem: 1914.79 MiB) 18:04:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1914.79 MiB) 18:04:48 arithmetic : 48085/56000 (mem: 1914.79 MiB) 18:04:48 delta range : 18000/18000 (mem: 1914.79 MiB) 18:04:48 elliptic : 4132/6000 (mem: 1914.79 MiB) 18:04:48 auxiliary : 23580/26000 (mem: 1914.79 MiB) 18:04:48 poseidon ext : 2/17000 (mem: 1914.79 MiB) 18:04:48 poseidon int : 2/92000 (mem: 1914.79 MiB) 18:04:48 overflow : 17783/17783 (mem: 1914.79 MiB) 18:04:48 (mem: 1914.79 MiB) 18:04:48 Total structured size: 259808 (mem: 1914.79 MiB) 18:04:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.79 MiB) 18:04: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: 1914.79 MiB) 18:04:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.79 MiB) 18:04:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.79 MiB) 18:04:55 goblin ecc op : 792/1024 (mem: 1914.79 MiB) 18:04:55 busread : 3/6000 (mem: 1914.79 MiB) 18:04:55 lookups : 13540/15000 (mem: 1914.79 MiB) 18:04:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1914.79 MiB) 18:04:55 arithmetic : 40019/56000 (mem: 1914.79 MiB) 18:04:55 delta range : 11097/18000 (mem: 1914.79 MiB) 18:04:55 elliptic : 6000/6000 (mem: 1914.79 MiB) 18:04:55 auxiliary : 11827/26000 (mem: 1914.79 MiB) 18:04:55 poseidon ext : 4942/17000 (mem: 1914.79 MiB) 18:04:55 poseidon int : 28160/92000 (mem: 1914.79 MiB) 18:04:55 overflow : 1850/1850 (mem: 1914.79 MiB) 18:04:55 (mem: 1914.79 MiB) 18:04:55 Total structured size: 243875 (mem: 1914.79 MiB) 18:04:57 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.79 MiB) 18:04: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: 1914.79 MiB) 18:05:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.41 MiB) 18:05:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.41 MiB) 18:05:03 goblin ecc op : 10/1024 (mem: 1915.41 MiB) 18:05:03 busread : 3/6000 (mem: 1915.41 MiB) 18:05:03 lookups : 15000/15000 (mem: 1915.41 MiB) 18:05:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.41 MiB) 18:05:03 arithmetic : 48085/56000 (mem: 1915.41 MiB) 18:05:03 delta range : 18000/18000 (mem: 1915.41 MiB) 18:05:03 elliptic : 4132/6000 (mem: 1915.41 MiB) 18:05:03 auxiliary : 23580/26000 (mem: 1915.41 MiB) 18:05:03 poseidon ext : 2/17000 (mem: 1915.41 MiB) 18:05:03 poseidon int : 2/92000 (mem: 1915.41 MiB) 18:05:03 overflow : 17783/17783 (mem: 1915.41 MiB) 18:05:03 (mem: 1915.41 MiB) 18:05:03 Total structured size: 259808 (mem: 1915.41 MiB) 18:05:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.41 MiB) 18:05: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.41 MiB) 18:05:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.41 MiB) 18:05:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.41 MiB) 18:05:12 goblin ecc op : 792/1024 (mem: 1915.41 MiB) 18:05:12 busread : 3/6000 (mem: 1915.41 MiB) 18:05:12 lookups : 13540/15000 (mem: 1915.41 MiB) 18:05:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.41 MiB) 18:05:12 arithmetic : 40019/56000 (mem: 1915.41 MiB) 18:05:12 delta range : 11097/18000 (mem: 1915.41 MiB) 18:05:12 elliptic : 6000/6000 (mem: 1915.41 MiB) 18:05:12 auxiliary : 11827/26000 (mem: 1915.41 MiB) 18:05:12 poseidon ext : 4942/17000 (mem: 1915.41 MiB) 18:05:12 poseidon int : 28160/92000 (mem: 1915.41 MiB) 18:05:12 overflow : 1850/1850 (mem: 1915.41 MiB) 18:05:12 (mem: 1915.41 MiB) 18:05:12 Total structured size: 243875 (mem: 1915.41 MiB) 18:05:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.41 MiB) 18:05:13 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.41 MiB) 18:05:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.41 MiB) 18:05:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.41 MiB) 18:05:19 goblin ecc op : 10/1024 (mem: 1915.41 MiB) 18:05:19 busread : 3/6000 (mem: 1915.41 MiB) 18:05:19 lookups : 15000/15000 (mem: 1915.41 MiB) 18:05:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.41 MiB) 18:05:19 arithmetic : 48085/56000 (mem: 1915.41 MiB) 18:05:19 delta range : 18000/18000 (mem: 1915.41 MiB) 18:05:19 elliptic : 4132/6000 (mem: 1915.41 MiB) 18:05:19 auxiliary : 23580/26000 (mem: 1915.41 MiB) 18:05:19 poseidon ext : 2/17000 (mem: 1915.41 MiB) 18:05:19 poseidon int : 2/92000 (mem: 1915.41 MiB) 18:05:19 overflow : 17783/17783 (mem: 1915.41 MiB) 18:05:19 (mem: 1915.41 MiB) 18:05:19 Total structured size: 259808 (mem: 1915.41 MiB) 18:05:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.41 MiB) 18:05: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: 1915.41 MiB) 18:05:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.41 MiB) 18:05:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.41 MiB) 18:05:26 goblin ecc op : 792/1024 (mem: 1915.41 MiB) 18:05:26 busread : 3/6000 (mem: 1915.41 MiB) 18:05:26 lookups : 13540/15000 (mem: 1915.41 MiB) 18:05:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.41 MiB) 18:05:26 arithmetic : 40019/56000 (mem: 1915.41 MiB) 18:05:26 delta range : 11097/18000 (mem: 1915.41 MiB) 18:05:26 elliptic : 6000/6000 (mem: 1915.41 MiB) 18:05:26 auxiliary : 11827/26000 (mem: 1915.41 MiB) 18:05:26 poseidon ext : 4942/17000 (mem: 1915.41 MiB) 18:05:26 poseidon int : 28160/92000 (mem: 1915.41 MiB) 18:05:26 overflow : 1850/1850 (mem: 1915.41 MiB) 18:05:26 (mem: 1915.41 MiB) 18:05:26 Total structured size: 243875 (mem: 1915.41 MiB) 18:05:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.41 MiB) 18:05: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: 1915.41 MiB) 18:05:34 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.41 MiB) 18:05:34 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.41 MiB) 18:05:34 goblin ecc op : 10/1024 (mem: 1915.41 MiB) 18:05:34 busread : 3/6000 (mem: 1915.41 MiB) 18:05:34 lookups : 15000/15000 (mem: 1915.41 MiB) 18:05:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.41 MiB) 18:05:34 arithmetic : 48085/56000 (mem: 1915.41 MiB) 18:05:34 delta range : 18000/18000 (mem: 1915.41 MiB) 18:05:34 elliptic : 4132/6000 (mem: 1915.41 MiB) 18:05:34 auxiliary : 23580/26000 (mem: 1915.41 MiB) 18:05:34 poseidon ext : 2/17000 (mem: 1915.41 MiB) 18:05:34 poseidon int : 2/92000 (mem: 1915.41 MiB) 18:05:34 overflow : 17783/17783 (mem: 1915.41 MiB) 18:05:34 (mem: 1915.41 MiB) 18:05:34 Total structured size: 259808 (mem: 1915.41 MiB) 18:05:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.41 MiB) 18:05: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.41 MiB) 18:05:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.41 MiB) 18:05:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.41 MiB) 18:05:43 goblin ecc op : 792/1024 (mem: 1915.41 MiB) 18:05:43 busread : 3/6000 (mem: 1915.41 MiB) 18:05:43 lookups : 13540/15000 (mem: 1915.41 MiB) 18:05:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.41 MiB) 18:05:43 arithmetic : 40019/56000 (mem: 1915.41 MiB) 18:05:43 delta range : 11097/18000 (mem: 1915.41 MiB) 18:05:43 elliptic : 6000/6000 (mem: 1915.41 MiB) 18:05:43 auxiliary : 11827/26000 (mem: 1915.41 MiB) 18:05:43 poseidon ext : 4942/17000 (mem: 1915.41 MiB) 18:05:43 poseidon int : 28160/92000 (mem: 1915.41 MiB) 18:05:43 overflow : 1850/1850 (mem: 1915.41 MiB) 18:05:43 (mem: 1915.41 MiB) 18:05:43 Total structured size: 243875 (mem: 1915.41 MiB) 18:05:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.41 MiB) 18:05: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.41 MiB) 18:05:53 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:05:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:05:53 goblin ecc op : 10/1024 (mem: 1915.79 MiB) 18:05:53 busread : 3/6000 (mem: 1915.79 MiB) 18:05:53 lookups : 15000/15000 (mem: 1915.79 MiB) 18:05:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:05:53 arithmetic : 56000/56000 (mem: 1915.79 MiB) 18:05:53 delta range : 18000/18000 (mem: 1915.79 MiB) 18:05:53 elliptic : 4958/6000 (mem: 1915.79 MiB) 18:05:53 auxiliary : 26000/26000 (mem: 1915.79 MiB) 18:05:53 poseidon ext : 2/17000 (mem: 1915.79 MiB) 18:05:53 poseidon int : 2/92000 (mem: 1915.79 MiB) 18:05:53 overflow : 248619/248619 (mem: 1915.79 MiB) 18:05:53 (mem: 1915.79 MiB) 18:05:53 Total structured size: 490644 (mem: 1915.79 MiB) 18:05: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: 1915.79 MiB) 18:06:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:00 goblin ecc op : 56/1024 (mem: 1915.79 MiB) 18:06:00 busread : 3/6000 (mem: 1915.79 MiB) 18:06:00 lookups : 13540/15000 (mem: 1915.79 MiB) 18:06:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:00 arithmetic : 32894/56000 (mem: 1915.79 MiB) 18:06:00 delta range : 10239/18000 (mem: 1915.79 MiB) 18:06:00 elliptic : 6000/6000 (mem: 1915.79 MiB) 18:06:00 auxiliary : 11827/26000 (mem: 1915.79 MiB) 18:06:00 poseidon ext : 1302/17000 (mem: 1915.79 MiB) 18:06:00 poseidon int : 7412/92000 (mem: 1915.79 MiB) 18:06:00 overflow : 1850/1850 (mem: 1915.79 MiB) 18:06:00 (mem: 1915.79 MiB) 18:06:00 Total structured size: 243875 (mem: 1915.79 MiB) 18:06:00 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06: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: 1915.79 MiB) 18:06:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:05 goblin ecc op : 10/1024 (mem: 1915.79 MiB) 18:06:05 busread : 3/6000 (mem: 1915.79 MiB) 18:06:05 lookups : 15000/15000 (mem: 1915.79 MiB) 18:06:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:05 arithmetic : 48085/56000 (mem: 1915.79 MiB) 18:06:05 delta range : 18000/18000 (mem: 1915.79 MiB) 18:06:05 elliptic : 4132/6000 (mem: 1915.79 MiB) 18:06:05 auxiliary : 23580/26000 (mem: 1915.79 MiB) 18:06:05 poseidon ext : 2/17000 (mem: 1915.79 MiB) 18:06:05 poseidon int : 2/92000 (mem: 1915.79 MiB) 18:06:05 overflow : 17783/17783 (mem: 1915.79 MiB) 18:06:05 (mem: 1915.79 MiB) 18:06:05 Total structured size: 259808 (mem: 1915.79 MiB) 18:06:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06:06 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1915.79 MiB) 18:06:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:11 goblin ecc op : 792/1024 (mem: 1915.79 MiB) 18:06:11 busread : 3/6000 (mem: 1915.79 MiB) 18:06:11 lookups : 13540/15000 (mem: 1915.79 MiB) 18:06:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:11 arithmetic : 40019/56000 (mem: 1915.79 MiB) 18:06:11 delta range : 11097/18000 (mem: 1915.79 MiB) 18:06:11 elliptic : 6000/6000 (mem: 1915.79 MiB) 18:06:11 auxiliary : 11827/26000 (mem: 1915.79 MiB) 18:06:11 poseidon ext : 4942/17000 (mem: 1915.79 MiB) 18:06:11 poseidon int : 28160/92000 (mem: 1915.79 MiB) 18:06:11 overflow : 1850/1850 (mem: 1915.79 MiB) 18:06:11 (mem: 1915.79 MiB) 18:06:11 Total structured size: 243875 (mem: 1915.79 MiB) 18:06:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06: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.79 MiB) 18:06:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:18 goblin ecc op : 10/1024 (mem: 1915.79 MiB) 18:06:18 busread : 3/6000 (mem: 1915.79 MiB) 18:06:18 lookups : 15000/15000 (mem: 1915.79 MiB) 18:06:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:18 arithmetic : 48085/56000 (mem: 1915.79 MiB) 18:06:18 delta range : 18000/18000 (mem: 1915.79 MiB) 18:06:18 elliptic : 4132/6000 (mem: 1915.79 MiB) 18:06:18 auxiliary : 23580/26000 (mem: 1915.79 MiB) 18:06:18 poseidon ext : 2/17000 (mem: 1915.79 MiB) 18:06:18 poseidon int : 2/92000 (mem: 1915.79 MiB) 18:06:18 overflow : 17783/17783 (mem: 1915.79 MiB) 18:06:18 (mem: 1915.79 MiB) 18:06:18 Total structured size: 259808 (mem: 1915.79 MiB) 18:06:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06: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: 1915.79 MiB) 18:06:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:24 goblin ecc op : 792/1024 (mem: 1915.79 MiB) 18:06:24 busread : 3/6000 (mem: 1915.79 MiB) 18:06:24 lookups : 13540/15000 (mem: 1915.79 MiB) 18:06:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:24 arithmetic : 40019/56000 (mem: 1915.79 MiB) 18:06:24 delta range : 11097/18000 (mem: 1915.79 MiB) 18:06:24 elliptic : 6000/6000 (mem: 1915.79 MiB) 18:06:24 auxiliary : 11827/26000 (mem: 1915.79 MiB) 18:06:24 poseidon ext : 4942/17000 (mem: 1915.79 MiB) 18:06:24 poseidon int : 28160/92000 (mem: 1915.79 MiB) 18:06:24 overflow : 1850/1850 (mem: 1915.79 MiB) 18:06:24 (mem: 1915.79 MiB) 18:06:24 Total structured size: 243875 (mem: 1915.79 MiB) 18:06:24 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06: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.79 MiB) 18:06:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:30 goblin ecc op : 10/1024 (mem: 1915.79 MiB) 18:06:30 busread : 3/6000 (mem: 1915.79 MiB) 18:06:30 lookups : 15000/15000 (mem: 1915.79 MiB) 18:06:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:30 arithmetic : 48085/56000 (mem: 1915.79 MiB) 18:06:30 delta range : 18000/18000 (mem: 1915.79 MiB) 18:06:30 elliptic : 4132/6000 (mem: 1915.79 MiB) 18:06:30 auxiliary : 23580/26000 (mem: 1915.79 MiB) 18:06:30 poseidon ext : 2/17000 (mem: 1915.79 MiB) 18:06:30 poseidon int : 2/92000 (mem: 1915.79 MiB) 18:06:30 overflow : 17783/17783 (mem: 1915.79 MiB) 18:06:30 (mem: 1915.79 MiB) 18:06:30 Total structured size: 259808 (mem: 1915.79 MiB) 18:06:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06: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.79 MiB) 18:06:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:36 goblin ecc op : 792/1024 (mem: 1915.79 MiB) 18:06:36 busread : 3/6000 (mem: 1915.79 MiB) 18:06:36 lookups : 13540/15000 (mem: 1915.79 MiB) 18:06:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:36 arithmetic : 40019/56000 (mem: 1915.79 MiB) 18:06:36 delta range : 11097/18000 (mem: 1915.79 MiB) 18:06:36 elliptic : 6000/6000 (mem: 1915.79 MiB) 18:06:36 auxiliary : 11827/26000 (mem: 1915.79 MiB) 18:06:36 poseidon ext : 4942/17000 (mem: 1915.79 MiB) 18:06:36 poseidon int : 28160/92000 (mem: 1915.79 MiB) 18:06:36 overflow : 1850/1850 (mem: 1915.79 MiB) 18:06:36 (mem: 1915.79 MiB) 18:06:36 Total structured size: 243875 (mem: 1915.79 MiB) 18:06:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06: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: 1915.79 MiB) 18:06:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:43 goblin ecc op : 10/1024 (mem: 1915.79 MiB) 18:06:43 busread : 3/6000 (mem: 1915.79 MiB) 18:06:43 lookups : 15000/15000 (mem: 1915.79 MiB) 18:06:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:43 arithmetic : 48085/56000 (mem: 1915.79 MiB) 18:06:43 delta range : 18000/18000 (mem: 1915.79 MiB) 18:06:43 elliptic : 4132/6000 (mem: 1915.79 MiB) 18:06:43 auxiliary : 23580/26000 (mem: 1915.79 MiB) 18:06:43 poseidon ext : 2/17000 (mem: 1915.79 MiB) 18:06:43 poseidon int : 2/92000 (mem: 1915.79 MiB) 18:06:43 overflow : 17783/17783 (mem: 1915.79 MiB) 18:06:43 (mem: 1915.79 MiB) 18:06:43 Total structured size: 259808 (mem: 1915.79 MiB) 18:06:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06:43 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.79 MiB) 18:06:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.79 MiB) 18:06:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.79 MiB) 18:06:49 goblin ecc op : 792/1024 (mem: 1915.79 MiB) 18:06:49 busread : 3/6000 (mem: 1915.79 MiB) 18:06:49 lookups : 13540/15000 (mem: 1915.79 MiB) 18:06:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.79 MiB) 18:06:49 arithmetic : 40019/56000 (mem: 1915.79 MiB) 18:06:49 delta range : 11097/18000 (mem: 1915.79 MiB) 18:06:49 elliptic : 6000/6000 (mem: 1915.79 MiB) 18:06:49 auxiliary : 11827/26000 (mem: 1915.79 MiB) 18:06:49 poseidon ext : 4942/17000 (mem: 1915.79 MiB) 18:06:49 poseidon int : 28160/92000 (mem: 1915.79 MiB) 18:06:49 overflow : 1850/1850 (mem: 1915.79 MiB) 18:06:49 (mem: 1915.79 MiB) 18:06:49 Total structured size: 243875 (mem: 1915.79 MiB) 18:06:49 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.79 MiB) 18:06: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.79 MiB) 18:06:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1916.00 MiB) 18:06:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1916.00 MiB) 18:06:55 goblin ecc op : 10/1024 (mem: 1916.00 MiB) 18:06:55 busread : 3/6000 (mem: 1916.00 MiB) 18:06:55 lookups : 15000/15000 (mem: 1916.00 MiB) 18:06:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1916.00 MiB) 18:06:55 arithmetic : 48085/56000 (mem: 1916.00 MiB) 18:06:55 delta range : 18000/18000 (mem: 1916.00 MiB) 18:06:55 elliptic : 4132/6000 (mem: 1916.00 MiB) 18:06:55 auxiliary : 23580/26000 (mem: 1916.00 MiB) 18:06:55 poseidon ext : 2/17000 (mem: 1916.00 MiB) 18:06:55 poseidon int : 2/92000 (mem: 1916.00 MiB) 18:06:55 overflow : 17783/17783 (mem: 1916.00 MiB) 18:06:55 (mem: 1916.00 MiB) 18:06:55 Total structured size: 259808 (mem: 1916.00 MiB) 18:06:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1916.00 MiB) 18:06: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: 1916.00 MiB) 18:07:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1916.80 MiB) 18:07:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1916.80 MiB) 18:07:01 goblin ecc op : 792/1024 (mem: 1916.80 MiB) 18:07:01 busread : 3/6000 (mem: 1916.80 MiB) 18:07:01 lookups : 13540/15000 (mem: 1916.80 MiB) 18:07:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1916.80 MiB) 18:07:01 arithmetic : 40019/56000 (mem: 1916.80 MiB) 18:07:01 delta range : 11097/18000 (mem: 1916.80 MiB) 18:07:01 elliptic : 6000/6000 (mem: 1916.80 MiB) 18:07:01 auxiliary : 11827/26000 (mem: 1916.80 MiB) 18:07:01 poseidon ext : 4942/17000 (mem: 1916.80 MiB) 18:07:01 poseidon int : 28160/92000 (mem: 1916.80 MiB) 18:07:01 overflow : 1850/1850 (mem: 1916.80 MiB) 18:07:01 (mem: 1916.80 MiB) 18:07:01 Total structured size: 243875 (mem: 1916.80 MiB) 18:07:01 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1916.80 MiB) 18:07:01 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1916.80 MiB) 18:07:08 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1916.80 MiB) 18:07:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1916.80 MiB) 18:07:08 goblin ecc op : 10/1024 (mem: 1916.80 MiB) 18:07:08 busread : 3/6000 (mem: 1916.80 MiB) 18:07:08 lookups : 15000/15000 (mem: 1916.80 MiB) 18:07:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1916.80 MiB) 18:07:08 arithmetic : 48085/56000 (mem: 1916.80 MiB) 18:07:08 delta range : 18000/18000 (mem: 1916.80 MiB) 18:07:08 elliptic : 4132/6000 (mem: 1916.80 MiB) 18:07:08 auxiliary : 23580/26000 (mem: 1916.80 MiB) 18:07:08 poseidon ext : 2/17000 (mem: 1916.80 MiB) 18:07:08 poseidon int : 2/92000 (mem: 1916.80 MiB) 18:07:08 overflow : 17783/17783 (mem: 1916.80 MiB) 18:07:08 (mem: 1916.80 MiB) 18:07:08 Total structured size: 259808 (mem: 1916.80 MiB) 18:07:08 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1916.80 MiB) 18:07: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: 1916.80 MiB) 18:07:14 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1917.92 MiB) 18:07:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1917.92 MiB) 18:07:14 goblin ecc op : 792/1024 (mem: 1917.92 MiB) 18:07:14 busread : 3/6000 (mem: 1917.92 MiB) 18:07:14 lookups : 13540/15000 (mem: 1917.92 MiB) 18:07:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1917.92 MiB) 18:07:14 arithmetic : 40019/56000 (mem: 1917.92 MiB) 18:07:14 delta range : 11097/18000 (mem: 1917.92 MiB) 18:07:14 elliptic : 6000/6000 (mem: 1917.92 MiB) 18:07:14 auxiliary : 11827/26000 (mem: 1917.92 MiB) 18:07:14 poseidon ext : 4942/17000 (mem: 1917.92 MiB) 18:07:14 poseidon int : 28160/92000 (mem: 1917.92 MiB) 18:07:14 overflow : 1850/1850 (mem: 1917.92 MiB) 18:07:14 (mem: 1917.92 MiB) 18:07:14 Total structured size: 243875 (mem: 1917.92 MiB) 18:07:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1917.92 MiB) 18:07: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: 1917.92 MiB) 18:07:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.21 MiB) 18:07:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.21 MiB) 18:07:20 goblin ecc op : 10/1024 (mem: 1918.21 MiB) 18:07:20 busread : 3/6000 (mem: 1918.21 MiB) 18:07:20 lookups : 15000/15000 (mem: 1918.21 MiB) 18:07:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1918.21 MiB) 18:07:20 arithmetic : 48085/56000 (mem: 1918.21 MiB) 18:07:20 delta range : 18000/18000 (mem: 1918.21 MiB) 18:07:20 elliptic : 4132/6000 (mem: 1918.21 MiB) 18:07:20 auxiliary : 23580/26000 (mem: 1918.21 MiB) 18:07:20 poseidon ext : 2/17000 (mem: 1918.21 MiB) 18:07:20 poseidon int : 2/92000 (mem: 1918.21 MiB) 18:07:20 overflow : 17783/17783 (mem: 1918.21 MiB) 18:07:20 (mem: 1918.21 MiB) 18:07:20 Total structured size: 259808 (mem: 1918.21 MiB) 18:07:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.21 MiB) 18:07: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: 1918.21 MiB) 18:07:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.21 MiB) 18:07:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.21 MiB) 18:07:26 goblin ecc op : 792/1024 (mem: 1919.21 MiB) 18:07:26 busread : 3/6000 (mem: 1919.21 MiB) 18:07:26 lookups : 13540/15000 (mem: 1919.21 MiB) 18:07:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.21 MiB) 18:07:26 arithmetic : 40019/56000 (mem: 1919.21 MiB) 18:07:26 delta range : 11097/18000 (mem: 1919.21 MiB) 18:07:26 elliptic : 6000/6000 (mem: 1919.21 MiB) 18:07:26 auxiliary : 11827/26000 (mem: 1919.21 MiB) 18:07:26 poseidon ext : 4942/17000 (mem: 1919.21 MiB) 18:07:26 poseidon int : 28160/92000 (mem: 1919.21 MiB) 18:07:26 overflow : 1850/1850 (mem: 1919.21 MiB) 18:07:26 (mem: 1919.21 MiB) 18:07:26 Total structured size: 243875 (mem: 1919.21 MiB) 18:07:26 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.21 MiB) 18:07: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: 1919.21 MiB) 18:07:32 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.21 MiB) 18:07:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.21 MiB) 18:07:32 goblin ecc op : 10/1024 (mem: 1919.21 MiB) 18:07:32 busread : 3/6000 (mem: 1919.21 MiB) 18:07:32 lookups : 15000/15000 (mem: 1919.21 MiB) 18:07:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.21 MiB) 18:07:32 arithmetic : 48085/56000 (mem: 1919.21 MiB) 18:07:32 delta range : 18000/18000 (mem: 1919.21 MiB) 18:07:32 elliptic : 4132/6000 (mem: 1919.21 MiB) 18:07:32 auxiliary : 23580/26000 (mem: 1919.21 MiB) 18:07:32 poseidon ext : 2/17000 (mem: 1919.21 MiB) 18:07:32 poseidon int : 2/92000 (mem: 1919.21 MiB) 18:07:32 overflow : 17783/17783 (mem: 1919.21 MiB) 18:07:32 (mem: 1919.21 MiB) 18:07:32 Total structured size: 259808 (mem: 1919.21 MiB) 18:07:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.21 MiB) 18:07: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: 1919.21 MiB) 18:07:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.25 MiB) 18:07:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.25 MiB) 18:07:38 goblin ecc op : 792/1024 (mem: 1919.25 MiB) 18:07:38 busread : 3/6000 (mem: 1919.25 MiB) 18:07:38 lookups : 13540/15000 (mem: 1919.25 MiB) 18:07:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.25 MiB) 18:07:38 arithmetic : 40019/56000 (mem: 1919.25 MiB) 18:07:38 delta range : 11097/18000 (mem: 1919.25 MiB) 18:07:38 elliptic : 6000/6000 (mem: 1919.25 MiB) 18:07:38 auxiliary : 11827/26000 (mem: 1919.25 MiB) 18:07:38 poseidon ext : 4942/17000 (mem: 1919.25 MiB) 18:07:38 poseidon int : 28160/92000 (mem: 1919.25 MiB) 18:07:38 overflow : 1850/1850 (mem: 1919.25 MiB) 18:07:38 (mem: 1919.25 MiB) 18:07:38 Total structured size: 243875 (mem: 1919.25 MiB) 18:07:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.25 MiB) 18:07: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: 1919.25 MiB) 18:07:45 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.25 MiB) 18:07:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.25 MiB) 18:07:45 goblin ecc op : 10/1024 (mem: 1919.25 MiB) 18:07:45 busread : 3/6000 (mem: 1919.25 MiB) 18:07:45 lookups : 15000/15000 (mem: 1919.25 MiB) 18:07:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.25 MiB) 18:07:45 arithmetic : 48085/56000 (mem: 1919.25 MiB) 18:07:45 delta range : 18000/18000 (mem: 1919.25 MiB) 18:07:45 elliptic : 4132/6000 (mem: 1919.25 MiB) 18:07:45 auxiliary : 23580/26000 (mem: 1919.25 MiB) 18:07:45 poseidon ext : 2/17000 (mem: 1919.25 MiB) 18:07:45 poseidon int : 2/92000 (mem: 1919.25 MiB) 18:07:45 overflow : 17783/17783 (mem: 1919.25 MiB) 18:07:45 (mem: 1919.25 MiB) 18:07:45 Total structured size: 259808 (mem: 1919.25 MiB) 18:07:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.25 MiB) 18:07: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: 1919.25 MiB) 18:07:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.25 MiB) 18:07:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.25 MiB) 18:07:51 goblin ecc op : 792/1024 (mem: 1919.25 MiB) 18:07:51 busread : 3/6000 (mem: 1919.25 MiB) 18:07:51 lookups : 13540/15000 (mem: 1919.25 MiB) 18:07:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.25 MiB) 18:07:51 arithmetic : 40019/56000 (mem: 1919.25 MiB) 18:07:51 delta range : 11097/18000 (mem: 1919.25 MiB) 18:07:51 elliptic : 6000/6000 (mem: 1919.25 MiB) 18:07:51 auxiliary : 11827/26000 (mem: 1919.25 MiB) 18:07:51 poseidon ext : 4942/17000 (mem: 1919.25 MiB) 18:07:51 poseidon int : 28160/92000 (mem: 1919.25 MiB) 18:07:51 overflow : 1850/1850 (mem: 1919.25 MiB) 18:07:51 (mem: 1919.25 MiB) 18:07:51 Total structured size: 243875 (mem: 1919.25 MiB) 18:07:51 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.25 MiB) 18:07: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: 1919.25 MiB) 18:07:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.72 MiB) 18:07:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.72 MiB) 18:07:58 goblin ecc op : 10/1024 (mem: 1919.72 MiB) 18:07:58 busread : 3/6000 (mem: 1919.72 MiB) 18:07:58 lookups : 15000/15000 (mem: 1919.72 MiB) 18:07:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.72 MiB) 18:07:58 arithmetic : 48085/56000 (mem: 1919.72 MiB) 18:07:58 delta range : 18000/18000 (mem: 1919.72 MiB) 18:07:58 elliptic : 4132/6000 (mem: 1919.72 MiB) 18:07:58 auxiliary : 23580/26000 (mem: 1919.72 MiB) 18:07:58 poseidon ext : 2/17000 (mem: 1919.72 MiB) 18:07:58 poseidon int : 2/92000 (mem: 1919.72 MiB) 18:07:58 overflow : 17783/17783 (mem: 1919.72 MiB) 18:07:58 (mem: 1919.72 MiB) 18:07:58 Total structured size: 259808 (mem: 1919.72 MiB) 18:07:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.72 MiB) 18:07: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: 1919.72 MiB) 18:08:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1934.97 MiB) 18:08:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1934.97 MiB) 18:08:03 goblin ecc op : 792/1024 (mem: 1934.97 MiB) 18:08:03 busread : 3/6000 (mem: 1934.97 MiB) 18:08:03 lookups : 13540/15000 (mem: 1934.97 MiB) 18:08:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1934.97 MiB) 18:08:03 arithmetic : 40019/56000 (mem: 1934.97 MiB) 18:08:03 delta range : 11097/18000 (mem: 1934.97 MiB) 18:08:03 elliptic : 6000/6000 (mem: 1934.97 MiB) 18:08:03 auxiliary : 11827/26000 (mem: 1934.97 MiB) 18:08:03 poseidon ext : 4942/17000 (mem: 1934.97 MiB) 18:08:03 poseidon int : 28160/92000 (mem: 1934.97 MiB) 18:08:03 overflow : 1850/1850 (mem: 1934.97 MiB) 18:08:03 (mem: 1934.97 MiB) 18:08:03 Total structured size: 243875 (mem: 1934.97 MiB) 18:08:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1934.97 MiB) 18:08: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: 1934.97 MiB) 18:08:09 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1935.39 MiB) 18:08:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1935.39 MiB) 18:08:09 goblin ecc op : 10/1024 (mem: 1935.39 MiB) 18:08:09 busread : 3/6000 (mem: 1935.39 MiB) 18:08:09 lookups : 15000/15000 (mem: 1935.39 MiB) 18:08:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1935.39 MiB) 18:08:09 arithmetic : 48085/56000 (mem: 1935.39 MiB) 18:08:09 delta range : 18000/18000 (mem: 1935.39 MiB) 18:08:09 elliptic : 4132/6000 (mem: 1935.39 MiB) 18:08:09 auxiliary : 23580/26000 (mem: 1935.39 MiB) 18:08:09 poseidon ext : 2/17000 (mem: 1935.39 MiB) 18:08:09 poseidon int : 2/92000 (mem: 1935.39 MiB) 18:08:09 overflow : 17783/17783 (mem: 1935.39 MiB) 18:08:09 (mem: 1935.39 MiB) 18:08:09 Total structured size: 259808 (mem: 1935.39 MiB) 18:08:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1935.39 MiB) 18:08: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.39 MiB) 18:08:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1935.39 MiB) 18:08:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1935.39 MiB) 18:08:16 goblin ecc op : 792/1024 (mem: 1935.39 MiB) 18:08:16 busread : 3/6000 (mem: 1935.39 MiB) 18:08:16 lookups : 13540/15000 (mem: 1935.39 MiB) 18:08:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1935.39 MiB) 18:08:16 arithmetic : 40019/56000 (mem: 1935.39 MiB) 18:08:16 delta range : 11097/18000 (mem: 1935.39 MiB) 18:08:16 elliptic : 6000/6000 (mem: 1935.39 MiB) 18:08:16 auxiliary : 11827/26000 (mem: 1935.39 MiB) 18:08:16 poseidon ext : 4942/17000 (mem: 1935.39 MiB) 18:08:16 poseidon int : 28160/92000 (mem: 1935.39 MiB) 18:08:16 overflow : 1850/1850 (mem: 1935.39 MiB) 18:08:16 (mem: 1935.39 MiB) 18:08:16 Total structured size: 243875 (mem: 1935.39 MiB) 18:08:16 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1935.39 MiB) 18:08:16 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.39 MiB) 18:08:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1935.39 MiB) 18:08:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1935.39 MiB) 18:08:23 goblin ecc op : 10/1024 (mem: 1935.39 MiB) 18:08:23 busread : 3/6000 (mem: 1935.39 MiB) 18:08:23 lookups : 15000/15000 (mem: 1935.39 MiB) 18:08:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1935.39 MiB) 18:08:23 arithmetic : 48085/56000 (mem: 1935.39 MiB) 18:08:23 delta range : 18000/18000 (mem: 1935.39 MiB) 18:08:23 elliptic : 4132/6000 (mem: 1935.39 MiB) 18:08:23 auxiliary : 23580/26000 (mem: 1935.39 MiB) 18:08:23 poseidon ext : 2/17000 (mem: 1935.39 MiB) 18:08:23 poseidon int : 2/92000 (mem: 1935.39 MiB) 18:08:23 overflow : 17783/17783 (mem: 1935.39 MiB) 18:08:23 (mem: 1935.39 MiB) 18:08:23 Total structured size: 259808 (mem: 1935.39 MiB) 18:08:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1935.39 MiB) 18:08: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: 1935.39 MiB) 18:08:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1936.00 MiB) 18:08:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1936.00 MiB) 18:08:29 goblin ecc op : 792/1024 (mem: 1936.00 MiB) 18:08:29 busread : 3/6000 (mem: 1936.00 MiB) 18:08:29 lookups : 13540/15000 (mem: 1936.00 MiB) 18:08:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1936.00 MiB) 18:08:29 arithmetic : 40019/56000 (mem: 1936.00 MiB) 18:08:29 delta range : 11097/18000 (mem: 1936.00 MiB) 18:08:29 elliptic : 6000/6000 (mem: 1936.00 MiB) 18:08:29 auxiliary : 11827/26000 (mem: 1936.00 MiB) 18:08:29 poseidon ext : 4942/17000 (mem: 1936.00 MiB) 18:08:29 poseidon int : 28160/92000 (mem: 1936.00 MiB) 18:08:29 overflow : 1850/1850 (mem: 1936.00 MiB) 18:08:29 (mem: 1936.00 MiB) 18:08:29 Total structured size: 243875 (mem: 1936.00 MiB) 18:08:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1936.00 MiB) 18:08: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: 1936.00 MiB) 18:08:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1936.45 MiB) 18:08:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1936.45 MiB) 18:08:35 goblin ecc op : 10/1024 (mem: 1936.45 MiB) 18:08:35 busread : 3/6000 (mem: 1936.45 MiB) 18:08:35 lookups : 15000/15000 (mem: 1936.45 MiB) 18:08:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1936.45 MiB) 18:08:35 arithmetic : 48085/56000 (mem: 1936.45 MiB) 18:08:35 delta range : 18000/18000 (mem: 1936.45 MiB) 18:08:35 elliptic : 4132/6000 (mem: 1936.45 MiB) 18:08:35 auxiliary : 23580/26000 (mem: 1936.45 MiB) 18:08:35 poseidon ext : 2/17000 (mem: 1936.45 MiB) 18:08:35 poseidon int : 2/92000 (mem: 1936.45 MiB) 18:08:35 overflow : 17783/17783 (mem: 1936.45 MiB) 18:08:35 (mem: 1936.45 MiB) 18:08:35 Total structured size: 259808 (mem: 1936.45 MiB) 18:08:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1936.45 MiB) 18:08: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: 1936.45 MiB) 18:08:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1936.45 MiB) 18:08:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1936.45 MiB) 18:08:41 goblin ecc op : 792/1024 (mem: 1936.45 MiB) 18:08:41 busread : 3/6000 (mem: 1936.45 MiB) 18:08:41 lookups : 13540/15000 (mem: 1936.45 MiB) 18:08:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1936.45 MiB) 18:08:41 arithmetic : 40019/56000 (mem: 1936.45 MiB) 18:08:41 delta range : 11097/18000 (mem: 1936.45 MiB) 18:08:41 elliptic : 6000/6000 (mem: 1936.45 MiB) 18:08:41 auxiliary : 11827/26000 (mem: 1936.45 MiB) 18:08:41 poseidon ext : 4942/17000 (mem: 1936.45 MiB) 18:08:41 poseidon int : 28160/92000 (mem: 1936.45 MiB) 18:08:41 overflow : 1850/1850 (mem: 1936.45 MiB) 18:08:41 (mem: 1936.45 MiB) 18:08:41 Total structured size: 243875 (mem: 1936.45 MiB) 18:08:41 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1936.45 MiB) 18:08: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: 1936.45 MiB) 18:08:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1936.45 MiB) 18:08:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1936.45 MiB) 18:08:48 goblin ecc op : 10/1024 (mem: 1936.45 MiB) 18:08:48 busread : 3/6000 (mem: 1936.45 MiB) 18:08:48 lookups : 15000/15000 (mem: 1936.45 MiB) 18:08:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1936.45 MiB) 18:08:48 arithmetic : 48085/56000 (mem: 1936.45 MiB) 18:08:48 delta range : 18000/18000 (mem: 1936.45 MiB) 18:08:48 elliptic : 4132/6000 (mem: 1936.45 MiB) 18:08:48 auxiliary : 23580/26000 (mem: 1936.45 MiB) 18:08:48 poseidon ext : 2/17000 (mem: 1936.45 MiB) 18:08:48 poseidon int : 2/92000 (mem: 1936.45 MiB) 18:08:48 overflow : 17783/17783 (mem: 1936.45 MiB) 18:08:48 (mem: 1936.45 MiB) 18:08:48 Total structured size: 259808 (mem: 1936.45 MiB) 18:08:48 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1936.45 MiB) 18:08: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: 1936.45 MiB) 18:08:53 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1936.45 MiB) 18:08:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 1936.45 MiB) 18:08:53 goblin ecc op : 792/1024 (mem: 1936.45 MiB) 18:08:53 busread : 3/6000 (mem: 1936.45 MiB) 18:08:53 lookups : 13540/15000 (mem: 1936.45 MiB) 18:08:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1936.45 MiB) 18:08:53 arithmetic : 40019/56000 (mem: 1936.45 MiB) 18:08:53 delta range : 11097/18000 (mem: 1936.45 MiB) 18:08:53 elliptic : 6000/6000 (mem: 1936.45 MiB) 18:08:53 auxiliary : 11827/26000 (mem: 1936.45 MiB) 18:08:53 poseidon ext : 4942/17000 (mem: 1936.45 MiB) 18:08:53 poseidon int : 28160/92000 (mem: 1936.45 MiB) 18:08:53 overflow : 1850/1850 (mem: 1936.45 MiB) 18:08:53 (mem: 1936.45 MiB) 18:08:53 Total structured size: 243875 (mem: 1936.45 MiB) 18:08:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1936.45 MiB) 18:08: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: 1936.45 MiB) 18:08:58 Largest circuit: 368580 gates. Trace details: (mem: 1936.45 MiB) 18:08:58 Minimum required block sizes for structured trace: (mem: 1936.45 MiB) 18:08:58 ecc_op : 792 18:08:58 busread : 3 18:08:58 lookup : 15000 18:08:58 pub_inputs : 32 18:08:58 arithmetic : 56000 18:08:58 delta_range : 18000 18:08:58 elliptic : 6000 18:08:58 aux : 26000 18:08:58 poseidon2_external : 4942 18:08:58 poseidon2_internal : 28160 18:08:58 overflow : 248619 18:08:58 (mem: 1936.45 MiB) 18:09: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: 1936.45 MiB) 18:09:03 Constructing a Goblin proof with num ultra ops = 11880 (mem: 1936.45 MiB) 18:09:18 IVC successfully verified! (mem: 1936.45 MiB) 18:09:18 [ OK ] ClientIVCKernelCapacity.MaxCapacityPassing (486493 ms) 18:09:18 [----------] 1 test from ClientIVCKernelCapacity (486493 ms total) 18:09:18 18:09:18 [----------] Global test environment tear-down 18:09:18 [==========] 1 test from 1 test suite ran. (486493 ms total) 18:09:18 [ PASSED ] 1 test.