Parent Log: http://ci.aztec-labs.com/cd08052a52dbb30f Command: ed599b69b1b675f7 barretenberg/cpp/scripts/run_test.sh client_ivc_tests ClientIVCIntegrationTests.BenchmarkCasePrecomputedVKs 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_8e4216c5ece59d3d_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 = ClientIVCIntegrationTests.BenchmarkCasePrecomputedVKs 22:56:41 [==========] Running 1 test from 1 test suite. 22:56:41 [----------] Global test environment set-up. 22:56:41 [----------] 1 test from ClientIVCIntegrationTests 22:56:41 [ RUN ] ClientIVCIntegrationTests.BenchmarkCasePrecomputedVKs 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: 38.35 MiB) 22:56:41 BN254 commitment key size: 262144 (mem: 38.35 MiB) 22:56:42 Constructing DeciderProvingKey (mem: 267.38 MiB) 22:56:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 310.38 MiB) 22:56:43 goblin ecc op : 10/1024 (mem: 310.38 MiB) 22:56:43 busread : 3/6000 (mem: 310.38 MiB) 22:56:43 lookups : 54285/15000 (mem: 310.38 MiB) 22:56:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.38 MiB) 22:56:43 arithmetic : 147423/56000 (mem: 310.38 MiB) 22:56:43 delta range : 65649/18000 (mem: 310.38 MiB) 22:56:43 elliptic : 4958/6000 (mem: 310.38 MiB) 22:56:43 auxiliary : 94242/26000 (mem: 310.38 MiB) 22:56:43 poseidon ext : 2/17000 (mem: 310.38 MiB) 22:56:43 poseidon int : 2/92000 (mem: 310.38 MiB) 22:56:43 overflow : 0/0 (mem: 310.38 MiB) 22:56:43 (mem: 310.38 MiB) 22:56:43 Total structured size: 242025 (mem: 310.38 MiB) 22:56:43 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 428.38 MiB) 22:56:43 Gate blocks summary: (actual gates / fixed capacity) (mem: 428.38 MiB) 22:56:43 goblin ecc op : 10/1024 (mem: 428.38 MiB) 22:56:43 busread : 3/6000 (mem: 428.38 MiB) 22:56:43 lookups : 15000/15000 (mem: 428.38 MiB) 22:56:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 428.38 MiB) 22:56:43 arithmetic : 56000/56000 (mem: 428.38 MiB) 22:56:43 delta range : 18000/18000 (mem: 428.38 MiB) 22:56:43 elliptic : 4958/6000 (mem: 428.38 MiB) 22:56:43 auxiliary : 26000/26000 (mem: 428.38 MiB) 22:56:43 poseidon ext : 2/17000 (mem: 428.38 MiB) 22:56:43 poseidon int : 2/92000 (mem: 428.38 MiB) 22:56:43 overflow : 246603/246603 (mem: 428.38 MiB) 22:56:43 (mem: 428.38 MiB) 22:56:43 Total structured size: 488628 (mem: 428.38 MiB) 22:56:43 allocating polynomials object in proving key... (mem: 428.38 MiB) 22:56:43 populating trace... (mem: 1292.38 MiB) 22:56:43 time to construct proving key: 920 ms. (mem: 1358.38 MiB) 22:56:43 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1358.38 MiB) 22:56:43 Initialized BN254 CRS from memory with num points = 524289 (mem: 1402.39 MiB) 22:56:43 getting honk vk... precomputed?: 0 (mem: 1402.39 MiB) 22:56:47 computing oink proof... (mem: 1402.39 MiB) 22:56:47 vkey hash in Oink prover: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1402.39 MiB) 22:56:51 oink proof constructed (mem: 1402.39 MiB) 22:56:52 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1402.39 MiB) 22:56:52 Constructing DeciderProvingKey (mem: 1402.39 MiB) 22:56:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1402.39 MiB) 22:56:52 goblin ecc op : 56/1024 (mem: 1402.39 MiB) 22:56:52 busread : 3/6000 (mem: 1402.39 MiB) 22:56:52 lookups : 13540/15000 (mem: 1402.39 MiB) 22:56:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1402.39 MiB) 22:56:52 arithmetic : 29688/56000 (mem: 1402.39 MiB) 22:56:52 delta range : 10259/18000 (mem: 1402.39 MiB) 22:56:52 elliptic : 7849/6000 (mem: 1402.39 MiB) 22:56:52 auxiliary : 11827/26000 (mem: 1402.39 MiB) 22:56:52 poseidon ext : 1272/17000 (mem: 1402.39 MiB) 22:56:52 poseidon int : 7241/92000 (mem: 1402.39 MiB) 22:56:52 overflow : 0/0 (mem: 1402.39 MiB) 22:56:52 (mem: 1402.39 MiB) 22:56:52 Total structured size: 242025 (mem: 1402.39 MiB) 22:56:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1402.39 MiB) 22:56:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 1402.39 MiB) 22:56:52 goblin ecc op : 56/1024 (mem: 1402.39 MiB) 22:56:52 busread : 3/6000 (mem: 1402.39 MiB) 22:56:52 lookups : 13540/15000 (mem: 1402.39 MiB) 22:56:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1402.39 MiB) 22:56:52 arithmetic : 29688/56000 (mem: 1402.39 MiB) 22:56:52 delta range : 10259/18000 (mem: 1402.39 MiB) 22:56:52 elliptic : 6000/6000 (mem: 1402.39 MiB) 22:56:52 auxiliary : 11827/26000 (mem: 1402.39 MiB) 22:56:52 poseidon ext : 1272/17000 (mem: 1402.39 MiB) 22:56:52 poseidon int : 7241/92000 (mem: 1402.39 MiB) 22:56:52 overflow : 1850/1850 (mem: 1402.39 MiB) 22:56:52 (mem: 1402.39 MiB) 22:56:52 Total structured size: 243875 (mem: 1402.39 MiB) 22:56:52 allocating polynomials object in proving key... (mem: 1402.39 MiB) 22:56:52 populating trace... (mem: 1447.58 MiB) 22:56:52 time to construct proving key: 389 ms. (mem: 1457.58 MiB) 22:56:52 getting honk vk... precomputed?: 0 (mem: 1457.58 MiB) 22:56:54 computing folding proof (mem: 1457.58 MiB) 22:56:54 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1457.58 MiB) 22:56:54 vkey hash in Oink prover: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1457.58 MiB) 22:56:55 oink prover on each incomplete key (mem: 1471.58 MiB) 22:56:57 perturbator round (mem: 1555.58 MiB) 22:56:59 combiner quotient round (mem: 1555.58 MiB) 22:57:00 folded (mem: 1555.58 MiB) 22:57:00 constructed folding proof (mem: 1555.58 MiB) 22:57:00 Constructing DeciderProvingKey (mem: 1555.58 MiB) 22:57:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1555.58 MiB) 22:57:00 goblin ecc op : 10/1024 (mem: 1555.58 MiB) 22:57:00 busread : 3/6000 (mem: 1555.58 MiB) 22:57:00 lookups : 32624/15000 (mem: 1555.58 MiB) 22:57:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1555.58 MiB) 22:57:00 arithmetic : 46405/56000 (mem: 1555.58 MiB) 22:57:00 delta range : 18157/18000 (mem: 1555.58 MiB) 22:57:00 elliptic : 4132/6000 (mem: 1555.58 MiB) 22:57:00 auxiliary : 23580/26000 (mem: 1555.58 MiB) 22:57:00 poseidon ext : 2/17000 (mem: 1555.58 MiB) 22:57:00 poseidon int : 2/92000 (mem: 1555.58 MiB) 22:57:00 overflow : 0/0 (mem: 1555.58 MiB) 22:57:00 (mem: 1555.58 MiB) 22:57:00 Total structured size: 242025 (mem: 1555.58 MiB) 22:57:00 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1555.58 MiB) 22:57:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 1555.58 MiB) 22:57:00 goblin ecc op : 10/1024 (mem: 1555.58 MiB) 22:57:00 busread : 3/6000 (mem: 1555.58 MiB) 22:57:00 lookups : 15000/15000 (mem: 1555.58 MiB) 22:57:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1555.58 MiB) 22:57:00 arithmetic : 46405/56000 (mem: 1555.58 MiB) 22:57:00 delta range : 18000/18000 (mem: 1555.58 MiB) 22:57:00 elliptic : 4132/6000 (mem: 1555.58 MiB) 22:57:00 auxiliary : 23580/26000 (mem: 1555.58 MiB) 22:57:00 poseidon ext : 2/17000 (mem: 1555.58 MiB) 22:57:00 poseidon int : 2/92000 (mem: 1555.58 MiB) 22:57:00 overflow : 17783/17783 (mem: 1555.58 MiB) 22:57:00 (mem: 1555.58 MiB) 22:57:00 Total structured size: 259808 (mem: 1555.58 MiB) 22:57:00 allocating polynomials object in proving key... (mem: 1555.58 MiB) 22:57:00 populating trace... (mem: 1555.58 MiB) 22:57:01 time to construct proving key: 263 ms. (mem: 1555.58 MiB) 22:57:01 getting honk vk... precomputed?: 0 (mem: 1555.58 MiB) 22:57:02 computing folding proof (mem: 1555.58 MiB) 22:57:02 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1555.58 MiB) 22:57:02 vkey hash in Oink prover: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1555.58 MiB) 22:57:04 oink prover on each incomplete key (mem: 1555.58 MiB) 22:57:06 perturbator round (mem: 1616.58 MiB) 22:57:08 combiner quotient round (mem: 1616.58 MiB) 22:57:09 folded (mem: 1616.58 MiB) 22:57:09 constructed folding proof (mem: 1616.58 MiB) 22:57:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1616.58 MiB) 22:57:10 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1616.58 MiB) 22:57:10 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:57:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:10 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:57:10 busread : 3/6000 (mem: 1616.58 MiB) 22:57:10 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:10 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:57:10 delta range : 11136/18000 (mem: 1616.58 MiB) 22:57:10 elliptic : 7849/6000 (mem: 1616.58 MiB) 22:57:10 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:10 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:57:10 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:57:10 overflow : 0/0 (mem: 1616.58 MiB) 22:57:10 (mem: 1616.58 MiB) 22:57:10 Total structured size: 242025 (mem: 1616.58 MiB) 22:57:10 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:57:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:10 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:57:10 busread : 3/6000 (mem: 1616.58 MiB) 22:57:10 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:10 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:57:10 delta range : 11136/18000 (mem: 1616.58 MiB) 22:57:10 elliptic : 6000/6000 (mem: 1616.58 MiB) 22:57:10 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:10 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:57:10 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:57:10 overflow : 1850/1850 (mem: 1616.58 MiB) 22:57:10 (mem: 1616.58 MiB) 22:57:10 Total structured size: 243875 (mem: 1616.58 MiB) 22:57:10 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:57:10 populating trace... (mem: 1616.58 MiB) 22:57:10 time to construct proving key: 183 ms. (mem: 1616.58 MiB) 22:57:10 getting honk vk... precomputed?: 0 (mem: 1616.58 MiB) 22:57:12 computing folding proof (mem: 1616.58 MiB) 22:57:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:57:12 vkey hash in Oink prover: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 1616.58 MiB) 22:57:14 oink prover on each incomplete key (mem: 1616.58 MiB) 22:57:16 perturbator round (mem: 1616.58 MiB) 22:57:18 combiner quotient round (mem: 1616.58 MiB) 22:57:19 folded (mem: 1616.58 MiB) 22:57:19 constructed folding proof (mem: 1616.58 MiB) 22:57:20 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:57:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:20 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:57:20 busread : 3/6000 (mem: 1616.58 MiB) 22:57:20 lookups : 32624/15000 (mem: 1616.58 MiB) 22:57:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:20 arithmetic : 46405/56000 (mem: 1616.58 MiB) 22:57:20 delta range : 18157/18000 (mem: 1616.58 MiB) 22:57:20 elliptic : 4132/6000 (mem: 1616.58 MiB) 22:57:20 auxiliary : 23580/26000 (mem: 1616.58 MiB) 22:57:20 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:57:20 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:57:20 overflow : 0/0 (mem: 1616.58 MiB) 22:57:20 (mem: 1616.58 MiB) 22:57:20 Total structured size: 242025 (mem: 1616.58 MiB) 22:57:20 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:57:20 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:20 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:57:20 busread : 3/6000 (mem: 1616.58 MiB) 22:57:20 lookups : 15000/15000 (mem: 1616.58 MiB) 22:57:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:20 arithmetic : 46405/56000 (mem: 1616.58 MiB) 22:57:20 delta range : 18000/18000 (mem: 1616.58 MiB) 22:57:20 elliptic : 4132/6000 (mem: 1616.58 MiB) 22:57:20 auxiliary : 23580/26000 (mem: 1616.58 MiB) 22:57:20 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:57:20 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:57:20 overflow : 17783/17783 (mem: 1616.58 MiB) 22:57:20 (mem: 1616.58 MiB) 22:57:20 Total structured size: 259808 (mem: 1616.58 MiB) 22:57:20 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:57:20 populating trace... (mem: 1616.58 MiB) 22:57:20 time to construct proving key: 242 ms. (mem: 1616.58 MiB) 22:57:20 getting honk vk... precomputed?: 0 (mem: 1616.58 MiB) 22:57:22 computing folding proof (mem: 1616.58 MiB) 22:57:22 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:57:22 vkey hash in Oink prover: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1616.58 MiB) 22:57:24 oink prover on each incomplete key (mem: 1616.58 MiB) 22:57:25 perturbator round (mem: 1616.58 MiB) 22:57:27 combiner quotient round (mem: 1616.58 MiB) 22:57:28 folded (mem: 1616.58 MiB) 22:57:28 constructed folding proof (mem: 1616.58 MiB) 22:57:29 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 1616.58 MiB) 22:57:29 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1616.58 MiB) 22:57:29 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:57:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:29 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:57:29 busread : 3/6000 (mem: 1616.58 MiB) 22:57:29 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:29 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:57:29 delta range : 11136/18000 (mem: 1616.58 MiB) 22:57:29 elliptic : 7849/6000 (mem: 1616.58 MiB) 22:57:29 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:29 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:57:29 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:57:29 overflow : 0/0 (mem: 1616.58 MiB) 22:57:29 (mem: 1616.58 MiB) 22:57:29 Total structured size: 242025 (mem: 1616.58 MiB) 22:57:29 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:57:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:29 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:57:29 busread : 3/6000 (mem: 1616.58 MiB) 22:57:29 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:29 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:57:29 delta range : 11136/18000 (mem: 1616.58 MiB) 22:57:29 elliptic : 6000/6000 (mem: 1616.58 MiB) 22:57:29 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:29 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:57:29 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:57:29 overflow : 1850/1850 (mem: 1616.58 MiB) 22:57:29 (mem: 1616.58 MiB) 22:57:29 Total structured size: 243875 (mem: 1616.58 MiB) 22:57:29 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:57:29 populating trace... (mem: 1616.58 MiB) 22:57:29 time to construct proving key: 187 ms. (mem: 1616.58 MiB) 22:57:29 getting honk vk... precomputed?: 0 (mem: 1616.58 MiB) 22:57:31 computing folding proof (mem: 1616.58 MiB) 22:57:31 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:57:31 vkey hash in Oink prover: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 1616.58 MiB) 22:57:33 oink prover on each incomplete key (mem: 1616.58 MiB) 22:57:35 perturbator round (mem: 1616.58 MiB) 22:57:37 combiner quotient round (mem: 1616.58 MiB) 22:57:38 folded (mem: 1616.58 MiB) 22:57:38 constructed folding proof (mem: 1616.58 MiB) 22:57:39 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:57:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:39 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:57:39 busread : 3/6000 (mem: 1616.58 MiB) 22:57:39 lookups : 54285/15000 (mem: 1616.58 MiB) 22:57:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:39 arithmetic : 147423/56000 (mem: 1616.58 MiB) 22:57:39 delta range : 65649/18000 (mem: 1616.58 MiB) 22:57:39 elliptic : 4958/6000 (mem: 1616.58 MiB) 22:57:39 auxiliary : 94242/26000 (mem: 1616.58 MiB) 22:57:39 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:57:39 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:57:39 overflow : 0/0 (mem: 1616.58 MiB) 22:57:39 (mem: 1616.58 MiB) 22:57:39 Total structured size: 242025 (mem: 1616.58 MiB) 22:57:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:57:39 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:39 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:57:39 busread : 3/6000 (mem: 1616.58 MiB) 22:57:39 lookups : 15000/15000 (mem: 1616.58 MiB) 22:57:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:39 arithmetic : 56000/56000 (mem: 1616.58 MiB) 22:57:39 delta range : 18000/18000 (mem: 1616.58 MiB) 22:57:39 elliptic : 4958/6000 (mem: 1616.58 MiB) 22:57:39 auxiliary : 26000/26000 (mem: 1616.58 MiB) 22:57:39 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:57:39 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:57:39 overflow : 246603/246603 (mem: 1616.58 MiB) 22:57:39 (mem: 1616.58 MiB) 22:57:39 Total structured size: 488628 (mem: 1616.58 MiB) 22:57:39 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:57:39 populating trace... (mem: 1616.58 MiB) 22:57:40 time to construct proving key: 510 ms. (mem: 1616.58 MiB) 22:57:40 getting honk vk... precomputed?: 0x562b5a9fba40 (mem: 1616.58 MiB) 22:57:40 computing oink proof... (mem: 1616.58 MiB) 22:57:40 vkey hash in Oink prover: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1616.58 MiB) 22:57:44 oink proof constructed (mem: 1616.58 MiB) 22:57:44 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000665637a3b95644e8fef8eaed9140d68a (mem: 1616.58 MiB) 22:57:44 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:57:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:44 goblin ecc op : 56/1024 (mem: 1616.58 MiB) 22:57:44 busread : 3/6000 (mem: 1616.58 MiB) 22:57:44 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:44 arithmetic : 29688/56000 (mem: 1616.58 MiB) 22:57:44 delta range : 10259/18000 (mem: 1616.58 MiB) 22:57:44 elliptic : 7849/6000 (mem: 1616.58 MiB) 22:57:44 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:44 poseidon ext : 1272/17000 (mem: 1616.58 MiB) 22:57:44 poseidon int : 7241/92000 (mem: 1616.58 MiB) 22:57:44 overflow : 0/0 (mem: 1616.58 MiB) 22:57:44 (mem: 1616.58 MiB) 22:57:44 Total structured size: 242025 (mem: 1616.58 MiB) 22:57:44 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:57:44 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:44 goblin ecc op : 56/1024 (mem: 1616.58 MiB) 22:57:44 busread : 3/6000 (mem: 1616.58 MiB) 22:57:44 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:44 arithmetic : 29688/56000 (mem: 1616.58 MiB) 22:57:44 delta range : 10259/18000 (mem: 1616.58 MiB) 22:57:44 elliptic : 6000/6000 (mem: 1616.58 MiB) 22:57:44 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:44 poseidon ext : 1272/17000 (mem: 1616.58 MiB) 22:57:44 poseidon int : 7241/92000 (mem: 1616.58 MiB) 22:57:44 overflow : 1850/1850 (mem: 1616.58 MiB) 22:57:44 (mem: 1616.58 MiB) 22:57:44 Total structured size: 243875 (mem: 1616.58 MiB) 22:57:44 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:57:44 populating trace... (mem: 1616.58 MiB) 22:57:44 time to construct proving key: 243 ms. (mem: 1616.58 MiB) 22:57:44 getting honk vk... precomputed?: 0x562b0dc98340 (mem: 1616.58 MiB) 22:57:44 computing folding proof (mem: 1616.58 MiB) 22:57:44 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:57:44 vkey hash in Oink prover: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1616.58 MiB) 22:57:46 oink prover on each incomplete key (mem: 1616.58 MiB) 22:57:47 perturbator round (mem: 1616.58 MiB) 22:57:50 combiner quotient round (mem: 1616.58 MiB) 22:57:50 folded (mem: 1616.58 MiB) 22:57:50 constructed folding proof (mem: 1616.58 MiB) 22:57:51 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:57:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:51 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:57:51 busread : 3/6000 (mem: 1616.58 MiB) 22:57:51 lookups : 32624/15000 (mem: 1616.58 MiB) 22:57:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:51 arithmetic : 46405/56000 (mem: 1616.58 MiB) 22:57:51 delta range : 18157/18000 (mem: 1616.58 MiB) 22:57:51 elliptic : 4132/6000 (mem: 1616.58 MiB) 22:57:51 auxiliary : 23580/26000 (mem: 1616.58 MiB) 22:57:51 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:57:51 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:57:51 overflow : 0/0 (mem: 1616.58 MiB) 22:57:51 (mem: 1616.58 MiB) 22:57:51 Total structured size: 242025 (mem: 1616.58 MiB) 22:57:51 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:57:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:51 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:57:51 busread : 3/6000 (mem: 1616.58 MiB) 22:57:51 lookups : 15000/15000 (mem: 1616.58 MiB) 22:57:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:51 arithmetic : 46405/56000 (mem: 1616.58 MiB) 22:57:51 delta range : 18000/18000 (mem: 1616.58 MiB) 22:57:51 elliptic : 4132/6000 (mem: 1616.58 MiB) 22:57:51 auxiliary : 23580/26000 (mem: 1616.58 MiB) 22:57:51 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:57:51 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:57:51 overflow : 17783/17783 (mem: 1616.58 MiB) 22:57:51 (mem: 1616.58 MiB) 22:57:51 Total structured size: 259808 (mem: 1616.58 MiB) 22:57:51 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:57:51 populating trace... (mem: 1616.58 MiB) 22:57:51 time to construct proving key: 237 ms. (mem: 1616.58 MiB) 22:57:51 getting honk vk... precomputed?: 0x562b62eec580 (mem: 1616.58 MiB) 22:57:51 computing folding proof (mem: 1616.58 MiB) 22:57:51 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:57:51 vkey hash in Oink prover: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1616.58 MiB) 22:57:53 oink prover on each incomplete key (mem: 1616.58 MiB) 22:57:54 perturbator round (mem: 1616.58 MiB) 22:57:56 combiner quotient round (mem: 1616.58 MiB) 22:57:57 folded (mem: 1616.58 MiB) 22:57:57 constructed folding proof (mem: 1616.58 MiB) 22:57:57 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000df2dacaf19febeafa4452cda8ec5234a (mem: 1616.58 MiB) 22:57:57 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1616.58 MiB) 22:57:58 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:57:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:58 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:57:58 busread : 3/6000 (mem: 1616.58 MiB) 22:57:58 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:58 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:57:58 delta range : 11136/18000 (mem: 1616.58 MiB) 22:57:58 elliptic : 7849/6000 (mem: 1616.58 MiB) 22:57:58 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:58 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:57:58 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:57:58 overflow : 0/0 (mem: 1616.58 MiB) 22:57:58 (mem: 1616.58 MiB) 22:57:58 Total structured size: 242025 (mem: 1616.58 MiB) 22:57:58 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:57:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:57:58 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:57:58 busread : 3/6000 (mem: 1616.58 MiB) 22:57:58 lookups : 13540/15000 (mem: 1616.58 MiB) 22:57:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:57:58 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:57:58 delta range : 11136/18000 (mem: 1616.58 MiB) 22:57:58 elliptic : 6000/6000 (mem: 1616.58 MiB) 22:57:58 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:57:58 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:57:58 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:57:58 overflow : 1850/1850 (mem: 1616.58 MiB) 22:57:58 (mem: 1616.58 MiB) 22:57:58 Total structured size: 243875 (mem: 1616.58 MiB) 22:57:58 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:57:58 populating trace... (mem: 1616.58 MiB) 22:57:58 time to construct proving key: 169 ms. (mem: 1616.58 MiB) 22:57:58 getting honk vk... precomputed?: 0x562b5cca2bc0 (mem: 1616.58 MiB) 22:57:58 computing folding proof (mem: 1616.58 MiB) 22:57:58 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:57:58 vkey hash in Oink prover: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 1616.58 MiB) 22:58:00 oink prover on each incomplete key (mem: 1616.58 MiB) 22:58:01 perturbator round (mem: 1616.58 MiB) 22:58:04 combiner quotient round (mem: 1616.58 MiB) 22:58:05 folded (mem: 1616.58 MiB) 22:58:05 constructed folding proof (mem: 1616.58 MiB) 22:58:05 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:58:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:58:05 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:58:05 busread : 3/6000 (mem: 1616.58 MiB) 22:58:05 lookups : 32624/15000 (mem: 1616.58 MiB) 22:58:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:58:05 arithmetic : 46405/56000 (mem: 1616.58 MiB) 22:58:05 delta range : 18157/18000 (mem: 1616.58 MiB) 22:58:05 elliptic : 4132/6000 (mem: 1616.58 MiB) 22:58:05 auxiliary : 23580/26000 (mem: 1616.58 MiB) 22:58:05 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:58:05 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:58:05 overflow : 0/0 (mem: 1616.58 MiB) 22:58:05 (mem: 1616.58 MiB) 22:58:05 Total structured size: 242025 (mem: 1616.58 MiB) 22:58:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:58:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:58:05 goblin ecc op : 10/1024 (mem: 1616.58 MiB) 22:58:05 busread : 3/6000 (mem: 1616.58 MiB) 22:58:05 lookups : 15000/15000 (mem: 1616.58 MiB) 22:58:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:58:05 arithmetic : 46405/56000 (mem: 1616.58 MiB) 22:58:05 delta range : 18000/18000 (mem: 1616.58 MiB) 22:58:05 elliptic : 4132/6000 (mem: 1616.58 MiB) 22:58:05 auxiliary : 23580/26000 (mem: 1616.58 MiB) 22:58:05 poseidon ext : 2/17000 (mem: 1616.58 MiB) 22:58:05 poseidon int : 2/92000 (mem: 1616.58 MiB) 22:58:05 overflow : 17783/17783 (mem: 1616.58 MiB) 22:58:05 (mem: 1616.58 MiB) 22:58:05 Total structured size: 259808 (mem: 1616.58 MiB) 22:58:05 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:58:05 populating trace... (mem: 1616.58 MiB) 22:58:06 time to construct proving key: 197 ms. (mem: 1616.58 MiB) 22:58:06 getting honk vk... precomputed?: 0x562b65793200 (mem: 1616.58 MiB) 22:58:06 computing folding proof (mem: 1616.58 MiB) 22:58:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:58:06 vkey hash in Oink prover: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1616.58 MiB) 22:58:07 oink prover on each incomplete key (mem: 1616.58 MiB) 22:58:08 perturbator round (mem: 1616.58 MiB) 22:58:11 combiner quotient round (mem: 1616.58 MiB) 22:58:11 folded (mem: 1616.58 MiB) 22:58:11 constructed folding proof (mem: 1616.58 MiB) 22:58:12 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 1616.58 MiB) 22:58:12 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007cfceb0461a958624f31024cf240416c (mem: 1616.58 MiB) 22:58:12 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:58:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:58:12 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:58:12 busread : 3/6000 (mem: 1616.58 MiB) 22:58:12 lookups : 13540/15000 (mem: 1616.58 MiB) 22:58:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:58:12 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:58:12 delta range : 11136/18000 (mem: 1616.58 MiB) 22:58:12 elliptic : 7849/6000 (mem: 1616.58 MiB) 22:58:12 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:58:12 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:58:12 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:58:12 overflow : 0/0 (mem: 1616.58 MiB) 22:58:12 (mem: 1616.58 MiB) 22:58:12 Total structured size: 242025 (mem: 1616.58 MiB) 22:58:12 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 1616.58 MiB) 22:58:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1616.58 MiB) 22:58:12 goblin ecc op : 792/1024 (mem: 1616.58 MiB) 22:58:12 busread : 3/6000 (mem: 1616.58 MiB) 22:58:12 lookups : 13540/15000 (mem: 1616.58 MiB) 22:58:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1616.58 MiB) 22:58:12 arithmetic : 36823/56000 (mem: 1616.58 MiB) 22:58:12 delta range : 11136/18000 (mem: 1616.58 MiB) 22:58:12 elliptic : 6000/6000 (mem: 1616.58 MiB) 22:58:12 auxiliary : 11827/26000 (mem: 1616.58 MiB) 22:58:12 poseidon ext : 4882/17000 (mem: 1616.58 MiB) 22:58:12 poseidon int : 27818/92000 (mem: 1616.58 MiB) 22:58:12 overflow : 1850/1850 (mem: 1616.58 MiB) 22:58:12 (mem: 1616.58 MiB) 22:58:12 Total structured size: 243875 (mem: 1616.58 MiB) 22:58:12 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:58:12 populating trace... (mem: 1616.58 MiB) 22:58:12 time to construct proving key: 174 ms. (mem: 1616.58 MiB) 22:58:12 getting honk vk... precomputed?: 0x562b2002bf80 (mem: 1616.58 MiB) 22:58:12 computing folding proof (mem: 1616.58 MiB) 22:58:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1616.58 MiB) 22:58:12 vkey hash in Oink prover: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 1616.58 MiB) 22:58:14 oink prover on each incomplete key (mem: 1616.58 MiB) 22:58:15 perturbator round (mem: 1616.58 MiB) 22:58:18 combiner quotient round (mem: 1616.58 MiB) 22:58:19 folded (mem: 1616.58 MiB) 22:58:19 constructed folding proof (mem: 1616.58 MiB) 22:58:19 Largest circuit: 366564 gates. Trace details: (mem: 1616.58 MiB) 22:58:19 Minimum required block sizes for structured trace: (mem: 1616.58 MiB) 22:58:19 ecc_op : 792 22:58:19 busread : 3 22:58:19 lookup : 15000 22:58:19 pub_inputs : 32 22:58:19 arithmetic : 56000 22:58:19 delta_range : 18000 22:58:19 elliptic : 6000 22:58:19 aux : 26000 22:58:19 poseidon2_external : 4882 22:58:19 poseidon2_internal : 27818 22:58:19 overflow : 246603 22:58:19 (mem: 1616.58 MiB) 22:58:19 prove decider... (mem: 1616.58 MiB) 22:58:21 starting sumcheck rounds... (mem: 1616.58 MiB) 22:58:24 completed 19 rounds of sumcheck (mem: 1616.58 MiB) 22:58:30 executed multivariate-to-univariate reduction (mem: 1616.58 MiB) 22:58:31 computed opening proof (mem: 1616.58 MiB) 22:58:31 finished decider proving. (mem: 1616.58 MiB) 22:58:31 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000296c8dbe145a503e284734fba0fb6b8d (mem: 1616.58 MiB) 22:58:31 Constructing DeciderProvingKey (mem: 1616.58 MiB) 22:58:31 allocating polynomials object in proving key... (mem: 1616.58 MiB) 22:58:31 populating trace... (mem: 1616.58 MiB) 22:58:32 time to construct proving key: 113 ms. (mem: 1616.58 MiB) 22:58:33 vkey hash in Oink prover: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 1616.58 MiB) 22:58:34 created oink proof (mem: 1616.58 MiB) 22:58:34 starting sumcheck rounds... (mem: 1616.58 MiB) 22:58:35 completed 16 rounds of sumcheck (mem: 1616.58 MiB) 22:58:36 executed multivariate-to-univariate reduction (mem: 1616.58 MiB) 22:58:36 computed opening proof (mem: 1616.58 MiB) 22:58:36 finished decider proving. (mem: 1616.58 MiB) 22:58:36 Constructing a Goblin proof with num ultra ops = 2256 (mem: 1616.58 MiB) 22:58:36 prove eccvm... (mem: 1616.58 MiB) 22:58:36 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1616.58 MiB) 22:58:36 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1616.58 MiB) 22:58:39 starting sumcheck rounds... (mem: 1616.58 MiB) 22:58:45 completed 16 rounds of sumcheck (mem: 1616.58 MiB) 22:58:49 finished eccvm proving. (mem: 1616.58 MiB) 22:58:49 prove translator... (mem: 1616.58 MiB) 22:58:51 starting sumcheck rounds... (mem: 1616.58 MiB) 22:58:56 completed 18 rounds of sumcheck (mem: 1616.58 MiB) 22:59:00 computed opening proof (mem: 1616.58 MiB) 22:59:00 finished translator proving. (mem: 1616.58 MiB) 22:59:00 time to call ClientIVC::prove: 41472 ms. (mem: 1616.58 MiB) 22:59:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000a477a9b42893dc9210b19e5a6e850c87 (mem: 1616.58 MiB) 22:59:00 sumcheck_verified: 1 (mem: 1616.58 MiB) 22:59:00 libra_evals_verified: 1 (mem: 1616.58 MiB) 22:59:00 pairing_check_verified: 1 (mem: 1616.58 MiB) 22:59:00 Mega verified: 1 (mem: 1616.58 MiB) 22:59:00 eccvm sumcheck verified?: 1 (mem: 1616.58 MiB) 22:59:00 batch opening verified?: 1 (mem: 1616.58 MiB) 22:59:00 eccvm consistency check verified?: 1 (mem: 1616.58 MiB) 22:59:00 translation masking consistency checked?: 1 (mem: 1616.58 MiB) 22:59:00 merge verified?: 1 (mem: 1616.58 MiB) 22:59:00 eccvm verified?: 1 (mem: 1616.58 MiB) 22:59:00 accumulator construction_verified?: 1 (mem: 1616.58 MiB) 22:59:00 translation verified?: 1 (mem: 1616.58 MiB) 22:59:00 consistency verified?: 1 (mem: 1616.58 MiB) 22:59:00 Goblin verified: 1 (mem: 1616.58 MiB) 22:59:00 time to verify ClientIVC proof: 228 ms. (mem: 1616.58 MiB) 22:59:00 [ OK ] ClientIVCIntegrationTests.BenchmarkCasePrecomputedVKs (139410 ms) 22:59:00 [----------] 1 test from ClientIVCIntegrationTests (139410 ms total) 22:59:00 22:59:00 [----------] Global test environment tear-down 22:59:00 [==========] 1 test from 1 test suite ran. (139410 ms total) 22:59:00 [ PASSED ] 1 test.