Parent Log:
http://ci.aztec-labs.com/23cfac97d17cfa2c
Command: 21081b81c02e2d2a:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../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/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:50 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15074_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_be7e64e8cceb2e78_master
16:35:50
--- bb ivc flow bench ---
16:35:50 bb command: prove (mem: 7.00 MiB)
16:35:50 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB)
16:35:50 --scheme: client_ivc (mem: 7.00 MiB)
16:35:50 --output_path: bench-out/app-proving/ecdsar1+token_bridge_claim_private+sponsored_fpc/native (mem: 7.00 MiB)
16:35:50 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+token_bridge_claim_private+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB)
16:35:50 --verbose: true (mem: 7.00 MiB)
16:35:51 BN254 commitment key size: 262144 (mem: 148.89 MiB)
16:35:51 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 232.71 MiB)
16:35:51 Initialized BN254 CRS from memory with num points = 262209 (mem: 296.71 MiB)
16:35:51 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 296.71 MiB)
16:35:51 Constructing DeciderProvingKey (mem: 296.71 MiB)
16:35:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 301.77 MiB)
16:35:51 goblin ecc op : 4/1024 (mem: 301.77 MiB)
16:35:51 busread : 743/6000 (mem: 301.77 MiB)
16:35:51 lookups : 2898/15000 (mem: 301.77 MiB)
16:35:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 301.77 MiB)
16:35:51 arithmetic : 39564/56000 (mem: 301.77 MiB)
16:35:51 delta range : 17435/18000 (mem: 301.77 MiB)
16:35:51 elliptic : 2/6000 (mem: 301.77 MiB)
16:35:51 auxiliary : 25394/26000 (mem: 301.77 MiB)
16:35:51 poseidon ext : 322/17000 (mem: 301.77 MiB)
16:35:51 poseidon int : 1826/92000 (mem: 301.77 MiB)
16:35:51 overflow : 0/0 (mem: 301.77 MiB)
16:35:51 (mem: 301.77 MiB)
16:35:51 Total structured size: 242025 (mem: 301.77 MiB)
16:35:51 allocating polynomials object in proving key... (mem: 302.77 MiB)
16:35:51 populating trace... (mem: 522.77 MiB)
16:35:51 time to construct proving key: 85 ms. (mem: 544.77 MiB)
16:35:51 getting honk vk... precomputed?: 0x5da393641080 (mem: 544.77 MiB)
16:35:51 computing oink proof... (mem: 544.77 MiB)
16:35:51 oink proof constructed (mem: 556.77 MiB)
16:35:51 ClientIVC: accumulating private_kernel_init (mem: 556.77 MiB)
16:35:51 Constructing DeciderProvingKey (mem: 556.77 MiB)
16:35:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 556.77 MiB)
16:35:51 goblin ecc op : 56/1024 (mem: 556.77 MiB)
16:35:51 busread : 2530/6000 (mem: 556.77 MiB)
16:35:51 lookups : 2/15000 (mem: 556.77 MiB)
16:35:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 556.77 MiB)
16:35:51 arithmetic : 21193/56000 (mem: 556.77 MiB)
16:35:51 delta range : 2974/18000 (mem: 556.77 MiB)
16:35:51 elliptic : 340/6000 (mem: 556.77 MiB)
16:35:51 auxiliary : 799/26000 (mem: 556.77 MiB)
16:35:51 poseidon ext : 2012/17000 (mem: 556.77 MiB)
16:35:51 poseidon int : 11459/92000 (mem: 556.77 MiB)
16:35:51 overflow : 0/0 (mem: 556.77 MiB)
16:35:51 (mem: 556.77 MiB)
16:35:51 Total structured size: 242025 (mem: 556.77 MiB)
16:35:51 allocating polynomials object in proving key... (mem: 556.77 MiB)
16:35:51 populating trace... (mem: 722.77 MiB)
16:35:51 time to construct proving key: 34 ms. (mem: 739.77 MiB)
16:35:51 getting honk vk... precomputed?: 0x5da3937a8140 (mem: 739.77 MiB)
16:35:51 computing folding proof (mem: 739.77 MiB)
16:35:52 oink prover on each incomplete key (mem: 739.77 MiB)
16:35:52 perturbator round (mem: 768.77 MiB)
16:35:52 combiner quotient round (mem: 800.77 MiB)
16:35:52 folded (mem: 800.77 MiB)
16:35:52 constructed folding proof (mem: 800.77 MiB)
16:35:52 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 800.77 MiB)
16:35:52 Constructing DeciderProvingKey (mem: 800.77 MiB)
16:35:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 800.77 MiB)
16:35:52 goblin ecc op : 4/1024 (mem: 800.77 MiB)
16:35:52 busread : 743/6000 (mem: 800.77 MiB)
16:35:52 lookups : 2/15000 (mem: 800.77 MiB)
16:35:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 800.77 MiB)
16:35:52 arithmetic : 3248/56000 (mem: 800.77 MiB)
16:35:52 delta range : 1767/18000 (mem: 800.77 MiB)
16:35:52 elliptic : 2/6000 (mem: 800.77 MiB)
16:35:52 auxiliary : 26/26000 (mem: 800.77 MiB)
16:35:52 poseidon ext : 2/17000 (mem: 800.77 MiB)
16:35:52 poseidon int : 2/92000 (mem: 800.77 MiB)
16:35:52 overflow : 0/0 (mem: 800.77 MiB)
16:35:52 (mem: 800.77 MiB)
16:35:52 Total structured size: 242025 (mem: 800.77 MiB)
16:35:52 allocating polynomials object in proving key... (mem: 800.77 MiB)
16:35:52 populating trace... (mem: 800.77 MiB)
16:35:52 time to construct proving key: 16 ms. (mem: 800.77 MiB)
16:35:52 getting honk vk... precomputed?: 0x5da3920bdf40 (mem: 800.77 MiB)
16:35:52 computing folding proof (mem: 800.77 MiB)
16:35:52 oink prover on each incomplete key (mem: 800.77 MiB)
16:35:52 perturbator round (mem: 800.77 MiB)
16:35:52 combiner quotient round (mem: 801.43 MiB)
16:35:52 folded (mem: 801.43 MiB)
16:35:52 constructed folding proof (mem: 801.43 MiB)
16:35:52 ClientIVC: accumulating private_kernel_inner (mem: 801.43 MiB)
16:35:52 Constructing DeciderProvingKey (mem: 801.43 MiB)
16:35:52 Gate blocks summary: (actual gates / fixed capacity) (mem: 801.43 MiB)
16:35:52 goblin ecc op : 792/1024 (mem: 801.43 MiB)
16:35:52 busread : 4185/6000 (mem: 801.43 MiB)
16:35:52 lookups : 2/15000 (mem: 801.43 MiB)
16:35:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 801.43 MiB)
16:35:52 arithmetic : 43917/56000 (mem: 801.43 MiB)
16:35:52 delta range : 4930/18000 (mem: 801.43 MiB)
16:35:52 elliptic : 340/6000 (mem: 801.43 MiB)
16:35:52 auxiliary : 1399/26000 (mem: 801.43 MiB)
16:35:52 poseidon ext : 5652/17000 (mem: 801.43 MiB)
16:35:52 poseidon int : 32207/92000 (mem: 801.43 MiB)
16:35:52 overflow : 0/0 (mem: 801.43 MiB)
16:35:52 (mem: 801.43 MiB)
16:35:52 Total structured size: 242025 (mem: 801.43 MiB)
16:35:52 allocating polynomials object in proving key... (mem: 801.43 MiB)
16:35:52 populating trace... (mem: 801.43 MiB)
16:35:52 time to construct proving key: 45 ms. (mem: 801.43 MiB)
16:35:53 getting honk vk... precomputed?: 0x5da3946b49c0 (mem: 801.43 MiB)
16:35:53 computing folding proof (mem: 801.43 MiB)
16:35:53 oink prover on each incomplete key (mem: 801.43 MiB)
16:35:53 perturbator round (mem: 805.42 MiB)
16:35:53 combiner quotient round (mem: 837.42 MiB)
16:35:53 folded (mem: 837.42 MiB)
16:35:53 constructed folding proof (mem: 837.42 MiB)
16:35:53 ClientIVC: accumulating TokenBridge:claim_private (mem: 837.42 MiB)
16:35:53 Constructing DeciderProvingKey (mem: 837.42 MiB)
16:35:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 837.42 MiB)
16:35:53 goblin ecc op : 4/1024 (mem: 837.42 MiB)
16:35:53 busread : 743/6000 (mem: 837.42 MiB)
16:35:53 lookups : 14482/15000 (mem: 837.42 MiB)
16:35:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 837.42 MiB)
16:35:53 arithmetic : 13717/56000 (mem: 837.42 MiB)
16:35:53 delta range : 2595/18000 (mem: 837.42 MiB)
16:35:53 elliptic : 2/6000 (mem: 837.42 MiB)
16:35:53 auxiliary : 26/26000 (mem: 837.42 MiB)
16:35:53 poseidon ext : 892/17000 (mem: 837.42 MiB)
16:35:53 poseidon int : 5075/92000 (mem: 837.42 MiB)
16:35:53 overflow : 0/0 (mem: 837.42 MiB)
16:35:53 (mem: 837.42 MiB)
16:35:53 Total structured size: 242025 (mem: 837.42 MiB)
16:35:53 allocating polynomials object in proving key... (mem: 837.42 MiB)
16:35:53 populating trace... (mem: 837.42 MiB)
16:35:53 time to construct proving key: 33 ms. (mem: 837.42 MiB)
16:35:53 getting honk vk... precomputed?: 0x5da39296ef40 (mem: 837.42 MiB)
16:35:53 computing folding proof (mem: 837.42 MiB)
16:35:54 oink prover on each incomplete key (mem: 837.42 MiB)
16:35:54 perturbator round (mem: 837.42 MiB)
16:35:54 combiner quotient round (mem: 844.58 MiB)
16:35:54 folded (mem: 844.58 MiB)
16:35:54 constructed folding proof (mem: 844.58 MiB)
16:35:54 ClientIVC: accumulating private_kernel_inner (mem: 844.58 MiB)
16:35:54 Constructing DeciderProvingKey (mem: 844.58 MiB)
16:35:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 844.58 MiB)
16:35:54 goblin ecc op : 792/1024 (mem: 844.58 MiB)
16:35:54 busread : 4185/6000 (mem: 844.58 MiB)
16:35:54 lookups : 2/15000 (mem: 844.58 MiB)
16:35:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 844.58 MiB)
16:35:54 arithmetic : 43917/56000 (mem: 844.58 MiB)
16:35:54 delta range : 4930/18000 (mem: 844.58 MiB)
16:35:54 elliptic : 340/6000 (mem: 844.58 MiB)
16:35:54 auxiliary : 1399/26000 (mem: 844.58 MiB)
16:35:54 poseidon ext : 5652/17000 (mem: 844.58 MiB)
16:35:54 poseidon int : 32207/92000 (mem: 844.58 MiB)
16:35:54 overflow : 0/0 (mem: 844.58 MiB)
16:35:54 (mem: 844.58 MiB)
16:35:54 Total structured size: 242025 (mem: 844.58 MiB)
16:35:54 allocating polynomials object in proving key... (mem: 844.58 MiB)
16:35:54 populating trace... (mem: 844.58 MiB)
16:35:54 time to construct proving key: 46 ms. (mem: 844.58 MiB)
16:35:54 getting honk vk... precomputed?: 0x5da394117980 (mem: 844.58 MiB)
16:35:54 computing folding proof (mem: 844.58 MiB)
16:35:55 oink prover on each incomplete key (mem: 844.58 MiB)
16:35:55 perturbator round (mem: 844.58 MiB)
16:35:55 combiner quotient round (mem: 845.86 MiB)
16:35:55 folded (mem: 845.86 MiB)
16:35:55 constructed folding proof (mem: 845.86 MiB)
16:35:55 ClientIVC: accumulating Token:mint_to_private (mem: 845.86 MiB)
16:35:55 Constructing DeciderProvingKey (mem: 845.86 MiB)
16:35:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 845.86 MiB)
16:35:55 goblin ecc op : 4/1024 (mem: 845.86 MiB)
16:35:55 busread : 743/6000 (mem: 845.86 MiB)
16:35:55 lookups : 9354/15000 (mem: 845.86 MiB)
16:35:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 845.86 MiB)
16:35:55 arithmetic : 13562/56000 (mem: 845.86 MiB)
16:35:55 delta range : 2265/18000 (mem: 845.86 MiB)
16:35:55 elliptic : 670/6000 (mem: 845.86 MiB)
16:35:55 auxiliary : 543/26000 (mem: 845.86 MiB)
16:35:55 poseidon ext : 82/17000 (mem: 845.86 MiB)
16:35:55 poseidon int : 458/92000 (mem: 845.86 MiB)
16:35:55 overflow : 0/0 (mem: 845.86 MiB)
16:35:55 (mem: 845.86 MiB)
16:35:55 Total structured size: 242025 (mem: 845.86 MiB)
16:35:55 allocating polynomials object in proving key... (mem: 845.86 MiB)
16:35:55 populating trace... (mem: 845.86 MiB)
16:35:55 time to construct proving key: 37 ms. (mem: 845.86 MiB)
16:35:55 getting honk vk... precomputed?: 0x5da3946b3ec0 (mem: 845.86 MiB)
16:35:55 computing folding proof (mem: 845.86 MiB)
16:35:55 oink prover on each incomplete key (mem: 845.86 MiB)
16:35:55 perturbator round (mem: 845.86 MiB)
16:35:56 combiner quotient round (mem: 848.98 MiB)
16:35:56 folded (mem: 848.98 MiB)
16:35:56 constructed folding proof (mem: 848.98 MiB)
16:35:56 ClientIVC: accumulating private_kernel_inner (mem: 848.98 MiB)
16:35:56 Constructing DeciderProvingKey (mem: 848.98 MiB)
16:35:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 848.98 MiB)
16:35:56 goblin ecc op : 792/1024 (mem: 848.98 MiB)
16:35:56 busread : 4185/6000 (mem: 848.98 MiB)
16:35:56 lookups : 2/15000 (mem: 848.98 MiB)
16:35:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 848.98 MiB)
16:35:56 arithmetic : 43917/56000 (mem: 848.98 MiB)
16:35:56 delta range : 4930/18000 (mem: 848.98 MiB)
16:35:56 elliptic : 340/6000 (mem: 848.98 MiB)
16:35:56 auxiliary : 1399/26000 (mem: 848.98 MiB)
16:35:56 poseidon ext : 5652/17000 (mem: 848.98 MiB)
16:35:56 poseidon int : 32207/92000 (mem: 848.98 MiB)
16:35:56 overflow : 0/0 (mem: 848.98 MiB)
16:35:56 (mem: 848.98 MiB)
16:35:56 Total structured size: 242025 (mem: 848.98 MiB)
16:35:56 allocating polynomials object in proving key... (mem: 848.98 MiB)
16:35:56 populating trace... (mem: 848.98 MiB)
16:35:56 time to construct proving key: 46 ms. (mem: 848.98 MiB)
16:35:56 getting honk vk... precomputed?: 0x5da393815800 (mem: 848.98 MiB)
16:35:56 computing folding proof (mem: 848.98 MiB)
16:35:56 oink prover on each incomplete key (mem: 848.98 MiB)
16:35:56 perturbator round (mem: 848.98 MiB)
16:35:57 combiner quotient round (mem: 849.31 MiB)
16:35:57 folded (mem: 849.31 MiB)
16:35:57 constructed folding proof (mem: 849.31 MiB)
16:35:57 ClientIVC: accumulating private_kernel_reset (mem: 849.31 MiB)
16:35:57 Constructing DeciderProvingKey (mem: 849.31 MiB)
16:35:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 849.31 MiB)
16:35:57 goblin ecc op : 392/1024 (mem: 849.31 MiB)
16:35:57 busread : 2372/6000 (mem: 849.31 MiB)
16:35:57 lookups : 2/15000 (mem: 849.31 MiB)
16:35:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 849.31 MiB)
16:35:57 arithmetic : 38166/56000 (mem: 849.31 MiB)
16:35:57 delta range : 4270/18000 (mem: 849.31 MiB)
16:35:57 elliptic : 1274/6000 (mem: 849.31 MiB)
16:35:57 auxiliary : 14240/26000 (mem: 849.31 MiB)
16:35:57 poseidon ext : 6092/17000 (mem: 849.31 MiB)
16:35:57 poseidon int : 34715/92000 (mem: 849.31 MiB)
16:35:57 overflow : 0/0 (mem: 849.31 MiB)
16:35:57 (mem: 849.31 MiB)
16:35:57 Total structured size: 242025 (mem: 849.31 MiB)
16:35:57 allocating polynomials object in proving key... (mem: 849.31 MiB)
16:35:57 populating trace... (mem: 849.31 MiB)
16:35:57 time to construct proving key: 57 ms. (mem: 849.31 MiB)
16:35:57 getting honk vk... precomputed?: 0x5da392f60ec0 (mem: 849.31 MiB)
16:35:57 computing folding proof (mem: 849.31 MiB)
16:35:57 oink prover on each incomplete key (mem: 849.31 MiB)
16:35:57 perturbator round (mem: 849.31 MiB)
16:35:57 combiner quotient round (mem: 879.10 MiB)
16:35:58 folded (mem: 879.10 MiB)
16:35:58 constructed folding proof (mem: 879.10 MiB)
16:35:58 ClientIVC: accumulating private_kernel_tail (mem: 879.10 MiB)
16:35:58 Constructing DeciderProvingKey (mem: 879.10 MiB)
16:35:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 879.10 MiB)
16:35:58 goblin ecc op : 392/1024 (mem: 879.10 MiB)
16:35:58 busread : 222/6000 (mem: 879.10 MiB)
16:35:58 lookups : 2/15000 (mem: 879.10 MiB)
16:35:58 pub inputs : 1876/5000 (populated in decider pk constructor) (mem: 879.10 MiB)
16:35:58 arithmetic : 21298/56000 (mem: 879.10 MiB)
16:35:58 delta range : 3622/18000 (mem: 879.10 MiB)
16:35:58 elliptic : 2/6000 (mem: 879.10 MiB)
16:35:58 auxiliary : 7134/26000 (mem: 879.10 MiB)
16:35:58 poseidon ext : 2532/17000 (mem: 879.10 MiB)
16:35:58 poseidon int : 14423/92000 (mem: 879.10 MiB)
16:35:58 overflow : 0/0 (mem: 879.10 MiB)
16:35:58 (mem: 879.10 MiB)
16:35:58 Total structured size: 242025 (mem: 879.10 MiB)
16:35:58 allocating polynomials object in proving key... (mem: 879.10 MiB)
16:35:58 populating trace... (mem: 879.10 MiB)
16:35:58 time to construct proving key: 33 ms. (mem: 879.10 MiB)
16:35:58 getting honk vk... precomputed?: 0x5da398a34840 (mem: 879.10 MiB)
16:35:58 computing folding proof (mem: 879.10 MiB)
16:35:58 oink prover on each incomplete key (mem: 879.10 MiB)
16:35:58 perturbator round (mem: 879.10 MiB)
16:35:58 combiner quotient round (mem: 879.10 MiB)
16:35:58 folded (mem: 879.10 MiB)
16:35:58 constructed folding proof (mem: 879.10 MiB)
16:35:58 Largest circuit: 101131 gates. Trace details: (mem: 879.10 MiB)
16:35:58 Minimum required block sizes for structured trace: (mem: 879.10 MiB)
16:35:58 ecc_op : 792
16:35:58 busread : 4185
16:35:58 lookup : 14482
16:35:58 pub_inputs : 1876
16:35:58 arithmetic : 43917
16:35:58 delta_range : 17435
16:35:58 elliptic : 1274
16:35:58 aux : 25394
16:35:58 poseidon2_external : 6092
16:35:58 poseidon2_internal : 34715
16:35:58 overflow : 0
16:35:58 (mem: 879.10 MiB)
16:35:58 prove decider... (mem: 879.10 MiB)
16:35:58 finished decider proving. (mem: 879.10 MiB)
16:35:58 starting sumcheck rounds... (mem: 879.10 MiB)
16:35:59 completed 18 rounds of sumcheck (mem: 879.10 MiB)
16:35:59 executed multivariate-to-univariate reduction (mem: 879.10 MiB)
16:35:59 computed opening proof (mem: 879.10 MiB)
16:35:59 Constructing DeciderProvingKey (mem: 879.10 MiB)
16:35:59 allocating polynomials object in proving key... (mem: 879.10 MiB)
16:35:59 populating trace... (mem: 879.10 MiB)
16:35:59 time to construct proving key: 46 ms. (mem: 879.10 MiB)
16:36:00 created oink proof (mem: 879.10 MiB)
16:36:00 starting sumcheck rounds... (mem: 879.10 MiB)
16:36:00 completed 17 rounds of sumcheck (mem: 879.10 MiB)
16:36:00 executed multivariate-to-univariate reduction (mem: 879.10 MiB)
16:36:01 computed opening proof (mem: 879.10 MiB)
16:36:01 Constructing a Goblin proof with num ultra ops = 3818 (mem: 879.10 MiB)
16:36:01 prove eccvm... (mem: 879.10 MiB)
16:36:01 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 879.10 MiB)
16:36:01 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 879.10 MiB)
16:36:02 starting sumcheck rounds... (mem: 879.10 MiB)
16:36:03 completed 16 rounds of sumcheck (mem: 879.10 MiB)
16:36:04 finished eccvm proving. (mem: 879.10 MiB)
16:36:04 prove translator... (mem: 879.10 MiB)
16:36:05 starting sumcheck rounds... (mem: 879.10 MiB)
16:36:06 completed 18 rounds of sumcheck (mem: 879.10 MiB)
16:36:07 computed opening proof (mem: 911.78 MiB)
16:36:07 finished translator proving. (mem: 911.78 MiB)
16:36:07 Mega verified: 1 (mem: 911.78 MiB)
16:36:07 eccvm sumcheck verified?: 1 (mem: 911.78 MiB)
16:36:07 batch opening verified?: 1 (mem: 911.78 MiB)
16:36:07 eccvm consistency check verified?: 1 (mem: 911.78 MiB)
16:36:07 translation masking consistency checked?: 1 (mem: 911.78 MiB)
16:36:07 merge verified?: 1 (mem: 911.78 MiB)
16:36:07 eccvm verified?: 1 (mem: 911.78 MiB)
16:36:07 accumulator construction_verified?: 1 (mem: 911.78 MiB)
16:36:07 translation verified?: 1 (mem: 911.78 MiB)
16:36:07 consistency verified?: 1 (mem: 911.78 MiB)
16:36:07 Goblin verified: 1 (mem: 911.78 MiB)
16:36:07 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+token_bridge_claim_private+sponsored_fpc/native" (mem: 911.78 MiB)
16:36:07 ecdsar1+token_bridge_claim_private+sponsored_fpc (native) has proven in 16s and peak memory of 911MB.
16:36:07 ecdsar1+token_bridge_claim_private+sponsored_fpc (native) has verified.