ACI ·

Parent Log: http://ci.aztec-labs.com/d015ceca959478b3 Command: d2a1f586812a792c:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+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:22 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15117_amd64_x2-full Resources: CPU_LIST=56,57,58,59,60,61,62,63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_cdfef3dcc8841a05_master 20:35:22 --- bb ivc flow bench --- 20:35:22 bb command: prove (mem: 6.00 MiB) 20:35:22 Scheme is: client_ivc, num threads: 8 (mem: 6.00 MiB) 20:35:22 --scheme: client_ivc (mem: 6.00 MiB) 20:35:22 --output_path: bench-out/app-proving/ecdsar1+transfer_1_recursions+private_fpc/native (mem: 6.00 MiB) 20:35:22 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+private_fpc/ivc-inputs.msgpack (mem: 6.00 MiB) 20:35:22 --verbose: true (mem: 6.00 MiB) 20:35:24 BN254 commitment key size: 262144 (mem: 230.64 MiB) 20:35:24 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 324.16 MiB) 20:35:24 Initialized BN254 CRS from memory with num points = 262209 (mem: 388.16 MiB) 20:35:24 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 388.16 MiB) 20:35:24 Constructing DeciderProvingKey (mem: 388.16 MiB) 20:35:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 388.16 MiB) 20:35:24 goblin ecc op : 4/1024 (mem: 388.16 MiB) 20:35:24 busread : 743/6000 (mem: 388.16 MiB) 20:35:24 lookups : 2898/15000 (mem: 388.16 MiB) 20:35:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 388.16 MiB) 20:35:24 arithmetic : 39564/56000 (mem: 388.16 MiB) 20:35:24 delta range : 17435/18000 (mem: 388.16 MiB) 20:35:24 elliptic : 2/6000 (mem: 388.16 MiB) 20:35:24 auxiliary : 25394/26000 (mem: 388.16 MiB) 20:35:24 poseidon ext : 322/17000 (mem: 388.16 MiB) 20:35:24 poseidon int : 1826/92000 (mem: 388.16 MiB) 20:35:24 overflow : 0/0 (mem: 388.16 MiB) 20:35:24 (mem: 388.16 MiB) 20:35:24 Total structured size: 242025 (mem: 388.16 MiB) 20:35:24 allocating polynomials object in proving key... (mem: 388.16 MiB) 20:35:24 populating trace... (mem: 601.54 MiB) 20:35:24 time to construct proving key: 88 ms. (mem: 623.54 MiB) 20:35:24 getting honk vk... precomputed?: 0x5edc0c0c8580 (mem: 623.54 MiB) 20:35:24 computing oink proof... (mem: 623.54 MiB) 20:35:24 oink proof constructed (mem: 625.54 MiB) 20:35:24 ClientIVC: accumulating private_kernel_init (mem: 626.54 MiB) 20:35:24 Constructing DeciderProvingKey (mem: 626.54 MiB) 20:35:24 Gate blocks summary: (actual gates / fixed capacity) (mem: 626.54 MiB) 20:35:24 goblin ecc op : 56/1024 (mem: 626.54 MiB) 20:35:24 busread : 2530/6000 (mem: 626.54 MiB) 20:35:24 lookups : 2/15000 (mem: 626.54 MiB) 20:35:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 626.54 MiB) 20:35:24 arithmetic : 21193/56000 (mem: 626.54 MiB) 20:35:24 delta range : 2974/18000 (mem: 626.54 MiB) 20:35:24 elliptic : 340/6000 (mem: 626.54 MiB) 20:35:24 auxiliary : 799/26000 (mem: 626.54 MiB) 20:35:24 poseidon ext : 2012/17000 (mem: 626.54 MiB) 20:35:24 poseidon int : 11459/92000 (mem: 626.54 MiB) 20:35:24 overflow : 0/0 (mem: 626.54 MiB) 20:35:24 (mem: 626.54 MiB) 20:35:24 Total structured size: 242025 (mem: 626.54 MiB) 20:35:24 allocating polynomials object in proving key... (mem: 626.54 MiB) 20:35:24 populating trace... (mem: 804.54 MiB) 20:35:24 time to construct proving key: 33 ms. (mem: 816.54 MiB) 20:35:24 getting honk vk... precomputed?: 0x5edc0e5d4440 (mem: 816.54 MiB) 20:35:24 computing folding proof (mem: 816.54 MiB) 20:35:25 oink prover on each incomplete key (mem: 816.54 MiB) 20:35:25 perturbator round (mem: 839.54 MiB) 20:35:25 combiner quotient round (mem: 871.54 MiB) 20:35:25 folded (mem: 871.54 MiB) 20:35:25 constructed folding proof (mem: 871.54 MiB) 20:35:25 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: 871.54 MiB) 20:35:25 Constructing DeciderProvingKey (mem: 871.54 MiB) 20:35:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 871.54 MiB) 20:35:25 goblin ecc op : 4/1024 (mem: 871.54 MiB) 20:35:25 busread : 743/6000 (mem: 871.54 MiB) 20:35:25 lookups : 2/15000 (mem: 871.54 MiB) 20:35:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 871.54 MiB) 20:35:25 arithmetic : 4295/56000 (mem: 871.54 MiB) 20:35:25 delta range : 1886/18000 (mem: 871.54 MiB) 20:35:25 elliptic : 2/6000 (mem: 871.54 MiB) 20:35:25 auxiliary : 26/26000 (mem: 871.54 MiB) 20:35:25 poseidon ext : 512/17000 (mem: 871.54 MiB) 20:35:25 poseidon int : 2909/92000 (mem: 871.54 MiB) 20:35:25 overflow : 0/0 (mem: 871.54 MiB) 20:35:25 (mem: 871.54 MiB) 20:35:25 Total structured size: 242025 (mem: 871.54 MiB) 20:35:25 allocating polynomials object in proving key... (mem: 871.54 MiB) 20:35:25 populating trace... (mem: 871.54 MiB) 20:35:25 time to construct proving key: 16 ms. (mem: 871.54 MiB) 20:35:25 getting honk vk... precomputed?: 0x5edc0e5d1b00 (mem: 871.54 MiB) 20:35:25 computing folding proof (mem: 871.54 MiB) 20:35:25 oink prover on each incomplete key (mem: 871.54 MiB) 20:35:25 perturbator round (mem: 871.54 MiB) 20:35:25 combiner quotient round (mem: 872.27 MiB) 20:35:25 folded (mem: 872.27 MiB) 20:35:25 constructed folding proof (mem: 872.27 MiB) 20:35:26 ClientIVC: accumulating private_kernel_inner (mem: 872.27 MiB) 20:35:26 Constructing DeciderProvingKey (mem: 872.27 MiB) 20:35:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 872.27 MiB) 20:35:26 goblin ecc op : 792/1024 (mem: 872.27 MiB) 20:35:26 busread : 4185/6000 (mem: 872.27 MiB) 20:35:26 lookups : 2/15000 (mem: 872.27 MiB) 20:35:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 872.27 MiB) 20:35:26 arithmetic : 43917/56000 (mem: 872.27 MiB) 20:35:26 delta range : 4930/18000 (mem: 872.27 MiB) 20:35:26 elliptic : 340/6000 (mem: 872.27 MiB) 20:35:26 auxiliary : 1399/26000 (mem: 872.27 MiB) 20:35:26 poseidon ext : 5652/17000 (mem: 872.27 MiB) 20:35:26 poseidon int : 32207/92000 (mem: 872.27 MiB) 20:35:26 overflow : 0/0 (mem: 872.27 MiB) 20:35:26 (mem: 872.27 MiB) 20:35:26 Total structured size: 242025 (mem: 872.27 MiB) 20:35:26 allocating polynomials object in proving key... (mem: 872.27 MiB) 20:35:26 populating trace... (mem: 872.27 MiB) 20:35:26 time to construct proving key: 52 ms. (mem: 872.27 MiB) 20:35:26 getting honk vk... precomputed?: 0x5edc0f62dbc0 (mem: 872.27 MiB) 20:35:26 computing folding proof (mem: 872.27 MiB) 20:35:26 oink prover on each incomplete key (mem: 872.27 MiB) 20:35:26 perturbator round (mem: 875.30 MiB) 20:35:26 combiner quotient round (mem: 907.30 MiB) 20:35:26 folded (mem: 907.30 MiB) 20:35:26 constructed folding proof (mem: 907.30 MiB) 20:35:26 ClientIVC: accumulating Token:transfer_to_public (mem: 907.30 MiB) 20:35:26 Constructing DeciderProvingKey (mem: 907.30 MiB) 20:35:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 907.30 MiB) 20:35:26 goblin ecc op : 4/1024 (mem: 907.30 MiB) 20:35:26 busread : 743/6000 (mem: 907.30 MiB) 20:35:26 lookups : 9354/15000 (mem: 907.30 MiB) 20:35:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 907.30 MiB) 20:35:26 arithmetic : 48253/56000 (mem: 907.30 MiB) 20:35:27 delta range : 5962/18000 (mem: 907.30 MiB) 20:35:27 elliptic : 5806/6000 (mem: 907.30 MiB) 20:35:27 auxiliary : 20704/26000 (mem: 907.30 MiB) 20:35:27 poseidon ext : 2842/17000 (mem: 907.30 MiB) 20:35:27 poseidon int : 16190/92000 (mem: 907.30 MiB) 20:35:27 overflow : 0/0 (mem: 907.30 MiB) 20:35:27 (mem: 907.30 MiB) 20:35:27 Total structured size: 242025 (mem: 907.30 MiB) 20:35:27 allocating polynomials object in proving key... (mem: 907.30 MiB) 20:35:27 populating trace... (mem: 907.30 MiB) 20:35:27 time to construct proving key: 65 ms. (mem: 907.30 MiB) 20:35:27 getting honk vk... precomputed?: 0x5edc119d3b00 (mem: 907.30 MiB) 20:35:27 computing folding proof (mem: 907.30 MiB) 20:35:27 oink prover on each incomplete key (mem: 907.30 MiB) 20:35:27 perturbator round (mem: 907.37 MiB) 20:35:27 combiner quotient round (mem: 939.37 MiB) 20:35:27 folded (mem: 939.37 MiB) 20:35:27 constructed folding proof (mem: 939.37 MiB) 20:35:28 ClientIVC: accumulating private_kernel_inner (mem: 939.37 MiB) 20:35:28 Constructing DeciderProvingKey (mem: 939.37 MiB) 20:35:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 939.37 MiB) 20:35:28 goblin ecc op : 792/1024 (mem: 939.37 MiB) 20:35:28 busread : 4185/6000 (mem: 939.37 MiB) 20:35:28 lookups : 2/15000 (mem: 939.37 MiB) 20:35:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 939.37 MiB) 20:35:28 arithmetic : 43917/56000 (mem: 939.37 MiB) 20:35:28 delta range : 4930/18000 (mem: 939.37 MiB) 20:35:28 elliptic : 340/6000 (mem: 939.37 MiB) 20:35:28 auxiliary : 1399/26000 (mem: 939.37 MiB) 20:35:28 poseidon ext : 5652/17000 (mem: 939.37 MiB) 20:35:28 poseidon int : 32207/92000 (mem: 939.37 MiB) 20:35:28 overflow : 0/0 (mem: 939.37 MiB) 20:35:28 (mem: 939.37 MiB) 20:35:28 Total structured size: 242025 (mem: 939.37 MiB) 20:35:28 allocating polynomials object in proving key... (mem: 939.37 MiB) 20:35:28 populating trace... (mem: 939.37 MiB) 20:35:28 time to construct proving key: 41 ms. (mem: 939.37 MiB) 20:35:28 getting honk vk... precomputed?: 0x5edc0ffebd40 (mem: 939.37 MiB) 20:35:28 computing folding proof (mem: 939.37 MiB) 20:35:28 oink prover on each incomplete key (mem: 939.37 MiB) 20:35:28 perturbator round (mem: 939.37 MiB) 20:35:28 combiner quotient round (mem: 939.91 MiB) 20:35:28 folded (mem: 939.91 MiB) 20:35:28 constructed folding proof (mem: 939.91 MiB) 20:35:29 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 939.91 MiB) 20:35:29 Constructing DeciderProvingKey (mem: 939.91 MiB) 20:35:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 939.91 MiB) 20:35:29 goblin ecc op : 4/1024 (mem: 939.91 MiB) 20:35:29 busread : 743/6000 (mem: 939.91 MiB) 20:35:29 lookups : 2898/15000 (mem: 939.91 MiB) 20:35:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 939.91 MiB) 20:35:29 arithmetic : 37521/56000 (mem: 939.91 MiB) 20:35:29 delta range : 17045/18000 (mem: 939.91 MiB) 20:35:29 elliptic : 2/6000 (mem: 939.91 MiB) 20:35:29 auxiliary : 21404/26000 (mem: 939.91 MiB) 20:35:29 poseidon ext : 82/17000 (mem: 939.91 MiB) 20:35:29 poseidon int : 458/92000 (mem: 939.91 MiB) 20:35:29 overflow : 0/0 (mem: 939.91 MiB) 20:35:29 (mem: 939.91 MiB) 20:35:29 Total structured size: 242025 (mem: 939.91 MiB) 20:35:29 allocating polynomials object in proving key... (mem: 939.91 MiB) 20:35:29 populating trace... (mem: 939.91 MiB) 20:35:29 time to construct proving key: 70 ms. (mem: 939.91 MiB) 20:35:29 getting honk vk... precomputed?: 0x5edc0fe5b900 (mem: 939.91 MiB) 20:35:29 computing folding proof (mem: 939.91 MiB) 20:35:29 oink prover on each incomplete key (mem: 939.91 MiB) 20:35:29 perturbator round (mem: 939.91 MiB) 20:35:29 combiner quotient round (mem: 940.93 MiB) 20:35:29 folded (mem: 940.93 MiB) 20:35:29 constructed folding proof (mem: 940.93 MiB) 20:35:29 ClientIVC: accumulating private_kernel_inner (mem: 940.93 MiB) 20:35:29 Constructing DeciderProvingKey (mem: 940.93 MiB) 20:35:29 Gate blocks summary: (actual gates / fixed capacity) (mem: 940.93 MiB) 20:35:29 goblin ecc op : 792/1024 (mem: 940.93 MiB) 20:35:29 busread : 4185/6000 (mem: 940.93 MiB) 20:35:29 lookups : 2/15000 (mem: 940.93 MiB) 20:35:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 940.93 MiB) 20:35:29 arithmetic : 43917/56000 (mem: 940.93 MiB) 20:35:29 delta range : 4930/18000 (mem: 940.93 MiB) 20:35:29 elliptic : 340/6000 (mem: 940.93 MiB) 20:35:29 auxiliary : 1399/26000 (mem: 940.93 MiB) 20:35:29 poseidon ext : 5652/17000 (mem: 940.93 MiB) 20:35:29 poseidon int : 32207/92000 (mem: 940.93 MiB) 20:35:29 overflow : 0/0 (mem: 940.93 MiB) 20:35:29 (mem: 940.93 MiB) 20:35:29 Total structured size: 242025 (mem: 940.93 MiB) 20:35:29 allocating polynomials object in proving key... (mem: 940.93 MiB) 20:35:29 populating trace... (mem: 940.93 MiB) 20:35:30 time to construct proving key: 41 ms. (mem: 940.93 MiB) 20:35:30 getting honk vk... precomputed?: 0x5edc128a8a00 (mem: 940.93 MiB) 20:35:30 computing folding proof (mem: 940.93 MiB) 20:35:30 oink prover on each incomplete key (mem: 940.93 MiB) 20:35:30 perturbator round (mem: 940.93 MiB) 20:35:30 combiner quotient round (mem: 941.77 MiB) 20:35:30 folded (mem: 941.77 MiB) 20:35:30 constructed folding proof (mem: 941.77 MiB) 20:35:30 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 941.77 MiB) 20:35:30 Constructing DeciderProvingKey (mem: 941.77 MiB) 20:35:30 Gate blocks summary: (actual gates / fixed capacity) (mem: 941.77 MiB) 20:35:30 goblin ecc op : 4/1024 (mem: 941.77 MiB) 20:35:30 busread : 743/6000 (mem: 941.77 MiB) 20:35:30 lookups : 9354/15000 (mem: 941.77 MiB) 20:35:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 941.77 MiB) 20:35:30 arithmetic : 13534/56000 (mem: 941.77 MiB) 20:35:30 delta range : 2262/18000 (mem: 941.77 MiB) 20:35:30 elliptic : 670/6000 (mem: 941.77 MiB) 20:35:30 auxiliary : 543/26000 (mem: 941.77 MiB) 20:35:30 poseidon ext : 62/17000 (mem: 941.77 MiB) 20:35:30 poseidon int : 344/92000 (mem: 941.77 MiB) 20:35:30 overflow : 0/0 (mem: 941.77 MiB) 20:35:30 (mem: 941.77 MiB) 20:35:30 Total structured size: 242025 (mem: 941.77 MiB) 20:35:30 allocating polynomials object in proving key... (mem: 941.77 MiB) 20:35:30 populating trace... (mem: 941.77 MiB) 20:35:30 time to construct proving key: 31 ms. (mem: 941.77 MiB) 20:35:30 getting honk vk... precomputed?: 0x5edc0f204300 (mem: 941.77 MiB) 20:35:30 computing folding proof (mem: 941.77 MiB) 20:35:31 oink prover on each incomplete key (mem: 941.77 MiB) 20:35:31 perturbator round (mem: 941.77 MiB) 20:35:31 combiner quotient round (mem: 941.77 MiB) 20:35:31 folded (mem: 941.77 MiB) 20:35:31 constructed folding proof (mem: 941.77 MiB) 20:35:31 ClientIVC: accumulating private_kernel_inner (mem: 941.77 MiB) 20:35:31 Constructing DeciderProvingKey (mem: 941.77 MiB) 20:35:31 Gate blocks summary: (actual gates / fixed capacity) (mem: 941.77 MiB) 20:35:31 goblin ecc op : 792/1024 (mem: 941.77 MiB) 20:35:31 busread : 4185/6000 (mem: 941.77 MiB) 20:35:31 lookups : 2/15000 (mem: 941.77 MiB) 20:35:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 941.77 MiB) 20:35:31 arithmetic : 43917/56000 (mem: 941.77 MiB) 20:35:31 delta range : 4930/18000 (mem: 941.77 MiB) 20:35:31 elliptic : 340/6000 (mem: 941.77 MiB) 20:35:31 auxiliary : 1399/26000 (mem: 941.77 MiB) 20:35:31 poseidon ext : 5652/17000 (mem: 941.77 MiB) 20:35:31 poseidon int : 32207/92000 (mem: 941.77 MiB) 20:35:31 overflow : 0/0 (mem: 941.77 MiB) 20:35:31 (mem: 941.77 MiB) 20:35:31 Total structured size: 242025 (mem: 941.77 MiB) 20:35:31 allocating polynomials object in proving key... (mem: 941.77 MiB) 20:35:31 populating trace... (mem: 941.77 MiB) 20:35:31 time to construct proving key: 41 ms. (mem: 941.77 MiB) 20:35:31 getting honk vk... precomputed?: 0x5edc115eef80 (mem: 941.77 MiB) 20:35:31 computing folding proof (mem: 941.77 MiB) 20:35:32 oink prover on each incomplete key (mem: 941.77 MiB) 20:35:32 perturbator round (mem: 941.77 MiB) 20:35:32 combiner quotient round (mem: 943.77 MiB) 20:35:32 folded (mem: 943.77 MiB) 20:35:32 constructed folding proof (mem: 943.77 MiB) 20:35:32 ClientIVC: accumulating Token:transfer (mem: 943.77 MiB) 20:35:32 Constructing DeciderProvingKey (mem: 943.77 MiB) 20:35:32 Gate blocks summary: (actual gates / fixed capacity) (mem: 943.77 MiB) 20:35:32 goblin ecc op : 4/1024 (mem: 943.77 MiB) 20:35:32 busread : 743/6000 (mem: 943.77 MiB) 20:35:32 lookups : 8266/15000 (mem: 943.77 MiB) 20:35:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 943.77 MiB) 20:35:32 arithmetic : 17364/56000 (mem: 943.77 MiB) 20:35:32 delta range : 3235/18000 (mem: 943.77 MiB) 20:35:32 elliptic : 1314/6000 (mem: 943.77 MiB) 20:35:32 auxiliary : 9441/26000 (mem: 943.77 MiB) 20:35:32 poseidon ext : 442/17000 (mem: 943.77 MiB) 20:35:32 poseidon int : 2510/92000 (mem: 943.77 MiB) 20:35:32 overflow : 0/0 (mem: 943.77 MiB) 20:35:32 (mem: 943.77 MiB) 20:35:32 Total structured size: 242025 (mem: 943.77 MiB) 20:35:32 allocating polynomials object in proving key... (mem: 943.77 MiB) 20:35:32 populating trace... (mem: 943.77 MiB) 20:35:32 time to construct proving key: 43 ms. (mem: 943.77 MiB) 20:35:32 getting honk vk... precomputed?: 0x5edc115f0180 (mem: 943.77 MiB) 20:35:32 computing folding proof (mem: 943.77 MiB) 20:35:32 oink prover on each incomplete key (mem: 943.77 MiB) 20:35:32 perturbator round (mem: 943.77 MiB) 20:35:33 combiner quotient round (mem: 943.77 MiB) 20:35:33 folded (mem: 943.77 MiB) 20:35:33 constructed folding proof (mem: 943.77 MiB) 20:35:33 ClientIVC: accumulating private_kernel_inner (mem: 943.77 MiB) 20:35:33 Constructing DeciderProvingKey (mem: 943.77 MiB) 20:35:33 Gate blocks summary: (actual gates / fixed capacity) (mem: 943.77 MiB) 20:35:33 goblin ecc op : 792/1024 (mem: 943.77 MiB) 20:35:33 busread : 4185/6000 (mem: 943.77 MiB) 20:35:33 lookups : 2/15000 (mem: 943.77 MiB) 20:35:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 943.77 MiB) 20:35:33 arithmetic : 43917/56000 (mem: 943.77 MiB) 20:35:33 delta range : 4930/18000 (mem: 943.77 MiB) 20:35:33 elliptic : 340/6000 (mem: 943.77 MiB) 20:35:33 auxiliary : 1399/26000 (mem: 943.77 MiB) 20:35:33 poseidon ext : 5652/17000 (mem: 943.77 MiB) 20:35:33 poseidon int : 32207/92000 (mem: 943.77 MiB) 20:35:33 overflow : 0/0 (mem: 943.77 MiB) 20:35:33 (mem: 943.77 MiB) 20:35:33 Total structured size: 242025 (mem: 943.77 MiB) 20:35:33 allocating polynomials object in proving key... (mem: 943.77 MiB) 20:35:33 populating trace... (mem: 943.77 MiB) 20:35:33 time to construct proving key: 44 ms. (mem: 943.77 MiB) 20:35:33 getting honk vk... precomputed?: 0x5edc0d8edd80 (mem: 943.77 MiB) 20:35:33 computing folding proof (mem: 943.77 MiB) 20:35:33 oink prover on each incomplete key (mem: 943.77 MiB) 20:35:34 perturbator round (mem: 943.77 MiB) 20:35:34 combiner quotient round (mem: 946.77 MiB) 20:35:34 folded (mem: 946.77 MiB) 20:35:34 constructed folding proof (mem: 946.77 MiB) 20:35:34 ClientIVC: accumulating Token:_recurse_subtract_balance (mem: 946.77 MiB) 20:35:34 Constructing DeciderProvingKey (mem: 946.77 MiB) 20:35:34 Gate blocks summary: (actual gates / fixed capacity) (mem: 946.77 MiB) 20:35:34 goblin ecc op : 4/1024 (mem: 946.77 MiB) 20:35:34 busread : 743/6000 (mem: 946.77 MiB) 20:35:34 lookups : 2/15000 (mem: 946.77 MiB) 20:35:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 946.77 MiB) 20:35:34 arithmetic : 19857/56000 (mem: 946.77 MiB) 20:35:34 delta range : 3641/18000 (mem: 946.77 MiB) 20:35:34 elliptic : 2578/6000 (mem: 946.77 MiB) 20:35:34 auxiliary : 9593/26000 (mem: 946.77 MiB) 20:35:34 poseidon ext : 1402/17000 (mem: 946.77 MiB) 20:35:34 poseidon int : 7982/92000 (mem: 946.77 MiB) 20:35:34 overflow : 0/0 (mem: 946.77 MiB) 20:35:34 (mem: 946.77 MiB) 20:35:34 Total structured size: 242025 (mem: 946.77 MiB) 20:35:34 allocating polynomials object in proving key... (mem: 946.77 MiB) 20:35:34 populating trace... (mem: 946.77 MiB) 20:35:34 time to construct proving key: 34 ms. (mem: 946.77 MiB) 20:35:34 getting honk vk... precomputed?: 0x5edc11b2b180 (mem: 946.77 MiB) 20:35:34 computing folding proof (mem: 946.77 MiB) 20:35:34 oink prover on each incomplete key (mem: 946.77 MiB) 20:35:34 perturbator round (mem: 946.77 MiB) 20:35:35 combiner quotient round (mem: 946.77 MiB) 20:35:35 folded (mem: 946.77 MiB) 20:35:35 constructed folding proof (mem: 946.77 MiB) 20:35:35 ClientIVC: accumulating private_kernel_inner (mem: 946.77 MiB) 20:35:35 Constructing DeciderProvingKey (mem: 946.77 MiB) 20:35:35 Gate blocks summary: (actual gates / fixed capacity) (mem: 946.77 MiB) 20:35:35 goblin ecc op : 792/1024 (mem: 946.77 MiB) 20:35:35 busread : 4185/6000 (mem: 946.77 MiB) 20:35:35 lookups : 2/15000 (mem: 946.77 MiB) 20:35:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 946.77 MiB) 20:35:35 arithmetic : 43917/56000 (mem: 946.77 MiB) 20:35:35 delta range : 4930/18000 (mem: 946.77 MiB) 20:35:35 elliptic : 340/6000 (mem: 946.77 MiB) 20:35:35 auxiliary : 1399/26000 (mem: 946.77 MiB) 20:35:35 poseidon ext : 5652/17000 (mem: 946.77 MiB) 20:35:35 poseidon int : 32207/92000 (mem: 946.77 MiB) 20:35:35 overflow : 0/0 (mem: 946.77 MiB) 20:35:35 (mem: 946.77 MiB) 20:35:35 Total structured size: 242025 (mem: 946.77 MiB) 20:35:35 allocating polynomials object in proving key... (mem: 946.77 MiB) 20:35:35 populating trace... (mem: 946.77 MiB) 20:35:35 time to construct proving key: 42 ms. (mem: 946.77 MiB) 20:35:35 getting honk vk... precomputed?: 0x5edc115ef7c0 (mem: 946.77 MiB) 20:35:35 computing folding proof (mem: 946.77 MiB) 20:35:35 oink prover on each incomplete key (mem: 946.77 MiB) 20:35:35 perturbator round (mem: 946.77 MiB) 20:35:36 combiner quotient round (mem: 947.36 MiB) 20:35:36 folded (mem: 947.36 MiB) 20:35:36 constructed folding proof (mem: 947.36 MiB) 20:35:36 ClientIVC: accumulating private_kernel_reset (mem: 947.36 MiB) 20:35:36 Constructing DeciderProvingKey (mem: 947.36 MiB) 20:35:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 947.36 MiB) 20:35:36 goblin ecc op : 392/1024 (mem: 947.36 MiB) 20:35:36 busread : 2744/6000 (mem: 947.36 MiB) 20:35:36 lookups : 2/15000 (mem: 947.36 MiB) 20:35:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 947.36 MiB) 20:35:36 arithmetic : 60461/56000 (mem: 947.36 MiB) 20:35:36 delta range : 4864/18000 (mem: 947.36 MiB) 20:35:36 elliptic : 1274/6000 (mem: 947.36 MiB) 20:35:36 auxiliary : 18808/26000 (mem: 947.36 MiB) 20:35:36 poseidon ext : 16812/17000 (mem: 947.36 MiB) 20:35:36 poseidon int : 95819/92000 (mem: 947.36 MiB) 20:35:36 overflow : 0/0 (mem: 947.36 MiB) 20:35:36 (mem: 947.36 MiB) 20:35:36 Total structured size: 242025 (mem: 947.36 MiB) 20:35:36 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 947.36 MiB) 20:35:36 Gate blocks summary: (actual gates / fixed capacity) (mem: 947.36 MiB) 20:35:36 goblin ecc op : 392/1024 (mem: 947.36 MiB) 20:35:36 busread : 2744/6000 (mem: 947.36 MiB) 20:35:36 lookups : 2/15000 (mem: 947.36 MiB) 20:35:36 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 947.36 MiB) 20:35:36 arithmetic : 56000/56000 (mem: 947.36 MiB) 20:35:36 delta range : 4864/18000 (mem: 947.36 MiB) 20:35:36 elliptic : 1274/6000 (mem: 947.36 MiB) 20:35:36 auxiliary : 18808/26000 (mem: 947.36 MiB) 20:35:36 poseidon ext : 16812/17000 (mem: 947.36 MiB) 20:35:36 poseidon int : 92000/92000 (mem: 947.36 MiB) 20:35:36 overflow : 8282/8282 (mem: 947.36 MiB) 20:35:36 (mem: 947.36 MiB) 20:35:36 Total structured size: 250307 (mem: 947.36 MiB) 20:35:36 allocating polynomials object in proving key... (mem: 947.36 MiB) 20:35:36 populating trace... (mem: 1188.11 MiB) 20:35:36 time to construct proving key: 117 ms. (mem: 1202.11 MiB) 20:35:36 getting honk vk... precomputed?: 0x5edc155b8ec0 (mem: 1202.11 MiB) 20:35:36 computing folding proof (mem: 1202.11 MiB) 20:35:37 oink prover on each incomplete key (mem: 1204.11 MiB) 20:35:37 perturbator round (mem: 1205.11 MiB) 20:35:37 combiner quotient round (mem: 1237.11 MiB) 20:35:37 folded (mem: 1237.11 MiB) 20:35:37 constructed folding proof (mem: 1237.11 MiB) 20:35:37 ClientIVC: accumulating private_kernel_tail (mem: 1237.11 MiB) 20:35:37 Constructing DeciderProvingKey (mem: 1237.11 MiB) 20:35:37 Gate blocks summary: (actual gates / fixed capacity) (mem: 1237.11 MiB) 20:35:37 goblin ecc op : 392/1024 (mem: 1237.11 MiB) 20:35:37 busread : 222/6000 (mem: 1237.11 MiB) 20:35:37 lookups : 2/15000 (mem: 1237.11 MiB) 20:35:37 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 1237.11 MiB) 20:35:37 arithmetic : 21298/56000 (mem: 1237.11 MiB) 20:35:37 delta range : 3622/18000 (mem: 1237.11 MiB) 20:35:37 elliptic : 2/6000 (mem: 1237.11 MiB) 20:35:37 auxiliary : 7134/26000 (mem: 1237.11 MiB) 20:35:37 poseidon ext : 2532/17000 (mem: 1237.11 MiB) 20:35:37 poseidon int : 14423/92000 (mem: 1237.11 MiB) 20:35:37 overflow : 0/0 (mem: 1237.11 MiB) 20:35:37 (mem: 1237.11 MiB) 20:35:37 Total structured size: 242025 (mem: 1237.11 MiB) 20:35:37 allocating polynomials object in proving key... (mem: 1237.11 MiB) 20:35:37 populating trace... (mem: 1237.11 MiB) 20:35:37 time to construct proving key: 34 ms. (mem: 1237.11 MiB) 20:35:37 getting honk vk... precomputed?: 0x5edc0cda5d80 (mem: 1237.11 MiB) 20:35:37 computing folding proof (mem: 1237.11 MiB) 20:35:38 oink prover on each incomplete key (mem: 1237.11 MiB) 20:35:38 perturbator round (mem: 1237.11 MiB) 20:35:38 combiner quotient round (mem: 1237.11 MiB) 20:35:38 folded (mem: 1237.11 MiB) 20:35:38 constructed folding proof (mem: 1237.11 MiB) 20:35:38 Largest circuit: 200784 gates. Trace details: (mem: 1237.11 MiB) 20:35:38 Minimum required block sizes for structured trace: (mem: 1237.11 MiB) 20:35:38 ecc_op : 792 20:35:38 busread : 4185 20:35:38 lookup : 9354 20:35:38 pub_inputs : 1876 20:35:38 arithmetic : 56000 20:35:38 delta_range : 17435 20:35:38 elliptic : 5806 20:35:38 aux : 25394 20:35:38 poseidon2_external : 16812 20:35:38 poseidon2_internal : 92000 20:35:38 overflow : 8282 20:35:38 (mem: 1237.11 MiB) 20:35:38 prove decider... (mem: 1237.11 MiB) 20:35:38 finished decider proving. (mem: 1237.11 MiB) 20:35:38 starting sumcheck rounds... (mem: 1237.11 MiB) 20:35:39 completed 18 rounds of sumcheck (mem: 1237.11 MiB) 20:35:39 executed multivariate-to-univariate reduction (mem: 1237.11 MiB) 20:35:39 computed opening proof (mem: 1237.11 MiB) 20:35:39 Constructing DeciderProvingKey (mem: 1237.11 MiB) 20:35:39 allocating polynomials object in proving key... (mem: 1237.11 MiB) 20:35:39 populating trace... (mem: 1237.11 MiB) 20:35:39 time to construct proving key: 46 ms. (mem: 1237.11 MiB) 20:35:40 created oink proof (mem: 1237.11 MiB) 20:35:40 starting sumcheck rounds... (mem: 1237.11 MiB) 20:35:40 completed 17 rounds of sumcheck (mem: 1237.11 MiB) 20:35:41 executed multivariate-to-univariate reduction (mem: 1237.11 MiB) 20:35:41 computed opening proof (mem: 1237.11 MiB) 20:35:41 Constructing a Goblin proof with num ultra ops = 6206 (mem: 1237.11 MiB) 20:35:41 prove eccvm... (mem: 1237.11 MiB) 20:35:41 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1237.11 MiB) 20:35:41 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 1237.11 MiB) 20:35:43 starting sumcheck rounds... (mem: 1237.11 MiB) 20:35:44 completed 16 rounds of sumcheck (mem: 1237.11 MiB) 20:35:45 finished eccvm proving. (mem: 1237.11 MiB) 20:35:45 prove translator... (mem: 1237.11 MiB) 20:35:46 starting sumcheck rounds... (mem: 1237.11 MiB) 20:35:47 completed 18 rounds of sumcheck (mem: 1237.11 MiB) 20:35:48 computed opening proof (mem: 1237.11 MiB) 20:35:48 finished translator proving. (mem: 1237.11 MiB) 20:35:48 Mega verified: 1 (mem: 1237.11 MiB) 20:35:48 eccvm sumcheck verified?: 1 (mem: 1237.11 MiB) 20:35:48 batch opening verified?: 1 (mem: 1237.11 MiB) 20:35:48 eccvm consistency check verified?: 1 (mem: 1237.11 MiB) 20:35:48 translation masking consistency checked?: 1 (mem: 1237.11 MiB) 20:35:48 merge verified?: 1 (mem: 1237.11 MiB) 20:35:48 eccvm verified?: 1 (mem: 1237.11 MiB) 20:35:48 accumulator construction_verified?: 1 (mem: 1237.11 MiB) 20:35:48 translation verified?: 1 (mem: 1237.11 MiB) 20:35:48 consistency verified?: 1 (mem: 1237.11 MiB) 20:35:48 Goblin verified: 1 (mem: 1237.11 MiB) 20:35:48 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_1_recursions+private_fpc/native" (mem: 1237.11 MiB) 20:35:48 ecdsar1+transfer_1_recursions+private_fpc (native) has proven in 25s and peak memory of 1237MB. 20:35:49 ecdsar1+transfer_1_recursions+private_fpc (native) has verified.