Parent Log:
http://ci.aztec-labs.com/bd4a684d1aace71b
Command: 21081b81c02e2d2a:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh wasm ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+sponsored_fpc
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/c06f30929f18b85bcea93c0926a8d640a3819f00
Env: REF_NAME=gh-readonly-queue/master/pr-15074-2707ec99de02004f3e30e7af0810e0d741ab9794 CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Mon Jun 16 16:35:53 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15074_amd64_x1-full
Resources: CPU_LIST=16,17,18,19,20,21,22,23 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_46fb237b0d75da5c_master
16:35:53
--- bb ivc flow bench ---
16:35:54 failed to open /proc/cpuinfo
16:35:54 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect.
16:35:55 bb command: prove (mem: N/A)
16:35:55 Scheme is: client_ivc, num threads: 8 (mem: N/A)
16:35:55 --scheme: client_ivc (mem: N/A)
16:35:55 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+sponsored_fpc/wasm (mem: N/A)
16:35:55 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+sponsored_fpc/ivc-inputs.msgpack (mem: N/A)
16:35:55 --verbose: true (mem: N/A)
16:35:56 BN254 commitment key size: 262144 (mem: N/A)
16:35:56 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A)
16:35:56 Initialized BN254 CRS from memory with num points = 262209 (mem: N/A)
16:35:56 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A)
16:35:56 Constructing DeciderProvingKey (mem: N/A)
16:35:56 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:35:56 goblin ecc op : 4/1024 (mem: N/A)
16:35:56 busread : 743/6000 (mem: N/A)
16:35:56 lookups : 2898/15000 (mem: N/A)
16:35:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:35:56 arithmetic : 39564/56000 (mem: N/A)
16:35:56 delta range : 17435/18000 (mem: N/A)
16:35:56 elliptic : 2/6000 (mem: N/A)
16:35:56 auxiliary : 25394/26000 (mem: N/A)
16:35:56 poseidon ext : 322/17000 (mem: N/A)
16:35:56 poseidon int : 1826/92000 (mem: N/A)
16:35:56 overflow : 0/0 (mem: N/A)
16:35:56 (mem: N/A)
16:35:56 Total structured size: 242025 (mem: N/A)
16:35:56 allocating polynomials object in proving key... (mem: N/A)
16:35:56 populating trace... (mem: N/A)
16:35:56 time to construct proving key: 149 ms. (mem: N/A)
16:35:56 getting honk vk... precomputed?: 0x76ba80 (mem: N/A)
16:35:56 computing oink proof... (mem: N/A)
16:35:57 oink proof constructed (mem: N/A)
16:35:57 ClientIVC: accumulating private_kernel_init (mem: N/A)
16:35:57 Constructing DeciderProvingKey (mem: N/A)
16:35:57 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:35:57 goblin ecc op : 56/1024 (mem: N/A)
16:35:57 busread : 2530/6000 (mem: N/A)
16:35:57 lookups : 2/15000 (mem: N/A)
16:35:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:35:57 arithmetic : 21193/56000 (mem: N/A)
16:35:57 delta range : 2974/18000 (mem: N/A)
16:35:57 elliptic : 340/6000 (mem: N/A)
16:35:57 auxiliary : 799/26000 (mem: N/A)
16:35:57 poseidon ext : 2012/17000 (mem: N/A)
16:35:57 poseidon int : 11459/92000 (mem: N/A)
16:35:57 overflow : 0/0 (mem: N/A)
16:35:57 (mem: N/A)
16:35:57 Total structured size: 242025 (mem: N/A)
16:35:57 allocating polynomials object in proving key... (mem: N/A)
16:35:57 populating trace... (mem: N/A)
16:35:57 time to construct proving key: 64 ms. (mem: N/A)
16:35:57 getting honk vk... precomputed?: 0x3a24a00 (mem: N/A)
16:35:57 computing folding proof (mem: N/A)
16:35:58 oink prover on each incomplete key (mem: N/A)
16:35:58 perturbator round (mem: N/A)
16:35:59 combiner quotient round (mem: N/A)
16:35:59 folded (mem: N/A)
16:35:59 constructed folding proof (mem: N/A)
16:35:59 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: N/A)
16:35:59 Constructing DeciderProvingKey (mem: N/A)
16:35:59 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:35:59 goblin ecc op : 4/1024 (mem: N/A)
16:35:59 busread : 743/6000 (mem: N/A)
16:35:59 lookups : 2/15000 (mem: N/A)
16:35:59 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:35:59 arithmetic : 3248/56000 (mem: N/A)
16:35:59 delta range : 1767/18000 (mem: N/A)
16:35:59 elliptic : 2/6000 (mem: N/A)
16:35:59 auxiliary : 26/26000 (mem: N/A)
16:35:59 poseidon ext : 2/17000 (mem: N/A)
16:35:59 poseidon int : 2/92000 (mem: N/A)
16:35:59 overflow : 0/0 (mem: N/A)
16:35:59 (mem: N/A)
16:35:59 Total structured size: 242025 (mem: N/A)
16:35:59 allocating polynomials object in proving key... (mem: N/A)
16:35:59 populating trace... (mem: N/A)
16:35:59 time to construct proving key: 24 ms. (mem: N/A)
16:35:59 getting honk vk... precomputed?: 0xd24a00 (mem: N/A)
16:35:59 computing folding proof (mem: N/A)
16:35:59 oink prover on each incomplete key (mem: N/A)
16:35:59 perturbator round (mem: N/A)
16:36:00 combiner quotient round (mem: N/A)
16:36:00 folded (mem: N/A)
16:36:00 constructed folding proof (mem: N/A)
16:36:00 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:36:00 Constructing DeciderProvingKey (mem: N/A)
16:36:00 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:36:00 goblin ecc op : 792/1024 (mem: N/A)
16:36:00 busread : 4185/6000 (mem: N/A)
16:36:00 lookups : 2/15000 (mem: N/A)
16:36:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:36:00 arithmetic : 43917/56000 (mem: N/A)
16:36:00 delta range : 4930/18000 (mem: N/A)
16:36:00 elliptic : 340/6000 (mem: N/A)
16:36:00 auxiliary : 1399/26000 (mem: N/A)
16:36:00 poseidon ext : 5652/17000 (mem: N/A)
16:36:00 poseidon int : 32207/92000 (mem: N/A)
16:36:00 overflow : 0/0 (mem: N/A)
16:36:00 (mem: N/A)
16:36:00 Total structured size: 242025 (mem: N/A)
16:36:00 allocating polynomials object in proving key... (mem: N/A)
16:36:00 populating trace... (mem: N/A)
16:36:00 time to construct proving key: 95 ms. (mem: N/A)
16:36:00 getting honk vk... precomputed?: 0x335f400 (mem: N/A)
16:36:00 computing folding proof (mem: N/A)
16:36:01 oink prover on each incomplete key (mem: N/A)
16:36:02 perturbator round (mem: N/A)
16:36:02 combiner quotient round (mem: N/A)
16:36:02 folded (mem: N/A)
16:36:02 constructed folding proof (mem: N/A)
16:36:02 ClientIVC: accumulating Token:transfer (mem: N/A)
16:36:02 Constructing DeciderProvingKey (mem: N/A)
16:36:03 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:36:03 goblin ecc op : 4/1024 (mem: N/A)
16:36:03 busread : 743/6000 (mem: N/A)
16:36:03 lookups : 8266/15000 (mem: N/A)
16:36:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:36:03 arithmetic : 17364/56000 (mem: N/A)
16:36:03 delta range : 3235/18000 (mem: N/A)
16:36:03 elliptic : 1314/6000 (mem: N/A)
16:36:03 auxiliary : 9441/26000 (mem: N/A)
16:36:03 poseidon ext : 442/17000 (mem: N/A)
16:36:03 poseidon int : 2510/92000 (mem: N/A)
16:36:03 overflow : 0/0 (mem: N/A)
16:36:03 (mem: N/A)
16:36:03 Total structured size: 242025 (mem: N/A)
16:36:03 allocating polynomials object in proving key... (mem: N/A)
16:36:03 populating trace... (mem: N/A)
16:36:03 time to construct proving key: 78 ms. (mem: N/A)
16:36:03 getting honk vk... precomputed?: 0x9113c0 (mem: N/A)
16:36:03 computing folding proof (mem: N/A)
16:36:03 oink prover on each incomplete key (mem: N/A)
16:36:04 perturbator round (mem: N/A)
16:36:04 combiner quotient round (mem: N/A)
16:36:04 folded (mem: N/A)
16:36:04 constructed folding proof (mem: N/A)
16:36:05 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:36:05 Constructing DeciderProvingKey (mem: N/A)
16:36:05 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:36:05 goblin ecc op : 792/1024 (mem: N/A)
16:36:05 busread : 4185/6000 (mem: N/A)
16:36:05 lookups : 2/15000 (mem: N/A)
16:36:05 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:36:05 arithmetic : 43917/56000 (mem: N/A)
16:36:05 delta range : 4930/18000 (mem: N/A)
16:36:05 elliptic : 340/6000 (mem: N/A)
16:36:05 auxiliary : 1399/26000 (mem: N/A)
16:36:05 poseidon ext : 5652/17000 (mem: N/A)
16:36:05 poseidon int : 32207/92000 (mem: N/A)
16:36:05 overflow : 0/0 (mem: N/A)
16:36:05 (mem: N/A)
16:36:05 Total structured size: 242025 (mem: N/A)
16:36:05 allocating polynomials object in proving key... (mem: N/A)
16:36:05 populating trace... (mem: N/A)
16:36:05 time to construct proving key: 97 ms. (mem: N/A)
16:36:05 getting honk vk... precomputed?: 0x2baa080 (mem: N/A)
16:36:05 computing folding proof (mem: N/A)
16:36:06 oink prover on each incomplete key (mem: N/A)
16:36:06 perturbator round (mem: N/A)
16:36:07 combiner quotient round (mem: N/A)
16:36:07 folded (mem: N/A)
16:36:07 constructed folding proof (mem: N/A)
16:36:07 ClientIVC: accumulating private_kernel_reset (mem: N/A)
16:36:07 Constructing DeciderProvingKey (mem: N/A)
16:36:07 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:36:07 goblin ecc op : 392/1024 (mem: N/A)
16:36:07 busread : 2372/6000 (mem: N/A)
16:36:07 lookups : 2/15000 (mem: N/A)
16:36:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:36:07 arithmetic : 38166/56000 (mem: N/A)
16:36:07 delta range : 4270/18000 (mem: N/A)
16:36:07 elliptic : 1274/6000 (mem: N/A)
16:36:07 auxiliary : 14240/26000 (mem: N/A)
16:36:07 poseidon ext : 6092/17000 (mem: N/A)
16:36:07 poseidon int : 34715/92000 (mem: N/A)
16:36:07 overflow : 0/0 (mem: N/A)
16:36:07 (mem: N/A)
16:36:07 Total structured size: 242025 (mem: N/A)
16:36:07 allocating polynomials object in proving key... (mem: N/A)
16:36:07 populating trace... (mem: N/A)
16:36:07 time to construct proving key: 112 ms. (mem: N/A)
16:36:07 getting honk vk... precomputed?: 0x1af8280 (mem: N/A)
16:36:07 computing folding proof (mem: N/A)
16:36:08 oink prover on each incomplete key (mem: N/A)
16:36:08 perturbator round (mem: N/A)
16:36:09 combiner quotient round (mem: N/A)
16:36:09 folded (mem: N/A)
16:36:09 constructed folding proof (mem: N/A)
16:36:09 ClientIVC: accumulating private_kernel_tail (mem: N/A)
16:36:09 Constructing DeciderProvingKey (mem: N/A)
16:36:09 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:36:09 goblin ecc op : 392/1024 (mem: N/A)
16:36:09 busread : 206/6000 (mem: N/A)
16:36:09 lookups : 2/15000 (mem: N/A)
16:36:09 pub inputs : 845/5000 (populated in decider pk constructor) (mem: N/A)
16:36:09 arithmetic : 11205/56000 (mem: N/A)
16:36:09 delta range : 2925/18000 (mem: N/A)
16:36:09 elliptic : 2/6000 (mem: N/A)
16:36:09 auxiliary : 2326/26000 (mem: N/A)
16:36:09 poseidon ext : 2532/17000 (mem: N/A)
16:36:09 poseidon int : 14423/92000 (mem: N/A)
16:36:09 overflow : 0/0 (mem: N/A)
16:36:09 (mem: N/A)
16:36:09 Total structured size: 242025 (mem: N/A)
16:36:09 allocating polynomials object in proving key... (mem: N/A)
16:36:09 populating trace... (mem: N/A)
16:36:09 time to construct proving key: 49 ms. (mem: N/A)
16:36:09 getting honk vk... precomputed?: 0x4c3dc80 (mem: N/A)
16:36:09 computing folding proof (mem: N/A)
16:36:10 oink prover on each incomplete key (mem: N/A)
16:36:10 perturbator round (mem: N/A)
16:36:11 combiner quotient round (mem: N/A)
16:36:11 folded (mem: N/A)
16:36:11 constructed folding proof (mem: N/A)
16:36:11 Largest circuit: 101131 gates. Trace details: (mem: N/A)
16:36:11 Minimum required block sizes for structured trace: (mem: N/A)
16:36:11 ecc_op : 792
16:36:11 busread : 4185
16:36:11 lookup : 8266
16:36:11 pub_inputs : 845
16:36:11 arithmetic : 43917
16:36:11 delta_range : 17435
16:36:11 elliptic : 1314
16:36:11 aux : 25394
16:36:11 poseidon2_external : 6092
16:36:11 poseidon2_internal : 34715
16:36:11 overflow : 0
16:36:11 (mem: N/A)
16:36:11 prove decider... (mem: N/A)
16:36:11 finished decider proving. (mem: N/A)
16:36:12 starting sumcheck rounds... (mem: N/A)
16:36:12 completed 18 rounds of sumcheck (mem: N/A)
16:36:13 executed multivariate-to-univariate reduction (mem: N/A)
16:36:13 computed opening proof (mem: N/A)
16:36:14 Constructing DeciderProvingKey (mem: N/A)
16:36:14 allocating polynomials object in proving key... (mem: N/A)
16:36:14 populating trace... (mem: N/A)
16:36:14 time to construct proving key: 75 ms. (mem: N/A)
16:36:15 created oink proof (mem: N/A)
16:36:15 starting sumcheck rounds... (mem: N/A)
16:36:15 completed 16 rounds of sumcheck (mem: N/A)
16:36:16 executed multivariate-to-univariate reduction (mem: N/A)
16:36:16 computed opening proof (mem: N/A)
16:36:16 Constructing a Goblin proof with num ultra ops = 3022 (mem: N/A)
16:36:16 prove eccvm... (mem: N/A)
16:36:16 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A)
16:36:16 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: N/A)
16:36:20 starting sumcheck rounds... (mem: N/A)
16:36:22 completed 16 rounds of sumcheck (mem: N/A)
16:36:25 finished eccvm proving. (mem: N/A)
16:36:25 prove translator... (mem: N/A)
16:36:28 starting sumcheck rounds... (mem: N/A)
16:36:29 completed 18 rounds of sumcheck (mem: N/A)
16:36:32 computed opening proof (mem: N/A)
16:36:32 finished translator proving. (mem: N/A)
16:36:32 Mega verified: 1 (mem: N/A)
16:36:32 eccvm sumcheck verified?: 1 (mem: N/A)
16:36:32 batch opening verified?: 1 (mem: N/A)
16:36:32 eccvm consistency check verified?: 1 (mem: N/A)
16:36:32 translation masking consistency checked?: 1 (mem: N/A)
16:36:32 merge verified?: 1 (mem: N/A)
16:36:32 eccvm verified?: 1 (mem: N/A)
16:36:32 accumulator construction_verified?: 1 (mem: N/A)
16:36:32 translation verified?: 1 (mem: N/A)
16:36:32 consistency verified?: 1 (mem: N/A)
16:36:32 Goblin verified: 1 (mem: N/A)
16:36:32 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+sponsored_fpc/wasm" (mem: N/A)
16:36:32 ecdsar1+transfer_0_recursions+sponsored_fpc (wasm) has proven in 38s and peak memory of 899MB.
16:36:32 ecdsar1+transfer_0_recursions+sponsored_fpc (wasm) has verified.