Parent Log: http://ci.aztec-labs.com/b2306dcf8882447d Command: d8033ca60b1dba76:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh native ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc Commit: https://github.com/AztecProtocol/aztec-packages/commit/9ddf7d35886489afed34aca3cb819b32c86194b4 Env: REF_NAME=gh-readonly-queue/next/pr-15215-99e234fe4473771b32124e0402885610a6a3f98a CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 09:40:01 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15215_amd64_x3-full Resources: CPU_LIST=24,25,26,27,28,29,30,31 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_d7379c3cde458784_next 09:40:01 --- bb ivc flow bench --- 09:40:01 bb command: prove (mem: 9.00 MiB) 09:40:01 Scheme is: client_ivc, num threads: 8 (mem: 9.00 MiB) 09:40:01 --scheme: client_ivc (mem: 9.00 MiB) 09:40:01 --output_path: bench-out/app-proving/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/native (mem: 9.00 MiB) 09:40:01 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/ivc-inputs.msgpack (mem: 9.00 MiB) 09:40:01 --verbose: true (mem: 9.00 MiB) 09:40:02 BN254 commitment key size: 262144 (mem: 264.05 MiB) 09:40:02 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 264.05 MiB) 09:40:02 Initialized BN254 CRS from memory with num points = 262145 (mem: 264.05 MiB) 09:40:03 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: 264.05 MiB) 09:40:03 Constructing DeciderProvingKey (mem: 264.05 MiB) 09:40:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 264.05 MiB) 09:40:03 goblin ecc op : 4/1024 (mem: 264.05 MiB) 09:40:03 busread : 742/6000 (mem: 264.05 MiB) 09:40:03 lookups : 2898/15000 (mem: 264.05 MiB) 09:40:03 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 264.05 MiB) 09:40:03 arithmetic : 39593/56000 (mem: 264.05 MiB) 09:40:03 delta range : 17451/18000 (mem: 264.05 MiB) 09:40:03 elliptic : 2/6000 (mem: 264.05 MiB) 09:40:03 auxiliary : 25394/26000 (mem: 264.05 MiB) 09:40:03 poseidon ext : 322/17000 (mem: 264.05 MiB) 09:40:03 poseidon int : 1826/92000 (mem: 264.05 MiB) 09:40:03 overflow : 0/0 (mem: 264.05 MiB) 09:40:03 (mem: 264.05 MiB) 09:40:03 Total structured size: 242025 (mem: 264.05 MiB) 09:40:03 allocating polynomials object in proving key... (mem: 264.05 MiB) 09:40:03 populating trace... (mem: 444.64 MiB) 09:40:03 time to construct proving key: 79 ms. (mem: 457.64 MiB) 09:40:03 getting honk vk... precomputed?: 0x5baa43279480 (mem: 457.64 MiB) 09:40:03 computing oink proof... (mem: 457.64 MiB) 09:40:03 vkey hash in Oink prover: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 458.64 MiB) 09:40:03 oink proof constructed (mem: 465.64 MiB) 09:40:03 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: 465.64 MiB) 09:40:03 ClientIVC: accumulating private_kernel_init (mem: 465.64 MiB) 09:40:03 Constructing DeciderProvingKey (mem: 465.64 MiB) 09:40:03 Gate blocks summary: (actual gates / fixed capacity) (mem: 465.64 MiB) 09:40:03 goblin ecc op : 56/1024 (mem: 465.64 MiB) 09:40:03 busread : 2529/6000 (mem: 465.64 MiB) 09:40:03 lookups : 2/15000 (mem: 465.64 MiB) 09:40:03 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 465.64 MiB) 09:40:03 arithmetic : 21146/56000 (mem: 465.64 MiB) 09:40:03 delta range : 3034/18000 (mem: 465.64 MiB) 09:40:03 elliptic : 340/6000 (mem: 465.64 MiB) 09:40:03 auxiliary : 799/26000 (mem: 465.64 MiB) 09:40:03 poseidon ext : 2022/17000 (mem: 465.64 MiB) 09:40:03 poseidon int : 11516/92000 (mem: 465.64 MiB) 09:40:03 overflow : 0/0 (mem: 465.64 MiB) 09:40:03 (mem: 465.64 MiB) 09:40:03 Total structured size: 242025 (mem: 465.64 MiB) 09:40:03 allocating polynomials object in proving key... (mem: 465.64 MiB) 09:40:03 populating trace... (mem: 627.64 MiB) 09:40:03 time to construct proving key: 33 ms. (mem: 645.64 MiB) 09:40:03 getting honk vk... precomputed?: 0x5baa448193c0 (mem: 645.64 MiB) 09:40:03 computing folding proof (mem: 645.64 MiB) 09:40:03 vkey hash in Oink prover: 0x00000000000000000000000000000000db800623f47e05f23976e61d25ddc383 (mem: 645.64 MiB) 09:40:03 oink prover on each incomplete key (mem: 645.64 MiB) 09:40:03 perturbator round (mem: 673.64 MiB) 09:40:04 combiner quotient round (mem: 705.64 MiB) 09:40:04 folded (mem: 705.64 MiB) 09:40:04 constructed folding proof (mem: 705.64 MiB) 09:40:04 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: 705.64 MiB) 09:40:04 Constructing DeciderProvingKey (mem: 705.64 MiB) 09:40:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 705.64 MiB) 09:40:04 goblin ecc op : 4/1024 (mem: 705.64 MiB) 09:40:04 busread : 742/6000 (mem: 705.64 MiB) 09:40:04 lookups : 2/15000 (mem: 705.64 MiB) 09:40:04 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 705.64 MiB) 09:40:04 arithmetic : 3274/56000 (mem: 705.64 MiB) 09:40:04 delta range : 1785/18000 (mem: 705.64 MiB) 09:40:04 elliptic : 2/6000 (mem: 705.64 MiB) 09:40:04 auxiliary : 26/26000 (mem: 705.64 MiB) 09:40:04 poseidon ext : 2/17000 (mem: 705.64 MiB) 09:40:04 poseidon int : 2/92000 (mem: 705.64 MiB) 09:40:04 overflow : 0/0 (mem: 705.64 MiB) 09:40:04 (mem: 705.64 MiB) 09:40:04 Total structured size: 242025 (mem: 705.64 MiB) 09:40:04 allocating polynomials object in proving key... (mem: 705.64 MiB) 09:40:04 populating trace... (mem: 705.64 MiB) 09:40:04 time to construct proving key: 15 ms. (mem: 705.64 MiB) 09:40:04 getting honk vk... precomputed?: 0x5baa41fe5380 (mem: 705.64 MiB) 09:40:04 computing folding proof (mem: 705.64 MiB) 09:40:04 vkey hash in Oink prover: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: 705.64 MiB) 09:40:04 oink prover on each incomplete key (mem: 705.64 MiB) 09:40:04 perturbator round (mem: 705.64 MiB) 09:40:04 combiner quotient round (mem: 706.92 MiB) 09:40:04 folded (mem: 706.92 MiB) 09:40:04 constructed folding proof (mem: 706.92 MiB) 09:40:04 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000db800623f47e05f23976e61d25ddc383 (mem: 706.92 MiB) 09:40:04 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: 706.92 MiB) 09:40:04 ClientIVC: accumulating private_kernel_inner (mem: 706.92 MiB) 09:40:04 Constructing DeciderProvingKey (mem: 706.92 MiB) 09:40:04 Gate blocks summary: (actual gates / fixed capacity) (mem: 706.92 MiB) 09:40:04 goblin ecc op : 792/1024 (mem: 706.92 MiB) 09:40:04 busread : 4184/6000 (mem: 706.92 MiB) 09:40:04 lookups : 2/15000 (mem: 706.92 MiB) 09:40:04 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 706.92 MiB) 09:40:04 arithmetic : 43809/56000 (mem: 706.92 MiB) 09:40:04 delta range : 5025/18000 (mem: 706.92 MiB) 09:40:04 elliptic : 340/6000 (mem: 706.92 MiB) 09:40:04 auxiliary : 1399/26000 (mem: 706.92 MiB) 09:40:04 poseidon ext : 5682/17000 (mem: 706.92 MiB) 09:40:04 poseidon int : 32378/92000 (mem: 706.92 MiB) 09:40:04 overflow : 0/0 (mem: 706.92 MiB) 09:40:04 (mem: 706.92 MiB) 09:40:04 Total structured size: 242025 (mem: 706.92 MiB) 09:40:04 allocating polynomials object in proving key... (mem: 706.92 MiB) 09:40:04 populating trace... (mem: 706.92 MiB) 09:40:04 time to construct proving key: 45 ms. (mem: 706.92 MiB) 09:40:04 getting honk vk... precomputed?: 0x5baa4477fe00 (mem: 706.92 MiB) 09:40:04 computing folding proof (mem: 706.92 MiB) 09:40:04 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 706.92 MiB) 09:40:05 oink prover on each incomplete key (mem: 706.92 MiB) 09:40:05 perturbator round (mem: 711.27 MiB) 09:40:05 combiner quotient round (mem: 743.27 MiB) 09:40:05 folded (mem: 743.27 MiB) 09:40:05 constructed folding proof (mem: 743.27 MiB) 09:40:05 ClientIVC: accumulating ContractClassRegisterer:register (mem: 743.27 MiB) 09:40:05 Constructing DeciderProvingKey (mem: 743.27 MiB) 09:40:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 743.27 MiB) 09:40:05 goblin ecc op : 4/1024 (mem: 743.27 MiB) 09:40:05 busread : 742/6000 (mem: 743.27 MiB) 09:40:05 lookups : 2/15000 (mem: 743.27 MiB) 09:40:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 743.27 MiB) 09:40:05 arithmetic : 96926/56000 (mem: 743.27 MiB) 09:40:05 delta range : 8579/18000 (mem: 743.27 MiB) 09:40:05 elliptic : 2/6000 (mem: 743.27 MiB) 09:40:05 auxiliary : 18075/26000 (mem: 743.27 MiB) 09:40:05 poseidon ext : 20132/17000 (mem: 743.27 MiB) 09:40:05 poseidon int : 114743/92000 (mem: 743.27 MiB) 09:40:05 overflow : 0/0 (mem: 743.27 MiB) 09:40:05 (mem: 743.27 MiB) 09:40:05 Total structured size: 242025 (mem: 743.27 MiB) 09:40:05 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: 743.27 MiB) 09:40:05 Gate blocks summary: (actual gates / fixed capacity) (mem: 743.27 MiB) 09:40:05 goblin ecc op : 4/1024 (mem: 743.27 MiB) 09:40:05 busread : 742/6000 (mem: 743.27 MiB) 09:40:05 lookups : 2/15000 (mem: 743.27 MiB) 09:40:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 743.27 MiB) 09:40:05 arithmetic : 56000/56000 (mem: 743.27 MiB) 09:40:05 delta range : 8579/18000 (mem: 743.27 MiB) 09:40:05 elliptic : 2/6000 (mem: 743.27 MiB) 09:40:05 auxiliary : 18075/26000 (mem: 743.27 MiB) 09:40:05 poseidon ext : 17000/17000 (mem: 743.27 MiB) 09:40:05 poseidon int : 92000/92000 (mem: 743.27 MiB) 09:40:05 overflow : 66804/66804 (mem: 743.27 MiB) 09:40:05 (mem: 743.27 MiB) 09:40:05 Total structured size: 308829 (mem: 743.27 MiB) 09:40:05 allocating polynomials object in proving key... (mem: 743.27 MiB) 09:40:05 populating trace... (mem: 1512.06 MiB) 09:40:06 time to construct proving key: 198 ms. (mem: 1557.06 MiB) 09:40:06 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1557.06 MiB) 09:40:06 Initialized BN254 CRS from memory with num points = 524289 (mem: 1589.06 MiB) 09:40:06 getting honk vk... precomputed?: 0x5baa49abba80 (mem: 1589.06 MiB) 09:40:06 computing folding proof (mem: 1589.06 MiB) 09:40:06 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: 1589.06 MiB) 09:40:06 vkey hash in Oink prover: 0x0000000000000000000000000000000000f894d9d88f80fc4ff42a905aad8540 (mem: 1589.06 MiB) 09:40:07 oink prover on each incomplete key (mem: 1589.06 MiB) 09:40:07 perturbator round (mem: 1589.06 MiB) 09:40:07 combiner quotient round (mem: 1593.16 MiB) 09:40:07 folded (mem: 1593.16 MiB) 09:40:07 constructed folding proof (mem: 1593.16 MiB) 09:40:07 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 1593.16 MiB) 09:40:07 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000000f894d9d88f80fc4ff42a905aad8540 (mem: 1593.16 MiB) 09:40:07 ClientIVC: accumulating private_kernel_inner (mem: 1593.16 MiB) 09:40:07 Constructing DeciderProvingKey (mem: 1593.16 MiB) 09:40:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 1593.16 MiB) 09:40:07 goblin ecc op : 792/1024 (mem: 1593.16 MiB) 09:40:07 busread : 4184/6000 (mem: 1593.16 MiB) 09:40:07 lookups : 2/15000 (mem: 1593.16 MiB) 09:40:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1593.16 MiB) 09:40:07 arithmetic : 43809/56000 (mem: 1593.16 MiB) 09:40:07 delta range : 5025/18000 (mem: 1593.16 MiB) 09:40:07 elliptic : 340/6000 (mem: 1593.16 MiB) 09:40:07 auxiliary : 1399/26000 (mem: 1593.16 MiB) 09:40:07 poseidon ext : 5682/17000 (mem: 1593.16 MiB) 09:40:07 poseidon int : 32378/92000 (mem: 1593.16 MiB) 09:40:07 overflow : 0/0 (mem: 1593.16 MiB) 09:40:07 (mem: 1593.16 MiB) 09:40:07 Total structured size: 242025 (mem: 1593.16 MiB) 09:40:07 allocating polynomials object in proving key... (mem: 1593.16 MiB) 09:40:07 populating trace... (mem: 1593.16 MiB) 09:40:07 time to construct proving key: 45 ms. (mem: 1593.16 MiB) 09:40:07 getting honk vk... precomputed?: 0x5baa49a0d7c0 (mem: 1593.16 MiB) 09:40:07 computing folding proof (mem: 1593.16 MiB) 09:40:07 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1593.16 MiB) 09:40:07 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 1593.16 MiB) 09:40:08 oink prover on each incomplete key (mem: 1593.16 MiB) 09:40:08 perturbator round (mem: 1593.16 MiB) 09:40:08 combiner quotient round (mem: 1593.16 MiB) 09:40:08 folded (mem: 1593.16 MiB) 09:40:08 constructed folding proof (mem: 1593.16 MiB) 09:40:08 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: 1593.16 MiB) 09:40:08 Constructing DeciderProvingKey (mem: 1593.16 MiB) 09:40:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 1593.16 MiB) 09:40:08 goblin ecc op : 4/1024 (mem: 1593.16 MiB) 09:40:08 busread : 742/6000 (mem: 1593.16 MiB) 09:40:08 lookups : 2/15000 (mem: 1593.16 MiB) 09:40:08 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1593.16 MiB) 09:40:08 arithmetic : 3656/56000 (mem: 1593.16 MiB) 09:40:08 delta range : 1838/18000 (mem: 1593.16 MiB) 09:40:08 elliptic : 340/6000 (mem: 1593.16 MiB) 09:40:08 auxiliary : 187/26000 (mem: 1593.16 MiB) 09:40:08 poseidon ext : 162/17000 (mem: 1593.16 MiB) 09:40:08 poseidon int : 914/92000 (mem: 1593.16 MiB) 09:40:08 overflow : 0/0 (mem: 1593.16 MiB) 09:40:08 (mem: 1593.16 MiB) 09:40:08 Total structured size: 242025 (mem: 1593.16 MiB) 09:40:08 allocating polynomials object in proving key... (mem: 1593.16 MiB) 09:40:08 populating trace... (mem: 1593.16 MiB) 09:40:08 time to construct proving key: 16 ms. (mem: 1593.16 MiB) 09:40:08 getting honk vk... precomputed?: 0x5baa4228ddc0 (mem: 1593.16 MiB) 09:40:08 computing folding proof (mem: 1593.16 MiB) 09:40:08 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1593.16 MiB) 09:40:08 vkey hash in Oink prover: 0x00000000000000000000000000000000d0f9e87ab5f556ed788ba45ab88ade3a (mem: 1593.16 MiB) 09:40:09 oink prover on each incomplete key (mem: 1593.16 MiB) 09:40:09 perturbator round (mem: 1593.16 MiB) 09:40:09 combiner quotient round (mem: 1593.16 MiB) 09:40:09 folded (mem: 1593.16 MiB) 09:40:09 constructed folding proof (mem: 1593.16 MiB) 09:40:09 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 1593.16 MiB) 09:40:09 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d0f9e87ab5f556ed788ba45ab88ade3a (mem: 1593.16 MiB) 09:40:09 ClientIVC: accumulating private_kernel_inner (mem: 1593.16 MiB) 09:40:09 Constructing DeciderProvingKey (mem: 1593.16 MiB) 09:40:09 Gate blocks summary: (actual gates / fixed capacity) (mem: 1593.16 MiB) 09:40:09 goblin ecc op : 792/1024 (mem: 1593.16 MiB) 09:40:09 busread : 4184/6000 (mem: 1593.16 MiB) 09:40:09 lookups : 2/15000 (mem: 1593.16 MiB) 09:40:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1593.16 MiB) 09:40:09 arithmetic : 43809/56000 (mem: 1593.16 MiB) 09:40:09 delta range : 5025/18000 (mem: 1593.16 MiB) 09:40:09 elliptic : 340/6000 (mem: 1593.16 MiB) 09:40:09 auxiliary : 1399/26000 (mem: 1593.16 MiB) 09:40:09 poseidon ext : 5682/17000 (mem: 1593.16 MiB) 09:40:09 poseidon int : 32378/92000 (mem: 1593.16 MiB) 09:40:09 overflow : 0/0 (mem: 1593.16 MiB) 09:40:09 (mem: 1593.16 MiB) 09:40:09 Total structured size: 242025 (mem: 1593.16 MiB) 09:40:09 allocating polynomials object in proving key... (mem: 1593.16 MiB) 09:40:09 populating trace... (mem: 1593.16 MiB) 09:40:09 time to construct proving key: 45 ms. (mem: 1593.16 MiB) 09:40:09 getting honk vk... precomputed?: 0x5baa4228e640 (mem: 1593.16 MiB) 09:40:09 computing folding proof (mem: 1593.16 MiB) 09:40:09 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1593.16 MiB) 09:40:09 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 1593.16 MiB) 09:40:10 oink prover on each incomplete key (mem: 1593.16 MiB) 09:40:10 perturbator round (mem: 1593.16 MiB) 09:40:10 combiner quotient round (mem: 1593.16 MiB) 09:40:11 folded (mem: 1593.16 MiB) 09:40:11 constructed folding proof (mem: 1593.16 MiB) 09:40:11 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: 1593.16 MiB) 09:40:11 Constructing DeciderProvingKey (mem: 1593.16 MiB) 09:40:11 Gate blocks summary: (actual gates / fixed capacity) (mem: 1593.16 MiB) 09:40:11 goblin ecc op : 4/1024 (mem: 1593.16 MiB) 09:40:11 busread : 742/6000 (mem: 1593.16 MiB) 09:40:11 lookups : 2/15000 (mem: 1593.16 MiB) 09:40:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 1593.16 MiB) 09:40:11 arithmetic : 3287/56000 (mem: 1593.16 MiB) 09:40:11 delta range : 1787/18000 (mem: 1593.16 MiB) 09:40:11 elliptic : 2/6000 (mem: 1593.16 MiB) 09:40:11 auxiliary : 26/26000 (mem: 1593.16 MiB) 09:40:11 poseidon ext : 12/17000 (mem: 1593.16 MiB) 09:40:11 poseidon int : 59/92000 (mem: 1593.16 MiB) 09:40:11 overflow : 0/0 (mem: 1593.16 MiB) 09:40:11 (mem: 1593.16 MiB) 09:40:11 Total structured size: 242025 (mem: 1593.16 MiB) 09:40:11 allocating polynomials object in proving key... (mem: 1593.16 MiB) 09:40:11 populating trace... (mem: 1593.16 MiB) 09:40:11 time to construct proving key: 15 ms. (mem: 1593.16 MiB) 09:40:11 getting honk vk... precomputed?: 0x5baa499afd40 (mem: 1593.16 MiB) 09:40:11 computing folding proof (mem: 1593.16 MiB) 09:40:11 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1593.16 MiB) 09:40:11 vkey hash in Oink prover: 0x0000000000000000000000000000000089e9a733905917949daf0c71c2b6c009 (mem: 1593.16 MiB) 09:40:11 oink prover on each incomplete key (mem: 1593.16 MiB) 09:40:11 perturbator round (mem: 1593.16 MiB) 09:40:11 combiner quotient round (mem: 1593.16 MiB) 09:40:11 folded (mem: 1593.16 MiB) 09:40:11 constructed folding proof (mem: 1593.16 MiB) 09:40:11 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 1593.16 MiB) 09:40:11 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000089e9a733905917949daf0c71c2b6c009 (mem: 1593.16 MiB) 09:40:12 ClientIVC: accumulating private_kernel_inner (mem: 1593.16 MiB) 09:40:12 Constructing DeciderProvingKey (mem: 1593.16 MiB) 09:40:12 Gate blocks summary: (actual gates / fixed capacity) (mem: 1593.16 MiB) 09:40:12 goblin ecc op : 792/1024 (mem: 1593.16 MiB) 09:40:12 busread : 4184/6000 (mem: 1593.16 MiB) 09:40:12 lookups : 2/15000 (mem: 1593.16 MiB) 09:40:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1593.16 MiB) 09:40:12 arithmetic : 43809/56000 (mem: 1593.16 MiB) 09:40:12 delta range : 5025/18000 (mem: 1593.16 MiB) 09:40:12 elliptic : 340/6000 (mem: 1593.16 MiB) 09:40:12 auxiliary : 1399/26000 (mem: 1593.16 MiB) 09:40:12 poseidon ext : 5682/17000 (mem: 1593.16 MiB) 09:40:12 poseidon int : 32378/92000 (mem: 1593.16 MiB) 09:40:12 overflow : 0/0 (mem: 1593.16 MiB) 09:40:12 (mem: 1593.16 MiB) 09:40:12 Total structured size: 242025 (mem: 1593.16 MiB) 09:40:12 allocating polynomials object in proving key... (mem: 1593.16 MiB) 09:40:12 populating trace... (mem: 1593.16 MiB) 09:40:12 time to construct proving key: 41 ms. (mem: 1593.16 MiB) 09:40:12 getting honk vk... precomputed?: 0x5baa4c2bcf00 (mem: 1593.16 MiB) 09:40:12 computing folding proof (mem: 1593.16 MiB) 09:40:12 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1593.16 MiB) 09:40:12 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 1593.16 MiB) 09:40:12 oink prover on each incomplete key (mem: 1593.16 MiB) 09:40:12 perturbator round (mem: 1593.16 MiB) 09:40:13 combiner quotient round (mem: 1593.16 MiB) 09:40:13 folded (mem: 1593.16 MiB) 09:40:13 constructed folding proof (mem: 1593.16 MiB) 09:40:13 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: 1593.16 MiB) 09:40:13 ClientIVC: accumulating private_kernel_reset (mem: 1593.16 MiB) 09:40:13 Constructing DeciderProvingKey (mem: 1593.16 MiB) 09:40:13 Gate blocks summary: (actual gates / fixed capacity) (mem: 1593.16 MiB) 09:40:13 goblin ecc op : 392/1024 (mem: 1593.16 MiB) 09:40:13 busread : 2347/6000 (mem: 1593.16 MiB) 09:40:13 lookups : 2/15000 (mem: 1593.16 MiB) 09:40:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 1593.16 MiB) 09:40:13 arithmetic : 36210/56000 (mem: 1593.16 MiB) 09:40:13 delta range : 4306/18000 (mem: 1593.16 MiB) 09:40:13 elliptic : 1274/6000 (mem: 1593.16 MiB) 09:40:13 auxiliary : 12562/26000 (mem: 1593.16 MiB) 09:40:13 poseidon ext : 6112/17000 (mem: 1593.16 MiB) 09:40:13 poseidon int : 34829/92000 (mem: 1593.16 MiB) 09:40:13 overflow : 0/0 (mem: 1593.16 MiB) 09:40:13 (mem: 1593.16 MiB) 09:40:13 Total structured size: 242025 (mem: 1593.16 MiB) 09:40:13 allocating polynomials object in proving key... (mem: 1593.16 MiB) 09:40:13 populating trace... (mem: 1593.16 MiB) 09:40:13 time to construct proving key: 48 ms. (mem: 1593.16 MiB) 09:40:13 getting honk vk... precomputed?: 0x5baa46ec2380 (mem: 1593.16 MiB) 09:40:13 computing folding proof (mem: 1593.16 MiB) 09:40:13 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1593.16 MiB) 09:40:13 vkey hash in Oink prover: 0x000000000000000000000000000000001ec42816c1fcba6c93319733bfcb4b91 (mem: 1593.16 MiB) 09:40:13 oink prover on each incomplete key (mem: 1593.16 MiB) 09:40:14 perturbator round (mem: 1593.16 MiB) 09:40:14 combiner quotient round (mem: 1593.16 MiB) 09:40:14 folded (mem: 1593.16 MiB) 09:40:14 constructed folding proof (mem: 1593.16 MiB) 09:40:14 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001ec42816c1fcba6c93319733bfcb4b91 (mem: 1593.16 MiB) 09:40:14 ClientIVC: accumulating private_kernel_tail (mem: 1593.16 MiB) 09:40:14 Constructing DeciderProvingKey (mem: 1593.16 MiB) 09:40:14 Gate blocks summary: (actual gates / fixed capacity) (mem: 1593.16 MiB) 09:40:14 goblin ecc op : 392/1024 (mem: 1593.16 MiB) 09:40:14 busread : 231/6000 (mem: 1593.16 MiB) 09:40:14 lookups : 2/15000 (mem: 1593.16 MiB) 09:40:14 pub inputs : 1859/5000 (populated in decider pk constructor) (mem: 1593.16 MiB) 09:40:14 arithmetic : 32331/56000 (mem: 1593.16 MiB) 09:40:14 delta range : 4411/18000 (mem: 1593.16 MiB) 09:40:14 elliptic : 2/6000 (mem: 1593.16 MiB) 09:40:14 auxiliary : 11868/26000 (mem: 1593.16 MiB) 09:40:14 poseidon ext : 2552/17000 (mem: 1593.16 MiB) 09:40:14 poseidon int : 14537/92000 (mem: 1593.16 MiB) 09:40:14 overflow : 0/0 (mem: 1593.16 MiB) 09:40:14 (mem: 1593.16 MiB) 09:40:14 Total structured size: 242025 (mem: 1593.16 MiB) 09:40:14 allocating polynomials object in proving key... (mem: 1593.16 MiB) 09:40:14 populating trace... (mem: 1593.16 MiB) 09:40:14 time to construct proving key: 39 ms. (mem: 1593.16 MiB) 09:40:14 getting honk vk... precomputed?: 0x5baa4accf400 (mem: 1593.16 MiB) 09:40:14 computing folding proof (mem: 1593.16 MiB) 09:40:14 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: 1593.16 MiB) 09:40:14 vkey hash in Oink prover: 0x00000000000000000000000000000000b0428fd4407ef18308e0eb4829af0542 (mem: 1593.16 MiB) 09:40:14 oink prover on each incomplete key (mem: 1593.16 MiB) 09:40:15 perturbator round (mem: 1593.16 MiB) 09:40:15 combiner quotient round (mem: 1593.16 MiB) 09:40:15 folded (mem: 1593.16 MiB) 09:40:15 constructed folding proof (mem: 1593.16 MiB) 09:40:15 Largest circuit: 259201 gates. Trace details: (mem: 1593.16 MiB) 09:40:15 Minimum required block sizes for structured trace: (mem: 1593.16 MiB) 09:40:15 ecc_op : 792 09:40:15 busread : 4184 09:40:15 lookup : 2898 09:40:15 pub_inputs : 1859 09:40:15 arithmetic : 56000 09:40:15 delta_range : 17451 09:40:15 elliptic : 1274 09:40:15 aux : 25394 09:40:15 poseidon2_external : 17000 09:40:15 poseidon2_internal : 92000 09:40:15 overflow : 66804 09:40:15 (mem: 1593.16 MiB) 09:40:15 prove decider... (mem: 1593.16 MiB) 09:40:15 starting sumcheck rounds... (mem: 1626.93 MiB) 09:40:16 completed 19 rounds of sumcheck (mem: 1626.93 MiB) 09:40:17 executed multivariate-to-univariate reduction (mem: 1626.93 MiB) 09:40:17 computed opening proof (mem: 1626.93 MiB) 09:40:17 finished decider proving. (mem: 1626.93 MiB) 09:40:17 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b0428fd4407ef18308e0eb4829af0542 (mem: 1626.93 MiB) 09:40:17 Constructing DeciderProvingKey (mem: 1626.93 MiB) 09:40:17 allocating polynomials object in proving key... (mem: 1626.93 MiB) 09:40:17 populating trace... (mem: 1626.93 MiB) 09:40:17 time to construct proving key: 56 ms. (mem: 1626.93 MiB) 09:40:18 vkey hash in Oink prover: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: 1626.93 MiB) 09:40:18 created oink proof (mem: 1626.93 MiB) 09:40:18 starting sumcheck rounds... (mem: 1626.93 MiB) 09:40:18 completed 17 rounds of sumcheck (mem: 1626.93 MiB) 09:40:19 executed multivariate-to-univariate reduction (mem: 1626.93 MiB) 09:40:19 computed opening proof (mem: 1626.93 MiB) 09:40:19 finished decider proving. (mem: 1626.93 MiB) 09:40:19 Constructing a Goblin proof with num ultra ops = 4614 (mem: 1626.93 MiB) 09:40:19 prove eccvm... (mem: 1626.93 MiB) 09:40:19 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 1626.93 MiB) 09:40:19 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 1626.93 MiB) 09:40:20 starting sumcheck rounds... (mem: 1626.93 MiB) 09:40:22 completed 16 rounds of sumcheck (mem: 1626.93 MiB) 09:40:23 finished eccvm proving. (mem: 1626.93 MiB) 09:40:23 prove translator... (mem: 1626.93 MiB) 09:40:23 starting sumcheck rounds... (mem: 1626.93 MiB) 09:40:25 completed 18 rounds of sumcheck (mem: 1626.93 MiB) 09:40:26 computed opening proof (mem: 1626.93 MiB) 09:40:26 finished translator proving. (mem: 1626.93 MiB) 09:40:26 vkey hash in Oink verifier: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: 1626.93 MiB) 09:40:26 sumcheck_verified: 1 (mem: 1626.93 MiB) 09:40:26 libra_evals_verified: 1 (mem: 1626.93 MiB) 09:40:26 pairing_check_verified: 1 (mem: 1626.93 MiB) 09:40:26 Mega verified: 1 (mem: 1626.93 MiB) 09:40:26 eccvm sumcheck verified?: 1 (mem: 1626.93 MiB) 09:40:26 batch opening verified?: 1 (mem: 1626.93 MiB) 09:40:26 eccvm consistency check verified?: 1 (mem: 1626.93 MiB) 09:40:26 translation masking consistency checked?: 1 (mem: 1626.93 MiB) 09:40:26 merge verified?: 1 (mem: 1626.93 MiB) 09:40:26 eccvm verified?: 1 (mem: 1626.93 MiB) 09:40:26 accumulator construction_verified?: 1 (mem: 1626.93 MiB) 09:40:26 translation verified?: 1 (mem: 1626.93 MiB) 09:40:26 consistency verified?: 1 (mem: 1626.93 MiB) 09:40:26 Goblin verified: 1 (mem: 1626.93 MiB) 09:40:26 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc/native" (mem: 1626.93 MiB) 09:40:26 ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc (native) has proven in 24s and peak memory of 1626MB. 09:40:26 ecdsar1+deploy_tokenContract_with_registration+sponsored_fpc (native) has verified.