Parent Log:
http://ci.aztec-labs.com/0170fcd1d167a930
Command: 26102936e69ab88b:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh wasm ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+token_bridge_claim_private+sponsored_fpc
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/b1b65bcdbd44a49fbebe5d2265256dc9466e92be
Env: REF_NAME=gh-readonly-queue/master/pr-15044-267ac35e8ccb487bdc79bbe12d428f4c8b4d4d9f CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Fri Jun 13 16:39:16 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15044_amd64_x1-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_8ea9f64b33bcb092_master
16:39:16
--- bb ivc flow bench ---
16:39:16 failed to open /proc/cpuinfo
16:39:16 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect.
16:39:17 bb command: prove (mem: N/A)
16:39:17 Scheme is: client_ivc, num threads: 8 (mem: N/A)
16:39:17 --scheme: client_ivc (mem: N/A)
16:39:17 --output_path: bench-out/app-proving/ecdsar1+token_bridge_claim_private+sponsored_fpc/wasm (mem: N/A)
16:39:17 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+token_bridge_claim_private+sponsored_fpc/ivc-inputs.msgpack (mem: N/A)
16:39:17 --verbose: true (mem: N/A)
16:39:19 BN254 commitment key size: 262144 (mem: N/A)
16:39:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A)
16:39:19 Initialized BN254 CRS from memory with num points = 262209 (mem: N/A)
16:39:19 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A)
16:39:19 Constructing DeciderProvingKey (mem: N/A)
16:39:19 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:19 goblin ecc op : 4/1024 (mem: N/A)
16:39:19 busread : 743/6000 (mem: N/A)
16:39:19 lookups : 2898/15000 (mem: N/A)
16:39:19 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:39:19 arithmetic : 39564/56000 (mem: N/A)
16:39:19 delta range : 17435/18000 (mem: N/A)
16:39:19 elliptic : 2/6000 (mem: N/A)
16:39:19 auxiliary : 25394/26000 (mem: N/A)
16:39:19 poseidon ext : 322/17000 (mem: N/A)
16:39:19 poseidon int : 1826/92000 (mem: N/A)
16:39:19 overflow : 0/0 (mem: N/A)
16:39:19 (mem: N/A)
16:39:19 Total structured size: 242025 (mem: N/A)
16:39:19 allocating polynomials object in proving key... (mem: N/A)
16:39:19 populating trace... (mem: N/A)
16:39:19 time to construct proving key: 155 ms. (mem: N/A)
16:39:19 getting honk vk... precomputed?: 0x3ba7680 (mem: N/A)
16:39:19 computing oink proof... (mem: N/A)
16:39:20 oink proof constructed (mem: N/A)
16:39:20 ClientIVC: accumulating private_kernel_init (mem: N/A)
16:39:20 Constructing DeciderProvingKey (mem: N/A)
16:39:20 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:20 goblin ecc op : 56/1024 (mem: N/A)
16:39:20 busread : 2530/6000 (mem: N/A)
16:39:20 lookups : 2/15000 (mem: N/A)
16:39:20 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:39:20 arithmetic : 21193/56000 (mem: N/A)
16:39:20 delta range : 2974/18000 (mem: N/A)
16:39:20 elliptic : 340/6000 (mem: N/A)
16:39:20 auxiliary : 799/26000 (mem: N/A)
16:39:20 poseidon ext : 2012/17000 (mem: N/A)
16:39:20 poseidon int : 11459/92000 (mem: N/A)
16:39:20 overflow : 0/0 (mem: N/A)
16:39:20 (mem: N/A)
16:39:20 Total structured size: 242025 (mem: N/A)
16:39:20 allocating polynomials object in proving key... (mem: N/A)
16:39:20 populating trace... (mem: N/A)
16:39:20 time to construct proving key: 72 ms. (mem: N/A)
16:39:20 getting honk vk... precomputed?: 0xe3c940 (mem: N/A)
16:39:20 computing folding proof (mem: N/A)
16:39:21 oink prover on each incomplete key (mem: N/A)
16:39:21 perturbator round (mem: N/A)
16:39:22 combiner quotient round (mem: N/A)
16:39:22 folded (mem: N/A)
16:39:22 constructed folding proof (mem: N/A)
16:39:22 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: N/A)
16:39:22 Constructing DeciderProvingKey (mem: N/A)
16:39:22 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:22 goblin ecc op : 4/1024 (mem: N/A)
16:39:22 busread : 743/6000 (mem: N/A)
16:39:22 lookups : 2/15000 (mem: N/A)
16:39:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:39:22 arithmetic : 3248/56000 (mem: N/A)
16:39:22 delta range : 1767/18000 (mem: N/A)
16:39:22 elliptic : 2/6000 (mem: N/A)
16:39:22 auxiliary : 26/26000 (mem: N/A)
16:39:22 poseidon ext : 2/17000 (mem: N/A)
16:39:22 poseidon int : 2/92000 (mem: N/A)
16:39:22 overflow : 0/0 (mem: N/A)
16:39:22 (mem: N/A)
16:39:22 Total structured size: 242025 (mem: N/A)
16:39:22 allocating polynomials object in proving key... (mem: N/A)
16:39:22 populating trace... (mem: N/A)
16:39:22 time to construct proving key: 24 ms. (mem: N/A)
16:39:22 getting honk vk... precomputed?: 0x66d500 (mem: N/A)
16:39:22 computing folding proof (mem: N/A)
16:39:22 oink prover on each incomplete key (mem: N/A)
16:39:22 perturbator round (mem: N/A)
16:39:23 combiner quotient round (mem: N/A)
16:39:23 folded (mem: N/A)
16:39:23 constructed folding proof (mem: N/A)
16:39:23 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:39:23 Constructing DeciderProvingKey (mem: N/A)
16:39:23 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:23 goblin ecc op : 792/1024 (mem: N/A)
16:39:23 busread : 4185/6000 (mem: N/A)
16:39:23 lookups : 2/15000 (mem: N/A)
16:39:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:39:23 arithmetic : 43917/56000 (mem: N/A)
16:39:23 delta range : 4930/18000 (mem: N/A)
16:39:23 elliptic : 340/6000 (mem: N/A)
16:39:23 auxiliary : 1399/26000 (mem: N/A)
16:39:23 poseidon ext : 5652/17000 (mem: N/A)
16:39:23 poseidon int : 32207/92000 (mem: N/A)
16:39:23 overflow : 0/0 (mem: N/A)
16:39:23 (mem: N/A)
16:39:23 Total structured size: 242025 (mem: N/A)
16:39:23 allocating polynomials object in proving key... (mem: N/A)
16:39:23 populating trace... (mem: N/A)
16:39:23 time to construct proving key: 109 ms. (mem: N/A)
16:39:23 getting honk vk... precomputed?: 0x900300 (mem: N/A)
16:39:23 computing folding proof (mem: N/A)
16:39:24 oink prover on each incomplete key (mem: N/A)
16:39:25 perturbator round (mem: N/A)
16:39:25 combiner quotient round (mem: N/A)
16:39:25 folded (mem: N/A)
16:39:25 constructed folding proof (mem: N/A)
16:39:26 ClientIVC: accumulating TokenBridge:claim_private (mem: N/A)
16:39:26 Constructing DeciderProvingKey (mem: N/A)
16:39:26 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:26 goblin ecc op : 4/1024 (mem: N/A)
16:39:26 busread : 743/6000 (mem: N/A)
16:39:26 lookups : 14482/15000 (mem: N/A)
16:39:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:39:26 arithmetic : 13717/56000 (mem: N/A)
16:39:26 delta range : 2595/18000 (mem: N/A)
16:39:26 elliptic : 2/6000 (mem: N/A)
16:39:26 auxiliary : 26/26000 (mem: N/A)
16:39:26 poseidon ext : 892/17000 (mem: N/A)
16:39:26 poseidon int : 5075/92000 (mem: N/A)
16:39:26 overflow : 0/0 (mem: N/A)
16:39:26 (mem: N/A)
16:39:26 Total structured size: 242025 (mem: N/A)
16:39:26 allocating polynomials object in proving key... (mem: N/A)
16:39:26 populating trace... (mem: N/A)
16:39:26 time to construct proving key: 72 ms. (mem: N/A)
16:39:26 getting honk vk... precomputed?: 0xff3800 (mem: N/A)
16:39:26 computing folding proof (mem: N/A)
16:39:26 oink prover on each incomplete key (mem: N/A)
16:39:27 perturbator round (mem: N/A)
16:39:27 combiner quotient round (mem: N/A)
16:39:27 folded (mem: N/A)
16:39:27 constructed folding proof (mem: N/A)
16:39:28 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:39:28 Constructing DeciderProvingKey (mem: N/A)
16:39:28 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:28 goblin ecc op : 792/1024 (mem: N/A)
16:39:28 busread : 4185/6000 (mem: N/A)
16:39:28 lookups : 2/15000 (mem: N/A)
16:39:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:39:28 arithmetic : 43917/56000 (mem: N/A)
16:39:28 delta range : 4930/18000 (mem: N/A)
16:39:28 elliptic : 340/6000 (mem: N/A)
16:39:28 auxiliary : 1399/26000 (mem: N/A)
16:39:28 poseidon ext : 5652/17000 (mem: N/A)
16:39:28 poseidon int : 32207/92000 (mem: N/A)
16:39:28 overflow : 0/0 (mem: N/A)
16:39:28 (mem: N/A)
16:39:28 Total structured size: 242025 (mem: N/A)
16:39:28 allocating polynomials object in proving key... (mem: N/A)
16:39:28 populating trace... (mem: N/A)
16:39:28 time to construct proving key: 107 ms. (mem: N/A)
16:39:28 getting honk vk... precomputed?: 0x3c7fc40 (mem: N/A)
16:39:28 computing folding proof (mem: N/A)
16:39:29 oink prover on each incomplete key (mem: N/A)
16:39:29 perturbator round (mem: N/A)
16:39:30 combiner quotient round (mem: N/A)
16:39:30 folded (mem: N/A)
16:39:30 constructed folding proof (mem: N/A)
16:39:30 ClientIVC: accumulating Token:mint_to_private (mem: N/A)
16:39:30 Constructing DeciderProvingKey (mem: N/A)
16:39:30 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:30 goblin ecc op : 4/1024 (mem: N/A)
16:39:30 busread : 743/6000 (mem: N/A)
16:39:30 lookups : 9354/15000 (mem: N/A)
16:39:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
16:39:30 arithmetic : 13562/56000 (mem: N/A)
16:39:30 delta range : 2265/18000 (mem: N/A)
16:39:30 elliptic : 670/6000 (mem: N/A)
16:39:30 auxiliary : 543/26000 (mem: N/A)
16:39:30 poseidon ext : 82/17000 (mem: N/A)
16:39:30 poseidon int : 458/92000 (mem: N/A)
16:39:30 overflow : 0/0 (mem: N/A)
16:39:30 (mem: N/A)
16:39:30 Total structured size: 242025 (mem: N/A)
16:39:30 allocating polynomials object in proving key... (mem: N/A)
16:39:30 populating trace... (mem: N/A)
16:39:30 time to construct proving key: 72 ms. (mem: N/A)
16:39:30 getting honk vk... precomputed?: 0xff4040 (mem: N/A)
16:39:30 computing folding proof (mem: N/A)
16:39:31 oink prover on each incomplete key (mem: N/A)
16:39:31 perturbator round (mem: N/A)
16:39:32 combiner quotient round (mem: N/A)
16:39:32 folded (mem: N/A)
16:39:32 constructed folding proof (mem: N/A)
16:39:32 ClientIVC: accumulating private_kernel_inner (mem: N/A)
16:39:32 Constructing DeciderProvingKey (mem: N/A)
16:39:32 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:32 goblin ecc op : 792/1024 (mem: N/A)
16:39:32 busread : 4185/6000 (mem: N/A)
16:39:32 lookups : 2/15000 (mem: N/A)
16:39:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:39:32 arithmetic : 43917/56000 (mem: N/A)
16:39:32 delta range : 4930/18000 (mem: N/A)
16:39:32 elliptic : 340/6000 (mem: N/A)
16:39:32 auxiliary : 1399/26000 (mem: N/A)
16:39:32 poseidon ext : 5652/17000 (mem: N/A)
16:39:32 poseidon int : 32207/92000 (mem: N/A)
16:39:32 overflow : 0/0 (mem: N/A)
16:39:32 (mem: N/A)
16:39:32 Total structured size: 242025 (mem: N/A)
16:39:32 allocating polynomials object in proving key... (mem: N/A)
16:39:32 populating trace... (mem: N/A)
16:39:32 time to construct proving key: 99 ms. (mem: N/A)
16:39:32 getting honk vk... precomputed?: 0x75cc580 (mem: N/A)
16:39:32 computing folding proof (mem: N/A)
16:39:33 oink prover on each incomplete key (mem: N/A)
16:39:33 perturbator round (mem: N/A)
16:39:34 combiner quotient round (mem: N/A)
16:39:34 folded (mem: N/A)
16:39:34 constructed folding proof (mem: N/A)
16:39:34 ClientIVC: accumulating private_kernel_reset (mem: N/A)
16:39:34 Constructing DeciderProvingKey (mem: N/A)
16:39:34 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:34 goblin ecc op : 392/1024 (mem: N/A)
16:39:34 busread : 2372/6000 (mem: N/A)
16:39:34 lookups : 2/15000 (mem: N/A)
16:39:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
16:39:34 arithmetic : 38166/56000 (mem: N/A)
16:39:34 delta range : 4270/18000 (mem: N/A)
16:39:34 elliptic : 1274/6000 (mem: N/A)
16:39:34 auxiliary : 14240/26000 (mem: N/A)
16:39:34 poseidon ext : 6092/17000 (mem: N/A)
16:39:34 poseidon int : 34715/92000 (mem: N/A)
16:39:34 overflow : 0/0 (mem: N/A)
16:39:34 (mem: N/A)
16:39:34 Total structured size: 242025 (mem: N/A)
16:39:34 allocating polynomials object in proving key... (mem: N/A)
16:39:34 populating trace... (mem: N/A)
16:39:35 time to construct proving key: 127 ms. (mem: N/A)
16:39:35 getting honk vk... precomputed?: 0x155ddc0 (mem: N/A)
16:39:35 computing folding proof (mem: N/A)
16:39:35 oink prover on each incomplete key (mem: N/A)
16:39:36 perturbator round (mem: N/A)
16:39:36 combiner quotient round (mem: N/A)
16:39:37 folded (mem: N/A)
16:39:37 constructed folding proof (mem: N/A)
16:39:37 ClientIVC: accumulating private_kernel_tail (mem: N/A)
16:39:37 Constructing DeciderProvingKey (mem: N/A)
16:39:37 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
16:39:37 goblin ecc op : 392/1024 (mem: N/A)
16:39:37 busread : 222/6000 (mem: N/A)
16:39:37 lookups : 2/15000 (mem: N/A)
16:39:37 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: N/A)
16:39:37 arithmetic : 21298/56000 (mem: N/A)
16:39:37 delta range : 3622/18000 (mem: N/A)
16:39:37 elliptic : 2/6000 (mem: N/A)
16:39:37 auxiliary : 7134/26000 (mem: N/A)
16:39:37 poseidon ext : 2532/17000 (mem: N/A)
16:39:37 poseidon int : 14423/92000 (mem: N/A)
16:39:37 overflow : 0/0 (mem: N/A)
16:39:37 (mem: N/A)
16:39:37 Total structured size: 242025 (mem: N/A)
16:39:37 allocating polynomials object in proving key... (mem: N/A)
16:39:37 populating trace... (mem: N/A)
16:39:37 time to construct proving key: 84 ms. (mem: N/A)
16:39:37 getting honk vk... precomputed?: 0x16fe600 (mem: N/A)
16:39:37 computing folding proof (mem: N/A)
16:39:37 oink prover on each incomplete key (mem: N/A)
16:39:38 perturbator round (mem: N/A)
16:39:39 combiner quotient round (mem: N/A)
16:39:39 folded (mem: N/A)
16:39:39 constructed folding proof (mem: N/A)
16:39:39 Largest circuit: 101131 gates. Trace details: (mem: N/A)
16:39:39 Minimum required block sizes for structured trace: (mem: N/A)
16:39:39 ecc_op : 792
16:39:39 busread : 4185
16:39:39 lookup : 14482
16:39:39 pub_inputs : 1876
16:39:39 arithmetic : 43917
16:39:39 delta_range : 17435
16:39:39 elliptic : 1274
16:39:39 aux : 25394
16:39:39 poseidon2_external : 6092
16:39:39 poseidon2_internal : 34715
16:39:39 overflow : 0
16:39:39 (mem: N/A)
16:39:39 prove decider... (mem: N/A)
16:39:39 finished decider proving. (mem: N/A)
16:39:39 starting sumcheck rounds... (mem: N/A)
16:39:40 completed 18 rounds of sumcheck (mem: N/A)
16:39:40 executed multivariate-to-univariate reduction (mem: N/A)
16:39:41 computed opening proof (mem: N/A)
16:39:41 Constructing DeciderProvingKey (mem: N/A)
16:39:41 allocating polynomials object in proving key... (mem: N/A)
16:39:41 populating trace... (mem: N/A)
16:39:41 time to construct proving key: 128 ms. (mem: N/A)
16:39:43 created oink proof (mem: N/A)
16:39:43 starting sumcheck rounds... (mem: N/A)
16:39:44 completed 17 rounds of sumcheck (mem: N/A)
16:39:44 executed multivariate-to-univariate reduction (mem: N/A)
16:39:45 computed opening proof (mem: N/A)
16:39:45 Constructing a Goblin proof with num ultra ops = 3818 (mem: N/A)
16:39:45 prove eccvm... (mem: N/A)
16:39:45 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A)
16:39:45 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: N/A)
16:39:49 starting sumcheck rounds... (mem: N/A)
16:39:51 completed 16 rounds of sumcheck (mem: N/A)
16:39:54 finished eccvm proving. (mem: N/A)
16:39:54 prove translator... (mem: N/A)
16:39:57 starting sumcheck rounds... (mem: N/A)
16:39:59 completed 18 rounds of sumcheck (mem: N/A)
16:40:01 computed opening proof (mem: N/A)
16:40:01 finished translator proving. (mem: N/A)
16:40:01 Mega verified: 1 (mem: N/A)
16:40:01 eccvm sumcheck verified?: 1 (mem: N/A)
16:40:01 batch opening verified?: 1 (mem: N/A)
16:40:01 eccvm consistency check verified?: 1 (mem: N/A)
16:40:01 translation masking consistency checked?: 1 (mem: N/A)
16:40:01 merge verified?: 1 (mem: N/A)
16:40:01 eccvm verified?: 1 (mem: N/A)
16:40:01 accumulator construction_verified?: 1 (mem: N/A)
16:40:01 translation verified?: 1 (mem: N/A)
16:40:01 consistency verified?: 1 (mem: N/A)
16:40:01 Goblin verified: 1 (mem: N/A)
16:40:01 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+token_bridge_claim_private+sponsored_fpc/wasm" (mem: N/A)
16:40:01 ecdsar1+token_bridge_claim_private+sponsored_fpc (wasm) has proven in 45s and peak memory of 945MB.
16:40:02 ecdsar1+token_bridge_claim_private+sponsored_fpc (wasm) has verified.