ACI ·

Parent Log: http://ci.aztec-labs.com/ae40bd446a02274e Command: 4bfd2d3585b9db66:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh wasm ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/267ac35e8ccb487bdc79bbe12d428f4c8b4d4d9f Env: REF_NAME=gh-readonly-queue/master/pr-15002-1338cef09c870378254c56748f972ae827c4d482 CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Fri Jun 13 15:12:25 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15002_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_3e2be22a40194e0e_master 15:12:25 --- bb ivc flow bench --- 15:12:25 failed to open /proc/cpuinfo 15:12:25 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect. 15:12:26 bb command: prove (mem: N/A) 15:12:26 Scheme is: client_ivc, num threads: 8 (mem: N/A) 15:12:26 --scheme: client_ivc (mem: N/A) 15:12:26 --output_path: bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/wasm (mem: N/A) 15:12:26 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/ivc-inputs.msgpack (mem: N/A) 15:12:26 --verbose: true (mem: N/A) 15:12:31 BN254 commitment key size: 262144 (mem: N/A) 15:12:31 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A) 15:12:31 Initialized BN254 CRS from memory with num points = 262209 (mem: N/A) 15:12:31 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A) 15:12:31 Constructing DeciderProvingKey (mem: N/A) 15:12:31 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:31 goblin ecc op : 4/1024 (mem: N/A) 15:12:31 busread : 743/6000 (mem: N/A) 15:12:31 lookups : 2898/15000 (mem: N/A) 15:12:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:12:31 arithmetic : 39564/56000 (mem: N/A) 15:12:31 delta range : 17435/18000 (mem: N/A) 15:12:31 elliptic : 2/6000 (mem: N/A) 15:12:31 auxiliary : 25394/26000 (mem: N/A) 15:12:31 poseidon ext : 322/17000 (mem: N/A) 15:12:31 poseidon int : 1826/92000 (mem: N/A) 15:12:31 overflow : 0/0 (mem: N/A) 15:12:31 (mem: N/A) 15:12:31 Total structured size: 242025 (mem: N/A) 15:12:31 allocating polynomials object in proving key... (mem: N/A) 15:12:31 populating trace... (mem: N/A) 15:12:32 time to construct proving key: 164 ms. (mem: N/A) 15:12:32 getting honk vk... precomputed?: 0x15e7300 (mem: N/A) 15:12:32 computing oink proof... (mem: N/A) 15:12:32 oink proof constructed (mem: N/A) 15:12:32 ClientIVC: accumulating private_kernel_init (mem: N/A) 15:12:32 Constructing DeciderProvingKey (mem: N/A) 15:12:32 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:32 goblin ecc op : 56/1024 (mem: N/A) 15:12:32 busread : 2530/6000 (mem: N/A) 15:12:32 lookups : 2/15000 (mem: N/A) 15:12:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:12:32 arithmetic : 21193/56000 (mem: N/A) 15:12:32 delta range : 2974/18000 (mem: N/A) 15:12:32 elliptic : 340/6000 (mem: N/A) 15:12:32 auxiliary : 799/26000 (mem: N/A) 15:12:32 poseidon ext : 2012/17000 (mem: N/A) 15:12:32 poseidon int : 11459/92000 (mem: N/A) 15:12:32 overflow : 0/0 (mem: N/A) 15:12:32 (mem: N/A) 15:12:32 Total structured size: 242025 (mem: N/A) 15:12:32 allocating polynomials object in proving key... (mem: N/A) 15:12:32 populating trace... (mem: N/A) 15:12:32 time to construct proving key: 66 ms. (mem: N/A) 15:12:32 getting honk vk... precomputed?: 0x1a0a500 (mem: N/A) 15:12:32 computing folding proof (mem: N/A) 15:12:33 oink prover on each incomplete key (mem: N/A) 15:12:33 perturbator round (mem: N/A) 15:12:34 combiner quotient round (mem: N/A) 15:12:34 folded (mem: N/A) 15:12:34 constructed folding proof (mem: N/A) 15:12:34 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: N/A) 15:12:34 Constructing DeciderProvingKey (mem: N/A) 15:12:34 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:34 goblin ecc op : 4/1024 (mem: N/A) 15:12:34 busread : 743/6000 (mem: N/A) 15:12:34 lookups : 2/15000 (mem: N/A) 15:12:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:12:34 arithmetic : 3248/56000 (mem: N/A) 15:12:34 delta range : 1767/18000 (mem: N/A) 15:12:34 elliptic : 2/6000 (mem: N/A) 15:12:34 auxiliary : 26/26000 (mem: N/A) 15:12:34 poseidon ext : 2/17000 (mem: N/A) 15:12:34 poseidon int : 2/92000 (mem: N/A) 15:12:34 overflow : 0/0 (mem: N/A) 15:12:34 (mem: N/A) 15:12:34 Total structured size: 242025 (mem: N/A) 15:12:34 allocating polynomials object in proving key... (mem: N/A) 15:12:34 populating trace... (mem: N/A) 15:12:34 time to construct proving key: 23 ms. (mem: N/A) 15:12:34 getting honk vk... precomputed?: 0x5b2400 (mem: N/A) 15:12:34 computing folding proof (mem: N/A) 15:12:34 oink prover on each incomplete key (mem: N/A) 15:12:34 perturbator round (mem: N/A) 15:12:35 combiner quotient round (mem: N/A) 15:12:35 folded (mem: N/A) 15:12:35 constructed folding proof (mem: N/A) 15:12:35 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:12:35 Constructing DeciderProvingKey (mem: N/A) 15:12:35 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:35 goblin ecc op : 792/1024 (mem: N/A) 15:12:35 busread : 4185/6000 (mem: N/A) 15:12:35 lookups : 2/15000 (mem: N/A) 15:12:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:12:35 arithmetic : 43917/56000 (mem: N/A) 15:12:35 delta range : 4930/18000 (mem: N/A) 15:12:35 elliptic : 340/6000 (mem: N/A) 15:12:35 auxiliary : 1399/26000 (mem: N/A) 15:12:35 poseidon ext : 5652/17000 (mem: N/A) 15:12:35 poseidon int : 32207/92000 (mem: N/A) 15:12:35 overflow : 0/0 (mem: N/A) 15:12:35 (mem: N/A) 15:12:35 Total structured size: 242025 (mem: N/A) 15:12:35 allocating polynomials object in proving key... (mem: N/A) 15:12:35 populating trace... (mem: N/A) 15:12:35 time to construct proving key: 120 ms. (mem: N/A) 15:12:35 getting honk vk... precomputed?: 0x8b5f4c0 (mem: N/A) 15:12:35 computing folding proof (mem: N/A) 15:12:36 oink prover on each incomplete key (mem: N/A) 15:12:37 perturbator round (mem: N/A) 15:12:37 combiner quotient round (mem: N/A) 15:12:37 folded (mem: N/A) 15:12:37 constructed folding proof (mem: N/A) 15:12:37 ClientIVC: accumulating AMM:add_liquidity (mem: N/A) 15:12:37 Constructing DeciderProvingKey (mem: N/A) 15:12:37 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:37 goblin ecc op : 4/1024 (mem: N/A) 15:12:37 busread : 743/6000 (mem: N/A) 15:12:37 lookups : 2/15000 (mem: N/A) 15:12:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:12:37 arithmetic : 4426/56000 (mem: N/A) 15:12:37 delta range : 1921/18000 (mem: N/A) 15:12:37 elliptic : 2/6000 (mem: N/A) 15:12:37 auxiliary : 26/26000 (mem: N/A) 15:12:37 poseidon ext : 572/17000 (mem: N/A) 15:12:37 poseidon int : 3251/92000 (mem: N/A) 15:12:37 overflow : 0/0 (mem: N/A) 15:12:37 (mem: N/A) 15:12:37 Total structured size: 242025 (mem: N/A) 15:12:37 allocating polynomials object in proving key... (mem: N/A) 15:12:37 populating trace... (mem: N/A) 15:12:37 time to construct proving key: 32 ms. (mem: N/A) 15:12:38 getting honk vk... precomputed?: 0x1a0ad40 (mem: N/A) 15:12:38 computing folding proof (mem: N/A) 15:12:38 oink prover on each incomplete key (mem: N/A) 15:12:38 perturbator round (mem: N/A) 15:12:39 combiner quotient round (mem: N/A) 15:12:39 folded (mem: N/A) 15:12:39 constructed folding proof (mem: N/A) 15:12:39 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:12:39 Constructing DeciderProvingKey (mem: N/A) 15:12:39 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:39 goblin ecc op : 792/1024 (mem: N/A) 15:12:39 busread : 4185/6000 (mem: N/A) 15:12:39 lookups : 2/15000 (mem: N/A) 15:12:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:12:39 arithmetic : 43917/56000 (mem: N/A) 15:12:39 delta range : 4930/18000 (mem: N/A) 15:12:39 elliptic : 340/6000 (mem: N/A) 15:12:39 auxiliary : 1399/26000 (mem: N/A) 15:12:39 poseidon ext : 5652/17000 (mem: N/A) 15:12:39 poseidon int : 32207/92000 (mem: N/A) 15:12:39 overflow : 0/0 (mem: N/A) 15:12:39 (mem: N/A) 15:12:39 Total structured size: 242025 (mem: N/A) 15:12:39 allocating polynomials object in proving key... (mem: N/A) 15:12:39 populating trace... (mem: N/A) 15:12:39 time to construct proving key: 111 ms. (mem: N/A) 15:12:39 getting honk vk... precomputed?: 0x552ac0 (mem: N/A) 15:12:39 computing folding proof (mem: N/A) 15:12:40 oink prover on each incomplete key (mem: N/A) 15:12:41 perturbator round (mem: N/A) 15:12:41 combiner quotient round (mem: N/A) 15:12:41 folded (mem: N/A) 15:12:41 constructed folding proof (mem: N/A) 15:12:42 ClientIVC: accumulating Token:transfer_to_public (mem: N/A) 15:12:42 Constructing DeciderProvingKey (mem: N/A) 15:12:42 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:42 goblin ecc op : 4/1024 (mem: N/A) 15:12:42 busread : 743/6000 (mem: N/A) 15:12:42 lookups : 9354/15000 (mem: N/A) 15:12:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:12:42 arithmetic : 48253/56000 (mem: N/A) 15:12:42 delta range : 5962/18000 (mem: N/A) 15:12:42 elliptic : 5806/6000 (mem: N/A) 15:12:42 auxiliary : 20704/26000 (mem: N/A) 15:12:42 poseidon ext : 2842/17000 (mem: N/A) 15:12:42 poseidon int : 16190/92000 (mem: N/A) 15:12:42 overflow : 0/0 (mem: N/A) 15:12:42 (mem: N/A) 15:12:42 Total structured size: 242025 (mem: N/A) 15:12:42 allocating polynomials object in proving key... (mem: N/A) 15:12:42 populating trace... (mem: N/A) 15:12:42 time to construct proving key: 159 ms. (mem: N/A) 15:12:42 getting honk vk... precomputed?: 0x103b7980 (mem: N/A) 15:12:42 computing folding proof (mem: N/A) 15:12:43 oink prover on each incomplete key (mem: N/A) 15:12:43 perturbator round (mem: N/A) 15:12:44 combiner quotient round (mem: N/A) 15:12:44 folded (mem: N/A) 15:12:44 constructed folding proof (mem: N/A) 15:12:44 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:12:44 Constructing DeciderProvingKey (mem: N/A) 15:12:44 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:44 goblin ecc op : 792/1024 (mem: N/A) 15:12:44 busread : 4185/6000 (mem: N/A) 15:12:44 lookups : 2/15000 (mem: N/A) 15:12:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:12:44 arithmetic : 43917/56000 (mem: N/A) 15:12:44 delta range : 4930/18000 (mem: N/A) 15:12:44 elliptic : 340/6000 (mem: N/A) 15:12:44 auxiliary : 1399/26000 (mem: N/A) 15:12:44 poseidon ext : 5652/17000 (mem: N/A) 15:12:44 poseidon int : 32207/92000 (mem: N/A) 15:12:44 overflow : 0/0 (mem: N/A) 15:12:44 (mem: N/A) 15:12:44 Total structured size: 242025 (mem: N/A) 15:12:44 allocating polynomials object in proving key... (mem: N/A) 15:12:44 populating trace... (mem: N/A) 15:12:44 time to construct proving key: 111 ms. (mem: N/A) 15:12:44 getting honk vk... precomputed?: 0x379e2c0 (mem: N/A) 15:12:44 computing folding proof (mem: N/A) 15:12:45 oink prover on each incomplete key (mem: N/A) 15:12:46 perturbator round (mem: N/A) 15:12:46 combiner quotient round (mem: N/A) 15:12:47 folded (mem: N/A) 15:12:47 constructed folding proof (mem: N/A) 15:12:47 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: N/A) 15:12:47 Constructing DeciderProvingKey (mem: N/A) 15:12:47 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:47 goblin ecc op : 4/1024 (mem: N/A) 15:12:47 busread : 743/6000 (mem: N/A) 15:12:47 lookups : 2898/15000 (mem: N/A) 15:12:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:12:47 arithmetic : 37521/56000 (mem: N/A) 15:12:47 delta range : 17045/18000 (mem: N/A) 15:12:47 elliptic : 2/6000 (mem: N/A) 15:12:47 auxiliary : 21404/26000 (mem: N/A) 15:12:47 poseidon ext : 82/17000 (mem: N/A) 15:12:47 poseidon int : 458/92000 (mem: N/A) 15:12:47 overflow : 0/0 (mem: N/A) 15:12:47 (mem: N/A) 15:12:47 Total structured size: 242025 (mem: N/A) 15:12:47 allocating polynomials object in proving key... (mem: N/A) 15:12:47 populating trace... (mem: N/A) 15:12:47 time to construct proving key: 139 ms. (mem: N/A) 15:12:47 getting honk vk... precomputed?: 0x3aa7840 (mem: N/A) 15:12:47 computing folding proof (mem: N/A) 15:12:48 oink prover on each incomplete key (mem: N/A) 15:12:48 perturbator round (mem: N/A) 15:12:49 combiner quotient round (mem: N/A) 15:12:49 folded (mem: N/A) 15:12:49 constructed folding proof (mem: N/A) 15:12:49 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:12:49 Constructing DeciderProvingKey (mem: N/A) 15:12:49 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:49 goblin ecc op : 792/1024 (mem: N/A) 15:12:49 busread : 4185/6000 (mem: N/A) 15:12:49 lookups : 2/15000 (mem: N/A) 15:12:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:12:49 arithmetic : 43917/56000 (mem: N/A) 15:12:49 delta range : 4930/18000 (mem: N/A) 15:12:49 elliptic : 340/6000 (mem: N/A) 15:12:49 auxiliary : 1399/26000 (mem: N/A) 15:12:49 poseidon ext : 5652/17000 (mem: N/A) 15:12:49 poseidon int : 32207/92000 (mem: N/A) 15:12:49 overflow : 0/0 (mem: N/A) 15:12:49 (mem: N/A) 15:12:49 Total structured size: 242025 (mem: N/A) 15:12:49 allocating polynomials object in proving key... (mem: N/A) 15:12:49 populating trace... (mem: N/A) 15:12:49 time to construct proving key: 111 ms. (mem: N/A) 15:12:49 getting honk vk... precomputed?: 0x38ce040 (mem: N/A) 15:12:49 computing folding proof (mem: N/A) 15:12:50 oink prover on each incomplete key (mem: N/A) 15:12:51 perturbator round (mem: N/A) 15:12:52 combiner quotient round (mem: N/A) 15:12:52 folded (mem: N/A) 15:12:52 constructed folding proof (mem: N/A) 15:12:52 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A) 15:12:52 Constructing DeciderProvingKey (mem: N/A) 15:12:52 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:52 goblin ecc op : 4/1024 (mem: N/A) 15:12:52 busread : 743/6000 (mem: N/A) 15:12:52 lookups : 9354/15000 (mem: N/A) 15:12:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:12:52 arithmetic : 13534/56000 (mem: N/A) 15:12:52 delta range : 2262/18000 (mem: N/A) 15:12:52 elliptic : 670/6000 (mem: N/A) 15:12:52 auxiliary : 543/26000 (mem: N/A) 15:12:52 poseidon ext : 62/17000 (mem: N/A) 15:12:52 poseidon int : 344/92000 (mem: N/A) 15:12:52 overflow : 0/0 (mem: N/A) 15:12:52 (mem: N/A) 15:12:52 Total structured size: 242025 (mem: N/A) 15:12:52 allocating polynomials object in proving key... (mem: N/A) 15:12:52 populating trace... (mem: N/A) 15:12:52 time to construct proving key: 67 ms. (mem: N/A) 15:12:52 getting honk vk... precomputed?: 0x21a540 (mem: N/A) 15:12:52 computing folding proof (mem: N/A) 15:12:52 oink prover on each incomplete key (mem: N/A) 15:12:53 perturbator round (mem: N/A) 15:12:54 combiner quotient round (mem: N/A) 15:12:54 folded (mem: N/A) 15:12:54 constructed folding proof (mem: N/A) 15:12:54 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:12:54 Constructing DeciderProvingKey (mem: N/A) 15:12:54 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:54 goblin ecc op : 792/1024 (mem: N/A) 15:12:54 busread : 4185/6000 (mem: N/A) 15:12:54 lookups : 2/15000 (mem: N/A) 15:12:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:12:54 arithmetic : 43917/56000 (mem: N/A) 15:12:54 delta range : 4930/18000 (mem: N/A) 15:12:54 elliptic : 340/6000 (mem: N/A) 15:12:54 auxiliary : 1399/26000 (mem: N/A) 15:12:54 poseidon ext : 5652/17000 (mem: N/A) 15:12:54 poseidon int : 32207/92000 (mem: N/A) 15:12:54 overflow : 0/0 (mem: N/A) 15:12:54 (mem: N/A) 15:12:54 Total structured size: 242025 (mem: N/A) 15:12:54 allocating polynomials object in proving key... (mem: N/A) 15:12:54 populating trace... (mem: N/A) 15:12:54 time to construct proving key: 112 ms. (mem: N/A) 15:12:54 getting honk vk... precomputed?: 0x38f9540 (mem: N/A) 15:12:54 computing folding proof (mem: N/A) 15:12:55 oink prover on each incomplete key (mem: N/A) 15:12:55 perturbator round (mem: N/A) 15:12:56 combiner quotient round (mem: N/A) 15:12:56 folded (mem: N/A) 15:12:56 constructed folding proof (mem: N/A) 15:12:57 ClientIVC: accumulating Token:transfer_to_public (mem: N/A) 15:12:57 Constructing DeciderProvingKey (mem: N/A) 15:12:57 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:57 goblin ecc op : 4/1024 (mem: N/A) 15:12:57 busread : 743/6000 (mem: N/A) 15:12:57 lookups : 9354/15000 (mem: N/A) 15:12:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:12:57 arithmetic : 48253/56000 (mem: N/A) 15:12:57 delta range : 5962/18000 (mem: N/A) 15:12:57 elliptic : 5806/6000 (mem: N/A) 15:12:57 auxiliary : 20704/26000 (mem: N/A) 15:12:57 poseidon ext : 2842/17000 (mem: N/A) 15:12:57 poseidon int : 16190/92000 (mem: N/A) 15:12:57 overflow : 0/0 (mem: N/A) 15:12:57 (mem: N/A) 15:12:57 Total structured size: 242025 (mem: N/A) 15:12:57 allocating polynomials object in proving key... (mem: N/A) 15:12:57 populating trace... (mem: N/A) 15:12:57 time to construct proving key: 156 ms. (mem: N/A) 15:12:57 getting honk vk... precomputed?: 0x51726c0 (mem: N/A) 15:12:57 computing folding proof (mem: N/A) 15:12:58 oink prover on each incomplete key (mem: N/A) 15:12:58 perturbator round (mem: N/A) 15:12:59 combiner quotient round (mem: N/A) 15:12:59 folded (mem: N/A) 15:12:59 constructed folding proof (mem: N/A) 15:12:59 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:12:59 Constructing DeciderProvingKey (mem: N/A) 15:12:59 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:12:59 goblin ecc op : 792/1024 (mem: N/A) 15:12:59 busread : 4185/6000 (mem: N/A) 15:12:59 lookups : 2/15000 (mem: N/A) 15:12:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:12:59 arithmetic : 43917/56000 (mem: N/A) 15:12:59 delta range : 4930/18000 (mem: N/A) 15:12:59 elliptic : 340/6000 (mem: N/A) 15:12:59 auxiliary : 1399/26000 (mem: N/A) 15:12:59 poseidon ext : 5652/17000 (mem: N/A) 15:12:59 poseidon int : 32207/92000 (mem: N/A) 15:12:59 overflow : 0/0 (mem: N/A) 15:12:59 (mem: N/A) 15:12:59 Total structured size: 242025 (mem: N/A) 15:12:59 allocating polynomials object in proving key... (mem: N/A) 15:12:59 populating trace... (mem: N/A) 15:12:59 time to construct proving key: 110 ms. (mem: N/A) 15:12:59 getting honk vk... precomputed?: 0x103bf080 (mem: N/A) 15:12:59 computing folding proof (mem: N/A) 15:13:00 oink prover on each incomplete key (mem: N/A) 15:13:01 perturbator round (mem: N/A) 15:13:02 combiner quotient round (mem: N/A) 15:13:02 folded (mem: N/A) 15:13:02 constructed folding proof (mem: N/A) 15:13:02 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: N/A) 15:13:02 Constructing DeciderProvingKey (mem: N/A) 15:13:02 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:02 goblin ecc op : 4/1024 (mem: N/A) 15:13:02 busread : 743/6000 (mem: N/A) 15:13:02 lookups : 2898/15000 (mem: N/A) 15:13:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:13:02 arithmetic : 37521/56000 (mem: N/A) 15:13:02 delta range : 17045/18000 (mem: N/A) 15:13:02 elliptic : 2/6000 (mem: N/A) 15:13:02 auxiliary : 21404/26000 (mem: N/A) 15:13:02 poseidon ext : 82/17000 (mem: N/A) 15:13:02 poseidon int : 458/92000 (mem: N/A) 15:13:02 overflow : 0/0 (mem: N/A) 15:13:02 (mem: N/A) 15:13:02 Total structured size: 242025 (mem: N/A) 15:13:02 allocating polynomials object in proving key... (mem: N/A) 15:13:02 populating trace... (mem: N/A) 15:13:02 time to construct proving key: 142 ms. (mem: N/A) 15:13:02 getting honk vk... precomputed?: 0x51b8640 (mem: N/A) 15:13:02 computing folding proof (mem: N/A) 15:13:03 oink prover on each incomplete key (mem: N/A) 15:13:03 perturbator round (mem: N/A) 15:13:04 combiner quotient round (mem: N/A) 15:13:04 folded (mem: N/A) 15:13:04 constructed folding proof (mem: N/A) 15:13:04 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:13:04 Constructing DeciderProvingKey (mem: N/A) 15:13:04 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:04 goblin ecc op : 792/1024 (mem: N/A) 15:13:04 busread : 4185/6000 (mem: N/A) 15:13:04 lookups : 2/15000 (mem: N/A) 15:13:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:13:04 arithmetic : 43917/56000 (mem: N/A) 15:13:04 delta range : 4930/18000 (mem: N/A) 15:13:04 elliptic : 340/6000 (mem: N/A) 15:13:04 auxiliary : 1399/26000 (mem: N/A) 15:13:04 poseidon ext : 5652/17000 (mem: N/A) 15:13:04 poseidon int : 32207/92000 (mem: N/A) 15:13:04 overflow : 0/0 (mem: N/A) 15:13:04 (mem: N/A) 15:13:04 Total structured size: 242025 (mem: N/A) 15:13:04 allocating polynomials object in proving key... (mem: N/A) 15:13:04 populating trace... (mem: N/A) 15:13:05 time to construct proving key: 111 ms. (mem: N/A) 15:13:05 getting honk vk... precomputed?: 0x35e31c0 (mem: N/A) 15:13:05 computing folding proof (mem: N/A) 15:13:06 oink prover on each incomplete key (mem: N/A) 15:13:06 perturbator round (mem: N/A) 15:13:07 combiner quotient round (mem: N/A) 15:13:07 folded (mem: N/A) 15:13:07 constructed folding proof (mem: N/A) 15:13:07 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A) 15:13:07 Constructing DeciderProvingKey (mem: N/A) 15:13:07 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:07 goblin ecc op : 4/1024 (mem: N/A) 15:13:07 busread : 743/6000 (mem: N/A) 15:13:07 lookups : 9354/15000 (mem: N/A) 15:13:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:13:07 arithmetic : 13534/56000 (mem: N/A) 15:13:07 delta range : 2262/18000 (mem: N/A) 15:13:07 elliptic : 670/6000 (mem: N/A) 15:13:07 auxiliary : 543/26000 (mem: N/A) 15:13:07 poseidon ext : 62/17000 (mem: N/A) 15:13:07 poseidon int : 344/92000 (mem: N/A) 15:13:07 overflow : 0/0 (mem: N/A) 15:13:07 (mem: N/A) 15:13:07 Total structured size: 242025 (mem: N/A) 15:13:07 allocating polynomials object in proving key... (mem: N/A) 15:13:07 populating trace... (mem: N/A) 15:13:07 time to construct proving key: 74 ms. (mem: N/A) 15:13:07 getting honk vk... precomputed?: 0x5185380 (mem: N/A) 15:13:07 computing folding proof (mem: N/A) 15:13:08 oink prover on each incomplete key (mem: N/A) 15:13:08 perturbator round (mem: N/A) 15:13:09 combiner quotient round (mem: N/A) 15:13:09 folded (mem: N/A) 15:13:09 constructed folding proof (mem: N/A) 15:13:09 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:13:09 Constructing DeciderProvingKey (mem: N/A) 15:13:09 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:09 goblin ecc op : 792/1024 (mem: N/A) 15:13:09 busread : 4185/6000 (mem: N/A) 15:13:09 lookups : 2/15000 (mem: N/A) 15:13:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:13:09 arithmetic : 43917/56000 (mem: N/A) 15:13:09 delta range : 4930/18000 (mem: N/A) 15:13:09 elliptic : 340/6000 (mem: N/A) 15:13:09 auxiliary : 1399/26000 (mem: N/A) 15:13:09 poseidon ext : 5652/17000 (mem: N/A) 15:13:09 poseidon int : 32207/92000 (mem: N/A) 15:13:09 overflow : 0/0 (mem: N/A) 15:13:09 (mem: N/A) 15:13:09 Total structured size: 242025 (mem: N/A) 15:13:09 allocating polynomials object in proving key... (mem: N/A) 15:13:09 populating trace... (mem: N/A) 15:13:09 time to construct proving key: 116 ms. (mem: N/A) 15:13:09 getting honk vk... precomputed?: 0xd79ec40 (mem: N/A) 15:13:09 computing folding proof (mem: N/A) 15:13:10 oink prover on each incomplete key (mem: N/A) 15:13:11 perturbator round (mem: N/A) 15:13:11 combiner quotient round (mem: N/A) 15:13:12 folded (mem: N/A) 15:13:12 constructed folding proof (mem: N/A) 15:13:12 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A) 15:13:12 Constructing DeciderProvingKey (mem: N/A) 15:13:12 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:12 goblin ecc op : 4/1024 (mem: N/A) 15:13:12 busread : 743/6000 (mem: N/A) 15:13:12 lookups : 9354/15000 (mem: N/A) 15:13:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:13:12 arithmetic : 13534/56000 (mem: N/A) 15:13:12 delta range : 2262/18000 (mem: N/A) 15:13:12 elliptic : 670/6000 (mem: N/A) 15:13:12 auxiliary : 543/26000 (mem: N/A) 15:13:12 poseidon ext : 62/17000 (mem: N/A) 15:13:12 poseidon int : 344/92000 (mem: N/A) 15:13:12 overflow : 0/0 (mem: N/A) 15:13:12 (mem: N/A) 15:13:12 Total structured size: 242025 (mem: N/A) 15:13:12 allocating polynomials object in proving key... (mem: N/A) 15:13:12 populating trace... (mem: N/A) 15:13:12 time to construct proving key: 67 ms. (mem: N/A) 15:13:12 getting honk vk... precomputed?: 0xd616540 (mem: N/A) 15:13:12 computing folding proof (mem: N/A) 15:13:12 oink prover on each incomplete key (mem: N/A) 15:13:13 perturbator round (mem: N/A) 15:13:14 combiner quotient round (mem: N/A) 15:13:14 folded (mem: N/A) 15:13:14 constructed folding proof (mem: N/A) 15:13:14 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:13:14 Constructing DeciderProvingKey (mem: N/A) 15:13:14 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:14 goblin ecc op : 792/1024 (mem: N/A) 15:13:14 busread : 4185/6000 (mem: N/A) 15:13:14 lookups : 2/15000 (mem: N/A) 15:13:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:13:14 arithmetic : 43917/56000 (mem: N/A) 15:13:14 delta range : 4930/18000 (mem: N/A) 15:13:14 elliptic : 340/6000 (mem: N/A) 15:13:14 auxiliary : 1399/26000 (mem: N/A) 15:13:14 poseidon ext : 5652/17000 (mem: N/A) 15:13:14 poseidon int : 32207/92000 (mem: N/A) 15:13:14 overflow : 0/0 (mem: N/A) 15:13:14 (mem: N/A) 15:13:14 Total structured size: 242025 (mem: N/A) 15:13:14 allocating polynomials object in proving key... (mem: N/A) 15:13:14 populating trace... (mem: N/A) 15:13:14 time to construct proving key: 115 ms. (mem: N/A) 15:13:14 getting honk vk... precomputed?: 0xd668cc0 (mem: N/A) 15:13:14 computing folding proof (mem: N/A) 15:13:15 oink prover on each incomplete key (mem: N/A) 15:13:15 perturbator round (mem: N/A) 15:13:16 combiner quotient round (mem: N/A) 15:13:16 folded (mem: N/A) 15:13:16 constructed folding proof (mem: N/A) 15:13:17 ClientIVC: accumulating private_kernel_reset (mem: N/A) 15:13:17 Constructing DeciderProvingKey (mem: N/A) 15:13:17 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:17 goblin ecc op : 392/1024 (mem: N/A) 15:13:17 busread : 2744/6000 (mem: N/A) 15:13:17 lookups : 2/15000 (mem: N/A) 15:13:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:13:17 arithmetic : 60461/56000 (mem: N/A) 15:13:17 delta range : 4864/18000 (mem: N/A) 15:13:17 elliptic : 1274/6000 (mem: N/A) 15:13:17 auxiliary : 18808/26000 (mem: N/A) 15:13:17 poseidon ext : 16812/17000 (mem: N/A) 15:13:17 poseidon int : 95819/92000 (mem: N/A) 15:13:17 overflow : 0/0 (mem: N/A) 15:13:17 (mem: N/A) 15:13:17 Total structured size: 242025 (mem: N/A) 15:13:17 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: N/A) 15:13:17 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:17 goblin ecc op : 392/1024 (mem: N/A) 15:13:17 busread : 2744/6000 (mem: N/A) 15:13:17 lookups : 2/15000 (mem: N/A) 15:13:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:13:17 arithmetic : 56000/56000 (mem: N/A) 15:13:17 delta range : 4864/18000 (mem: N/A) 15:13:17 elliptic : 1274/6000 (mem: N/A) 15:13:17 auxiliary : 18808/26000 (mem: N/A) 15:13:17 poseidon ext : 16812/17000 (mem: N/A) 15:13:17 poseidon int : 92000/92000 (mem: N/A) 15:13:17 overflow : 8282/8282 (mem: N/A) 15:13:17 (mem: N/A) 15:13:17 Total structured size: 250307 (mem: N/A) 15:13:17 allocating polynomials object in proving key... (mem: N/A) 15:13:17 populating trace... (mem: N/A) 15:13:17 time to construct proving key: 266 ms. (mem: N/A) 15:13:17 getting honk vk... precomputed?: 0x9a42600 (mem: N/A) 15:13:17 computing folding proof (mem: N/A) 15:13:19 oink prover on each incomplete key (mem: N/A) 15:13:19 perturbator round (mem: N/A) 15:13:20 combiner quotient round (mem: N/A) 15:13:21 folded (mem: N/A) 15:13:21 constructed folding proof (mem: N/A) 15:13:21 ClientIVC: accumulating private_kernel_tail (mem: N/A) 15:13:21 Constructing DeciderProvingKey (mem: N/A) 15:13:21 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:13:21 goblin ecc op : 392/1024 (mem: N/A) 15:13:21 busread : 222/6000 (mem: N/A) 15:13:21 lookups : 2/15000 (mem: N/A) 15:13:21 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: N/A) 15:13:21 arithmetic : 21298/56000 (mem: N/A) 15:13:21 delta range : 3622/18000 (mem: N/A) 15:13:21 elliptic : 2/6000 (mem: N/A) 15:13:21 auxiliary : 7134/26000 (mem: N/A) 15:13:21 poseidon ext : 2532/17000 (mem: N/A) 15:13:21 poseidon int : 14423/92000 (mem: N/A) 15:13:21 overflow : 0/0 (mem: N/A) 15:13:21 (mem: N/A) 15:13:21 Total structured size: 242025 (mem: N/A) 15:13:21 allocating polynomials object in proving key... (mem: N/A) 15:13:21 populating trace... (mem: N/A) 15:13:21 time to construct proving key: 80 ms. (mem: N/A) 15:13:21 getting honk vk... precomputed?: 0xd64d3c0 (mem: N/A) 15:13:21 computing folding proof (mem: N/A) 15:13:22 oink prover on each incomplete key (mem: N/A) 15:13:22 perturbator round (mem: N/A) 15:13:23 combiner quotient round (mem: N/A) 15:13:23 folded (mem: N/A) 15:13:23 constructed folding proof (mem: N/A) 15:13:23 Largest circuit: 200784 gates. Trace details: (mem: N/A) 15:13:23 Minimum required block sizes for structured trace: (mem: N/A) 15:13:23 ecc_op : 792 15:13:23 busread : 4185 15:13:23 lookup : 9354 15:13:23 pub_inputs : 1876 15:13:23 arithmetic : 56000 15:13:23 delta_range : 17435 15:13:23 elliptic : 5806 15:13:23 aux : 25394 15:13:23 poseidon2_external : 16812 15:13:23 poseidon2_internal : 92000 15:13:23 overflow : 8282 15:13:23 (mem: N/A) 15:13:23 prove decider... (mem: N/A) 15:13:23 finished decider proving. (mem: N/A) 15:13:24 starting sumcheck rounds... (mem: N/A) 15:13:24 completed 18 rounds of sumcheck (mem: N/A) 15:13:26 executed multivariate-to-univariate reduction (mem: N/A) 15:13:26 computed opening proof (mem: N/A) 15:13:26 Constructing DeciderProvingKey (mem: N/A) 15:13:26 allocating polynomials object in proving key... (mem: N/A) 15:13:26 populating trace... (mem: N/A) 15:13:26 time to construct proving key: 139 ms. (mem: N/A) 15:13:28 created oink proof (mem: N/A) 15:13:29 starting sumcheck rounds... (mem: N/A) 15:13:29 completed 17 rounds of sumcheck (mem: N/A) 15:13:30 executed multivariate-to-univariate reduction (mem: N/A) 15:13:30 computed opening proof (mem: N/A) 15:13:30 Constructing a Goblin proof with num ultra ops = 8594 (mem: N/A) 15:13:30 prove eccvm... (mem: N/A) 15:13:31 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A) 15:13:31 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: N/A) 15:13:38 starting sumcheck rounds... (mem: N/A) 15:13:40 completed 16 rounds of sumcheck (mem: N/A) 15:13:42 finished eccvm proving. (mem: N/A) 15:13:42 prove translator... (mem: N/A) 15:13:45 starting sumcheck rounds... (mem: N/A) 15:13:47 completed 18 rounds of sumcheck (mem: N/A) 15:13:50 computed opening proof (mem: N/A) 15:13:50 finished translator proving. (mem: N/A) 15:13:50 Mega verified: 1 (mem: N/A) 15:13:50 eccvm sumcheck verified?: 1 (mem: N/A) 15:13:50 batch opening verified?: 1 (mem: N/A) 15:13:50 eccvm consistency check verified?: 1 (mem: N/A) 15:13:50 translation masking consistency checked?: 1 (mem: N/A) 15:13:50 merge verified?: 1 (mem: N/A) 15:13:50 eccvm verified?: 1 (mem: N/A) 15:13:50 accumulator construction_verified?: 1 (mem: N/A) 15:13:50 translation verified?: 1 (mem: N/A) 15:13:50 consistency verified?: 1 (mem: N/A) 15:13:50 Goblin verified: 1 (mem: N/A) 15:13:50 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/wasm" (mem: N/A) 15:13:50 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (wasm) has proven in 85s and peak memory of 1343MB. 15:13:50 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (wasm) has verified.