Parent Log: http://ci.aztec-labs.com/217efcd502ba6e7a Command: 72b59a67627043b2:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_ecdsar1+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/433ba6218aed45169029991a493e4232b30b8ec6 Env: REF_NAME=gh-readonly-queue/next/pr-15114-23ff13c6b16a0c1333bf26aa5c213054c92403c3 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 18:08:05 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15114_amd64_x1-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_199fa31602f649ed_next 18:08:05 --- bb ivc flow bench --- 18:08:05 bb command: prove (mem: 7.00 MiB) 18:08:05 Scheme is: client_ivc, num threads: 8 (mem: 7.00 MiB) 18:08:05 --scheme: client_ivc (mem: 7.00 MiB) 18:08:05 --output_path: bench-out/app-proving/deploy_ecdsar1+sponsored_fpc/native (mem: 7.00 MiB) 18:08:05 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/deploy_ecdsar1+sponsored_fpc/ivc-inputs.msgpack (mem: 7.00 MiB) 18:08:05 --verbose: true (mem: 7.00 MiB) 18:08:06 BN254 commitment key size: 262144 (mem: 179.42 MiB) 18:08:06 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.62 MiB) 18:08:06 Initialized BN254 CRS from memory with num points = 262209 (mem: 315.62 MiB) 18:08:06 ClientIVC: accumulating MultiCallEntrypoint:entrypoint (mem: 315.62 MiB) 18:08:06 Constructing DeciderProvingKey (mem: 315.62 MiB) 18:08:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 315.62 MiB) 18:08:06 goblin ecc op : 4/1024 (mem: 315.62 MiB) 18:08:06 busread : 742/6000 (mem: 315.62 MiB) 18:08:06 lookups : 2/15000 (mem: 315.62 MiB) 18:08:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 315.62 MiB) 18:08:06 arithmetic : 4296/56000 (mem: 315.62 MiB) 18:08:06 delta range : 2030/18000 (mem: 315.62 MiB) 18:08:06 elliptic : 2/6000 (mem: 315.62 MiB) 18:08:06 auxiliary : 2420/26000 (mem: 315.62 MiB) 18:08:06 poseidon ext : 82/17000 (mem: 315.62 MiB) 18:08:06 poseidon int : 458/92000 (mem: 315.62 MiB) 18:08:06 overflow : 0/0 (mem: 315.62 MiB) 18:08:06 (mem: 315.62 MiB) 18:08:06 Total structured size: 242025 (mem: 315.62 MiB) 18:08:06 allocating polynomials object in proving key... (mem: 315.62 MiB) 18:08:06 populating trace... (mem: 491.30 MiB) 18:08:06 time to construct proving key: 30 ms. (mem: 500.30 MiB) 18:08:06 getting honk vk... precomputed?: 0x615c742381c0 (mem: 500.30 MiB) 18:08:06 computing oink proof... (mem: 500.30 MiB) 18:08:06 vkey hash in Oink prover: 0x00000000000000000000000000000000c6b6b8b72743108df931296b565be3f9 (mem: 500.30 MiB) 18:08:06 oink proof constructed (mem: 503.30 MiB) 18:08:06 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c6b6b8b72743108df931296b565be3f9 (mem: 510.30 MiB) 18:08:06 ClientIVC: accumulating private_kernel_init (mem: 512.30 MiB) 18:08:06 Constructing DeciderProvingKey (mem: 512.30 MiB) 18:08:06 Gate blocks summary: (actual gates / fixed capacity) (mem: 513.30 MiB) 18:08:06 goblin ecc op : 56/1024 (mem: 513.30 MiB) 18:08:06 busread : 2529/6000 (mem: 513.30 MiB) 18:08:06 lookups : 2/15000 (mem: 513.30 MiB) 18:08:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 513.30 MiB) 18:08:06 arithmetic : 21649/56000 (mem: 513.30 MiB) 18:08:06 delta range : 3015/18000 (mem: 513.30 MiB) 18:08:06 elliptic : 340/6000 (mem: 513.30 MiB) 18:08:06 auxiliary : 799/26000 (mem: 513.30 MiB) 18:08:06 poseidon ext : 2432/17000 (mem: 513.30 MiB) 18:08:06 poseidon int : 13853/92000 (mem: 513.30 MiB) 18:08:06 overflow : 0/0 (mem: 513.30 MiB) 18:08:06 (mem: 513.30 MiB) 18:08:06 Total structured size: 242025 (mem: 513.30 MiB) 18:08:06 allocating polynomials object in proving key... (mem: 513.30 MiB) 18:08:06 populating trace... (mem: 737.30 MiB) 18:08:06 time to construct proving key: 45 ms. (mem: 756.30 MiB) 18:08:06 getting honk vk... precomputed?: 0x615c7579abc0 (mem: 756.30 MiB) 18:08:06 computing folding proof (mem: 756.30 MiB) 18:08:06 vkey hash in Oink prover: 0x000000000000000000000000000000000e069a224e2d568881c76203669ee6ee (mem: 756.30 MiB) 18:08:06 oink prover on each incomplete key (mem: 757.30 MiB) 18:08:06 perturbator round (mem: 785.30 MiB) 18:08:06 combiner quotient round (mem: 817.30 MiB) 18:08:07 folded (mem: 817.30 MiB) 18:08:07 constructed folding proof (mem: 817.30 MiB) 18:08:07 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 817.30 MiB) 18:08:07 Constructing DeciderProvingKey (mem: 817.30 MiB) 18:08:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 817.30 MiB) 18:08:07 goblin ecc op : 4/1024 (mem: 817.30 MiB) 18:08:07 busread : 742/6000 (mem: 817.30 MiB) 18:08:07 lookups : 2/15000 (mem: 817.30 MiB) 18:08:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 817.30 MiB) 18:08:07 arithmetic : 3656/56000 (mem: 817.30 MiB) 18:08:07 delta range : 1838/18000 (mem: 817.30 MiB) 18:08:07 elliptic : 340/6000 (mem: 817.30 MiB) 18:08:07 auxiliary : 187/26000 (mem: 817.30 MiB) 18:08:07 poseidon ext : 162/17000 (mem: 817.30 MiB) 18:08:07 poseidon int : 914/92000 (mem: 817.30 MiB) 18:08:07 overflow : 0/0 (mem: 817.30 MiB) 18:08:07 (mem: 817.30 MiB) 18:08:07 Total structured size: 242025 (mem: 817.30 MiB) 18:08:07 allocating polynomials object in proving key... (mem: 817.30 MiB) 18:08:07 populating trace... (mem: 817.30 MiB) 18:08:07 time to construct proving key: 18 ms. (mem: 817.30 MiB) 18:08:07 getting honk vk... precomputed?: 0x615c73a455c0 (mem: 817.30 MiB) 18:08:07 computing folding proof (mem: 817.30 MiB) 18:08:07 vkey hash in Oink prover: 0x00000000000000000000000000000000d0f9e87ab5f556ed788ba45ab88ade3a (mem: 817.30 MiB) 18:08:07 oink prover on each incomplete key (mem: 817.30 MiB) 18:08:07 perturbator round (mem: 817.30 MiB) 18:08:07 combiner quotient round (mem: 818.15 MiB) 18:08:07 folded (mem: 818.15 MiB) 18:08:07 constructed folding proof (mem: 818.15 MiB) 18:08:07 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000e069a224e2d568881c76203669ee6ee (mem: 818.15 MiB) 18:08:07 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d0f9e87ab5f556ed788ba45ab88ade3a (mem: 818.15 MiB) 18:08:07 ClientIVC: accumulating private_kernel_inner (mem: 818.15 MiB) 18:08:07 Constructing DeciderProvingKey (mem: 818.15 MiB) 18:08:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 818.15 MiB) 18:08:07 goblin ecc op : 792/1024 (mem: 818.15 MiB) 18:08:07 busread : 4184/6000 (mem: 818.15 MiB) 18:08:07 lookups : 2/15000 (mem: 818.15 MiB) 18:08:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 818.15 MiB) 18:08:07 arithmetic : 44790/56000 (mem: 818.15 MiB) 18:08:07 delta range : 4986/18000 (mem: 818.15 MiB) 18:08:07 elliptic : 340/6000 (mem: 818.15 MiB) 18:08:07 auxiliary : 1399/26000 (mem: 818.15 MiB) 18:08:07 poseidon ext : 6502/17000 (mem: 818.15 MiB) 18:08:07 poseidon int : 37052/92000 (mem: 818.15 MiB) 18:08:07 overflow : 0/0 (mem: 818.15 MiB) 18:08:07 (mem: 818.15 MiB) 18:08:07 Total structured size: 242025 (mem: 818.15 MiB) 18:08:07 allocating polynomials object in proving key... (mem: 818.15 MiB) 18:08:07 populating trace... (mem: 818.15 MiB) 18:08:07 time to construct proving key: 52 ms. (mem: 824.67 MiB) 18:08:07 getting honk vk... precomputed?: 0x615c75b96f40 (mem: 824.67 MiB) 18:08:07 computing folding proof (mem: 824.67 MiB) 18:08:07 vkey hash in Oink prover: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 824.67 MiB) 18:08:07 oink prover on each incomplete key (mem: 825.67 MiB) 18:08:07 perturbator round (mem: 848.67 MiB) 18:08:08 combiner quotient round (mem: 880.67 MiB) 18:08:08 folded (mem: 880.67 MiB) 18:08:08 constructed folding proof (mem: 880.67 MiB) 18:08:08 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 880.67 MiB) 18:08:08 Constructing DeciderProvingKey (mem: 880.67 MiB) 18:08:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 880.67 MiB) 18:08:08 goblin ecc op : 4/1024 (mem: 880.67 MiB) 18:08:08 busread : 742/6000 (mem: 880.67 MiB) 18:08:08 lookups : 2/15000 (mem: 880.67 MiB) 18:08:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 880.67 MiB) 18:08:08 arithmetic : 3287/56000 (mem: 880.67 MiB) 18:08:08 delta range : 1787/18000 (mem: 880.67 MiB) 18:08:08 elliptic : 2/6000 (mem: 880.67 MiB) 18:08:08 auxiliary : 26/26000 (mem: 880.67 MiB) 18:08:08 poseidon ext : 12/17000 (mem: 880.67 MiB) 18:08:08 poseidon int : 59/92000 (mem: 880.67 MiB) 18:08:08 overflow : 0/0 (mem: 880.67 MiB) 18:08:08 (mem: 880.67 MiB) 18:08:08 Total structured size: 242025 (mem: 880.67 MiB) 18:08:08 allocating polynomials object in proving key... (mem: 880.67 MiB) 18:08:08 populating trace... (mem: 880.67 MiB) 18:08:08 time to construct proving key: 15 ms. (mem: 880.67 MiB) 18:08:08 getting honk vk... precomputed?: 0x615c73a02280 (mem: 880.67 MiB) 18:08:08 computing folding proof (mem: 880.67 MiB) 18:08:08 vkey hash in Oink prover: 0x0000000000000000000000000000000089e9a733905917949daf0c71c2b6c009 (mem: 880.67 MiB) 18:08:08 oink prover on each incomplete key (mem: 880.67 MiB) 18:08:08 perturbator round (mem: 880.67 MiB) 18:08:08 combiner quotient round (mem: 880.67 MiB) 18:08:08 folded (mem: 880.67 MiB) 18:08:08 constructed folding proof (mem: 880.67 MiB) 18:08:08 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 880.67 MiB) 18:08:08 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000089e9a733905917949daf0c71c2b6c009 (mem: 880.67 MiB) 18:08:08 ClientIVC: accumulating private_kernel_inner (mem: 880.67 MiB) 18:08:08 Constructing DeciderProvingKey (mem: 880.67 MiB) 18:08:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 880.67 MiB) 18:08:08 goblin ecc op : 792/1024 (mem: 880.67 MiB) 18:08:08 busread : 4184/6000 (mem: 880.67 MiB) 18:08:08 lookups : 2/15000 (mem: 880.67 MiB) 18:08:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 880.67 MiB) 18:08:08 arithmetic : 44790/56000 (mem: 880.67 MiB) 18:08:08 delta range : 4986/18000 (mem: 880.67 MiB) 18:08:08 elliptic : 340/6000 (mem: 880.67 MiB) 18:08:08 auxiliary : 1399/26000 (mem: 880.67 MiB) 18:08:08 poseidon ext : 6502/17000 (mem: 880.67 MiB) 18:08:08 poseidon int : 37052/92000 (mem: 880.67 MiB) 18:08:08 overflow : 0/0 (mem: 880.67 MiB) 18:08:08 (mem: 880.67 MiB) 18:08:08 Total structured size: 242025 (mem: 880.67 MiB) 18:08:08 allocating polynomials object in proving key... (mem: 880.67 MiB) 18:08:08 populating trace... (mem: 880.67 MiB) 18:08:08 time to construct proving key: 48 ms. (mem: 880.67 MiB) 18:08:08 getting honk vk... precomputed?: 0x615c752c2c00 (mem: 880.67 MiB) 18:08:08 computing folding proof (mem: 880.67 MiB) 18:08:08 vkey hash in Oink prover: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 880.67 MiB) 18:08:09 oink prover on each incomplete key (mem: 880.67 MiB) 18:08:09 perturbator round (mem: 880.67 MiB) 18:08:09 combiner quotient round (mem: 881.86 MiB) 18:08:09 folded (mem: 881.86 MiB) 18:08:09 constructed folding proof (mem: 881.86 MiB) 18:08:09 ClientIVC: accumulating EcdsaRAccount:constructor (mem: 881.86 MiB) 18:08:09 Constructing DeciderProvingKey (mem: 881.86 MiB) 18:08:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 881.86 MiB) 18:08:09 goblin ecc op : 4/1024 (mem: 881.86 MiB) 18:08:09 busread : 742/6000 (mem: 881.86 MiB) 18:08:09 lookups : 11498/15000 (mem: 881.86 MiB) 18:08:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 881.86 MiB) 18:08:09 arithmetic : 16339/56000 (mem: 881.86 MiB) 18:08:09 delta range : 2370/18000 (mem: 881.86 MiB) 18:08:09 elliptic : 1008/6000 (mem: 881.86 MiB) 18:08:09 auxiliary : 704/26000 (mem: 881.86 MiB) 18:08:09 poseidon ext : 352/17000 (mem: 881.86 MiB) 18:08:09 poseidon int : 1997/92000 (mem: 881.86 MiB) 18:08:09 overflow : 0/0 (mem: 881.86 MiB) 18:08:09 (mem: 881.86 MiB) 18:08:09 Total structured size: 242025 (mem: 881.86 MiB) 18:08:09 allocating polynomials object in proving key... (mem: 881.86 MiB) 18:08:09 populating trace... (mem: 881.86 MiB) 18:08:09 time to construct proving key: 35 ms. (mem: 881.86 MiB) 18:08:09 getting honk vk... precomputed?: 0x615c76468580 (mem: 881.86 MiB) 18:08:09 computing folding proof (mem: 881.86 MiB) 18:08:09 vkey hash in Oink prover: 0x00000000000000000000000000000000f779ba39389349715c6a3dc9d68aa1a8 (mem: 881.86 MiB) 18:08:09 oink prover on each incomplete key (mem: 881.86 MiB) 18:08:09 perturbator round (mem: 881.86 MiB) 18:08:09 combiner quotient round (mem: 881.86 MiB) 18:08:10 folded (mem: 881.86 MiB) 18:08:10 constructed folding proof (mem: 881.86 MiB) 18:08:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 881.86 MiB) 18:08:10 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f779ba39389349715c6a3dc9d68aa1a8 (mem: 881.86 MiB) 18:08:10 ClientIVC: accumulating private_kernel_inner (mem: 881.86 MiB) 18:08:10 Constructing DeciderProvingKey (mem: 881.86 MiB) 18:08:10 Gate blocks summary: (actual gates / fixed capacity) (mem: 881.86 MiB) 18:08:10 goblin ecc op : 792/1024 (mem: 881.86 MiB) 18:08:10 busread : 4184/6000 (mem: 881.86 MiB) 18:08:10 lookups : 2/15000 (mem: 881.86 MiB) 18:08:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 881.86 MiB) 18:08:10 arithmetic : 44790/56000 (mem: 881.86 MiB) 18:08:10 delta range : 4986/18000 (mem: 881.86 MiB) 18:08:10 elliptic : 340/6000 (mem: 881.86 MiB) 18:08:10 auxiliary : 1399/26000 (mem: 881.86 MiB) 18:08:10 poseidon ext : 6502/17000 (mem: 881.86 MiB) 18:08:10 poseidon int : 37052/92000 (mem: 881.86 MiB) 18:08:10 overflow : 0/0 (mem: 881.86 MiB) 18:08:10 (mem: 881.86 MiB) 18:08:10 Total structured size: 242025 (mem: 881.86 MiB) 18:08:10 allocating polynomials object in proving key... (mem: 881.86 MiB) 18:08:10 populating trace... (mem: 881.86 MiB) 18:08:10 time to construct proving key: 45 ms. (mem: 881.86 MiB) 18:08:10 getting honk vk... precomputed?: 0x615c73c9cf40 (mem: 881.86 MiB) 18:08:10 computing folding proof (mem: 881.86 MiB) 18:08:10 vkey hash in Oink prover: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 881.86 MiB) 18:08:10 oink prover on each incomplete key (mem: 881.86 MiB) 18:08:10 perturbator round (mem: 881.86 MiB) 18:08:10 combiner quotient round (mem: 884.98 MiB) 18:08:10 folded (mem: 884.98 MiB) 18:08:10 constructed folding proof (mem: 884.98 MiB) 18:08:11 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 884.98 MiB) 18:08:11 Constructing DeciderProvingKey (mem: 884.98 MiB) 18:08:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 884.98 MiB) 18:08:11 goblin ecc op : 4/1024 (mem: 884.98 MiB) 18:08:11 busread : 742/6000 (mem: 884.98 MiB) 18:08:11 lookups : 2898/15000 (mem: 884.98 MiB) 18:08:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 884.98 MiB) 18:08:11 arithmetic : 39593/56000 (mem: 884.98 MiB) 18:08:11 delta range : 17451/18000 (mem: 884.98 MiB) 18:08:11 elliptic : 2/6000 (mem: 884.98 MiB) 18:08:11 auxiliary : 25394/26000 (mem: 884.98 MiB) 18:08:11 poseidon ext : 322/17000 (mem: 884.98 MiB) 18:08:11 poseidon int : 1826/92000 (mem: 884.98 MiB) 18:08:11 overflow : 0/0 (mem: 884.98 MiB) 18:08:11 (mem: 884.98 MiB) 18:08:11 Total structured size: 242025 (mem: 884.98 MiB) 18:08:11 allocating polynomials object in proving key... (mem: 884.98 MiB) 18:08:11 populating trace... (mem: 884.98 MiB) 18:08:11 time to construct proving key: 68 ms. (mem: 884.98 MiB) 18:08:11 getting honk vk... precomputed?: 0x615c73c9e400 (mem: 884.98 MiB) 18:08:11 computing folding proof (mem: 884.98 MiB) 18:08:11 vkey hash in Oink prover: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 884.98 MiB) 18:08:11 oink prover on each incomplete key (mem: 884.98 MiB) 18:08:11 perturbator round (mem: 884.98 MiB) 18:08:11 combiner quotient round (mem: 887.27 MiB) 18:08:11 folded (mem: 887.27 MiB) 18:08:11 constructed folding proof (mem: 887.27 MiB) 18:08:11 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 887.27 MiB) 18:08:11 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 887.27 MiB) 18:08:11 ClientIVC: accumulating private_kernel_inner (mem: 887.27 MiB) 18:08:11 Constructing DeciderProvingKey (mem: 887.27 MiB) 18:08:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 887.27 MiB) 18:08:11 goblin ecc op : 792/1024 (mem: 887.27 MiB) 18:08:11 busread : 4184/6000 (mem: 887.27 MiB) 18:08:11 lookups : 2/15000 (mem: 887.27 MiB) 18:08:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 887.27 MiB) 18:08:11 arithmetic : 44790/56000 (mem: 887.27 MiB) 18:08:11 delta range : 4986/18000 (mem: 887.27 MiB) 18:08:11 elliptic : 340/6000 (mem: 887.27 MiB) 18:08:11 auxiliary : 1399/26000 (mem: 887.27 MiB) 18:08:11 poseidon ext : 6502/17000 (mem: 887.27 MiB) 18:08:11 poseidon int : 37052/92000 (mem: 887.27 MiB) 18:08:11 overflow : 0/0 (mem: 887.27 MiB) 18:08:11 (mem: 887.27 MiB) 18:08:11 Total structured size: 242025 (mem: 887.27 MiB) 18:08:11 allocating polynomials object in proving key... (mem: 887.27 MiB) 18:08:11 populating trace... (mem: 887.27 MiB) 18:08:12 time to construct proving key: 50 ms. (mem: 887.27 MiB) 18:08:12 getting honk vk... precomputed?: 0x615c752b2680 (mem: 887.27 MiB) 18:08:12 computing folding proof (mem: 887.27 MiB) 18:08:12 vkey hash in Oink prover: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 887.27 MiB) 18:08:12 oink prover on each incomplete key (mem: 887.27 MiB) 18:08:12 perturbator round (mem: 887.27 MiB) 18:08:12 combiner quotient round (mem: 888.07 MiB) 18:08:12 folded (mem: 888.07 MiB) 18:08:12 constructed folding proof (mem: 888.07 MiB) 18:08:12 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 888.07 MiB) 18:08:12 Constructing DeciderProvingKey (mem: 888.07 MiB) 18:08:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 888.07 MiB) 18:08:12 goblin ecc op : 4/1024 (mem: 888.07 MiB) 18:08:12 busread : 742/6000 (mem: 888.07 MiB) 18:08:12 lookups : 2/15000 (mem: 888.07 MiB) 18:08:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 888.07 MiB) 18:08:12 arithmetic : 3274/56000 (mem: 888.07 MiB) 18:08:12 delta range : 1785/18000 (mem: 888.07 MiB) 18:08:12 elliptic : 2/6000 (mem: 888.07 MiB) 18:08:12 auxiliary : 26/26000 (mem: 888.07 MiB) 18:08:12 poseidon ext : 2/17000 (mem: 888.07 MiB) 18:08:12 poseidon int : 2/92000 (mem: 888.07 MiB) 18:08:12 overflow : 0/0 (mem: 888.07 MiB) 18:08:12 (mem: 888.07 MiB) 18:08:12 Total structured size: 242025 (mem: 888.07 MiB) 18:08:12 allocating polynomials object in proving key... (mem: 888.07 MiB) 18:08:12 populating trace... (mem: 888.07 MiB) 18:08:12 time to construct proving key: 15 ms. (mem: 888.07 MiB) 18:08:12 getting honk vk... precomputed?: 0x615c7579a140 (mem: 888.07 MiB) 18:08:12 computing folding proof (mem: 888.07 MiB) 18:08:12 vkey hash in Oink prover: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: 888.07 MiB) 18:08:12 oink prover on each incomplete key (mem: 888.07 MiB) 18:08:12 perturbator round (mem: 888.07 MiB) 18:08:13 combiner quotient round (mem: 888.07 MiB) 18:08:13 folded (mem: 888.07 MiB) 18:08:13 constructed folding proof (mem: 888.07 MiB) 18:08:13 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 888.07 MiB) 18:08:13 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: 888.07 MiB) 18:08:13 ClientIVC: accumulating private_kernel_inner (mem: 888.07 MiB) 18:08:13 Constructing DeciderProvingKey (mem: 888.07 MiB) 18:08:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 888.07 MiB) 18:08:13 goblin ecc op : 792/1024 (mem: 888.07 MiB) 18:08:13 busread : 4184/6000 (mem: 888.07 MiB) 18:08:13 lookups : 2/15000 (mem: 888.07 MiB) 18:08:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 888.07 MiB) 18:08:13 arithmetic : 44790/56000 (mem: 888.07 MiB) 18:08:13 delta range : 4986/18000 (mem: 888.07 MiB) 18:08:13 elliptic : 340/6000 (mem: 888.07 MiB) 18:08:13 auxiliary : 1399/26000 (mem: 888.07 MiB) 18:08:13 poseidon ext : 6502/17000 (mem: 888.07 MiB) 18:08:13 poseidon int : 37052/92000 (mem: 888.07 MiB) 18:08:13 overflow : 0/0 (mem: 888.07 MiB) 18:08:13 (mem: 888.07 MiB) 18:08:13 Total structured size: 242025 (mem: 888.07 MiB) 18:08:13 allocating polynomials object in proving key... (mem: 888.07 MiB) 18:08:13 populating trace... (mem: 888.07 MiB) 18:08:13 time to construct proving key: 48 ms. (mem: 888.07 MiB) 18:08:13 getting honk vk... precomputed?: 0x615c76467080 (mem: 888.07 MiB) 18:08:13 computing folding proof (mem: 888.07 MiB) 18:08:13 vkey hash in Oink prover: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 888.07 MiB) 18:08:13 oink prover on each incomplete key (mem: 888.07 MiB) 18:08:13 perturbator round (mem: 888.07 MiB) 18:08:14 combiner quotient round (mem: 888.78 MiB) 18:08:14 folded (mem: 888.78 MiB) 18:08:14 constructed folding proof (mem: 888.78 MiB) 18:08:14 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bb86656641cc8d63a6a074b543537106 (mem: 888.78 MiB) 18:08:14 ClientIVC: accumulating private_kernel_reset (mem: 888.78 MiB) 18:08:14 Constructing DeciderProvingKey (mem: 888.78 MiB) 18:08:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 888.78 MiB) 18:08:14 goblin ecc op : 392/1024 (mem: 888.78 MiB) 18:08:14 busread : 2347/6000 (mem: 888.78 MiB) 18:08:14 lookups : 2/15000 (mem: 888.78 MiB) 18:08:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 888.78 MiB) 18:08:14 arithmetic : 36701/56000 (mem: 888.78 MiB) 18:08:14 delta range : 4286/18000 (mem: 888.78 MiB) 18:08:14 elliptic : 1274/6000 (mem: 888.78 MiB) 18:08:14 auxiliary : 12562/26000 (mem: 888.78 MiB) 18:08:14 poseidon ext : 6522/17000 (mem: 888.78 MiB) 18:08:14 poseidon int : 37166/92000 (mem: 888.78 MiB) 18:08:14 overflow : 0/0 (mem: 888.78 MiB) 18:08:14 (mem: 888.78 MiB) 18:08:14 Total structured size: 242025 (mem: 888.78 MiB) 18:08:14 allocating polynomials object in proving key... (mem: 888.78 MiB) 18:08:14 populating trace... (mem: 888.78 MiB) 18:08:14 time to construct proving key: 53 ms. (mem: 888.78 MiB) 18:08:14 getting honk vk... precomputed?: 0x615c73a8e6c0 (mem: 888.78 MiB) 18:08:14 computing folding proof (mem: 888.78 MiB) 18:08:14 vkey hash in Oink prover: 0x00000000000000000000000000000000ffa68df52d87b7d20093c5ea60ed6ebc (mem: 888.78 MiB) 18:08:14 oink prover on each incomplete key (mem: 888.78 MiB) 18:08:14 perturbator round (mem: 888.78 MiB) 18:08:15 combiner quotient round (mem: 894.48 MiB) 18:08:15 folded (mem: 894.48 MiB) 18:08:15 constructed folding proof (mem: 894.48 MiB) 18:08:15 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000ffa68df52d87b7d20093c5ea60ed6ebc (mem: 894.48 MiB) 18:08:15 ClientIVC: accumulating private_kernel_tail (mem: 894.48 MiB) 18:08:15 Constructing DeciderProvingKey (mem: 894.48 MiB) 18:08:15 Gate blocks summary: (actual gates / fixed capacity) (mem: 894.48 MiB) 18:08:15 goblin ecc op : 392/1024 (mem: 894.48 MiB) 18:08:15 busread : 206/6000 (mem: 894.48 MiB) 18:08:15 lookups : 2/15000 (mem: 894.48 MiB) 18:08:15 pub inputs : 836/5000 (populated in decider pk constructor) (mem: 894.48 MiB) 18:08:15 arithmetic : 11625/56000 (mem: 894.48 MiB) 18:08:15 delta range : 2960/18000 (mem: 894.48 MiB) 18:08:15 elliptic : 2/6000 (mem: 894.48 MiB) 18:08:15 auxiliary : 2290/26000 (mem: 894.48 MiB) 18:08:15 poseidon ext : 2962/17000 (mem: 894.48 MiB) 18:08:15 poseidon int : 16874/92000 (mem: 894.48 MiB) 18:08:15 overflow : 0/0 (mem: 894.48 MiB) 18:08:15 (mem: 894.48 MiB) 18:08:15 Total structured size: 242025 (mem: 894.48 MiB) 18:08:15 allocating polynomials object in proving key... (mem: 894.48 MiB) 18:08:15 populating trace... (mem: 894.48 MiB) 18:08:15 time to construct proving key: 28 ms. (mem: 894.48 MiB) 18:08:15 getting honk vk... precomputed?: 0x615c73fc8a40 (mem: 894.48 MiB) 18:08:15 computing folding proof (mem: 894.48 MiB) 18:08:15 vkey hash in Oink prover: 0x0000000000000000000000000000000002c49f4011c11da1e0842bc4d6f1af2a (mem: 894.48 MiB) 18:08:15 oink prover on each incomplete key (mem: 894.48 MiB) 18:08:15 perturbator round (mem: 894.48 MiB) 18:08:15 combiner quotient round (mem: 894.48 MiB) 18:08:15 folded (mem: 894.48 MiB) 18:08:15 constructed folding proof (mem: 894.48 MiB) 18:08:15 Largest circuit: 100860 gates. Trace details: (mem: 894.48 MiB) 18:08:15 Minimum required block sizes for structured trace: (mem: 894.48 MiB) 18:08:15 ecc_op : 792 18:08:15 busread : 4184 18:08:15 lookup : 11498 18:08:15 pub_inputs : 836 18:08:15 arithmetic : 44790 18:08:15 delta_range : 17451 18:08:15 elliptic : 1274 18:08:15 aux : 25394 18:08:15 poseidon2_external : 6522 18:08:15 poseidon2_internal : 37166 18:08:15 overflow : 0 18:08:15 (mem: 894.48 MiB) 18:08:15 prove decider... (mem: 894.48 MiB) 18:08:16 starting sumcheck rounds... (mem: 894.48 MiB) 18:08:16 completed 18 rounds of sumcheck (mem: 894.48 MiB) 18:08:16 executed multivariate-to-univariate reduction (mem: 894.48 MiB) 18:08:16 computed opening proof (mem: 894.48 MiB) 18:08:16 finished decider proving. (mem: 894.48 MiB) 18:08:16 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000002c49f4011c11da1e0842bc4d6f1af2a (mem: 894.48 MiB) 18:08:16 Constructing DeciderProvingKey (mem: 894.48 MiB) 18:08:16 allocating polynomials object in proving key... (mem: 894.48 MiB) 18:08:16 populating trace... (mem: 894.48 MiB) 18:08:16 time to construct proving key: 43 ms. (mem: 894.48 MiB) 18:08:17 vkey hash in Oink prover: 0x00000000000000000000000000000000b70d3c345f2067f63b709aaa31ae83b1 (mem: 894.48 MiB) 18:08:17 created oink proof (mem: 894.48 MiB) 18:08:17 starting sumcheck rounds... (mem: 894.48 MiB) 18:08:17 completed 17 rounds of sumcheck (mem: 894.48 MiB) 18:08:18 executed multivariate-to-univariate reduction (mem: 894.48 MiB) 18:08:18 computed opening proof (mem: 894.48 MiB) 18:08:18 finished decider proving. (mem: 894.48 MiB) 18:08:18 Constructing a Goblin proof with num ultra ops = 5410 (mem: 894.48 MiB) 18:08:18 prove eccvm... (mem: 894.48 MiB) 18:08:18 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 894.48 MiB) 18:08:18 Initialized Grumpkin prover CRS from memory with num points = 65601 (mem: 894.48 MiB) 18:08:19 starting sumcheck rounds... (mem: 894.48 MiB) 18:08:20 completed 16 rounds of sumcheck (mem: 894.48 MiB) 18:08:21 finished eccvm proving. (mem: 894.48 MiB) 18:08:21 prove translator... (mem: 894.48 MiB) 18:08:22 starting sumcheck rounds... (mem: 894.48 MiB) 18:08:23 completed 18 rounds of sumcheck (mem: 894.48 MiB) 18:08:24 computed opening proof (mem: 894.48 MiB) 18:08:24 finished translator proving. (mem: 894.48 MiB) 18:08:24 vkey hash in Oink verifier: 0x00000000000000000000000000000000b70d3c345f2067f63b709aaa31ae83b1 (mem: 894.48 MiB) 18:08:24 sumcheck_verified: 1 (mem: 894.48 MiB) 18:08:24 libra_evals_verified: 1 (mem: 894.48 MiB) 18:08:24 pairing_check_verified: 1 (mem: 894.48 MiB) 18:08:24 Mega verified: 1 (mem: 894.48 MiB) 18:08:24 eccvm sumcheck verified?: 1 (mem: 894.48 MiB) 18:08:24 batch opening verified?: 1 (mem: 894.48 MiB) 18:08:24 eccvm consistency check verified?: 1 (mem: 894.48 MiB) 18:08:24 translation masking consistency checked?: 1 (mem: 894.48 MiB) 18:08:24 merge verified?: 1 (mem: 895.03 MiB) 18:08:24 eccvm verified?: 1 (mem: 895.03 MiB) 18:08:24 accumulator construction_verified?: 1 (mem: 895.03 MiB) 18:08:24 translation verified?: 1 (mem: 895.03 MiB) 18:08:24 consistency verified?: 1 (mem: 895.03 MiB) 18:08:24 Goblin verified: 1 (mem: 895.03 MiB) 18:08:24 writing ClientIVC proof in directory "bench-out/app-proving/deploy_ecdsar1+sponsored_fpc/native" (mem: 895.03 MiB) 18:08:24 deploy_ecdsar1+sponsored_fpc (native) has proven in 19s and peak memory of 895MB. 18:08:25 deploy_ecdsar1+sponsored_fpc (native) has verified.