ACI ·

Parent Log: http://ci.aztec-labs.com/703133141fbcf794 Command: 97e7ef9a556fd7e6: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/a3ecf3ea26aad0390dd15cfadbb1d160e85e5f89 Env: REF_NAME=gh-readonly-queue/master/pr-15194-f3a077dd83e56ee0ae0a1175f0dc39fdfa50e6d7 CURRENT_VERSION=0.87.9 CI_FULL=1 Date: Tue Jun 24 17:35:59 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15194_amd64_x2-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_3e2be22a40194e0e_master 17:35:59 --- bb ivc flow bench --- 17:35:59 failed to open /proc/cpuinfo 17:35:59 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect. 17:36:00 bb command: prove (mem: N/A) 17:36:00 Scheme is: client_ivc, num threads: 8 (mem: N/A) 17:36:00 --scheme: client_ivc (mem: N/A) 17:36:00 --output_path: bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/wasm (mem: N/A) 17:36:00 --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) 17:36:00 --verbose: true (mem: N/A) 17:36:05 BN254 commitment key size: 262144 (mem: N/A) 17:36:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A) 17:36:05 Initialized BN254 CRS from memory with num points = 262209 (mem: N/A) 17:36:05 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A) 17:36:05 Constructing DeciderProvingKey (mem: N/A) 17:36:05 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:05 goblin ecc op : 4/1024 (mem: N/A) 17:36:05 busread : 743/6000 (mem: N/A) 17:36:05 lookups : 2898/15000 (mem: N/A) 17:36:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:05 arithmetic : 39564/56000 (mem: N/A) 17:36:05 delta range : 17435/18000 (mem: N/A) 17:36:05 elliptic : 2/6000 (mem: N/A) 17:36:05 auxiliary : 25394/26000 (mem: N/A) 17:36:05 poseidon ext : 322/17000 (mem: N/A) 17:36:05 poseidon int : 1826/92000 (mem: N/A) 17:36:05 overflow : 0/0 (mem: N/A) 17:36:05 (mem: N/A) 17:36:05 Total structured size: 242025 (mem: N/A) 17:36:05 allocating polynomials object in proving key... (mem: N/A) 17:36:05 populating trace... (mem: N/A) 17:36:06 time to construct proving key: 180 ms. (mem: N/A) 17:36:06 getting honk vk... precomputed?: 0x15e6740 (mem: N/A) 17:36:06 computing oink proof... (mem: N/A) 17:36:06 oink proof constructed (mem: N/A) 17:36:06 ClientIVC: accumulating private_kernel_init (mem: N/A) 17:36:06 Constructing DeciderProvingKey (mem: N/A) 17:36:06 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:06 goblin ecc op : 56/1024 (mem: N/A) 17:36:06 busread : 2530/6000 (mem: N/A) 17:36:06 lookups : 2/15000 (mem: N/A) 17:36:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:06 arithmetic : 21193/56000 (mem: N/A) 17:36:06 delta range : 2974/18000 (mem: N/A) 17:36:06 elliptic : 340/6000 (mem: N/A) 17:36:06 auxiliary : 799/26000 (mem: N/A) 17:36:06 poseidon ext : 2012/17000 (mem: N/A) 17:36:06 poseidon int : 11459/92000 (mem: N/A) 17:36:06 overflow : 0/0 (mem: N/A) 17:36:06 (mem: N/A) 17:36:06 Total structured size: 242025 (mem: N/A) 17:36:06 allocating polynomials object in proving key... (mem: N/A) 17:36:06 populating trace... (mem: N/A) 17:36:06 time to construct proving key: 73 ms. (mem: N/A) 17:36:06 getting honk vk... precomputed?: 0x56f940 (mem: N/A) 17:36:06 computing folding proof (mem: N/A) 17:36:07 oink prover on each incomplete key (mem: N/A) 17:36:07 perturbator round (mem: N/A) 17:36:08 combiner quotient round (mem: N/A) 17:36:08 folded (mem: N/A) 17:36:08 constructed folding proof (mem: N/A) 17:36:08 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: N/A) 17:36:08 Constructing DeciderProvingKey (mem: N/A) 17:36:08 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:08 goblin ecc op : 4/1024 (mem: N/A) 17:36:08 busread : 743/6000 (mem: N/A) 17:36:08 lookups : 2/15000 (mem: N/A) 17:36:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:08 arithmetic : 3248/56000 (mem: N/A) 17:36:08 delta range : 1767/18000 (mem: N/A) 17:36:08 elliptic : 2/6000 (mem: N/A) 17:36:08 auxiliary : 26/26000 (mem: N/A) 17:36:08 poseidon ext : 2/17000 (mem: N/A) 17:36:08 poseidon int : 2/92000 (mem: N/A) 17:36:08 overflow : 0/0 (mem: N/A) 17:36:08 (mem: N/A) 17:36:08 Total structured size: 242025 (mem: N/A) 17:36:08 allocating polynomials object in proving key... (mem: N/A) 17:36:08 populating trace... (mem: N/A) 17:36:08 time to construct proving key: 29 ms. (mem: N/A) 17:36:08 getting honk vk... precomputed?: 0x1a0af00 (mem: N/A) 17:36:08 computing folding proof (mem: N/A) 17:36:08 oink prover on each incomplete key (mem: N/A) 17:36:09 perturbator round (mem: N/A) 17:36:09 combiner quotient round (mem: N/A) 17:36:09 folded (mem: N/A) 17:36:09 constructed folding proof (mem: N/A) 17:36:10 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:10 Constructing DeciderProvingKey (mem: N/A) 17:36:10 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:10 goblin ecc op : 792/1024 (mem: N/A) 17:36:10 busread : 4185/6000 (mem: N/A) 17:36:10 lookups : 2/15000 (mem: N/A) 17:36:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:10 arithmetic : 43917/56000 (mem: N/A) 17:36:10 delta range : 4930/18000 (mem: N/A) 17:36:10 elliptic : 340/6000 (mem: N/A) 17:36:10 auxiliary : 1399/26000 (mem: N/A) 17:36:10 poseidon ext : 5652/17000 (mem: N/A) 17:36:10 poseidon int : 32207/92000 (mem: N/A) 17:36:10 overflow : 0/0 (mem: N/A) 17:36:10 (mem: N/A) 17:36:10 Total structured size: 242025 (mem: N/A) 17:36:10 allocating polynomials object in proving key... (mem: N/A) 17:36:10 populating trace... (mem: N/A) 17:36:10 time to construct proving key: 122 ms. (mem: N/A) 17:36:10 getting honk vk... precomputed?: 0x114a1e00 (mem: N/A) 17:36:10 computing folding proof (mem: N/A) 17:36:11 oink prover on each incomplete key (mem: N/A) 17:36:11 perturbator round (mem: N/A) 17:36:12 combiner quotient round (mem: N/A) 17:36:12 folded (mem: N/A) 17:36:12 constructed folding proof (mem: N/A) 17:36:12 ClientIVC: accumulating AMM:add_liquidity (mem: N/A) 17:36:12 Constructing DeciderProvingKey (mem: N/A) 17:36:12 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:12 goblin ecc op : 4/1024 (mem: N/A) 17:36:12 busread : 743/6000 (mem: N/A) 17:36:12 lookups : 2/15000 (mem: N/A) 17:36:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:12 arithmetic : 4426/56000 (mem: N/A) 17:36:12 delta range : 1921/18000 (mem: N/A) 17:36:12 elliptic : 2/6000 (mem: N/A) 17:36:12 auxiliary : 26/26000 (mem: N/A) 17:36:12 poseidon ext : 572/17000 (mem: N/A) 17:36:12 poseidon int : 3251/92000 (mem: N/A) 17:36:12 overflow : 0/0 (mem: N/A) 17:36:12 (mem: N/A) 17:36:12 Total structured size: 242025 (mem: N/A) 17:36:12 allocating polynomials object in proving key... (mem: N/A) 17:36:12 populating trace... (mem: N/A) 17:36:12 time to construct proving key: 35 ms. (mem: N/A) 17:36:12 getting honk vk... precomputed?: 0x551cc0 (mem: N/A) 17:36:12 computing folding proof (mem: N/A) 17:36:12 oink prover on each incomplete key (mem: N/A) 17:36:12 perturbator round (mem: N/A) 17:36:13 combiner quotient round (mem: N/A) 17:36:13 folded (mem: N/A) 17:36:13 constructed folding proof (mem: N/A) 17:36:13 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:13 Constructing DeciderProvingKey (mem: N/A) 17:36:13 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:13 goblin ecc op : 792/1024 (mem: N/A) 17:36:13 busread : 4185/6000 (mem: N/A) 17:36:13 lookups : 2/15000 (mem: N/A) 17:36:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:13 arithmetic : 43917/56000 (mem: N/A) 17:36:13 delta range : 4930/18000 (mem: N/A) 17:36:13 elliptic : 340/6000 (mem: N/A) 17:36:13 auxiliary : 1399/26000 (mem: N/A) 17:36:13 poseidon ext : 5652/17000 (mem: N/A) 17:36:13 poseidon int : 32207/92000 (mem: N/A) 17:36:13 overflow : 0/0 (mem: N/A) 17:36:13 (mem: N/A) 17:36:13 Total structured size: 242025 (mem: N/A) 17:36:13 allocating polynomials object in proving key... (mem: N/A) 17:36:13 populating trace... (mem: N/A) 17:36:14 time to construct proving key: 119 ms. (mem: N/A) 17:36:14 getting honk vk... precomputed?: 0x48cb880 (mem: N/A) 17:36:14 computing folding proof (mem: N/A) 17:36:15 oink prover on each incomplete key (mem: N/A) 17:36:15 perturbator round (mem: N/A) 17:36:16 combiner quotient round (mem: N/A) 17:36:16 folded (mem: N/A) 17:36:16 constructed folding proof (mem: N/A) 17:36:16 ClientIVC: accumulating Token:transfer_to_public (mem: N/A) 17:36:16 Constructing DeciderProvingKey (mem: N/A) 17:36:16 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:16 goblin ecc op : 4/1024 (mem: N/A) 17:36:16 busread : 743/6000 (mem: N/A) 17:36:16 lookups : 9354/15000 (mem: N/A) 17:36:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:16 arithmetic : 48253/56000 (mem: N/A) 17:36:16 delta range : 5962/18000 (mem: N/A) 17:36:16 elliptic : 5806/6000 (mem: N/A) 17:36:16 auxiliary : 20704/26000 (mem: N/A) 17:36:16 poseidon ext : 2842/17000 (mem: N/A) 17:36:16 poseidon int : 16190/92000 (mem: N/A) 17:36:16 overflow : 0/0 (mem: N/A) 17:36:16 (mem: N/A) 17:36:16 Total structured size: 242025 (mem: N/A) 17:36:16 allocating polynomials object in proving key... (mem: N/A) 17:36:16 populating trace... (mem: N/A) 17:36:16 time to construct proving key: 162 ms. (mem: N/A) 17:36:16 getting honk vk... precomputed?: 0x3844f40 (mem: N/A) 17:36:16 computing folding proof (mem: N/A) 17:36:17 oink prover on each incomplete key (mem: N/A) 17:36:17 perturbator round (mem: N/A) 17:36:18 combiner quotient round (mem: N/A) 17:36:18 folded (mem: N/A) 17:36:18 constructed folding proof (mem: N/A) 17:36:19 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:19 Constructing DeciderProvingKey (mem: N/A) 17:36:19 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:19 goblin ecc op : 792/1024 (mem: N/A) 17:36:19 busread : 4185/6000 (mem: N/A) 17:36:19 lookups : 2/15000 (mem: N/A) 17:36:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:19 arithmetic : 43917/56000 (mem: N/A) 17:36:19 delta range : 4930/18000 (mem: N/A) 17:36:19 elliptic : 340/6000 (mem: N/A) 17:36:19 auxiliary : 1399/26000 (mem: N/A) 17:36:19 poseidon ext : 5652/17000 (mem: N/A) 17:36:19 poseidon int : 32207/92000 (mem: N/A) 17:36:19 overflow : 0/0 (mem: N/A) 17:36:19 (mem: N/A) 17:36:19 Total structured size: 242025 (mem: N/A) 17:36:19 allocating polynomials object in proving key... (mem: N/A) 17:36:19 populating trace... (mem: N/A) 17:36:19 time to construct proving key: 120 ms. (mem: N/A) 17:36:19 getting honk vk... precomputed?: 0x15e6f80 (mem: N/A) 17:36:19 computing folding proof (mem: N/A) 17:36:20 oink prover on each incomplete key (mem: N/A) 17:36:20 perturbator round (mem: N/A) 17:36:21 combiner quotient round (mem: N/A) 17:36:21 folded (mem: N/A) 17:36:21 constructed folding proof (mem: N/A) 17:36:21 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: N/A) 17:36:21 Constructing DeciderProvingKey (mem: N/A) 17:36:21 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:21 goblin ecc op : 4/1024 (mem: N/A) 17:36:21 busread : 743/6000 (mem: N/A) 17:36:21 lookups : 2898/15000 (mem: N/A) 17:36:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:21 arithmetic : 37521/56000 (mem: N/A) 17:36:21 delta range : 17045/18000 (mem: N/A) 17:36:21 elliptic : 2/6000 (mem: N/A) 17:36:21 auxiliary : 21404/26000 (mem: N/A) 17:36:21 poseidon ext : 82/17000 (mem: N/A) 17:36:21 poseidon int : 458/92000 (mem: N/A) 17:36:21 overflow : 0/0 (mem: N/A) 17:36:21 (mem: N/A) 17:36:21 Total structured size: 242025 (mem: N/A) 17:36:21 allocating polynomials object in proving key... (mem: N/A) 17:36:21 populating trace... (mem: N/A) 17:36:21 time to construct proving key: 142 ms. (mem: N/A) 17:36:22 getting honk vk... precomputed?: 0x39b7940 (mem: N/A) 17:36:22 computing folding proof (mem: N/A) 17:36:22 oink prover on each incomplete key (mem: N/A) 17:36:23 perturbator round (mem: N/A) 17:36:23 combiner quotient round (mem: N/A) 17:36:24 folded (mem: N/A) 17:36:24 constructed folding proof (mem: N/A) 17:36:24 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:24 Constructing DeciderProvingKey (mem: N/A) 17:36:24 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:24 goblin ecc op : 792/1024 (mem: N/A) 17:36:24 busread : 4185/6000 (mem: N/A) 17:36:24 lookups : 2/15000 (mem: N/A) 17:36:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:24 arithmetic : 43917/56000 (mem: N/A) 17:36:24 delta range : 4930/18000 (mem: N/A) 17:36:24 elliptic : 340/6000 (mem: N/A) 17:36:24 auxiliary : 1399/26000 (mem: N/A) 17:36:24 poseidon ext : 5652/17000 (mem: N/A) 17:36:24 poseidon int : 32207/92000 (mem: N/A) 17:36:24 overflow : 0/0 (mem: N/A) 17:36:24 (mem: N/A) 17:36:24 Total structured size: 242025 (mem: N/A) 17:36:24 allocating polynomials object in proving key... (mem: N/A) 17:36:24 populating trace... (mem: N/A) 17:36:24 time to construct proving key: 118 ms. (mem: N/A) 17:36:24 getting honk vk... precomputed?: 0x3862c40 (mem: N/A) 17:36:24 computing folding proof (mem: N/A) 17:36:25 oink prover on each incomplete key (mem: N/A) 17:36:25 perturbator round (mem: N/A) 17:36:26 combiner quotient round (mem: N/A) 17:36:26 folded (mem: N/A) 17:36:26 constructed folding proof (mem: N/A) 17:36:26 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A) 17:36:26 Constructing DeciderProvingKey (mem: N/A) 17:36:26 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:26 goblin ecc op : 4/1024 (mem: N/A) 17:36:26 busread : 743/6000 (mem: N/A) 17:36:26 lookups : 9354/15000 (mem: N/A) 17:36:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:26 arithmetic : 13534/56000 (mem: N/A) 17:36:26 delta range : 2262/18000 (mem: N/A) 17:36:26 elliptic : 670/6000 (mem: N/A) 17:36:26 auxiliary : 543/26000 (mem: N/A) 17:36:26 poseidon ext : 62/17000 (mem: N/A) 17:36:26 poseidon int : 344/92000 (mem: N/A) 17:36:26 overflow : 0/0 (mem: N/A) 17:36:26 (mem: N/A) 17:36:26 Total structured size: 242025 (mem: N/A) 17:36:26 allocating polynomials object in proving key... (mem: N/A) 17:36:26 populating trace... (mem: N/A) 17:36:26 time to construct proving key: 68 ms. (mem: N/A) 17:36:26 getting honk vk... precomputed?: 0x3946c00 (mem: N/A) 17:36:26 computing folding proof (mem: N/A) 17:36:27 oink prover on each incomplete key (mem: N/A) 17:36:27 perturbator round (mem: N/A) 17:36:28 combiner quotient round (mem: N/A) 17:36:28 folded (mem: N/A) 17:36:28 constructed folding proof (mem: N/A) 17:36:29 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:29 Constructing DeciderProvingKey (mem: N/A) 17:36:29 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:29 goblin ecc op : 792/1024 (mem: N/A) 17:36:29 busread : 4185/6000 (mem: N/A) 17:36:29 lookups : 2/15000 (mem: N/A) 17:36:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:29 arithmetic : 43917/56000 (mem: N/A) 17:36:29 delta range : 4930/18000 (mem: N/A) 17:36:29 elliptic : 340/6000 (mem: N/A) 17:36:29 auxiliary : 1399/26000 (mem: N/A) 17:36:29 poseidon ext : 5652/17000 (mem: N/A) 17:36:29 poseidon int : 32207/92000 (mem: N/A) 17:36:29 overflow : 0/0 (mem: N/A) 17:36:29 (mem: N/A) 17:36:29 Total structured size: 242025 (mem: N/A) 17:36:29 allocating polynomials object in proving key... (mem: N/A) 17:36:29 populating trace... (mem: N/A) 17:36:29 time to construct proving key: 119 ms. (mem: N/A) 17:36:29 getting honk vk... precomputed?: 0x39e0d40 (mem: N/A) 17:36:29 computing folding proof (mem: N/A) 17:36:30 oink prover on each incomplete key (mem: N/A) 17:36:30 perturbator round (mem: N/A) 17:36:31 combiner quotient round (mem: N/A) 17:36:31 folded (mem: N/A) 17:36:31 constructed folding proof (mem: N/A) 17:36:31 ClientIVC: accumulating Token:transfer_to_public (mem: N/A) 17:36:31 Constructing DeciderProvingKey (mem: N/A) 17:36:31 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:31 goblin ecc op : 4/1024 (mem: N/A) 17:36:31 busread : 743/6000 (mem: N/A) 17:36:31 lookups : 9354/15000 (mem: N/A) 17:36:31 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:31 arithmetic : 48253/56000 (mem: N/A) 17:36:31 delta range : 5962/18000 (mem: N/A) 17:36:31 elliptic : 5806/6000 (mem: N/A) 17:36:31 auxiliary : 20704/26000 (mem: N/A) 17:36:31 poseidon ext : 2842/17000 (mem: N/A) 17:36:31 poseidon int : 16190/92000 (mem: N/A) 17:36:31 overflow : 0/0 (mem: N/A) 17:36:31 (mem: N/A) 17:36:31 Total structured size: 242025 (mem: N/A) 17:36:31 allocating polynomials object in proving key... (mem: N/A) 17:36:31 populating trace... (mem: N/A) 17:36:31 time to construct proving key: 160 ms. (mem: N/A) 17:36:31 getting honk vk... precomputed?: 0x2546500 (mem: N/A) 17:36:31 computing folding proof (mem: N/A) 17:36:32 oink prover on each incomplete key (mem: N/A) 17:36:33 perturbator round (mem: N/A) 17:36:33 combiner quotient round (mem: N/A) 17:36:34 folded (mem: N/A) 17:36:34 constructed folding proof (mem: N/A) 17:36:34 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:34 Constructing DeciderProvingKey (mem: N/A) 17:36:34 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:34 goblin ecc op : 792/1024 (mem: N/A) 17:36:34 busread : 4185/6000 (mem: N/A) 17:36:34 lookups : 2/15000 (mem: N/A) 17:36:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:34 arithmetic : 43917/56000 (mem: N/A) 17:36:34 delta range : 4930/18000 (mem: N/A) 17:36:34 elliptic : 340/6000 (mem: N/A) 17:36:34 auxiliary : 1399/26000 (mem: N/A) 17:36:34 poseidon ext : 5652/17000 (mem: N/A) 17:36:34 poseidon int : 32207/92000 (mem: N/A) 17:36:34 overflow : 0/0 (mem: N/A) 17:36:34 (mem: N/A) 17:36:34 Total structured size: 242025 (mem: N/A) 17:36:34 allocating polynomials object in proving key... (mem: N/A) 17:36:34 populating trace... (mem: N/A) 17:36:34 time to construct proving key: 118 ms. (mem: N/A) 17:36:34 getting honk vk... precomputed?: 0x24e4800 (mem: N/A) 17:36:34 computing folding proof (mem: N/A) 17:36:35 oink prover on each incomplete key (mem: N/A) 17:36:35 perturbator round (mem: N/A) 17:36:36 combiner quotient round (mem: N/A) 17:36:36 folded (mem: N/A) 17:36:36 constructed folding proof (mem: N/A) 17:36:37 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: N/A) 17:36:37 Constructing DeciderProvingKey (mem: N/A) 17:36:37 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:37 goblin ecc op : 4/1024 (mem: N/A) 17:36:37 busread : 743/6000 (mem: N/A) 17:36:37 lookups : 2898/15000 (mem: N/A) 17:36:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:37 arithmetic : 37521/56000 (mem: N/A) 17:36:37 delta range : 17045/18000 (mem: N/A) 17:36:37 elliptic : 2/6000 (mem: N/A) 17:36:37 auxiliary : 21404/26000 (mem: N/A) 17:36:37 poseidon ext : 82/17000 (mem: N/A) 17:36:37 poseidon int : 458/92000 (mem: N/A) 17:36:37 overflow : 0/0 (mem: N/A) 17:36:37 (mem: N/A) 17:36:37 Total structured size: 242025 (mem: N/A) 17:36:37 allocating polynomials object in proving key... (mem: N/A) 17:36:37 populating trace... (mem: N/A) 17:36:37 time to construct proving key: 145 ms. (mem: N/A) 17:36:37 getting honk vk... precomputed?: 0x26f1dc0 (mem: N/A) 17:36:37 computing folding proof (mem: N/A) 17:36:38 oink prover on each incomplete key (mem: N/A) 17:36:38 perturbator round (mem: N/A) 17:36:39 combiner quotient round (mem: N/A) 17:36:39 folded (mem: N/A) 17:36:39 constructed folding proof (mem: N/A) 17:36:39 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:39 Constructing DeciderProvingKey (mem: N/A) 17:36:39 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:39 goblin ecc op : 792/1024 (mem: N/A) 17:36:39 busread : 4185/6000 (mem: N/A) 17:36:39 lookups : 2/15000 (mem: N/A) 17:36:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:39 arithmetic : 43917/56000 (mem: N/A) 17:36:39 delta range : 4930/18000 (mem: N/A) 17:36:39 elliptic : 340/6000 (mem: N/A) 17:36:39 auxiliary : 1399/26000 (mem: N/A) 17:36:39 poseidon ext : 5652/17000 (mem: N/A) 17:36:39 poseidon int : 32207/92000 (mem: N/A) 17:36:39 overflow : 0/0 (mem: N/A) 17:36:39 (mem: N/A) 17:36:39 Total structured size: 242025 (mem: N/A) 17:36:39 allocating polynomials object in proving key... (mem: N/A) 17:36:39 populating trace... (mem: N/A) 17:36:39 time to construct proving key: 123 ms. (mem: N/A) 17:36:39 getting honk vk... precomputed?: 0x25799c0 (mem: N/A) 17:36:39 computing folding proof (mem: N/A) 17:36:40 oink prover on each incomplete key (mem: N/A) 17:36:41 perturbator round (mem: N/A) 17:36:41 combiner quotient round (mem: N/A) 17:36:42 folded (mem: N/A) 17:36:42 constructed folding proof (mem: N/A) 17:36:42 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A) 17:36:42 Constructing DeciderProvingKey (mem: N/A) 17:36:42 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:42 goblin ecc op : 4/1024 (mem: N/A) 17:36:42 busread : 743/6000 (mem: N/A) 17:36:42 lookups : 9354/15000 (mem: N/A) 17:36:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:42 arithmetic : 13534/56000 (mem: N/A) 17:36:42 delta range : 2262/18000 (mem: N/A) 17:36:42 elliptic : 670/6000 (mem: N/A) 17:36:42 auxiliary : 543/26000 (mem: N/A) 17:36:42 poseidon ext : 62/17000 (mem: N/A) 17:36:42 poseidon int : 344/92000 (mem: N/A) 17:36:42 overflow : 0/0 (mem: N/A) 17:36:42 (mem: N/A) 17:36:42 Total structured size: 242025 (mem: N/A) 17:36:42 allocating polynomials object in proving key... (mem: N/A) 17:36:42 populating trace... (mem: N/A) 17:36:42 time to construct proving key: 77 ms. (mem: N/A) 17:36:42 getting honk vk... precomputed?: 0x2598040 (mem: N/A) 17:36:42 computing folding proof (mem: N/A) 17:36:42 oink prover on each incomplete key (mem: N/A) 17:36:43 perturbator round (mem: N/A) 17:36:44 combiner quotient round (mem: N/A) 17:36:44 folded (mem: N/A) 17:36:44 constructed folding proof (mem: N/A) 17:36:44 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:44 Constructing DeciderProvingKey (mem: N/A) 17:36:44 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:44 goblin ecc op : 792/1024 (mem: N/A) 17:36:44 busread : 4185/6000 (mem: N/A) 17:36:44 lookups : 2/15000 (mem: N/A) 17:36:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:44 arithmetic : 43917/56000 (mem: N/A) 17:36:44 delta range : 4930/18000 (mem: N/A) 17:36:44 elliptic : 340/6000 (mem: N/A) 17:36:44 auxiliary : 1399/26000 (mem: N/A) 17:36:44 poseidon ext : 5652/17000 (mem: N/A) 17:36:44 poseidon int : 32207/92000 (mem: N/A) 17:36:44 overflow : 0/0 (mem: N/A) 17:36:44 (mem: N/A) 17:36:44 Total structured size: 242025 (mem: N/A) 17:36:44 allocating polynomials object in proving key... (mem: N/A) 17:36:44 populating trace... (mem: N/A) 17:36:44 time to construct proving key: 130 ms. (mem: N/A) 17:36:44 getting honk vk... precomputed?: 0x26c89c0 (mem: N/A) 17:36:44 computing folding proof (mem: N/A) 17:36:45 oink prover on each incomplete key (mem: N/A) 17:36:46 perturbator round (mem: N/A) 17:36:46 combiner quotient round (mem: N/A) 17:36:46 folded (mem: N/A) 17:36:46 constructed folding proof (mem: N/A) 17:36:47 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A) 17:36:47 Constructing DeciderProvingKey (mem: N/A) 17:36:47 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:47 goblin ecc op : 4/1024 (mem: N/A) 17:36:47 busread : 743/6000 (mem: N/A) 17:36:47 lookups : 9354/15000 (mem: N/A) 17:36:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 17:36:47 arithmetic : 13534/56000 (mem: N/A) 17:36:47 delta range : 2262/18000 (mem: N/A) 17:36:47 elliptic : 670/6000 (mem: N/A) 17:36:47 auxiliary : 543/26000 (mem: N/A) 17:36:47 poseidon ext : 62/17000 (mem: N/A) 17:36:47 poseidon int : 344/92000 (mem: N/A) 17:36:47 overflow : 0/0 (mem: N/A) 17:36:47 (mem: N/A) 17:36:47 Total structured size: 242025 (mem: N/A) 17:36:47 allocating polynomials object in proving key... (mem: N/A) 17:36:47 populating trace... (mem: N/A) 17:36:47 time to construct proving key: 77 ms. (mem: N/A) 17:36:47 getting honk vk... precomputed?: 0x24adec0 (mem: N/A) 17:36:47 computing folding proof (mem: N/A) 17:36:47 oink prover on each incomplete key (mem: N/A) 17:36:48 perturbator round (mem: N/A) 17:36:49 combiner quotient round (mem: N/A) 17:36:49 folded (mem: N/A) 17:36:49 constructed folding proof (mem: N/A) 17:36:49 ClientIVC: accumulating private_kernel_inner (mem: N/A) 17:36:49 Constructing DeciderProvingKey (mem: N/A) 17:36:49 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:49 goblin ecc op : 792/1024 (mem: N/A) 17:36:49 busread : 4185/6000 (mem: N/A) 17:36:49 lookups : 2/15000 (mem: N/A) 17:36:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:49 arithmetic : 43917/56000 (mem: N/A) 17:36:49 delta range : 4930/18000 (mem: N/A) 17:36:49 elliptic : 340/6000 (mem: N/A) 17:36:49 auxiliary : 1399/26000 (mem: N/A) 17:36:49 poseidon ext : 5652/17000 (mem: N/A) 17:36:49 poseidon int : 32207/92000 (mem: N/A) 17:36:49 overflow : 0/0 (mem: N/A) 17:36:49 (mem: N/A) 17:36:49 Total structured size: 242025 (mem: N/A) 17:36:49 allocating polynomials object in proving key... (mem: N/A) 17:36:49 populating trace... (mem: N/A) 17:36:49 time to construct proving key: 132 ms. (mem: N/A) 17:36:49 getting honk vk... precomputed?: 0x26a4680 (mem: N/A) 17:36:49 computing folding proof (mem: N/A) 17:36:50 oink prover on each incomplete key (mem: N/A) 17:36:51 perturbator round (mem: N/A) 17:36:51 combiner quotient round (mem: N/A) 17:36:52 folded (mem: N/A) 17:36:52 constructed folding proof (mem: N/A) 17:36:52 ClientIVC: accumulating private_kernel_reset (mem: N/A) 17:36:52 Constructing DeciderProvingKey (mem: N/A) 17:36:52 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:52 goblin ecc op : 392/1024 (mem: N/A) 17:36:52 busread : 2744/6000 (mem: N/A) 17:36:52 lookups : 2/15000 (mem: N/A) 17:36:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:52 arithmetic : 60461/56000 (mem: N/A) 17:36:52 delta range : 4864/18000 (mem: N/A) 17:36:52 elliptic : 1274/6000 (mem: N/A) 17:36:52 auxiliary : 18808/26000 (mem: N/A) 17:36:52 poseidon ext : 16812/17000 (mem: N/A) 17:36:52 poseidon int : 95819/92000 (mem: N/A) 17:36:52 overflow : 0/0 (mem: N/A) 17:36:52 (mem: N/A) 17:36:52 Total structured size: 242025 (mem: N/A) 17:36:52 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: N/A) 17:36:52 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:52 goblin ecc op : 392/1024 (mem: N/A) 17:36:52 busread : 2744/6000 (mem: N/A) 17:36:52 lookups : 2/15000 (mem: N/A) 17:36:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 17:36:52 arithmetic : 56000/56000 (mem: N/A) 17:36:52 delta range : 4864/18000 (mem: N/A) 17:36:52 elliptic : 1274/6000 (mem: N/A) 17:36:52 auxiliary : 18808/26000 (mem: N/A) 17:36:52 poseidon ext : 16812/17000 (mem: N/A) 17:36:52 poseidon int : 92000/92000 (mem: N/A) 17:36:52 overflow : 8282/8282 (mem: N/A) 17:36:52 (mem: N/A) 17:36:52 Total structured size: 250307 (mem: N/A) 17:36:52 allocating polynomials object in proving key... (mem: N/A) 17:36:52 populating trace... (mem: N/A) 17:36:52 time to construct proving key: 285 ms. (mem: N/A) 17:36:52 getting honk vk... precomputed?: 0x9f9a180 (mem: N/A) 17:36:52 computing folding proof (mem: N/A) 17:36:54 oink prover on each incomplete key (mem: N/A) 17:36:55 perturbator round (mem: N/A) 17:36:56 combiner quotient round (mem: N/A) 17:36:56 folded (mem: N/A) 17:36:56 constructed folding proof (mem: N/A) 17:36:56 ClientIVC: accumulating private_kernel_tail (mem: N/A) 17:36:56 Constructing DeciderProvingKey (mem: N/A) 17:36:56 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 17:36:56 goblin ecc op : 392/1024 (mem: N/A) 17:36:56 busread : 222/6000 (mem: N/A) 17:36:56 lookups : 2/15000 (mem: N/A) 17:36:56 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: N/A) 17:36:56 arithmetic : 21298/56000 (mem: N/A) 17:36:56 delta range : 3622/18000 (mem: N/A) 17:36:56 elliptic : 2/6000 (mem: N/A) 17:36:56 auxiliary : 7134/26000 (mem: N/A) 17:36:56 poseidon ext : 2532/17000 (mem: N/A) 17:36:56 poseidon int : 14423/92000 (mem: N/A) 17:36:56 overflow : 0/0 (mem: N/A) 17:36:56 (mem: N/A) 17:36:56 Total structured size: 242025 (mem: N/A) 17:36:56 allocating polynomials object in proving key... (mem: N/A) 17:36:56 populating trace... (mem: N/A) 17:36:56 time to construct proving key: 84 ms. (mem: N/A) 17:36:56 getting honk vk... precomputed?: 0x3919140 (mem: N/A) 17:36:56 computing folding proof (mem: N/A) 17:36:57 oink prover on each incomplete key (mem: N/A) 17:36:57 perturbator round (mem: N/A) 17:36:58 combiner quotient round (mem: N/A) 17:36:59 folded (mem: N/A) 17:36:59 constructed folding proof (mem: N/A) 17:36:59 Largest circuit: 200784 gates. Trace details: (mem: N/A) 17:36:59 Minimum required block sizes for structured trace: (mem: N/A) 17:36:59 ecc_op : 792 17:36:59 busread : 4185 17:36:59 lookup : 9354 17:36:59 pub_inputs : 1876 17:36:59 arithmetic : 56000 17:36:59 delta_range : 17435 17:36:59 elliptic : 5806 17:36:59 aux : 25394 17:36:59 poseidon2_external : 16812 17:36:59 poseidon2_internal : 92000 17:36:59 overflow : 8282 17:36:59 (mem: N/A) 17:36:59 prove decider... (mem: N/A) 17:36:59 finished decider proving. (mem: N/A) 17:36:59 starting sumcheck rounds... (mem: N/A) 17:37:00 completed 18 rounds of sumcheck (mem: N/A) 17:37:01 executed multivariate-to-univariate reduction (mem: N/A) 17:37:01 computed opening proof (mem: N/A) 17:37:02 Constructing DeciderProvingKey (mem: N/A) 17:37:02 allocating polynomials object in proving key... (mem: N/A) 17:37:02 populating trace... (mem: N/A) 17:37:02 time to construct proving key: 138 ms. (mem: N/A) 17:37:04 created oink proof (mem: N/A) 17:37:04 starting sumcheck rounds... (mem: N/A) 17:37:04 completed 17 rounds of sumcheck (mem: N/A) 17:37:05 executed multivariate-to-univariate reduction (mem: N/A) 17:37:05 computed opening proof (mem: N/A) 17:37:06 Constructing a Goblin proof with num ultra ops = 8594 (mem: N/A) 17:37:06 prove eccvm... (mem: N/A) 17:37:06 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A) 17:37:06 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: N/A) 17:37:13 starting sumcheck rounds... (mem: N/A) 17:37:15 completed 16 rounds of sumcheck (mem: N/A) 17:37:18 finished eccvm proving. (mem: N/A) 17:37:18 prove translator... (mem: N/A) 17:37:21 starting sumcheck rounds... (mem: N/A) 17:37:23 completed 18 rounds of sumcheck (mem: N/A) 17:37:25 computed opening proof (mem: N/A) 17:37:25 finished translator proving. (mem: N/A) 17:37:25 Mega verified: 1 (mem: N/A) 17:37:25 eccvm sumcheck verified?: 1 (mem: N/A) 17:37:25 batch opening verified?: 1 (mem: N/A) 17:37:25 eccvm consistency check verified?: 1 (mem: N/A) 17:37:25 translation masking consistency checked?: 1 (mem: N/A) 17:37:26 merge verified?: 1 (mem: N/A) 17:37:26 eccvm verified?: 1 (mem: N/A) 17:37:26 accumulator construction_verified?: 1 (mem: N/A) 17:37:26 translation verified?: 1 (mem: N/A) 17:37:26 consistency verified?: 1 (mem: N/A) 17:37:26 Goblin verified: 1 (mem: N/A) 17:37:26 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc/wasm" (mem: N/A) 17:37:26 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (wasm) has proven in 87s and peak memory of 1343MB. 17:37:26 ecdsar1+amm_add_liquidity_1_recursions+sponsored_fpc (wasm) has verified.