ACI ·

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