Parent Log: http://ci.aztec-labs.com/5a232d3399679a9a Command: 97e7ef9a556fd7e6:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/a229cf871638d3fd774f9272645cc1ac29b8196a Env: REF_NAME=gh-readonly-queue/master/pr-14912-015cb0cadef6a41094c3649f32a735392e1b9693 CURRENT_VERSION=0.87.9 CI_FULL=1 Date: Wed Jun 18 16:13:05 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14912_amd64_x1-full Resources: CPU_LIST=0,1,2,3,4,5,6,7 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_29073cc7f3bf09e2_master 16:13:05 --- bb ivc flow bench --- 16:13:05 bb command: prove (mem: 6.00 MiB) 16:13:05 Scheme is: client_ivc, num threads: 8 (mem: 6.00 MiB) 16:13:05 --scheme: client_ivc (mem: 6.00 MiB) 16:13:05 --output_path: bench-out/app-proving/ecdsar1+transfer_1_recursions+sponsored_fpc/native (mem: 6.00 MiB) 16:13:05 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+sponsored_fpc/ivc-inputs.msgpack (mem: 6.00 MiB) 16:13:05 --verbose: true (mem: 6.00 MiB) 16:13:05 BN254 commitment key size: 262144 (mem: 147.44 MiB) 16:13:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 233.01 MiB) 16:13:06 Initialized BN254 CRS from memory with num points = 262209 (mem: 297.01 MiB) 16:13:06 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 297.01 MiB) 16:13:06 Constructing DeciderProvingKey (mem: 297.01 MiB) 16:13:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 304.27 MiB) 16:13:06 goblin ecc op : 4/1024 (mem: 304.27 MiB) 16:13:06 busread : 743/6000 (mem: 304.27 MiB) 16:13:06 lookups : 2898/15000 (mem: 304.27 MiB) 16:13:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 304.27 MiB) 16:13:06 arithmetic : 39564/56000 (mem: 304.27 MiB) 16:13:06 delta range : 17435/18000 (mem: 304.27 MiB) 16:13:06 elliptic : 2/6000 (mem: 304.27 MiB) 16:13:06 auxiliary : 25394/26000 (mem: 304.27 MiB) 16:13:06 poseidon ext : 322/17000 (mem: 304.27 MiB) 16:13:06 poseidon int : 1826/92000 (mem: 304.27 MiB) 16:13:06 overflow : 0/0 (mem: 304.27 MiB) 16:13:06 (mem: 304.27 MiB) 16:13:06 Total structured size: 242025 (mem: 304.27 MiB) 16:13:06 allocating polynomials object in proving key... (mem: 305.27 MiB) 16:13:06 populating trace... (mem: 525.27 MiB) 16:13:06 time to construct proving key: 87 ms. (mem: 547.27 MiB) 16:13:06 getting honk vk... precomputed?: 0x62b5f06f3400 (mem: 547.27 MiB) 16:13:06 computing oink proof... (mem: 547.27 MiB) 16:13:06 oink proof constructed (mem: 549.27 MiB) 16:13:06 ClientIVC: accumulating private_kernel_init (mem: 549.27 MiB) 16:13:06 Constructing DeciderProvingKey (mem: 549.27 MiB) 16:13:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 549.27 MiB) 16:13:06 goblin ecc op : 56/1024 (mem: 549.27 MiB) 16:13:06 busread : 2530/6000 (mem: 549.27 MiB) 16:13:06 lookups : 2/15000 (mem: 549.27 MiB) 16:13:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 549.27 MiB) 16:13:06 arithmetic : 21193/56000 (mem: 549.27 MiB) 16:13:06 delta range : 2974/18000 (mem: 549.27 MiB) 16:13:06 elliptic : 340/6000 (mem: 549.27 MiB) 16:13:06 auxiliary : 799/26000 (mem: 549.27 MiB) 16:13:06 poseidon ext : 2012/17000 (mem: 549.27 MiB) 16:13:06 poseidon int : 11459/92000 (mem: 549.27 MiB) 16:13:06 overflow : 0/0 (mem: 549.27 MiB) 16:13:06 (mem: 549.27 MiB) 16:13:06 Total structured size: 242025 (mem: 549.27 MiB) 16:13:06 allocating polynomials object in proving key... (mem: 549.27 MiB) 16:13:06 populating trace... (mem: 730.27 MiB) 16:13:06 time to construct proving key: 38 ms. (mem: 745.27 MiB) 16:13:06 getting honk vk... precomputed?: 0x62b5f0d31b00 (mem: 745.27 MiB) 16:13:06 computing folding proof (mem: 745.27 MiB) 16:13:06 oink prover on each incomplete key (mem: 745.27 MiB) 16:13:06 perturbator round (mem: 772.27 MiB) 16:13:07 combiner quotient round (mem: 804.27 MiB) 16:13:07 folded (mem: 804.27 MiB) 16:13:07 constructed folding proof (mem: 804.27 MiB) 16:13:07 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 804.27 MiB) 16:13:07 Constructing DeciderProvingKey (mem: 804.27 MiB) 16:13:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 804.27 MiB) 16:13:07 goblin ecc op : 4/1024 (mem: 804.27 MiB) 16:13:07 busread : 743/6000 (mem: 804.27 MiB) 16:13:07 lookups : 2/15000 (mem: 804.27 MiB) 16:13:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 804.27 MiB) 16:13:07 arithmetic : 3248/56000 (mem: 804.27 MiB) 16:13:07 delta range : 1767/18000 (mem: 804.27 MiB) 16:13:07 elliptic : 2/6000 (mem: 804.27 MiB) 16:13:07 auxiliary : 26/26000 (mem: 804.27 MiB) 16:13:07 poseidon ext : 2/17000 (mem: 804.27 MiB) 16:13:07 poseidon int : 2/92000 (mem: 804.27 MiB) 16:13:07 overflow : 0/0 (mem: 804.27 MiB) 16:13:07 (mem: 804.27 MiB) 16:13:07 Total structured size: 242025 (mem: 804.27 MiB) 16:13:07 allocating polynomials object in proving key... (mem: 804.27 MiB) 16:13:07 populating trace... (mem: 804.27 MiB) 16:13:07 time to construct proving key: 16 ms. (mem: 804.27 MiB) 16:13:07 getting honk vk... precomputed?: 0x62b5f0d2f1c0 (mem: 804.27 MiB) 16:13:07 computing folding proof (mem: 804.27 MiB) 16:13:07 oink prover on each incomplete key (mem: 804.27 MiB) 16:13:07 perturbator round (mem: 804.27 MiB) 16:13:07 combiner quotient round (mem: 804.57 MiB) 16:13:07 folded (mem: 804.57 MiB) 16:13:07 constructed folding proof (mem: 804.57 MiB) 16:13:07 ClientIVC: accumulating private_kernel_inner (mem: 804.57 MiB) 16:13:07 Constructing DeciderProvingKey (mem: 804.57 MiB) 16:13:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 804.57 MiB) 16:13:07 goblin ecc op : 792/1024 (mem: 804.57 MiB) 16:13:07 busread : 4185/6000 (mem: 804.57 MiB) 16:13:07 lookups : 2/15000 (mem: 804.57 MiB) 16:13:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 804.57 MiB) 16:13:07 arithmetic : 43917/56000 (mem: 804.57 MiB) 16:13:07 delta range : 4930/18000 (mem: 804.57 MiB) 16:13:07 elliptic : 340/6000 (mem: 804.57 MiB) 16:13:07 auxiliary : 1399/26000 (mem: 804.57 MiB) 16:13:07 poseidon ext : 5652/17000 (mem: 804.57 MiB) 16:13:07 poseidon int : 32207/92000 (mem: 804.57 MiB) 16:13:07 overflow : 0/0 (mem: 804.57 MiB) 16:13:07 (mem: 804.57 MiB) 16:13:07 Total structured size: 242025 (mem: 804.57 MiB) 16:13:07 allocating polynomials object in proving key... (mem: 804.57 MiB) 16:13:07 populating trace... (mem: 804.57 MiB) 16:13:07 time to construct proving key: 48 ms. (mem: 804.57 MiB) 16:13:07 getting honk vk... precomputed?: 0x62b5f14992c0 (mem: 804.57 MiB) 16:13:07 computing folding proof (mem: 804.57 MiB) 16:13:08 oink prover on each incomplete key (mem: 804.57 MiB) 16:13:08 perturbator round (mem: 807.57 MiB) 16:13:08 combiner quotient round (mem: 839.57 MiB) 16:13:08 folded (mem: 839.57 MiB) 16:13:08 constructed folding proof (mem: 839.57 MiB) 16:13:08 ClientIVC: accumulating Token:transfer (mem: 839.57 MiB) 16:13:08 Constructing DeciderProvingKey (mem: 839.57 MiB) 16:13:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 839.57 MiB) 16:13:08 goblin ecc op : 4/1024 (mem: 839.57 MiB) 16:13:08 busread : 743/6000 (mem: 839.57 MiB) 16:13:08 lookups : 8266/15000 (mem: 839.57 MiB) 16:13:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 839.57 MiB) 16:13:08 arithmetic : 17364/56000 (mem: 839.57 MiB) 16:13:08 delta range : 3235/18000 (mem: 839.57 MiB) 16:13:08 elliptic : 1314/6000 (mem: 839.57 MiB) 16:13:08 auxiliary : 9441/26000 (mem: 839.57 MiB) 16:13:08 poseidon ext : 442/17000 (mem: 839.57 MiB) 16:13:08 poseidon int : 2510/92000 (mem: 839.57 MiB) 16:13:08 overflow : 0/0 (mem: 839.57 MiB) 16:13:08 (mem: 839.57 MiB) 16:13:08 Total structured size: 242025 (mem: 839.57 MiB) 16:13:08 allocating polynomials object in proving key... (mem: 839.57 MiB) 16:13:08 populating trace... (mem: 839.57 MiB) 16:13:08 time to construct proving key: 41 ms. (mem: 839.57 MiB) 16:13:08 getting honk vk... precomputed?: 0x62b5f06d8080 (mem: 839.57 MiB) 16:13:08 computing folding proof (mem: 839.57 MiB) 16:13:08 oink prover on each incomplete key (mem: 839.57 MiB) 16:13:09 perturbator round (mem: 839.57 MiB) 16:13:09 combiner quotient round (mem: 842.49 MiB) 16:13:09 folded (mem: 842.49 MiB) 16:13:09 constructed folding proof (mem: 842.49 MiB) 16:13:09 ClientIVC: accumulating private_kernel_inner (mem: 842.49 MiB) 16:13:09 Constructing DeciderProvingKey (mem: 842.49 MiB) 16:13:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 842.49 MiB) 16:13:09 goblin ecc op : 792/1024 (mem: 842.49 MiB) 16:13:09 busread : 4185/6000 (mem: 842.49 MiB) 16:13:09 lookups : 2/15000 (mem: 842.49 MiB) 16:13:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 842.49 MiB) 16:13:09 arithmetic : 43917/56000 (mem: 842.49 MiB) 16:13:09 delta range : 4930/18000 (mem: 842.49 MiB) 16:13:09 elliptic : 340/6000 (mem: 842.49 MiB) 16:13:09 auxiliary : 1399/26000 (mem: 842.49 MiB) 16:13:09 poseidon ext : 5652/17000 (mem: 842.49 MiB) 16:13:09 poseidon int : 32207/92000 (mem: 842.49 MiB) 16:13:09 overflow : 0/0 (mem: 842.49 MiB) 16:13:09 (mem: 842.49 MiB) 16:13:09 Total structured size: 242025 (mem: 842.49 MiB) 16:13:09 allocating polynomials object in proving key... (mem: 842.49 MiB) 16:13:09 populating trace... (mem: 842.49 MiB) 16:13:09 time to construct proving key: 43 ms. (mem: 842.49 MiB) 16:13:09 getting honk vk... precomputed?: 0x62b5f14e3100 (mem: 842.49 MiB) 16:13:09 computing folding proof (mem: 842.49 MiB) 16:13:09 oink prover on each incomplete key (mem: 842.49 MiB) 16:13:09 perturbator round (mem: 842.49 MiB) 16:13:10 combiner quotient round (mem: 843.29 MiB) 16:13:10 folded (mem: 843.29 MiB) 16:13:10 constructed folding proof (mem: 843.29 MiB) 16:13:10 ClientIVC: accumulating Token:_recurse_subtract_balance (mem: 843.29 MiB) 16:13:10 Constructing DeciderProvingKey (mem: 843.29 MiB) 16:13:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 843.29 MiB) 16:13:10 goblin ecc op : 4/1024 (mem: 843.29 MiB) 16:13:10 busread : 743/6000 (mem: 843.29 MiB) 16:13:10 lookups : 2/15000 (mem: 843.29 MiB) 16:13:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 843.29 MiB) 16:13:10 arithmetic : 19857/56000 (mem: 843.29 MiB) 16:13:10 delta range : 3641/18000 (mem: 843.29 MiB) 16:13:10 elliptic : 2578/6000 (mem: 843.29 MiB) 16:13:10 auxiliary : 9593/26000 (mem: 843.29 MiB) 16:13:10 poseidon ext : 1402/17000 (mem: 843.29 MiB) 16:13:10 poseidon int : 7982/92000 (mem: 843.29 MiB) 16:13:10 overflow : 0/0 (mem: 843.29 MiB) 16:13:10 (mem: 843.29 MiB) 16:13:10 Total structured size: 242025 (mem: 843.29 MiB) 16:13:10 allocating polynomials object in proving key... (mem: 843.29 MiB) 16:13:10 populating trace... (mem: 843.29 MiB) 16:13:10 time to construct proving key: 34 ms. (mem: 843.29 MiB) 16:13:10 getting honk vk... precomputed?: 0x62b5ef0e5d40 (mem: 843.29 MiB) 16:13:10 computing folding proof (mem: 843.29 MiB) 16:13:10 oink prover on each incomplete key (mem: 843.29 MiB) 16:13:10 perturbator round (mem: 843.29 MiB) 16:13:10 combiner quotient round (mem: 843.29 MiB) 16:13:11 folded (mem: 843.29 MiB) 16:13:11 constructed folding proof (mem: 843.29 MiB) 16:13:11 ClientIVC: accumulating private_kernel_inner (mem: 843.29 MiB) 16:13:11 Constructing DeciderProvingKey (mem: 843.29 MiB) 16:13:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 843.29 MiB) 16:13:11 goblin ecc op : 792/1024 (mem: 843.29 MiB) 16:13:11 busread : 4185/6000 (mem: 843.29 MiB) 16:13:11 lookups : 2/15000 (mem: 843.29 MiB) 16:13:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 843.29 MiB) 16:13:11 arithmetic : 43917/56000 (mem: 843.29 MiB) 16:13:11 delta range : 4930/18000 (mem: 843.29 MiB) 16:13:11 elliptic : 340/6000 (mem: 843.29 MiB) 16:13:11 auxiliary : 1399/26000 (mem: 843.29 MiB) 16:13:11 poseidon ext : 5652/17000 (mem: 843.29 MiB) 16:13:11 poseidon int : 32207/92000 (mem: 843.29 MiB) 16:13:11 overflow : 0/0 (mem: 843.29 MiB) 16:13:11 (mem: 843.29 MiB) 16:13:11 Total structured size: 242025 (mem: 843.29 MiB) 16:13:11 allocating polynomials object in proving key... (mem: 843.29 MiB) 16:13:11 populating trace... (mem: 843.29 MiB) 16:13:11 time to construct proving key: 46 ms. (mem: 843.29 MiB) 16:13:11 getting honk vk... precomputed?: 0x62b5f1265200 (mem: 843.29 MiB) 16:13:11 computing folding proof (mem: 843.29 MiB) 16:13:11 oink prover on each incomplete key (mem: 843.29 MiB) 16:13:11 perturbator round (mem: 843.29 MiB) 16:13:11 combiner quotient round (mem: 843.54 MiB) 16:13:12 folded (mem: 843.54 MiB) 16:13:12 constructed folding proof (mem: 843.54 MiB) 16:13:12 ClientIVC: accumulating private_kernel_reset (mem: 843.54 MiB) 16:13:12 Constructing DeciderProvingKey (mem: 843.54 MiB) 16:13:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 843.54 MiB) 16:13:12 goblin ecc op : 392/1024 (mem: 843.54 MiB) 16:13:12 busread : 2372/6000 (mem: 843.54 MiB) 16:13:12 lookups : 2/15000 (mem: 843.54 MiB) 16:13:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 843.54 MiB) 16:13:12 arithmetic : 38166/56000 (mem: 843.54 MiB) 16:13:12 delta range : 4270/18000 (mem: 843.54 MiB) 16:13:12 elliptic : 1274/6000 (mem: 843.54 MiB) 16:13:12 auxiliary : 14240/26000 (mem: 843.54 MiB) 16:13:12 poseidon ext : 6092/17000 (mem: 843.54 MiB) 16:13:12 poseidon int : 34715/92000 (mem: 843.54 MiB) 16:13:12 overflow : 0/0 (mem: 843.54 MiB) 16:13:12 (mem: 843.54 MiB) 16:13:12 Total structured size: 242025 (mem: 843.54 MiB) 16:13:12 allocating polynomials object in proving key... (mem: 843.54 MiB) 16:13:12 populating trace... (mem: 843.54 MiB) 16:13:12 time to construct proving key: 52 ms. (mem: 843.54 MiB) 16:13:12 getting honk vk... precomputed?: 0x62b5f2e5f600 (mem: 843.54 MiB) 16:13:12 computing folding proof (mem: 843.54 MiB) 16:13:12 oink prover on each incomplete key (mem: 843.54 MiB) 16:13:12 perturbator round (mem: 843.79 MiB) 16:13:12 combiner quotient round (mem: 875.79 MiB) 16:13:12 folded (mem: 875.79 MiB) 16:13:12 constructed folding proof (mem: 875.79 MiB) 16:13:12 ClientIVC: accumulating private_kernel_tail (mem: 875.79 MiB) 16:13:12 Constructing DeciderProvingKey (mem: 875.79 MiB) 16:13:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 875.79 MiB) 16:13:13 goblin ecc op : 392/1024 (mem: 875.79 MiB) 16:13:13 busread : 206/6000 (mem: 875.79 MiB) 16:13:13 lookups : 2/15000 (mem: 875.79 MiB) 16:13:13 pub inputs : 845/5000 (populated in decider pk constructor) (mem: 875.79 MiB) 16:13:13 arithmetic : 11205/56000 (mem: 875.79 MiB) 16:13:13 delta range : 2925/18000 (mem: 875.79 MiB) 16:13:13 elliptic : 2/6000 (mem: 875.79 MiB) 16:13:13 auxiliary : 2326/26000 (mem: 875.79 MiB) 16:13:13 poseidon ext : 2532/17000 (mem: 875.79 MiB) 16:13:13 poseidon int : 14423/92000 (mem: 875.79 MiB) 16:13:13 overflow : 0/0 (mem: 875.79 MiB) 16:13:13 (mem: 875.79 MiB) 16:13:13 Total structured size: 242025 (mem: 875.79 MiB) 16:13:13 allocating polynomials object in proving key... (mem: 875.79 MiB) 16:13:13 populating trace... (mem: 875.79 MiB) 16:13:13 time to construct proving key: 27 ms. (mem: 875.79 MiB) 16:13:13 getting honk vk... precomputed?: 0x62b5ef0fa000 (mem: 875.79 MiB) 16:13:13 computing folding proof (mem: 875.79 MiB) 16:13:13 oink prover on each incomplete key (mem: 875.79 MiB) 16:13:13 perturbator round (mem: 875.79 MiB) 16:13:13 combiner quotient round (mem: 875.79 MiB) 16:13:13 folded (mem: 875.79 MiB) 16:13:13 constructed folding proof (mem: 875.79 MiB) 16:13:13 Largest circuit: 101131 gates. Trace details: (mem: 875.79 MiB) 16:13:13 Minimum required block sizes for structured trace: (mem: 875.79 MiB) 16:13:13 ecc_op : 792 16:13:13 busread : 4185 16:13:13 lookup : 8266 16:13:13 pub_inputs : 845 16:13:13 arithmetic : 43917 16:13:13 delta_range : 17435 16:13:13 elliptic : 2578 16:13:13 aux : 25394 16:13:13 poseidon2_external : 6092 16:13:13 poseidon2_internal : 34715 16:13:13 overflow : 0 16:13:13 (mem: 875.79 MiB) 16:13:13 prove decider... (mem: 875.79 MiB) 16:13:13 finished decider proving. (mem: 875.79 MiB) 16:13:13 starting sumcheck rounds... (mem: 875.79 MiB) 16:13:13 completed 18 rounds of sumcheck (mem: 875.79 MiB) 16:13:14 executed multivariate-to-univariate reduction (mem: 875.79 MiB) 16:13:14 computed opening proof (mem: 875.79 MiB) 16:13:14 Constructing DeciderProvingKey (mem: 875.79 MiB) 16:13:14 allocating polynomials object in proving key... (mem: 875.79 MiB) 16:13:14 populating trace... (mem: 875.79 MiB) 16:13:14 time to construct proving key: 35 ms. (mem: 875.79 MiB) 16:13:15 created oink proof (mem: 875.79 MiB) 16:13:15 starting sumcheck rounds... (mem: 875.79 MiB) 16:13:15 completed 16 rounds of sumcheck (mem: 875.79 MiB) 16:13:15 executed multivariate-to-univariate reduction (mem: 875.79 MiB) 16:13:15 computed opening proof (mem: 875.79 MiB) 16:13:15 Constructing a Goblin proof with num ultra ops = 3818 (mem: 875.79 MiB) 16:13:15 prove eccvm... (mem: 875.79 MiB) 16:13:15 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 875.79 MiB) 16:13:15 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 875.79 MiB) 16:13:17 starting sumcheck rounds... (mem: 875.79 MiB) 16:13:17 completed 16 rounds of sumcheck (mem: 875.79 MiB) 16:13:18 finished eccvm proving. (mem: 875.79 MiB) 16:13:18 prove translator... (mem: 875.79 MiB) 16:13:20 starting sumcheck rounds... (mem: 875.79 MiB) 16:13:20 completed 18 rounds of sumcheck (mem: 875.79 MiB) 16:13:21 computed opening proof (mem: 899.11 MiB) 16:13:21 finished translator proving. (mem: 899.11 MiB) 16:13:21 Mega verified: 1 (mem: 899.11 MiB) 16:13:21 eccvm sumcheck verified?: 1 (mem: 899.11 MiB) 16:13:21 batch opening verified?: 1 (mem: 899.11 MiB) 16:13:21 eccvm consistency check verified?: 1 (mem: 899.11 MiB) 16:13:21 translation masking consistency checked?: 1 (mem: 899.11 MiB) 16:13:21 merge verified?: 1 (mem: 899.11 MiB) 16:13:21 eccvm verified?: 1 (mem: 899.11 MiB) 16:13:21 accumulator construction_verified?: 1 (mem: 899.11 MiB) 16:13:21 translation verified?: 1 (mem: 899.11 MiB) 16:13:21 consistency verified?: 1 (mem: 899.11 MiB) 16:13:21 Goblin verified: 1 (mem: 899.11 MiB) 16:13:21 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_1_recursions+sponsored_fpc/native" (mem: 899.11 MiB) 16:13:21 ecdsar1+transfer_1_recursions+sponsored_fpc (native) has proven in 16s and peak memory of 899MB. 16:13:22 ecdsar1+transfer_1_recursions+sponsored_fpc (native) has verified.