Parent Log: http://ci.aztec-labs.com/fd97516262e3c925 Command: ef85c2b8680d9e9c: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/9ba478709ce5c48099f79f9531da8292811cb18a Env: REF_NAME=gh-readonly-queue/staging/pr-15247-3863bc02d671057d0cffd4ced17ca317788ff190 CURRENT_VERSION=1.0.0 CI_FULL=1 Date: Tue Jun 24 15:16:27 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15247_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_46fb237b0d75da5c_staging 15:16:27 --- bb ivc flow bench --- 15:16:27 failed to open /proc/cpuinfo 15:16:27 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect. 15:16:28 bb command: prove (mem: N/A) 15:16:28 Scheme is: client_ivc, num threads: 8 (mem: N/A) 15:16:28 --scheme: client_ivc (mem: N/A) 15:16:28 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+sponsored_fpc/wasm (mem: N/A) 15:16:28 --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) 15:16:28 --verbose: true (mem: N/A) 15:16:29 BN254 commitment key size: 262144 (mem: N/A) 15:16:29 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A) 15:16:30 Initialized BN254 CRS from memory with num points = 262145 (mem: N/A) 15:16:30 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A) 15:16:30 Constructing DeciderProvingKey (mem: N/A) 15:16:30 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:30 goblin ecc op : 4/1024 (mem: N/A) 15:16:30 busread : 742/6000 (mem: N/A) 15:16:30 lookups : 2898/15000 (mem: N/A) 15:16:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:16:30 arithmetic : 39593/56000 (mem: N/A) 15:16:30 delta range : 17451/18000 (mem: N/A) 15:16:30 elliptic : 2/6000 (mem: N/A) 15:16:30 auxiliary : 25394/26000 (mem: N/A) 15:16:30 poseidon ext : 322/17000 (mem: N/A) 15:16:30 poseidon int : 1826/92000 (mem: N/A) 15:16:30 overflow : 0/0 (mem: N/A) 15:16:30 (mem: N/A) 15:16:30 Total structured size: 242025 (mem: N/A) 15:16:30 allocating polynomials object in proving key... (mem: N/A) 15:16:30 populating trace... (mem: N/A) 15:16:30 time to construct proving key: 148 ms. (mem: N/A) 15:16:30 getting honk vk... precomputed?: 0x770dc0 (mem: N/A) 15:16:30 computing oink proof... (mem: N/A) 15:16:30 vkey hash in Oink prover: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: N/A) 15:16:31 oink proof constructed (mem: N/A) 15:16:31 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: N/A) 15:16:31 ClientIVC: accumulating private_kernel_init (mem: N/A) 15:16:31 Constructing DeciderProvingKey (mem: N/A) 15:16:31 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:31 goblin ecc op : 56/1024 (mem: N/A) 15:16:31 busread : 2529/6000 (mem: N/A) 15:16:31 lookups : 2/15000 (mem: N/A) 15:16:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:16:31 arithmetic : 21701/56000 (mem: N/A) 15:16:31 delta range : 3034/18000 (mem: N/A) 15:16:31 elliptic : 340/6000 (mem: N/A) 15:16:31 auxiliary : 799/26000 (mem: N/A) 15:16:31 poseidon ext : 2452/17000 (mem: N/A) 15:16:31 poseidon int : 13967/92000 (mem: N/A) 15:16:31 overflow : 0/0 (mem: N/A) 15:16:31 (mem: N/A) 15:16:31 Total structured size: 242025 (mem: N/A) 15:16:31 allocating polynomials object in proving key... (mem: N/A) 15:16:31 populating trace... (mem: N/A) 15:16:31 time to construct proving key: 65 ms. (mem: N/A) 15:16:31 getting honk vk... precomputed?: 0x62fcc0 (mem: N/A) 15:16:31 computing folding proof (mem: N/A) 15:16:31 vkey hash in Oink prover: 0x000000000000000000000000000000001bd1a86328896fb6a68f0efbbf47d67e (mem: N/A) 15:16:32 oink prover on each incomplete key (mem: N/A) 15:16:32 perturbator round (mem: N/A) 15:16:33 combiner quotient round (mem: N/A) 15:16:33 folded (mem: N/A) 15:16:33 constructed folding proof (mem: N/A) 15:16:33 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: N/A) 15:16:33 Constructing DeciderProvingKey (mem: N/A) 15:16:33 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:33 goblin ecc op : 4/1024 (mem: N/A) 15:16:33 busread : 742/6000 (mem: N/A) 15:16:33 lookups : 2/15000 (mem: N/A) 15:16:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:16:33 arithmetic : 3274/56000 (mem: N/A) 15:16:33 delta range : 1785/18000 (mem: N/A) 15:16:33 elliptic : 2/6000 (mem: N/A) 15:16:33 auxiliary : 26/26000 (mem: N/A) 15:16:33 poseidon ext : 2/17000 (mem: N/A) 15:16:33 poseidon int : 2/92000 (mem: N/A) 15:16:33 overflow : 0/0 (mem: N/A) 15:16:33 (mem: N/A) 15:16:33 Total structured size: 242025 (mem: N/A) 15:16:33 allocating polynomials object in proving key... (mem: N/A) 15:16:33 populating trace... (mem: N/A) 15:16:33 time to construct proving key: 26 ms. (mem: N/A) 15:16:33 getting honk vk... precomputed?: 0x22ef600 (mem: N/A) 15:16:33 computing folding proof (mem: N/A) 15:16:33 vkey hash in Oink prover: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: N/A) 15:16:33 oink prover on each incomplete key (mem: N/A) 15:16:33 perturbator round (mem: N/A) 15:16:34 combiner quotient round (mem: N/A) 15:16:34 folded (mem: N/A) 15:16:34 constructed folding proof (mem: N/A) 15:16:34 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001bd1a86328896fb6a68f0efbbf47d67e (mem: N/A) 15:16:34 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: N/A) 15:16:34 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:16:34 Constructing DeciderProvingKey (mem: N/A) 15:16:34 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:34 goblin ecc op : 792/1024 (mem: N/A) 15:16:34 busread : 4184/6000 (mem: N/A) 15:16:34 lookups : 2/15000 (mem: N/A) 15:16:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:16:34 arithmetic : 44918/56000 (mem: N/A) 15:16:34 delta range : 5025/18000 (mem: N/A) 15:16:34 elliptic : 340/6000 (mem: N/A) 15:16:34 auxiliary : 1399/26000 (mem: N/A) 15:16:34 poseidon ext : 6542/17000 (mem: N/A) 15:16:34 poseidon int : 37280/92000 (mem: N/A) 15:16:34 overflow : 0/0 (mem: N/A) 15:16:34 (mem: N/A) 15:16:34 Total structured size: 242025 (mem: N/A) 15:16:34 allocating polynomials object in proving key... (mem: N/A) 15:16:34 populating trace... (mem: N/A) 15:16:34 time to construct proving key: 111 ms. (mem: N/A) 15:16:34 getting honk vk... precomputed?: 0x2d91780 (mem: N/A) 15:16:34 computing folding proof (mem: N/A) 15:16:34 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: N/A) 15:16:35 oink prover on each incomplete key (mem: N/A) 15:16:36 perturbator round (mem: N/A) 15:16:36 combiner quotient round (mem: N/A) 15:16:36 folded (mem: N/A) 15:16:36 constructed folding proof (mem: N/A) 15:16:37 ClientIVC: accumulating Token:transfer (mem: N/A) 15:16:37 Constructing DeciderProvingKey (mem: N/A) 15:16:37 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:37 goblin ecc op : 4/1024 (mem: N/A) 15:16:37 busread : 742/6000 (mem: N/A) 15:16:37 lookups : 2/15000 (mem: N/A) 15:16:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A) 15:16:37 arithmetic : 8562/56000 (mem: N/A) 15:16:37 delta range : 2811/18000 (mem: N/A) 15:16:37 elliptic : 646/6000 (mem: N/A) 15:16:37 auxiliary : 9221/26000 (mem: N/A) 15:16:37 poseidon ext : 462/17000 (mem: N/A) 15:16:37 poseidon int : 2624/92000 (mem: N/A) 15:16:37 overflow : 0/0 (mem: N/A) 15:16:37 (mem: N/A) 15:16:37 Total structured size: 242025 (mem: N/A) 15:16:37 allocating polynomials object in proving key... (mem: N/A) 15:16:37 populating trace... (mem: N/A) 15:16:37 time to construct proving key: 44 ms. (mem: N/A) 15:16:37 getting honk vk... precomputed?: 0x2ca7100 (mem: N/A) 15:16:37 computing folding proof (mem: N/A) 15:16:37 vkey hash in Oink prover: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: N/A) 15:16:37 oink prover on each incomplete key (mem: N/A) 15:16:38 perturbator round (mem: N/A) 15:16:38 combiner quotient round (mem: N/A) 15:16:38 folded (mem: N/A) 15:16:38 constructed folding proof (mem: N/A) 15:16:38 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: N/A) 15:16:39 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: N/A) 15:16:39 ClientIVC: accumulating private_kernel_inner (mem: N/A) 15:16:39 Constructing DeciderProvingKey (mem: N/A) 15:16:39 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:39 goblin ecc op : 792/1024 (mem: N/A) 15:16:39 busread : 4184/6000 (mem: N/A) 15:16:39 lookups : 2/15000 (mem: N/A) 15:16:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:16:39 arithmetic : 44918/56000 (mem: N/A) 15:16:39 delta range : 5025/18000 (mem: N/A) 15:16:39 elliptic : 340/6000 (mem: N/A) 15:16:39 auxiliary : 1399/26000 (mem: N/A) 15:16:39 poseidon ext : 6542/17000 (mem: N/A) 15:16:39 poseidon int : 37280/92000 (mem: N/A) 15:16:39 overflow : 0/0 (mem: N/A) 15:16:39 (mem: N/A) 15:16:39 Total structured size: 242025 (mem: N/A) 15:16:39 allocating polynomials object in proving key... (mem: N/A) 15:16:39 populating trace... (mem: N/A) 15:16:39 time to construct proving key: 106 ms. (mem: N/A) 15:16:39 getting honk vk... precomputed?: 0x626e880 (mem: N/A) 15:16:39 computing folding proof (mem: N/A) 15:16:39 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: N/A) 15:16:40 oink prover on each incomplete key (mem: N/A) 15:16:40 perturbator round (mem: N/A) 15:16:41 combiner quotient round (mem: N/A) 15:16:41 folded (mem: N/A) 15:16:41 constructed folding proof (mem: N/A) 15:16:41 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: N/A) 15:16:41 ClientIVC: accumulating private_kernel_reset (mem: N/A) 15:16:41 Constructing DeciderProvingKey (mem: N/A) 15:16:41 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:41 goblin ecc op : 392/1024 (mem: N/A) 15:16:41 busread : 2347/6000 (mem: N/A) 15:16:41 lookups : 2/15000 (mem: N/A) 15:16:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A) 15:16:41 arithmetic : 36765/56000 (mem: N/A) 15:16:41 delta range : 4306/18000 (mem: N/A) 15:16:41 elliptic : 1274/6000 (mem: N/A) 15:16:41 auxiliary : 12562/26000 (mem: N/A) 15:16:41 poseidon ext : 6542/17000 (mem: N/A) 15:16:41 poseidon int : 37280/92000 (mem: N/A) 15:16:41 overflow : 0/0 (mem: N/A) 15:16:41 (mem: N/A) 15:16:41 Total structured size: 242025 (mem: N/A) 15:16:41 allocating polynomials object in proving key... (mem: N/A) 15:16:41 populating trace... (mem: N/A) 15:16:41 time to construct proving key: 114 ms. (mem: N/A) 15:16:41 getting honk vk... precomputed?: 0x608fe40 (mem: N/A) 15:16:41 computing folding proof (mem: N/A) 15:16:41 vkey hash in Oink prover: 0x00000000000000000000000000000000381475db651ebd05cb58988eb1e00c00 (mem: N/A) 15:16:43 oink prover on each incomplete key (mem: N/A) 15:16:43 perturbator round (mem: N/A) 15:16:44 combiner quotient round (mem: N/A) 15:16:44 folded (mem: N/A) 15:16:44 constructed folding proof (mem: N/A) 15:16:44 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000381475db651ebd05cb58988eb1e00c00 (mem: N/A) 15:16:44 ClientIVC: accumulating private_kernel_tail (mem: N/A) 15:16:44 Constructing DeciderProvingKey (mem: N/A) 15:16:44 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A) 15:16:44 goblin ecc op : 392/1024 (mem: N/A) 15:16:44 busread : 206/6000 (mem: N/A) 15:16:44 lookups : 2/15000 (mem: N/A) 15:16:44 pub inputs : 836/5000 (populated in decider pk constructor) (mem: N/A) 15:16:44 arithmetic : 11689/56000 (mem: N/A) 15:16:44 delta range : 2980/18000 (mem: N/A) 15:16:44 elliptic : 2/6000 (mem: N/A) 15:16:44 auxiliary : 2290/26000 (mem: N/A) 15:16:44 poseidon ext : 2982/17000 (mem: N/A) 15:16:44 poseidon int : 16988/92000 (mem: N/A) 15:16:44 overflow : 0/0 (mem: N/A) 15:16:44 (mem: N/A) 15:16:44 Total structured size: 242025 (mem: N/A) 15:16:44 allocating polynomials object in proving key... (mem: N/A) 15:16:44 populating trace... (mem: N/A) 15:16:44 time to construct proving key: 53 ms. (mem: N/A) 15:16:44 getting honk vk... precomputed?: 0xbcf480 (mem: N/A) 15:16:44 computing folding proof (mem: N/A) 15:16:44 vkey hash in Oink prover: 0x000000000000000000000000000000009e81db2f0ad096d9bbf62cce2f61585b (mem: N/A) 15:16:45 oink prover on each incomplete key (mem: N/A) 15:16:45 perturbator round (mem: N/A) 15:16:46 combiner quotient round (mem: N/A) 15:16:46 folded (mem: N/A) 15:16:46 constructed folding proof (mem: N/A) 15:16:46 Largest circuit: 101078 gates. Trace details: (mem: N/A) 15:16:46 Minimum required block sizes for structured trace: (mem: N/A) 15:16:46 ecc_op : 792 15:16:46 busread : 4184 15:16:46 lookup : 2898 15:16:46 pub_inputs : 836 15:16:46 arithmetic : 44918 15:16:46 delta_range : 17451 15:16:46 elliptic : 1274 15:16:46 aux : 25394 15:16:46 poseidon2_external : 6542 15:16:46 poseidon2_internal : 37280 15:16:46 overflow : 0 15:16:46 (mem: N/A) 15:16:46 prove decider... (mem: N/A) 15:16:46 starting sumcheck rounds... (mem: N/A) 15:16:47 completed 18 rounds of sumcheck (mem: N/A) 15:16:48 executed multivariate-to-univariate reduction (mem: N/A) 15:16:48 computed opening proof (mem: N/A) 15:16:48 finished decider proving. (mem: N/A) 15:16:48 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000009e81db2f0ad096d9bbf62cce2f61585b (mem: N/A) 15:16:48 Constructing DeciderProvingKey (mem: N/A) 15:16:48 allocating polynomials object in proving key... (mem: N/A) 15:16:48 populating trace... (mem: N/A) 15:16:49 time to construct proving key: 89 ms. (mem: N/A) 15:16:50 vkey hash in Oink prover: 0x00000000000000000000000000000000cc7c483f2eb8f1e3ed377f76fb827701 (mem: N/A) 15:16:50 created oink proof (mem: N/A) 15:16:50 starting sumcheck rounds... (mem: N/A) 15:16:51 completed 17 rounds of sumcheck (mem: N/A) 15:16:52 executed multivariate-to-univariate reduction (mem: N/A) 15:16:52 computed opening proof (mem: N/A) 15:16:52 finished decider proving. (mem: N/A) 15:16:52 Constructing a Goblin proof with num ultra ops = 3022 (mem: N/A) 15:16:52 prove eccvm... (mem: N/A) 15:16:53 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A) 15:16:53 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: N/A) 15:16:55 starting sumcheck rounds... (mem: N/A) 15:16:59 completed 16 rounds of sumcheck (mem: N/A) 15:17:02 finished eccvm proving. (mem: N/A) 15:17:02 prove translator... (mem: N/A) 15:17:03 starting sumcheck rounds... (mem: N/A) 15:17:07 completed 18 rounds of sumcheck (mem: N/A) 15:17:09 computed opening proof (mem: N/A) 15:17:09 finished translator proving. (mem: N/A) 15:17:09 vkey hash in Oink verifier: 0x00000000000000000000000000000000cc7c483f2eb8f1e3ed377f76fb827701 (mem: N/A) 15:17:09 sumcheck_verified: 1 (mem: N/A) 15:17:09 libra_evals_verified: 1 (mem: N/A) 15:17:09 pairing_check_verified: 1 (mem: N/A) 15:17:09 Mega verified: 1 (mem: N/A) 15:17:10 eccvm sumcheck verified?: 1 (mem: N/A) 15:17:10 batch opening verified?: 1 (mem: N/A) 15:17:10 eccvm consistency check verified?: 1 (mem: N/A) 15:17:10 translation masking consistency checked?: 1 (mem: N/A) 15:17:10 merge verified?: 1 (mem: N/A) 15:17:10 eccvm verified?: 1 (mem: N/A) 15:17:10 accumulator construction_verified?: 1 (mem: N/A) 15:17:10 translation verified?: 1 (mem: N/A) 15:17:10 consistency verified?: 1 (mem: N/A) 15:17:10 Goblin verified: 1 (mem: N/A) 15:17:10 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+sponsored_fpc/wasm" (mem: N/A) 15:17:10 ecdsar1+transfer_0_recursions+sponsored_fpc (wasm) has proven in 42s and peak memory of 805MB. 15:17:10 ecdsar1+transfer_0_recursions+sponsored_fpc (wasm) has verified.