ACI ·

Parent Log: http://ci.aztec-labs.com/5b88ec43b324ec4c Command: 56d3c530a47f3a72: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/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:01 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_7525b2903c89cd0e_next 15:09:01 --- bb ivc flow bench --- 15:09:01 bb command: prove (mem: 8.00 MiB) 15:09:01 Scheme is: client_ivc, num threads: 8 (mem: 8.00 MiB) 15:09:01 --scheme: client_ivc (mem: 8.00 MiB) 15:09:01 --output_path: bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/native (mem: 8.00 MiB) 15:09:01 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_0_recursions+private_fpc/ivc-inputs.msgpack (mem: 8.00 MiB) 15:09:01 --verbose: true (mem: 8.00 MiB) 15:09:02 BN254 commitment key size: 262144 (mem: 216.59 MiB) 15:09:02 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 293.64 MiB) 15:09:02 Initialized BN254 CRS from memory with num points = 262209 (mem: 358.64 MiB) 15:09:02 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 358.64 MiB) 15:09:02 Constructing DeciderProvingKey (mem: 358.64 MiB) 15:09:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 368.64 MiB) 15:09:02 goblin ecc op : 4/1024 (mem: 368.64 MiB) 15:09:02 busread : 742/6000 (mem: 368.64 MiB) 15:09:02 lookups : 2898/15000 (mem: 368.64 MiB) 15:09:02 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 368.64 MiB) 15:09:02 arithmetic : 39593/56000 (mem: 368.64 MiB) 15:09:02 delta range : 17451/18000 (mem: 368.64 MiB) 15:09:02 elliptic : 2/6000 (mem: 368.64 MiB) 15:09:02 auxiliary : 25394/26000 (mem: 368.64 MiB) 15:09:02 poseidon ext : 322/17000 (mem: 368.64 MiB) 15:09:02 poseidon int : 1826/92000 (mem: 368.64 MiB) 15:09:02 overflow : 0/0 (mem: 368.64 MiB) 15:09:02 (mem: 368.64 MiB) 15:09:02 Total structured size: 242025 (mem: 368.64 MiB) 15:09:02 allocating polynomials object in proving key... (mem: 368.64 MiB) 15:09:02 populating trace... (mem: 586.64 MiB) 15:09:02 time to construct proving key: 89 ms. (mem: 601.64 MiB) 15:09:02 getting honk vk... precomputed?: 0x5d6629d220c0 (mem: 601.64 MiB) 15:09:02 computing oink proof... (mem: 601.64 MiB) 15:09:02 vkey hash in Oink prover: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 602.64 MiB) 15:09:03 oink proof constructed (mem: 619.64 MiB) 15:09:03 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 619.64 MiB) 15:09:03 ClientIVC: accumulating private_kernel_init (mem: 619.64 MiB) 15:09:03 Constructing DeciderProvingKey (mem: 619.64 MiB) 15:09:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 619.64 MiB) 15:09:03 goblin ecc op : 56/1024 (mem: 619.64 MiB) 15:09:03 busread : 2529/6000 (mem: 619.64 MiB) 15:09:03 lookups : 2/15000 (mem: 619.64 MiB) 15:09:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 619.64 MiB) 15:09:03 arithmetic : 21701/56000 (mem: 619.64 MiB) 15:09:03 delta range : 3034/18000 (mem: 619.64 MiB) 15:09:03 elliptic : 340/6000 (mem: 619.64 MiB) 15:09:03 auxiliary : 799/26000 (mem: 619.64 MiB) 15:09:03 poseidon ext : 2452/17000 (mem: 619.64 MiB) 15:09:03 poseidon int : 13967/92000 (mem: 619.64 MiB) 15:09:03 overflow : 0/0 (mem: 619.64 MiB) 15:09:03 (mem: 619.64 MiB) 15:09:03 Total structured size: 242025 (mem: 619.64 MiB) 15:09:03 allocating polynomials object in proving key... (mem: 619.64 MiB) 15:09:03 populating trace... (mem: 786.64 MiB) 15:09:03 time to construct proving key: 38 ms. (mem: 802.64 MiB) 15:09:03 getting honk vk... precomputed?: 0x5d662ab57e00 (mem: 802.64 MiB) 15:09:03 computing folding proof (mem: 802.64 MiB) 15:09:03 vkey hash in Oink prover: 0x000000000000000000000000000000001bd1a86328896fb6a68f0efbbf47d67e (mem: 802.64 MiB) 15:09:03 oink prover on each incomplete key (mem: 802.64 MiB) 15:09:03 perturbator round (mem: 826.64 MiB) 15:09:03 combiner quotient round (mem: 858.64 MiB) 15:09:03 folded (mem: 858.64 MiB) 15:09:03 constructed folding proof (mem: 858.64 MiB) 15:09:03 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: 858.64 MiB) 15:09:03 Constructing DeciderProvingKey (mem: 858.64 MiB) 15:09:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 858.64 MiB) 15:09:03 goblin ecc op : 4/1024 (mem: 858.64 MiB) 15:09:03 busread : 742/6000 (mem: 858.64 MiB) 15:09:03 lookups : 2/15000 (mem: 858.64 MiB) 15:09:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 858.64 MiB) 15:09:03 arithmetic : 4299/56000 (mem: 858.64 MiB) 15:09:03 delta range : 1893/18000 (mem: 858.64 MiB) 15:09:03 elliptic : 2/6000 (mem: 858.64 MiB) 15:09:03 auxiliary : 26/26000 (mem: 858.64 MiB) 15:09:03 poseidon ext : 512/17000 (mem: 858.64 MiB) 15:09:03 poseidon int : 2909/92000 (mem: 858.64 MiB) 15:09:03 overflow : 0/0 (mem: 858.64 MiB) 15:09:03 (mem: 858.64 MiB) 15:09:03 Total structured size: 242025 (mem: 858.64 MiB) 15:09:03 allocating polynomials object in proving key... (mem: 858.64 MiB) 15:09:03 populating trace... (mem: 858.64 MiB) 15:09:03 time to construct proving key: 16 ms. (mem: 858.64 MiB) 15:09:03 getting honk vk... precomputed?: 0x5d66295b5f00 (mem: 858.64 MiB) 15:09:03 computing folding proof (mem: 858.64 MiB) 15:09:03 vkey hash in Oink prover: 0x00000000000000000000000000000000764acfc58a76fb1efa8a1f78a6fcc165 (mem: 858.64 MiB) 15:09:04 oink prover on each incomplete key (mem: 858.64 MiB) 15:09:04 perturbator round (mem: 858.64 MiB) 15:09:04 combiner quotient round (mem: 859.30 MiB) 15:09:04 folded (mem: 859.30 MiB) 15:09:04 constructed folding proof (mem: 859.30 MiB) 15:09:04 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001bd1a86328896fb6a68f0efbbf47d67e (mem: 859.30 MiB) 15:09:04 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000764acfc58a76fb1efa8a1f78a6fcc165 (mem: 859.30 MiB) 15:09:04 ClientIVC: accumulating private_kernel_inner (mem: 859.30 MiB) 15:09:04 Constructing DeciderProvingKey (mem: 859.30 MiB) 15:09:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 859.30 MiB) 15:09:04 goblin ecc op : 792/1024 (mem: 859.30 MiB) 15:09:04 busread : 4184/6000 (mem: 859.30 MiB) 15:09:04 lookups : 2/15000 (mem: 859.30 MiB) 15:09:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 859.30 MiB) 15:09:04 arithmetic : 44918/56000 (mem: 859.30 MiB) 15:09:04 delta range : 5025/18000 (mem: 859.30 MiB) 15:09:04 elliptic : 340/6000 (mem: 859.30 MiB) 15:09:04 auxiliary : 1399/26000 (mem: 859.30 MiB) 15:09:04 poseidon ext : 6542/17000 (mem: 859.30 MiB) 15:09:04 poseidon int : 37280/92000 (mem: 859.30 MiB) 15:09:04 overflow : 0/0 (mem: 859.30 MiB) 15:09:04 (mem: 859.30 MiB) 15:09:04 Total structured size: 242025 (mem: 859.30 MiB) 15:09:04 allocating polynomials object in proving key... (mem: 859.30 MiB) 15:09:04 populating trace... (mem: 859.30 MiB) 15:09:04 time to construct proving key: 56 ms. (mem: 875.30 MiB) 15:09:04 getting honk vk... precomputed?: 0x5d66286d7f00 (mem: 875.30 MiB) 15:09:04 computing folding proof (mem: 875.30 MiB) 15:09:04 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 875.30 MiB) 15:09:04 oink prover on each incomplete key (mem: 876.30 MiB) 15:09:05 perturbator round (mem: 890.30 MiB) 15:09:05 combiner quotient round (mem: 922.30 MiB) 15:09:05 folded (mem: 922.30 MiB) 15:09:05 constructed folding proof (mem: 922.30 MiB) 15:09:05 ClientIVC: accumulating Token:transfer_to_public (mem: 922.30 MiB) 15:09:05 Constructing DeciderProvingKey (mem: 922.30 MiB) 15:09:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 922.30 MiB) 15:09:05 goblin ecc op : 4/1024 (mem: 922.30 MiB) 15:09:05 busread : 742/6000 (mem: 922.30 MiB) 15:09:05 lookups : 9354/15000 (mem: 922.30 MiB) 15:09:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 922.30 MiB) 15:09:05 arithmetic : 48559/56000 (mem: 922.30 MiB) 15:09:05 delta range : 6009/18000 (mem: 922.30 MiB) 15:09:05 elliptic : 5806/6000 (mem: 922.30 MiB) 15:09:05 auxiliary : 20704/26000 (mem: 922.30 MiB) 15:09:05 poseidon ext : 2842/17000 (mem: 922.30 MiB) 15:09:05 poseidon int : 16190/92000 (mem: 922.30 MiB) 15:09:05 overflow : 0/0 (mem: 922.30 MiB) 15:09:05 (mem: 922.30 MiB) 15:09:05 Total structured size: 242025 (mem: 922.30 MiB) 15:09:05 allocating polynomials object in proving key... (mem: 922.30 MiB) 15:09:05 populating trace... (mem: 922.30 MiB) 15:09:05 time to construct proving key: 64 ms. (mem: 922.30 MiB) 15:09:05 getting honk vk... precomputed?: 0x5d662bac50c0 (mem: 922.30 MiB) 15:09:05 computing folding proof (mem: 922.30 MiB) 15:09:05 vkey hash in Oink prover: 0x00000000000000000000000000000000e2758821d741e0de3700b5c4d7a4e5be (mem: 922.30 MiB) 15:09:05 oink prover on each incomplete key (mem: 922.30 MiB) 15:09:05 perturbator round (mem: 922.30 MiB) 15:09:06 combiner quotient round (mem: 928.91 MiB) 15:09:06 folded (mem: 928.91 MiB) 15:09:06 constructed folding proof (mem: 928.91 MiB) 15:09:06 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 928.91 MiB) 15:09:06 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e2758821d741e0de3700b5c4d7a4e5be (mem: 928.91 MiB) 15:09:06 ClientIVC: accumulating private_kernel_inner (mem: 928.91 MiB) 15:09:06 Constructing DeciderProvingKey (mem: 928.91 MiB) 15:09:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 928.91 MiB) 15:09:06 goblin ecc op : 792/1024 (mem: 928.91 MiB) 15:09:06 busread : 4184/6000 (mem: 928.91 MiB) 15:09:06 lookups : 2/15000 (mem: 928.91 MiB) 15:09:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 928.91 MiB) 15:09:06 arithmetic : 44918/56000 (mem: 928.91 MiB) 15:09:06 delta range : 5025/18000 (mem: 928.91 MiB) 15:09:06 elliptic : 340/6000 (mem: 928.91 MiB) 15:09:06 auxiliary : 1399/26000 (mem: 928.91 MiB) 15:09:06 poseidon ext : 6542/17000 (mem: 928.91 MiB) 15:09:06 poseidon int : 37280/92000 (mem: 928.91 MiB) 15:09:06 overflow : 0/0 (mem: 928.91 MiB) 15:09:06 (mem: 928.91 MiB) 15:09:06 Total structured size: 242025 (mem: 928.91 MiB) 15:09:06 allocating polynomials object in proving key... (mem: 928.91 MiB) 15:09:06 populating trace... (mem: 928.91 MiB) 15:09:06 time to construct proving key: 48 ms. (mem: 928.91 MiB) 15:09:06 getting honk vk... precomputed?: 0x5d662b42bf00 (mem: 928.91 MiB) 15:09:06 computing folding proof (mem: 928.91 MiB) 15:09:06 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 928.91 MiB) 15:09:06 oink prover on each incomplete key (mem: 928.91 MiB) 15:09:06 perturbator round (mem: 928.91 MiB) 15:09:07 combiner quotient round (mem: 929.19 MiB) 15:09:07 folded (mem: 929.19 MiB) 15:09:07 constructed folding proof (mem: 929.19 MiB) 15:09:07 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: 929.19 MiB) 15:09:07 Constructing DeciderProvingKey (mem: 929.19 MiB) 15:09:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 929.19 MiB) 15:09:07 goblin ecc op : 4/1024 (mem: 929.19 MiB) 15:09:07 busread : 742/6000 (mem: 929.19 MiB) 15:09:07 lookups : 2898/15000 (mem: 929.19 MiB) 15:09:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 929.19 MiB) 15:09:07 arithmetic : 37549/56000 (mem: 929.19 MiB) 15:09:07 delta range : 17062/18000 (mem: 929.19 MiB) 15:09:07 elliptic : 2/6000 (mem: 929.19 MiB) 15:09:07 auxiliary : 21404/26000 (mem: 929.19 MiB) 15:09:07 poseidon ext : 82/17000 (mem: 929.19 MiB) 15:09:07 poseidon int : 458/92000 (mem: 929.19 MiB) 15:09:07 overflow : 0/0 (mem: 929.19 MiB) 15:09:07 (mem: 929.19 MiB) 15:09:07 Total structured size: 242025 (mem: 929.19 MiB) 15:09:07 allocating polynomials object in proving key... (mem: 929.19 MiB) 15:09:07 populating trace... (mem: 929.19 MiB) 15:09:07 time to construct proving key: 66 ms. (mem: 929.19 MiB) 15:09:07 getting honk vk... precomputed?: 0x5d662b75d340 (mem: 929.19 MiB) 15:09:07 computing folding proof (mem: 929.19 MiB) 15:09:07 vkey hash in Oink prover: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 929.19 MiB) 15:09:07 oink prover on each incomplete key (mem: 929.19 MiB) 15:09:07 perturbator round (mem: 929.19 MiB) 15:09:08 combiner quotient round (mem: 929.67 MiB) 15:09:08 folded (mem: 929.67 MiB) 15:09:08 constructed folding proof (mem: 929.67 MiB) 15:09:08 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 929.67 MiB) 15:09:08 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: 929.67 MiB) 15:09:08 ClientIVC: accumulating private_kernel_inner (mem: 929.67 MiB) 15:09:08 Constructing DeciderProvingKey (mem: 929.67 MiB) 15:09:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 929.67 MiB) 15:09:08 goblin ecc op : 792/1024 (mem: 929.67 MiB) 15:09:08 busread : 4184/6000 (mem: 929.67 MiB) 15:09:08 lookups : 2/15000 (mem: 929.67 MiB) 15:09:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 929.67 MiB) 15:09:08 arithmetic : 44918/56000 (mem: 929.67 MiB) 15:09:08 delta range : 5025/18000 (mem: 929.67 MiB) 15:09:08 elliptic : 340/6000 (mem: 929.67 MiB) 15:09:08 auxiliary : 1399/26000 (mem: 929.67 MiB) 15:09:08 poseidon ext : 6542/17000 (mem: 929.67 MiB) 15:09:08 poseidon int : 37280/92000 (mem: 929.67 MiB) 15:09:08 overflow : 0/0 (mem: 929.67 MiB) 15:09:08 (mem: 929.67 MiB) 15:09:08 Total structured size: 242025 (mem: 929.67 MiB) 15:09:08 allocating polynomials object in proving key... (mem: 929.67 MiB) 15:09:08 populating trace... (mem: 929.67 MiB) 15:09:08 time to construct proving key: 47 ms. (mem: 929.67 MiB) 15:09:08 getting honk vk... precomputed?: 0x5d662f809e40 (mem: 929.67 MiB) 15:09:08 computing folding proof (mem: 929.67 MiB) 15:09:08 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 929.67 MiB) 15:09:08 oink prover on each incomplete key (mem: 929.67 MiB) 15:09:08 perturbator round (mem: 929.67 MiB) 15:09:09 combiner quotient round (mem: 930.00 MiB) 15:09:09 folded (mem: 930.00 MiB) 15:09:09 constructed folding proof (mem: 930.00 MiB) 15:09:09 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: 930.00 MiB) 15:09:09 Constructing DeciderProvingKey (mem: 930.00 MiB) 15:09:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 930.00 MiB) 15:09:09 goblin ecc op : 4/1024 (mem: 930.00 MiB) 15:09:09 busread : 742/6000 (mem: 930.00 MiB) 15:09:09 lookups : 9354/15000 (mem: 930.00 MiB) 15:09:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 930.00 MiB) 15:09:09 arithmetic : 13664/56000 (mem: 930.00 MiB) 15:09:09 delta range : 2307/18000 (mem: 930.00 MiB) 15:09:09 elliptic : 670/6000 (mem: 930.00 MiB) 15:09:09 auxiliary : 543/26000 (mem: 930.00 MiB) 15:09:09 poseidon ext : 62/17000 (mem: 930.00 MiB) 15:09:09 poseidon int : 344/92000 (mem: 930.00 MiB) 15:09:09 overflow : 0/0 (mem: 930.00 MiB) 15:09:09 (mem: 930.00 MiB) 15:09:09 Total structured size: 242025 (mem: 930.00 MiB) 15:09:09 allocating polynomials object in proving key... (mem: 930.00 MiB) 15:09:09 populating trace... (mem: 930.00 MiB) 15:09:09 time to construct proving key: 32 ms. (mem: 930.00 MiB) 15:09:09 getting honk vk... precomputed?: 0x5d662bac45c0 (mem: 930.00 MiB) 15:09:09 computing folding proof (mem: 930.00 MiB) 15:09:09 vkey hash in Oink prover: 0x00000000000000000000000000000000f24676fa7a639e8967a319560ad630a0 (mem: 930.00 MiB) 15:09:09 oink prover on each incomplete key (mem: 930.00 MiB) 15:09:09 perturbator round (mem: 930.00 MiB) 15:09:10 combiner quotient round (mem: 930.00 MiB) 15:09:10 folded (mem: 930.00 MiB) 15:09:10 constructed folding proof (mem: 930.00 MiB) 15:09:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 930.00 MiB) 15:09:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f24676fa7a639e8967a319560ad630a0 (mem: 930.00 MiB) 15:09:10 ClientIVC: accumulating private_kernel_inner (mem: 930.00 MiB) 15:09:10 Constructing DeciderProvingKey (mem: 930.00 MiB) 15:09:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 930.00 MiB) 15:09:10 goblin ecc op : 792/1024 (mem: 930.00 MiB) 15:09:10 busread : 4184/6000 (mem: 930.00 MiB) 15:09:10 lookups : 2/15000 (mem: 930.00 MiB) 15:09:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 930.00 MiB) 15:09:10 arithmetic : 44918/56000 (mem: 930.00 MiB) 15:09:10 delta range : 5025/18000 (mem: 930.00 MiB) 15:09:10 elliptic : 340/6000 (mem: 930.00 MiB) 15:09:10 auxiliary : 1399/26000 (mem: 930.00 MiB) 15:09:10 poseidon ext : 6542/17000 (mem: 930.00 MiB) 15:09:10 poseidon int : 37280/92000 (mem: 930.00 MiB) 15:09:10 overflow : 0/0 (mem: 930.00 MiB) 15:09:10 (mem: 930.00 MiB) 15:09:10 Total structured size: 242025 (mem: 930.00 MiB) 15:09:10 allocating polynomials object in proving key... (mem: 930.00 MiB) 15:09:10 populating trace... (mem: 930.00 MiB) 15:09:10 time to construct proving key: 55 ms. (mem: 930.00 MiB) 15:09:10 getting honk vk... precomputed?: 0x5d662b42fac0 (mem: 930.00 MiB) 15:09:10 computing folding proof (mem: 930.00 MiB) 15:09:10 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 930.00 MiB) 15:09:10 oink prover on each incomplete key (mem: 930.00 MiB) 15:09:10 perturbator round (mem: 930.00 MiB) 15:09:11 combiner quotient round (mem: 933.05 MiB) 15:09:11 folded (mem: 933.05 MiB) 15:09:11 constructed folding proof (mem: 933.05 MiB) 15:09:11 ClientIVC: accumulating Token:transfer (mem: 933.05 MiB) 15:09:11 Constructing DeciderProvingKey (mem: 933.05 MiB) 15:09:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 933.05 MiB) 15:09:11 goblin ecc op : 4/1024 (mem: 933.05 MiB) 15:09:11 busread : 742/6000 (mem: 933.05 MiB) 15:09:11 lookups : 2/15000 (mem: 933.05 MiB) 15:09:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 933.05 MiB) 15:09:11 arithmetic : 8562/56000 (mem: 933.05 MiB) 15:09:11 delta range : 2811/18000 (mem: 933.05 MiB) 15:09:11 elliptic : 646/6000 (mem: 933.05 MiB) 15:09:11 auxiliary : 9221/26000 (mem: 933.05 MiB) 15:09:11 poseidon ext : 462/17000 (mem: 933.05 MiB) 15:09:11 poseidon int : 2624/92000 (mem: 933.05 MiB) 15:09:11 overflow : 0/0 (mem: 933.05 MiB) 15:09:11 (mem: 933.05 MiB) 15:09:11 Total structured size: 242025 (mem: 933.05 MiB) 15:09:11 allocating polynomials object in proving key... (mem: 933.05 MiB) 15:09:11 populating trace... (mem: 933.05 MiB) 15:09:11 time to construct proving key: 30 ms. (mem: 933.05 MiB) 15:09:11 getting honk vk... precomputed?: 0x5d6628c47780 (mem: 933.05 MiB) 15:09:11 computing folding proof (mem: 933.05 MiB) 15:09:11 vkey hash in Oink prover: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: 933.05 MiB) 15:09:11 oink prover on each incomplete key (mem: 933.05 MiB) 15:09:11 perturbator round (mem: 933.05 MiB) 15:09:11 combiner quotient round (mem: 933.05 MiB) 15:09:11 folded (mem: 933.05 MiB) 15:09:11 constructed folding proof (mem: 933.05 MiB) 15:09:11 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 933.05 MiB) 15:09:11 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: 933.05 MiB) 15:09:11 ClientIVC: accumulating private_kernel_inner (mem: 933.05 MiB) 15:09:11 Constructing DeciderProvingKey (mem: 933.05 MiB) 15:09:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 933.05 MiB) 15:09:11 goblin ecc op : 792/1024 (mem: 933.05 MiB) 15:09:11 busread : 4184/6000 (mem: 933.05 MiB) 15:09:11 lookups : 2/15000 (mem: 933.05 MiB) 15:09:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 933.05 MiB) 15:09:11 arithmetic : 44918/56000 (mem: 933.05 MiB) 15:09:11 delta range : 5025/18000 (mem: 933.05 MiB) 15:09:11 elliptic : 340/6000 (mem: 933.05 MiB) 15:09:11 auxiliary : 1399/26000 (mem: 933.05 MiB) 15:09:11 poseidon ext : 6542/17000 (mem: 933.05 MiB) 15:09:11 poseidon int : 37280/92000 (mem: 933.05 MiB) 15:09:11 overflow : 0/0 (mem: 933.05 MiB) 15:09:11 (mem: 933.05 MiB) 15:09:11 Total structured size: 242025 (mem: 933.05 MiB) 15:09:11 allocating polynomials object in proving key... (mem: 933.05 MiB) 15:09:11 populating trace... (mem: 933.05 MiB) 15:09:11 time to construct proving key: 49 ms. (mem: 933.05 MiB) 15:09:11 getting honk vk... precomputed?: 0x5d6628763bc0 (mem: 933.05 MiB) 15:09:11 computing folding proof (mem: 933.05 MiB) 15:09:11 vkey hash in Oink prover: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 933.05 MiB) 15:09:12 oink prover on each incomplete key (mem: 933.05 MiB) 15:09:12 perturbator round (mem: 933.05 MiB) 15:09:12 combiner quotient round (mem: 933.05 MiB) 15:09:12 folded (mem: 933.05 MiB) 15:09:12 constructed folding proof (mem: 933.05 MiB) 15:09:12 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b16f1d26129439f5062fbb445cdd5488 (mem: 933.05 MiB) 15:09:13 ClientIVC: accumulating private_kernel_reset (mem: 933.05 MiB) 15:09:13 Constructing DeciderProvingKey (mem: 933.05 MiB) 15:09:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 933.05 MiB) 15:09:13 goblin ecc op : 392/1024 (mem: 933.05 MiB) 15:09:13 busread : 2707/6000 (mem: 933.05 MiB) 15:09:13 lookups : 2/15000 (mem: 933.05 MiB) 15:09:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 933.05 MiB) 15:09:13 arithmetic : 53385/56000 (mem: 933.05 MiB) 15:09:13 delta range : 4879/18000 (mem: 933.05 MiB) 15:09:13 elliptic : 1274/6000 (mem: 933.05 MiB) 15:09:13 auxiliary : 16002/26000 (mem: 933.05 MiB) 15:09:13 poseidon ext : 12462/17000 (mem: 933.05 MiB) 15:09:13 poseidon int : 71024/92000 (mem: 933.05 MiB) 15:09:13 overflow : 0/0 (mem: 933.05 MiB) 15:09:13 (mem: 933.05 MiB) 15:09:13 Total structured size: 242025 (mem: 933.05 MiB) 15:09:13 allocating polynomials object in proving key... (mem: 933.05 MiB) 15:09:13 populating trace... (mem: 933.05 MiB) 15:09:13 time to construct proving key: 77 ms. (mem: 933.05 MiB) 15:09:13 getting honk vk... precomputed?: 0x5d662b42f100 (mem: 933.05 MiB) 15:09:13 computing folding proof (mem: 933.05 MiB) 15:09:13 vkey hash in Oink prover: 0x00000000000000000000000000000000d8990159cde32e4bc9878974eb6f609e (mem: 933.05 MiB) 15:09:13 oink prover on each incomplete key (mem: 942.45 MiB) 15:09:13 perturbator round (mem: 942.45 MiB) 15:09:14 combiner quotient round (mem: 968.48 MiB) 15:09:14 folded (mem: 968.48 MiB) 15:09:14 constructed folding proof (mem: 968.48 MiB) 15:09:14 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d8990159cde32e4bc9878974eb6f609e (mem: 968.48 MiB) 15:09:14 ClientIVC: accumulating private_kernel_tail (mem: 968.48 MiB) 15:09:14 Constructing DeciderProvingKey (mem: 968.48 MiB) 15:09:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 968.48 MiB) 15:09:14 goblin ecc op : 392/1024 (mem: 968.48 MiB) 15:09:14 busread : 231/6000 (mem: 968.48 MiB) 15:09:14 lookups : 2/15000 (mem: 968.48 MiB) 15:09:14 pub inputs : 1859/5000 (populated in decider pk constructor) (mem: 968.48 MiB) 15:09:14 arithmetic : 32886/56000 (mem: 968.48 MiB) 15:09:14 delta range : 4411/18000 (mem: 968.48 MiB) 15:09:14 elliptic : 2/6000 (mem: 968.48 MiB) 15:09:14 auxiliary : 11868/26000 (mem: 968.48 MiB) 15:09:14 poseidon ext : 2982/17000 (mem: 968.48 MiB) 15:09:14 poseidon int : 16988/92000 (mem: 968.48 MiB) 15:09:14 overflow : 0/0 (mem: 968.48 MiB) 15:09:14 (mem: 968.48 MiB) 15:09:14 Total structured size: 242025 (mem: 968.48 MiB) 15:09:14 allocating polynomials object in proving key... (mem: 968.48 MiB) 15:09:14 populating trace... (mem: 968.48 MiB) 15:09:14 time to construct proving key: 46 ms. (mem: 968.48 MiB) 15:09:14 getting honk vk... precomputed?: 0x5d662aa13040 (mem: 968.48 MiB) 15:09:14 computing folding proof (mem: 968.48 MiB) 15:09:14 vkey hash in Oink prover: 0x000000000000000000000000000000007b5461b8ea2d0a193b3cc5c82ff90e7a (mem: 968.48 MiB) 15:09:14 oink prover on each incomplete key (mem: 968.48 MiB) 15:09:14 perturbator round (mem: 968.48 MiB) 15:09:15 combiner quotient round (mem: 968.48 MiB) 15:09:15 folded (mem: 968.48 MiB) 15:09:15 constructed folding proof (mem: 968.48 MiB) 15:09:15 Largest circuit: 161735 gates. Trace details: (mem: 968.48 MiB) 15:09:15 Minimum required block sizes for structured trace: (mem: 968.48 MiB) 15:09:15 ecc_op : 792 15:09:15 busread : 4184 15:09:15 lookup : 9354 15:09:15 pub_inputs : 1859 15:09:15 arithmetic : 53385 15:09:15 delta_range : 17451 15:09:15 elliptic : 5806 15:09:15 aux : 25394 15:09:15 poseidon2_external : 12462 15:09:15 poseidon2_internal : 71024 15:09:15 overflow : 0 15:09:15 (mem: 968.48 MiB) 15:09:15 prove decider... (mem: 968.48 MiB) 15:09:15 starting sumcheck rounds... (mem: 968.48 MiB) 15:09:15 completed 18 rounds of sumcheck (mem: 968.48 MiB) 15:09:15 executed multivariate-to-univariate reduction (mem: 968.48 MiB) 15:09:15 computed opening proof (mem: 968.48 MiB) 15:09:15 finished decider proving. (mem: 968.48 MiB) 15:09:15 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007b5461b8ea2d0a193b3cc5c82ff90e7a (mem: 968.48 MiB) 15:09:16 Constructing DeciderProvingKey (mem: 968.48 MiB) 15:09:16 allocating polynomials object in proving key... (mem: 968.48 MiB) 15:09:16 populating trace... (mem: 968.48 MiB) 15:09:16 time to construct proving key: 49 ms. (mem: 968.48 MiB) 15:09:16 vkey hash in Oink prover: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: 968.48 MiB) 15:09:17 created oink proof (mem: 968.48 MiB) 15:09:17 starting sumcheck rounds... (mem: 968.48 MiB) 15:09:17 completed 17 rounds of sumcheck (mem: 968.48 MiB) 15:09:17 executed multivariate-to-univariate reduction (mem: 968.48 MiB) 15:09:17 computed opening proof (mem: 968.48 MiB) 15:09:17 finished decider proving. (mem: 968.48 MiB) 15:09:17 Constructing a Goblin proof with num ultra ops = 5410 (mem: 968.48 MiB) 15:09:17 prove eccvm... (mem: 968.48 MiB) 15:09:18 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 968.48 MiB) 15:09:18 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 968.48 MiB) 15:09:18 starting sumcheck rounds... (mem: 968.48 MiB) 15:09:20 completed 16 rounds of sumcheck (mem: 968.48 MiB) 15:09:21 finished eccvm proving. (mem: 968.48 MiB) 15:09:21 prove translator... (mem: 968.48 MiB) 15:09:21 starting sumcheck rounds... (mem: 968.48 MiB) 15:09:23 completed 18 rounds of sumcheck (mem: 968.48 MiB) 15:09:24 computed opening proof (mem: 968.48 MiB) 15:09:24 finished translator proving. (mem: 968.48 MiB) 15:09:24 vkey hash in Oink verifier: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: 968.48 MiB) 15:09:24 sumcheck_verified: 1 (mem: 968.48 MiB) 15:09:24 libra_evals_verified: 1 (mem: 968.48 MiB) 15:09:24 pairing_check_verified: 1 (mem: 968.48 MiB) 15:09:24 Mega verified: 1 (mem: 968.48 MiB) 15:09:24 eccvm sumcheck verified?: 1 (mem: 968.48 MiB) 15:09:24 batch opening verified?: 1 (mem: 968.48 MiB) 15:09:24 eccvm consistency check verified?: 1 (mem: 968.48 MiB) 15:09:24 translation masking consistency checked?: 1 (mem: 968.48 MiB) 15:09:24 merge verified?: 1 (mem: 968.48 MiB) 15:09:24 eccvm verified?: 1 (mem: 968.48 MiB) 15:09:24 accumulator construction_verified?: 1 (mem: 968.48 MiB) 15:09:24 translation verified?: 1 (mem: 968.48 MiB) 15:09:24 consistency verified?: 1 (mem: 968.48 MiB) 15:09:24 Goblin verified: 1 (mem: 968.48 MiB) 15:09:24 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_0_recursions+private_fpc/native" (mem: 968.48 MiB) 15:09:24 ecdsar1+transfer_0_recursions+private_fpc (native) has proven in 22s and peak memory of 968MB. 15:09:24 ecdsar1+transfer_0_recursions+private_fpc (native) has verified.