Parent Log:
http://ci.aztec-labs.com/cd45d3e2bdb67a44
Command: 97e7ef9a556fd7e6:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh wasm ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+private_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:53 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14912_amd64_x2-full
Resources: CPU_LIST=40,41,42,43,44,45,46,47 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_de93c120b921dde2_master
16:13:53
--- bb ivc flow bench ---
16:13:53 failed to open /proc/cpuinfo
16:13:53 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect.
16:13:54 bb command: prove (mem: N/A)
16:13:54 Scheme is: client_ivc, num threads: 8 (mem: N/A)
16:13:54 --scheme: client_ivc (mem: N/A)
16:13:54 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/wasm (mem: N/A)
16:13:54 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+private_fpc/ivc-inputs.msgpack (mem: N/A)
16:13:54 --verbose: true (mem: N/A)
16:13:57 BN254 commitment key size: 262144 (mem: N/A)
16:13:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A)
16:13:58 Initialized BN254 CRS from memory with num points = 262209 (mem: N/A)
16:13:58 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A)
16:13:58 Constructing DeciderProvingKey (mem: N/A)
16:13:58 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:13:58 goblin ecc op : 4/1024 (mem: N/A)
16:13:58 busread : 743/6000 (mem: N/A)
16:13:58 lookups : 2898/15000 (mem: N/A)
16:13:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:13:58 arithmetic : 39564/56000 (mem: N/A)
16:13:58 delta range : 17435/18000 (mem: N/A)
16:13:58 elliptic : 2/6000 (mem: N/A)
16:13:58 auxiliary : 25394/26000 (mem: N/A)
16:13:58 poseidon ext : 322/17000 (mem: N/A)
16:13:58 poseidon int : 1826/92000 (mem: N/A)
16:13:58 overflow : 0/0 (mem: N/A)
16:13:58 (mem: N/A)
16:13:58 Total structured size: 242025 (mem: N/A)
16:13:58 allocating polynomials object in proving key... (mem: N/A)
16:13:58 populating trace... (mem: N/A)
16:13:58 time to construct proving key: 166 ms. (mem: N/A)
16:13:58 getting honk vk... precomputed?: 0x1008080 (mem: N/A)
16:13:58 computing oink proof... (mem: N/A)
16:13:59 oink proof constructed (mem: N/A)
16:13:59 ClientIVC: accumulating private_kernel_init (mem: N/A)
16:13:59 Constructing DeciderProvingKey (mem: N/A)
16:13:59 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:13:59 goblin ecc op : 56/1024 (mem: N/A)
16:13:59 busread : 2530/6000 (mem: N/A)
16:13:59 lookups : 2/15000 (mem: N/A)
16:13:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:13:59 arithmetic : 21193/56000 (mem: N/A)
16:13:59 delta range : 2974/18000 (mem: N/A)
16:13:59 elliptic : 340/6000 (mem: N/A)
16:13:59 auxiliary : 799/26000 (mem: N/A)
16:13:59 poseidon ext : 2012/17000 (mem: N/A)
16:13:59 poseidon int : 11459/92000 (mem: N/A)
16:13:59 overflow : 0/0 (mem: N/A)
16:13:59 (mem: N/A)
16:13:59 Total structured size: 242025 (mem: N/A)
16:13:59 allocating polynomials object in proving key... (mem: N/A)
16:13:59 populating trace... (mem: N/A)
16:13:59 time to construct proving key: 64 ms. (mem: N/A)
16:13:59 getting honk vk... precomputed?: 0x10088c0 (mem: N/A)
16:13:59 computing folding proof (mem: N/A)
16:13:59 oink prover on each incomplete key (mem: N/A)
16:14:00 perturbator round (mem: N/A)
16:14:00 combiner quotient round (mem: N/A)
16:14:00 folded (mem: N/A)
16:14:00 constructed folding proof (mem: N/A)
16:14:00 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: N/A)
16:14:00 Constructing DeciderProvingKey (mem: N/A)
16:14:00 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:00 goblin ecc op : 4/1024 (mem: N/A)
16:14:00 busread : 743/6000 (mem: N/A)
16:14:00 lookups : 2/15000 (mem: N/A)
16:14:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:14:00 arithmetic : 4295/56000 (mem: N/A)
16:14:00 delta range : 1886/18000 (mem: N/A)
16:14:00 elliptic : 2/6000 (mem: N/A)
16:14:00 auxiliary : 26/26000 (mem: N/A)
16:14:00 poseidon ext : 512/17000 (mem: N/A)
16:14:00 poseidon int : 2909/92000 (mem: N/A)
16:14:00 overflow : 0/0 (mem: N/A)
16:14:00 (mem: N/A)
16:14:00 Total structured size: 242025 (mem: N/A)
16:14:00 allocating polynomials object in proving key... (mem: N/A)
16:14:00 populating trace... (mem: N/A)
16:14:00 time to construct proving key: 30 ms. (mem: N/A)
16:14:00 getting honk vk... precomputed?: 0x1009100 (mem: N/A)
16:14:00 computing folding proof (mem: N/A)
16:14:01 oink prover on each incomplete key (mem: N/A)
16:14:01 perturbator round (mem: N/A)
16:14:01 combiner quotient round (mem: N/A)
16:14:02 folded (mem: N/A)
16:14:02 constructed folding proof (mem: N/A)
16:14:02 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:14:02 Constructing DeciderProvingKey (mem: N/A)
16:14:02 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:02 goblin ecc op : 792/1024 (mem: N/A)
16:14:02 busread : 4185/6000 (mem: N/A)
16:14:02 lookups : 2/15000 (mem: N/A)
16:14:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:14:02 arithmetic : 43917/56000 (mem: N/A)
16:14:02 delta range : 4930/18000 (mem: N/A)
16:14:02 elliptic : 340/6000 (mem: N/A)
16:14:02 auxiliary : 1399/26000 (mem: N/A)
16:14:02 poseidon ext : 5652/17000 (mem: N/A)
16:14:02 poseidon int : 32207/92000 (mem: N/A)
16:14:02 overflow : 0/0 (mem: N/A)
16:14:02 (mem: N/A)
16:14:02 Total structured size: 242025 (mem: N/A)
16:14:02 allocating polynomials object in proving key... (mem: N/A)
16:14:02 populating trace... (mem: N/A)
16:14:02 time to construct proving key: 103 ms. (mem: N/A)
16:14:02 getting honk vk... precomputed?: 0x3266240 (mem: N/A)
16:14:02 computing folding proof (mem: N/A)
16:14:03 oink prover on each incomplete key (mem: N/A)
16:14:03 perturbator round (mem: N/A)
16:14:04 combiner quotient round (mem: N/A)
16:14:04 folded (mem: N/A)
16:14:04 constructed folding proof (mem: N/A)
16:14:04 ClientIVC: accumulating Token:transfer_to_public (mem: N/A)
16:14:04 Constructing DeciderProvingKey (mem: N/A)
16:14:04 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:04 goblin ecc op : 4/1024 (mem: N/A)
16:14:04 busread : 743/6000 (mem: N/A)
16:14:04 lookups : 9354/15000 (mem: N/A)
16:14:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:14:04 arithmetic : 48253/56000 (mem: N/A)
16:14:04 delta range : 5962/18000 (mem: N/A)
16:14:04 elliptic : 5806/6000 (mem: N/A)
16:14:04 auxiliary : 20704/26000 (mem: N/A)
16:14:04 poseidon ext : 2842/17000 (mem: N/A)
16:14:04 poseidon int : 16190/92000 (mem: N/A)
16:14:04 overflow : 0/0 (mem: N/A)
16:14:04 (mem: N/A)
16:14:04 Total structured size: 242025 (mem: N/A)
16:14:04 allocating polynomials object in proving key... (mem: N/A)
16:14:04 populating trace... (mem: N/A)
16:14:04 time to construct proving key: 147 ms. (mem: N/A)
16:14:04 getting honk vk... precomputed?: 0xe59d00 (mem: N/A)
16:14:04 computing folding proof (mem: N/A)
16:14:05 oink prover on each incomplete key (mem: N/A)
16:14:06 perturbator round (mem: N/A)
16:14:06 combiner quotient round (mem: N/A)
16:14:07 folded (mem: N/A)
16:14:07 constructed folding proof (mem: N/A)
16:14:07 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:14:07 Constructing DeciderProvingKey (mem: N/A)
16:14:07 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:07 goblin ecc op : 792/1024 (mem: N/A)
16:14:07 busread : 4185/6000 (mem: N/A)
16:14:07 lookups : 2/15000 (mem: N/A)
16:14:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:14:07 arithmetic : 43917/56000 (mem: N/A)
16:14:07 delta range : 4930/18000 (mem: N/A)
16:14:07 elliptic : 340/6000 (mem: N/A)
16:14:07 auxiliary : 1399/26000 (mem: N/A)
16:14:07 poseidon ext : 5652/17000 (mem: N/A)
16:14:07 poseidon int : 32207/92000 (mem: N/A)
16:14:07 overflow : 0/0 (mem: N/A)
16:14:07 (mem: N/A)
16:14:07 Total structured size: 242025 (mem: N/A)
16:14:07 allocating polynomials object in proving key... (mem: N/A)
16:14:07 populating trace... (mem: N/A)
16:14:07 time to construct proving key: 104 ms. (mem: N/A)
16:14:07 getting honk vk... precomputed?: 0x3266a80 (mem: N/A)
16:14:07 computing folding proof (mem: N/A)
16:14:08 oink prover on each incomplete key (mem: N/A)
16:14:08 perturbator round (mem: N/A)
16:14:09 combiner quotient round (mem: N/A)
16:14:09 folded (mem: N/A)
16:14:09 constructed folding proof (mem: N/A)
16:14:10 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: N/A)
16:14:10 Constructing DeciderProvingKey (mem: N/A)
16:14:10 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:10 goblin ecc op : 4/1024 (mem: N/A)
16:14:10 busread : 743/6000 (mem: N/A)
16:14:10 lookups : 2898/15000 (mem: N/A)
16:14:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:14:10 arithmetic : 37521/56000 (mem: N/A)
16:14:10 delta range : 17045/18000 (mem: N/A)
16:14:10 elliptic : 2/6000 (mem: N/A)
16:14:10 auxiliary : 21404/26000 (mem: N/A)
16:14:10 poseidon ext : 82/17000 (mem: N/A)
16:14:10 poseidon int : 458/92000 (mem: N/A)
16:14:10 overflow : 0/0 (mem: N/A)
16:14:10 (mem: N/A)
16:14:10 Total structured size: 242025 (mem: N/A)
16:14:10 allocating polynomials object in proving key... (mem: N/A)
16:14:10 populating trace... (mem: N/A)
16:14:10 time to construct proving key: 129 ms. (mem: N/A)
16:14:10 getting honk vk... precomputed?: 0x2684f80 (mem: N/A)
16:14:10 computing folding proof (mem: N/A)
16:14:10 oink prover on each incomplete key (mem: N/A)
16:14:11 perturbator round (mem: N/A)
16:14:12 combiner quotient round (mem: N/A)
16:14:12 folded (mem: N/A)
16:14:12 constructed folding proof (mem: N/A)
16:14:12 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:14:12 Constructing DeciderProvingKey (mem: N/A)
16:14:12 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:12 goblin ecc op : 792/1024 (mem: N/A)
16:14:12 busread : 4185/6000 (mem: N/A)
16:14:12 lookups : 2/15000 (mem: N/A)
16:14:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:14:12 arithmetic : 43917/56000 (mem: N/A)
16:14:12 delta range : 4930/18000 (mem: N/A)
16:14:12 elliptic : 340/6000 (mem: N/A)
16:14:12 auxiliary : 1399/26000 (mem: N/A)
16:14:12 poseidon ext : 5652/17000 (mem: N/A)
16:14:12 poseidon int : 32207/92000 (mem: N/A)
16:14:12 overflow : 0/0 (mem: N/A)
16:14:12 (mem: N/A)
16:14:12 Total structured size: 242025 (mem: N/A)
16:14:12 allocating polynomials object in proving key... (mem: N/A)
16:14:12 populating trace... (mem: N/A)
16:14:12 time to construct proving key: 105 ms. (mem: N/A)
16:14:12 getting honk vk... precomputed?: 0x446480 (mem: N/A)
16:14:12 computing folding proof (mem: N/A)
16:14:13 oink prover on each incomplete key (mem: N/A)
16:14:13 perturbator round (mem: N/A)
16:14:14 combiner quotient round (mem: N/A)
16:14:14 folded (mem: N/A)
16:14:14 constructed folding proof (mem: N/A)
16:14:14 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A)
16:14:14 Constructing DeciderProvingKey (mem: N/A)
16:14:14 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:14 goblin ecc op : 4/1024 (mem: N/A)
16:14:14 busread : 743/6000 (mem: N/A)
16:14:14 lookups : 9354/15000 (mem: N/A)
16:14:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:14:14 arithmetic : 13534/56000 (mem: N/A)
16:14:14 delta range : 2262/18000 (mem: N/A)
16:14:14 elliptic : 670/6000 (mem: N/A)
16:14:14 auxiliary : 543/26000 (mem: N/A)
16:14:14 poseidon ext : 62/17000 (mem: N/A)
16:14:14 poseidon int : 344/92000 (mem: N/A)
16:14:14 overflow : 0/0 (mem: N/A)
16:14:14 (mem: N/A)
16:14:14 Total structured size: 242025 (mem: N/A)
16:14:14 allocating polynomials object in proving key... (mem: N/A)
16:14:14 populating trace... (mem: N/A)
16:14:14 time to construct proving key: 68 ms. (mem: N/A)
16:14:15 getting honk vk... precomputed?: 0x27824c0 (mem: N/A)
16:14:15 computing folding proof (mem: N/A)
16:14:15 oink prover on each incomplete key (mem: N/A)
16:14:15 perturbator round (mem: N/A)
16:14:16 combiner quotient round (mem: N/A)
16:14:16 folded (mem: N/A)
16:14:16 constructed folding proof (mem: N/A)
16:14:17 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:14:17 Constructing DeciderProvingKey (mem: N/A)
16:14:17 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:17 goblin ecc op : 792/1024 (mem: N/A)
16:14:17 busread : 4185/6000 (mem: N/A)
16:14:17 lookups : 2/15000 (mem: N/A)
16:14:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:14:17 arithmetic : 43917/56000 (mem: N/A)
16:14:17 delta range : 4930/18000 (mem: N/A)
16:14:17 elliptic : 340/6000 (mem: N/A)
16:14:17 auxiliary : 1399/26000 (mem: N/A)
16:14:17 poseidon ext : 5652/17000 (mem: N/A)
16:14:17 poseidon int : 32207/92000 (mem: N/A)
16:14:17 overflow : 0/0 (mem: N/A)
16:14:17 (mem: N/A)
16:14:17 Total structured size: 242025 (mem: N/A)
16:14:17 allocating polynomials object in proving key... (mem: N/A)
16:14:17 populating trace... (mem: N/A)
16:14:17 time to construct proving key: 101 ms. (mem: N/A)
16:14:17 getting honk vk... precomputed?: 0x27422c0 (mem: N/A)
16:14:17 computing folding proof (mem: N/A)
16:14:18 oink prover on each incomplete key (mem: N/A)
16:14:18 perturbator round (mem: N/A)
16:14:19 combiner quotient round (mem: N/A)
16:14:19 folded (mem: N/A)
16:14:19 constructed folding proof (mem: N/A)
16:14:19 ClientIVC: accumulating Token:transfer (mem: N/A)
16:14:19 Constructing DeciderProvingKey (mem: N/A)
16:14:19 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:19 goblin ecc op : 4/1024 (mem: N/A)
16:14:19 busread : 743/6000 (mem: N/A)
16:14:19 lookups : 8266/15000 (mem: N/A)
16:14:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:14:19 arithmetic : 17364/56000 (mem: N/A)
16:14:19 delta range : 3235/18000 (mem: N/A)
16:14:19 elliptic : 1314/6000 (mem: N/A)
16:14:19 auxiliary : 9441/26000 (mem: N/A)
16:14:19 poseidon ext : 442/17000 (mem: N/A)
16:14:19 poseidon int : 2510/92000 (mem: N/A)
16:14:19 overflow : 0/0 (mem: N/A)
16:14:19 (mem: N/A)
16:14:19 Total structured size: 242025 (mem: N/A)
16:14:19 allocating polynomials object in proving key... (mem: N/A)
16:14:19 populating trace... (mem: N/A)
16:14:19 time to construct proving key: 87 ms. (mem: N/A)
16:14:19 getting honk vk... precomputed?: 0x439440 (mem: N/A)
16:14:19 computing folding proof (mem: N/A)
16:14:20 oink prover on each incomplete key (mem: N/A)
16:14:20 perturbator round (mem: N/A)
16:14:21 combiner quotient round (mem: N/A)
16:14:21 folded (mem: N/A)
16:14:21 constructed folding proof (mem: N/A)
16:14:21 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:14:21 Constructing DeciderProvingKey (mem: N/A)
16:14:21 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:21 goblin ecc op : 792/1024 (mem: N/A)
16:14:21 busread : 4185/6000 (mem: N/A)
16:14:21 lookups : 2/15000 (mem: N/A)
16:14:21 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:14:21 arithmetic : 43917/56000 (mem: N/A)
16:14:21 delta range : 4930/18000 (mem: N/A)
16:14:21 elliptic : 340/6000 (mem: N/A)
16:14:21 auxiliary : 1399/26000 (mem: N/A)
16:14:21 poseidon ext : 5652/17000 (mem: N/A)
16:14:21 poseidon int : 32207/92000 (mem: N/A)
16:14:21 overflow : 0/0 (mem: N/A)
16:14:21 (mem: N/A)
16:14:21 Total structured size: 242025 (mem: N/A)
16:14:21 allocating polynomials object in proving key... (mem: N/A)
16:14:21 populating trace... (mem: N/A)
16:14:22 time to construct proving key: 99 ms. (mem: N/A)
16:14:22 getting honk vk... precomputed?: 0x27a1e00 (mem: N/A)
16:14:22 computing folding proof (mem: N/A)
16:14:23 oink prover on each incomplete key (mem: N/A)
16:14:23 perturbator round (mem: N/A)
16:14:24 combiner quotient round (mem: N/A)
16:14:24 folded (mem: N/A)
16:14:24 constructed folding proof (mem: N/A)
16:14:24 ClientIVC: accumulating private_kernel_reset (mem: N/A)
16:14:24 Constructing DeciderProvingKey (mem: N/A)
16:14:24 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:24 goblin ecc op : 392/1024 (mem: N/A)
16:14:24 busread : 2732/6000 (mem: N/A)
16:14:24 lookups : 2/15000 (mem: N/A)
16:14:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:14:24 arithmetic : 51946/56000 (mem: N/A)
16:14:24 delta range : 4846/18000 (mem: N/A)
16:14:24 elliptic : 1274/6000 (mem: N/A)
16:14:24 auxiliary : 17680/26000 (mem: N/A)
16:14:24 poseidon ext : 12012/17000 (mem: N/A)
16:14:24 poseidon int : 68459/92000 (mem: N/A)
16:14:24 overflow : 0/0 (mem: N/A)
16:14:24 (mem: N/A)
16:14:24 Total structured size: 242025 (mem: N/A)
16:14:24 allocating polynomials object in proving key... (mem: N/A)
16:14:24 populating trace... (mem: N/A)
16:14:24 time to construct proving key: 176 ms. (mem: N/A)
16:14:24 getting honk vk... precomputed?: 0x70a8ac0 (mem: N/A)
16:14:24 computing folding proof (mem: N/A)
16:14:26 oink prover on each incomplete key (mem: N/A)
16:14:26 perturbator round (mem: N/A)
16:14:27 combiner quotient round (mem: N/A)
16:14:27 folded (mem: N/A)
16:14:27 constructed folding proof (mem: N/A)
16:14:27 ClientIVC: accumulating private_kernel_tail (mem: N/A)
16:14:27 Constructing DeciderProvingKey (mem: N/A)
16:14:27 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:14:27 goblin ecc op : 392/1024 (mem: N/A)
16:14:27 busread : 222/6000 (mem: N/A)
16:14:27 lookups : 2/15000 (mem: N/A)
16:14:27 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: N/A)
16:14:27 arithmetic : 21298/56000 (mem: N/A)
16:14:27 delta range : 3622/18000 (mem: N/A)
16:14:27 elliptic : 2/6000 (mem: N/A)
16:14:27 auxiliary : 7134/26000 (mem: N/A)
16:14:27 poseidon ext : 2532/17000 (mem: N/A)
16:14:27 poseidon int : 14423/92000 (mem: N/A)
16:14:27 overflow : 0/0 (mem: N/A)
16:14:27 (mem: N/A)
16:14:27 Total structured size: 242025 (mem: N/A)
16:14:27 allocating polynomials object in proving key... (mem: N/A)
16:14:27 populating trace... (mem: N/A)
16:14:27 time to construct proving key: 71 ms. (mem: N/A)
16:14:27 getting honk vk... precomputed?: 0x4a57c0 (mem: N/A)
16:14:27 computing folding proof (mem: N/A)
16:14:28 oink prover on each incomplete key (mem: N/A)
16:14:29 perturbator round (mem: N/A)
16:14:29 combiner quotient round (mem: N/A)
16:14:30 folded (mem: N/A)
16:14:30 constructed folding proof (mem: N/A)
16:14:30 Largest circuit: 158951 gates. Trace details: (mem: N/A)
16:14:30 Minimum required block sizes for structured trace: (mem: N/A)
16:14:30 ecc_op : 792
16:14:30 busread : 4185
16:14:30 lookup : 9354
16:14:30 pub_inputs : 1876
16:14:30 arithmetic : 51946
16:14:30 delta_range : 17435
16:14:30 elliptic : 5806
16:14:30 aux : 25394
16:14:30 poseidon2_external : 12012
16:14:30 poseidon2_internal : 68459
16:14:30 overflow : 0
16:14:30 (mem: N/A)
16:14:30 prove decider... (mem: N/A)
16:14:30 finished decider proving. (mem: N/A)
16:14:30 starting sumcheck rounds... (mem: N/A)
16:14:31 completed 18 rounds of sumcheck (mem: N/A)
16:14:32 executed multivariate-to-univariate reduction (mem: N/A)
16:14:32 computed opening proof (mem: N/A)
16:14:32 Constructing DeciderProvingKey (mem: N/A)
16:14:32 allocating polynomials object in proving key... (mem: N/A)
16:14:32 populating trace... (mem: N/A)
16:14:32 time to construct proving key: 117 ms. (mem: N/A)
16:14:34 created oink proof (mem: N/A)
16:14:34 starting sumcheck rounds... (mem: N/A)
16:14:35 completed 17 rounds of sumcheck (mem: N/A)
16:14:36 executed multivariate-to-univariate reduction (mem: N/A)
16:14:36 computed opening proof (mem: N/A)
16:14:36 Constructing a Goblin proof with num ultra ops = 5410 (mem: N/A)
16:14:36 prove eccvm... (mem: N/A)
16:14:37 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A)
16:14:37 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: N/A)
16:14:41 starting sumcheck rounds... (mem: N/A)
16:14:43 completed 16 rounds of sumcheck (mem: N/A)
16:14:45 finished eccvm proving. (mem: N/A)
16:14:45 prove translator... (mem: N/A)
16:14:48 starting sumcheck rounds... (mem: N/A)
16:14:50 completed 18 rounds of sumcheck (mem: N/A)
16:14:52 computed opening proof (mem: N/A)
16:14:52 finished translator proving. (mem: N/A)
16:14:53 Mega verified: 1 (mem: N/A)
16:14:53 eccvm sumcheck verified?: 1 (mem: N/A)
16:14:53 batch opening verified?: 1 (mem: N/A)
16:14:53 eccvm consistency check verified?: 1 (mem: N/A)
16:14:53 translation masking consistency checked?: 1 (mem: N/A)
16:14:53 merge verified?: 1 (mem: N/A)
16:14:53 eccvm verified?: 1 (mem: N/A)
16:14:53 accumulator construction_verified?: 1 (mem: N/A)
16:14:53 translation verified?: 1 (mem: N/A)
16:14:53 consistency verified?: 1 (mem: N/A)
16:14:53 Goblin verified: 1 (mem: N/A)
16:14:53 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/wasm" (mem: N/A)
16:14:53 ecdsar1+transfer_0_recursions+private_fpc (wasm) has proven in 59s and peak memory of 1035MB.
16:14:53 ecdsar1+transfer_0_recursions+private_fpc (wasm) has verified.