Parent Log:
http://ci.aztec-labs.com/4fa2468c4b83f35f
Command: 4ef547fa5e299294:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh wasm ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+private_fpc
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/016def8adbfe93f34b41a41f439b146b5318c895
Env: REF_NAME=gh-readonly-queue/next/pr-15237-d4893155ff105399557b55c16450c39921c70d11 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 12:08:23 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15237_amd64_x3-full
Resources: CPU_LIST=40,41,42,43,44,45,46,47 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_ed41a4f0d3e01602_next
12:08:23
--- bb ivc flow bench ---
12:08:24 failed to open /proc/cpuinfo
12:08:24 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect.
12:08:25 bb command: prove (mem: N/A)
12:08:25 Scheme is: client_ivc, num threads: 8 (mem: N/A)
12:08:25 --scheme: client_ivc (mem: N/A)
12:08:25 --output_path: bench-out/app-proving/ecdsar1+transfer_1_recursions+private_fpc/wasm (mem: N/A)
12:08:25 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/ecdsar1+transfer_1_recursions+private_fpc/ivc-inputs.msgpack (mem: N/A)
12:08:25 --verbose: true (mem: N/A)
12:08:28 BN254 commitment key size: 262144 (mem: N/A)
12:08:28 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A)
12:08:29 Initialized BN254 CRS from memory with num points = 262145 (mem: N/A)
12:08:29 ClientIVC: accumulating EcdsaRAccount:entrypoint (mem: N/A)
12:08:29 Constructing DeciderProvingKey (mem: N/A)
12:08:29 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:29 goblin ecc op : 4/1024 (mem: N/A)
12:08:29 busread : 742/6000 (mem: N/A)
12:08:29 lookups : 2898/15000 (mem: N/A)
12:08:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
12:08:29 arithmetic : 39593/56000 (mem: N/A)
12:08:29 delta range : 17451/18000 (mem: N/A)
12:08:29 elliptic : 2/6000 (mem: N/A)
12:08:29 auxiliary : 25394/26000 (mem: N/A)
12:08:29 poseidon ext : 322/17000 (mem: N/A)
12:08:29 poseidon int : 1826/92000 (mem: N/A)
12:08:29 overflow : 0/0 (mem: N/A)
12:08:29 (mem: N/A)
12:08:29 Total structured size: 242025 (mem: N/A)
12:08:29 allocating polynomials object in proving key... (mem: N/A)
12:08:29 populating trace... (mem: N/A)
12:08:29 time to construct proving key: 163 ms. (mem: N/A)
12:08:29 getting honk vk... precomputed?: 0x13b2000 (mem: N/A)
12:08:29 computing oink proof... (mem: N/A)
12:08:29 vkey hash in Oink prover: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: N/A)
12:08:30 oink proof constructed (mem: N/A)
12:08:30 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000083b7265e08ee4fa79a9c0f2a23b56fd4 (mem: N/A)
12:08:30 ClientIVC: accumulating private_kernel_init (mem: N/A)
12:08:30 Constructing DeciderProvingKey (mem: N/A)
12:08:30 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:30 goblin ecc op : 56/1024 (mem: N/A)
12:08:30 busread : 2529/6000 (mem: N/A)
12:08:30 lookups : 2/15000 (mem: N/A)
12:08:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:08:30 arithmetic : 21146/56000 (mem: N/A)
12:08:30 delta range : 3034/18000 (mem: N/A)
12:08:30 elliptic : 340/6000 (mem: N/A)
12:08:30 auxiliary : 799/26000 (mem: N/A)
12:08:30 poseidon ext : 2022/17000 (mem: N/A)
12:08:30 poseidon int : 11516/92000 (mem: N/A)
12:08:30 overflow : 0/0 (mem: N/A)
12:08:30 (mem: N/A)
12:08:30 Total structured size: 242025 (mem: N/A)
12:08:30 allocating polynomials object in proving key... (mem: N/A)
12:08:30 populating trace... (mem: N/A)
12:08:30 time to construct proving key: 71 ms. (mem: N/A)
12:08:30 getting honk vk... precomputed?: 0x13b2880 (mem: N/A)
12:08:30 computing folding proof (mem: N/A)
12:08:30 vkey hash in Oink prover: 0x00000000000000000000000000000000db800623f47e05f23976e61d25ddc383 (mem: N/A)
12:08:31 oink prover on each incomplete key (mem: N/A)
12:08:31 perturbator round (mem: N/A)
12:08:32 combiner quotient round (mem: N/A)
12:08:32 folded (mem: N/A)
12:08:32 constructed folding proof (mem: N/A)
12:08:32 ClientIVC: accumulating FPC:fee_entrypoint_private (mem: N/A)
12:08:32 Constructing DeciderProvingKey (mem: N/A)
12:08:32 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:32 goblin ecc op : 4/1024 (mem: N/A)
12:08:32 busread : 742/6000 (mem: N/A)
12:08:32 lookups : 2/15000 (mem: N/A)
12:08:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
12:08:32 arithmetic : 4299/56000 (mem: N/A)
12:08:32 delta range : 1893/18000 (mem: N/A)
12:08:32 elliptic : 2/6000 (mem: N/A)
12:08:32 auxiliary : 26/26000 (mem: N/A)
12:08:32 poseidon ext : 512/17000 (mem: N/A)
12:08:32 poseidon int : 2909/92000 (mem: N/A)
12:08:32 overflow : 0/0 (mem: N/A)
12:08:32 (mem: N/A)
12:08:32 Total structured size: 242025 (mem: N/A)
12:08:32 allocating polynomials object in proving key... (mem: N/A)
12:08:32 populating trace... (mem: N/A)
12:08:32 time to construct proving key: 27 ms. (mem: N/A)
12:08:32 getting honk vk... precomputed?: 0x12a07c0 (mem: N/A)
12:08:32 computing folding proof (mem: N/A)
12:08:32 vkey hash in Oink prover: 0x00000000000000000000000000000000764acfc58a76fb1efa8a1f78a6fcc165 (mem: N/A)
12:08:32 oink prover on each incomplete key (mem: N/A)
12:08:32 perturbator round (mem: N/A)
12:08:33 combiner quotient round (mem: N/A)
12:08:33 folded (mem: N/A)
12:08:33 constructed folding proof (mem: N/A)
12:08:33 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000db800623f47e05f23976e61d25ddc383 (mem: N/A)
12:08:33 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000764acfc58a76fb1efa8a1f78a6fcc165 (mem: N/A)
12:08:33 ClientIVC: accumulating private_kernel_inner (mem: N/A)
12:08:33 Constructing DeciderProvingKey (mem: N/A)
12:08:33 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:33 goblin ecc op : 792/1024 (mem: N/A)
12:08:33 busread : 4184/6000 (mem: N/A)
12:08:33 lookups : 2/15000 (mem: N/A)
12:08:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:08:33 arithmetic : 43809/56000 (mem: N/A)
12:08:33 delta range : 5025/18000 (mem: N/A)
12:08:33 elliptic : 340/6000 (mem: N/A)
12:08:33 auxiliary : 1399/26000 (mem: N/A)
12:08:33 poseidon ext : 5682/17000 (mem: N/A)
12:08:33 poseidon int : 32378/92000 (mem: N/A)
12:08:33 overflow : 0/0 (mem: N/A)
12:08:33 (mem: N/A)
12:08:33 Total structured size: 242025 (mem: N/A)
12:08:33 allocating polynomials object in proving key... (mem: N/A)
12:08:33 populating trace... (mem: N/A)
12:08:33 time to construct proving key: 110 ms. (mem: N/A)
12:08:33 getting honk vk... precomputed?: 0xa46ee00 (mem: N/A)
12:08:33 computing folding proof (mem: N/A)
12:08:33 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:34 oink prover on each incomplete key (mem: N/A)
12:08:35 perturbator round (mem: N/A)
12:08:35 combiner quotient round (mem: N/A)
12:08:36 folded (mem: N/A)
12:08:36 constructed folding proof (mem: N/A)
12:08:36 ClientIVC: accumulating Token:transfer_to_public (mem: N/A)
12:08:36 Constructing DeciderProvingKey (mem: N/A)
12:08:36 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:36 goblin ecc op : 4/1024 (mem: N/A)
12:08:36 busread : 742/6000 (mem: N/A)
12:08:36 lookups : 12250/15000 (mem: N/A)
12:08:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
12:08:36 arithmetic : 50138/56000 (mem: N/A)
12:08:36 delta range : 6145/18000 (mem: N/A)
12:08:36 elliptic : 5806/6000 (mem: N/A)
12:08:36 auxiliary : 20899/26000 (mem: N/A)
12:08:36 poseidon ext : 2842/17000 (mem: N/A)
12:08:36 poseidon int : 16190/92000 (mem: N/A)
12:08:36 overflow : 0/0 (mem: N/A)
12:08:36 (mem: N/A)
12:08:36 Total structured size: 242025 (mem: N/A)
12:08:36 allocating polynomials object in proving key... (mem: N/A)
12:08:36 populating trace... (mem: N/A)
12:08:36 time to construct proving key: 164 ms. (mem: N/A)
12:08:36 getting honk vk... precomputed?: 0x19a7b00 (mem: N/A)
12:08:36 computing folding proof (mem: N/A)
12:08:36 vkey hash in Oink prover: 0x0000000000000000000000000000000065ff8ce6ea9f0406cde0156f8b26e91c (mem: N/A)
12:08:37 oink prover on each incomplete key (mem: N/A)
12:08:37 perturbator round (mem: N/A)
12:08:38 combiner quotient round (mem: N/A)
12:08:38 folded (mem: N/A)
12:08:38 constructed folding proof (mem: N/A)
12:08:38 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:39 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000065ff8ce6ea9f0406cde0156f8b26e91c (mem: N/A)
12:08:39 ClientIVC: accumulating private_kernel_inner (mem: N/A)
12:08:39 Constructing DeciderProvingKey (mem: N/A)
12:08:39 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:39 goblin ecc op : 792/1024 (mem: N/A)
12:08:39 busread : 4184/6000 (mem: N/A)
12:08:39 lookups : 2/15000 (mem: N/A)
12:08:39 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:08:39 arithmetic : 43809/56000 (mem: N/A)
12:08:39 delta range : 5025/18000 (mem: N/A)
12:08:39 elliptic : 340/6000 (mem: N/A)
12:08:39 auxiliary : 1399/26000 (mem: N/A)
12:08:39 poseidon ext : 5682/17000 (mem: N/A)
12:08:39 poseidon int : 32378/92000 (mem: N/A)
12:08:39 overflow : 0/0 (mem: N/A)
12:08:39 (mem: N/A)
12:08:39 Total structured size: 242025 (mem: N/A)
12:08:39 allocating polynomials object in proving key... (mem: N/A)
12:08:39 populating trace... (mem: N/A)
12:08:39 time to construct proving key: 102 ms. (mem: N/A)
12:08:39 getting honk vk... precomputed?: 0x17bd540 (mem: N/A)
12:08:39 computing folding proof (mem: N/A)
12:08:39 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:40 oink prover on each incomplete key (mem: N/A)
12:08:40 perturbator round (mem: N/A)
12:08:41 combiner quotient round (mem: N/A)
12:08:41 folded (mem: N/A)
12:08:41 constructed folding proof (mem: N/A)
12:08:42 ClientIVC: accumulating EcdsaRAccount:verify_private_authwit (mem: N/A)
12:08:42 Constructing DeciderProvingKey (mem: N/A)
12:08:42 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:42 goblin ecc op : 4/1024 (mem: N/A)
12:08:42 busread : 742/6000 (mem: N/A)
12:08:42 lookups : 2898/15000 (mem: N/A)
12:08:42 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
12:08:42 arithmetic : 37549/56000 (mem: N/A)
12:08:42 delta range : 17062/18000 (mem: N/A)
12:08:42 elliptic : 2/6000 (mem: N/A)
12:08:42 auxiliary : 21404/26000 (mem: N/A)
12:08:42 poseidon ext : 82/17000 (mem: N/A)
12:08:42 poseidon int : 458/92000 (mem: N/A)
12:08:42 overflow : 0/0 (mem: N/A)
12:08:42 (mem: N/A)
12:08:42 Total structured size: 242025 (mem: N/A)
12:08:42 allocating polynomials object in proving key... (mem: N/A)
12:08:42 populating trace... (mem: N/A)
12:08:42 time to construct proving key: 133 ms. (mem: N/A)
12:08:42 getting honk vk... precomputed?: 0x1a6c240 (mem: N/A)
12:08:42 computing folding proof (mem: N/A)
12:08:42 vkey hash in Oink prover: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: N/A)
12:08:42 oink prover on each incomplete key (mem: N/A)
12:08:43 perturbator round (mem: N/A)
12:08:44 combiner quotient round (mem: N/A)
12:08:44 folded (mem: N/A)
12:08:44 constructed folding proof (mem: N/A)
12:08:44 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:44 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a076a8d87eed6adca3c63380b51c2bd9 (mem: N/A)
12:08:44 ClientIVC: accumulating private_kernel_inner (mem: N/A)
12:08:44 Constructing DeciderProvingKey (mem: N/A)
12:08:44 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:44 goblin ecc op : 792/1024 (mem: N/A)
12:08:44 busread : 4184/6000 (mem: N/A)
12:08:44 lookups : 2/15000 (mem: N/A)
12:08:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:08:44 arithmetic : 43809/56000 (mem: N/A)
12:08:44 delta range : 5025/18000 (mem: N/A)
12:08:44 elliptic : 340/6000 (mem: N/A)
12:08:44 auxiliary : 1399/26000 (mem: N/A)
12:08:44 poseidon ext : 5682/17000 (mem: N/A)
12:08:44 poseidon int : 32378/92000 (mem: N/A)
12:08:44 overflow : 0/0 (mem: N/A)
12:08:44 (mem: N/A)
12:08:44 Total structured size: 242025 (mem: N/A)
12:08:44 allocating polynomials object in proving key... (mem: N/A)
12:08:44 populating trace... (mem: N/A)
12:08:44 time to construct proving key: 106 ms. (mem: N/A)
12:08:44 getting honk vk... precomputed?: 0x75d3c0 (mem: N/A)
12:08:44 computing folding proof (mem: N/A)
12:08:44 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:45 oink prover on each incomplete key (mem: N/A)
12:08:46 perturbator round (mem: N/A)
12:08:47 combiner quotient round (mem: N/A)
12:08:47 folded (mem: N/A)
12:08:47 constructed folding proof (mem: N/A)
12:08:47 ClientIVC: accumulating Token:prepare_private_balance_increase (mem: N/A)
12:08:47 Constructing DeciderProvingKey (mem: N/A)
12:08:47 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:47 goblin ecc op : 4/1024 (mem: N/A)
12:08:47 busread : 742/6000 (mem: N/A)
12:08:47 lookups : 12250/15000 (mem: N/A)
12:08:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
12:08:47 arithmetic : 15216/56000 (mem: N/A)
12:08:47 delta range : 2446/18000 (mem: N/A)
12:08:47 elliptic : 670/6000 (mem: N/A)
12:08:47 auxiliary : 738/26000 (mem: N/A)
12:08:47 poseidon ext : 62/17000 (mem: N/A)
12:08:47 poseidon int : 344/92000 (mem: N/A)
12:08:47 overflow : 0/0 (mem: N/A)
12:08:47 (mem: N/A)
12:08:47 Total structured size: 242025 (mem: N/A)
12:08:47 allocating polynomials object in proving key... (mem: N/A)
12:08:47 populating trace... (mem: N/A)
12:08:47 time to construct proving key: 77 ms. (mem: N/A)
12:08:47 getting honk vk... precomputed?: 0x1cff8c0 (mem: N/A)
12:08:47 computing folding proof (mem: N/A)
12:08:47 vkey hash in Oink prover: 0x00000000000000000000000000000000b5e5ea13423df52fc0ec9ae211c4e276 (mem: N/A)
12:08:48 oink prover on each incomplete key (mem: N/A)
12:08:48 perturbator round (mem: N/A)
12:08:49 combiner quotient round (mem: N/A)
12:08:49 folded (mem: N/A)
12:08:49 constructed folding proof (mem: N/A)
12:08:49 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:49 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b5e5ea13423df52fc0ec9ae211c4e276 (mem: N/A)
12:08:49 ClientIVC: accumulating private_kernel_inner (mem: N/A)
12:08:49 Constructing DeciderProvingKey (mem: N/A)
12:08:49 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:49 goblin ecc op : 792/1024 (mem: N/A)
12:08:49 busread : 4184/6000 (mem: N/A)
12:08:49 lookups : 2/15000 (mem: N/A)
12:08:49 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:08:49 arithmetic : 43809/56000 (mem: N/A)
12:08:49 delta range : 5025/18000 (mem: N/A)
12:08:49 elliptic : 340/6000 (mem: N/A)
12:08:49 auxiliary : 1399/26000 (mem: N/A)
12:08:49 poseidon ext : 5682/17000 (mem: N/A)
12:08:49 poseidon int : 32378/92000 (mem: N/A)
12:08:49 overflow : 0/0 (mem: N/A)
12:08:49 (mem: N/A)
12:08:49 Total structured size: 242025 (mem: N/A)
12:08:49 allocating polynomials object in proving key... (mem: N/A)
12:08:49 populating trace... (mem: N/A)
12:08:49 time to construct proving key: 108 ms. (mem: N/A)
12:08:49 getting honk vk... precomputed?: 0x2637500 (mem: N/A)
12:08:49 computing folding proof (mem: N/A)
12:08:49 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:50 oink prover on each incomplete key (mem: N/A)
12:08:51 perturbator round (mem: N/A)
12:08:52 combiner quotient round (mem: N/A)
12:08:52 folded (mem: N/A)
12:08:52 constructed folding proof (mem: N/A)
12:08:52 ClientIVC: accumulating Token:transfer (mem: N/A)
12:08:52 Constructing DeciderProvingKey (mem: N/A)
12:08:52 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:52 goblin ecc op : 4/1024 (mem: N/A)
12:08:52 busread : 742/6000 (mem: N/A)
12:08:52 lookups : 2/15000 (mem: N/A)
12:08:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
12:08:52 arithmetic : 8562/56000 (mem: N/A)
12:08:52 delta range : 2811/18000 (mem: N/A)
12:08:52 elliptic : 646/6000 (mem: N/A)
12:08:52 auxiliary : 9221/26000 (mem: N/A)
12:08:52 poseidon ext : 462/17000 (mem: N/A)
12:08:52 poseidon int : 2624/92000 (mem: N/A)
12:08:52 overflow : 0/0 (mem: N/A)
12:08:52 (mem: N/A)
12:08:52 Total structured size: 242025 (mem: N/A)
12:08:52 allocating polynomials object in proving key... (mem: N/A)
12:08:52 populating trace... (mem: N/A)
12:08:52 time to construct proving key: 53 ms. (mem: N/A)
12:08:52 getting honk vk... precomputed?: 0x1779080 (mem: N/A)
12:08:52 computing folding proof (mem: N/A)
12:08:52 vkey hash in Oink prover: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: N/A)
12:08:53 oink prover on each incomplete key (mem: N/A)
12:08:53 perturbator round (mem: N/A)
12:08:54 combiner quotient round (mem: N/A)
12:08:54 folded (mem: N/A)
12:08:54 constructed folding proof (mem: N/A)
12:08:54 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:54 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000004330a23e960657785cb8fc58ccdf2fb6 (mem: N/A)
12:08:54 ClientIVC: accumulating private_kernel_inner (mem: N/A)
12:08:54 Constructing DeciderProvingKey (mem: N/A)
12:08:54 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:54 goblin ecc op : 792/1024 (mem: N/A)
12:08:54 busread : 4184/6000 (mem: N/A)
12:08:54 lookups : 2/15000 (mem: N/A)
12:08:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:08:54 arithmetic : 43809/56000 (mem: N/A)
12:08:54 delta range : 5025/18000 (mem: N/A)
12:08:54 elliptic : 340/6000 (mem: N/A)
12:08:54 auxiliary : 1399/26000 (mem: N/A)
12:08:54 poseidon ext : 5682/17000 (mem: N/A)
12:08:54 poseidon int : 32378/92000 (mem: N/A)
12:08:54 overflow : 0/0 (mem: N/A)
12:08:54 (mem: N/A)
12:08:54 Total structured size: 242025 (mem: N/A)
12:08:54 allocating polynomials object in proving key... (mem: N/A)
12:08:54 populating trace... (mem: N/A)
12:08:54 time to construct proving key: 109 ms. (mem: N/A)
12:08:54 getting honk vk... precomputed?: 0x522f500 (mem: N/A)
12:08:54 computing folding proof (mem: N/A)
12:08:54 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:55 oink prover on each incomplete key (mem: N/A)
12:08:56 perturbator round (mem: N/A)
12:08:57 combiner quotient round (mem: N/A)
12:08:57 folded (mem: N/A)
12:08:57 constructed folding proof (mem: N/A)
12:08:57 ClientIVC: accumulating Token:_recurse_subtract_balance (mem: N/A)
12:08:57 Constructing DeciderProvingKey (mem: N/A)
12:08:57 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:57 goblin ecc op : 4/1024 (mem: N/A)
12:08:57 busread : 742/6000 (mem: N/A)
12:08:57 lookups : 2/15000 (mem: N/A)
12:08:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
12:08:57 arithmetic : 19969/56000 (mem: N/A)
12:08:57 delta range : 3656/18000 (mem: N/A)
12:08:57 elliptic : 2578/6000 (mem: N/A)
12:08:57 auxiliary : 9593/26000 (mem: N/A)
12:08:57 poseidon ext : 1402/17000 (mem: N/A)
12:08:57 poseidon int : 7982/92000 (mem: N/A)
12:08:57 overflow : 0/0 (mem: N/A)
12:08:57 (mem: N/A)
12:08:57 Total structured size: 242025 (mem: N/A)
12:08:57 allocating polynomials object in proving key... (mem: N/A)
12:08:57 populating trace... (mem: N/A)
12:08:57 time to construct proving key: 71 ms. (mem: N/A)
12:08:57 getting honk vk... precomputed?: 0x4297040 (mem: N/A)
12:08:57 computing folding proof (mem: N/A)
12:08:57 vkey hash in Oink prover: 0x00000000000000000000000000000000a704fc87f4d5c36c51cad157b0ce469a (mem: N/A)
12:08:58 oink prover on each incomplete key (mem: N/A)
12:08:58 perturbator round (mem: N/A)
12:08:59 combiner quotient round (mem: N/A)
12:08:59 folded (mem: N/A)
12:08:59 constructed folding proof (mem: N/A)
12:08:59 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:08:59 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a704fc87f4d5c36c51cad157b0ce469a (mem: N/A)
12:08:59 ClientIVC: accumulating private_kernel_inner (mem: N/A)
12:08:59 Constructing DeciderProvingKey (mem: N/A)
12:08:59 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:08:59 goblin ecc op : 792/1024 (mem: N/A)
12:08:59 busread : 4184/6000 (mem: N/A)
12:08:59 lookups : 2/15000 (mem: N/A)
12:08:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:08:59 arithmetic : 43809/56000 (mem: N/A)
12:08:59 delta range : 5025/18000 (mem: N/A)
12:08:59 elliptic : 340/6000 (mem: N/A)
12:08:59 auxiliary : 1399/26000 (mem: N/A)
12:08:59 poseidon ext : 5682/17000 (mem: N/A)
12:08:59 poseidon int : 32378/92000 (mem: N/A)
12:08:59 overflow : 0/0 (mem: N/A)
12:08:59 (mem: N/A)
12:08:59 Total structured size: 242025 (mem: N/A)
12:08:59 allocating polynomials object in proving key... (mem: N/A)
12:08:59 populating trace... (mem: N/A)
12:08:59 time to construct proving key: 112 ms. (mem: N/A)
12:09:00 getting honk vk... precomputed?: 0x13b3100 (mem: N/A)
12:09:00 computing folding proof (mem: N/A)
12:09:00 vkey hash in Oink prover: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:09:01 oink prover on each incomplete key (mem: N/A)
12:09:01 perturbator round (mem: N/A)
12:09:02 combiner quotient round (mem: N/A)
12:09:02 folded (mem: N/A)
12:09:02 constructed folding proof (mem: N/A)
12:09:02 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006a20184f6574622e53be36da4ddf2e03 (mem: N/A)
12:09:02 ClientIVC: accumulating private_kernel_reset (mem: N/A)
12:09:02 Constructing DeciderProvingKey (mem: N/A)
12:09:02 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:09:02 goblin ecc op : 392/1024 (mem: N/A)
12:09:02 busread : 2719/6000 (mem: N/A)
12:09:02 lookups : 2/15000 (mem: N/A)
12:09:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:09:02 arithmetic : 61345/56000 (mem: N/A)
12:09:02 delta range : 4897/18000 (mem: N/A)
12:09:02 elliptic : 1274/6000 (mem: N/A)
12:09:02 auxiliary : 17130/26000 (mem: N/A)
12:09:02 poseidon ext : 16832/17000 (mem: N/A)
12:09:02 poseidon int : 95933/92000 (mem: N/A)
12:09:02 overflow : 0/0 (mem: N/A)
12:09:02 (mem: N/A)
12:09:02 Total structured size: 242025 (mem: N/A)
12:09:02 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: N/A)
12:09:02 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:09:02 goblin ecc op : 392/1024 (mem: N/A)
12:09:02 busread : 2719/6000 (mem: N/A)
12:09:02 lookups : 2/15000 (mem: N/A)
12:09:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
12:09:02 arithmetic : 56000/56000 (mem: N/A)
12:09:02 delta range : 4897/18000 (mem: N/A)
12:09:02 elliptic : 1274/6000 (mem: N/A)
12:09:02 auxiliary : 17130/26000 (mem: N/A)
12:09:02 poseidon ext : 16832/17000 (mem: N/A)
12:09:02 poseidon int : 92000/92000 (mem: N/A)
12:09:02 overflow : 9280/9280 (mem: N/A)
12:09:02 (mem: N/A)
12:09:02 Total structured size: 251305 (mem: N/A)
12:09:02 allocating polynomials object in proving key... (mem: N/A)
12:09:02 populating trace... (mem: N/A)
12:09:03 time to construct proving key: 259 ms. (mem: N/A)
12:09:03 getting honk vk... precomputed?: 0x28a1a40 (mem: N/A)
12:09:03 computing folding proof (mem: N/A)
12:09:03 vkey hash in Oink prover: 0x000000000000000000000000000000001b7495802d406bff3edfb0d97a601f58 (mem: N/A)
12:09:05 oink prover on each incomplete key (mem: N/A)
12:09:05 perturbator round (mem: N/A)
12:09:06 combiner quotient round (mem: N/A)
12:09:06 folded (mem: N/A)
12:09:06 constructed folding proof (mem: N/A)
12:09:06 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001b7495802d406bff3edfb0d97a601f58 (mem: N/A)
12:09:06 ClientIVC: accumulating private_kernel_tail (mem: N/A)
12:09:06 Constructing DeciderProvingKey (mem: N/A)
12:09:06 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
12:09:06 goblin ecc op : 392/1024 (mem: N/A)
12:09:06 busread : 231/6000 (mem: N/A)
12:09:06 lookups : 2/15000 (mem: N/A)
12:09:06 pub inputs : 1859/5000 (populated in decider pk constructor) (mem: N/A)
12:09:06 arithmetic : 32331/56000 (mem: N/A)
12:09:06 delta range : 4411/18000 (mem: N/A)
12:09:06 elliptic : 2/6000 (mem: N/A)
12:09:06 auxiliary : 11868/26000 (mem: N/A)
12:09:06 poseidon ext : 2552/17000 (mem: N/A)
12:09:06 poseidon int : 14537/92000 (mem: N/A)
12:09:06 overflow : 0/0 (mem: N/A)
12:09:06 (mem: N/A)
12:09:06 Total structured size: 242025 (mem: N/A)
12:09:06 allocating polynomials object in proving key... (mem: N/A)
12:09:06 populating trace... (mem: N/A)
12:09:07 time to construct proving key: 92 ms. (mem: N/A)
12:09:07 getting honk vk... precomputed?: 0x553b540 (mem: N/A)
12:09:07 computing folding proof (mem: N/A)
12:09:07 vkey hash in Oink prover: 0x00000000000000000000000000000000b0428fd4407ef18308e0eb4829af0542 (mem: N/A)
12:09:07 oink prover on each incomplete key (mem: N/A)
12:09:08 perturbator round (mem: N/A)
12:09:09 combiner quotient round (mem: N/A)
12:09:09 folded (mem: N/A)
12:09:09 constructed folding proof (mem: N/A)
12:09:09 Largest circuit: 200132 gates. Trace details: (mem: N/A)
12:09:09 Minimum required block sizes for structured trace: (mem: N/A)
12:09:09 ecc_op : 792
12:09:09 busread : 4184
12:09:09 lookup : 12250
12:09:09 pub_inputs : 1859
12:09:09 arithmetic : 56000
12:09:09 delta_range : 17451
12:09:09 elliptic : 5806
12:09:09 aux : 25394
12:09:09 poseidon2_external : 16832
12:09:09 poseidon2_internal : 92000
12:09:09 overflow : 9280
12:09:09 (mem: N/A)
12:09:09 prove decider... (mem: N/A)
12:09:10 starting sumcheck rounds... (mem: N/A)
12:09:10 completed 18 rounds of sumcheck (mem: N/A)
12:09:12 executed multivariate-to-univariate reduction (mem: N/A)
12:09:12 computed opening proof (mem: N/A)
12:09:12 finished decider proving. (mem: N/A)
12:09:12 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000b0428fd4407ef18308e0eb4829af0542 (mem: N/A)
12:09:13 Constructing DeciderProvingKey (mem: N/A)
12:09:13 allocating polynomials object in proving key... (mem: N/A)
12:09:13 populating trace... (mem: N/A)
12:09:13 time to construct proving key: 126 ms. (mem: N/A)
12:09:14 vkey hash in Oink prover: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: N/A)
12:09:15 created oink proof (mem: N/A)
12:09:15 starting sumcheck rounds... (mem: N/A)
12:09:16 completed 17 rounds of sumcheck (mem: N/A)
12:09:17 executed multivariate-to-univariate reduction (mem: N/A)
12:09:17 computed opening proof (mem: N/A)
12:09:17 finished decider proving. (mem: N/A)
12:09:17 Constructing a Goblin proof with num ultra ops = 6206 (mem: N/A)
12:09:17 prove eccvm... (mem: N/A)
12:09:18 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A)
12:09:18 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: N/A)
12:09:21 starting sumcheck rounds... (mem: N/A)
12:09:25 completed 16 rounds of sumcheck (mem: N/A)
12:09:28 finished eccvm proving. (mem: N/A)
12:09:28 prove translator... (mem: N/A)
12:09:30 starting sumcheck rounds... (mem: N/A)
12:09:33 completed 18 rounds of sumcheck (mem: N/A)
12:09:36 computed opening proof (mem: N/A)
12:09:36 finished translator proving. (mem: N/A)
12:09:36 vkey hash in Oink verifier: 0x000000000000000000000000000000005c8a4e75ab3d4ac0ef682b0d38b0dd9f (mem: N/A)
12:09:36 sumcheck_verified: 1 (mem: N/A)
12:09:36 libra_evals_verified: 1 (mem: N/A)
12:09:36 pairing_check_verified: 1 (mem: N/A)
12:09:36 Mega verified: 1 (mem: N/A)
12:09:36 eccvm sumcheck verified?: 1 (mem: N/A)
12:09:36 batch opening verified?: 1 (mem: N/A)
12:09:36 eccvm consistency check verified?: 1 (mem: N/A)
12:09:36 translation masking consistency checked?: 1 (mem: N/A)
12:09:36 merge verified?: 1 (mem: N/A)
12:09:36 eccvm verified?: 1 (mem: N/A)
12:09:36 accumulator construction_verified?: 1 (mem: N/A)
12:09:36 translation verified?: 1 (mem: N/A)
12:09:36 consistency verified?: 1 (mem: N/A)
12:09:36 Goblin verified: 1 (mem: N/A)
12:09:36 writing ClientIVC proof in directory "bench-out/app-proving/ecdsar1+transfer_1_recursions+private_fpc/wasm" (mem: N/A)
12:09:36 ecdsar1+transfer_1_recursions+private_fpc (wasm) has proven in 73s and peak memory of 1160MB.
12:09:37 ecdsar1+transfer_1_recursions+private_fpc (wasm) has verified.