Parent Log:
http://ci.aztec-labs.com/c92727f3159b17a7
Command: 6b749196b5c0246c:CPUS=4:MEM=8g barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCKernelCapacity.MaxCapacityPassing
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/b608f9359219731d3c03407689a4fadaaa5a0d45
Env: REF_NAME=gh-readonly-queue/next/pr-15006-082468f0c1e7e5424b3654b5be0f3560eed7e487 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 12 13:43:27 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15006_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=4 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_9c4664a14eb81b97_next
13:43:27 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc
13:43:27
Note: Google Test filter = ClientIVCKernelCapacity.MaxCapacityPassing
13:43:27 [==========] Running 1 test from 1 test suite.
13:43:27
[----------] Global test environment set-up.
13:43:27
[----------] 1 test from ClientIVCKernelCapacity
13:43:27
[ RUN ] ClientIVCKernelCapacity.MaxCapacityPassing
13:43:27 BN254 commitment key size: 262144 (mem: 6.00 MiB)
13:43:27 BN254 commitment key size: 262144 (mem: 170.61 MiB)
13:43:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 561.64 MiB)
13:43:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 561.64 MiB)
13:43:28 goblin ecc op : 10/1024 (mem: 561.64 MiB)
13:43:28 busread : 3/6000 (mem: 561.64 MiB)
13:43:28 lookups : 15000/15000 (mem: 561.64 MiB)
13:43:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 561.64 MiB)
13:43:28 arithmetic : 56000/56000 (mem: 561.64 MiB)
13:43:28 delta range : 18000/18000 (mem: 561.64 MiB)
13:43:28 elliptic : 4958/6000 (mem: 561.64 MiB)
13:43:28 auxiliary : 26000/26000 (mem: 561.64 MiB)
13:43:28 poseidon ext : 2/17000 (mem: 561.64 MiB)
13:43:28 poseidon int : 2/92000 (mem: 561.64 MiB)
13:43:28 overflow : 248619/248619 (mem: 561.64 MiB)
13:43:28 (mem: 561.64 MiB)
13:43:28 Total structured size: 490644 (mem: 561.64 MiB)
13:43: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: 1654.50 MiB)
13:43:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1668.50 MiB)
13:43:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1668.50 MiB)
13:43:41 goblin ecc op : 56/1024 (mem: 1668.50 MiB)
13:43:41 busread : 3/6000 (mem: 1668.50 MiB)
13:43:41 lookups : 13540/15000 (mem: 1668.50 MiB)
13:43:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1668.50 MiB)
13:43:41 arithmetic : 32894/56000 (mem: 1668.50 MiB)
13:43:41 delta range : 10239/18000 (mem: 1668.50 MiB)
13:43:41 elliptic : 6000/6000 (mem: 1668.50 MiB)
13:43:41 auxiliary : 11827/26000 (mem: 1668.50 MiB)
13:43:41 poseidon ext : 1302/17000 (mem: 1668.50 MiB)
13:43:41 poseidon int : 7412/92000 (mem: 1668.50 MiB)
13:43:41 overflow : 1850/1850 (mem: 1668.50 MiB)
13:43:41 (mem: 1668.50 MiB)
13:43:41 Total structured size: 243875 (mem: 1668.50 MiB)
13:43:44 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1735.68 MiB)
13:43:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1735.68 MiB)
13:43:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1832.68 MiB)
13:43:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1832.68 MiB)
13:43:52 goblin ecc op : 10/1024 (mem: 1832.68 MiB)
13:43:52 busread : 3/6000 (mem: 1832.68 MiB)
13:43:52 lookups : 15000/15000 (mem: 1832.68 MiB)
13:43:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1832.68 MiB)
13:43:52 arithmetic : 48085/56000 (mem: 1832.68 MiB)
13:43:52 delta range : 18000/18000 (mem: 1832.68 MiB)
13:43:52 elliptic : 4132/6000 (mem: 1832.68 MiB)
13:43:52 auxiliary : 23580/26000 (mem: 1832.68 MiB)
13:43:52 poseidon ext : 2/17000 (mem: 1832.68 MiB)
13:43:52 poseidon int : 2/92000 (mem: 1832.68 MiB)
13:43:52 overflow : 17783/17783 (mem: 1832.68 MiB)
13:43:52 (mem: 1832.68 MiB)
13:43:52 Total structured size: 259808 (mem: 1832.68 MiB)
13:43:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1832.68 MiB)
13:43: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: 1832.68 MiB)
13:44:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.68 MiB)
13:44:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.68 MiB)
13:44:02 goblin ecc op : 792/1024 (mem: 1879.68 MiB)
13:44:02 busread : 3/6000 (mem: 1879.68 MiB)
13:44:02 lookups : 13540/15000 (mem: 1879.68 MiB)
13:44:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1879.68 MiB)
13:44:02 arithmetic : 40019/56000 (mem: 1879.68 MiB)
13:44:02 delta range : 11097/18000 (mem: 1879.68 MiB)
13:44:02 elliptic : 6000/6000 (mem: 1879.68 MiB)
13:44:02 auxiliary : 11827/26000 (mem: 1879.68 MiB)
13:44:02 poseidon ext : 4942/17000 (mem: 1879.68 MiB)
13:44:02 poseidon int : 28160/92000 (mem: 1879.68 MiB)
13:44:02 overflow : 1850/1850 (mem: 1879.68 MiB)
13:44:02 (mem: 1879.68 MiB)
13:44:02 Total structured size: 243875 (mem: 1879.68 MiB)
13:44:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.68 MiB)
13:44: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: 1879.68 MiB)
13:44:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1879.68 MiB)
13:44:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1879.68 MiB)
13:44:16 goblin ecc op : 10/1024 (mem: 1879.68 MiB)
13:44:16 busread : 3/6000 (mem: 1879.68 MiB)
13:44:16 lookups : 15000/15000 (mem: 1879.68 MiB)
13:44:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1879.68 MiB)
13:44:16 arithmetic : 48085/56000 (mem: 1879.68 MiB)
13:44:16 delta range : 18000/18000 (mem: 1879.68 MiB)
13:44:16 elliptic : 4132/6000 (mem: 1879.68 MiB)
13:44:16 auxiliary : 23580/26000 (mem: 1879.68 MiB)
13:44:16 poseidon ext : 2/17000 (mem: 1879.68 MiB)
13:44:16 poseidon int : 2/92000 (mem: 1879.68 MiB)
13:44:16 overflow : 17783/17783 (mem: 1879.68 MiB)
13:44:16 (mem: 1879.68 MiB)
13:44:16 Total structured size: 259808 (mem: 1879.68 MiB)
13:44:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1879.68 MiB)
13:44:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1879.68 MiB)
13:44:27 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1882.68 MiB)
13:44:27 Gate blocks summary: (actual gates / fixed capacity) (mem: 1882.68 MiB)
13:44:27 goblin ecc op : 792/1024 (mem: 1882.68 MiB)
13:44:27 busread : 3/6000 (mem: 1882.68 MiB)
13:44:27 lookups : 13540/15000 (mem: 1882.68 MiB)
13:44:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1882.68 MiB)
13:44:27 arithmetic : 40019/56000 (mem: 1882.68 MiB)
13:44:27 delta range : 11097/18000 (mem: 1882.68 MiB)
13:44:27 elliptic : 6000/6000 (mem: 1882.68 MiB)
13:44:27 auxiliary : 11827/26000 (mem: 1882.68 MiB)
13:44:27 poseidon ext : 4942/17000 (mem: 1882.68 MiB)
13:44:27 poseidon int : 28160/92000 (mem: 1882.68 MiB)
13:44:27 overflow : 1850/1850 (mem: 1882.68 MiB)
13:44:27 (mem: 1882.68 MiB)
13:44:27 Total structured size: 243875 (mem: 1882.68 MiB)
13:44:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1882.68 MiB)
13:44:29 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1882.68 MiB)
13:44:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1882.68 MiB)
13:44:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1882.68 MiB)
13:44:39 goblin ecc op : 10/1024 (mem: 1882.68 MiB)
13:44:39 busread : 3/6000 (mem: 1882.68 MiB)
13:44:39 lookups : 15000/15000 (mem: 1882.68 MiB)
13:44:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1882.68 MiB)
13:44:39 arithmetic : 48085/56000 (mem: 1882.68 MiB)
13:44:39 delta range : 18000/18000 (mem: 1882.68 MiB)
13:44:39 elliptic : 4132/6000 (mem: 1882.68 MiB)
13:44:39 auxiliary : 23580/26000 (mem: 1882.68 MiB)
13:44:39 poseidon ext : 2/17000 (mem: 1882.68 MiB)
13:44:39 poseidon int : 2/92000 (mem: 1882.68 MiB)
13:44:39 overflow : 17783/17783 (mem: 1882.68 MiB)
13:44:39 (mem: 1882.68 MiB)
13:44:39 Total structured size: 259808 (mem: 1882.68 MiB)
13:44:41 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1882.68 MiB)
13:44: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: 1882.68 MiB)
13:44:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1884.95 MiB)
13:44:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1884.95 MiB)
13:44:49 goblin ecc op : 792/1024 (mem: 1884.95 MiB)
13:44:49 busread : 3/6000 (mem: 1884.95 MiB)
13:44:49 lookups : 13540/15000 (mem: 1884.95 MiB)
13:44:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1884.95 MiB)
13:44:49 arithmetic : 40019/56000 (mem: 1884.95 MiB)
13:44:49 delta range : 11097/18000 (mem: 1884.95 MiB)
13:44:49 elliptic : 6000/6000 (mem: 1884.95 MiB)
13:44:49 auxiliary : 11827/26000 (mem: 1884.95 MiB)
13:44:49 poseidon ext : 4942/17000 (mem: 1884.95 MiB)
13:44:49 poseidon int : 28160/92000 (mem: 1884.95 MiB)
13:44:49 overflow : 1850/1850 (mem: 1884.95 MiB)
13:44:49 (mem: 1884.95 MiB)
13:44:49 Total structured size: 243875 (mem: 1884.95 MiB)
13:44:51 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1884.95 MiB)
13:44: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: 1884.95 MiB)
13:44:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1884.95 MiB)
13:44:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1884.95 MiB)
13:44:58 goblin ecc op : 10/1024 (mem: 1884.95 MiB)
13:44:58 busread : 3/6000 (mem: 1884.95 MiB)
13:44:58 lookups : 15000/15000 (mem: 1884.95 MiB)
13:44:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1884.95 MiB)
13:44:58 arithmetic : 48085/56000 (mem: 1884.95 MiB)
13:44:58 delta range : 18000/18000 (mem: 1884.95 MiB)
13:44:58 elliptic : 4132/6000 (mem: 1884.95 MiB)
13:44:58 auxiliary : 23580/26000 (mem: 1884.95 MiB)
13:44:58 poseidon ext : 2/17000 (mem: 1884.95 MiB)
13:44:58 poseidon int : 2/92000 (mem: 1884.95 MiB)
13:44:58 overflow : 17783/17783 (mem: 1884.95 MiB)
13:44:58 (mem: 1884.95 MiB)
13:44:58 Total structured size: 259808 (mem: 1884.95 MiB)
13:45:00 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1884.95 MiB)
13:45: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: 1884.95 MiB)
13:45:06 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1884.95 MiB)
13:45:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 1884.95 MiB)
13:45:06 goblin ecc op : 792/1024 (mem: 1884.95 MiB)
13:45:06 busread : 3/6000 (mem: 1884.95 MiB)
13:45:06 lookups : 13540/15000 (mem: 1884.95 MiB)
13:45:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1884.95 MiB)
13:45:06 arithmetic : 40019/56000 (mem: 1884.95 MiB)
13:45:06 delta range : 11097/18000 (mem: 1884.95 MiB)
13:45:06 elliptic : 6000/6000 (mem: 1884.95 MiB)
13:45:06 auxiliary : 11827/26000 (mem: 1884.95 MiB)
13:45:06 poseidon ext : 4942/17000 (mem: 1884.95 MiB)
13:45:06 poseidon int : 28160/92000 (mem: 1884.95 MiB)
13:45:06 overflow : 1850/1850 (mem: 1884.95 MiB)
13:45:06 (mem: 1884.95 MiB)
13:45:06 Total structured size: 243875 (mem: 1884.95 MiB)
13:45:08 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1884.95 MiB)
13:45: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: 1884.95 MiB)
13:45:16 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1884.95 MiB)
13:45:16 Gate blocks summary: (actual gates / fixed capacity) (mem: 1884.95 MiB)
13:45:16 goblin ecc op : 10/1024 (mem: 1884.95 MiB)
13:45:16 busread : 3/6000 (mem: 1884.95 MiB)
13:45:16 lookups : 15000/15000 (mem: 1884.95 MiB)
13:45:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1884.95 MiB)
13:45:16 arithmetic : 48085/56000 (mem: 1884.95 MiB)
13:45:16 delta range : 18000/18000 (mem: 1884.95 MiB)
13:45:16 elliptic : 4132/6000 (mem: 1884.95 MiB)
13:45:16 auxiliary : 23580/26000 (mem: 1884.95 MiB)
13:45:16 poseidon ext : 2/17000 (mem: 1884.95 MiB)
13:45:16 poseidon int : 2/92000 (mem: 1884.95 MiB)
13:45:16 overflow : 17783/17783 (mem: 1884.95 MiB)
13:45:16 (mem: 1884.95 MiB)
13:45:16 Total structured size: 259808 (mem: 1884.95 MiB)
13:45:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1884.95 MiB)
13:45:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1884.95 MiB)
13:45:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1884.95 MiB)
13:45:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 1884.95 MiB)
13:45:25 goblin ecc op : 792/1024 (mem: 1884.95 MiB)
13:45:25 busread : 3/6000 (mem: 1884.95 MiB)
13:45:25 lookups : 13540/15000 (mem: 1884.95 MiB)
13:45:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1884.95 MiB)
13:45:25 arithmetic : 40019/56000 (mem: 1884.95 MiB)
13:45:25 delta range : 11097/18000 (mem: 1884.95 MiB)
13:45:25 elliptic : 6000/6000 (mem: 1884.95 MiB)
13:45:25 auxiliary : 11827/26000 (mem: 1884.95 MiB)
13:45:25 poseidon ext : 4942/17000 (mem: 1884.95 MiB)
13:45:25 poseidon int : 28160/92000 (mem: 1884.95 MiB)
13:45:25 overflow : 1850/1850 (mem: 1884.95 MiB)
13:45:25 (mem: 1884.95 MiB)
13:45:25 Total structured size: 243875 (mem: 1884.95 MiB)
13:45:27 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1884.95 MiB)
13:45: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: 1884.95 MiB)
13:45:33 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1884.95 MiB)
13:45:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 1884.95 MiB)
13:45:33 goblin ecc op : 10/1024 (mem: 1884.95 MiB)
13:45:33 busread : 3/6000 (mem: 1884.95 MiB)
13:45:33 lookups : 15000/15000 (mem: 1884.95 MiB)
13:45:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1884.95 MiB)
13:45:33 arithmetic : 48085/56000 (mem: 1884.95 MiB)
13:45:33 delta range : 18000/18000 (mem: 1884.95 MiB)
13:45:33 elliptic : 4132/6000 (mem: 1884.95 MiB)
13:45:33 auxiliary : 23580/26000 (mem: 1884.95 MiB)
13:45:33 poseidon ext : 2/17000 (mem: 1884.95 MiB)
13:45:33 poseidon int : 2/92000 (mem: 1884.95 MiB)
13:45:33 overflow : 17783/17783 (mem: 1884.95 MiB)
13:45:33 (mem: 1884.95 MiB)
13:45:33 Total structured size: 259808 (mem: 1884.95 MiB)
13:45:35 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1884.95 MiB)
13:45: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: 1884.95 MiB)
13:45:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.95 MiB)
13:45:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.95 MiB)
13:45:41 goblin ecc op : 792/1024 (mem: 1885.95 MiB)
13:45:41 busread : 3/6000 (mem: 1885.95 MiB)
13:45:41 lookups : 13540/15000 (mem: 1885.95 MiB)
13:45:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.95 MiB)
13:45:41 arithmetic : 40019/56000 (mem: 1885.95 MiB)
13:45:41 delta range : 11097/18000 (mem: 1885.95 MiB)
13:45:41 elliptic : 6000/6000 (mem: 1885.95 MiB)
13:45:41 auxiliary : 11827/26000 (mem: 1885.95 MiB)
13:45:41 poseidon ext : 4942/17000 (mem: 1885.95 MiB)
13:45:41 poseidon int : 28160/92000 (mem: 1885.95 MiB)
13:45:41 overflow : 1850/1850 (mem: 1885.95 MiB)
13:45:41 (mem: 1885.95 MiB)
13:45:41 Total structured size: 243875 (mem: 1885.95 MiB)
13:45:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.95 MiB)
13:45: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: 1885.95 MiB)
13:45:50 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.95 MiB)
13:45:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.95 MiB)
13:45:50 goblin ecc op : 10/1024 (mem: 1885.95 MiB)
13:45:50 busread : 3/6000 (mem: 1885.95 MiB)
13:45:50 lookups : 15000/15000 (mem: 1885.95 MiB)
13:45:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.95 MiB)
13:45:50 arithmetic : 48085/56000 (mem: 1885.95 MiB)
13:45:50 delta range : 18000/18000 (mem: 1885.95 MiB)
13:45:50 elliptic : 4132/6000 (mem: 1885.95 MiB)
13:45:50 auxiliary : 23580/26000 (mem: 1885.95 MiB)
13:45:50 poseidon ext : 2/17000 (mem: 1885.95 MiB)
13:45:50 poseidon int : 2/92000 (mem: 1885.95 MiB)
13:45:50 overflow : 17783/17783 (mem: 1885.95 MiB)
13:45:50 (mem: 1885.95 MiB)
13:45:50 Total structured size: 259808 (mem: 1885.95 MiB)
13:45:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.95 MiB)
13:45: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: 1885.95 MiB)
13:45:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.95 MiB)
13:45:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.95 MiB)
13:45:58 goblin ecc op : 792/1024 (mem: 1886.95 MiB)
13:45:58 busread : 3/6000 (mem: 1886.95 MiB)
13:45:58 lookups : 13540/15000 (mem: 1886.95 MiB)
13:45:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1886.95 MiB)
13:45:58 arithmetic : 40019/56000 (mem: 1886.95 MiB)
13:45:58 delta range : 11097/18000 (mem: 1886.95 MiB)
13:45:58 elliptic : 6000/6000 (mem: 1886.95 MiB)
13:45:58 auxiliary : 11827/26000 (mem: 1886.95 MiB)
13:45:58 poseidon ext : 4942/17000 (mem: 1886.95 MiB)
13:45:58 poseidon int : 28160/92000 (mem: 1886.95 MiB)
13:45:58 overflow : 1850/1850 (mem: 1886.95 MiB)
13:45:58 (mem: 1886.95 MiB)
13:45:58 Total structured size: 243875 (mem: 1886.95 MiB)
13:46:00 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.95 MiB)
13:46: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: 1886.95 MiB)
13:46:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.95 MiB)
13:46:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.95 MiB)
13:46:07 goblin ecc op : 10/1024 (mem: 1886.95 MiB)
13:46:07 busread : 3/6000 (mem: 1886.95 MiB)
13:46:07 lookups : 15000/15000 (mem: 1886.95 MiB)
13:46:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1886.95 MiB)
13:46:07 arithmetic : 48085/56000 (mem: 1886.95 MiB)
13:46:07 delta range : 18000/18000 (mem: 1886.95 MiB)
13:46:07 elliptic : 4132/6000 (mem: 1886.95 MiB)
13:46:07 auxiliary : 23580/26000 (mem: 1886.95 MiB)
13:46:07 poseidon ext : 2/17000 (mem: 1886.95 MiB)
13:46:07 poseidon int : 2/92000 (mem: 1886.95 MiB)
13:46:07 overflow : 17783/17783 (mem: 1886.95 MiB)
13:46:07 (mem: 1886.95 MiB)
13:46:07 Total structured size: 259808 (mem: 1886.95 MiB)
13:46:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.95 MiB)
13:46:09 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1886.95 MiB)
13:46:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:46:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:46:17 goblin ecc op : 792/1024 (mem: 1887.95 MiB)
13:46:17 busread : 3/6000 (mem: 1887.95 MiB)
13:46:17 lookups : 13540/15000 (mem: 1887.95 MiB)
13:46:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:46:17 arithmetic : 40019/56000 (mem: 1887.95 MiB)
13:46:17 delta range : 11097/18000 (mem: 1887.95 MiB)
13:46:17 elliptic : 6000/6000 (mem: 1887.95 MiB)
13:46:17 auxiliary : 11827/26000 (mem: 1887.95 MiB)
13:46:17 poseidon ext : 4942/17000 (mem: 1887.95 MiB)
13:46:17 poseidon int : 28160/92000 (mem: 1887.95 MiB)
13:46:17 overflow : 1850/1850 (mem: 1887.95 MiB)
13:46:17 (mem: 1887.95 MiB)
13:46:17 Total structured size: 243875 (mem: 1887.95 MiB)
13:46:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:46:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1887.95 MiB)
13:46:26 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:46:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:46:26 goblin ecc op : 10/1024 (mem: 1887.95 MiB)
13:46:26 busread : 3/6000 (mem: 1887.95 MiB)
13:46:26 lookups : 15000/15000 (mem: 1887.95 MiB)
13:46:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:46:26 arithmetic : 48085/56000 (mem: 1887.95 MiB)
13:46:26 delta range : 18000/18000 (mem: 1887.95 MiB)
13:46:26 elliptic : 4132/6000 (mem: 1887.95 MiB)
13:46:26 auxiliary : 23580/26000 (mem: 1887.95 MiB)
13:46:26 poseidon ext : 2/17000 (mem: 1887.95 MiB)
13:46:26 poseidon int : 2/92000 (mem: 1887.95 MiB)
13:46:26 overflow : 17783/17783 (mem: 1887.95 MiB)
13:46:26 (mem: 1887.95 MiB)
13:46:26 Total structured size: 259808 (mem: 1887.95 MiB)
13:46:29 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:46:29 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1887.95 MiB)
13:46:35 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:46:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:46:35 goblin ecc op : 792/1024 (mem: 1887.95 MiB)
13:46:35 busread : 3/6000 (mem: 1887.95 MiB)
13:46:35 lookups : 13540/15000 (mem: 1887.95 MiB)
13:46:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:46:35 arithmetic : 40019/56000 (mem: 1887.95 MiB)
13:46:35 delta range : 11097/18000 (mem: 1887.95 MiB)
13:46:35 elliptic : 6000/6000 (mem: 1887.95 MiB)
13:46:35 auxiliary : 11827/26000 (mem: 1887.95 MiB)
13:46:35 poseidon ext : 4942/17000 (mem: 1887.95 MiB)
13:46:35 poseidon int : 28160/92000 (mem: 1887.95 MiB)
13:46:35 overflow : 1850/1850 (mem: 1887.95 MiB)
13:46:35 (mem: 1887.95 MiB)
13:46:35 Total structured size: 243875 (mem: 1887.95 MiB)
13:46:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:46: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: 1887.95 MiB)
13:46:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:46:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:46:44 goblin ecc op : 10/1024 (mem: 1887.95 MiB)
13:46:44 busread : 3/6000 (mem: 1887.95 MiB)
13:46:44 lookups : 15000/15000 (mem: 1887.95 MiB)
13:46:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:46:44 arithmetic : 48085/56000 (mem: 1887.95 MiB)
13:46:44 delta range : 18000/18000 (mem: 1887.95 MiB)
13:46:44 elliptic : 4132/6000 (mem: 1887.95 MiB)
13:46:44 auxiliary : 23580/26000 (mem: 1887.95 MiB)
13:46:44 poseidon ext : 2/17000 (mem: 1887.95 MiB)
13:46:44 poseidon int : 2/92000 (mem: 1887.95 MiB)
13:46:44 overflow : 17783/17783 (mem: 1887.95 MiB)
13:46:44 (mem: 1887.95 MiB)
13:46:44 Total structured size: 259808 (mem: 1887.95 MiB)
13:46:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:46:46 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1887.95 MiB)
13:46:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:46:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:46:52 goblin ecc op : 792/1024 (mem: 1887.95 MiB)
13:46:52 busread : 3/6000 (mem: 1887.95 MiB)
13:46:52 lookups : 13540/15000 (mem: 1887.95 MiB)
13:46:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:46:52 arithmetic : 40019/56000 (mem: 1887.95 MiB)
13:46:52 delta range : 11097/18000 (mem: 1887.95 MiB)
13:46:52 elliptic : 6000/6000 (mem: 1887.95 MiB)
13:46:52 auxiliary : 11827/26000 (mem: 1887.95 MiB)
13:46:52 poseidon ext : 4942/17000 (mem: 1887.95 MiB)
13:46:52 poseidon int : 28160/92000 (mem: 1887.95 MiB)
13:46:52 overflow : 1850/1850 (mem: 1887.95 MiB)
13:46:52 (mem: 1887.95 MiB)
13:46:52 Total structured size: 243875 (mem: 1887.95 MiB)
13:46:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:46: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: 1887.95 MiB)
13:47:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:47:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:47:00 goblin ecc op : 10/1024 (mem: 1887.95 MiB)
13:47:00 busread : 3/6000 (mem: 1887.95 MiB)
13:47:00 lookups : 15000/15000 (mem: 1887.95 MiB)
13:47:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:47:00 arithmetic : 48085/56000 (mem: 1887.95 MiB)
13:47:00 delta range : 18000/18000 (mem: 1887.95 MiB)
13:47:00 elliptic : 4132/6000 (mem: 1887.95 MiB)
13:47:00 auxiliary : 23580/26000 (mem: 1887.95 MiB)
13:47:00 poseidon ext : 2/17000 (mem: 1887.95 MiB)
13:47:00 poseidon int : 2/92000 (mem: 1887.95 MiB)
13:47:00 overflow : 17783/17783 (mem: 1887.95 MiB)
13:47:00 (mem: 1887.95 MiB)
13:47:00 Total structured size: 259808 (mem: 1887.95 MiB)
13:47:02 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:47: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: 1887.95 MiB)
13:47:08 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:47:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:47:08 goblin ecc op : 792/1024 (mem: 1887.95 MiB)
13:47:08 busread : 3/6000 (mem: 1887.95 MiB)
13:47:08 lookups : 13540/15000 (mem: 1887.95 MiB)
13:47:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:47:08 arithmetic : 40019/56000 (mem: 1887.95 MiB)
13:47:08 delta range : 11097/18000 (mem: 1887.95 MiB)
13:47:08 elliptic : 6000/6000 (mem: 1887.95 MiB)
13:47:08 auxiliary : 11827/26000 (mem: 1887.95 MiB)
13:47:08 poseidon ext : 4942/17000 (mem: 1887.95 MiB)
13:47:08 poseidon int : 28160/92000 (mem: 1887.95 MiB)
13:47:08 overflow : 1850/1850 (mem: 1887.95 MiB)
13:47:08 (mem: 1887.95 MiB)
13:47:08 Total structured size: 243875 (mem: 1887.95 MiB)
13:47:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:47:09 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1887.95 MiB)
13:47:15 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.95 MiB)
13:47:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.95 MiB)
13:47:15 goblin ecc op : 10/1024 (mem: 1887.95 MiB)
13:47:15 busread : 3/6000 (mem: 1887.95 MiB)
13:47:15 lookups : 15000/15000 (mem: 1887.95 MiB)
13:47:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.95 MiB)
13:47:15 arithmetic : 48085/56000 (mem: 1887.95 MiB)
13:47:15 delta range : 18000/18000 (mem: 1887.95 MiB)
13:47:15 elliptic : 4132/6000 (mem: 1887.95 MiB)
13:47:15 auxiliary : 23580/26000 (mem: 1887.95 MiB)
13:47:15 poseidon ext : 2/17000 (mem: 1887.95 MiB)
13:47:15 poseidon int : 2/92000 (mem: 1887.95 MiB)
13:47:15 overflow : 17783/17783 (mem: 1887.95 MiB)
13:47:15 (mem: 1887.95 MiB)
13:47:15 Total structured size: 259808 (mem: 1887.95 MiB)
13:47:18 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.95 MiB)
13:47: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: 1887.95 MiB)
13:47:24 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.95 MiB)
13:47:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.95 MiB)
13:47:24 goblin ecc op : 792/1024 (mem: 1888.95 MiB)
13:47:24 busread : 3/6000 (mem: 1888.95 MiB)
13:47:24 lookups : 13540/15000 (mem: 1888.95 MiB)
13:47:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.95 MiB)
13:47:24 arithmetic : 40019/56000 (mem: 1888.95 MiB)
13:47:24 delta range : 11097/18000 (mem: 1888.95 MiB)
13:47:24 elliptic : 6000/6000 (mem: 1888.95 MiB)
13:47:24 auxiliary : 11827/26000 (mem: 1888.95 MiB)
13:47:24 poseidon ext : 4942/17000 (mem: 1888.95 MiB)
13:47:24 poseidon int : 28160/92000 (mem: 1888.95 MiB)
13:47:24 overflow : 1850/1850 (mem: 1888.95 MiB)
13:47:24 (mem: 1888.95 MiB)
13:47:24 Total structured size: 243875 (mem: 1888.95 MiB)
13:47:26 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.95 MiB)
13:47: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: 1888.95 MiB)
13:47:32 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.95 MiB)
13:47:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.95 MiB)
13:47:32 goblin ecc op : 10/1024 (mem: 1888.95 MiB)
13:47:32 busread : 3/6000 (mem: 1888.95 MiB)
13:47:32 lookups : 15000/15000 (mem: 1888.95 MiB)
13:47:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.95 MiB)
13:47:32 arithmetic : 48085/56000 (mem: 1888.95 MiB)
13:47:32 delta range : 18000/18000 (mem: 1888.95 MiB)
13:47:32 elliptic : 4132/6000 (mem: 1888.95 MiB)
13:47:32 auxiliary : 23580/26000 (mem: 1888.95 MiB)
13:47:32 poseidon ext : 2/17000 (mem: 1888.95 MiB)
13:47:32 poseidon int : 2/92000 (mem: 1888.95 MiB)
13:47:32 overflow : 17783/17783 (mem: 1888.95 MiB)
13:47:32 (mem: 1888.95 MiB)
13:47:32 Total structured size: 259808 (mem: 1888.95 MiB)
13:47:33 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.95 MiB)
13:47:33 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1888.95 MiB)
13:47:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1889.95 MiB)
13:47:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1889.95 MiB)
13:47:39 goblin ecc op : 792/1024 (mem: 1889.95 MiB)
13:47:39 busread : 3/6000 (mem: 1889.95 MiB)
13:47:39 lookups : 13540/15000 (mem: 1889.95 MiB)
13:47:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1889.95 MiB)
13:47:39 arithmetic : 40019/56000 (mem: 1889.95 MiB)
13:47:39 delta range : 11097/18000 (mem: 1889.95 MiB)
13:47:39 elliptic : 6000/6000 (mem: 1889.95 MiB)
13:47:39 auxiliary : 11827/26000 (mem: 1889.95 MiB)
13:47:39 poseidon ext : 4942/17000 (mem: 1889.95 MiB)
13:47:39 poseidon int : 28160/92000 (mem: 1889.95 MiB)
13:47:39 overflow : 1850/1850 (mem: 1889.95 MiB)
13:47:39 (mem: 1889.95 MiB)
13:47:39 Total structured size: 243875 (mem: 1889.95 MiB)
13:47:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1889.95 MiB)
13:47: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: 1889.95 MiB)
13:47:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1889.95 MiB)
13:47:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1889.95 MiB)
13:47:46 goblin ecc op : 10/1024 (mem: 1889.95 MiB)
13:47:46 busread : 3/6000 (mem: 1889.95 MiB)
13:47:46 lookups : 15000/15000 (mem: 1889.95 MiB)
13:47:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1889.95 MiB)
13:47:46 arithmetic : 48085/56000 (mem: 1889.95 MiB)
13:47:46 delta range : 18000/18000 (mem: 1889.95 MiB)
13:47:46 elliptic : 4132/6000 (mem: 1889.95 MiB)
13:47:46 auxiliary : 23580/26000 (mem: 1889.95 MiB)
13:47:46 poseidon ext : 2/17000 (mem: 1889.95 MiB)
13:47:46 poseidon int : 2/92000 (mem: 1889.95 MiB)
13:47:46 overflow : 17783/17783 (mem: 1889.95 MiB)
13:47:46 (mem: 1889.95 MiB)
13:47:46 Total structured size: 259808 (mem: 1889.95 MiB)
13:47:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1889.95 MiB)
13:47: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: 1889.95 MiB)
13:47:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:47:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:47:55 goblin ecc op : 792/1024 (mem: 1890.95 MiB)
13:47:55 busread : 3/6000 (mem: 1890.95 MiB)
13:47:55 lookups : 13540/15000 (mem: 1890.95 MiB)
13:47:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:47:55 arithmetic : 40019/56000 (mem: 1890.95 MiB)
13:47:55 delta range : 11097/18000 (mem: 1890.95 MiB)
13:47:55 elliptic : 6000/6000 (mem: 1890.95 MiB)
13:47:55 auxiliary : 11827/26000 (mem: 1890.95 MiB)
13:47:55 poseidon ext : 4942/17000 (mem: 1890.95 MiB)
13:47:55 poseidon int : 28160/92000 (mem: 1890.95 MiB)
13:47:55 overflow : 1850/1850 (mem: 1890.95 MiB)
13:47:55 (mem: 1890.95 MiB)
13:47:55 Total structured size: 243875 (mem: 1890.95 MiB)
13:47:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:47: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: 1890.95 MiB)
13:48:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:05 goblin ecc op : 10/1024 (mem: 1890.95 MiB)
13:48:05 busread : 3/6000 (mem: 1890.95 MiB)
13:48:05 lookups : 15000/15000 (mem: 1890.95 MiB)
13:48:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:05 arithmetic : 56000/56000 (mem: 1890.95 MiB)
13:48:05 delta range : 18000/18000 (mem: 1890.95 MiB)
13:48:05 elliptic : 4958/6000 (mem: 1890.95 MiB)
13:48:05 auxiliary : 26000/26000 (mem: 1890.95 MiB)
13:48:05 poseidon ext : 2/17000 (mem: 1890.95 MiB)
13:48:05 poseidon int : 2/92000 (mem: 1890.95 MiB)
13:48:05 overflow : 248619/248619 (mem: 1890.95 MiB)
13:48:05 (mem: 1890.95 MiB)
13:48:05 Total structured size: 490644 (mem: 1890.95 MiB)
13:48: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: 1890.95 MiB)
13:48:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:11 goblin ecc op : 56/1024 (mem: 1890.95 MiB)
13:48:11 busread : 3/6000 (mem: 1890.95 MiB)
13:48:11 lookups : 13540/15000 (mem: 1890.95 MiB)
13:48:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:11 arithmetic : 32894/56000 (mem: 1890.95 MiB)
13:48:11 delta range : 10239/18000 (mem: 1890.95 MiB)
13:48:11 elliptic : 6000/6000 (mem: 1890.95 MiB)
13:48:11 auxiliary : 11827/26000 (mem: 1890.95 MiB)
13:48:11 poseidon ext : 1302/17000 (mem: 1890.95 MiB)
13:48:11 poseidon int : 7412/92000 (mem: 1890.95 MiB)
13:48:11 overflow : 1850/1850 (mem: 1890.95 MiB)
13:48:11 (mem: 1890.95 MiB)
13:48:11 Total structured size: 243875 (mem: 1890.95 MiB)
13:48:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48:12 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.95 MiB)
13:48:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:17 goblin ecc op : 10/1024 (mem: 1890.95 MiB)
13:48:17 busread : 3/6000 (mem: 1890.95 MiB)
13:48:17 lookups : 15000/15000 (mem: 1890.95 MiB)
13:48:17 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:17 arithmetic : 48085/56000 (mem: 1890.95 MiB)
13:48:17 delta range : 18000/18000 (mem: 1890.95 MiB)
13:48:17 elliptic : 4132/6000 (mem: 1890.95 MiB)
13:48:17 auxiliary : 23580/26000 (mem: 1890.95 MiB)
13:48:17 poseidon ext : 2/17000 (mem: 1890.95 MiB)
13:48:17 poseidon int : 2/92000 (mem: 1890.95 MiB)
13:48:17 overflow : 17783/17783 (mem: 1890.95 MiB)
13:48:17 (mem: 1890.95 MiB)
13:48:17 Total structured size: 259808 (mem: 1890.95 MiB)
13:48:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48:17 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.95 MiB)
13:48:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:23 goblin ecc op : 792/1024 (mem: 1890.95 MiB)
13:48:23 busread : 3/6000 (mem: 1890.95 MiB)
13:48:23 lookups : 13540/15000 (mem: 1890.95 MiB)
13:48:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:23 arithmetic : 40019/56000 (mem: 1890.95 MiB)
13:48:23 delta range : 11097/18000 (mem: 1890.95 MiB)
13:48:23 elliptic : 6000/6000 (mem: 1890.95 MiB)
13:48:23 auxiliary : 11827/26000 (mem: 1890.95 MiB)
13:48:23 poseidon ext : 4942/17000 (mem: 1890.95 MiB)
13:48:23 poseidon int : 28160/92000 (mem: 1890.95 MiB)
13:48:23 overflow : 1850/1850 (mem: 1890.95 MiB)
13:48:23 (mem: 1890.95 MiB)
13:48:23 Total structured size: 243875 (mem: 1890.95 MiB)
13:48:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48: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: 1890.95 MiB)
13:48:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:30 goblin ecc op : 10/1024 (mem: 1890.95 MiB)
13:48:30 busread : 3/6000 (mem: 1890.95 MiB)
13:48:30 lookups : 15000/15000 (mem: 1890.95 MiB)
13:48:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:30 arithmetic : 48085/56000 (mem: 1890.95 MiB)
13:48:30 delta range : 18000/18000 (mem: 1890.95 MiB)
13:48:30 elliptic : 4132/6000 (mem: 1890.95 MiB)
13:48:30 auxiliary : 23580/26000 (mem: 1890.95 MiB)
13:48:30 poseidon ext : 2/17000 (mem: 1890.95 MiB)
13:48:30 poseidon int : 2/92000 (mem: 1890.95 MiB)
13:48:30 overflow : 17783/17783 (mem: 1890.95 MiB)
13:48:30 (mem: 1890.95 MiB)
13:48:30 Total structured size: 259808 (mem: 1890.95 MiB)
13:48:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48: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: 1890.95 MiB)
13:48:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:36 goblin ecc op : 792/1024 (mem: 1890.95 MiB)
13:48:36 busread : 3/6000 (mem: 1890.95 MiB)
13:48:36 lookups : 13540/15000 (mem: 1890.95 MiB)
13:48:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:36 arithmetic : 40019/56000 (mem: 1890.95 MiB)
13:48:36 delta range : 11097/18000 (mem: 1890.95 MiB)
13:48:36 elliptic : 6000/6000 (mem: 1890.95 MiB)
13:48:36 auxiliary : 11827/26000 (mem: 1890.95 MiB)
13:48:36 poseidon ext : 4942/17000 (mem: 1890.95 MiB)
13:48:36 poseidon int : 28160/92000 (mem: 1890.95 MiB)
13:48:36 overflow : 1850/1850 (mem: 1890.95 MiB)
13:48:36 (mem: 1890.95 MiB)
13:48:36 Total structured size: 243875 (mem: 1890.95 MiB)
13:48:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48: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: 1890.95 MiB)
13:48:42 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:42 goblin ecc op : 10/1024 (mem: 1890.95 MiB)
13:48:42 busread : 3/6000 (mem: 1890.95 MiB)
13:48:42 lookups : 15000/15000 (mem: 1890.95 MiB)
13:48:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:42 arithmetic : 48085/56000 (mem: 1890.95 MiB)
13:48:42 delta range : 18000/18000 (mem: 1890.95 MiB)
13:48:42 elliptic : 4132/6000 (mem: 1890.95 MiB)
13:48:42 auxiliary : 23580/26000 (mem: 1890.95 MiB)
13:48:42 poseidon ext : 2/17000 (mem: 1890.95 MiB)
13:48:42 poseidon int : 2/92000 (mem: 1890.95 MiB)
13:48:42 overflow : 17783/17783 (mem: 1890.95 MiB)
13:48:42 (mem: 1890.95 MiB)
13:48:42 Total structured size: 259808 (mem: 1890.95 MiB)
13:48:42 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48: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: 1890.95 MiB)
13:48:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:48 goblin ecc op : 792/1024 (mem: 1890.95 MiB)
13:48:48 busread : 3/6000 (mem: 1890.95 MiB)
13:48:48 lookups : 13540/15000 (mem: 1890.95 MiB)
13:48:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:48 arithmetic : 40019/56000 (mem: 1890.95 MiB)
13:48:48 delta range : 11097/18000 (mem: 1890.95 MiB)
13:48:48 elliptic : 6000/6000 (mem: 1890.95 MiB)
13:48:48 auxiliary : 11827/26000 (mem: 1890.95 MiB)
13:48:48 poseidon ext : 4942/17000 (mem: 1890.95 MiB)
13:48:48 poseidon int : 28160/92000 (mem: 1890.95 MiB)
13:48:48 overflow : 1850/1850 (mem: 1890.95 MiB)
13:48:48 (mem: 1890.95 MiB)
13:48:48 Total structured size: 243875 (mem: 1890.95 MiB)
13:48:49 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48:49 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1890.95 MiB)
13:48:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:48:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:48:55 goblin ecc op : 10/1024 (mem: 1890.95 MiB)
13:48:55 busread : 3/6000 (mem: 1890.95 MiB)
13:48:55 lookups : 15000/15000 (mem: 1890.95 MiB)
13:48:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:48:55 arithmetic : 48085/56000 (mem: 1890.95 MiB)
13:48:55 delta range : 18000/18000 (mem: 1890.95 MiB)
13:48:55 elliptic : 4132/6000 (mem: 1890.95 MiB)
13:48:55 auxiliary : 23580/26000 (mem: 1890.95 MiB)
13:48:55 poseidon ext : 2/17000 (mem: 1890.95 MiB)
13:48:55 poseidon int : 2/92000 (mem: 1890.95 MiB)
13:48:55 overflow : 17783/17783 (mem: 1890.95 MiB)
13:48:55 (mem: 1890.95 MiB)
13:48:55 Total structured size: 259808 (mem: 1890.95 MiB)
13:48:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:48: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: 1890.95 MiB)
13:49:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:49:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:49:01 goblin ecc op : 792/1024 (mem: 1890.95 MiB)
13:49:01 busread : 3/6000 (mem: 1890.95 MiB)
13:49:01 lookups : 13540/15000 (mem: 1890.95 MiB)
13:49:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:49:01 arithmetic : 40019/56000 (mem: 1890.95 MiB)
13:49:01 delta range : 11097/18000 (mem: 1890.95 MiB)
13:49:01 elliptic : 6000/6000 (mem: 1890.95 MiB)
13:49:01 auxiliary : 11827/26000 (mem: 1890.95 MiB)
13:49:01 poseidon ext : 4942/17000 (mem: 1890.95 MiB)
13:49:01 poseidon int : 28160/92000 (mem: 1890.95 MiB)
13:49:01 overflow : 1850/1850 (mem: 1890.95 MiB)
13:49:01 (mem: 1890.95 MiB)
13:49:01 Total structured size: 243875 (mem: 1890.95 MiB)
13:49:01 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:49: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: 1890.95 MiB)
13:49:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:49:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:49:07 goblin ecc op : 10/1024 (mem: 1890.95 MiB)
13:49:07 busread : 3/6000 (mem: 1890.95 MiB)
13:49:07 lookups : 15000/15000 (mem: 1890.95 MiB)
13:49:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:49:07 arithmetic : 48085/56000 (mem: 1890.95 MiB)
13:49:07 delta range : 18000/18000 (mem: 1890.95 MiB)
13:49:07 elliptic : 4132/6000 (mem: 1890.95 MiB)
13:49:07 auxiliary : 23580/26000 (mem: 1890.95 MiB)
13:49:07 poseidon ext : 2/17000 (mem: 1890.95 MiB)
13:49:07 poseidon int : 2/92000 (mem: 1890.95 MiB)
13:49:07 overflow : 17783/17783 (mem: 1890.95 MiB)
13:49:07 (mem: 1890.95 MiB)
13:49:07 Total structured size: 259808 (mem: 1890.95 MiB)
13:49:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:49: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: 1890.95 MiB)
13:49:13 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1890.95 MiB)
13:49:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 1890.95 MiB)
13:49:13 goblin ecc op : 792/1024 (mem: 1890.95 MiB)
13:49:13 busread : 3/6000 (mem: 1890.95 MiB)
13:49:13 lookups : 13540/15000 (mem: 1890.95 MiB)
13:49:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1890.95 MiB)
13:49:13 arithmetic : 40019/56000 (mem: 1890.95 MiB)
13:49:13 delta range : 11097/18000 (mem: 1890.95 MiB)
13:49:13 elliptic : 6000/6000 (mem: 1890.95 MiB)
13:49:13 auxiliary : 11827/26000 (mem: 1890.95 MiB)
13:49:13 poseidon ext : 4942/17000 (mem: 1890.95 MiB)
13:49:13 poseidon int : 28160/92000 (mem: 1890.95 MiB)
13:49:13 overflow : 1850/1850 (mem: 1890.95 MiB)
13:49:13 (mem: 1890.95 MiB)
13:49:13 Total structured size: 243875 (mem: 1890.95 MiB)
13:49:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1890.95 MiB)
13:49: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: 1890.95 MiB)
13:49:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.21 MiB)
13:49:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.21 MiB)
13:49:19 goblin ecc op : 10/1024 (mem: 1918.21 MiB)
13:49:19 busread : 3/6000 (mem: 1918.21 MiB)
13:49:19 lookups : 15000/15000 (mem: 1918.21 MiB)
13:49:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1918.21 MiB)
13:49:19 arithmetic : 48085/56000 (mem: 1918.21 MiB)
13:49:19 delta range : 18000/18000 (mem: 1918.21 MiB)
13:49:19 elliptic : 4132/6000 (mem: 1918.21 MiB)
13:49:19 auxiliary : 23580/26000 (mem: 1918.21 MiB)
13:49:19 poseidon ext : 2/17000 (mem: 1918.21 MiB)
13:49:19 poseidon int : 2/92000 (mem: 1918.21 MiB)
13:49:19 overflow : 17783/17783 (mem: 1918.21 MiB)
13:49:19 (mem: 1918.21 MiB)
13:49:19 Total structured size: 259808 (mem: 1918.21 MiB)
13:49:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.21 MiB)
13:49:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1918.21 MiB)
13:49:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.21 MiB)
13:49:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.21 MiB)
13:49:25 goblin ecc op : 792/1024 (mem: 1918.21 MiB)
13:49:25 busread : 3/6000 (mem: 1918.21 MiB)
13:49:25 lookups : 13540/15000 (mem: 1918.21 MiB)
13:49:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1918.21 MiB)
13:49:25 arithmetic : 40019/56000 (mem: 1918.21 MiB)
13:49:25 delta range : 11097/18000 (mem: 1918.21 MiB)
13:49:25 elliptic : 6000/6000 (mem: 1918.21 MiB)
13:49:25 auxiliary : 11827/26000 (mem: 1918.21 MiB)
13:49:25 poseidon ext : 4942/17000 (mem: 1918.21 MiB)
13:49:25 poseidon int : 28160/92000 (mem: 1918.21 MiB)
13:49:25 overflow : 1850/1850 (mem: 1918.21 MiB)
13:49:25 (mem: 1918.21 MiB)
13:49:25 Total structured size: 243875 (mem: 1918.21 MiB)
13:49:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.21 MiB)
13:49: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: 1918.21 MiB)
13:49:31 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.22 MiB)
13:49:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.22 MiB)
13:49:31 goblin ecc op : 10/1024 (mem: 1918.22 MiB)
13:49:31 busread : 3/6000 (mem: 1918.22 MiB)
13:49:31 lookups : 15000/15000 (mem: 1918.22 MiB)
13:49:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1918.22 MiB)
13:49:31 arithmetic : 48085/56000 (mem: 1918.22 MiB)
13:49:31 delta range : 18000/18000 (mem: 1918.22 MiB)
13:49:31 elliptic : 4132/6000 (mem: 1918.22 MiB)
13:49:31 auxiliary : 23580/26000 (mem: 1918.22 MiB)
13:49:31 poseidon ext : 2/17000 (mem: 1918.22 MiB)
13:49:31 poseidon int : 2/92000 (mem: 1918.22 MiB)
13:49:31 overflow : 17783/17783 (mem: 1918.22 MiB)
13:49:31 (mem: 1918.22 MiB)
13:49:31 Total structured size: 259808 (mem: 1918.22 MiB)
13:49:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.22 MiB)
13:49:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1918.22 MiB)
13:49:37 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.22 MiB)
13:49:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.22 MiB)
13:49:37 goblin ecc op : 792/1024 (mem: 1918.22 MiB)
13:49:37 busread : 3/6000 (mem: 1918.22 MiB)
13:49:37 lookups : 13540/15000 (mem: 1918.22 MiB)
13:49:37 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1918.22 MiB)
13:49:37 arithmetic : 40019/56000 (mem: 1918.22 MiB)
13:49:37 delta range : 11097/18000 (mem: 1918.22 MiB)
13:49:37 elliptic : 6000/6000 (mem: 1918.22 MiB)
13:49:37 auxiliary : 11827/26000 (mem: 1918.22 MiB)
13:49:37 poseidon ext : 4942/17000 (mem: 1918.22 MiB)
13:49:37 poseidon int : 28160/92000 (mem: 1918.22 MiB)
13:49:37 overflow : 1850/1850 (mem: 1918.22 MiB)
13:49:37 (mem: 1918.22 MiB)
13:49:37 Total structured size: 243875 (mem: 1918.22 MiB)
13:49:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.22 MiB)
13:49: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: 1918.22 MiB)
13:49:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.36 MiB)
13:49:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.36 MiB)
13:49:43 goblin ecc op : 10/1024 (mem: 1918.36 MiB)
13:49:43 busread : 3/6000 (mem: 1918.36 MiB)
13:49:43 lookups : 15000/15000 (mem: 1918.36 MiB)
13:49:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1918.36 MiB)
13:49:43 arithmetic : 48085/56000 (mem: 1918.36 MiB)
13:49:43 delta range : 18000/18000 (mem: 1918.36 MiB)
13:49:43 elliptic : 4132/6000 (mem: 1918.36 MiB)
13:49:43 auxiliary : 23580/26000 (mem: 1918.36 MiB)
13:49:43 poseidon ext : 2/17000 (mem: 1918.36 MiB)
13:49:43 poseidon int : 2/92000 (mem: 1918.36 MiB)
13:49:43 overflow : 17783/17783 (mem: 1918.36 MiB)
13:49:43 (mem: 1918.36 MiB)
13:49:43 Total structured size: 259808 (mem: 1918.36 MiB)
13:49:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.36 MiB)
13:49: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: 1918.36 MiB)
13:49:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.36 MiB)
13:49:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.36 MiB)
13:49:49 goblin ecc op : 792/1024 (mem: 1918.36 MiB)
13:49:49 busread : 3/6000 (mem: 1918.36 MiB)
13:49:49 lookups : 13540/15000 (mem: 1918.36 MiB)
13:49:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1918.36 MiB)
13:49:49 arithmetic : 40019/56000 (mem: 1918.36 MiB)
13:49:49 delta range : 11097/18000 (mem: 1918.36 MiB)
13:49:49 elliptic : 6000/6000 (mem: 1918.36 MiB)
13:49:49 auxiliary : 11827/26000 (mem: 1918.36 MiB)
13:49:49 poseidon ext : 4942/17000 (mem: 1918.36 MiB)
13:49:49 poseidon int : 28160/92000 (mem: 1918.36 MiB)
13:49:49 overflow : 1850/1850 (mem: 1918.36 MiB)
13:49:49 (mem: 1918.36 MiB)
13:49:49 Total structured size: 243875 (mem: 1918.36 MiB)
13:49:49 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.36 MiB)
13:49: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: 1918.36 MiB)
13:49:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1918.77 MiB)
13:49:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1918.77 MiB)
13:49:55 goblin ecc op : 10/1024 (mem: 1918.77 MiB)
13:49:55 busread : 3/6000 (mem: 1918.77 MiB)
13:49:55 lookups : 15000/15000 (mem: 1918.77 MiB)
13:49:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1918.77 MiB)
13:49:55 arithmetic : 48085/56000 (mem: 1918.77 MiB)
13:49:55 delta range : 18000/18000 (mem: 1918.77 MiB)
13:49:55 elliptic : 4132/6000 (mem: 1918.77 MiB)
13:49:55 auxiliary : 23580/26000 (mem: 1918.77 MiB)
13:49:55 poseidon ext : 2/17000 (mem: 1918.77 MiB)
13:49:55 poseidon int : 2/92000 (mem: 1918.77 MiB)
13:49:55 overflow : 17783/17783 (mem: 1918.77 MiB)
13:49:55 (mem: 1918.77 MiB)
13:49:55 Total structured size: 259808 (mem: 1918.77 MiB)
13:49:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1918.77 MiB)
13:49: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: 1918.77 MiB)
13:50:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.40 MiB)
13:50:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.40 MiB)
13:50:01 goblin ecc op : 792/1024 (mem: 1919.40 MiB)
13:50:01 busread : 3/6000 (mem: 1919.40 MiB)
13:50:01 lookups : 13540/15000 (mem: 1919.40 MiB)
13:50:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.40 MiB)
13:50:01 arithmetic : 40019/56000 (mem: 1919.40 MiB)
13:50:01 delta range : 11097/18000 (mem: 1919.40 MiB)
13:50:01 elliptic : 6000/6000 (mem: 1919.40 MiB)
13:50:01 auxiliary : 11827/26000 (mem: 1919.40 MiB)
13:50:01 poseidon ext : 4942/17000 (mem: 1919.40 MiB)
13:50:01 poseidon int : 28160/92000 (mem: 1919.40 MiB)
13:50:01 overflow : 1850/1850 (mem: 1919.40 MiB)
13:50:01 (mem: 1919.40 MiB)
13:50:01 Total structured size: 243875 (mem: 1919.40 MiB)
13:50:01 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.40 MiB)
13:50: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: 1919.40 MiB)
13:50:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.40 MiB)
13:50:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.40 MiB)
13:50:07 goblin ecc op : 10/1024 (mem: 1919.40 MiB)
13:50:07 busread : 3/6000 (mem: 1919.40 MiB)
13:50:07 lookups : 15000/15000 (mem: 1919.40 MiB)
13:50:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.40 MiB)
13:50:07 arithmetic : 48085/56000 (mem: 1919.40 MiB)
13:50:07 delta range : 18000/18000 (mem: 1919.40 MiB)
13:50:07 elliptic : 4132/6000 (mem: 1919.40 MiB)
13:50:07 auxiliary : 23580/26000 (mem: 1919.40 MiB)
13:50:07 poseidon ext : 2/17000 (mem: 1919.40 MiB)
13:50:07 poseidon int : 2/92000 (mem: 1919.40 MiB)
13:50:07 overflow : 17783/17783 (mem: 1919.40 MiB)
13:50:07 (mem: 1919.40 MiB)
13:50:07 Total structured size: 259808 (mem: 1919.40 MiB)
13:50:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.40 MiB)
13:50:07 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1919.40 MiB)
13:50:13 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.40 MiB)
13:50:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.40 MiB)
13:50:13 goblin ecc op : 792/1024 (mem: 1919.40 MiB)
13:50:13 busread : 3/6000 (mem: 1919.40 MiB)
13:50:13 lookups : 13540/15000 (mem: 1919.40 MiB)
13:50:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.40 MiB)
13:50:13 arithmetic : 40019/56000 (mem: 1919.40 MiB)
13:50:13 delta range : 11097/18000 (mem: 1919.40 MiB)
13:50:13 elliptic : 6000/6000 (mem: 1919.40 MiB)
13:50:13 auxiliary : 11827/26000 (mem: 1919.40 MiB)
13:50:13 poseidon ext : 4942/17000 (mem: 1919.40 MiB)
13:50:13 poseidon int : 28160/92000 (mem: 1919.40 MiB)
13:50:13 overflow : 1850/1850 (mem: 1919.40 MiB)
13:50:13 (mem: 1919.40 MiB)
13:50:13 Total structured size: 243875 (mem: 1919.40 MiB)
13:50:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.40 MiB)
13:50: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: 1919.40 MiB)
13:50:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.40 MiB)
13:50:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.40 MiB)
13:50:19 goblin ecc op : 10/1024 (mem: 1919.40 MiB)
13:50:19 busread : 3/6000 (mem: 1919.40 MiB)
13:50:19 lookups : 15000/15000 (mem: 1919.40 MiB)
13:50:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.40 MiB)
13:50:19 arithmetic : 48085/56000 (mem: 1919.40 MiB)
13:50:19 delta range : 18000/18000 (mem: 1919.40 MiB)
13:50:19 elliptic : 4132/6000 (mem: 1919.40 MiB)
13:50:19 auxiliary : 23580/26000 (mem: 1919.40 MiB)
13:50:19 poseidon ext : 2/17000 (mem: 1919.40 MiB)
13:50:19 poseidon int : 2/92000 (mem: 1919.40 MiB)
13:50:19 overflow : 17783/17783 (mem: 1919.40 MiB)
13:50:19 (mem: 1919.40 MiB)
13:50:19 Total structured size: 259808 (mem: 1919.40 MiB)
13:50:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.40 MiB)
13:50:19 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1919.40 MiB)
13:50:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.40 MiB)
13:50:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.40 MiB)
13:50:25 goblin ecc op : 792/1024 (mem: 1919.40 MiB)
13:50:25 busread : 3/6000 (mem: 1919.40 MiB)
13:50:25 lookups : 13540/15000 (mem: 1919.40 MiB)
13:50:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.40 MiB)
13:50:25 arithmetic : 40019/56000 (mem: 1919.40 MiB)
13:50:25 delta range : 11097/18000 (mem: 1919.40 MiB)
13:50:25 elliptic : 6000/6000 (mem: 1919.40 MiB)
13:50:25 auxiliary : 11827/26000 (mem: 1919.40 MiB)
13:50:25 poseidon ext : 4942/17000 (mem: 1919.40 MiB)
13:50:25 poseidon int : 28160/92000 (mem: 1919.40 MiB)
13:50:25 overflow : 1850/1850 (mem: 1919.40 MiB)
13:50:25 (mem: 1919.40 MiB)
13:50:25 Total structured size: 243875 (mem: 1919.40 MiB)
13:50:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.40 MiB)
13:50: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: 1919.40 MiB)
13:50:31 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.40 MiB)
13:50:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.40 MiB)
13:50:31 goblin ecc op : 10/1024 (mem: 1919.40 MiB)
13:50:31 busread : 3/6000 (mem: 1919.40 MiB)
13:50:31 lookups : 15000/15000 (mem: 1919.40 MiB)
13:50:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.40 MiB)
13:50:31 arithmetic : 48085/56000 (mem: 1919.40 MiB)
13:50:31 delta range : 18000/18000 (mem: 1919.40 MiB)
13:50:31 elliptic : 4132/6000 (mem: 1919.40 MiB)
13:50:31 auxiliary : 23580/26000 (mem: 1919.40 MiB)
13:50:31 poseidon ext : 2/17000 (mem: 1919.40 MiB)
13:50:31 poseidon int : 2/92000 (mem: 1919.40 MiB)
13:50:31 overflow : 17783/17783 (mem: 1919.40 MiB)
13:50:31 (mem: 1919.40 MiB)
13:50:31 Total structured size: 259808 (mem: 1919.40 MiB)
13:50:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.40 MiB)
13:50:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1919.40 MiB)
13:50:37 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.40 MiB)
13:50:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.40 MiB)
13:50:37 goblin ecc op : 792/1024 (mem: 1919.40 MiB)
13:50:37 busread : 3/6000 (mem: 1919.40 MiB)
13:50:37 lookups : 13540/15000 (mem: 1919.40 MiB)
13:50:37 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.40 MiB)
13:50:37 arithmetic : 40019/56000 (mem: 1919.40 MiB)
13:50:37 delta range : 11097/18000 (mem: 1919.40 MiB)
13:50:37 elliptic : 6000/6000 (mem: 1919.40 MiB)
13:50:37 auxiliary : 11827/26000 (mem: 1919.40 MiB)
13:50:37 poseidon ext : 4942/17000 (mem: 1919.40 MiB)
13:50:37 poseidon int : 28160/92000 (mem: 1919.40 MiB)
13:50:37 overflow : 1850/1850 (mem: 1919.40 MiB)
13:50:37 (mem: 1919.40 MiB)
13:50:37 Total structured size: 243875 (mem: 1919.40 MiB)
13:50:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.40 MiB)
13:50: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: 1919.40 MiB)
13:50:42 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.78 MiB)
13:50:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.78 MiB)
13:50:42 goblin ecc op : 10/1024 (mem: 1919.78 MiB)
13:50:42 busread : 3/6000 (mem: 1919.78 MiB)
13:50:42 lookups : 15000/15000 (mem: 1919.78 MiB)
13:50:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.78 MiB)
13:50:42 arithmetic : 48085/56000 (mem: 1919.78 MiB)
13:50:42 delta range : 18000/18000 (mem: 1919.78 MiB)
13:50:42 elliptic : 4132/6000 (mem: 1919.78 MiB)
13:50:42 auxiliary : 23580/26000 (mem: 1919.78 MiB)
13:50:42 poseidon ext : 2/17000 (mem: 1919.78 MiB)
13:50:42 poseidon int : 2/92000 (mem: 1919.78 MiB)
13:50:42 overflow : 17783/17783 (mem: 1919.78 MiB)
13:50:42 (mem: 1919.78 MiB)
13:50:42 Total structured size: 259808 (mem: 1919.78 MiB)
13:50:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.78 MiB)
13:50: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: 1919.78 MiB)
13:50:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.78 MiB)
13:50:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.78 MiB)
13:50:48 goblin ecc op : 792/1024 (mem: 1919.78 MiB)
13:50:48 busread : 3/6000 (mem: 1919.78 MiB)
13:50:48 lookups : 13540/15000 (mem: 1919.78 MiB)
13:50:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.78 MiB)
13:50:48 arithmetic : 40019/56000 (mem: 1919.78 MiB)
13:50:48 delta range : 11097/18000 (mem: 1919.78 MiB)
13:50:48 elliptic : 6000/6000 (mem: 1919.78 MiB)
13:50:48 auxiliary : 11827/26000 (mem: 1919.78 MiB)
13:50:48 poseidon ext : 4942/17000 (mem: 1919.78 MiB)
13:50:48 poseidon int : 28160/92000 (mem: 1919.78 MiB)
13:50:48 overflow : 1850/1850 (mem: 1919.78 MiB)
13:50:48 (mem: 1919.78 MiB)
13:50:48 Total structured size: 243875 (mem: 1919.78 MiB)
13:50:48 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.78 MiB)
13:50: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: 1919.78 MiB)
13:50:53 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1920.78 MiB)
13:50:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 1920.78 MiB)
13:50:53 goblin ecc op : 10/1024 (mem: 1920.78 MiB)
13:50:53 busread : 3/6000 (mem: 1920.78 MiB)
13:50:53 lookups : 15000/15000 (mem: 1920.78 MiB)
13:50:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1920.78 MiB)
13:50:53 arithmetic : 48085/56000 (mem: 1920.78 MiB)
13:50:53 delta range : 18000/18000 (mem: 1920.78 MiB)
13:50:53 elliptic : 4132/6000 (mem: 1920.78 MiB)
13:50:53 auxiliary : 23580/26000 (mem: 1920.78 MiB)
13:50:53 poseidon ext : 2/17000 (mem: 1920.78 MiB)
13:50:53 poseidon int : 2/92000 (mem: 1920.78 MiB)
13:50:53 overflow : 17783/17783 (mem: 1920.78 MiB)
13:50:53 (mem: 1920.78 MiB)
13:50:53 Total structured size: 259808 (mem: 1920.78 MiB)
13:50:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1920.78 MiB)
13:50: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: 1920.78 MiB)
13:50:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1921.39 MiB)
13:50:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1921.39 MiB)
13:50:59 goblin ecc op : 792/1024 (mem: 1921.39 MiB)
13:50:59 busread : 3/6000 (mem: 1921.39 MiB)
13:50:59 lookups : 13540/15000 (mem: 1921.39 MiB)
13:50:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1921.39 MiB)
13:50:59 arithmetic : 40019/56000 (mem: 1921.39 MiB)
13:50:59 delta range : 11097/18000 (mem: 1921.39 MiB)
13:50:59 elliptic : 6000/6000 (mem: 1921.39 MiB)
13:50:59 auxiliary : 11827/26000 (mem: 1921.39 MiB)
13:50:59 poseidon ext : 4942/17000 (mem: 1921.39 MiB)
13:50:59 poseidon int : 28160/92000 (mem: 1921.39 MiB)
13:50:59 overflow : 1850/1850 (mem: 1921.39 MiB)
13:50:59 (mem: 1921.39 MiB)
13:50:59 Total structured size: 243875 (mem: 1921.39 MiB)
13:50:59 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1921.39 MiB)
13:50: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: 1921.39 MiB)
13:51:04 Largest circuit: 368580 gates. Trace details: (mem: 1922.09 MiB)
13:51:04 Minimum required block sizes for structured trace: (mem: 1922.09 MiB)
13:51:04 ecc_op : 792
13:51:04 busread : 3
13:51:04 lookup : 15000
13:51:04 pub_inputs : 32
13:51:04 arithmetic : 56000
13:51:04 delta_range : 18000
13:51:04 elliptic : 6000
13:51:04 aux : 26000
13:51:04 poseidon2_external : 4942
13:51:04 poseidon2_internal : 28160
13:51:04 overflow : 248619
13:51:04 (mem: 1922.09 MiB)
13:51: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: 1922.09 MiB)
13:51:09 Constructing a Goblin proof with num ultra ops = 11880 (mem: 1922.09 MiB)
13:51:22 IVC successfully verified! (mem: 1922.09 MiB)
13:51:22
[ OK ] ClientIVCKernelCapacity.MaxCapacityPassing (475770 ms)
13:51:22
[----------] 1 test from ClientIVCKernelCapacity (475770 ms total)
13:51:22
13:51:22
[----------] Global test environment tear-down
13:51:22
[==========] 1 test from 1 test suite ran. (475770 ms total)
13:51:22
[ PASSED ] 1 test.