Parent Log:
http://ci.aztec-labs.com/655dcfe30d80a5cc
Command: d2a1f586812a792c: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/464e1a9d9b40b5188586643b44bc52bffccbc3e6
Env: REF_NAME=gh-readonly-queue/master/pr-15117-c06f30929f18b85bcea93c0926a8d640a3819f00 CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Tue Jun 17 20:35:05 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15117_amd64_x1-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
20:35:05
--- bb ivc flow bench ---
20:35:05 failed to open /proc/cpuinfo
20:35:05 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect.
20:35:06 bb command: prove (mem: N/A)
20:35:06 Scheme is: client_ivc, num threads: 8 (mem: N/A)
20:35:06 --scheme: client_ivc (mem: N/A)
20:35:06 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/wasm (mem: N/A)
20:35:06 --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)
20:35:06 --verbose: true (mem: N/A)
20:35:09 BN254 commitment key size: 262144 (mem: N/A)
20:35:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A)
20:35:09 Initialized BN254 CRS from memory with num points = 262209 (mem: N/A)
20:35:09 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A)
20:35:09 Constructing DeciderProvingKey (mem: N/A)
20:35:09 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:09 goblin ecc op : 4/1024 (mem: N/A)
20:35:09 busread : 743/6000 (mem: N/A)
20:35:09 lookups : 2898/15000 (mem: N/A)
20:35:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
20:35:09 arithmetic : 39564/56000 (mem: N/A)
20:35:09 delta range : 17435/18000 (mem: N/A)
20:35:09 elliptic : 2/6000 (mem: N/A)
20:35:09 auxiliary : 25394/26000 (mem: N/A)
20:35:09 poseidon ext : 322/17000 (mem: N/A)
20:35:09 poseidon int : 1826/92000 (mem: N/A)
20:35:09 overflow : 0/0 (mem: N/A)
20:35:09 (mem: N/A)
20:35:09 Total structured size: 242025 (mem: N/A)
20:35:09 allocating polynomials object in proving key... (mem: N/A)
20:35:09 populating trace... (mem: N/A)
20:35:09 time to construct proving key: 173 ms. (mem: N/A)
20:35:09 getting honk vk... precomputed?: 0xd18e40 (mem: N/A)
20:35:09 computing oink proof... (mem: N/A)
20:35:10 oink proof constructed (mem: N/A)
20:35:10 ClientIVC: accumulating private_kernel_init (mem: N/A)
20:35:10 Constructing DeciderProvingKey (mem: N/A)
20:35:10 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:10 goblin ecc op : 56/1024 (mem: N/A)
20:35:10 busread : 2530/6000 (mem: N/A)
20:35:10 lookups : 2/15000 (mem: N/A)
20:35:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
20:35:10 arithmetic : 21193/56000 (mem: N/A)
20:35:10 delta range : 2974/18000 (mem: N/A)
20:35:10 elliptic : 340/6000 (mem: N/A)
20:35:10 auxiliary : 799/26000 (mem: N/A)
20:35:10 poseidon ext : 2012/17000 (mem: N/A)
20:35:10 poseidon int : 11459/92000 (mem: N/A)
20:35:10 overflow : 0/0 (mem: N/A)
20:35:10 (mem: N/A)
20:35:10 Total structured size: 242025 (mem: N/A)
20:35:10 allocating polynomials object in proving key... (mem: N/A)
20:35:10 populating trace... (mem: N/A)
20:35:10 time to construct proving key: 67 ms. (mem: N/A)
20:35:10 getting honk vk... precomputed?: 0xd19680 (mem: N/A)
20:35:10 computing folding proof (mem: N/A)
20:35:11 oink prover on each incomplete key (mem: N/A)
20:35:11 perturbator round (mem: N/A)
20:35:12 combiner quotient round (mem: N/A)
20:35:12 folded (mem: N/A)
20:35:12 constructed folding proof (mem: N/A)
20:35:12 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: N/A)
20:35:12 Constructing DeciderProvingKey (mem: N/A)
20:35:12 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:12 goblin ecc op : 4/1024 (mem: N/A)
20:35:12 busread : 743/6000 (mem: N/A)
20:35:12 lookups : 2/15000 (mem: N/A)
20:35:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
20:35:12 arithmetic : 4295/56000 (mem: N/A)
20:35:12 delta range : 1886/18000 (mem: N/A)
20:35:12 elliptic : 2/6000 (mem: N/A)
20:35:12 auxiliary : 26/26000 (mem: N/A)
20:35:12 poseidon ext : 512/17000 (mem: N/A)
20:35:12 poseidon int : 2909/92000 (mem: N/A)
20:35:12 overflow : 0/0 (mem: N/A)
20:35:12 (mem: N/A)
20:35:12 Total structured size: 242025 (mem: N/A)
20:35:12 allocating polynomials object in proving key... (mem: N/A)
20:35:12 populating trace... (mem: N/A)
20:35:12 time to construct proving key: 31 ms. (mem: N/A)
20:35:12 getting honk vk... precomputed?: 0xe51180 (mem: N/A)
20:35:12 computing folding proof (mem: N/A)
20:35:12 oink prover on each incomplete key (mem: N/A)
20:35:12 perturbator round (mem: N/A)
20:35:13 combiner quotient round (mem: N/A)
20:35:13 folded (mem: N/A)
20:35:13 constructed folding proof (mem: N/A)
20:35:13 ClientIVC: accumulating private_kernel_inner (mem: N/A)
20:35:13 Constructing DeciderProvingKey (mem: N/A)
20:35:13 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:13 goblin ecc op : 792/1024 (mem: N/A)
20:35:13 busread : 4185/6000 (mem: N/A)
20:35:13 lookups : 2/15000 (mem: N/A)
20:35:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
20:35:13 arithmetic : 43917/56000 (mem: N/A)
20:35:13 delta range : 4930/18000 (mem: N/A)
20:35:13 elliptic : 340/6000 (mem: N/A)
20:35:13 auxiliary : 1399/26000 (mem: N/A)
20:35:13 poseidon ext : 5652/17000 (mem: N/A)
20:35:13 poseidon int : 32207/92000 (mem: N/A)
20:35:13 overflow : 0/0 (mem: N/A)
20:35:13 (mem: N/A)
20:35:13 Total structured size: 242025 (mem: N/A)
20:35:13 allocating polynomials object in proving key... (mem: N/A)
20:35:13 populating trace... (mem: N/A)
20:35:13 time to construct proving key: 100 ms. (mem: N/A)
20:35:13 getting honk vk... precomputed?: 0xe519c0 (mem: N/A)
20:35:13 computing folding proof (mem: N/A)
20:35:14 oink prover on each incomplete key (mem: N/A)
20:35:15 perturbator round (mem: N/A)
20:35:15 combiner quotient round (mem: N/A)
20:35:15 folded (mem: N/A)
20:35:15 constructed folding proof (mem: N/A)
20:35:16 ClientIVC: accumulating Token:transfer_to_public (mem: N/A)
20:35:16 Constructing DeciderProvingKey (mem: N/A)
20:35:16 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:16 goblin ecc op : 4/1024 (mem: N/A)
20:35:16 busread : 743/6000 (mem: N/A)
20:35:16 lookups : 9354/15000 (mem: N/A)
20:35:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
20:35:16 arithmetic : 48253/56000 (mem: N/A)
20:35:16 delta range : 5962/18000 (mem: N/A)
20:35:16 elliptic : 5806/6000 (mem: N/A)
20:35:16 auxiliary : 20704/26000 (mem: N/A)
20:35:16 poseidon ext : 2842/17000 (mem: N/A)
20:35:16 poseidon int : 16190/92000 (mem: N/A)
20:35:16 overflow : 0/0 (mem: N/A)
20:35:16 (mem: N/A)
20:35:16 Total structured size: 242025 (mem: N/A)
20:35:16 allocating polynomials object in proving key... (mem: N/A)
20:35:16 populating trace... (mem: N/A)
20:35:16 time to construct proving key: 151 ms. (mem: N/A)
20:35:16 getting honk vk... precomputed?: 0x453400 (mem: N/A)
20:35:16 computing folding proof (mem: N/A)
20:35:17 oink prover on each incomplete key (mem: N/A)
20:35:17 perturbator round (mem: N/A)
20:35:18 combiner quotient round (mem: N/A)
20:35:18 folded (mem: N/A)
20:35:18 constructed folding proof (mem: N/A)
20:35:18 ClientIVC: accumulating private_kernel_inner (mem: N/A)
20:35:18 Constructing DeciderProvingKey (mem: N/A)
20:35:18 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:18 goblin ecc op : 792/1024 (mem: N/A)
20:35:18 busread : 4185/6000 (mem: N/A)
20:35:18 lookups : 2/15000 (mem: N/A)
20:35:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
20:35:18 arithmetic : 43917/56000 (mem: N/A)
20:35:18 delta range : 4930/18000 (mem: N/A)
20:35:18 elliptic : 340/6000 (mem: N/A)
20:35:18 auxiliary : 1399/26000 (mem: N/A)
20:35:18 poseidon ext : 5652/17000 (mem: N/A)
20:35:18 poseidon int : 32207/92000 (mem: N/A)
20:35:18 overflow : 0/0 (mem: N/A)
20:35:18 (mem: N/A)
20:35:18 Total structured size: 242025 (mem: N/A)
20:35:18 allocating polynomials object in proving key... (mem: N/A)
20:35:18 populating trace... (mem: N/A)
20:35:18 time to construct proving key: 101 ms. (mem: N/A)
20:35:18 getting honk vk... precomputed?: 0x2780c40 (mem: N/A)
20:35:18 computing folding proof (mem: N/A)
20:35:19 oink prover on each incomplete key (mem: N/A)
20:35:20 perturbator round (mem: N/A)
20:35:20 combiner quotient round (mem: N/A)
20:35:21 folded (mem: N/A)
20:35:21 constructed folding proof (mem: N/A)
20:35:21 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: N/A)
20:35:21 Constructing DeciderProvingKey (mem: N/A)
20:35:21 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:21 goblin ecc op : 4/1024 (mem: N/A)
20:35:21 busread : 743/6000 (mem: N/A)
20:35:21 lookups : 2898/15000 (mem: N/A)
20:35:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
20:35:21 arithmetic : 37521/56000 (mem: N/A)
20:35:21 delta range : 17045/18000 (mem: N/A)
20:35:21 elliptic : 2/6000 (mem: N/A)
20:35:21 auxiliary : 21404/26000 (mem: N/A)
20:35:21 poseidon ext : 82/17000 (mem: N/A)
20:35:21 poseidon int : 458/92000 (mem: N/A)
20:35:21 overflow : 0/0 (mem: N/A)
20:35:21 (mem: N/A)
20:35:21 Total structured size: 242025 (mem: N/A)
20:35:21 allocating polynomials object in proving key... (mem: N/A)
20:35:21 populating trace... (mem: N/A)
20:35:21 time to construct proving key: 136 ms. (mem: N/A)
20:35:21 getting honk vk... precomputed?: 0x268b480 (mem: N/A)
20:35:21 computing folding proof (mem: N/A)
20:35:22 oink prover on each incomplete key (mem: N/A)
20:35:22 perturbator round (mem: N/A)
20:35:23 combiner quotient round (mem: N/A)
20:35:23 folded (mem: N/A)
20:35:23 constructed folding proof (mem: N/A)
20:35:23 ClientIVC: accumulating private_kernel_inner (mem: N/A)
20:35:23 Constructing DeciderProvingKey (mem: N/A)
20:35:23 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:23 goblin ecc op : 792/1024 (mem: N/A)
20:35:23 busread : 4185/6000 (mem: N/A)
20:35:23 lookups : 2/15000 (mem: N/A)
20:35:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
20:35:23 arithmetic : 43917/56000 (mem: N/A)
20:35:23 delta range : 4930/18000 (mem: N/A)
20:35:23 elliptic : 340/6000 (mem: N/A)
20:35:23 auxiliary : 1399/26000 (mem: N/A)
20:35:23 poseidon ext : 5652/17000 (mem: N/A)
20:35:23 poseidon int : 32207/92000 (mem: N/A)
20:35:23 overflow : 0/0 (mem: N/A)
20:35:23 (mem: N/A)
20:35:23 Total structured size: 242025 (mem: N/A)
20:35:23 allocating polynomials object in proving key... (mem: N/A)
20:35:23 populating trace... (mem: N/A)
20:35:23 time to construct proving key: 107 ms. (mem: N/A)
20:35:23 getting honk vk... precomputed?: 0x28f0980 (mem: N/A)
20:35:23 computing folding proof (mem: N/A)
20:35:24 oink prover on each incomplete key (mem: N/A)
20:35:25 perturbator round (mem: N/A)
20:35:26 combiner quotient round (mem: N/A)
20:35:26 folded (mem: N/A)
20:35:26 constructed folding proof (mem: N/A)
20:35:26 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A)
20:35:26 Constructing DeciderProvingKey (mem: N/A)
20:35:26 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:26 goblin ecc op : 4/1024 (mem: N/A)
20:35:26 busread : 743/6000 (mem: N/A)
20:35:26 lookups : 9354/15000 (mem: N/A)
20:35:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
20:35:26 arithmetic : 13534/56000 (mem: N/A)
20:35:26 delta range : 2262/18000 (mem: N/A)
20:35:26 elliptic : 670/6000 (mem: N/A)
20:35:26 auxiliary : 543/26000 (mem: N/A)
20:35:26 poseidon ext : 62/17000 (mem: N/A)
20:35:26 poseidon int : 344/92000 (mem: N/A)
20:35:26 overflow : 0/0 (mem: N/A)
20:35:26 (mem: N/A)
20:35:26 Total structured size: 242025 (mem: N/A)
20:35:26 allocating polynomials object in proving key... (mem: N/A)
20:35:26 populating trace... (mem: N/A)
20:35:26 time to construct proving key: 66 ms. (mem: N/A)
20:35:26 getting honk vk... precomputed?: 0x4a7a40 (mem: N/A)
20:35:26 computing folding proof (mem: N/A)
20:35:26 oink prover on each incomplete key (mem: N/A)
20:35:27 perturbator round (mem: N/A)
20:35:28 combiner quotient round (mem: N/A)
20:35:28 folded (mem: N/A)
20:35:28 constructed folding proof (mem: N/A)
20:35:28 ClientIVC: accumulating private_kernel_inner (mem: N/A)
20:35:28 Constructing DeciderProvingKey (mem: N/A)
20:35:28 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:28 goblin ecc op : 792/1024 (mem: N/A)
20:35:28 busread : 4185/6000 (mem: N/A)
20:35:28 lookups : 2/15000 (mem: N/A)
20:35:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
20:35:28 arithmetic : 43917/56000 (mem: N/A)
20:35:28 delta range : 4930/18000 (mem: N/A)
20:35:28 elliptic : 340/6000 (mem: N/A)
20:35:28 auxiliary : 1399/26000 (mem: N/A)
20:35:28 poseidon ext : 5652/17000 (mem: N/A)
20:35:28 poseidon int : 32207/92000 (mem: N/A)
20:35:28 overflow : 0/0 (mem: N/A)
20:35:28 (mem: N/A)
20:35:28 Total structured size: 242025 (mem: N/A)
20:35:28 allocating polynomials object in proving key... (mem: N/A)
20:35:28 populating trace... (mem: N/A)
20:35:28 time to construct proving key: 100 ms. (mem: N/A)
20:35:28 getting honk vk... precomputed?: 0x2742300 (mem: N/A)
20:35:28 computing folding proof (mem: N/A)
20:35:29 oink prover on each incomplete key (mem: N/A)
20:35:29 perturbator round (mem: N/A)
20:35:30 combiner quotient round (mem: N/A)
20:35:30 folded (mem: N/A)
20:35:30 constructed folding proof (mem: N/A)
20:35:30 ClientIVC: accumulating Token:transfer (mem: N/A)
20:35:30 Constructing DeciderProvingKey (mem: N/A)
20:35:30 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:30 goblin ecc op : 4/1024 (mem: N/A)
20:35:30 busread : 743/6000 (mem: N/A)
20:35:30 lookups : 8266/15000 (mem: N/A)
20:35:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
20:35:30 arithmetic : 17364/56000 (mem: N/A)
20:35:30 delta range : 3235/18000 (mem: N/A)
20:35:30 elliptic : 1314/6000 (mem: N/A)
20:35:30 auxiliary : 9441/26000 (mem: N/A)
20:35:30 poseidon ext : 442/17000 (mem: N/A)
20:35:30 poseidon int : 2510/92000 (mem: N/A)
20:35:30 overflow : 0/0 (mem: N/A)
20:35:30 (mem: N/A)
20:35:30 Total structured size: 242025 (mem: N/A)
20:35:30 allocating polynomials object in proving key... (mem: N/A)
20:35:30 populating trace... (mem: N/A)
20:35:31 time to construct proving key: 82 ms. (mem: N/A)
20:35:31 getting honk vk... precomputed?: 0x5df7b80 (mem: N/A)
20:35:31 computing folding proof (mem: N/A)
20:35:31 oink prover on each incomplete key (mem: N/A)
20:35:32 perturbator round (mem: N/A)
20:35:32 combiner quotient round (mem: N/A)
20:35:33 folded (mem: N/A)
20:35:33 constructed folding proof (mem: N/A)
20:35:33 ClientIVC: accumulating private_kernel_inner (mem: N/A)
20:35:33 Constructing DeciderProvingKey (mem: N/A)
20:35:33 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:33 goblin ecc op : 792/1024 (mem: N/A)
20:35:33 busread : 4185/6000 (mem: N/A)
20:35:33 lookups : 2/15000 (mem: N/A)
20:35:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
20:35:33 arithmetic : 43917/56000 (mem: N/A)
20:35:33 delta range : 4930/18000 (mem: N/A)
20:35:33 elliptic : 340/6000 (mem: N/A)
20:35:33 auxiliary : 1399/26000 (mem: N/A)
20:35:33 poseidon ext : 5652/17000 (mem: N/A)
20:35:33 poseidon int : 32207/92000 (mem: N/A)
20:35:33 overflow : 0/0 (mem: N/A)
20:35:33 (mem: N/A)
20:35:33 Total structured size: 242025 (mem: N/A)
20:35:33 allocating polynomials object in proving key... (mem: N/A)
20:35:33 populating trace... (mem: N/A)
20:35:33 time to construct proving key: 101 ms. (mem: N/A)
20:35:33 getting honk vk... precomputed?: 0x6967940 (mem: N/A)
20:35:33 computing folding proof (mem: N/A)
20:35:34 oink prover on each incomplete key (mem: N/A)
20:35:34 perturbator round (mem: N/A)
20:35:35 combiner quotient round (mem: N/A)
20:35:35 folded (mem: N/A)
20:35:35 constructed folding proof (mem: N/A)
20:35:35 ClientIVC: accumulating private_kernel_reset (mem: N/A)
20:35:35 Constructing DeciderProvingKey (mem: N/A)
20:35:35 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:35 goblin ecc op : 392/1024 (mem: N/A)
20:35:35 busread : 2732/6000 (mem: N/A)
20:35:35 lookups : 2/15000 (mem: N/A)
20:35:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
20:35:35 arithmetic : 51946/56000 (mem: N/A)
20:35:35 delta range : 4846/18000 (mem: N/A)
20:35:35 elliptic : 1274/6000 (mem: N/A)
20:35:35 auxiliary : 17680/26000 (mem: N/A)
20:35:35 poseidon ext : 12012/17000 (mem: N/A)
20:35:35 poseidon int : 68459/92000 (mem: N/A)
20:35:35 overflow : 0/0 (mem: N/A)
20:35:35 (mem: N/A)
20:35:35 Total structured size: 242025 (mem: N/A)
20:35:35 allocating polynomials object in proving key... (mem: N/A)
20:35:35 populating trace... (mem: N/A)
20:35:36 time to construct proving key: 171 ms. (mem: N/A)
20:35:36 getting honk vk... precomputed?: 0x46a8d00 (mem: N/A)
20:35:36 computing folding proof (mem: N/A)
20:35:37 oink prover on each incomplete key (mem: N/A)
20:35:37 perturbator round (mem: N/A)
20:35:38 combiner quotient round (mem: N/A)
20:35:38 folded (mem: N/A)
20:35:38 constructed folding proof (mem: N/A)
20:35:39 ClientIVC: accumulating private_kernel_tail (mem: N/A)
20:35:39 Constructing DeciderProvingKey (mem: N/A)
20:35:39 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
20:35:39 goblin ecc op : 392/1024 (mem: N/A)
20:35:39 busread : 222/6000 (mem: N/A)
20:35:39 lookups : 2/15000 (mem: N/A)
20:35:39 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: N/A)
20:35:39 arithmetic : 21298/56000 (mem: N/A)
20:35:39 delta range : 3622/18000 (mem: N/A)
20:35:39 elliptic : 2/6000 (mem: N/A)
20:35:39 auxiliary : 7134/26000 (mem: N/A)
20:35:39 poseidon ext : 2532/17000 (mem: N/A)
20:35:39 poseidon int : 14423/92000 (mem: N/A)
20:35:39 overflow : 0/0 (mem: N/A)
20:35:39 (mem: N/A)
20:35:39 Total structured size: 242025 (mem: N/A)
20:35:39 allocating polynomials object in proving key... (mem: N/A)
20:35:39 populating trace... (mem: N/A)
20:35:39 time to construct proving key: 71 ms. (mem: N/A)
20:35:39 getting honk vk... precomputed?: 0x438ac0 (mem: N/A)
20:35:39 computing folding proof (mem: N/A)
20:35:39 oink prover on each incomplete key (mem: N/A)
20:35:40 perturbator round (mem: N/A)
20:35:41 combiner quotient round (mem: N/A)
20:35:41 folded (mem: N/A)
20:35:41 constructed folding proof (mem: N/A)
20:35:41 Largest circuit: 158951 gates. Trace details: (mem: N/A)
20:35:41 Minimum required block sizes for structured trace: (mem: N/A)
20:35:41 ecc_op : 792
20:35:41 busread : 4185
20:35:41 lookup : 9354
20:35:41 pub_inputs : 1876
20:35:41 arithmetic : 51946
20:35:41 delta_range : 17435
20:35:41 elliptic : 5806
20:35:41 aux : 25394
20:35:41 poseidon2_external : 12012
20:35:41 poseidon2_internal : 68459
20:35:41 overflow : 0
20:35:41 (mem: N/A)
20:35:41 prove decider... (mem: N/A)
20:35:41 finished decider proving. (mem: N/A)
20:35:41 starting sumcheck rounds... (mem: N/A)
20:35:42 completed 18 rounds of sumcheck (mem: N/A)
20:35:43 executed multivariate-to-univariate reduction (mem: N/A)
20:35:43 computed opening proof (mem: N/A)
20:35:43 Constructing DeciderProvingKey (mem: N/A)
20:35:43 allocating polynomials object in proving key... (mem: N/A)
20:35:43 populating trace... (mem: N/A)
20:35:44 time to construct proving key: 117 ms. (mem: N/A)
20:35:46 created oink proof (mem: N/A)
20:35:46 starting sumcheck rounds... (mem: N/A)
20:35:46 completed 17 rounds of sumcheck (mem: N/A)
20:35:47 executed multivariate-to-univariate reduction (mem: N/A)
20:35:47 computed opening proof (mem: N/A)
20:35:47 Constructing a Goblin proof with num ultra ops = 5410 (mem: N/A)
20:35:47 prove eccvm... (mem: N/A)
20:35:48 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A)
20:35:48 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: N/A)
20:35:52 starting sumcheck rounds... (mem: N/A)
20:35:54 completed 16 rounds of sumcheck (mem: N/A)
20:35:56 finished eccvm proving. (mem: N/A)
20:35:56 prove translator... (mem: N/A)
20:36:00 starting sumcheck rounds... (mem: N/A)
20:36:01 completed 18 rounds of sumcheck (mem: N/A)
20:36:04 computed opening proof (mem: N/A)
20:36:04 finished translator proving. (mem: N/A)
20:36:04 Mega verified: 1 (mem: N/A)
20:36:04 eccvm sumcheck verified?: 1 (mem: N/A)
20:36:04 batch opening verified?: 1 (mem: N/A)
20:36:04 eccvm consistency check verified?: 1 (mem: N/A)
20:36:04 translation masking consistency checked?: 1 (mem: N/A)
20:36:04 merge verified?: 1 (mem: N/A)
20:36:04 eccvm verified?: 1 (mem: N/A)
20:36:04 accumulator construction_verified?: 1 (mem: N/A)
20:36:04 translation verified?: 1 (mem: N/A)
20:36:04 consistency verified?: 1 (mem: N/A)
20:36:04 Goblin verified: 1 (mem: N/A)
20:36:04 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/wasm" (mem: N/A)
20:36:04 ecdsar1+transfer_0_recursions+private_fpc (wasm) has proven in 59s and peak memory of 1036MB.
20:36:04 ecdsar1+transfer_0_recursions+private_fpc (wasm) has verified.