Parent Log:
http://ci.aztec-labs.com/a2cd928a8ad9a44d
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_x1-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:28 BN254 commitment key size: 262144 (mem: 170.62 MiB)
13:43:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 560.65 MiB)
13:43:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 560.65 MiB)
13:43:29 goblin ecc op : 10/1024 (mem: 560.65 MiB)
13:43:29 busread : 3/6000 (mem: 560.65 MiB)
13:43:29 lookups : 15000/15000 (mem: 560.65 MiB)
13:43:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 560.65 MiB)
13:43:29 arithmetic : 56000/56000 (mem: 560.65 MiB)
13:43:29 delta range : 18000/18000 (mem: 560.65 MiB)
13:43:29 elliptic : 4958/6000 (mem: 560.65 MiB)
13:43:29 auxiliary : 26000/26000 (mem: 560.65 MiB)
13:43:29 poseidon ext : 2/17000 (mem: 560.65 MiB)
13:43:29 poseidon int : 2/92000 (mem: 560.65 MiB)
13:43:29 overflow : 248619/248619 (mem: 560.65 MiB)
13:43:29 (mem: 560.65 MiB)
13:43:29 Total structured size: 490644 (mem: 560.65 MiB)
13:43: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: 1660.52 MiB)
13:43:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1673.85 MiB)
13:43:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1673.85 MiB)
13:43:43 goblin ecc op : 56/1024 (mem: 1673.85 MiB)
13:43:43 busread : 3/6000 (mem: 1673.85 MiB)
13:43:43 lookups : 13540/15000 (mem: 1673.85 MiB)
13:43:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1673.85 MiB)
13:43:43 arithmetic : 32894/56000 (mem: 1673.85 MiB)
13:43:43 delta range : 10239/18000 (mem: 1673.85 MiB)
13:43:43 elliptic : 6000/6000 (mem: 1673.85 MiB)
13:43:43 auxiliary : 11827/26000 (mem: 1673.85 MiB)
13:43:43 poseidon ext : 1302/17000 (mem: 1673.85 MiB)
13:43:43 poseidon int : 7412/92000 (mem: 1673.85 MiB)
13:43:43 overflow : 1850/1850 (mem: 1673.85 MiB)
13:43:43 (mem: 1673.85 MiB)
13:43:43 Total structured size: 243875 (mem: 1673.85 MiB)
13:43:46 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1731.41 MiB)
13:43: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: 1731.41 MiB)
13:43:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1830.41 MiB)
13:43:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1830.41 MiB)
13:43:55 goblin ecc op : 10/1024 (mem: 1830.41 MiB)
13:43:55 busread : 3/6000 (mem: 1830.41 MiB)
13:43:55 lookups : 15000/15000 (mem: 1830.41 MiB)
13:43:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1830.41 MiB)
13:43:55 arithmetic : 48085/56000 (mem: 1830.41 MiB)
13:43:55 delta range : 18000/18000 (mem: 1830.41 MiB)
13:43:55 elliptic : 4132/6000 (mem: 1830.41 MiB)
13:43:55 auxiliary : 23580/26000 (mem: 1830.41 MiB)
13:43:55 poseidon ext : 2/17000 (mem: 1830.41 MiB)
13:43:55 poseidon int : 2/92000 (mem: 1830.41 MiB)
13:43:55 overflow : 17783/17783 (mem: 1830.41 MiB)
13:43:55 (mem: 1830.41 MiB)
13:43:55 Total structured size: 259808 (mem: 1830.41 MiB)
13:43:57 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1830.41 MiB)
13:43: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: 1830.41 MiB)
13:44:06 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1880.41 MiB)
13:44:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 1880.41 MiB)
13:44:06 goblin ecc op : 792/1024 (mem: 1880.41 MiB)
13:44:06 busread : 3/6000 (mem: 1880.41 MiB)
13:44:06 lookups : 13540/15000 (mem: 1880.41 MiB)
13:44:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1880.41 MiB)
13:44:06 arithmetic : 40019/56000 (mem: 1880.41 MiB)
13:44:06 delta range : 11097/18000 (mem: 1880.41 MiB)
13:44:06 elliptic : 6000/6000 (mem: 1880.41 MiB)
13:44:06 auxiliary : 11827/26000 (mem: 1880.41 MiB)
13:44:06 poseidon ext : 4942/17000 (mem: 1880.41 MiB)
13:44:06 poseidon int : 28160/92000 (mem: 1880.41 MiB)
13:44:06 overflow : 1850/1850 (mem: 1880.41 MiB)
13:44:06 (mem: 1880.41 MiB)
13:44:06 Total structured size: 243875 (mem: 1880.41 MiB)
13:44:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1880.41 MiB)
13:44: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: 1880.41 MiB)
13:44:18 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1880.41 MiB)
13:44:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 1880.41 MiB)
13:44:18 goblin ecc op : 10/1024 (mem: 1880.41 MiB)
13:44:18 busread : 3/6000 (mem: 1880.41 MiB)
13:44:18 lookups : 15000/15000 (mem: 1880.41 MiB)
13:44:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1880.41 MiB)
13:44:18 arithmetic : 48085/56000 (mem: 1880.41 MiB)
13:44:18 delta range : 18000/18000 (mem: 1880.41 MiB)
13:44:18 elliptic : 4132/6000 (mem: 1880.41 MiB)
13:44:18 auxiliary : 23580/26000 (mem: 1880.41 MiB)
13:44:18 poseidon ext : 2/17000 (mem: 1880.41 MiB)
13:44:18 poseidon int : 2/92000 (mem: 1880.41 MiB)
13:44:18 overflow : 17783/17783 (mem: 1880.41 MiB)
13:44:18 (mem: 1880.41 MiB)
13:44:18 Total structured size: 259808 (mem: 1880.41 MiB)
13:44:20 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1880.41 MiB)
13:44: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: 1880.41 MiB)
13:44:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1881.37 MiB)
13:44:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1881.37 MiB)
13:44:29 goblin ecc op : 792/1024 (mem: 1881.37 MiB)
13:44:29 busread : 3/6000 (mem: 1881.37 MiB)
13:44:29 lookups : 13540/15000 (mem: 1881.37 MiB)
13:44:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1881.37 MiB)
13:44:29 arithmetic : 40019/56000 (mem: 1881.37 MiB)
13:44:29 delta range : 11097/18000 (mem: 1881.37 MiB)
13:44:29 elliptic : 6000/6000 (mem: 1881.37 MiB)
13:44:29 auxiliary : 11827/26000 (mem: 1881.37 MiB)
13:44:29 poseidon ext : 4942/17000 (mem: 1881.37 MiB)
13:44:29 poseidon int : 28160/92000 (mem: 1881.37 MiB)
13:44:29 overflow : 1850/1850 (mem: 1881.37 MiB)
13:44:29 (mem: 1881.37 MiB)
13:44:29 Total structured size: 243875 (mem: 1881.37 MiB)
13:44:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1881.37 MiB)
13:44: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: 1881.37 MiB)
13:44:41 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1881.37 MiB)
13:44:41 Gate blocks summary: (actual gates / fixed capacity) (mem: 1881.37 MiB)
13:44:41 goblin ecc op : 10/1024 (mem: 1881.37 MiB)
13:44:41 busread : 3/6000 (mem: 1881.37 MiB)
13:44:41 lookups : 15000/15000 (mem: 1881.37 MiB)
13:44:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1881.37 MiB)
13:44:41 arithmetic : 48085/56000 (mem: 1881.37 MiB)
13:44:41 delta range : 18000/18000 (mem: 1881.37 MiB)
13:44:41 elliptic : 4132/6000 (mem: 1881.37 MiB)
13:44:41 auxiliary : 23580/26000 (mem: 1881.37 MiB)
13:44:41 poseidon ext : 2/17000 (mem: 1881.37 MiB)
13:44:41 poseidon int : 2/92000 (mem: 1881.37 MiB)
13:44:41 overflow : 17783/17783 (mem: 1881.37 MiB)
13:44:41 (mem: 1881.37 MiB)
13:44:41 Total structured size: 259808 (mem: 1881.37 MiB)
13:44:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1881.37 MiB)
13:44: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: 1881.37 MiB)
13:44:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1882.91 MiB)
13:44:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1882.91 MiB)
13:44:51 goblin ecc op : 792/1024 (mem: 1882.91 MiB)
13:44:51 busread : 3/6000 (mem: 1882.91 MiB)
13:44:51 lookups : 13540/15000 (mem: 1882.91 MiB)
13:44:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1882.91 MiB)
13:44:51 arithmetic : 40019/56000 (mem: 1882.91 MiB)
13:44:51 delta range : 11097/18000 (mem: 1882.91 MiB)
13:44:51 elliptic : 6000/6000 (mem: 1882.91 MiB)
13:44:51 auxiliary : 11827/26000 (mem: 1882.91 MiB)
13:44:51 poseidon ext : 4942/17000 (mem: 1882.91 MiB)
13:44:51 poseidon int : 28160/92000 (mem: 1882.91 MiB)
13:44:51 overflow : 1850/1850 (mem: 1882.91 MiB)
13:44:51 (mem: 1882.91 MiB)
13:44:51 Total structured size: 243875 (mem: 1882.91 MiB)
13:44:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1882.91 MiB)
13:44: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: 1882.91 MiB)
13:45:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1882.91 MiB)
13:45:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1882.91 MiB)
13:45:01 goblin ecc op : 10/1024 (mem: 1882.91 MiB)
13:45:01 busread : 3/6000 (mem: 1882.91 MiB)
13:45:01 lookups : 15000/15000 (mem: 1882.91 MiB)
13:45:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1882.91 MiB)
13:45:01 arithmetic : 48085/56000 (mem: 1882.91 MiB)
13:45:01 delta range : 18000/18000 (mem: 1882.91 MiB)
13:45:01 elliptic : 4132/6000 (mem: 1882.91 MiB)
13:45:01 auxiliary : 23580/26000 (mem: 1882.91 MiB)
13:45:01 poseidon ext : 2/17000 (mem: 1882.91 MiB)
13:45:01 poseidon int : 2/92000 (mem: 1882.91 MiB)
13:45:01 overflow : 17783/17783 (mem: 1882.91 MiB)
13:45:01 (mem: 1882.91 MiB)
13:45:01 Total structured size: 259808 (mem: 1882.91 MiB)
13:45:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1882.91 MiB)
13:45:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1882.91 MiB)
13:45:10 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.30 MiB)
13:45:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.30 MiB)
13:45:10 goblin ecc op : 792/1024 (mem: 1885.30 MiB)
13:45:10 busread : 3/6000 (mem: 1885.30 MiB)
13:45:10 lookups : 13540/15000 (mem: 1885.30 MiB)
13:45:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1885.30 MiB)
13:45:10 arithmetic : 40019/56000 (mem: 1885.30 MiB)
13:45:10 delta range : 11097/18000 (mem: 1885.30 MiB)
13:45:10 elliptic : 6000/6000 (mem: 1885.30 MiB)
13:45:10 auxiliary : 11827/26000 (mem: 1885.30 MiB)
13:45:10 poseidon ext : 4942/17000 (mem: 1885.30 MiB)
13:45:10 poseidon int : 28160/92000 (mem: 1885.30 MiB)
13:45:10 overflow : 1850/1850 (mem: 1885.30 MiB)
13:45:10 (mem: 1885.30 MiB)
13:45:10 Total structured size: 243875 (mem: 1885.30 MiB)
13:45:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.30 MiB)
13:45: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: 1885.30 MiB)
13:45:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1885.30 MiB)
13:45:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1885.30 MiB)
13:45:21 goblin ecc op : 10/1024 (mem: 1885.30 MiB)
13:45:21 busread : 3/6000 (mem: 1885.30 MiB)
13:45:21 lookups : 15000/15000 (mem: 1885.30 MiB)
13:45:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1885.30 MiB)
13:45:21 arithmetic : 48085/56000 (mem: 1885.30 MiB)
13:45:21 delta range : 18000/18000 (mem: 1885.30 MiB)
13:45:21 elliptic : 4132/6000 (mem: 1885.30 MiB)
13:45:21 auxiliary : 23580/26000 (mem: 1885.30 MiB)
13:45:21 poseidon ext : 2/17000 (mem: 1885.30 MiB)
13:45:21 poseidon int : 2/92000 (mem: 1885.30 MiB)
13:45:21 overflow : 17783/17783 (mem: 1885.30 MiB)
13:45:21 (mem: 1885.30 MiB)
13:45:21 Total structured size: 259808 (mem: 1885.30 MiB)
13:45:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1885.30 MiB)
13:45: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: 1885.30 MiB)
13:45:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:45:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:45:29 goblin ecc op : 792/1024 (mem: 1886.30 MiB)
13:45:29 busread : 3/6000 (mem: 1886.30 MiB)
13:45:29 lookups : 13540/15000 (mem: 1886.30 MiB)
13:45:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:45:29 arithmetic : 40019/56000 (mem: 1886.30 MiB)
13:45:29 delta range : 11097/18000 (mem: 1886.30 MiB)
13:45:29 elliptic : 6000/6000 (mem: 1886.30 MiB)
13:45:29 auxiliary : 11827/26000 (mem: 1886.30 MiB)
13:45:29 poseidon ext : 4942/17000 (mem: 1886.30 MiB)
13:45:29 poseidon int : 28160/92000 (mem: 1886.30 MiB)
13:45:29 overflow : 1850/1850 (mem: 1886.30 MiB)
13:45:29 (mem: 1886.30 MiB)
13:45:29 Total structured size: 243875 (mem: 1886.30 MiB)
13:45:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:45: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: 1886.30 MiB)
13:45:37 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:45:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:45:37 goblin ecc op : 10/1024 (mem: 1886.30 MiB)
13:45:37 busread : 3/6000 (mem: 1886.30 MiB)
13:45:37 lookups : 15000/15000 (mem: 1886.30 MiB)
13:45:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:45:37 arithmetic : 48085/56000 (mem: 1886.30 MiB)
13:45:37 delta range : 18000/18000 (mem: 1886.30 MiB)
13:45:37 elliptic : 4132/6000 (mem: 1886.30 MiB)
13:45:37 auxiliary : 23580/26000 (mem: 1886.30 MiB)
13:45:37 poseidon ext : 2/17000 (mem: 1886.30 MiB)
13:45:37 poseidon int : 2/92000 (mem: 1886.30 MiB)
13:45:37 overflow : 17783/17783 (mem: 1886.30 MiB)
13:45:37 (mem: 1886.30 MiB)
13:45:37 Total structured size: 259808 (mem: 1886.30 MiB)
13:45:39 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:45:39 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1886.30 MiB)
13:45:45 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:45:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:45:45 goblin ecc op : 792/1024 (mem: 1886.30 MiB)
13:45:45 busread : 3/6000 (mem: 1886.30 MiB)
13:45:45 lookups : 13540/15000 (mem: 1886.30 MiB)
13:45:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:45:45 arithmetic : 40019/56000 (mem: 1886.30 MiB)
13:45:45 delta range : 11097/18000 (mem: 1886.30 MiB)
13:45:45 elliptic : 6000/6000 (mem: 1886.30 MiB)
13:45:45 auxiliary : 11827/26000 (mem: 1886.30 MiB)
13:45:45 poseidon ext : 4942/17000 (mem: 1886.30 MiB)
13:45:45 poseidon int : 28160/92000 (mem: 1886.30 MiB)
13:45:45 overflow : 1850/1850 (mem: 1886.30 MiB)
13:45:45 (mem: 1886.30 MiB)
13:45:45 Total structured size: 243875 (mem: 1886.30 MiB)
13:45:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:45: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: 1886.30 MiB)
13:45:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:45:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:45:54 goblin ecc op : 10/1024 (mem: 1886.30 MiB)
13:45:54 busread : 3/6000 (mem: 1886.30 MiB)
13:45:54 lookups : 15000/15000 (mem: 1886.30 MiB)
13:45:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:45:54 arithmetic : 48085/56000 (mem: 1886.30 MiB)
13:45:54 delta range : 18000/18000 (mem: 1886.30 MiB)
13:45:54 elliptic : 4132/6000 (mem: 1886.30 MiB)
13:45:54 auxiliary : 23580/26000 (mem: 1886.30 MiB)
13:45:54 poseidon ext : 2/17000 (mem: 1886.30 MiB)
13:45:54 poseidon int : 2/92000 (mem: 1886.30 MiB)
13:45:54 overflow : 17783/17783 (mem: 1886.30 MiB)
13:45:54 (mem: 1886.30 MiB)
13:45:54 Total structured size: 259808 (mem: 1886.30 MiB)
13:45:56 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:45: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: 1886.30 MiB)
13:46:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:46:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:46:02 goblin ecc op : 792/1024 (mem: 1886.30 MiB)
13:46:02 busread : 3/6000 (mem: 1886.30 MiB)
13:46:02 lookups : 13540/15000 (mem: 1886.30 MiB)
13:46:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:46:02 arithmetic : 40019/56000 (mem: 1886.30 MiB)
13:46:02 delta range : 11097/18000 (mem: 1886.30 MiB)
13:46:02 elliptic : 6000/6000 (mem: 1886.30 MiB)
13:46:02 auxiliary : 11827/26000 (mem: 1886.30 MiB)
13:46:02 poseidon ext : 4942/17000 (mem: 1886.30 MiB)
13:46:02 poseidon int : 28160/92000 (mem: 1886.30 MiB)
13:46:02 overflow : 1850/1850 (mem: 1886.30 MiB)
13:46:02 (mem: 1886.30 MiB)
13:46:02 Total structured size: 243875 (mem: 1886.30 MiB)
13:46:04 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:46: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: 1886.30 MiB)
13:46:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:46:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:46:12 goblin ecc op : 10/1024 (mem: 1886.30 MiB)
13:46:12 busread : 3/6000 (mem: 1886.30 MiB)
13:46:12 lookups : 15000/15000 (mem: 1886.30 MiB)
13:46:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:46:12 arithmetic : 48085/56000 (mem: 1886.30 MiB)
13:46:12 delta range : 18000/18000 (mem: 1886.30 MiB)
13:46:12 elliptic : 4132/6000 (mem: 1886.30 MiB)
13:46:12 auxiliary : 23580/26000 (mem: 1886.30 MiB)
13:46:12 poseidon ext : 2/17000 (mem: 1886.30 MiB)
13:46:12 poseidon int : 2/92000 (mem: 1886.30 MiB)
13:46:12 overflow : 17783/17783 (mem: 1886.30 MiB)
13:46:12 (mem: 1886.30 MiB)
13:46:12 Total structured size: 259808 (mem: 1886.30 MiB)
13:46:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:46: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: 1886.30 MiB)
13:46:21 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:46:21 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:46:21 goblin ecc op : 792/1024 (mem: 1886.30 MiB)
13:46:21 busread : 3/6000 (mem: 1886.30 MiB)
13:46:21 lookups : 13540/15000 (mem: 1886.30 MiB)
13:46:21 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:46:21 arithmetic : 40019/56000 (mem: 1886.30 MiB)
13:46:21 delta range : 11097/18000 (mem: 1886.30 MiB)
13:46:21 elliptic : 6000/6000 (mem: 1886.30 MiB)
13:46:21 auxiliary : 11827/26000 (mem: 1886.30 MiB)
13:46:21 poseidon ext : 4942/17000 (mem: 1886.30 MiB)
13:46:21 poseidon int : 28160/92000 (mem: 1886.30 MiB)
13:46:21 overflow : 1850/1850 (mem: 1886.30 MiB)
13:46:21 (mem: 1886.30 MiB)
13:46:21 Total structured size: 243875 (mem: 1886.30 MiB)
13:46:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:46: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: 1886.30 MiB)
13:46:30 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:46:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:46:30 goblin ecc op : 10/1024 (mem: 1886.30 MiB)
13:46:30 busread : 3/6000 (mem: 1886.30 MiB)
13:46:30 lookups : 15000/15000 (mem: 1886.30 MiB)
13:46:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:46:30 arithmetic : 48085/56000 (mem: 1886.30 MiB)
13:46:30 delta range : 18000/18000 (mem: 1886.30 MiB)
13:46:30 elliptic : 4132/6000 (mem: 1886.30 MiB)
13:46:30 auxiliary : 23580/26000 (mem: 1886.30 MiB)
13:46:30 poseidon ext : 2/17000 (mem: 1886.30 MiB)
13:46:30 poseidon int : 2/92000 (mem: 1886.30 MiB)
13:46:30 overflow : 17783/17783 (mem: 1886.30 MiB)
13:46:30 (mem: 1886.30 MiB)
13:46:30 Total structured size: 259808 (mem: 1886.30 MiB)
13:46:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:46: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: 1886.30 MiB)
13:46:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:46:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:46:39 goblin ecc op : 792/1024 (mem: 1886.30 MiB)
13:46:39 busread : 3/6000 (mem: 1886.30 MiB)
13:46:39 lookups : 13540/15000 (mem: 1886.30 MiB)
13:46:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:46:39 arithmetic : 40019/56000 (mem: 1886.30 MiB)
13:46:39 delta range : 11097/18000 (mem: 1886.30 MiB)
13:46:39 elliptic : 6000/6000 (mem: 1886.30 MiB)
13:46:39 auxiliary : 11827/26000 (mem: 1886.30 MiB)
13:46:39 poseidon ext : 4942/17000 (mem: 1886.30 MiB)
13:46:39 poseidon int : 28160/92000 (mem: 1886.30 MiB)
13:46:39 overflow : 1850/1850 (mem: 1886.30 MiB)
13:46:39 (mem: 1886.30 MiB)
13:46:39 Total structured size: 243875 (mem: 1886.30 MiB)
13:46:41 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:46: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: 1886.30 MiB)
13:46:48 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1886.30 MiB)
13:46:48 Gate blocks summary: (actual gates / fixed capacity) (mem: 1886.30 MiB)
13:46:48 goblin ecc op : 10/1024 (mem: 1886.30 MiB)
13:46:48 busread : 3/6000 (mem: 1886.30 MiB)
13:46:48 lookups : 15000/15000 (mem: 1886.30 MiB)
13:46:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1886.30 MiB)
13:46:48 arithmetic : 48085/56000 (mem: 1886.30 MiB)
13:46:48 delta range : 18000/18000 (mem: 1886.30 MiB)
13:46:48 elliptic : 4132/6000 (mem: 1886.30 MiB)
13:46:48 auxiliary : 23580/26000 (mem: 1886.30 MiB)
13:46:48 poseidon ext : 2/17000 (mem: 1886.30 MiB)
13:46:48 poseidon int : 2/92000 (mem: 1886.30 MiB)
13:46:48 overflow : 17783/17783 (mem: 1886.30 MiB)
13:46:48 (mem: 1886.30 MiB)
13:46:48 Total structured size: 259808 (mem: 1886.30 MiB)
13:46:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1886.30 MiB)
13:46: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: 1886.30 MiB)
13:46:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.30 MiB)
13:46:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.30 MiB)
13:46:55 goblin ecc op : 792/1024 (mem: 1887.30 MiB)
13:46:55 busread : 3/6000 (mem: 1887.30 MiB)
13:46:55 lookups : 13540/15000 (mem: 1887.30 MiB)
13:46:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1887.30 MiB)
13:46:55 arithmetic : 40019/56000 (mem: 1887.30 MiB)
13:46:55 delta range : 11097/18000 (mem: 1887.30 MiB)
13:46:55 elliptic : 6000/6000 (mem: 1887.30 MiB)
13:46:55 auxiliary : 11827/26000 (mem: 1887.30 MiB)
13:46:55 poseidon ext : 4942/17000 (mem: 1887.30 MiB)
13:46:55 poseidon int : 28160/92000 (mem: 1887.30 MiB)
13:46:55 overflow : 1850/1850 (mem: 1887.30 MiB)
13:46:55 (mem: 1887.30 MiB)
13:46:55 Total structured size: 243875 (mem: 1887.30 MiB)
13:46:57 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.30 MiB)
13:46: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: 1887.30 MiB)
13:47:03 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1887.30 MiB)
13:47:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 1887.30 MiB)
13:47:03 goblin ecc op : 10/1024 (mem: 1887.30 MiB)
13:47:03 busread : 3/6000 (mem: 1887.30 MiB)
13:47:03 lookups : 15000/15000 (mem: 1887.30 MiB)
13:47:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1887.30 MiB)
13:47:03 arithmetic : 48085/56000 (mem: 1887.30 MiB)
13:47:03 delta range : 18000/18000 (mem: 1887.30 MiB)
13:47:03 elliptic : 4132/6000 (mem: 1887.30 MiB)
13:47:03 auxiliary : 23580/26000 (mem: 1887.30 MiB)
13:47:03 poseidon ext : 2/17000 (mem: 1887.30 MiB)
13:47:03 poseidon int : 2/92000 (mem: 1887.30 MiB)
13:47:03 overflow : 17783/17783 (mem: 1887.30 MiB)
13:47:03 (mem: 1887.30 MiB)
13:47:03 Total structured size: 259808 (mem: 1887.30 MiB)
13:47:05 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1887.30 MiB)
13:47: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: 1887.30 MiB)
13:47:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:47:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:47:11 goblin ecc op : 792/1024 (mem: 1888.30 MiB)
13:47:11 busread : 3/6000 (mem: 1888.30 MiB)
13:47:11 lookups : 13540/15000 (mem: 1888.30 MiB)
13:47:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:47:11 arithmetic : 40019/56000 (mem: 1888.30 MiB)
13:47:11 delta range : 11097/18000 (mem: 1888.30 MiB)
13:47:11 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:47:11 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:47:11 poseidon ext : 4942/17000 (mem: 1888.30 MiB)
13:47:11 poseidon int : 28160/92000 (mem: 1888.30 MiB)
13:47:11 overflow : 1850/1850 (mem: 1888.30 MiB)
13:47:11 (mem: 1888.30 MiB)
13:47:11 Total structured size: 243875 (mem: 1888.30 MiB)
13:47:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:47: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: 1888.30 MiB)
13:47:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:47:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:47:19 goblin ecc op : 10/1024 (mem: 1888.30 MiB)
13:47:19 busread : 3/6000 (mem: 1888.30 MiB)
13:47:19 lookups : 15000/15000 (mem: 1888.30 MiB)
13:47:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:47:19 arithmetic : 48085/56000 (mem: 1888.30 MiB)
13:47:19 delta range : 18000/18000 (mem: 1888.30 MiB)
13:47:19 elliptic : 4132/6000 (mem: 1888.30 MiB)
13:47:19 auxiliary : 23580/26000 (mem: 1888.30 MiB)
13:47:19 poseidon ext : 2/17000 (mem: 1888.30 MiB)
13:47:19 poseidon int : 2/92000 (mem: 1888.30 MiB)
13:47:19 overflow : 17783/17783 (mem: 1888.30 MiB)
13:47:19 (mem: 1888.30 MiB)
13:47:19 Total structured size: 259808 (mem: 1888.30 MiB)
13:47:21 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:47:21 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1888.30 MiB)
13:47:28 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:47:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:47:28 goblin ecc op : 792/1024 (mem: 1888.30 MiB)
13:47:28 busread : 3/6000 (mem: 1888.30 MiB)
13:47:28 lookups : 13540/15000 (mem: 1888.30 MiB)
13:47:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:47:28 arithmetic : 40019/56000 (mem: 1888.30 MiB)
13:47:28 delta range : 11097/18000 (mem: 1888.30 MiB)
13:47:28 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:47:28 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:47:28 poseidon ext : 4942/17000 (mem: 1888.30 MiB)
13:47:28 poseidon int : 28160/92000 (mem: 1888.30 MiB)
13:47:28 overflow : 1850/1850 (mem: 1888.30 MiB)
13:47:28 (mem: 1888.30 MiB)
13:47:28 Total structured size: 243875 (mem: 1888.30 MiB)
13:47:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:47: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: 1888.30 MiB)
13:47:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:47:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:47:36 goblin ecc op : 10/1024 (mem: 1888.30 MiB)
13:47:36 busread : 3/6000 (mem: 1888.30 MiB)
13:47:36 lookups : 15000/15000 (mem: 1888.30 MiB)
13:47:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:47:36 arithmetic : 48085/56000 (mem: 1888.30 MiB)
13:47:36 delta range : 18000/18000 (mem: 1888.30 MiB)
13:47:36 elliptic : 4132/6000 (mem: 1888.30 MiB)
13:47:36 auxiliary : 23580/26000 (mem: 1888.30 MiB)
13:47:36 poseidon ext : 2/17000 (mem: 1888.30 MiB)
13:47:36 poseidon int : 2/92000 (mem: 1888.30 MiB)
13:47:36 overflow : 17783/17783 (mem: 1888.30 MiB)
13:47:36 (mem: 1888.30 MiB)
13:47:36 Total structured size: 259808 (mem: 1888.30 MiB)
13:47:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:47: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: 1888.30 MiB)
13:47:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:47:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:47:43 goblin ecc op : 792/1024 (mem: 1888.30 MiB)
13:47:43 busread : 3/6000 (mem: 1888.30 MiB)
13:47:43 lookups : 13540/15000 (mem: 1888.30 MiB)
13:47:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:47:43 arithmetic : 40019/56000 (mem: 1888.30 MiB)
13:47:43 delta range : 11097/18000 (mem: 1888.30 MiB)
13:47:43 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:47:43 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:47:43 poseidon ext : 4942/17000 (mem: 1888.30 MiB)
13:47:43 poseidon int : 28160/92000 (mem: 1888.30 MiB)
13:47:43 overflow : 1850/1850 (mem: 1888.30 MiB)
13:47:43 (mem: 1888.30 MiB)
13:47:43 Total structured size: 243875 (mem: 1888.30 MiB)
13:47:45 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:47:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1888.30 MiB)
13:47:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:47:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:47:51 goblin ecc op : 10/1024 (mem: 1888.30 MiB)
13:47:51 busread : 3/6000 (mem: 1888.30 MiB)
13:47:51 lookups : 15000/15000 (mem: 1888.30 MiB)
13:47:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:47:51 arithmetic : 48085/56000 (mem: 1888.30 MiB)
13:47:51 delta range : 18000/18000 (mem: 1888.30 MiB)
13:47:51 elliptic : 4132/6000 (mem: 1888.30 MiB)
13:47:51 auxiliary : 23580/26000 (mem: 1888.30 MiB)
13:47:51 poseidon ext : 2/17000 (mem: 1888.30 MiB)
13:47:51 poseidon int : 2/92000 (mem: 1888.30 MiB)
13:47:51 overflow : 17783/17783 (mem: 1888.30 MiB)
13:47:51 (mem: 1888.30 MiB)
13:47:51 Total structured size: 259808 (mem: 1888.30 MiB)
13:47:52 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:47: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: 1888.30 MiB)
13:48:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:00 goblin ecc op : 792/1024 (mem: 1888.30 MiB)
13:48:00 busread : 3/6000 (mem: 1888.30 MiB)
13:48:00 lookups : 13540/15000 (mem: 1888.30 MiB)
13:48:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:00 arithmetic : 40019/56000 (mem: 1888.30 MiB)
13:48:00 delta range : 11097/18000 (mem: 1888.30 MiB)
13:48:00 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:48:00 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:48:00 poseidon ext : 4942/17000 (mem: 1888.30 MiB)
13:48:00 poseidon int : 28160/92000 (mem: 1888.30 MiB)
13:48:00 overflow : 1850/1850 (mem: 1888.30 MiB)
13:48:00 (mem: 1888.30 MiB)
13:48:00 Total structured size: 243875 (mem: 1888.30 MiB)
13:48:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:48:03 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1888.30 MiB)
13:48:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:11 goblin ecc op : 10/1024 (mem: 1888.30 MiB)
13:48:11 busread : 3/6000 (mem: 1888.30 MiB)
13:48:11 lookups : 15000/15000 (mem: 1888.30 MiB)
13:48:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:11 arithmetic : 56000/56000 (mem: 1888.30 MiB)
13:48:11 delta range : 18000/18000 (mem: 1888.30 MiB)
13:48:11 elliptic : 4958/6000 (mem: 1888.30 MiB)
13:48:11 auxiliary : 26000/26000 (mem: 1888.30 MiB)
13:48:11 poseidon ext : 2/17000 (mem: 1888.30 MiB)
13:48:11 poseidon int : 2/92000 (mem: 1888.30 MiB)
13:48:11 overflow : 248619/248619 (mem: 1888.30 MiB)
13:48:11 (mem: 1888.30 MiB)
13:48:11 Total structured size: 490644 (mem: 1888.30 MiB)
13:48:11 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1888.30 MiB)
13:48:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:17 goblin ecc op : 56/1024 (mem: 1888.30 MiB)
13:48:17 busread : 3/6000 (mem: 1888.30 MiB)
13:48:17 lookups : 13540/15000 (mem: 1888.30 MiB)
13:48:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:17 arithmetic : 32894/56000 (mem: 1888.30 MiB)
13:48:17 delta range : 10239/18000 (mem: 1888.30 MiB)
13:48:17 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:48:17 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:48:17 poseidon ext : 1302/17000 (mem: 1888.30 MiB)
13:48:17 poseidon int : 7412/92000 (mem: 1888.30 MiB)
13:48:17 overflow : 1850/1850 (mem: 1888.30 MiB)
13:48:17 (mem: 1888.30 MiB)
13:48:17 Total structured size: 243875 (mem: 1888.30 MiB)
13:48:17 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 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: 1888.30 MiB)
13:48:23 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:23 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:23 goblin ecc op : 10/1024 (mem: 1888.30 MiB)
13:48:23 busread : 3/6000 (mem: 1888.30 MiB)
13:48:23 lookups : 15000/15000 (mem: 1888.30 MiB)
13:48:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:23 arithmetic : 48085/56000 (mem: 1888.30 MiB)
13:48:23 delta range : 18000/18000 (mem: 1888.30 MiB)
13:48:23 elliptic : 4132/6000 (mem: 1888.30 MiB)
13:48:23 auxiliary : 23580/26000 (mem: 1888.30 MiB)
13:48:23 poseidon ext : 2/17000 (mem: 1888.30 MiB)
13:48:23 poseidon int : 2/92000 (mem: 1888.30 MiB)
13:48:23 overflow : 17783/17783 (mem: 1888.30 MiB)
13:48:23 (mem: 1888.30 MiB)
13:48:23 Total structured size: 259808 (mem: 1888.30 MiB)
13:48:23 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 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: 1888.30 MiB)
13:48:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:29 goblin ecc op : 792/1024 (mem: 1888.30 MiB)
13:48:29 busread : 3/6000 (mem: 1888.30 MiB)
13:48:29 lookups : 13540/15000 (mem: 1888.30 MiB)
13:48:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:29 arithmetic : 40019/56000 (mem: 1888.30 MiB)
13:48:29 delta range : 11097/18000 (mem: 1888.30 MiB)
13:48:29 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:48:29 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:48:29 poseidon ext : 4942/17000 (mem: 1888.30 MiB)
13:48:29 poseidon int : 28160/92000 (mem: 1888.30 MiB)
13:48:29 overflow : 1850/1850 (mem: 1888.30 MiB)
13:48:29 (mem: 1888.30 MiB)
13:48:29 Total structured size: 243875 (mem: 1888.30 MiB)
13:48:30 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 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: 1888.30 MiB)
13:48:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:36 goblin ecc op : 10/1024 (mem: 1888.30 MiB)
13:48:36 busread : 3/6000 (mem: 1888.30 MiB)
13:48:36 lookups : 15000/15000 (mem: 1888.30 MiB)
13:48:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:36 arithmetic : 48085/56000 (mem: 1888.30 MiB)
13:48:36 delta range : 18000/18000 (mem: 1888.30 MiB)
13:48:36 elliptic : 4132/6000 (mem: 1888.30 MiB)
13:48:36 auxiliary : 23580/26000 (mem: 1888.30 MiB)
13:48:36 poseidon ext : 2/17000 (mem: 1888.30 MiB)
13:48:36 poseidon int : 2/92000 (mem: 1888.30 MiB)
13:48:36 overflow : 17783/17783 (mem: 1888.30 MiB)
13:48:36 (mem: 1888.30 MiB)
13:48:36 Total structured size: 259808 (mem: 1888.30 MiB)
13:48:36 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 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: 1888.30 MiB)
13:48:42 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:42 goblin ecc op : 792/1024 (mem: 1888.30 MiB)
13:48:42 busread : 3/6000 (mem: 1888.30 MiB)
13:48:42 lookups : 13540/15000 (mem: 1888.30 MiB)
13:48:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:42 arithmetic : 40019/56000 (mem: 1888.30 MiB)
13:48:42 delta range : 11097/18000 (mem: 1888.30 MiB)
13:48:42 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:48:42 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:48:42 poseidon ext : 4942/17000 (mem: 1888.30 MiB)
13:48:42 poseidon int : 28160/92000 (mem: 1888.30 MiB)
13:48:42 overflow : 1850/1850 (mem: 1888.30 MiB)
13:48:42 (mem: 1888.30 MiB)
13:48:42 Total structured size: 243875 (mem: 1888.30 MiB)
13:48:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 MiB)
13:48: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: 1888.30 MiB)
13:48:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:49 goblin ecc op : 10/1024 (mem: 1888.30 MiB)
13:48:49 busread : 3/6000 (mem: 1888.30 MiB)
13:48:49 lookups : 15000/15000 (mem: 1888.30 MiB)
13:48:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:49 arithmetic : 48085/56000 (mem: 1888.30 MiB)
13:48:49 delta range : 18000/18000 (mem: 1888.30 MiB)
13:48:49 elliptic : 4132/6000 (mem: 1888.30 MiB)
13:48:49 auxiliary : 23580/26000 (mem: 1888.30 MiB)
13:48:49 poseidon ext : 2/17000 (mem: 1888.30 MiB)
13:48:49 poseidon int : 2/92000 (mem: 1888.30 MiB)
13:48:49 overflow : 17783/17783 (mem: 1888.30 MiB)
13:48:49 (mem: 1888.30 MiB)
13:48:49 Total structured size: 259808 (mem: 1888.30 MiB)
13:48:49 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 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: 1888.30 MiB)
13:48:54 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1888.30 MiB)
13:48:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 1888.30 MiB)
13:48:54 goblin ecc op : 792/1024 (mem: 1888.30 MiB)
13:48:54 busread : 3/6000 (mem: 1888.30 MiB)
13:48:54 lookups : 13540/15000 (mem: 1888.30 MiB)
13:48:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1888.30 MiB)
13:48:54 arithmetic : 40019/56000 (mem: 1888.30 MiB)
13:48:54 delta range : 11097/18000 (mem: 1888.30 MiB)
13:48:54 elliptic : 6000/6000 (mem: 1888.30 MiB)
13:48:54 auxiliary : 11827/26000 (mem: 1888.30 MiB)
13:48:54 poseidon ext : 4942/17000 (mem: 1888.30 MiB)
13:48:54 poseidon int : 28160/92000 (mem: 1888.30 MiB)
13:48:54 overflow : 1850/1850 (mem: 1888.30 MiB)
13:48:54 (mem: 1888.30 MiB)
13:48:54 Total structured size: 243875 (mem: 1888.30 MiB)
13:48:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1888.30 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: 1888.30 MiB)
13:49:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.39 MiB)
13:49:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.39 MiB)
13:49:01 goblin ecc op : 10/1024 (mem: 1915.39 MiB)
13:49:01 busread : 3/6000 (mem: 1915.39 MiB)
13:49:01 lookups : 15000/15000 (mem: 1915.39 MiB)
13:49:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.39 MiB)
13:49:01 arithmetic : 48085/56000 (mem: 1915.39 MiB)
13:49:01 delta range : 18000/18000 (mem: 1915.39 MiB)
13:49:01 elliptic : 4132/6000 (mem: 1915.39 MiB)
13:49:01 auxiliary : 23580/26000 (mem: 1915.39 MiB)
13:49:01 poseidon ext : 2/17000 (mem: 1915.39 MiB)
13:49:01 poseidon int : 2/92000 (mem: 1915.39 MiB)
13:49:01 overflow : 17783/17783 (mem: 1915.39 MiB)
13:49:01 (mem: 1915.39 MiB)
13:49:01 Total structured size: 259808 (mem: 1915.39 MiB)
13:49:01 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.39 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: 1915.39 MiB)
13:49:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.39 MiB)
13:49:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.39 MiB)
13:49:07 goblin ecc op : 792/1024 (mem: 1915.39 MiB)
13:49:07 busread : 3/6000 (mem: 1915.39 MiB)
13:49:07 lookups : 13540/15000 (mem: 1915.39 MiB)
13:49:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.39 MiB)
13:49:07 arithmetic : 40019/56000 (mem: 1915.39 MiB)
13:49:07 delta range : 11097/18000 (mem: 1915.39 MiB)
13:49:07 elliptic : 6000/6000 (mem: 1915.39 MiB)
13:49:07 auxiliary : 11827/26000 (mem: 1915.39 MiB)
13:49:07 poseidon ext : 4942/17000 (mem: 1915.39 MiB)
13:49:07 poseidon int : 28160/92000 (mem: 1915.39 MiB)
13:49:07 overflow : 1850/1850 (mem: 1915.39 MiB)
13:49:07 (mem: 1915.39 MiB)
13:49:07 Total structured size: 243875 (mem: 1915.39 MiB)
13:49:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.39 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: 1915.39 MiB)
13:49:13 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.39 MiB)
13:49:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.39 MiB)
13:49:13 goblin ecc op : 10/1024 (mem: 1915.39 MiB)
13:49:13 busread : 3/6000 (mem: 1915.39 MiB)
13:49:13 lookups : 15000/15000 (mem: 1915.39 MiB)
13:49:13 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.39 MiB)
13:49:13 arithmetic : 48085/56000 (mem: 1915.39 MiB)
13:49:13 delta range : 18000/18000 (mem: 1915.39 MiB)
13:49:13 elliptic : 4132/6000 (mem: 1915.39 MiB)
13:49:13 auxiliary : 23580/26000 (mem: 1915.39 MiB)
13:49:13 poseidon ext : 2/17000 (mem: 1915.39 MiB)
13:49:13 poseidon int : 2/92000 (mem: 1915.39 MiB)
13:49:13 overflow : 17783/17783 (mem: 1915.39 MiB)
13:49:13 (mem: 1915.39 MiB)
13:49:13 Total structured size: 259808 (mem: 1915.39 MiB)
13:49:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.39 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: 1915.39 MiB)
13:49:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.39 MiB)
13:49:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.39 MiB)
13:49:19 goblin ecc op : 792/1024 (mem: 1915.39 MiB)
13:49:19 busread : 3/6000 (mem: 1915.39 MiB)
13:49:19 lookups : 13540/15000 (mem: 1915.39 MiB)
13:49:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.39 MiB)
13:49:19 arithmetic : 40019/56000 (mem: 1915.39 MiB)
13:49:19 delta range : 11097/18000 (mem: 1915.39 MiB)
13:49:19 elliptic : 6000/6000 (mem: 1915.39 MiB)
13:49:19 auxiliary : 11827/26000 (mem: 1915.39 MiB)
13:49:19 poseidon ext : 4942/17000 (mem: 1915.39 MiB)
13:49:19 poseidon int : 28160/92000 (mem: 1915.39 MiB)
13:49:19 overflow : 1850/1850 (mem: 1915.39 MiB)
13:49:19 (mem: 1915.39 MiB)
13:49:19 Total structured size: 243875 (mem: 1915.39 MiB)
13:49:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.39 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: 1915.39 MiB)
13:49:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.40 MiB)
13:49:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.40 MiB)
13:49:25 goblin ecc op : 10/1024 (mem: 1915.40 MiB)
13:49:25 busread : 3/6000 (mem: 1915.40 MiB)
13:49:25 lookups : 15000/15000 (mem: 1915.40 MiB)
13:49:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.40 MiB)
13:49:25 arithmetic : 48085/56000 (mem: 1915.40 MiB)
13:49:25 delta range : 18000/18000 (mem: 1915.40 MiB)
13:49:25 elliptic : 4132/6000 (mem: 1915.40 MiB)
13:49:25 auxiliary : 23580/26000 (mem: 1915.40 MiB)
13:49:25 poseidon ext : 2/17000 (mem: 1915.40 MiB)
13:49:25 poseidon int : 2/92000 (mem: 1915.40 MiB)
13:49:25 overflow : 17783/17783 (mem: 1915.40 MiB)
13:49:25 (mem: 1915.40 MiB)
13:49:25 Total structured size: 259808 (mem: 1915.40 MiB)
13:49:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.40 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: 1915.40 MiB)
13:49:31 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.40 MiB)
13:49:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.40 MiB)
13:49:31 goblin ecc op : 792/1024 (mem: 1915.40 MiB)
13:49:31 busread : 3/6000 (mem: 1915.40 MiB)
13:49:31 lookups : 13540/15000 (mem: 1915.40 MiB)
13:49:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.40 MiB)
13:49:31 arithmetic : 40019/56000 (mem: 1915.40 MiB)
13:49:31 delta range : 11097/18000 (mem: 1915.40 MiB)
13:49:31 elliptic : 6000/6000 (mem: 1915.40 MiB)
13:49:31 auxiliary : 11827/26000 (mem: 1915.40 MiB)
13:49:31 poseidon ext : 4942/17000 (mem: 1915.40 MiB)
13:49:31 poseidon int : 28160/92000 (mem: 1915.40 MiB)
13:49:31 overflow : 1850/1850 (mem: 1915.40 MiB)
13:49:31 (mem: 1915.40 MiB)
13:49:31 Total structured size: 243875 (mem: 1915.40 MiB)
13:49:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.40 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: 1915.40 MiB)
13:49:37 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.71 MiB)
13:49:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.71 MiB)
13:49:37 goblin ecc op : 10/1024 (mem: 1915.71 MiB)
13:49:37 busread : 3/6000 (mem: 1915.71 MiB)
13:49:37 lookups : 15000/15000 (mem: 1915.71 MiB)
13:49:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1915.71 MiB)
13:49:37 arithmetic : 48085/56000 (mem: 1915.71 MiB)
13:49:37 delta range : 18000/18000 (mem: 1915.71 MiB)
13:49:37 elliptic : 4132/6000 (mem: 1915.71 MiB)
13:49:37 auxiliary : 23580/26000 (mem: 1915.71 MiB)
13:49:37 poseidon ext : 2/17000 (mem: 1915.71 MiB)
13:49:37 poseidon int : 2/92000 (mem: 1915.71 MiB)
13:49:37 overflow : 17783/17783 (mem: 1915.71 MiB)
13:49:37 (mem: 1915.71 MiB)
13:49:37 Total structured size: 259808 (mem: 1915.71 MiB)
13:49:37 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.71 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: 1915.71 MiB)
13:49:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1915.71 MiB)
13:49:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 1915.71 MiB)
13:49:43 goblin ecc op : 792/1024 (mem: 1915.71 MiB)
13:49:43 busread : 3/6000 (mem: 1915.71 MiB)
13:49:43 lookups : 13540/15000 (mem: 1915.71 MiB)
13:49:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1915.71 MiB)
13:49:43 arithmetic : 40019/56000 (mem: 1915.71 MiB)
13:49:43 delta range : 11097/18000 (mem: 1915.71 MiB)
13:49:43 elliptic : 6000/6000 (mem: 1915.71 MiB)
13:49:43 auxiliary : 11827/26000 (mem: 1915.71 MiB)
13:49:43 poseidon ext : 4942/17000 (mem: 1915.71 MiB)
13:49:43 poseidon int : 28160/92000 (mem: 1915.71 MiB)
13:49:43 overflow : 1850/1850 (mem: 1915.71 MiB)
13:49:43 (mem: 1915.71 MiB)
13:49:43 Total structured size: 243875 (mem: 1915.71 MiB)
13:49:43 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1915.71 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: 1915.71 MiB)
13:49:49 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1916.39 MiB)
13:49:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1916.39 MiB)
13:49:49 goblin ecc op : 10/1024 (mem: 1916.39 MiB)
13:49:49 busread : 3/6000 (mem: 1916.39 MiB)
13:49:49 lookups : 15000/15000 (mem: 1916.39 MiB)
13:49:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1916.39 MiB)
13:49:49 arithmetic : 48085/56000 (mem: 1916.39 MiB)
13:49:49 delta range : 18000/18000 (mem: 1916.39 MiB)
13:49:49 elliptic : 4132/6000 (mem: 1916.39 MiB)
13:49:49 auxiliary : 23580/26000 (mem: 1916.39 MiB)
13:49:49 poseidon ext : 2/17000 (mem: 1916.39 MiB)
13:49:49 poseidon int : 2/92000 (mem: 1916.39 MiB)
13:49:49 overflow : 17783/17783 (mem: 1916.39 MiB)
13:49:49 (mem: 1916.39 MiB)
13:49:49 Total structured size: 259808 (mem: 1916.39 MiB)
13:49:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1916.39 MiB)
13:49: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: 1916.39 MiB)
13:49:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1916.39 MiB)
13:49:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1916.39 MiB)
13:49:55 goblin ecc op : 792/1024 (mem: 1916.39 MiB)
13:49:55 busread : 3/6000 (mem: 1916.39 MiB)
13:49:55 lookups : 13540/15000 (mem: 1916.39 MiB)
13:49:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1916.39 MiB)
13:49:55 arithmetic : 40019/56000 (mem: 1916.39 MiB)
13:49:55 delta range : 11097/18000 (mem: 1916.39 MiB)
13:49:55 elliptic : 6000/6000 (mem: 1916.39 MiB)
13:49:55 auxiliary : 11827/26000 (mem: 1916.39 MiB)
13:49:55 poseidon ext : 4942/17000 (mem: 1916.39 MiB)
13:49:55 poseidon int : 28160/92000 (mem: 1916.39 MiB)
13:49:55 overflow : 1850/1850 (mem: 1916.39 MiB)
13:49:55 (mem: 1916.39 MiB)
13:49:55 Total structured size: 243875 (mem: 1916.39 MiB)
13:49:56 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1916.39 MiB)
13:49: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: 1916.39 MiB)
13:50:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1917.36 MiB)
13:50:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 1917.36 MiB)
13:50:02 goblin ecc op : 10/1024 (mem: 1917.36 MiB)
13:50:02 busread : 3/6000 (mem: 1917.36 MiB)
13:50:02 lookups : 15000/15000 (mem: 1917.36 MiB)
13:50:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1917.36 MiB)
13:50:02 arithmetic : 48085/56000 (mem: 1917.36 MiB)
13:50:02 delta range : 18000/18000 (mem: 1917.36 MiB)
13:50:02 elliptic : 4132/6000 (mem: 1917.36 MiB)
13:50:02 auxiliary : 23580/26000 (mem: 1917.36 MiB)
13:50:02 poseidon ext : 2/17000 (mem: 1917.36 MiB)
13:50:02 poseidon int : 2/92000 (mem: 1917.36 MiB)
13:50:02 overflow : 17783/17783 (mem: 1917.36 MiB)
13:50:02 (mem: 1917.36 MiB)
13:50:02 Total structured size: 259808 (mem: 1917.36 MiB)
13:50:02 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1917.36 MiB)
13:50: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: 1917.36 MiB)
13:50:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1917.36 MiB)
13:50:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1917.36 MiB)
13:50:07 goblin ecc op : 792/1024 (mem: 1917.36 MiB)
13:50:07 busread : 3/6000 (mem: 1917.36 MiB)
13:50:07 lookups : 13540/15000 (mem: 1917.36 MiB)
13:50:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1917.36 MiB)
13:50:07 arithmetic : 40019/56000 (mem: 1917.36 MiB)
13:50:07 delta range : 11097/18000 (mem: 1917.36 MiB)
13:50:07 elliptic : 6000/6000 (mem: 1917.36 MiB)
13:50:07 auxiliary : 11827/26000 (mem: 1917.36 MiB)
13:50:07 poseidon ext : 4942/17000 (mem: 1917.36 MiB)
13:50:07 poseidon int : 28160/92000 (mem: 1917.36 MiB)
13:50:07 overflow : 1850/1850 (mem: 1917.36 MiB)
13:50:07 (mem: 1917.36 MiB)
13:50:07 Total structured size: 243875 (mem: 1917.36 MiB)
13:50:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1917.36 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: 1917.36 MiB)
13:50:14 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1917.91 MiB)
13:50:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1917.91 MiB)
13:50:14 goblin ecc op : 10/1024 (mem: 1917.91 MiB)
13:50:14 busread : 3/6000 (mem: 1917.91 MiB)
13:50:14 lookups : 15000/15000 (mem: 1917.91 MiB)
13:50:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1917.91 MiB)
13:50:14 arithmetic : 48085/56000 (mem: 1917.91 MiB)
13:50:14 delta range : 18000/18000 (mem: 1917.91 MiB)
13:50:14 elliptic : 4132/6000 (mem: 1917.91 MiB)
13:50:14 auxiliary : 23580/26000 (mem: 1917.91 MiB)
13:50:14 poseidon ext : 2/17000 (mem: 1917.91 MiB)
13:50:14 poseidon int : 2/92000 (mem: 1917.91 MiB)
13:50:14 overflow : 17783/17783 (mem: 1917.91 MiB)
13:50:14 (mem: 1917.91 MiB)
13:50:14 Total structured size: 259808 (mem: 1917.91 MiB)
13:50:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1917.91 MiB)
13:50:14 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 1917.91 MiB)
13:50:19 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.43 MiB)
13:50:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.43 MiB)
13:50:19 goblin ecc op : 792/1024 (mem: 1919.43 MiB)
13:50:19 busread : 3/6000 (mem: 1919.43 MiB)
13:50:19 lookups : 13540/15000 (mem: 1919.43 MiB)
13:50:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1919.43 MiB)
13:50:19 arithmetic : 40019/56000 (mem: 1919.43 MiB)
13:50:19 delta range : 11097/18000 (mem: 1919.43 MiB)
13:50:19 elliptic : 6000/6000 (mem: 1919.43 MiB)
13:50:19 auxiliary : 11827/26000 (mem: 1919.43 MiB)
13:50:19 poseidon ext : 4942/17000 (mem: 1919.43 MiB)
13:50:19 poseidon int : 28160/92000 (mem: 1919.43 MiB)
13:50:19 overflow : 1850/1850 (mem: 1919.43 MiB)
13:50:19 (mem: 1919.43 MiB)
13:50:19 Total structured size: 243875 (mem: 1919.43 MiB)
13:50:19 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.43 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.43 MiB)
13:50:25 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1919.95 MiB)
13:50:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 1919.95 MiB)
13:50:25 goblin ecc op : 10/1024 (mem: 1919.95 MiB)
13:50:25 busread : 3/6000 (mem: 1919.95 MiB)
13:50:25 lookups : 15000/15000 (mem: 1919.95 MiB)
13:50:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1919.95 MiB)
13:50:25 arithmetic : 48085/56000 (mem: 1919.95 MiB)
13:50:25 delta range : 18000/18000 (mem: 1919.95 MiB)
13:50:25 elliptic : 4132/6000 (mem: 1919.95 MiB)
13:50:25 auxiliary : 23580/26000 (mem: 1919.95 MiB)
13:50:25 poseidon ext : 2/17000 (mem: 1919.95 MiB)
13:50:25 poseidon int : 2/92000 (mem: 1919.95 MiB)
13:50:25 overflow : 17783/17783 (mem: 1919.95 MiB)
13:50:25 (mem: 1919.95 MiB)
13:50:25 Total structured size: 259808 (mem: 1919.95 MiB)
13:50:25 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1919.95 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.95 MiB)
13:50:31 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1920.76 MiB)
13:50:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 1920.76 MiB)
13:50:31 goblin ecc op : 792/1024 (mem: 1920.76 MiB)
13:50:31 busread : 3/6000 (mem: 1920.76 MiB)
13:50:31 lookups : 13540/15000 (mem: 1920.76 MiB)
13:50:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1920.76 MiB)
13:50:31 arithmetic : 40019/56000 (mem: 1920.76 MiB)
13:50:31 delta range : 11097/18000 (mem: 1920.76 MiB)
13:50:31 elliptic : 6000/6000 (mem: 1920.76 MiB)
13:50:31 auxiliary : 11827/26000 (mem: 1920.76 MiB)
13:50:31 poseidon ext : 4942/17000 (mem: 1920.76 MiB)
13:50:31 poseidon int : 28160/92000 (mem: 1920.76 MiB)
13:50:31 overflow : 1850/1850 (mem: 1920.76 MiB)
13:50:31 (mem: 1920.76 MiB)
13:50:31 Total structured size: 243875 (mem: 1920.76 MiB)
13:50:32 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1920.76 MiB)
13:50: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: 1920.76 MiB)
13:50:38 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1920.76 MiB)
13:50:38 Gate blocks summary: (actual gates / fixed capacity) (mem: 1920.76 MiB)
13:50:38 goblin ecc op : 10/1024 (mem: 1920.76 MiB)
13:50:38 busread : 3/6000 (mem: 1920.76 MiB)
13:50:38 lookups : 15000/15000 (mem: 1920.76 MiB)
13:50:38 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1920.76 MiB)
13:50:38 arithmetic : 48085/56000 (mem: 1920.76 MiB)
13:50:38 delta range : 18000/18000 (mem: 1920.76 MiB)
13:50:38 elliptic : 4132/6000 (mem: 1920.76 MiB)
13:50:38 auxiliary : 23580/26000 (mem: 1920.76 MiB)
13:50:38 poseidon ext : 2/17000 (mem: 1920.76 MiB)
13:50:38 poseidon int : 2/92000 (mem: 1920.76 MiB)
13:50:38 overflow : 17783/17783 (mem: 1920.76 MiB)
13:50:38 (mem: 1920.76 MiB)
13:50:38 Total structured size: 259808 (mem: 1920.76 MiB)
13:50:38 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1920.76 MiB)
13:50: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: 1920.76 MiB)
13:50:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1920.76 MiB)
13:50:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1920.76 MiB)
13:50:44 goblin ecc op : 792/1024 (mem: 1920.76 MiB)
13:50:44 busread : 3/6000 (mem: 1920.76 MiB)
13:50:44 lookups : 13540/15000 (mem: 1920.76 MiB)
13:50:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1920.76 MiB)
13:50:44 arithmetic : 40019/56000 (mem: 1920.76 MiB)
13:50:44 delta range : 11097/18000 (mem: 1920.76 MiB)
13:50:44 elliptic : 6000/6000 (mem: 1920.76 MiB)
13:50:44 auxiliary : 11827/26000 (mem: 1920.76 MiB)
13:50:44 poseidon ext : 4942/17000 (mem: 1920.76 MiB)
13:50:44 poseidon int : 28160/92000 (mem: 1920.76 MiB)
13:50:44 overflow : 1850/1850 (mem: 1920.76 MiB)
13:50:44 (mem: 1920.76 MiB)
13:50:44 Total structured size: 243875 (mem: 1920.76 MiB)
13:50:44 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1920.76 MiB)
13:50: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: 1920.76 MiB)
13:50:50 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1920.76 MiB)
13:50:50 Gate blocks summary: (actual gates / fixed capacity) (mem: 1920.76 MiB)
13:50:50 goblin ecc op : 10/1024 (mem: 1920.76 MiB)
13:50:50 busread : 3/6000 (mem: 1920.76 MiB)
13:50:50 lookups : 15000/15000 (mem: 1920.76 MiB)
13:50:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1920.76 MiB)
13:50:50 arithmetic : 48085/56000 (mem: 1920.76 MiB)
13:50:50 delta range : 18000/18000 (mem: 1920.76 MiB)
13:50:50 elliptic : 4132/6000 (mem: 1920.76 MiB)
13:50:50 auxiliary : 23580/26000 (mem: 1920.76 MiB)
13:50:50 poseidon ext : 2/17000 (mem: 1920.76 MiB)
13:50:50 poseidon int : 2/92000 (mem: 1920.76 MiB)
13:50:50 overflow : 17783/17783 (mem: 1920.76 MiB)
13:50:50 (mem: 1920.76 MiB)
13:50:50 Total structured size: 259808 (mem: 1920.76 MiB)
13:50:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1920.76 MiB)
13:50: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: 1920.76 MiB)
13:50:55 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1920.76 MiB)
13:50:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 1920.76 MiB)
13:50:55 goblin ecc op : 792/1024 (mem: 1920.76 MiB)
13:50:55 busread : 3/6000 (mem: 1920.76 MiB)
13:50:55 lookups : 13540/15000 (mem: 1920.76 MiB)
13:50:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1920.76 MiB)
13:50:55 arithmetic : 40019/56000 (mem: 1920.76 MiB)
13:50:55 delta range : 11097/18000 (mem: 1920.76 MiB)
13:50:55 elliptic : 6000/6000 (mem: 1920.76 MiB)
13:50:55 auxiliary : 11827/26000 (mem: 1920.76 MiB)
13:50:55 poseidon ext : 4942/17000 (mem: 1920.76 MiB)
13:50:55 poseidon int : 28160/92000 (mem: 1920.76 MiB)
13:50:55 overflow : 1850/1850 (mem: 1920.76 MiB)
13:50:55 (mem: 1920.76 MiB)
13:50:55 Total structured size: 243875 (mem: 1920.76 MiB)
13:50:55 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1920.76 MiB)
13:50: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: 1920.76 MiB)
13:51:01 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1921.52 MiB)
13:51:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 1921.52 MiB)
13:51:01 goblin ecc op : 10/1024 (mem: 1921.52 MiB)
13:51:01 busread : 3/6000 (mem: 1921.52 MiB)
13:51:01 lookups : 15000/15000 (mem: 1921.52 MiB)
13:51:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1921.52 MiB)
13:51:01 arithmetic : 48085/56000 (mem: 1921.52 MiB)
13:51:01 delta range : 18000/18000 (mem: 1921.52 MiB)
13:51:01 elliptic : 4132/6000 (mem: 1921.52 MiB)
13:51:01 auxiliary : 23580/26000 (mem: 1921.52 MiB)
13:51:01 poseidon ext : 2/17000 (mem: 1921.52 MiB)
13:51:01 poseidon int : 2/92000 (mem: 1921.52 MiB)
13:51:01 overflow : 17783/17783 (mem: 1921.52 MiB)
13:51:01 (mem: 1921.52 MiB)
13:51:01 Total structured size: 259808 (mem: 1921.52 MiB)
13:51:01 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1921.52 MiB)
13:51: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: 1921.52 MiB)
13:51:06 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1921.52 MiB)
13:51:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 1921.52 MiB)
13:51:06 goblin ecc op : 792/1024 (mem: 1921.52 MiB)
13:51:06 busread : 3/6000 (mem: 1921.52 MiB)
13:51:06 lookups : 13540/15000 (mem: 1921.52 MiB)
13:51:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1921.52 MiB)
13:51:06 arithmetic : 40019/56000 (mem: 1921.52 MiB)
13:51:06 delta range : 11097/18000 (mem: 1921.52 MiB)
13:51:06 elliptic : 6000/6000 (mem: 1921.52 MiB)
13:51:06 auxiliary : 11827/26000 (mem: 1921.52 MiB)
13:51:06 poseidon ext : 4942/17000 (mem: 1921.52 MiB)
13:51:06 poseidon int : 28160/92000 (mem: 1921.52 MiB)
13:51:06 overflow : 1850/1850 (mem: 1921.52 MiB)
13:51:06 (mem: 1921.52 MiB)
13:51:06 Total structured size: 243875 (mem: 1921.52 MiB)
13:51:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1921.52 MiB)
13:51: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: 1921.52 MiB)
13:51:11 Largest circuit: 368580 gates. Trace details: (mem: 1923.32 MiB)
13:51:11 Minimum required block sizes for structured trace: (mem: 1923.32 MiB)
13:51:11 ecc_op : 792
13:51:11 busread : 3
13:51:11 lookup : 15000
13:51:11 pub_inputs : 32
13:51:11 arithmetic : 56000
13:51:11 delta_range : 18000
13:51:11 elliptic : 6000
13:51:11 aux : 26000
13:51:11 poseidon2_external : 4942
13:51:11 poseidon2_internal : 28160
13:51:11 overflow : 248619
13:51:11 (mem: 1923.32 MiB)
13:51: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: 1923.32 MiB)
13:51:17 Constructing a Goblin proof with num ultra ops = 11880 (mem: 1923.32 MiB)
13:51:33 IVC successfully verified! (mem: 1923.32 MiB)
13:51:33
[ OK ] ClientIVCKernelCapacity.MaxCapacityPassing (485432 ms)
13:51:33
[----------] 1 test from ClientIVCKernelCapacity (485433 ms total)
13:51:33
13:51:33
[----------] Global test environment tear-down
13:51:33
[==========] 1 test from 1 test suite ran. (485433 ms total)
13:51:33
[ PASSED ] 1 test.