ACI ·

Parent Log: http://ci.aztec-labs.com/cd08052a52dbb30f Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCTests.DynamicTraceOverflow Commit: https://github.com/AztecProtocol/aztec-packages/commit/bf5d93af0a8ce02b399337bfcc820c48b2f18c36 Env: REF_NAME=gh-readonly-queue/next/pr-15268-3aaa83afa9cad3f8acfd8e1f724fe30adc7a8a5e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 26 22:56:41 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15268_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_f9386aa4628b9a53_next 22:56:41 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 22:56:41 Note: Google Test filter = ClientIVCTests.DynamicTraceOverflow 22:56:41 [==========] Running 1 test from 1 test suite. 22:56:41 [----------] Global test environment set-up. 22:56:41 [----------] 1 test from ClientIVCTests 22:56:41 [ RUN ] ClientIVCTests.DynamicTraceOverflow 22:56:41 BN254 commitment key size: 262144 (mem: 6.00 MiB) 22:56:41 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6.00 MiB) 22:56:41 Initialized BN254 CRS from memory with num points = 262145 (mem: 37.85 MiB) 22:56:42 Constructing DeciderProvingKey (mem: 339.82 MiB) 22:56:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 341.82 MiB) 22:56:42 goblin ecc op : 4/16384 (mem: 341.82 MiB) 22:56:42 busread : 3/16384 (mem: 341.82 MiB) 22:56:42 lookups : 2/16384 (mem: 341.82 MiB) 22:56:42 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 341.82 MiB) 22:56:42 arithmetic : 263885/32768 (mem: 341.82 MiB) 22:56:42 delta range : 1754/16384 (mem: 341.82 MiB) 22:56:42 elliptic : 2/16384 (mem: 341.82 MiB) 22:56:42 auxiliary : 26/16384 (mem: 341.82 MiB) 22:56:42 poseidon ext : 2/16384 (mem: 341.82 MiB) 22:56:42 poseidon int : 2/32768 (mem: 341.82 MiB) 22:56:42 overflow : 0/0 (mem: 341.82 MiB) 22:56:42 (mem: 341.82 MiB) 22:56:42 Total structured size: 196609 (mem: 341.82 MiB) 22:56:42 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 419.82 MiB) 22:56:42 Gate blocks summary: (actual gates / fixed capacity) (mem: 419.82 MiB) 22:56:42 goblin ecc op : 4/16384 (mem: 419.82 MiB) 22:56:42 busread : 3/16384 (mem: 419.82 MiB) 22:56:42 lookups : 2/16384 (mem: 419.82 MiB) 22:56:42 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 419.82 MiB) 22:56:42 arithmetic : 32768/32768 (mem: 419.82 MiB) 22:56:42 delta range : 1754/16384 (mem: 419.82 MiB) 22:56:42 elliptic : 2/16384 (mem: 419.82 MiB) 22:56:42 auxiliary : 26/16384 (mem: 419.82 MiB) 22:56:42 poseidon ext : 2/16384 (mem: 419.82 MiB) 22:56:42 poseidon int : 2/32768 (mem: 419.82 MiB) 22:56:42 overflow : 231118/231118 (mem: 419.82 MiB) 22:56:42 (mem: 419.82 MiB) 22:56:42 Total structured size: 427727 (mem: 419.82 MiB) 22:56:42 allocating polynomials object in proving key... (mem: 419.82 MiB) 22:56:42 populating trace... (mem: 1284.82 MiB) 22:56:42 time to construct proving key: 558 ms. (mem: 1355.82 MiB) 22:56:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1355.82 MiB) 22:56:42 Initialized BN254 CRS from memory with num points = 524289 (mem: 1395.57 MiB) 22:56:42 getting honk vk... precomputed?: 0 (mem: 1395.57 MiB) 22:56:44 computing oink proof... (mem: 1395.57 MiB) 22:56:44 vkey hash in Oink prover: 0x000000000000000000000000000000006424c704378c64ba964ee62f71c29f72 (mem: 1395.57 MiB) 22:56:49 oink proof constructed (mem: 1395.57 MiB) 22:56:49 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006424c704378c64ba964ee62f71c29f72 (mem: 1395.57 MiB) 22:56:49 Constructing DeciderProvingKey (mem: 1395.57 MiB) 22:56:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1395.57 MiB) 22:56:49 goblin ecc op : 56/16384 (mem: 1395.57 MiB) 22:56:49 busread : 3/16384 (mem: 1395.57 MiB) 22:56:49 lookups : 2/16384 (mem: 1395.57 MiB) 22:56:49 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1395.57 MiB) 22:56:49 arithmetic : 20819/32768 (mem: 1395.57 MiB) 22:56:49 delta range : 2060/16384 (mem: 1395.57 MiB) 22:56:49 elliptic : 2/16384 (mem: 1395.57 MiB) 22:56:49 auxiliary : 50/16384 (mem: 1395.57 MiB) 22:56:49 poseidon ext : 1282/16384 (mem: 1395.57 MiB) 22:56:49 poseidon int : 7298/32768 (mem: 1395.57 MiB) 22:56:49 overflow : 0/0 (mem: 1395.57 MiB) 22:56:49 (mem: 1395.57 MiB) 22:56:49 Total structured size: 196609 (mem: 1395.57 MiB) 22:56:49 allocating polynomials object in proving key... (mem: 1395.57 MiB) 22:56:50 populating trace... (mem: 1395.57 MiB) 22:56:50 time to construct proving key: 141 ms. (mem: 1395.57 MiB) 22:56:50 getting honk vk... precomputed?: 0 (mem: 1395.57 MiB) 22:56:50 computing folding proof (mem: 1395.57 MiB) 22:56:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1395.57 MiB) 22:56:50 vkey hash in Oink prover: 0x00000000000000000000000000000000da883de8926ae6a35da6f15935ccefc4 (mem: 1395.57 MiB) 22:56:51 oink prover on each incomplete key (mem: 1395.57 MiB) 22:56:52 perturbator round (mem: 1395.57 MiB) 22:56:53 combiner quotient round (mem: 1395.57 MiB) 22:56:53 folded (mem: 1395.57 MiB) 22:56:53 constructed folding proof (mem: 1395.57 MiB) 22:56:55 Largest circuit: 265676 gates. Trace details: (mem: 1395.57 MiB) 22:56:55 Minimum required block sizes for structured trace: (mem: 1395.57 MiB) 22:56:55 ecc_op : 56 22:56:55 busread : 3 22:56:55 lookup : 2 22:56:55 pub_inputs : 33 22:56:55 arithmetic : 32768 22:56:55 delta_range : 2060 22:56:55 elliptic : 2 22:56:55 aux : 50 22:56:55 poseidon2_external : 1282 22:56:55 poseidon2_internal : 7298 22:56:55 overflow : 231118 22:56:55 (mem: 1395.57 MiB) 22:56:55 prove decider... (mem: 1395.57 MiB) 22:56:56 starting sumcheck rounds... (mem: 1471.57 MiB) 22:56:57 completed 19 rounds of sumcheck (mem: 1472.57 MiB) 22:57:02 executed multivariate-to-univariate reduction (mem: 1472.57 MiB) 22:57:03 computed opening proof (mem: 1472.57 MiB) 22:57:03 finished decider proving. (mem: 1472.57 MiB) 22:57:03 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000da883de8926ae6a35da6f15935ccefc4 (mem: 1472.57 MiB) 22:57:03 Constructing DeciderProvingKey (mem: 1472.57 MiB) 22:57:03 allocating polynomials object in proving key... (mem: 1472.57 MiB) 22:57:03 populating trace... (mem: 1472.57 MiB) 22:57:03 time to construct proving key: 43 ms. (mem: 1472.57 MiB) 22:57:04 vkey hash in Oink prover: 0x000000000000000000000000000000006d706574959c0447f92c5754c5cce885 (mem: 1472.57 MiB) 22:57:05 created oink proof (mem: 1472.57 MiB) 22:57:05 starting sumcheck rounds... (mem: 1472.57 MiB) 22:57:06 completed 16 rounds of sumcheck (mem: 1472.57 MiB) 22:57:07 executed multivariate-to-univariate reduction (mem: 1472.57 MiB) 22:57:07 computed opening proof (mem: 1472.57 MiB) 22:57:07 finished decider proving. (mem: 1472.57 MiB) 22:57:07 Constructing a Goblin proof with num ultra ops = 646 (mem: 1472.57 MiB) 22:57:07 prove eccvm... (mem: 1472.57 MiB) 22:57:07 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1472.57 MiB) 22:57:07 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1472.57 MiB) 22:57:09 starting sumcheck rounds... (mem: 1472.57 MiB) 22:57:15 completed 16 rounds of sumcheck (mem: 1474.57 MiB) 22:57:19 finished eccvm proving. (mem: 1474.57 MiB) 22:57:19 prove translator... (mem: 1474.57 MiB) 22:57:21 starting sumcheck rounds... (mem: 1477.57 MiB) 22:57:25 completed 18 rounds of sumcheck (mem: 1478.57 MiB) 22:57:29 computed opening proof (mem: 1478.57 MiB) 22:57:29 finished translator proving. (mem: 1478.57 MiB) 22:57:29 time to call ClientIVC::prove: 34247 ms. (mem: 1478.57 MiB) 22:57:29 vkey hash in Oink verifier: 0x000000000000000000000000000000006d706574959c0447f92c5754c5cce885 (mem: 1478.57 MiB) 22:57:29 sumcheck_verified: 1 (mem: 1478.57 MiB) 22:57:29 libra_evals_verified: 1 (mem: 1478.57 MiB) 22:57:29 pairing_check_verified: 1 (mem: 1478.57 MiB) 22:57:29 Mega verified: 1 (mem: 1478.57 MiB) 22:57:29 eccvm sumcheck verified?: 1 (mem: 1478.57 MiB) 22:57:29 batch opening verified?: 1 (mem: 1478.57 MiB) 22:57:29 eccvm consistency check verified?: 1 (mem: 1478.57 MiB) 22:57:29 translation masking consistency checked?: 1 (mem: 1478.57 MiB) 22:57:29 merge verified?: 1 (mem: 1478.57 MiB) 22:57:29 eccvm verified?: 1 (mem: 1478.57 MiB) 22:57:29 accumulator construction_verified?: 1 (mem: 1478.57 MiB) 22:57:29 translation verified?: 1 (mem: 1478.57 MiB) 22:57:29 consistency verified?: 1 (mem: 1478.57 MiB) 22:57:29 Goblin verified: 1 (mem: 1478.57 MiB) 22:57:29 time to verify ClientIVC proof: 333 ms. (mem: 1478.57 MiB) 22:57:29 BN254 commitment key size: 262144 (mem: 1478.57 MiB) 22:57:29 Constructing DeciderProvingKey (mem: 1478.57 MiB) 22:57:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1478.57 MiB) 22:57:29 goblin ecc op : 4/16384 (mem: 1478.57 MiB) 22:57:29 busread : 3/16384 (mem: 1478.57 MiB) 22:57:29 lookups : 2/16384 (mem: 1478.57 MiB) 22:57:29 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 1478.57 MiB) 22:57:29 arithmetic : 18125/32768 (mem: 1478.57 MiB) 22:57:29 delta range : 1754/16384 (mem: 1478.57 MiB) 22:57:29 elliptic : 2/16384 (mem: 1478.57 MiB) 22:57:29 auxiliary : 26/16384 (mem: 1478.57 MiB) 22:57:29 poseidon ext : 2/16384 (mem: 1478.57 MiB) 22:57:29 poseidon int : 2/32768 (mem: 1478.57 MiB) 22:57:29 overflow : 0/0 (mem: 1478.57 MiB) 22:57:29 (mem: 1478.57 MiB) 22:57:29 Total structured size: 196609 (mem: 1478.57 MiB) 22:57:29 allocating polynomials object in proving key... (mem: 1478.57 MiB) 22:57:30 populating trace... (mem: 1478.57 MiB) 22:57:30 time to construct proving key: 78 ms. (mem: 1478.57 MiB) 22:57:30 getting honk vk... precomputed?: 0 (mem: 1478.57 MiB) 22:57:30 computing oink proof... (mem: 1478.57 MiB) 22:57:30 vkey hash in Oink prover: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1478.57 MiB) 22:57:30 oink proof constructed (mem: 1478.57 MiB) 22:57:31 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1478.57 MiB) 22:57:31 Constructing DeciderProvingKey (mem: 1478.57 MiB) 22:57:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 1478.57 MiB) 22:57:31 goblin ecc op : 56/16384 (mem: 1478.57 MiB) 22:57:31 busread : 3/16384 (mem: 1478.57 MiB) 22:57:31 lookups : 2/16384 (mem: 1478.57 MiB) 22:57:31 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1478.57 MiB) 22:57:31 arithmetic : 69971/32768 (mem: 1478.57 MiB) 22:57:31 delta range : 2060/16384 (mem: 1478.57 MiB) 22:57:31 elliptic : 2/16384 (mem: 1478.57 MiB) 22:57:31 auxiliary : 50/16384 (mem: 1478.57 MiB) 22:57:31 poseidon ext : 1282/16384 (mem: 1478.57 MiB) 22:57:31 poseidon int : 7298/32768 (mem: 1478.57 MiB) 22:57:31 overflow : 0/0 (mem: 1478.57 MiB) 22:57:31 (mem: 1478.57 MiB) 22:57:31 Total structured size: 196609 (mem: 1478.57 MiB) 22:57:31 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1478.57 MiB) 22:57:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 1478.57 MiB) 22:57:31 goblin ecc op : 56/16384 (mem: 1478.57 MiB) 22:57:31 busread : 3/16384 (mem: 1478.57 MiB) 22:57:31 lookups : 2/16384 (mem: 1478.57 MiB) 22:57:31 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1478.57 MiB) 22:57:31 arithmetic : 32768/32768 (mem: 1478.57 MiB) 22:57:31 delta range : 2060/16384 (mem: 1478.57 MiB) 22:57:31 elliptic : 2/16384 (mem: 1478.57 MiB) 22:57:31 auxiliary : 50/16384 (mem: 1478.57 MiB) 22:57:31 poseidon ext : 1282/16384 (mem: 1478.57 MiB) 22:57:31 poseidon int : 7298/32768 (mem: 1478.57 MiB) 22:57:31 overflow : 37204/37204 (mem: 1478.57 MiB) 22:57:31 (mem: 1478.57 MiB) 22:57:31 Total structured size: 233813 (mem: 1478.57 MiB) 22:57:31 allocating polynomials object in proving key... (mem: 1478.57 MiB) 22:57:31 populating trace... (mem: 1478.57 MiB) 22:57:31 time to construct proving key: 191 ms. (mem: 1478.57 MiB) 22:57:31 getting honk vk... precomputed?: 0 (mem: 1478.57 MiB) 22:57:32 computing folding proof (mem: 1478.57 MiB) 22:57:32 vkey hash in Oink prover: 0x000000000000000000000000000000000fa5ee3b021b360fa95c6eda4356453e (mem: 1478.57 MiB) 22:57:34 oink prover on each incomplete key (mem: 1478.57 MiB) 22:57:34 perturbator round (mem: 1478.57 MiB) 22:57:34 combiner quotient round (mem: 1478.57 MiB) 22:57:35 folded (mem: 1478.57 MiB) 22:57:35 constructed folding proof (mem: 1478.57 MiB) 22:57:36 Largest circuit: 80668 gates. Trace details: (mem: 1478.57 MiB) 22:57:36 Minimum required block sizes for structured trace: (mem: 1478.57 MiB) 22:57:36 ecc_op : 56 22:57:36 busread : 3 22:57:36 lookup : 2 22:57:36 pub_inputs : 33 22:57:36 arithmetic : 32768 22:57:36 delta_range : 2060 22:57:36 elliptic : 2 22:57:36 aux : 50 22:57:36 poseidon2_external : 1282 22:57:36 poseidon2_internal : 7298 22:57:36 overflow : 37204 22:57:36 (mem: 1478.57 MiB) 22:57:36 prove decider... (mem: 1478.57 MiB) 22:57:36 starting sumcheck rounds... (mem: 1478.57 MiB) 22:57:37 completed 18 rounds of sumcheck (mem: 1478.57 MiB) 22:57:39 executed multivariate-to-univariate reduction (mem: 1478.57 MiB) 22:57:40 computed opening proof (mem: 1478.57 MiB) 22:57:40 finished decider proving. (mem: 1478.57 MiB) 22:57:40 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000fa5ee3b021b360fa95c6eda4356453e (mem: 1478.57 MiB) 22:57:40 Constructing DeciderProvingKey (mem: 1478.57 MiB) 22:57:40 allocating polynomials object in proving key... (mem: 1478.57 MiB) 22:57:40 populating trace... (mem: 1478.57 MiB) 22:57:40 time to construct proving key: 58 ms. (mem: 1478.57 MiB) 22:57:41 vkey hash in Oink prover: 0x000000000000000000000000000000006d706574959c0447f92c5754c5cce885 (mem: 1478.57 MiB) 22:57:42 created oink proof (mem: 1478.57 MiB) 22:57:42 starting sumcheck rounds... (mem: 1478.57 MiB) 22:57:42 completed 16 rounds of sumcheck (mem: 1478.57 MiB) 22:57:43 executed multivariate-to-univariate reduction (mem: 1478.57 MiB) 22:57:43 computed opening proof (mem: 1478.57 MiB) 22:57:43 finished decider proving. (mem: 1478.57 MiB) 22:57:43 Constructing a Goblin proof with num ultra ops = 646 (mem: 1478.57 MiB) 22:57:43 prove eccvm... (mem: 1478.57 MiB) 22:57:45 starting sumcheck rounds... (mem: 1478.57 MiB) 22:57:51 completed 16 rounds of sumcheck (mem: 1478.57 MiB) 22:57:55 finished eccvm proving. (mem: 1478.57 MiB) 22:57:55 prove translator... (mem: 1478.57 MiB) 22:57:57 starting sumcheck rounds... (mem: 1478.57 MiB) 22:58:01 completed 18 rounds of sumcheck (mem: 1478.57 MiB) 22:58:06 computed opening proof (mem: 1478.57 MiB) 22:58:06 finished translator proving. (mem: 1478.57 MiB) 22:58:06 time to call ClientIVC::prove: 29997 ms. (mem: 1478.57 MiB) 22:58:06 vkey hash in Oink verifier: 0x000000000000000000000000000000006d706574959c0447f92c5754c5cce885 (mem: 1478.57 MiB) 22:58:06 sumcheck_verified: 1 (mem: 1478.57 MiB) 22:58:06 libra_evals_verified: 1 (mem: 1478.57 MiB) 22:58:06 pairing_check_verified: 1 (mem: 1478.57 MiB) 22:58:06 Mega verified: 1 (mem: 1478.57 MiB) 22:58:06 eccvm sumcheck verified?: 1 (mem: 1478.57 MiB) 22:58:06 batch opening verified?: 1 (mem: 1478.57 MiB) 22:58:06 eccvm consistency check verified?: 1 (mem: 1478.57 MiB) 22:58:06 translation masking consistency checked?: 1 (mem: 1478.57 MiB) 22:58:06 merge verified?: 1 (mem: 1478.57 MiB) 22:58:06 eccvm verified?: 1 (mem: 1478.57 MiB) 22:58:06 accumulator construction_verified?: 1 (mem: 1478.57 MiB) 22:58:06 translation verified?: 1 (mem: 1478.57 MiB) 22:58:06 consistency verified?: 1 (mem: 1478.57 MiB) 22:58:06 Goblin verified: 1 (mem: 1478.57 MiB) 22:58:06 time to verify ClientIVC proof: 327 ms. (mem: 1478.57 MiB) 22:58:06 BN254 commitment key size: 262144 (mem: 1478.57 MiB) 22:58:06 Constructing DeciderProvingKey (mem: 1478.57 MiB) 22:58:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 1478.57 MiB) 22:58:06 goblin ecc op : 4/16384 (mem: 1478.57 MiB) 22:58:06 busread : 3/16384 (mem: 1478.57 MiB) 22:58:06 lookups : 2/16384 (mem: 1478.57 MiB) 22:58:06 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 1478.57 MiB) 22:58:06 arithmetic : 18125/32768 (mem: 1478.57 MiB) 22:58:06 delta range : 1754/16384 (mem: 1478.57 MiB) 22:58:06 elliptic : 2/16384 (mem: 1478.57 MiB) 22:58:06 auxiliary : 26/16384 (mem: 1478.57 MiB) 22:58:06 poseidon ext : 2/16384 (mem: 1478.57 MiB) 22:58:06 poseidon int : 2/32768 (mem: 1478.57 MiB) 22:58:06 overflow : 0/0 (mem: 1478.57 MiB) 22:58:06 (mem: 1478.57 MiB) 22:58:06 Total structured size: 196609 (mem: 1478.57 MiB) 22:58:06 allocating polynomials object in proving key... (mem: 1478.57 MiB) 22:58:06 populating trace... (mem: 1478.57 MiB) 22:58:06 time to construct proving key: 73 ms. (mem: 1478.57 MiB) 22:58:06 getting honk vk... precomputed?: 0 (mem: 1478.57 MiB) 22:58:06 computing oink proof... (mem: 1478.57 MiB) 22:58:06 vkey hash in Oink prover: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1478.57 MiB) 22:58:07 oink proof constructed (mem: 1478.57 MiB) 22:58:07 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1478.57 MiB) 22:58:07 Constructing DeciderProvingKey (mem: 1478.57 MiB) 22:58:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1478.57 MiB) 22:58:07 goblin ecc op : 56/16384 (mem: 1478.57 MiB) 22:58:07 busread : 3/16384 (mem: 1478.57 MiB) 22:58:07 lookups : 2/16384 (mem: 1478.57 MiB) 22:58:07 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1478.57 MiB) 22:58:07 arithmetic : 266579/32768 (mem: 1478.57 MiB) 22:58:07 delta range : 2060/16384 (mem: 1478.57 MiB) 22:58:07 elliptic : 2/16384 (mem: 1478.57 MiB) 22:58:07 auxiliary : 50/16384 (mem: 1478.57 MiB) 22:58:07 poseidon ext : 1282/16384 (mem: 1478.57 MiB) 22:58:07 poseidon int : 7298/32768 (mem: 1478.57 MiB) 22:58:07 overflow : 0/0 (mem: 1478.57 MiB) 22:58:07 (mem: 1478.57 MiB) 22:58:07 Total structured size: 196609 (mem: 1478.57 MiB) 22:58:07 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1478.57 MiB) 22:58:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1478.57 MiB) 22:58:07 goblin ecc op : 56/16384 (mem: 1478.57 MiB) 22:58:07 busread : 3/16384 (mem: 1478.57 MiB) 22:58:07 lookups : 2/16384 (mem: 1478.57 MiB) 22:58:07 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1478.57 MiB) 22:58:07 arithmetic : 32768/32768 (mem: 1478.57 MiB) 22:58:07 delta range : 2060/16384 (mem: 1478.57 MiB) 22:58:07 elliptic : 2/16384 (mem: 1478.57 MiB) 22:58:07 auxiliary : 50/16384 (mem: 1478.57 MiB) 22:58:07 poseidon ext : 1282/16384 (mem: 1478.57 MiB) 22:58:07 poseidon int : 7298/32768 (mem: 1478.57 MiB) 22:58:07 overflow : 233812/233812 (mem: 1478.57 MiB) 22:58:07 (mem: 1478.57 MiB) 22:58:07 Total structured size: 430421 (mem: 1478.57 MiB) 22:58:07 allocating polynomials object in proving key... (mem: 1478.57 MiB) 22:58:08 populating trace... (mem: 1630.57 MiB) 22:58:08 time to construct proving key: 487 ms. (mem: 1682.57 MiB) 22:58:08 getting honk vk... precomputed?: 0 (mem: 1682.57 MiB) 22:58:10 computing folding proof (mem: 1682.57 MiB) 22:58:10 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 1682.57 MiB) 22:58:10 vkey hash in Oink prover: 0x0000000000000000000000000000000043106588bd207d7108479124f3832df9 (mem: 1682.57 MiB) 22:58:15 oink prover on each incomplete key (mem: 1682.57 MiB) 22:58:15 perturbator round (mem: 1682.57 MiB) 22:58:16 combiner quotient round (mem: 1689.38 MiB) 22:58:16 folded (mem: 1689.38 MiB) 22:58:16 constructed folding proof (mem: 1689.38 MiB) 22:58:18 Largest circuit: 277276 gates. Trace details: (mem: 1689.38 MiB) 22:58:18 Minimum required block sizes for structured trace: (mem: 1689.38 MiB) 22:58:18 ecc_op : 56 22:58:18 busread : 3 22:58:18 lookup : 2 22:58:18 pub_inputs : 33 22:58:18 arithmetic : 32768 22:58:18 delta_range : 2060 22:58:18 elliptic : 2 22:58:18 aux : 50 22:58:18 poseidon2_external : 1282 22:58:18 poseidon2_internal : 7298 22:58:18 overflow : 233812 22:58:18 (mem: 1689.38 MiB) 22:58:18 prove decider... (mem: 1689.38 MiB) 22:58:19 starting sumcheck rounds... (mem: 1689.38 MiB) 22:58:21 completed 19 rounds of sumcheck (mem: 1689.38 MiB) 22:58:28 executed multivariate-to-univariate reduction (mem: 1689.38 MiB) 22:58:30 computed opening proof (mem: 1689.38 MiB) 22:58:30 finished decider proving. (mem: 1689.38 MiB) 22:58:30 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000043106588bd207d7108479124f3832df9 (mem: 1689.38 MiB) 22:58:30 Constructing DeciderProvingKey (mem: 1689.38 MiB) 22:58:30 allocating polynomials object in proving key... (mem: 1689.38 MiB) 22:58:30 populating trace... (mem: 1689.38 MiB) 22:58:30 time to construct proving key: 166 ms. (mem: 1689.38 MiB) 22:58:32 vkey hash in Oink prover: 0x0000000000000000000000000000000022996fa0c7f28ce49467577fe3aac995 (mem: 1689.38 MiB) 22:58:33 created oink proof (mem: 1689.38 MiB) 22:58:33 starting sumcheck rounds... (mem: 1689.38 MiB) 22:58:33 completed 16 rounds of sumcheck (mem: 1689.38 MiB) 22:58:35 executed multivariate-to-univariate reduction (mem: 1689.38 MiB) 22:58:35 computed opening proof (mem: 1689.38 MiB) 22:58:35 finished decider proving. (mem: 1689.38 MiB) 22:58:35 Constructing a Goblin proof with num ultra ops = 646 (mem: 1689.38 MiB) 22:58:35 prove eccvm... (mem: 1689.38 MiB) 22:58:37 starting sumcheck rounds... (mem: 1689.38 MiB) 22:58:44 completed 16 rounds of sumcheck (mem: 1689.38 MiB) 22:58:48 finished eccvm proving. (mem: 1689.38 MiB) 22:58:48 prove translator... (mem: 1689.38 MiB) 22:58:49 starting sumcheck rounds... (mem: 1689.38 MiB) 22:58:53 completed 18 rounds of sumcheck (mem: 1689.38 MiB) 22:58:57 computed opening proof (mem: 1689.38 MiB) 22:58:57 finished translator proving. (mem: 1689.38 MiB) 22:58:57 time to call ClientIVC::prove: 39482 ms. (mem: 1689.38 MiB) 22:58:57 vkey hash in Oink verifier: 0x0000000000000000000000000000000022996fa0c7f28ce49467577fe3aac995 (mem: 1689.38 MiB) 22:58:57 sumcheck_verified: 1 (mem: 1689.38 MiB) 22:58:57 libra_evals_verified: 1 (mem: 1689.38 MiB) 22:58:57 pairing_check_verified: 1 (mem: 1689.38 MiB) 22:58:57 Mega verified: 1 (mem: 1689.38 MiB) 22:58:58 eccvm sumcheck verified?: 1 (mem: 1689.38 MiB) 22:58:58 batch opening verified?: 1 (mem: 1689.38 MiB) 22:58:58 eccvm consistency check verified?: 1 (mem: 1689.38 MiB) 22:58:58 translation masking consistency checked?: 1 (mem: 1689.38 MiB) 22:58:58 merge verified?: 1 (mem: 1689.38 MiB) 22:58:58 eccvm verified?: 1 (mem: 1689.38 MiB) 22:58:58 accumulator construction_verified?: 1 (mem: 1689.38 MiB) 22:58:58 translation verified?: 1 (mem: 1689.38 MiB) 22:58:58 consistency verified?: 1 (mem: 1689.38 MiB) 22:58:58 Goblin verified: 1 (mem: 1689.38 MiB) 22:58:58 time to verify ClientIVC proof: 283 ms. (mem: 1689.38 MiB) 22:58:58 BN254 commitment key size: 262144 (mem: 1689.38 MiB) 22:58:58 Constructing DeciderProvingKey (mem: 1689.38 MiB) 22:58:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1689.38 MiB) 22:58:58 goblin ecc op : 4/16384 (mem: 1689.38 MiB) 22:58:58 busread : 3/16384 (mem: 1689.38 MiB) 22:58:58 lookups : 2/16384 (mem: 1689.38 MiB) 22:58:58 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 1689.38 MiB) 22:58:58 arithmetic : 18125/32768 (mem: 1689.38 MiB) 22:58:58 delta range : 1754/16384 (mem: 1689.38 MiB) 22:58:58 elliptic : 2/16384 (mem: 1689.38 MiB) 22:58:58 auxiliary : 26/16384 (mem: 1689.38 MiB) 22:58:58 poseidon ext : 2/16384 (mem: 1689.38 MiB) 22:58:58 poseidon int : 2/32768 (mem: 1689.38 MiB) 22:58:58 overflow : 0/0 (mem: 1689.38 MiB) 22:58:58 (mem: 1689.38 MiB) 22:58:58 Total structured size: 196609 (mem: 1689.38 MiB) 22:58:58 allocating polynomials object in proving key... (mem: 1689.38 MiB) 22:58:58 populating trace... (mem: 1689.38 MiB) 22:58:58 time to construct proving key: 70 ms. (mem: 1689.38 MiB) 22:58:58 getting honk vk... precomputed?: 0 (mem: 1689.38 MiB) 22:58:58 computing oink proof... (mem: 1689.38 MiB) 22:58:58 vkey hash in Oink prover: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1689.38 MiB) 22:58:59 oink proof constructed (mem: 1689.38 MiB) 22:58:59 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1689.38 MiB) 22:58:59 Constructing DeciderProvingKey (mem: 1689.38 MiB) 22:58:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1689.38 MiB) 22:58:59 goblin ecc op : 56/16384 (mem: 1689.38 MiB) 22:58:59 busread : 3/16384 (mem: 1689.38 MiB) 22:58:59 lookups : 2/16384 (mem: 1689.38 MiB) 22:58:59 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1689.38 MiB) 22:58:59 arithmetic : 266579/32768 (mem: 1689.38 MiB) 22:58:59 delta range : 2060/16384 (mem: 1689.38 MiB) 22:58:59 elliptic : 2/16384 (mem: 1689.38 MiB) 22:58:59 auxiliary : 50/16384 (mem: 1689.38 MiB) 22:58:59 poseidon ext : 1282/16384 (mem: 1689.38 MiB) 22:58:59 poseidon int : 7298/32768 (mem: 1689.38 MiB) 22:58:59 overflow : 0/0 (mem: 1689.38 MiB) 22:58:59 (mem: 1689.38 MiB) 22:58:59 Total structured size: 196609 (mem: 1689.38 MiB) 22:58:59 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1689.38 MiB) 22:58:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 1689.38 MiB) 22:58:59 goblin ecc op : 56/16384 (mem: 1689.38 MiB) 22:58:59 busread : 3/16384 (mem: 1689.38 MiB) 22:58:59 lookups : 2/16384 (mem: 1689.38 MiB) 22:58:59 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1689.38 MiB) 22:58:59 arithmetic : 32768/32768 (mem: 1689.38 MiB) 22:58:59 delta range : 2060/16384 (mem: 1689.38 MiB) 22:58:59 elliptic : 2/16384 (mem: 1689.38 MiB) 22:58:59 auxiliary : 50/16384 (mem: 1689.38 MiB) 22:58:59 poseidon ext : 1282/16384 (mem: 1689.38 MiB) 22:58:59 poseidon int : 7298/32768 (mem: 1689.38 MiB) 22:58:59 overflow : 233812/233812 (mem: 1689.38 MiB) 22:58:59 (mem: 1689.38 MiB) 22:58:59 Total structured size: 430421 (mem: 1689.38 MiB) 22:58:59 allocating polynomials object in proving key... (mem: 1689.38 MiB) 22:59:00 populating trace... (mem: 1689.38 MiB) 22:59:00 time to construct proving key: 443 ms. (mem: 1689.38 MiB) 22:59:00 getting honk vk... precomputed?: 0 (mem: 1689.38 MiB) 22:59:02 computing folding proof (mem: 1689.38 MiB) 22:59:02 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 1689.38 MiB) 22:59:02 vkey hash in Oink prover: 0x0000000000000000000000000000000043106588bd207d7108479124f3832df9 (mem: 1689.38 MiB) 22:59:07 oink prover on each incomplete key (mem: 1689.38 MiB) 22:59:07 perturbator round (mem: 1689.38 MiB) 22:59:08 combiner quotient round (mem: 1713.38 MiB) 22:59:09 folded (mem: 1713.38 MiB) 22:59:09 constructed folding proof (mem: 1713.38 MiB) 22:59:09 Constructing DeciderProvingKey (mem: 1713.38 MiB) 22:59:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:09 goblin ecc op : 4/16384 (mem: 1713.38 MiB) 22:59:09 busread : 3/16384 (mem: 1713.38 MiB) 22:59:09 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:09 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:09 arithmetic : 18125/32768 (mem: 1713.38 MiB) 22:59:09 delta range : 1754/16384 (mem: 1713.38 MiB) 22:59:09 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:09 auxiliary : 26/16384 (mem: 1713.38 MiB) 22:59:09 poseidon ext : 2/16384 (mem: 1713.38 MiB) 22:59:09 poseidon int : 2/32768 (mem: 1713.38 MiB) 22:59:09 overflow : 0/0 (mem: 1713.38 MiB) 22:59:09 (mem: 1713.38 MiB) 22:59:09 Total structured size: 196609 (mem: 1713.38 MiB) 22:59:09 allocating polynomials object in proving key... (mem: 1713.38 MiB) 22:59:09 populating trace... (mem: 1713.38 MiB) 22:59:09 time to construct proving key: 48 ms. (mem: 1713.38 MiB) 22:59:09 getting honk vk... precomputed?: 0 (mem: 1713.38 MiB) 22:59:09 computing folding proof (mem: 1713.38 MiB) 22:59:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1713.38 MiB) 22:59:09 vkey hash in Oink prover: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1713.38 MiB) 22:59:10 oink prover on each incomplete key (mem: 1713.38 MiB) 22:59:10 perturbator round (mem: 1713.38 MiB) 22:59:11 combiner quotient round (mem: 1713.38 MiB) 22:59:11 folded (mem: 1713.38 MiB) 22:59:11 constructed folding proof (mem: 1713.38 MiB) 22:59:11 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000043106588bd207d7108479124f3832df9 (mem: 1713.38 MiB) 22:59:11 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1713.38 MiB) 22:59:11 Constructing DeciderProvingKey (mem: 1713.38 MiB) 22:59:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:11 goblin ecc op : 792/16384 (mem: 1713.38 MiB) 22:59:11 busread : 3/16384 (mem: 1713.38 MiB) 22:59:11 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:11 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:11 arithmetic : 77112/32768 (mem: 1713.38 MiB) 22:59:11 delta range : 2938/16384 (mem: 1713.38 MiB) 22:59:11 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:11 auxiliary : 50/16384 (mem: 1713.38 MiB) 22:59:11 poseidon ext : 4892/16384 (mem: 1713.38 MiB) 22:59:11 poseidon int : 27875/32768 (mem: 1713.38 MiB) 22:59:11 overflow : 0/0 (mem: 1713.38 MiB) 22:59:11 (mem: 1713.38 MiB) 22:59:11 Total structured size: 196609 (mem: 1713.38 MiB) 22:59:11 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1713.38 MiB) 22:59:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:11 goblin ecc op : 792/16384 (mem: 1713.38 MiB) 22:59:11 busread : 3/16384 (mem: 1713.38 MiB) 22:59:11 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:11 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:11 arithmetic : 32768/32768 (mem: 1713.38 MiB) 22:59:11 delta range : 2938/16384 (mem: 1713.38 MiB) 22:59:11 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:11 auxiliary : 50/16384 (mem: 1713.38 MiB) 22:59:11 poseidon ext : 4892/16384 (mem: 1713.38 MiB) 22:59:11 poseidon int : 27875/32768 (mem: 1713.38 MiB) 22:59:11 overflow : 44345/44345 (mem: 1713.38 MiB) 22:59:11 (mem: 1713.38 MiB) 22:59:11 Total structured size: 240954 (mem: 1713.38 MiB) 22:59:11 allocating polynomials object in proving key... (mem: 1713.38 MiB) 22:59:11 populating trace... (mem: 1713.38 MiB) 22:59:12 time to construct proving key: 143 ms. (mem: 1713.38 MiB) 22:59:12 getting honk vk... precomputed?: 0 (mem: 1713.38 MiB) 22:59:13 computing folding proof (mem: 1713.38 MiB) 22:59:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1713.38 MiB) 22:59:13 vkey hash in Oink prover: 0x00000000000000000000000000000000405f14e8941a3a862a5c6014ef34cfd2 (mem: 1713.38 MiB) 22:59:15 oink prover on each incomplete key (mem: 1713.38 MiB) 22:59:15 perturbator round (mem: 1713.38 MiB) 22:59:16 combiner quotient round (mem: 1713.38 MiB) 22:59:17 folded (mem: 1713.38 MiB) 22:59:17 constructed folding proof (mem: 1713.38 MiB) 22:59:18 Largest circuit: 277276 gates. Trace details: (mem: 1713.38 MiB) 22:59:18 Minimum required block sizes for structured trace: (mem: 1713.38 MiB) 22:59:18 ecc_op : 792 22:59:18 busread : 3 22:59:18 lookup : 2 22:59:18 pub_inputs : 33 22:59:18 arithmetic : 32768 22:59:18 delta_range : 2938 22:59:18 elliptic : 2 22:59:18 aux : 50 22:59:18 poseidon2_external : 4892 22:59:18 poseidon2_internal : 27875 22:59:18 overflow : 233812 22:59:18 (mem: 1713.38 MiB) 22:59:18 prove decider... (mem: 1713.38 MiB) 22:59:18 starting sumcheck rounds... (mem: 1713.38 MiB) 22:59:19 completed 19 rounds of sumcheck (mem: 1713.38 MiB) 22:59:23 executed multivariate-to-univariate reduction (mem: 1713.38 MiB) 22:59:24 computed opening proof (mem: 1713.38 MiB) 22:59:24 finished decider proving. (mem: 1713.38 MiB) 22:59:24 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000405f14e8941a3a862a5c6014ef34cfd2 (mem: 1713.38 MiB) 22:59:24 Constructing DeciderProvingKey (mem: 1713.38 MiB) 22:59:24 allocating polynomials object in proving key... (mem: 1713.38 MiB) 22:59:24 populating trace... (mem: 1713.38 MiB) 22:59:24 time to construct proving key: 43 ms. (mem: 1713.38 MiB) 22:59:25 vkey hash in Oink prover: 0x000000000000000000000000000000006d706574959c0447f92c5754c5cce885 (mem: 1713.38 MiB) 22:59:26 created oink proof (mem: 1713.38 MiB) 22:59:26 starting sumcheck rounds... (mem: 1713.38 MiB) 22:59:26 completed 16 rounds of sumcheck (mem: 1713.38 MiB) 22:59:27 executed multivariate-to-univariate reduction (mem: 1713.38 MiB) 22:59:27 computed opening proof (mem: 1713.38 MiB) 22:59:27 finished decider proving. (mem: 1713.38 MiB) 22:59:27 Constructing a Goblin proof with num ultra ops = 1442 (mem: 1713.38 MiB) 22:59:27 prove eccvm... (mem: 1713.38 MiB) 22:59:29 starting sumcheck rounds... (mem: 1713.38 MiB) 22:59:33 completed 16 rounds of sumcheck (mem: 1713.38 MiB) 22:59:36 finished eccvm proving. (mem: 1713.38 MiB) 22:59:36 prove translator... (mem: 1713.38 MiB) 22:59:38 starting sumcheck rounds... (mem: 1713.38 MiB) 22:59:41 completed 18 rounds of sumcheck (mem: 1713.38 MiB) 22:59:45 computed opening proof (mem: 1713.38 MiB) 22:59:45 finished translator proving. (mem: 1713.38 MiB) 22:59:45 time to call ClientIVC::prove: 27041 ms. (mem: 1713.38 MiB) 22:59:45 vkey hash in Oink verifier: 0x000000000000000000000000000000006d706574959c0447f92c5754c5cce885 (mem: 1713.38 MiB) 22:59:45 sumcheck_verified: 1 (mem: 1713.38 MiB) 22:59:45 libra_evals_verified: 1 (mem: 1713.38 MiB) 22:59:45 pairing_check_verified: 1 (mem: 1713.38 MiB) 22:59:45 Mega verified: 1 (mem: 1713.38 MiB) 22:59:45 eccvm sumcheck verified?: 1 (mem: 1713.38 MiB) 22:59:45 batch opening verified?: 1 (mem: 1713.38 MiB) 22:59:45 eccvm consistency check verified?: 1 (mem: 1713.38 MiB) 22:59:45 translation masking consistency checked?: 1 (mem: 1713.38 MiB) 22:59:45 merge verified?: 1 (mem: 1713.38 MiB) 22:59:45 eccvm verified?: 1 (mem: 1713.38 MiB) 22:59:45 accumulator construction_verified?: 1 (mem: 1713.38 MiB) 22:59:45 translation verified?: 1 (mem: 1713.38 MiB) 22:59:45 consistency verified?: 1 (mem: 1713.38 MiB) 22:59:45 Goblin verified: 1 (mem: 1713.38 MiB) 22:59:45 time to verify ClientIVC proof: 241 ms. (mem: 1713.38 MiB) 22:59:45 BN254 commitment key size: 262144 (mem: 1713.38 MiB) 22:59:45 Constructing DeciderProvingKey (mem: 1713.38 MiB) 22:59:45 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:45 goblin ecc op : 4/16384 (mem: 1713.38 MiB) 22:59:45 busread : 3/16384 (mem: 1713.38 MiB) 22:59:45 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:45 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:45 arithmetic : 18125/32768 (mem: 1713.38 MiB) 22:59:45 delta range : 1754/16384 (mem: 1713.38 MiB) 22:59:45 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:45 auxiliary : 26/16384 (mem: 1713.38 MiB) 22:59:45 poseidon ext : 2/16384 (mem: 1713.38 MiB) 22:59:45 poseidon int : 2/32768 (mem: 1713.38 MiB) 22:59:45 overflow : 0/0 (mem: 1713.38 MiB) 22:59:45 (mem: 1713.38 MiB) 22:59:45 Total structured size: 196609 (mem: 1713.38 MiB) 22:59:45 allocating polynomials object in proving key... (mem: 1713.38 MiB) 22:59:45 populating trace... (mem: 1713.38 MiB) 22:59:45 time to construct proving key: 25 ms. (mem: 1713.38 MiB) 22:59:45 getting honk vk... precomputed?: 0 (mem: 1713.38 MiB) 22:59:45 computing oink proof... (mem: 1713.38 MiB) 22:59:45 vkey hash in Oink prover: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1713.38 MiB) 22:59:46 oink proof constructed (mem: 1713.38 MiB) 22:59:46 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1713.38 MiB) 22:59:46 Constructing DeciderProvingKey (mem: 1713.38 MiB) 22:59:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:46 goblin ecc op : 56/16384 (mem: 1713.38 MiB) 22:59:46 busread : 3/16384 (mem: 1713.38 MiB) 22:59:46 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:46 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:46 arithmetic : 69971/32768 (mem: 1713.38 MiB) 22:59:46 delta range : 2060/16384 (mem: 1713.38 MiB) 22:59:46 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:46 auxiliary : 50/16384 (mem: 1713.38 MiB) 22:59:46 poseidon ext : 1282/16384 (mem: 1713.38 MiB) 22:59:46 poseidon int : 7298/32768 (mem: 1713.38 MiB) 22:59:46 overflow : 0/0 (mem: 1713.38 MiB) 22:59:46 (mem: 1713.38 MiB) 22:59:46 Total structured size: 196609 (mem: 1713.38 MiB) 22:59:46 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1713.38 MiB) 22:59:46 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:46 goblin ecc op : 56/16384 (mem: 1713.38 MiB) 22:59:46 busread : 3/16384 (mem: 1713.38 MiB) 22:59:46 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:46 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:46 arithmetic : 32768/32768 (mem: 1713.38 MiB) 22:59:46 delta range : 2060/16384 (mem: 1713.38 MiB) 22:59:46 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:46 auxiliary : 50/16384 (mem: 1713.38 MiB) 22:59:46 poseidon ext : 1282/16384 (mem: 1713.38 MiB) 22:59:46 poseidon int : 7298/32768 (mem: 1713.38 MiB) 22:59:46 overflow : 37204/37204 (mem: 1713.38 MiB) 22:59:46 (mem: 1713.38 MiB) 22:59:46 Total structured size: 233813 (mem: 1713.38 MiB) 22:59:46 allocating polynomials object in proving key... (mem: 1713.38 MiB) 22:59:46 populating trace... (mem: 1713.38 MiB) 22:59:46 time to construct proving key: 137 ms. (mem: 1713.38 MiB) 22:59:46 getting honk vk... precomputed?: 0 (mem: 1713.38 MiB) 22:59:47 computing folding proof (mem: 1713.38 MiB) 22:59:47 vkey hash in Oink prover: 0x000000000000000000000000000000000fa5ee3b021b360fa95c6eda4356453e (mem: 1713.38 MiB) 22:59:48 oink prover on each incomplete key (mem: 1713.38 MiB) 22:59:48 perturbator round (mem: 1713.38 MiB) 22:59:49 combiner quotient round (mem: 1713.38 MiB) 22:59:49 folded (mem: 1713.38 MiB) 22:59:49 constructed folding proof (mem: 1713.38 MiB) 22:59:49 Constructing DeciderProvingKey (mem: 1713.38 MiB) 22:59:49 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:49 goblin ecc op : 4/16384 (mem: 1713.38 MiB) 22:59:49 busread : 3/16384 (mem: 1713.38 MiB) 22:59:49 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:49 pub inputs : 17/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:49 arithmetic : 18125/32768 (mem: 1713.38 MiB) 22:59:49 delta range : 1754/16384 (mem: 1713.38 MiB) 22:59:49 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:49 auxiliary : 26/16384 (mem: 1713.38 MiB) 22:59:49 poseidon ext : 2/16384 (mem: 1713.38 MiB) 22:59:49 poseidon int : 2/32768 (mem: 1713.38 MiB) 22:59:49 overflow : 0/0 (mem: 1713.38 MiB) 22:59:49 (mem: 1713.38 MiB) 22:59:49 Total structured size: 196609 (mem: 1713.38 MiB) 22:59:49 allocating polynomials object in proving key... (mem: 1713.38 MiB) 22:59:49 populating trace... (mem: 1713.38 MiB) 22:59:49 time to construct proving key: 40 ms. (mem: 1713.38 MiB) 22:59:49 getting honk vk... precomputed?: 0 (mem: 1713.38 MiB) 22:59:49 computing folding proof (mem: 1713.38 MiB) 22:59:49 vkey hash in Oink prover: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1713.38 MiB) 22:59:50 oink prover on each incomplete key (mem: 1713.38 MiB) 22:59:50 perturbator round (mem: 1713.38 MiB) 22:59:50 combiner quotient round (mem: 1713.38 MiB) 22:59:51 folded (mem: 1713.38 MiB) 22:59:51 constructed folding proof (mem: 1713.38 MiB) 22:59:51 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000fa5ee3b021b360fa95c6eda4356453e (mem: 1713.38 MiB) 22:59:51 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000066ecdf1aa4f8a55fa7b2ea1ad4a81cbd (mem: 1713.38 MiB) 22:59:51 Constructing DeciderProvingKey (mem: 1713.38 MiB) 22:59:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:51 goblin ecc op : 792/16384 (mem: 1713.38 MiB) 22:59:51 busread : 3/16384 (mem: 1713.38 MiB) 22:59:51 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:51 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:51 arithmetic : 273720/32768 (mem: 1713.38 MiB) 22:59:51 delta range : 2938/16384 (mem: 1713.38 MiB) 22:59:51 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:51 auxiliary : 50/16384 (mem: 1713.38 MiB) 22:59:51 poseidon ext : 4892/16384 (mem: 1713.38 MiB) 22:59:51 poseidon int : 27875/32768 (mem: 1713.38 MiB) 22:59:51 overflow : 0/0 (mem: 1713.38 MiB) 22:59:51 (mem: 1713.38 MiB) 22:59:51 Total structured size: 196609 (mem: 1713.38 MiB) 22:59:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1713.38 MiB) 22:59:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1713.38 MiB) 22:59:51 goblin ecc op : 792/16384 (mem: 1713.38 MiB) 22:59:51 busread : 3/16384 (mem: 1713.38 MiB) 22:59:51 lookups : 2/16384 (mem: 1713.38 MiB) 22:59:51 pub inputs : 33/16384 (populated in decider pk constructor) (mem: 1713.38 MiB) 22:59:51 arithmetic : 32768/32768 (mem: 1713.38 MiB) 22:59:51 delta range : 2938/16384 (mem: 1713.38 MiB) 22:59:51 elliptic : 2/16384 (mem: 1713.38 MiB) 22:59:51 auxiliary : 50/16384 (mem: 1713.38 MiB) 22:59:51 poseidon ext : 4892/16384 (mem: 1713.38 MiB) 22:59:51 poseidon int : 27875/32768 (mem: 1713.38 MiB) 22:59:51 overflow : 240953/240953 (mem: 1713.38 MiB) 22:59:51 (mem: 1713.38 MiB) 22:59:51 Total structured size: 437562 (mem: 1713.38 MiB) 22:59:51 allocating polynomials object in proving key... (mem: 1713.38 MiB) 22:59:51 populating trace... (mem: 1958.43 MiB) 22:59:52 time to construct proving key: 414 ms. (mem: 1985.43 MiB) 22:59:52 getting honk vk... precomputed?: 0 (mem: 1985.43 MiB) 22:59:53 computing folding proof (mem: 1985.43 MiB) 22:59:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 1985.43 MiB) 22:59:53 vkey hash in Oink prover: 0x00000000000000000000000000000000da180fd393b116b70bb0f08dd33baeb4 (mem: 1985.43 MiB) 22:59:58 oink prover on each incomplete key (mem: 1985.43 MiB) 22:59:58 perturbator round (mem: 1985.43 MiB) 22:59:59 combiner quotient round (mem: 2006.43 MiB) 22:59:59 folded (mem: 2006.43 MiB) 22:59:59 constructed folding proof (mem: 2006.43 MiB) 23:00:00 Largest circuit: 309482 gates. Trace details: (mem: 2006.43 MiB) 23:00:00 Minimum required block sizes for structured trace: (mem: 2006.43 MiB) 23:00:00 ecc_op : 792 23:00:00 busread : 3 23:00:00 lookup : 2 23:00:00 pub_inputs : 33 23:00:00 arithmetic : 32768 23:00:00 delta_range : 2938 23:00:00 elliptic : 2 23:00:00 aux : 50 23:00:00 poseidon2_external : 4892 23:00:00 poseidon2_internal : 27875 23:00:00 overflow : 240953 23:00:00 (mem: 2006.43 MiB) 23:00:00 prove decider... (mem: 2006.43 MiB) 23:00:01 starting sumcheck rounds... (mem: 2006.43 MiB) 23:00:02 completed 19 rounds of sumcheck (mem: 2006.43 MiB) 23:00:05 executed multivariate-to-univariate reduction (mem: 2006.43 MiB) 23:00:07 computed opening proof (mem: 2006.43 MiB) 23:00:07 finished decider proving. (mem: 2006.43 MiB) 23:00:07 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000da180fd393b116b70bb0f08dd33baeb4 (mem: 2006.43 MiB) 23:00:07 Constructing DeciderProvingKey (mem: 2006.43 MiB) 23:00:07 allocating polynomials object in proving key... (mem: 2006.43 MiB) 23:00:07 populating trace... (mem: 2006.43 MiB) 23:00:07 time to construct proving key: 41 ms. (mem: 2006.43 MiB) 23:00:08 vkey hash in Oink prover: 0x0000000000000000000000000000000022996fa0c7f28ce49467577fe3aac995 (mem: 2006.43 MiB) 23:00:08 created oink proof (mem: 2006.43 MiB) 23:00:08 starting sumcheck rounds... (mem: 2006.43 MiB) 23:00:09 completed 16 rounds of sumcheck (mem: 2006.43 MiB) 23:00:09 executed multivariate-to-univariate reduction (mem: 2006.43 MiB) 23:00:10 computed opening proof (mem: 2006.43 MiB) 23:00:10 finished decider proving. (mem: 2006.43 MiB) 23:00:10 Constructing a Goblin proof with num ultra ops = 1442 (mem: 2006.43 MiB) 23:00:10 prove eccvm... (mem: 2006.43 MiB) 23:00:11 starting sumcheck rounds... (mem: 2006.43 MiB) 23:00:16 completed 16 rounds of sumcheck (mem: 2006.43 MiB) 23:00:19 finished eccvm proving. (mem: 2006.43 MiB) 23:00:19 prove translator... (mem: 2006.43 MiB) 23:00:20 starting sumcheck rounds... (mem: 2006.43 MiB) 23:00:23 completed 18 rounds of sumcheck (mem: 2006.43 MiB) 23:00:26 computed opening proof (mem: 2006.43 MiB) 23:00:26 finished translator proving. (mem: 2006.43 MiB) 23:00:26 time to call ClientIVC::prove: 25724 ms. (mem: 2006.43 MiB) 23:00:26 vkey hash in Oink verifier: 0x0000000000000000000000000000000022996fa0c7f28ce49467577fe3aac995 (mem: 2006.43 MiB) 23:00:26 sumcheck_verified: 1 (mem: 2006.43 MiB) 23:00:26 libra_evals_verified: 1 (mem: 2006.43 MiB) 23:00:26 pairing_check_verified: 1 (mem: 2006.43 MiB) 23:00:26 Mega verified: 1 (mem: 2006.43 MiB) 23:00:26 eccvm sumcheck verified?: 1 (mem: 2006.43 MiB) 23:00:26 batch opening verified?: 1 (mem: 2006.43 MiB) 23:00:26 eccvm consistency check verified?: 1 (mem: 2006.43 MiB) 23:00:26 translation masking consistency checked?: 1 (mem: 2006.43 MiB) 23:00:26 merge verified?: 1 (mem: 2006.43 MiB) 23:00:26 eccvm verified?: 1 (mem: 2006.43 MiB) 23:00:26 accumulator construction_verified?: 1 (mem: 2006.43 MiB) 23:00:26 translation verified?: 1 (mem: 2006.43 MiB) 23:00:26 consistency verified?: 1 (mem: 2006.43 MiB) 23:00:26 Goblin verified: 1 (mem: 2006.43 MiB) 23:00:26 time to verify ClientIVC proof: 223 ms. (mem: 2006.43 MiB) 23:00:26 [ OK ] ClientIVCTests.DynamicTraceOverflow (225568 ms) 23:00:26 [----------] 1 test from ClientIVCTests (225568 ms total) 23:00:26 23:00:26 [----------] Global test environment tear-down 23:00:26 [==========] 1 test from 1 test suite ran. (225568 ms total) 23:00:26 [ PASSED ] 1 test.