Parent Log:
http://ci.aztec-labs.com/4b4abfc8b6e2dd4f
Command: fb52012d377692f9:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+private_fpc
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/1e338a3fb2e2077f1feaee8b86c42644ff8a5352
Env: REF_NAME=gh-readonly-queue/next/pr-15075-fa4d5ef48c8de52059b5658bbd42e4514386f7db CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 16:57:52 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15075_amd64_x1-full
Resources: CPU_LIST=8,9,10,11,12,13,14,15 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_7525b2903c89cd0e_next
16:57:52
--- bb ivc flow bench ---
16:57:52 bb command: prove (mem: 7.00 MiB)
16:57:52 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB)
16:57:52 --scheme: client_ivc (mem: 7.00 MiB)
16:57:52 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/native (mem: 7.00 MiB)
16:57:52 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+private_fpc/ivc-inputs.msgpack (mem: 7.00 MiB)
16:57:52 --verbose: true (mem: 7.00 MiB)
16:57:53 BN254 commitment key size: 262144 (mem: 215.56 MiB)
16:57:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 289.05 MiB)
16:57:53 Initialized BN254 CRS from memory with num points = 262209 (mem: 339.05 MiB)
16:57:53 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 344.96 MiB)
16:57:53 Constructing DeciderProvingKey (mem: 344.96 MiB)
16:57:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 358.96 MiB)
16:57:53 goblin ecc op : 4/1024 (mem: 358.96 MiB)
16:57:53 busread : 742/6000 (mem: 358.96 MiB)
16:57:53 lookups : 2898/15000 (mem: 358.96 MiB)
16:57:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 358.96 MiB)
16:57:53 arithmetic : 39593/56000 (mem: 358.96 MiB)
16:57:53 delta range : 17451/18000 (mem: 358.96 MiB)
16:57:53 elliptic : 2/6000 (mem: 358.96 MiB)
16:57:53 auxiliary : 25394/26000 (mem: 358.96 MiB)
16:57:53 poseidon ext : 322/17000 (mem: 358.96 MiB)
16:57:53 poseidon int : 1826/92000 (mem: 358.96 MiB)
16:57:53 overflow : 0/0 (mem: 358.96 MiB)
16:57:53 (mem: 358.96 MiB)
16:57:53 Total structured size: 242025 (mem: 358.96 MiB)
16:57:53 allocating polynomials object in proving key... (mem: 358.96 MiB)
16:57:53 populating trace... (mem: 580.96 MiB)
16:57:53 time to construct proving key: 91 ms. (mem: 595.96 MiB)
16:57:53 getting honk vk... precomputed?: 0x6199d9aaad80 (mem: 595.96 MiB)
16:57:53 computing oink proof... (mem: 595.96 MiB)
16:57:53 vkey hash in Oink prover: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 595.96 MiB)
16:57:54 oink proof constructed (mem: 609.96 MiB)
16:57:54 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 610.96 MiB)
16:57:54 ClientIVC: accumulating private_kernel_init (mem: 610.96 MiB)
16:57:54 Constructing DeciderProvingKey (mem: 610.96 MiB)
16:57:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 610.96 MiB)
16:57:54 goblin ecc op : 56/1024 (mem: 610.96 MiB)
16:57:54 busread : 2529/6000 (mem: 610.96 MiB)
16:57:54 lookups : 2/15000 (mem: 610.96 MiB)
16:57:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 610.96 MiB)
16:57:54 arithmetic : 21649/56000 (mem: 610.96 MiB)
16:57:54 delta range : 3015/18000 (mem: 610.96 MiB)
16:57:54 elliptic : 340/6000 (mem: 610.96 MiB)
16:57:54 auxiliary : 799/26000 (mem: 610.96 MiB)
16:57:54 poseidon ext : 2432/17000 (mem: 610.96 MiB)
16:57:54 poseidon int : 13853/92000 (mem: 610.96 MiB)
16:57:54 overflow : 0/0 (mem: 610.96 MiB)
16:57:54 (mem: 610.96 MiB)
16:57:54 Total structured size: 242025 (mem: 610.96 MiB)
16:57:54 allocating polynomials object in proving key... (mem: 610.96 MiB)
16:57:54 populating trace... (mem: 777.96 MiB)
16:57:54 time to construct proving key: 38 ms. (mem: 794.96 MiB)
16:57:54 getting honk vk... precomputed?: 0x6199d9c5b880 (mem: 794.96 MiB)
16:57:54 computing folding proof (mem: 794.96 MiB)
16:57:54 vkey hash in Oink prover: 0x000000000000000000000000000000007013e1bd69b780337bd97d18f2103d7d (mem: 794.96 MiB)
16:57:54 oink prover on each incomplete key (mem: 794.96 MiB)
16:57:54 perturbator round (mem: 819.96 MiB)
16:57:54 combiner quotient round (mem: 851.96 MiB)
16:57:54 folded (mem: 851.96 MiB)
16:57:54 constructed folding proof (mem: 851.96 MiB)
16:57:54 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: 851.96 MiB)
16:57:54 Constructing DeciderProvingKey (mem: 851.96 MiB)
16:57:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 851.96 MiB)
16:57:54 goblin ecc op : 4/1024 (mem: 851.96 MiB)
16:57:54 busread : 742/6000 (mem: 851.96 MiB)
16:57:54 lookups : 2/15000 (mem: 851.96 MiB)
16:57:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 851.96 MiB)
16:57:54 arithmetic : 4299/56000 (mem: 851.96 MiB)
16:57:54 delta range : 1893/18000 (mem: 851.96 MiB)
16:57:54 elliptic : 2/6000 (mem: 851.96 MiB)
16:57:54 auxiliary : 26/26000 (mem: 851.96 MiB)
16:57:54 poseidon ext : 512/17000 (mem: 851.96 MiB)
16:57:54 poseidon int : 2909/92000 (mem: 851.96 MiB)
16:57:54 overflow : 0/0 (mem: 851.96 MiB)
16:57:54 (mem: 851.96 MiB)
16:57:54 Total structured size: 242025 (mem: 851.96 MiB)
16:57:54 allocating polynomials object in proving key... (mem: 851.96 MiB)
16:57:54 populating trace... (mem: 851.96 MiB)
16:57:54 time to construct proving key: 19 ms. (mem: 851.96 MiB)
16:57:54 getting honk vk... precomputed?: 0x6199d7a432c0 (mem: 851.96 MiB)
16:57:54 computing folding proof (mem: 851.96 MiB)
16:57:54 vkey hash in Oink prover: 0x00000000000000000000000000000000764acfc58a76fb1efa8a1f78a6fcc165 (mem: 851.96 MiB)
16:57:55 oink prover on each incomplete key (mem: 851.96 MiB)
16:57:55 perturbator round (mem: 851.96 MiB)
16:57:55 combiner quotient round (mem: 852.35 MiB)
16:57:55 folded (mem: 852.35 MiB)
16:57:55 constructed folding proof (mem: 852.35 MiB)
16:57:55 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007013e1bd69b780337bd97d18f2103d7d (mem: 852.35 MiB)
16:57:55 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000764acfc58a76fb1efa8a1f78a6fcc165 (mem: 852.35 MiB)
16:57:55 ClientIVC: accumulating private_kernel_inner (mem: 852.35 MiB)
16:57:55 Constructing DeciderProvingKey (mem: 852.35 MiB)
16:57:55 Gate blocks summary: (actual gates / fixed capacity) (mem: 852.35 MiB)
16:57:55 goblin ecc op : 792/1024 (mem: 852.35 MiB)
16:57:55 busread : 4184/6000 (mem: 852.35 MiB)
16:57:55 lookups : 2/15000 (mem: 852.35 MiB)
16:57:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 852.35 MiB)
16:57:55 arithmetic : 44790/56000 (mem: 852.35 MiB)
16:57:55 delta range : 4986/18000 (mem: 852.35 MiB)
16:57:55 elliptic : 340/6000 (mem: 852.35 MiB)
16:57:55 auxiliary : 1399/26000 (mem: 852.35 MiB)
16:57:55 poseidon ext : 6502/17000 (mem: 852.35 MiB)
16:57:55 poseidon int : 37052/92000 (mem: 852.35 MiB)
16:57:55 overflow : 0/0 (mem: 852.35 MiB)
16:57:55 (mem: 852.35 MiB)
16:57:55 Total structured size: 242025 (mem: 852.35 MiB)
16:57:55 allocating polynomials object in proving key... (mem: 852.35 MiB)
16:57:55 populating trace... (mem: 852.35 MiB)
16:57:55 time to construct proving key: 54 ms. (mem: 867.32 MiB)
16:57:55 getting honk vk... precomputed?: 0x6199da327ec0 (mem: 867.32 MiB)
16:57:55 computing folding proof (mem: 867.32 MiB)
16:57:55 vkey hash in Oink prover: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 867.32 MiB)
16:57:55 oink prover on each incomplete key (mem: 868.32 MiB)
16:57:56 perturbator round (mem: 882.32 MiB)
16:57:56 combiner quotient round (mem: 914.32 MiB)
16:57:56 folded (mem: 914.32 MiB)
16:57:56 constructed folding proof (mem: 914.32 MiB)
16:57:56 ClientIVC: accumulating Token:transfer_to_public (mem: 914.32 MiB)
16:57:56 Constructing DeciderProvingKey (mem: 914.32 MiB)
16:57:56 Gate blocks summary: (actual gates / fixed capacity) (mem: 914.32 MiB)
16:57:56 goblin ecc op : 4/1024 (mem: 914.32 MiB)
16:57:56 busread : 742/6000 (mem: 914.32 MiB)
16:57:56 lookups : 9354/15000 (mem: 914.32 MiB)
16:57:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 914.32 MiB)
16:57:56 arithmetic : 48559/56000 (mem: 914.32 MiB)
16:57:56 delta range : 6009/18000 (mem: 914.32 MiB)
16:57:56 elliptic : 5806/6000 (mem: 914.32 MiB)
16:57:56 auxiliary : 20704/26000 (mem: 914.32 MiB)
16:57:56 poseidon ext : 2842/17000 (mem: 914.32 MiB)
16:57:56 poseidon int : 16190/92000 (mem: 914.32 MiB)
16:57:56 overflow : 0/0 (mem: 914.32 MiB)
16:57:56 (mem: 914.32 MiB)
16:57:56 Total structured size: 242025 (mem: 914.32 MiB)
16:57:56 allocating polynomials object in proving key... (mem: 914.32 MiB)
16:57:56 populating trace... (mem: 914.32 MiB)
16:57:56 time to construct proving key: 69 ms. (mem: 914.32 MiB)
16:57:56 getting honk vk... precomputed?: 0x6199da0bc7c0 (mem: 914.32 MiB)
16:57:56 computing folding proof (mem: 914.32 MiB)
16:57:56 vkey hash in Oink prover: 0x00000000000000000000000000000000e2758821d741e0de3700b5c4d7a4e5be (mem: 914.32 MiB)
16:57:56 oink prover on each incomplete key (mem: 914.32 MiB)
16:57:57 perturbator round (mem: 914.32 MiB)
16:57:57 combiner quotient round (mem: 919.17 MiB)
16:57:57 folded (mem: 919.17 MiB)
16:57:57 constructed folding proof (mem: 919.17 MiB)
16:57:57 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 919.17 MiB)
16:57:57 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e2758821d741e0de3700b5c4d7a4e5be (mem: 919.17 MiB)
16:57:57 ClientIVC: accumulating private_kernel_inner (mem: 919.17 MiB)
16:57:57 Constructing DeciderProvingKey (mem: 919.17 MiB)
16:57:57 Gate blocks summary: (actual gates / fixed capacity) (mem: 919.17 MiB)
16:57:57 goblin ecc op : 792/1024 (mem: 919.17 MiB)
16:57:57 busread : 4184/6000 (mem: 919.17 MiB)
16:57:57 lookups : 2/15000 (mem: 919.17 MiB)
16:57:57 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 919.17 MiB)
16:57:57 arithmetic : 44790/56000 (mem: 919.17 MiB)
16:57:57 delta range : 4986/18000 (mem: 919.17 MiB)
16:57:57 elliptic : 340/6000 (mem: 919.17 MiB)
16:57:57 auxiliary : 1399/26000 (mem: 919.17 MiB)
16:57:57 poseidon ext : 6502/17000 (mem: 919.17 MiB)
16:57:57 poseidon int : 37052/92000 (mem: 919.17 MiB)
16:57:57 overflow : 0/0 (mem: 919.17 MiB)
16:57:57 (mem: 919.17 MiB)
16:57:57 Total structured size: 242025 (mem: 919.17 MiB)
16:57:57 allocating polynomials object in proving key... (mem: 919.17 MiB)
16:57:57 populating trace... (mem: 919.17 MiB)
16:57:57 time to construct proving key: 47 ms. (mem: 919.17 MiB)
16:57:57 getting honk vk... precomputed?: 0x6199da0bbd80 (mem: 919.17 MiB)
16:57:57 computing folding proof (mem: 919.17 MiB)
16:57:57 vkey hash in Oink prover: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 919.17 MiB)
16:57:57 oink prover on each incomplete key (mem: 919.17 MiB)
16:57:58 perturbator round (mem: 919.17 MiB)
16:57:58 combiner quotient round (mem: 919.38 MiB)
16:57:58 folded (mem: 919.38 MiB)
16:57:58 constructed folding proof (mem: 919.38 MiB)
16:57:58 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 919.38 MiB)
16:57:58 Constructing DeciderProvingKey (mem: 919.38 MiB)
16:57:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 919.38 MiB)
16:57:58 goblin ecc op : 4/1024 (mem: 919.38 MiB)
16:57:58 busread : 742/6000 (mem: 919.38 MiB)
16:57:58 lookups : 2898/15000 (mem: 919.38 MiB)
16:57:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 919.38 MiB)
16:57:58 arithmetic : 37549/56000 (mem: 919.38 MiB)
16:57:58 delta range : 17062/18000 (mem: 919.38 MiB)
16:57:58 elliptic : 2/6000 (mem: 919.38 MiB)
16:57:58 auxiliary : 21404/26000 (mem: 919.38 MiB)
16:57:58 poseidon ext : 82/17000 (mem: 919.38 MiB)
16:57:58 poseidon int : 458/92000 (mem: 919.38 MiB)
16:57:58 overflow : 0/0 (mem: 919.38 MiB)
16:57:58 (mem: 919.38 MiB)
16:57:58 Total structured size: 242025 (mem: 919.38 MiB)
16:57:58 allocating polynomials object in proving key... (mem: 919.38 MiB)
16:57:58 populating trace... (mem: 919.38 MiB)
16:57:58 time to construct proving key: 66 ms. (mem: 919.38 MiB)
16:57:58 getting honk vk... precomputed?: 0x6199dab2ecc0 (mem: 919.38 MiB)
16:57:58 computing folding proof (mem: 919.38 MiB)
16:57:58 vkey hash in Oink prover: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 919.38 MiB)
16:57:58 oink prover on each incomplete key (mem: 919.38 MiB)
16:57:58 perturbator round (mem: 919.38 MiB)
16:57:59 combiner quotient round (mem: 920.48 MiB)
16:57:59 folded (mem: 920.48 MiB)
16:57:59 constructed folding proof (mem: 920.48 MiB)
16:57:59 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 920.48 MiB)
16:57:59 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 920.48 MiB)
16:57:59 ClientIVC: accumulating private_kernel_inner (mem: 920.48 MiB)
16:57:59 Constructing DeciderProvingKey (mem: 920.48 MiB)
16:57:59 Gate blocks summary: (actual gates / fixed capacity) (mem: 920.48 MiB)
16:57:59 goblin ecc op : 792/1024 (mem: 920.48 MiB)
16:57:59 busread : 4184/6000 (mem: 920.48 MiB)
16:57:59 lookups : 2/15000 (mem: 920.48 MiB)
16:57:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 920.48 MiB)
16:57:59 arithmetic : 44790/56000 (mem: 920.48 MiB)
16:57:59 delta range : 4986/18000 (mem: 920.48 MiB)
16:57:59 elliptic : 340/6000 (mem: 920.48 MiB)
16:57:59 auxiliary : 1399/26000 (mem: 920.48 MiB)
16:57:59 poseidon ext : 6502/17000 (mem: 920.48 MiB)
16:57:59 poseidon int : 37052/92000 (mem: 920.48 MiB)
16:57:59 overflow : 0/0 (mem: 920.48 MiB)
16:57:59 (mem: 920.48 MiB)
16:57:59 Total structured size: 242025 (mem: 920.48 MiB)
16:57:59 allocating polynomials object in proving key... (mem: 920.48 MiB)
16:57:59 populating trace... (mem: 920.48 MiB)
16:57:59 time to construct proving key: 49 ms. (mem: 920.48 MiB)
16:57:59 getting honk vk... precomputed?: 0x6199dab9d640 (mem: 920.48 MiB)
16:57:59 computing folding proof (mem: 920.48 MiB)
16:57:59 vkey hash in Oink prover: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 920.48 MiB)
16:57:59 oink prover on each incomplete key (mem: 920.48 MiB)
16:57:59 perturbator round (mem: 920.48 MiB)
16:58:00 combiner quotient round (mem: 920.48 MiB)
16:58:00 folded (mem: 920.48 MiB)
16:58:00 constructed folding proof (mem: 920.48 MiB)
16:58:00 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 920.48 MiB)
16:58:00 Constructing DeciderProvingKey (mem: 920.48 MiB)
16:58:00 Gate blocks summary: (actual gates / fixed capacity) (mem: 920.48 MiB)
16:58:00 goblin ecc op : 4/1024 (mem: 920.48 MiB)
16:58:00 busread : 742/6000 (mem: 920.48 MiB)
16:58:00 lookups : 9354/15000 (mem: 920.48 MiB)
16:58:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 920.48 MiB)
16:58:00 arithmetic : 13664/56000 (mem: 920.48 MiB)
16:58:00 delta range : 2307/18000 (mem: 920.48 MiB)
16:58:00 elliptic : 670/6000 (mem: 920.48 MiB)
16:58:00 auxiliary : 543/26000 (mem: 920.48 MiB)
16:58:00 poseidon ext : 62/17000 (mem: 920.48 MiB)
16:58:00 poseidon int : 344/92000 (mem: 920.48 MiB)
16:58:00 overflow : 0/0 (mem: 920.48 MiB)
16:58:00 (mem: 920.48 MiB)
16:58:00 Total structured size: 242025 (mem: 920.48 MiB)
16:58:00 allocating polynomials object in proving key... (mem: 920.48 MiB)
16:58:00 populating trace... (mem: 920.48 MiB)
16:58:00 time to construct proving key: 35 ms. (mem: 920.48 MiB)
16:58:00 getting honk vk... precomputed?: 0x6199dbf214c0 (mem: 920.48 MiB)
16:58:00 computing folding proof (mem: 920.48 MiB)
16:58:00 vkey hash in Oink prover: 0x00000000000000000000000000000000f24676fa7a639e8967a319560ad630a0 (mem: 920.48 MiB)
16:58:00 oink prover on each incomplete key (mem: 920.48 MiB)
16:58:00 perturbator round (mem: 920.48 MiB)
16:58:01 combiner quotient round (mem: 920.48 MiB)
16:58:01 folded (mem: 920.48 MiB)
16:58:01 constructed folding proof (mem: 920.48 MiB)
16:58:01 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 920.48 MiB)
16:58:01 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f24676fa7a639e8967a319560ad630a0 (mem: 920.48 MiB)
16:58:01 ClientIVC: accumulating private_kernel_inner (mem: 920.48 MiB)
16:58:01 Constructing DeciderProvingKey (mem: 920.48 MiB)
16:58:01 Gate blocks summary: (actual gates / fixed capacity) (mem: 920.48 MiB)
16:58:01 goblin ecc op : 792/1024 (mem: 920.48 MiB)
16:58:01 busread : 4184/6000 (mem: 920.48 MiB)
16:58:01 lookups : 2/15000 (mem: 920.48 MiB)
16:58:01 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 920.48 MiB)
16:58:01 arithmetic : 44790/56000 (mem: 920.48 MiB)
16:58:01 delta range : 4986/18000 (mem: 920.48 MiB)
16:58:01 elliptic : 340/6000 (mem: 920.48 MiB)
16:58:01 auxiliary : 1399/26000 (mem: 920.48 MiB)
16:58:01 poseidon ext : 6502/17000 (mem: 920.48 MiB)
16:58:01 poseidon int : 37052/92000 (mem: 920.48 MiB)
16:58:01 overflow : 0/0 (mem: 920.48 MiB)
16:58:01 (mem: 920.48 MiB)
16:58:01 Total structured size: 242025 (mem: 920.48 MiB)
16:58:01 allocating polynomials object in proving key... (mem: 920.48 MiB)
16:58:01 populating trace... (mem: 920.48 MiB)
16:58:01 time to construct proving key: 51 ms. (mem: 920.48 MiB)
16:58:01 getting honk vk... precomputed?: 0x6199dbe290c0 (mem: 920.48 MiB)
16:58:01 computing folding proof (mem: 920.48 MiB)
16:58:01 vkey hash in Oink prover: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 920.48 MiB)
16:58:01 oink prover on each incomplete key (mem: 920.48 MiB)
16:58:01 perturbator round (mem: 920.48 MiB)
16:58:02 combiner quotient round (mem: 923.48 MiB)
16:58:02 folded (mem: 923.48 MiB)
16:58:02 constructed folding proof (mem: 923.48 MiB)
16:58:02 ClientIVC: accumulating Token:transfer (mem: 923.48 MiB)
16:58:02 Constructing DeciderProvingKey (mem: 923.48 MiB)
16:58:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 923.48 MiB)
16:58:02 goblin ecc op : 4/1024 (mem: 923.48 MiB)
16:58:02 busread : 742/6000 (mem: 923.48 MiB)
16:58:02 lookups : 2/15000 (mem: 923.48 MiB)
16:58:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 923.48 MiB)
16:58:02 arithmetic : 8562/56000 (mem: 923.48 MiB)
16:58:02 delta range : 2811/18000 (mem: 923.48 MiB)
16:58:02 elliptic : 646/6000 (mem: 923.48 MiB)
16:58:02 auxiliary : 9221/26000 (mem: 923.48 MiB)
16:58:02 poseidon ext : 462/17000 (mem: 923.48 MiB)
16:58:02 poseidon int : 2624/92000 (mem: 923.48 MiB)
16:58:02 overflow : 0/0 (mem: 923.48 MiB)
16:58:02 (mem: 923.48 MiB)
16:58:02 Total structured size: 242025 (mem: 923.48 MiB)
16:58:02 allocating polynomials object in proving key... (mem: 923.48 MiB)
16:58:02 populating trace... (mem: 923.48 MiB)
16:58:02 time to construct proving key: 26 ms. (mem: 923.48 MiB)
16:58:02 getting honk vk... precomputed?: 0x6199d8aadc80 (mem: 923.48 MiB)
16:58:02 computing folding proof (mem: 923.48 MiB)
16:58:02 vkey hash in Oink prover: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: 923.48 MiB)
16:58:02 oink prover on each incomplete key (mem: 923.48 MiB)
16:58:02 perturbator round (mem: 923.48 MiB)
16:58:02 combiner quotient round (mem: 923.48 MiB)
16:58:02 folded (mem: 923.48 MiB)
16:58:02 constructed folding proof (mem: 923.48 MiB)
16:58:02 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 923.48 MiB)
16:58:02 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: 923.48 MiB)
16:58:02 ClientIVC: accumulating private_kernel_inner (mem: 923.48 MiB)
16:58:02 Constructing DeciderProvingKey (mem: 923.48 MiB)
16:58:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 923.48 MiB)
16:58:02 goblin ecc op : 792/1024 (mem: 923.48 MiB)
16:58:02 busread : 4184/6000 (mem: 923.48 MiB)
16:58:02 lookups : 2/15000 (mem: 923.48 MiB)
16:58:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 923.48 MiB)
16:58:02 arithmetic : 44790/56000 (mem: 923.48 MiB)
16:58:02 delta range : 4986/18000 (mem: 923.48 MiB)
16:58:02 elliptic : 340/6000 (mem: 923.48 MiB)
16:58:02 auxiliary : 1399/26000 (mem: 923.48 MiB)
16:58:02 poseidon ext : 6502/17000 (mem: 923.48 MiB)
16:58:02 poseidon int : 37052/92000 (mem: 923.48 MiB)
16:58:02 overflow : 0/0 (mem: 923.48 MiB)
16:58:02 (mem: 923.48 MiB)
16:58:02 Total structured size: 242025 (mem: 923.48 MiB)
16:58:02 allocating polynomials object in proving key... (mem: 923.48 MiB)
16:58:02 populating trace... (mem: 923.48 MiB)
16:58:02 time to construct proving key: 49 ms. (mem: 923.48 MiB)
16:58:03 getting honk vk... precomputed?: 0x6199de499bc0 (mem: 923.48 MiB)
16:58:03 computing folding proof (mem: 923.48 MiB)
16:58:03 vkey hash in Oink prover: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 923.48 MiB)
16:58:03 oink prover on each incomplete key (mem: 923.48 MiB)
16:58:03 perturbator round (mem: 923.48 MiB)
16:58:03 combiner quotient round (mem: 923.73 MiB)
16:58:03 folded (mem: 923.73 MiB)
16:58:03 constructed folding proof (mem: 923.73 MiB)
16:58:03 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f931601d1208f6a189be9240638f0821 (mem: 923.73 MiB)
16:58:03 ClientIVC: accumulating private_kernel_reset (mem: 923.73 MiB)
16:58:03 Constructing DeciderProvingKey (mem: 923.73 MiB)
16:58:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 923.73 MiB)
16:58:04 goblin ecc op : 392/1024 (mem: 923.73 MiB)
16:58:04 busread : 2707/6000 (mem: 923.73 MiB)
16:58:04 lookups : 2/15000 (mem: 923.73 MiB)
16:58:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 923.73 MiB)
16:58:04 arithmetic : 53321/56000 (mem: 923.73 MiB)
16:58:04 delta range : 4859/18000 (mem: 923.73 MiB)
16:58:04 elliptic : 1274/6000 (mem: 923.73 MiB)
16:58:04 auxiliary : 16002/26000 (mem: 923.73 MiB)
16:58:04 poseidon ext : 12442/17000 (mem: 923.73 MiB)
16:58:04 poseidon int : 70910/92000 (mem: 923.73 MiB)
16:58:04 overflow : 0/0 (mem: 923.73 MiB)
16:58:04 (mem: 923.73 MiB)
16:58:04 Total structured size: 242025 (mem: 923.73 MiB)
16:58:04 allocating polynomials object in proving key... (mem: 923.73 MiB)
16:58:04 populating trace... (mem: 923.73 MiB)
16:58:04 time to construct proving key: 74 ms. (mem: 923.73 MiB)
16:58:04 getting honk vk... precomputed?: 0x6199d8597880 (mem: 923.73 MiB)
16:58:04 computing folding proof (mem: 923.73 MiB)
16:58:04 vkey hash in Oink prover: 0x0000000000000000000000000000000044fc765c9ed07f02e0114e9489270f65 (mem: 923.73 MiB)
16:58:04 oink prover on each incomplete key (mem: 933.73 MiB)
16:58:04 perturbator round (mem: 933.73 MiB)
16:58:05 combiner quotient round (mem: 960.58 MiB)
16:58:05 folded (mem: 960.58 MiB)
16:58:05 constructed folding proof (mem: 960.58 MiB)
16:58:05 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000044fc765c9ed07f02e0114e9489270f65 (mem: 960.58 MiB)
16:58:05 ClientIVC: accumulating private_kernel_tail (mem: 960.58 MiB)
16:58:05 Constructing DeciderProvingKey (mem: 960.58 MiB)
16:58:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 960.58 MiB)
16:58:05 goblin ecc op : 392/1024 (mem: 960.58 MiB)
16:58:05 busread : 231/6000 (mem: 960.58 MiB)
16:58:05 lookups : 2/15000 (mem: 960.58 MiB)
16:58:05 pub inputs : 1859/5000 (populated in decider pk constructor) (mem: 960.58 MiB)
16:58:05 arithmetic : 32822/56000 (mem: 960.58 MiB)
16:58:05 delta range : 4391/18000 (mem: 960.58 MiB)
16:58:05 elliptic : 2/6000 (mem: 960.58 MiB)
16:58:05 auxiliary : 11868/26000 (mem: 960.58 MiB)
16:58:05 poseidon ext : 2962/17000 (mem: 960.58 MiB)
16:58:05 poseidon int : 16874/92000 (mem: 960.58 MiB)
16:58:05 overflow : 0/0 (mem: 960.58 MiB)
16:58:05 (mem: 960.58 MiB)
16:58:05 Total structured size: 242025 (mem: 960.58 MiB)
16:58:05 allocating polynomials object in proving key... (mem: 960.58 MiB)
16:58:05 populating trace... (mem: 960.58 MiB)
16:58:05 time to construct proving key: 41 ms. (mem: 960.58 MiB)
16:58:05 getting honk vk... precomputed?: 0x6199d9b23640 (mem: 960.58 MiB)
16:58:05 computing folding proof (mem: 960.58 MiB)
16:58:05 vkey hash in Oink prover: 0x00000000000000000000000000000000f944d2d30b71da2eca9d92b5dbea3ce3 (mem: 960.58 MiB)
16:58:05 oink prover on each incomplete key (mem: 960.58 MiB)
16:58:05 perturbator round (mem: 960.58 MiB)
16:58:05 combiner quotient round (mem: 960.58 MiB)
16:58:06 folded (mem: 960.58 MiB)
16:58:06 constructed folding proof (mem: 960.58 MiB)
16:58:06 Largest circuit: 161517 gates. Trace details: (mem: 960.58 MiB)
16:58:06 Minimum required block sizes for structured trace: (mem: 960.58 MiB)
16:58:06 ecc_op : 792
16:58:06 busread : 4184
16:58:06 lookup : 9354
16:58:06 pub_inputs : 1859
16:58:06 arithmetic : 53321
16:58:06 delta_range : 17451
16:58:06 elliptic : 5806
16:58:06 aux : 25394
16:58:06 poseidon2_external : 12442
16:58:06 poseidon2_internal : 70910
16:58:06 overflow : 0
16:58:06 (mem: 960.58 MiB)
16:58:06 prove decider... (mem: 960.58 MiB)
16:58:06 starting sumcheck rounds... (mem: 960.58 MiB)
16:58:06 completed 18 rounds of sumcheck (mem: 960.58 MiB)
16:58:06 executed multivariate-to-univariate reduction (mem: 960.58 MiB)
16:58:06 computed opening proof (mem: 960.58 MiB)
16:58:06 finished decider proving. (mem: 960.58 MiB)
16:58:06 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f944d2d30b71da2eca9d92b5dbea3ce3 (mem: 960.58 MiB)
16:58:07 Constructing DeciderProvingKey (mem: 960.58 MiB)
16:58:07 allocating polynomials object in proving key... (mem: 960.58 MiB)
16:58:07 populating trace... (mem: 960.58 MiB)
16:58:07 time to construct proving key: 47 ms. (mem: 960.58 MiB)
16:58:07 vkey hash in Oink prover: 0x00000000000000000000000000000000d3f15f6895f0226c81556995f39b41a8 (mem: 960.58 MiB)
16:58:08 created oink proof (mem: 960.58 MiB)
16:58:08 starting sumcheck rounds... (mem: 960.58 MiB)
16:58:08 completed 17 rounds of sumcheck (mem: 960.58 MiB)
16:58:08 executed multivariate-to-univariate reduction (mem: 960.58 MiB)
16:58:08 computed opening proof (mem: 960.58 MiB)
16:58:08 finished decider proving. (mem: 960.58 MiB)
16:58:08 Constructing a Goblin proof with num ultra ops = 5410 (mem: 960.58 MiB)
16:58:08 prove eccvm... (mem: 960.58 MiB)
16:58:09 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 960.58 MiB)
16:58:09 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 960.58 MiB)
16:58:09 starting sumcheck rounds... (mem: 960.58 MiB)
16:58:11 completed 16 rounds of sumcheck (mem: 960.58 MiB)
16:58:12 finished eccvm proving. (mem: 960.58 MiB)
16:58:12 prove translator... (mem: 960.58 MiB)
16:58:13 starting sumcheck rounds... (mem: 960.58 MiB)
16:58:14 completed 18 rounds of sumcheck (mem: 960.58 MiB)
16:58:15 computed opening proof (mem: 960.58 MiB)
16:58:15 finished translator proving. (mem: 960.58 MiB)
16:58:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000d3f15f6895f0226c81556995f39b41a8 (mem: 960.58 MiB)
16:58:15 sumcheck_verified: 1 (mem: 960.58 MiB)
16:58:15 libra_evals_verified: 1 (mem: 960.58 MiB)
16:58:15 pairing_check_verified: 1 (mem: 960.58 MiB)
16:58:15 Mega verified: 1 (mem: 960.58 MiB)
16:58:15 eccvm sumcheck verified?: 1 (mem: 960.58 MiB)
16:58:15 batch opening verified?: 1 (mem: 960.58 MiB)
16:58:15 eccvm consistency check verified?: 1 (mem: 960.58 MiB)
16:58:15 translation masking consistency checked?: 1 (mem: 960.58 MiB)
16:58:15 merge verified?: 1 (mem: 960.58 MiB)
16:58:15 eccvm verified?: 1 (mem: 960.58 MiB)
16:58:15 accumulator construction_verified?: 1 (mem: 960.58 MiB)
16:58:15 translation verified?: 1 (mem: 960.58 MiB)
16:58:15 consistency verified?: 1 (mem: 960.58 MiB)
16:58:15 Goblin verified: 1 (mem: 960.58 MiB)
16:58:15 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/native" (mem: 960.58 MiB)
16:58:15 ecdsar1+transfer_0_recursions+private_fpc (native) has proven in 22s and peak memory of 960MB.
16:58:15 ecdsar1+transfer_0_recursions+private_fpc (native) has verified.