Parent Log:
http://ci.aztec-labs.com/000f65c59bad2a22
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/d3bba2d69dbc070d51bcd50607354193573876ba
Env: REF_NAME=gh-readonly-queue/next/pr-14877-314d7622c6bacc8333ae49fe9583967cab78349b CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 13 12:50:24 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14877_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=4 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_9c4664a14eb81b97_next
12:50:24 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc
12:50:24
Note: Google Test filter = ClientIVCKernelCapacity.MaxCapacityPassing
12:50:24 [==========] Running 1 test from 1 test suite.
12:50:24
[----------] Global test environment set-up.
12:50:24
[----------] 1 test from ClientIVCKernelCapacity
12:50:24
[ RUN ] ClientIVCKernelCapacity.MaxCapacityPassing
12:50:24 BN254 commitment key size: 262144 (mem: 6.00 MiB)
12:50:24 BN254 commitment key size: 262144 (mem: 170.66 MiB)
12:50:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 561.70 MiB)
12:50:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 561.70 MiB)
12:50:25 goblin ecc op : 10/1024 (mem: 561.70 MiB)
12:50:25 busread : 3/6000 (mem: 561.70 MiB)
12:50:25 lookups : 15000/15000 (mem: 561.70 MiB)
12:50:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 561.70 MiB)
12:50:25 arithmetic : 56000/56000 (mem: 561.70 MiB)
12:50:25 delta range : 18000/18000 (mem: 561.70 MiB)
12:50:25 elliptic : 4958/6000 (mem: 561.70 MiB)
12:50:25 auxiliary : 26000/26000 (mem: 561.70 MiB)
12:50:25 poseidon ext : 2/17000 (mem: 561.70 MiB)
12:50:25 poseidon int : 2/92000 (mem: 561.70 MiB)
12:50:25 overflow : 248619/248619 (mem: 561.70 MiB)
12:50:25 (mem: 561.70 MiB)
12:50:25 Total structured size: 490644 (mem: 561.70 MiB)
12:50: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: 1657.64 MiB)
12:50:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1671.65 MiB)
12:50:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1671.65 MiB)
12:50:39 goblin ecc op : 56/1024 (mem: 1671.65 MiB)
12:50:39 busread : 3/6000 (mem: 1671.65 MiB)
12:50:39 lookups : 13540/15000 (mem: 1671.65 MiB)
12:50:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1671.65 MiB)
12:50:39 arithmetic : 32894/56000 (mem: 1671.65 MiB)
12:50:39 delta range : 10239/18000 (mem: 1671.65 MiB)
12:50:39 elliptic : 6000/6000 (mem: 1671.65 MiB)
12:50:39 auxiliary : 11827/26000 (mem: 1671.65 MiB)
12:50:39 poseidon ext : 1302/17000 (mem: 1671.65 MiB)
12:50:39 poseidon int : 7412/92000 (mem: 1671.65 MiB)
12:50:39 overflow : 1850/1850 (mem: 1671.65 MiB)
12:50:39 (mem: 1671.65 MiB)
12:50:39 Total structured size: 243875 (mem: 1671.65 MiB)
12:50:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1736.31 MiB)
12:50: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: 1736.31 MiB)
12:50:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1833.31 MiB)
12:50:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1833.31 MiB)
12:50:51 goblin ecc op : 10/1024 (mem: 1833.31 MiB)
12:50:51 busread : 3/6000 (mem: 1833.31 MiB)
12:50:51 lookups : 15000/15000 (mem: 1833.31 MiB)
12:50:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1833.31 MiB)
12:50:51 arithmetic : 48085/56000 (mem: 1833.31 MiB)
12:50:51 delta range : 18000/18000 (mem: 1833.31 MiB)
12:50:51 elliptic : 4132/6000 (mem: 1833.31 MiB)
12:50:51 auxiliary : 23580/26000 (mem: 1833.31 MiB)
12:50:51 poseidon ext : 2/17000 (mem: 1833.31 MiB)
12:50:51 poseidon int : 2/92000 (mem: 1833.31 MiB)
12:50:51 overflow : 17783/17783 (mem: 1833.31 MiB)
12:50:51 (mem: 1833.31 MiB)
12:50:51 Total structured size: 259808 (mem: 1833.31 MiB)
12:50:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1833.31 MiB)
12:50: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: 1833.31 MiB)
12:51:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1880.31 MiB)
12:51:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 1880.31 MiB)
12:51:02 goblin ecc op : 792/1024 (mem: 1880.31 MiB)
12:51:02 busread : 3/6000 (mem: 1880.31 MiB)
12:51:02 lookups : 13540/15000 (mem: 1880.31 MiB)
12:51:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1880.31 MiB)
12:51:02 arithmetic : 40019/56000 (mem: 1880.31 MiB)
12:51:02 delta range : 11097/18000 (mem: 1880.31 MiB)
12:51:02 elliptic : 6000/6000 (mem: 1880.31 MiB)
12:51:02 auxiliary : 11827/26000 (mem: 1880.31 MiB)
12:51:02 poseidon ext : 4942/17000 (mem: 1880.31 MiB)
12:51:02 poseidon int : 28160/92000 (mem: 1880.31 MiB)
12:51:02 overflow : 1850/1850 (mem: 1880.31 MiB)
12:51:02 (mem: 1880.31 MiB)
12:51:02 Total structured size: 243875 (mem: 1880.31 MiB)
12:51:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1880.31 MiB)
12:51: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: 1880.31 MiB)
12:51:15 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.31 MiB)
12:51:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.31 MiB)
12:51:15 goblin ecc op : 10/1024 (mem: 1883.31 MiB)
12:51:15 busread : 3/6000 (mem: 1883.31 MiB)
12:51:15 lookups : 15000/15000 (mem: 1883.31 MiB)
12:51:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.31 MiB)
12:51:15 arithmetic : 48085/56000 (mem: 1883.31 MiB)
12:51:15 delta range : 18000/18000 (mem: 1883.31 MiB)
12:51:15 elliptic : 4132/6000 (mem: 1883.31 MiB)
12:51:15 auxiliary : 23580/26000 (mem: 1883.31 MiB)
12:51:15 poseidon ext : 2/17000 (mem: 1883.31 MiB)
12:51:15 poseidon int : 2/92000 (mem: 1883.31 MiB)
12:51:15 overflow : 17783/17783 (mem: 1883.31 MiB)
12:51:15 (mem: 1883.31 MiB)
12:51:15 Total structured size: 259808 (mem: 1883.31 MiB)
12:51:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.31 MiB)
12:51: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: 1883.31 MiB)
12:51:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.31 MiB)
12:51:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.31 MiB)
12:51:25 goblin ecc op : 792/1024 (mem: 1883.31 MiB)
12:51:25 busread : 3/6000 (mem: 1883.31 MiB)
12:51:25 lookups : 13540/15000 (mem: 1883.31 MiB)
12:51:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.31 MiB)
12:51:25 arithmetic : 40019/56000 (mem: 1883.31 MiB)
12:51:25 delta range : 11097/18000 (mem: 1883.31 MiB)
12:51:25 elliptic : 6000/6000 (mem: 1883.31 MiB)
12:51:25 auxiliary : 11827/26000 (mem: 1883.31 MiB)
12:51:25 poseidon ext : 4942/17000 (mem: 1883.31 MiB)
12:51:25 poseidon int : 28160/92000 (mem: 1883.31 MiB)
12:51:25 overflow : 1850/1850 (mem: 1883.31 MiB)
12:51:25 (mem: 1883.31 MiB)
12:51:25 Total structured size: 243875 (mem: 1883.31 MiB)
12:51:27 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.31 MiB)
12:51:27 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1883.31 MiB)
12:51:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.31 MiB)
12:51:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.31 MiB)
12:51:35 goblin ecc op : 10/1024 (mem: 1883.31 MiB)
12:51:35 busread : 3/6000 (mem: 1883.31 MiB)
12:51:35 lookups : 15000/15000 (mem: 1883.31 MiB)
12:51:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.31 MiB)
12:51:35 arithmetic : 48085/56000 (mem: 1883.31 MiB)
12:51:35 delta range : 18000/18000 (mem: 1883.31 MiB)
12:51:35 elliptic : 4132/6000 (mem: 1883.31 MiB)
12:51:35 auxiliary : 23580/26000 (mem: 1883.31 MiB)
12:51:35 poseidon ext : 2/17000 (mem: 1883.31 MiB)
12:51:35 poseidon int : 2/92000 (mem: 1883.31 MiB)
12:51:35 overflow : 17783/17783 (mem: 1883.31 MiB)
12:51:35 (mem: 1883.31 MiB)
12:51:35 Total structured size: 259808 (mem: 1883.31 MiB)
12:51:38 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.31 MiB)
12:51: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: 1883.31 MiB)
12:51:45 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:51:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:51:45 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:51:45 busread : 3/6000 (mem: 1883.85 MiB)
12:51:45 lookups : 13540/15000 (mem: 1883.85 MiB)
12:51:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:51:45 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:51:45 delta range : 11097/18000 (mem: 1883.85 MiB)
12:51:45 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:51:45 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:51:45 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:51:45 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:51:45 overflow : 1850/1850 (mem: 1883.85 MiB)
12:51:45 (mem: 1883.85 MiB)
12:51:45 Total structured size: 243875 (mem: 1883.85 MiB)
12:51:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:51: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: 1883.85 MiB)
12:51:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:51:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:51:55 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:51:55 busread : 3/6000 (mem: 1883.85 MiB)
12:51:55 lookups : 15000/15000 (mem: 1883.85 MiB)
12:51:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:51:55 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:51:55 delta range : 18000/18000 (mem: 1883.85 MiB)
12:51:55 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:51:55 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:51:55 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:51:55 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:51:55 overflow : 17783/17783 (mem: 1883.85 MiB)
12:51:55 (mem: 1883.85 MiB)
12:51:55 Total structured size: 259808 (mem: 1883.85 MiB)
12:51:57 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:51: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: 1883.85 MiB)
12:52:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:52:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:52:03 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:52:03 busread : 3/6000 (mem: 1883.85 MiB)
12:52:03 lookups : 13540/15000 (mem: 1883.85 MiB)
12:52:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:52:03 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:52:03 delta range : 11097/18000 (mem: 1883.85 MiB)
12:52:03 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:52:03 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:52:03 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:52:03 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:52:03 overflow : 1850/1850 (mem: 1883.85 MiB)
12:52:03 (mem: 1883.85 MiB)
12:52:03 Total structured size: 243875 (mem: 1883.85 MiB)
12:52:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:52: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: 1883.85 MiB)
12:52:14 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:52:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:52:14 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:52:14 busread : 3/6000 (mem: 1883.85 MiB)
12:52:14 lookups : 15000/15000 (mem: 1883.85 MiB)
12:52:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:52:14 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:52:14 delta range : 18000/18000 (mem: 1883.85 MiB)
12:52:14 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:52:14 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:52:14 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:52:14 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:52:14 overflow : 17783/17783 (mem: 1883.85 MiB)
12:52:14 (mem: 1883.85 MiB)
12:52:14 Total structured size: 259808 (mem: 1883.85 MiB)
12:52:16 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:52: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: 1883.85 MiB)
12:52:22 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:52:22 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:52:22 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:52:22 busread : 3/6000 (mem: 1883.85 MiB)
12:52:22 lookups : 13540/15000 (mem: 1883.85 MiB)
12:52:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:52:22 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:52:22 delta range : 11097/18000 (mem: 1883.85 MiB)
12:52:22 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:52:22 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:52:22 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:52:22 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:52:22 overflow : 1850/1850 (mem: 1883.85 MiB)
12:52:22 (mem: 1883.85 MiB)
12:52:22 Total structured size: 243875 (mem: 1883.85 MiB)
12:52:24 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:52: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: 1883.85 MiB)
12:52:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:52:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:52:30 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:52:30 busread : 3/6000 (mem: 1883.85 MiB)
12:52:30 lookups : 15000/15000 (mem: 1883.85 MiB)
12:52:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:52:30 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:52:30 delta range : 18000/18000 (mem: 1883.85 MiB)
12:52:30 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:52:30 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:52:30 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:52:30 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:52:30 overflow : 17783/17783 (mem: 1883.85 MiB)
12:52:30 (mem: 1883.85 MiB)
12:52:30 Total structured size: 259808 (mem: 1883.85 MiB)
12:52:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:52: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: 1883.85 MiB)
12:52:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:52:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:52:38 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:52:38 busread : 3/6000 (mem: 1883.85 MiB)
12:52:38 lookups : 13540/15000 (mem: 1883.85 MiB)
12:52:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:52:38 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:52:38 delta range : 11097/18000 (mem: 1883.85 MiB)
12:52:38 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:52:38 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:52:38 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:52:38 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:52:38 overflow : 1850/1850 (mem: 1883.85 MiB)
12:52:38 (mem: 1883.85 MiB)
12:52:38 Total structured size: 243875 (mem: 1883.85 MiB)
12:52:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:52: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: 1883.85 MiB)
12:52:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:52:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:52:46 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:52:46 busread : 3/6000 (mem: 1883.85 MiB)
12:52:46 lookups : 15000/15000 (mem: 1883.85 MiB)
12:52:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:52:46 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:52:46 delta range : 18000/18000 (mem: 1883.85 MiB)
12:52:46 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:52:46 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:52:46 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:52:46 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:52:46 overflow : 17783/17783 (mem: 1883.85 MiB)
12:52:46 (mem: 1883.85 MiB)
12:52:46 Total structured size: 259808 (mem: 1883.85 MiB)
12:52:48 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:52: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: 1883.85 MiB)
12:52:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:52:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:52:55 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:52:55 busread : 3/6000 (mem: 1883.85 MiB)
12:52:55 lookups : 13540/15000 (mem: 1883.85 MiB)
12:52:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:52:55 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:52:55 delta range : 11097/18000 (mem: 1883.85 MiB)
12:52:55 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:52:55 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:52:55 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:52:55 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:52:55 overflow : 1850/1850 (mem: 1883.85 MiB)
12:52:55 (mem: 1883.85 MiB)
12:52:55 Total structured size: 243875 (mem: 1883.85 MiB)
12:52:56 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:52:56 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.85 MiB)
12:53:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:53:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:53:03 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:53:03 busread : 3/6000 (mem: 1883.85 MiB)
12:53:03 lookups : 15000/15000 (mem: 1883.85 MiB)
12:53:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:53:03 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:53:03 delta range : 18000/18000 (mem: 1883.85 MiB)
12:53:03 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:53:03 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:53:03 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:53:03 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:53:03 overflow : 17783/17783 (mem: 1883.85 MiB)
12:53:03 (mem: 1883.85 MiB)
12:53:03 Total structured size: 259808 (mem: 1883.85 MiB)
12:53:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:53: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: 1883.85 MiB)
12:53:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:53:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:53:12 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:53:12 busread : 3/6000 (mem: 1883.85 MiB)
12:53:12 lookups : 13540/15000 (mem: 1883.85 MiB)
12:53:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:53:12 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:53:12 delta range : 11097/18000 (mem: 1883.85 MiB)
12:53:12 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:53:12 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:53:12 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:53:12 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:53:12 overflow : 1850/1850 (mem: 1883.85 MiB)
12:53:12 (mem: 1883.85 MiB)
12:53:12 Total structured size: 243875 (mem: 1883.85 MiB)
12:53:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:53: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: 1883.85 MiB)
12:53:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:53:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:53:21 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:53:21 busread : 3/6000 (mem: 1883.85 MiB)
12:53:21 lookups : 15000/15000 (mem: 1883.85 MiB)
12:53:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:53:21 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:53:21 delta range : 18000/18000 (mem: 1883.85 MiB)
12:53:21 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:53:21 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:53:21 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:53:21 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:53:21 overflow : 17783/17783 (mem: 1883.85 MiB)
12:53:21 (mem: 1883.85 MiB)
12:53:21 Total structured size: 259808 (mem: 1883.85 MiB)
12:53:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:53: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: 1883.85 MiB)
12:53:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:53:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:53:30 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:53:30 busread : 3/6000 (mem: 1883.85 MiB)
12:53:30 lookups : 13540/15000 (mem: 1883.85 MiB)
12:53:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:53:30 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:53:30 delta range : 11097/18000 (mem: 1883.85 MiB)
12:53:30 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:53:30 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:53:30 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:53:30 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:53:30 overflow : 1850/1850 (mem: 1883.85 MiB)
12:53:30 (mem: 1883.85 MiB)
12:53:30 Total structured size: 243875 (mem: 1883.85 MiB)
12:53:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:53: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: 1883.85 MiB)
12:53:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:53:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:53:39 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:53:39 busread : 3/6000 (mem: 1883.85 MiB)
12:53:39 lookups : 15000/15000 (mem: 1883.85 MiB)
12:53:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:53:39 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:53:39 delta range : 18000/18000 (mem: 1883.85 MiB)
12:53:39 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:53:39 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:53:39 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:53:39 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:53:39 overflow : 17783/17783 (mem: 1883.85 MiB)
12:53:39 (mem: 1883.85 MiB)
12:53:39 Total structured size: 259808 (mem: 1883.85 MiB)
12:53:41 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:53: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: 1883.85 MiB)
12:53:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:53:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:53:48 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:53:48 busread : 3/6000 (mem: 1883.85 MiB)
12:53:48 lookups : 13540/15000 (mem: 1883.85 MiB)
12:53:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:53:48 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:53:48 delta range : 11097/18000 (mem: 1883.85 MiB)
12:53:48 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:53:48 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:53:48 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:53:48 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:53:48 overflow : 1850/1850 (mem: 1883.85 MiB)
12:53:48 (mem: 1883.85 MiB)
12:53:48 Total structured size: 243875 (mem: 1883.85 MiB)
12:53:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:53: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: 1883.85 MiB)
12:53:56 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:53:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:53:56 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:53:56 busread : 3/6000 (mem: 1883.85 MiB)
12:53:56 lookups : 15000/15000 (mem: 1883.85 MiB)
12:53:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:53:56 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:53:56 delta range : 18000/18000 (mem: 1883.85 MiB)
12:53:56 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:53:56 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:53:56 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:53:56 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:53:56 overflow : 17783/17783 (mem: 1883.85 MiB)
12:53:56 (mem: 1883.85 MiB)
12:53:56 Total structured size: 259808 (mem: 1883.85 MiB)
12:53:57 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:53: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: 1883.85 MiB)
12:54:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:03 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:54:03 busread : 3/6000 (mem: 1883.85 MiB)
12:54:03 lookups : 13540/15000 (mem: 1883.85 MiB)
12:54:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:03 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:54:03 delta range : 11097/18000 (mem: 1883.85 MiB)
12:54:03 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:54:03 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:54:03 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:54:03 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:54:03 overflow : 1850/1850 (mem: 1883.85 MiB)
12:54:03 (mem: 1883.85 MiB)
12:54:03 Total structured size: 243875 (mem: 1883.85 MiB)
12:54:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:54: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: 1883.85 MiB)
12:54:10 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:10 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:54:10 busread : 3/6000 (mem: 1883.85 MiB)
12:54:10 lookups : 15000/15000 (mem: 1883.85 MiB)
12:54:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:10 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:54:10 delta range : 18000/18000 (mem: 1883.85 MiB)
12:54:10 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:54:10 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:54:10 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:54:10 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:54:10 overflow : 17783/17783 (mem: 1883.85 MiB)
12:54:10 (mem: 1883.85 MiB)
12:54:10 Total structured size: 259808 (mem: 1883.85 MiB)
12:54:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:54: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: 1883.85 MiB)
12:54:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:18 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:54:18 busread : 3/6000 (mem: 1883.85 MiB)
12:54:18 lookups : 13540/15000 (mem: 1883.85 MiB)
12:54:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:18 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:54:18 delta range : 11097/18000 (mem: 1883.85 MiB)
12:54:18 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:54:18 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:54:18 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:54:18 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:54:18 overflow : 1850/1850 (mem: 1883.85 MiB)
12:54:18 (mem: 1883.85 MiB)
12:54:18 Total structured size: 243875 (mem: 1883.85 MiB)
12:54:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:54: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: 1883.85 MiB)
12:54:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:26 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:54:26 busread : 3/6000 (mem: 1883.85 MiB)
12:54:26 lookups : 15000/15000 (mem: 1883.85 MiB)
12:54:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:26 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:54:26 delta range : 18000/18000 (mem: 1883.85 MiB)
12:54:26 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:54:26 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:54:26 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:54:26 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:54:26 overflow : 17783/17783 (mem: 1883.85 MiB)
12:54:26 (mem: 1883.85 MiB)
12:54:26 Total structured size: 259808 (mem: 1883.85 MiB)
12:54:28 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:54: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: 1883.85 MiB)
12:54:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:33 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:54:33 busread : 3/6000 (mem: 1883.85 MiB)
12:54:33 lookups : 13540/15000 (mem: 1883.85 MiB)
12:54:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:33 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:54:33 delta range : 11097/18000 (mem: 1883.85 MiB)
12:54:33 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:54:33 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:54:33 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:54:33 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:54:33 overflow : 1850/1850 (mem: 1883.85 MiB)
12:54:33 (mem: 1883.85 MiB)
12:54:33 Total structured size: 243875 (mem: 1883.85 MiB)
12:54:35 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:54: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: 1883.85 MiB)
12:54:40 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:40 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:40 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:54:40 busread : 3/6000 (mem: 1883.85 MiB)
12:54:40 lookups : 15000/15000 (mem: 1883.85 MiB)
12:54:40 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:40 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:54:40 delta range : 18000/18000 (mem: 1883.85 MiB)
12:54:40 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:54:40 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:54:40 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:54:40 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:54:40 overflow : 17783/17783 (mem: 1883.85 MiB)
12:54:40 (mem: 1883.85 MiB)
12:54:40 Total structured size: 259808 (mem: 1883.85 MiB)
12:54:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:54:42 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1883.85 MiB)
12:54:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:49 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:54:49 busread : 3/6000 (mem: 1883.85 MiB)
12:54:49 lookups : 13540/15000 (mem: 1883.85 MiB)
12:54:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:49 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:54:49 delta range : 11097/18000 (mem: 1883.85 MiB)
12:54:49 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:54:49 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:54:49 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:54:49 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:54:49 overflow : 1850/1850 (mem: 1883.85 MiB)
12:54:49 (mem: 1883.85 MiB)
12:54:49 Total structured size: 243875 (mem: 1883.85 MiB)
12:54:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:54: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: 1883.85 MiB)
12:54:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:54:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:54:59 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:54:59 busread : 3/6000 (mem: 1883.85 MiB)
12:54:59 lookups : 15000/15000 (mem: 1883.85 MiB)
12:54:59 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:54:59 arithmetic : 56000/56000 (mem: 1883.85 MiB)
12:54:59 delta range : 18000/18000 (mem: 1883.85 MiB)
12:54:59 elliptic : 4958/6000 (mem: 1883.85 MiB)
12:54:59 auxiliary : 26000/26000 (mem: 1883.85 MiB)
12:54:59 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:54:59 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:54:59 overflow : 248619/248619 (mem: 1883.85 MiB)
12:54:59 (mem: 1883.85 MiB)
12:54:59 Total structured size: 490644 (mem: 1883.85 MiB)
12:54: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: 1883.85 MiB)
12:55:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:55:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:55:05 goblin ecc op : 56/1024 (mem: 1883.85 MiB)
12:55:05 busread : 3/6000 (mem: 1883.85 MiB)
12:55:05 lookups : 13540/15000 (mem: 1883.85 MiB)
12:55:05 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:55:05 arithmetic : 32894/56000 (mem: 1883.85 MiB)
12:55:05 delta range : 10239/18000 (mem: 1883.85 MiB)
12:55:05 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:55:05 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:55:05 poseidon ext : 1302/17000 (mem: 1883.85 MiB)
12:55:05 poseidon int : 7412/92000 (mem: 1883.85 MiB)
12:55:05 overflow : 1850/1850 (mem: 1883.85 MiB)
12:55:05 (mem: 1883.85 MiB)
12:55:05 Total structured size: 243875 (mem: 1883.85 MiB)
12:55:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:55: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: 1883.85 MiB)
12:55:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:55:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:55:12 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:55:12 busread : 3/6000 (mem: 1883.85 MiB)
12:55:12 lookups : 15000/15000 (mem: 1883.85 MiB)
12:55:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:55:12 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:55:12 delta range : 18000/18000 (mem: 1883.85 MiB)
12:55:12 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:55:12 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:55:12 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:55:12 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:55:12 overflow : 17783/17783 (mem: 1883.85 MiB)
12:55:12 (mem: 1883.85 MiB)
12:55:12 Total structured size: 259808 (mem: 1883.85 MiB)
12:55:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:55: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: 1883.85 MiB)
12:55:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:55:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:55:18 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:55:18 busread : 3/6000 (mem: 1883.85 MiB)
12:55:18 lookups : 13540/15000 (mem: 1883.85 MiB)
12:55:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:55:18 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:55:18 delta range : 11097/18000 (mem: 1883.85 MiB)
12:55:18 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:55:18 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:55:18 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:55:18 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:55:18 overflow : 1850/1850 (mem: 1883.85 MiB)
12:55:18 (mem: 1883.85 MiB)
12:55:18 Total structured size: 243875 (mem: 1883.85 MiB)
12:55:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:55: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: 1883.85 MiB)
12:55:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:55:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:55:24 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:55:24 busread : 3/6000 (mem: 1883.85 MiB)
12:55:24 lookups : 15000/15000 (mem: 1883.85 MiB)
12:55:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:55:24 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:55:24 delta range : 18000/18000 (mem: 1883.85 MiB)
12:55:24 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:55:24 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:55:24 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:55:24 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:55:24 overflow : 17783/17783 (mem: 1883.85 MiB)
12:55:24 (mem: 1883.85 MiB)
12:55:24 Total structured size: 259808 (mem: 1883.85 MiB)
12:55:24 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:55: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: 1883.85 MiB)
12:55:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:55:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:55:30 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:55:30 busread : 3/6000 (mem: 1883.85 MiB)
12:55:30 lookups : 13540/15000 (mem: 1883.85 MiB)
12:55:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:55:30 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:55:30 delta range : 11097/18000 (mem: 1883.85 MiB)
12:55:30 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:55:30 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:55:30 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:55:30 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:55:30 overflow : 1850/1850 (mem: 1883.85 MiB)
12:55:30 (mem: 1883.85 MiB)
12:55:30 Total structured size: 243875 (mem: 1883.85 MiB)
12:55:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:55: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: 1883.85 MiB)
12:55:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:55:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:55:36 goblin ecc op : 10/1024 (mem: 1883.85 MiB)
12:55:36 busread : 3/6000 (mem: 1883.85 MiB)
12:55:36 lookups : 15000/15000 (mem: 1883.85 MiB)
12:55:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:55:36 arithmetic : 48085/56000 (mem: 1883.85 MiB)
12:55:36 delta range : 18000/18000 (mem: 1883.85 MiB)
12:55:36 elliptic : 4132/6000 (mem: 1883.85 MiB)
12:55:36 auxiliary : 23580/26000 (mem: 1883.85 MiB)
12:55:36 poseidon ext : 2/17000 (mem: 1883.85 MiB)
12:55:36 poseidon int : 2/92000 (mem: 1883.85 MiB)
12:55:36 overflow : 17783/17783 (mem: 1883.85 MiB)
12:55:36 (mem: 1883.85 MiB)
12:55:36 Total structured size: 259808 (mem: 1883.85 MiB)
12:55:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:55: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.85 MiB)
12:55:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1883.85 MiB)
12:55:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1883.85 MiB)
12:55:43 goblin ecc op : 792/1024 (mem: 1883.85 MiB)
12:55:43 busread : 3/6000 (mem: 1883.85 MiB)
12:55:43 lookups : 13540/15000 (mem: 1883.85 MiB)
12:55:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1883.85 MiB)
12:55:43 arithmetic : 40019/56000 (mem: 1883.85 MiB)
12:55:43 delta range : 11097/18000 (mem: 1883.85 MiB)
12:55:43 elliptic : 6000/6000 (mem: 1883.85 MiB)
12:55:43 auxiliary : 11827/26000 (mem: 1883.85 MiB)
12:55:43 poseidon ext : 4942/17000 (mem: 1883.85 MiB)
12:55:43 poseidon int : 28160/92000 (mem: 1883.85 MiB)
12:55:43 overflow : 1850/1850 (mem: 1883.85 MiB)
12:55:43 (mem: 1883.85 MiB)
12:55:43 Total structured size: 243875 (mem: 1883.85 MiB)
12:55:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1883.85 MiB)
12:55: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: 1883.85 MiB)
12:55:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1912.32 MiB)
12:55:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1912.32 MiB)
12:55:49 goblin ecc op : 10/1024 (mem: 1912.32 MiB)
12:55:49 busread : 3/6000 (mem: 1912.32 MiB)
12:55:49 lookups : 15000/15000 (mem: 1912.32 MiB)
12:55:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1912.32 MiB)
12:55:49 arithmetic : 48085/56000 (mem: 1912.32 MiB)
12:55:49 delta range : 18000/18000 (mem: 1912.32 MiB)
12:55:49 elliptic : 4132/6000 (mem: 1912.32 MiB)
12:55:49 auxiliary : 23580/26000 (mem: 1912.32 MiB)
12:55:49 poseidon ext : 2/17000 (mem: 1912.32 MiB)
12:55:49 poseidon int : 2/92000 (mem: 1912.32 MiB)
12:55:49 overflow : 17783/17783 (mem: 1912.32 MiB)
12:55:49 (mem: 1912.32 MiB)
12:55:49 Total structured size: 259808 (mem: 1912.32 MiB)
12:55:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1912.32 MiB)
12:55: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: 1912.32 MiB)
12:55:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1912.32 MiB)
12:55:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1912.32 MiB)
12:55:55 goblin ecc op : 792/1024 (mem: 1912.32 MiB)
12:55:55 busread : 3/6000 (mem: 1912.32 MiB)
12:55:55 lookups : 13540/15000 (mem: 1912.32 MiB)
12:55:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1912.32 MiB)
12:55:55 arithmetic : 40019/56000 (mem: 1912.32 MiB)
12:55:55 delta range : 11097/18000 (mem: 1912.32 MiB)
12:55:55 elliptic : 6000/6000 (mem: 1912.32 MiB)
12:55:55 auxiliary : 11827/26000 (mem: 1912.32 MiB)
12:55:55 poseidon ext : 4942/17000 (mem: 1912.32 MiB)
12:55:55 poseidon int : 28160/92000 (mem: 1912.32 MiB)
12:55:55 overflow : 1850/1850 (mem: 1912.32 MiB)
12:55:55 (mem: 1912.32 MiB)
12:55:55 Total structured size: 243875 (mem: 1912.32 MiB)
12:55:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1912.32 MiB)
12:55: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: 1912.32 MiB)
12:56:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.43 MiB)
12:56:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.43 MiB)
12:56:01 goblin ecc op : 10/1024 (mem: 1913.43 MiB)
12:56:01 busread : 3/6000 (mem: 1913.43 MiB)
12:56:01 lookups : 15000/15000 (mem: 1913.43 MiB)
12:56:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.43 MiB)
12:56:01 arithmetic : 48085/56000 (mem: 1913.43 MiB)
12:56:01 delta range : 18000/18000 (mem: 1913.43 MiB)
12:56:01 elliptic : 4132/6000 (mem: 1913.43 MiB)
12:56:01 auxiliary : 23580/26000 (mem: 1913.43 MiB)
12:56:01 poseidon ext : 2/17000 (mem: 1913.43 MiB)
12:56:01 poseidon int : 2/92000 (mem: 1913.43 MiB)
12:56:01 overflow : 17783/17783 (mem: 1913.43 MiB)
12:56:01 (mem: 1913.43 MiB)
12:56:01 Total structured size: 259808 (mem: 1913.43 MiB)
12:56:01 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.43 MiB)
12:56: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: 1913.43 MiB)
12:56:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.43 MiB)
12:56:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.43 MiB)
12:56:07 goblin ecc op : 792/1024 (mem: 1913.43 MiB)
12:56:07 busread : 3/6000 (mem: 1913.43 MiB)
12:56:07 lookups : 13540/15000 (mem: 1913.43 MiB)
12:56:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.43 MiB)
12:56:07 arithmetic : 40019/56000 (mem: 1913.43 MiB)
12:56:07 delta range : 11097/18000 (mem: 1913.43 MiB)
12:56:07 elliptic : 6000/6000 (mem: 1913.43 MiB)
12:56:07 auxiliary : 11827/26000 (mem: 1913.43 MiB)
12:56:07 poseidon ext : 4942/17000 (mem: 1913.43 MiB)
12:56:07 poseidon int : 28160/92000 (mem: 1913.43 MiB)
12:56:07 overflow : 1850/1850 (mem: 1913.43 MiB)
12:56:07 (mem: 1913.43 MiB)
12:56:07 Total structured size: 243875 (mem: 1913.43 MiB)
12:56:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.43 MiB)
12:56: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.43 MiB)
12:56:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.77 MiB)
12:56:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.77 MiB)
12:56:12 goblin ecc op : 10/1024 (mem: 1913.77 MiB)
12:56:12 busread : 3/6000 (mem: 1913.77 MiB)
12:56:12 lookups : 15000/15000 (mem: 1913.77 MiB)
12:56:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.77 MiB)
12:56:12 arithmetic : 48085/56000 (mem: 1913.77 MiB)
12:56:12 delta range : 18000/18000 (mem: 1913.77 MiB)
12:56:12 elliptic : 4132/6000 (mem: 1913.77 MiB)
12:56:12 auxiliary : 23580/26000 (mem: 1913.77 MiB)
12:56:12 poseidon ext : 2/17000 (mem: 1913.77 MiB)
12:56:12 poseidon int : 2/92000 (mem: 1913.77 MiB)
12:56:12 overflow : 17783/17783 (mem: 1913.77 MiB)
12:56:12 (mem: 1913.77 MiB)
12:56:12 Total structured size: 259808 (mem: 1913.77 MiB)
12:56:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.77 MiB)
12:56: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.77 MiB)
12:56:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.77 MiB)
12:56:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.77 MiB)
12:56:18 goblin ecc op : 792/1024 (mem: 1913.77 MiB)
12:56:18 busread : 3/6000 (mem: 1913.77 MiB)
12:56:18 lookups : 13540/15000 (mem: 1913.77 MiB)
12:56:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.77 MiB)
12:56:18 arithmetic : 40019/56000 (mem: 1913.77 MiB)
12:56:18 delta range : 11097/18000 (mem: 1913.77 MiB)
12:56:18 elliptic : 6000/6000 (mem: 1913.77 MiB)
12:56:18 auxiliary : 11827/26000 (mem: 1913.77 MiB)
12:56:18 poseidon ext : 4942/17000 (mem: 1913.77 MiB)
12:56:18 poseidon int : 28160/92000 (mem: 1913.77 MiB)
12:56:18 overflow : 1850/1850 (mem: 1913.77 MiB)
12:56:18 (mem: 1913.77 MiB)
12:56:18 Total structured size: 243875 (mem: 1913.77 MiB)
12:56:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.77 MiB)
12:56: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.77 MiB)
12:56:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:56:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:56:24 goblin ecc op : 10/1024 (mem: 1913.93 MiB)
12:56:24 busread : 3/6000 (mem: 1913.93 MiB)
12:56:24 lookups : 15000/15000 (mem: 1913.93 MiB)
12:56:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:56:24 arithmetic : 48085/56000 (mem: 1913.93 MiB)
12:56:24 delta range : 18000/18000 (mem: 1913.93 MiB)
12:56:24 elliptic : 4132/6000 (mem: 1913.93 MiB)
12:56:24 auxiliary : 23580/26000 (mem: 1913.93 MiB)
12:56:24 poseidon ext : 2/17000 (mem: 1913.93 MiB)
12:56:24 poseidon int : 2/92000 (mem: 1913.93 MiB)
12:56:24 overflow : 17783/17783 (mem: 1913.93 MiB)
12:56:24 (mem: 1913.93 MiB)
12:56:24 Total structured size: 259808 (mem: 1913.93 MiB)
12:56:24 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:56: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: 1913.93 MiB)
12:56:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:56:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:56:30 goblin ecc op : 792/1024 (mem: 1913.93 MiB)
12:56:30 busread : 3/6000 (mem: 1913.93 MiB)
12:56:30 lookups : 13540/15000 (mem: 1913.93 MiB)
12:56:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:56:30 arithmetic : 40019/56000 (mem: 1913.93 MiB)
12:56:30 delta range : 11097/18000 (mem: 1913.93 MiB)
12:56:30 elliptic : 6000/6000 (mem: 1913.93 MiB)
12:56:30 auxiliary : 11827/26000 (mem: 1913.93 MiB)
12:56:30 poseidon ext : 4942/17000 (mem: 1913.93 MiB)
12:56:30 poseidon int : 28160/92000 (mem: 1913.93 MiB)
12:56:30 overflow : 1850/1850 (mem: 1913.93 MiB)
12:56:30 (mem: 1913.93 MiB)
12:56:30 Total structured size: 243875 (mem: 1913.93 MiB)
12:56:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:56: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.93 MiB)
12:56:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:56:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:56:36 goblin ecc op : 10/1024 (mem: 1913.93 MiB)
12:56:36 busread : 3/6000 (mem: 1913.93 MiB)
12:56:36 lookups : 15000/15000 (mem: 1913.93 MiB)
12:56:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:56:36 arithmetic : 48085/56000 (mem: 1913.93 MiB)
12:56:36 delta range : 18000/18000 (mem: 1913.93 MiB)
12:56:36 elliptic : 4132/6000 (mem: 1913.93 MiB)
12:56:36 auxiliary : 23580/26000 (mem: 1913.93 MiB)
12:56:36 poseidon ext : 2/17000 (mem: 1913.93 MiB)
12:56:36 poseidon int : 2/92000 (mem: 1913.93 MiB)
12:56:36 overflow : 17783/17783 (mem: 1913.93 MiB)
12:56:36 (mem: 1913.93 MiB)
12:56:36 Total structured size: 259808 (mem: 1913.93 MiB)
12:56:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:56:36 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1913.93 MiB)
12:56:42 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:56:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:56:42 goblin ecc op : 792/1024 (mem: 1913.93 MiB)
12:56:42 busread : 3/6000 (mem: 1913.93 MiB)
12:56:42 lookups : 13540/15000 (mem: 1913.93 MiB)
12:56:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:56:42 arithmetic : 40019/56000 (mem: 1913.93 MiB)
12:56:42 delta range : 11097/18000 (mem: 1913.93 MiB)
12:56:42 elliptic : 6000/6000 (mem: 1913.93 MiB)
12:56:42 auxiliary : 11827/26000 (mem: 1913.93 MiB)
12:56:42 poseidon ext : 4942/17000 (mem: 1913.93 MiB)
12:56:42 poseidon int : 28160/92000 (mem: 1913.93 MiB)
12:56:42 overflow : 1850/1850 (mem: 1913.93 MiB)
12:56:42 (mem: 1913.93 MiB)
12:56:42 Total structured size: 243875 (mem: 1913.93 MiB)
12:56:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:56: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.93 MiB)
12:56:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:56:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:56:48 goblin ecc op : 10/1024 (mem: 1913.93 MiB)
12:56:48 busread : 3/6000 (mem: 1913.93 MiB)
12:56:48 lookups : 15000/15000 (mem: 1913.93 MiB)
12:56:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:56:48 arithmetic : 48085/56000 (mem: 1913.93 MiB)
12:56:48 delta range : 18000/18000 (mem: 1913.93 MiB)
12:56:48 elliptic : 4132/6000 (mem: 1913.93 MiB)
12:56:48 auxiliary : 23580/26000 (mem: 1913.93 MiB)
12:56:48 poseidon ext : 2/17000 (mem: 1913.93 MiB)
12:56:48 poseidon int : 2/92000 (mem: 1913.93 MiB)
12:56:48 overflow : 17783/17783 (mem: 1913.93 MiB)
12:56:48 (mem: 1913.93 MiB)
12:56:48 Total structured size: 259808 (mem: 1913.93 MiB)
12:56:48 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:56: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.93 MiB)
12:56:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:56:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:56:54 goblin ecc op : 792/1024 (mem: 1913.93 MiB)
12:56:54 busread : 3/6000 (mem: 1913.93 MiB)
12:56:54 lookups : 13540/15000 (mem: 1913.93 MiB)
12:56:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:56:54 arithmetic : 40019/56000 (mem: 1913.93 MiB)
12:56:54 delta range : 11097/18000 (mem: 1913.93 MiB)
12:56:54 elliptic : 6000/6000 (mem: 1913.93 MiB)
12:56:54 auxiliary : 11827/26000 (mem: 1913.93 MiB)
12:56:54 poseidon ext : 4942/17000 (mem: 1913.93 MiB)
12:56:54 poseidon int : 28160/92000 (mem: 1913.93 MiB)
12:56:54 overflow : 1850/1850 (mem: 1913.93 MiB)
12:56:54 (mem: 1913.93 MiB)
12:56:54 Total structured size: 243875 (mem: 1913.93 MiB)
12:56:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:56: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.93 MiB)
12:57:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:57:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:57:00 goblin ecc op : 10/1024 (mem: 1913.93 MiB)
12:57:00 busread : 3/6000 (mem: 1913.93 MiB)
12:57:00 lookups : 15000/15000 (mem: 1913.93 MiB)
12:57:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:57:00 arithmetic : 48085/56000 (mem: 1913.93 MiB)
12:57:00 delta range : 18000/18000 (mem: 1913.93 MiB)
12:57:00 elliptic : 4132/6000 (mem: 1913.93 MiB)
12:57:00 auxiliary : 23580/26000 (mem: 1913.93 MiB)
12:57:00 poseidon ext : 2/17000 (mem: 1913.93 MiB)
12:57:00 poseidon int : 2/92000 (mem: 1913.93 MiB)
12:57:00 overflow : 17783/17783 (mem: 1913.93 MiB)
12:57:00 (mem: 1913.93 MiB)
12:57:00 Total structured size: 259808 (mem: 1913.93 MiB)
12:57:00 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:57: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: 1913.93 MiB)
12:57:06 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:57:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:57:06 goblin ecc op : 792/1024 (mem: 1913.93 MiB)
12:57:06 busread : 3/6000 (mem: 1913.93 MiB)
12:57:06 lookups : 13540/15000 (mem: 1913.93 MiB)
12:57:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:57:06 arithmetic : 40019/56000 (mem: 1913.93 MiB)
12:57:06 delta range : 11097/18000 (mem: 1913.93 MiB)
12:57:06 elliptic : 6000/6000 (mem: 1913.93 MiB)
12:57:06 auxiliary : 11827/26000 (mem: 1913.93 MiB)
12:57:06 poseidon ext : 4942/17000 (mem: 1913.93 MiB)
12:57:06 poseidon int : 28160/92000 (mem: 1913.93 MiB)
12:57:06 overflow : 1850/1850 (mem: 1913.93 MiB)
12:57:06 (mem: 1913.93 MiB)
12:57:06 Total structured size: 243875 (mem: 1913.93 MiB)
12:57:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:57: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: 1913.93 MiB)
12:57:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:57:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:57:12 goblin ecc op : 10/1024 (mem: 1913.93 MiB)
12:57:12 busread : 3/6000 (mem: 1913.93 MiB)
12:57:12 lookups : 15000/15000 (mem: 1913.93 MiB)
12:57:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:57:12 arithmetic : 48085/56000 (mem: 1913.93 MiB)
12:57:12 delta range : 18000/18000 (mem: 1913.93 MiB)
12:57:12 elliptic : 4132/6000 (mem: 1913.93 MiB)
12:57:12 auxiliary : 23580/26000 (mem: 1913.93 MiB)
12:57:12 poseidon ext : 2/17000 (mem: 1913.93 MiB)
12:57:12 poseidon int : 2/92000 (mem: 1913.93 MiB)
12:57:12 overflow : 17783/17783 (mem: 1913.93 MiB)
12:57:12 (mem: 1913.93 MiB)
12:57:12 Total structured size: 259808 (mem: 1913.93 MiB)
12:57:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:57: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: 1913.93 MiB)
12:57:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1913.93 MiB)
12:57:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1913.93 MiB)
12:57:18 goblin ecc op : 792/1024 (mem: 1913.93 MiB)
12:57:18 busread : 3/6000 (mem: 1913.93 MiB)
12:57:18 lookups : 13540/15000 (mem: 1913.93 MiB)
12:57:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1913.93 MiB)
12:57:18 arithmetic : 40019/56000 (mem: 1913.93 MiB)
12:57:18 delta range : 11097/18000 (mem: 1913.93 MiB)
12:57:18 elliptic : 6000/6000 (mem: 1913.93 MiB)
12:57:18 auxiliary : 11827/26000 (mem: 1913.93 MiB)
12:57:18 poseidon ext : 4942/17000 (mem: 1913.93 MiB)
12:57:18 poseidon int : 28160/92000 (mem: 1913.93 MiB)
12:57:18 overflow : 1850/1850 (mem: 1913.93 MiB)
12:57:18 (mem: 1913.93 MiB)
12:57:18 Total structured size: 243875 (mem: 1913.93 MiB)
12:57:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1913.93 MiB)
12:57: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.93 MiB)
12:57:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.12 MiB)
12:57:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.12 MiB)
12:57:23 goblin ecc op : 10/1024 (mem: 1914.12 MiB)
12:57:23 busread : 3/6000 (mem: 1914.12 MiB)
12:57:23 lookups : 15000/15000 (mem: 1914.12 MiB)
12:57:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1914.12 MiB)
12:57:23 arithmetic : 48085/56000 (mem: 1914.12 MiB)
12:57:23 delta range : 18000/18000 (mem: 1914.12 MiB)
12:57:23 elliptic : 4132/6000 (mem: 1914.12 MiB)
12:57:23 auxiliary : 23580/26000 (mem: 1914.12 MiB)
12:57:23 poseidon ext : 2/17000 (mem: 1914.12 MiB)
12:57:23 poseidon int : 2/92000 (mem: 1914.12 MiB)
12:57:23 overflow : 17783/17783 (mem: 1914.12 MiB)
12:57:23 (mem: 1914.12 MiB)
12:57:23 Total structured size: 259808 (mem: 1914.12 MiB)
12:57:24 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.12 MiB)
12:57: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: 1914.12 MiB)
12:57:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.12 MiB)
12:57:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.12 MiB)
12:57:29 goblin ecc op : 792/1024 (mem: 1914.12 MiB)
12:57:29 busread : 3/6000 (mem: 1914.12 MiB)
12:57:29 lookups : 13540/15000 (mem: 1914.12 MiB)
12:57:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1914.12 MiB)
12:57:29 arithmetic : 40019/56000 (mem: 1914.12 MiB)
12:57:29 delta range : 11097/18000 (mem: 1914.12 MiB)
12:57:29 elliptic : 6000/6000 (mem: 1914.12 MiB)
12:57:29 auxiliary : 11827/26000 (mem: 1914.12 MiB)
12:57:29 poseidon ext : 4942/17000 (mem: 1914.12 MiB)
12:57:29 poseidon int : 28160/92000 (mem: 1914.12 MiB)
12:57:29 overflow : 1850/1850 (mem: 1914.12 MiB)
12:57:29 (mem: 1914.12 MiB)
12:57:29 Total structured size: 243875 (mem: 1914.12 MiB)
12:57:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.12 MiB)
12:57: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: 1914.12 MiB)
12:57:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.13 MiB)
12:57:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.13 MiB)
12:57:36 goblin ecc op : 10/1024 (mem: 1914.13 MiB)
12:57:36 busread : 3/6000 (mem: 1914.13 MiB)
12:57:36 lookups : 15000/15000 (mem: 1914.13 MiB)
12:57:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1914.13 MiB)
12:57:36 arithmetic : 48085/56000 (mem: 1914.13 MiB)
12:57:36 delta range : 18000/18000 (mem: 1914.13 MiB)
12:57:36 elliptic : 4132/6000 (mem: 1914.13 MiB)
12:57:36 auxiliary : 23580/26000 (mem: 1914.13 MiB)
12:57:36 poseidon ext : 2/17000 (mem: 1914.13 MiB)
12:57:36 poseidon int : 2/92000 (mem: 1914.13 MiB)
12:57:36 overflow : 17783/17783 (mem: 1914.13 MiB)
12:57:36 (mem: 1914.13 MiB)
12:57:36 Total structured size: 259808 (mem: 1914.13 MiB)
12:57:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.13 MiB)
12:57: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: 1914.13 MiB)
12:57:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.13 MiB)
12:57:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.13 MiB)
12:57:41 goblin ecc op : 792/1024 (mem: 1914.13 MiB)
12:57:41 busread : 3/6000 (mem: 1914.13 MiB)
12:57:41 lookups : 13540/15000 (mem: 1914.13 MiB)
12:57:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1914.13 MiB)
12:57:41 arithmetic : 40019/56000 (mem: 1914.13 MiB)
12:57:41 delta range : 11097/18000 (mem: 1914.13 MiB)
12:57:41 elliptic : 6000/6000 (mem: 1914.13 MiB)
12:57:41 auxiliary : 11827/26000 (mem: 1914.13 MiB)
12:57:41 poseidon ext : 4942/17000 (mem: 1914.13 MiB)
12:57:41 poseidon int : 28160/92000 (mem: 1914.13 MiB)
12:57:41 overflow : 1850/1850 (mem: 1914.13 MiB)
12:57:41 (mem: 1914.13 MiB)
12:57:41 Total structured size: 243875 (mem: 1914.13 MiB)
12:57:41 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.13 MiB)
12:57: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: 1914.13 MiB)
12:57:47 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.13 MiB)
12:57:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.13 MiB)
12:57:47 goblin ecc op : 10/1024 (mem: 1914.13 MiB)
12:57:47 busread : 3/6000 (mem: 1914.13 MiB)
12:57:47 lookups : 15000/15000 (mem: 1914.13 MiB)
12:57:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1914.13 MiB)
12:57:47 arithmetic : 48085/56000 (mem: 1914.13 MiB)
12:57:47 delta range : 18000/18000 (mem: 1914.13 MiB)
12:57:47 elliptic : 4132/6000 (mem: 1914.13 MiB)
12:57:47 auxiliary : 23580/26000 (mem: 1914.13 MiB)
12:57:47 poseidon ext : 2/17000 (mem: 1914.13 MiB)
12:57:47 poseidon int : 2/92000 (mem: 1914.13 MiB)
12:57:47 overflow : 17783/17783 (mem: 1914.13 MiB)
12:57:47 (mem: 1914.13 MiB)
12:57:47 Total structured size: 259808 (mem: 1914.13 MiB)
12:57:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.13 MiB)
12:57: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: 1914.13 MiB)
12:57:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1914.13 MiB)
12:57:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1914.13 MiB)
12:57:52 goblin ecc op : 792/1024 (mem: 1914.13 MiB)
12:57:52 busread : 3/6000 (mem: 1914.13 MiB)
12:57:52 lookups : 13540/15000 (mem: 1914.13 MiB)
12:57:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1914.13 MiB)
12:57:52 arithmetic : 40019/56000 (mem: 1914.13 MiB)
12:57:52 delta range : 11097/18000 (mem: 1914.13 MiB)
12:57:52 elliptic : 6000/6000 (mem: 1914.13 MiB)
12:57:52 auxiliary : 11827/26000 (mem: 1914.13 MiB)
12:57:52 poseidon ext : 4942/17000 (mem: 1914.13 MiB)
12:57:52 poseidon int : 28160/92000 (mem: 1914.13 MiB)
12:57:52 overflow : 1850/1850 (mem: 1914.13 MiB)
12:57:52 (mem: 1914.13 MiB)
12:57:52 Total structured size: 243875 (mem: 1914.13 MiB)
12:57:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1914.13 MiB)
12:57: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: 1914.13 MiB)
12:57:57 Largest circuit: 368580 gates. Trace details: (mem: 1914.64 MiB)
12:57:57 Minimum required block sizes for structured trace: (mem: 1914.64 MiB)
12:57:57 ecc_op : 792
12:57:57 busread : 3
12:57:57 lookup : 15000
12:57:57 pub_inputs : 32
12:57:57 arithmetic : 56000
12:57:57 delta_range : 18000
12:57:57 elliptic : 6000
12:57:57 aux : 26000
12:57:57 poseidon2_external : 4942
12:57:57 poseidon2_internal : 28160
12:57:57 overflow : 248619
12:57:57 (mem: 1914.64 MiB)
12:58: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: 1914.64 MiB)
12:58:03 Constructing a Goblin proof with num ultra ops = 11880 (mem: 1914.64 MiB)
12:58:17 IVC successfully verified! (mem: 1914.64 MiB)
12:58:17
[ OK ] ClientIVCKernelCapacity.MaxCapacityPassing (473083 ms)
12:58:17
[----------] 1 test from ClientIVCKernelCapacity (473083 ms total)
12:58:17
12:58:17
[----------] Global test environment tear-down
12:58:17
[==========] 1 test from 1 test suite ran. (473083 ms total)
12:58:17
[ PASSED ] 1 test.