Parent Log:
http://ci.aztec-labs.com/79ab961246b6b998
Command: e4e37220d2336322:CPUS=8 barretenberg/cpp/scripts/ci_benchmark_ivc_flows.sh wasm ../../yarn-project/end-to-end/example-app-ivc-inputs-out/schnorr+deploy_tokenContract_with_registration+sponsored_fpc
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/282da3bd25d49b92970e6fc85f110092e8566299
Env: REF_NAME=gh-readonly-queue/next/pr-14610-ee24aac96469b4f1cb8d70e614b2dd27bf0eb134 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 14:36:29 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14610_amd64_x2-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_a959a4ac05ed65a9_next
14:36:29
--- bb ivc flow bench ---
14:36:29 failed to open /proc/cpuinfo
14:36:29 ***WARNING*** Failed to set thread affinity. Estimated CPU frequency may be incorrect.
14:36:30 bb command: prove (mem: N/A)
14:36:30 Scheme is: client_ivc, num threads: 8 (mem: N/A)
14:36:30 --scheme: client_ivc (mem: N/A)
14:36:30 --output_path: bench-out/app-proving/schnorr+deploy_tokenContract_with_registration+sponsored_fpc/wasm (mem: N/A)
14:36:30 --ivc_inputs_path: ../../yarn-project/end-to-end/example-app-ivc-inputs-out/schnorr+deploy_tokenContract_with_registration+sponsored_fpc/ivc-inputs.msgpack (mem: N/A)
14:36:30 --verbose: true (mem: N/A)
14:36:33 BN254 commitment key size: 262144 (mem: N/A)
14:36:33 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A)
14:36:33 Initialized BN254 CRS from memory with num points = 262145 (mem: N/A)
14:36:33 ClientIVC: accumulating SchnorrAccount:entrypoint (mem: N/A)
14:36:33 Constructing DeciderProvingKey (mem: N/A)
14:36:33 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:33 goblin ecc op : 4/1024 (mem: N/A)
14:36:33 busread : 742/6000 (mem: N/A)
14:36:33 lookups : 2076/15000 (mem: N/A)
14:36:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
14:36:33 arithmetic : 9353/56000 (mem: N/A)
14:36:33 delta range : 2977/18000 (mem: N/A)
14:36:33 elliptic : 794/6000 (mem: N/A)
14:36:33 auxiliary : 4528/26000 (mem: N/A)
14:36:33 poseidon ext : 312/17000 (mem: N/A)
14:36:33 poseidon int : 1769/92000 (mem: N/A)
14:36:33 overflow : 0/0 (mem: N/A)
14:36:33 (mem: N/A)
14:36:33 Total structured size: 242025 (mem: N/A)
14:36:33 allocating polynomials object in proving key... (mem: N/A)
14:36:33 populating trace... (mem: N/A)
14:36:33 time to construct proving key: 84 ms. (mem: N/A)
14:36:33 getting honk vk... precomputed?: 0x102d500 (mem: N/A)
14:36:33 computing oink proof... (mem: N/A)
14:36:33 vkey hash in Oink prover: 0x00000000000000000000000000000000425c4da6a7e56b4ff44b3ec1272579c0 (mem: N/A)
14:36:34 oink proof constructed (mem: N/A)
14:36:34 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000425c4da6a7e56b4ff44b3ec1272579c0 (mem: N/A)
14:36:34 ClientIVC: accumulating private_kernel_init (mem: N/A)
14:36:34 Constructing DeciderProvingKey (mem: N/A)
14:36:34 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:34 goblin ecc op : 56/1024 (mem: N/A)
14:36:34 busread : 2529/6000 (mem: N/A)
14:36:34 lookups : 2/15000 (mem: N/A)
14:36:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
14:36:34 arithmetic : 21145/56000 (mem: N/A)
14:36:34 delta range : 3034/18000 (mem: N/A)
14:36:34 elliptic : 340/6000 (mem: N/A)
14:36:34 auxiliary : 799/26000 (mem: N/A)
14:36:34 poseidon ext : 2022/17000 (mem: N/A)
14:36:34 poseidon int : 11516/92000 (mem: N/A)
14:36:34 overflow : 0/0 (mem: N/A)
14:36:34 (mem: N/A)
14:36:34 Total structured size: 242025 (mem: N/A)
14:36:34 allocating polynomials object in proving key... (mem: N/A)
14:36:34 populating trace... (mem: N/A)
14:36:34 time to construct proving key: 72 ms. (mem: N/A)
14:36:34 getting honk vk... precomputed?: 0xf0afc0 (mem: N/A)
14:36:34 computing folding proof (mem: N/A)
14:36:34 vkey hash in Oink prover: 0x00000000000000000000000000000000398959ae56eb9c01a92891da007bef4c (mem: N/A)
14:36:35 oink prover on each incomplete key (mem: N/A)
14:36:35 perturbator round (mem: N/A)
14:36:35 combiner quotient round (mem: N/A)
14:36:35 folded (mem: N/A)
14:36:35 constructed folding proof (mem: N/A)
14:36:35 ClientIVC: accumulating SponsoredFPC:sponsor_unconditionally (mem: N/A)
14:36:35 Constructing DeciderProvingKey (mem: N/A)
14:36:35 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:35 goblin ecc op : 4/1024 (mem: N/A)
14:36:35 busread : 742/6000 (mem: N/A)
14:36:35 lookups : 2/15000 (mem: N/A)
14:36:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
14:36:35 arithmetic : 3274/56000 (mem: N/A)
14:36:35 delta range : 1785/18000 (mem: N/A)
14:36:35 elliptic : 2/6000 (mem: N/A)
14:36:35 auxiliary : 26/26000 (mem: N/A)
14:36:35 poseidon ext : 2/17000 (mem: N/A)
14:36:35 poseidon int : 2/92000 (mem: N/A)
14:36:35 overflow : 0/0 (mem: N/A)
14:36:35 (mem: N/A)
14:36:35 Total structured size: 242025 (mem: N/A)
14:36:35 allocating polynomials object in proving key... (mem: N/A)
14:36:35 populating trace... (mem: N/A)
14:36:35 time to construct proving key: 24 ms. (mem: N/A)
14:36:35 getting honk vk... precomputed?: 0xf0b840 (mem: N/A)
14:36:35 computing folding proof (mem: N/A)
14:36:35 vkey hash in Oink prover: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: N/A)
14:36:36 oink prover on each incomplete key (mem: N/A)
14:36:36 perturbator round (mem: N/A)
14:36:36 combiner quotient round (mem: N/A)
14:36:36 folded (mem: N/A)
14:36:36 constructed folding proof (mem: N/A)
14:36:36 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000398959ae56eb9c01a92891da007bef4c (mem: N/A)
14:36:36 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000eeed9ce9eba10dc9b739a878b3eda8f4 (mem: N/A)
14:36:37 ClientIVC: accumulating private_kernel_inner (mem: N/A)
14:36:37 Constructing DeciderProvingKey (mem: N/A)
14:36:37 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:37 goblin ecc op : 792/1024 (mem: N/A)
14:36:37 busread : 4184/6000 (mem: N/A)
14:36:37 lookups : 2/15000 (mem: N/A)
14:36:37 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
14:36:37 arithmetic : 43807/56000 (mem: N/A)
14:36:37 delta range : 5025/18000 (mem: N/A)
14:36:37 elliptic : 340/6000 (mem: N/A)
14:36:37 auxiliary : 1399/26000 (mem: N/A)
14:36:37 poseidon ext : 5682/17000 (mem: N/A)
14:36:37 poseidon int : 32378/92000 (mem: N/A)
14:36:37 overflow : 0/0 (mem: N/A)
14:36:37 (mem: N/A)
14:36:37 Total structured size: 242025 (mem: N/A)
14:36:37 allocating polynomials object in proving key... (mem: N/A)
14:36:37 populating trace... (mem: N/A)
14:36:37 time to construct proving key: 105 ms. (mem: N/A)
14:36:37 getting honk vk... precomputed?: 0xaf8c400 (mem: N/A)
14:36:37 computing folding proof (mem: N/A)
14:36:37 vkey hash in Oink prover: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:38 oink prover on each incomplete key (mem: N/A)
14:36:38 perturbator round (mem: N/A)
14:36:38 combiner quotient round (mem: N/A)
14:36:39 folded (mem: N/A)
14:36:39 constructed folding proof (mem: N/A)
14:36:39 ClientIVC: accumulating ContractClassRegisterer:register (mem: N/A)
14:36:39 Constructing DeciderProvingKey (mem: N/A)
14:36:39 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:39 goblin ecc op : 4/1024 (mem: N/A)
14:36:39 busread : 742/6000 (mem: N/A)
14:36:39 lookups : 2/15000 (mem: N/A)
14:36:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
14:36:39 arithmetic : 96926/56000 (mem: N/A)
14:36:39 delta range : 8579/18000 (mem: N/A)
14:36:39 elliptic : 2/6000 (mem: N/A)
14:36:39 auxiliary : 18075/26000 (mem: N/A)
14:36:39 poseidon ext : 20132/17000 (mem: N/A)
14:36:39 poseidon int : 114743/92000 (mem: N/A)
14:36:39 overflow : 0/0 (mem: N/A)
14:36:39 (mem: N/A)
14:36:39 Total structured size: 242025 (mem: N/A)
14:36:39 WARNING: Structured trace overflow mechanism in use. Performance may be degraded! (mem: N/A)
14:36:39 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:39 goblin ecc op : 4/1024 (mem: N/A)
14:36:39 busread : 742/6000 (mem: N/A)
14:36:39 lookups : 2/15000 (mem: N/A)
14:36:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
14:36:39 arithmetic : 56000/56000 (mem: N/A)
14:36:39 delta range : 8579/18000 (mem: N/A)
14:36:39 elliptic : 2/6000 (mem: N/A)
14:36:39 auxiliary : 18075/26000 (mem: N/A)
14:36:39 poseidon ext : 17000/17000 (mem: N/A)
14:36:39 poseidon int : 92000/92000 (mem: N/A)
14:36:39 overflow : 66804/66804 (mem: N/A)
14:36:39 (mem: N/A)
14:36:39 Total structured size: 308829 (mem: N/A)
14:36:39 allocating polynomials object in proving key... (mem: N/A)
14:36:39 populating trace... (mem: N/A)
14:36:39 time to construct proving key: 406 ms. (mem: N/A)
14:36:39 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: N/A)
14:36:40 Initialized BN254 CRS from memory with num points = 524289 (mem: N/A)
14:36:40 getting honk vk... precomputed?: 0xc4a8d40 (mem: N/A)
14:36:40 computing folding proof (mem: N/A)
14:36:40 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 0 from 262144 to 524288 (mem: N/A)
14:36:40 vkey hash in Oink prover: 0x0000000000000000000000000000000000f894d9d88f80fc4ff42a905aad8540 (mem: N/A)
14:36:42 oink prover on each incomplete key (mem: N/A)
14:36:42 perturbator round (mem: N/A)
14:36:43 combiner quotient round (mem: N/A)
14:36:44 folded (mem: N/A)
14:36:44 constructed folding proof (mem: N/A)
14:36:44 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:44 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000000f894d9d88f80fc4ff42a905aad8540 (mem: N/A)
14:36:44 ClientIVC: accumulating private_kernel_inner (mem: N/A)
14:36:44 Constructing DeciderProvingKey (mem: N/A)
14:36:44 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:44 goblin ecc op : 792/1024 (mem: N/A)
14:36:44 busread : 4184/6000 (mem: N/A)
14:36:44 lookups : 2/15000 (mem: N/A)
14:36:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
14:36:44 arithmetic : 43807/56000 (mem: N/A)
14:36:44 delta range : 5025/18000 (mem: N/A)
14:36:44 elliptic : 340/6000 (mem: N/A)
14:36:44 auxiliary : 1399/26000 (mem: N/A)
14:36:44 poseidon ext : 5682/17000 (mem: N/A)
14:36:44 poseidon int : 32378/92000 (mem: N/A)
14:36:44 overflow : 0/0 (mem: N/A)
14:36:44 (mem: N/A)
14:36:44 Total structured size: 242025 (mem: N/A)
14:36:44 allocating polynomials object in proving key... (mem: N/A)
14:36:44 populating trace... (mem: N/A)
14:36:44 time to construct proving key: 113 ms. (mem: N/A)
14:36:44 getting honk vk... precomputed?: 0xc4ab180 (mem: N/A)
14:36:44 computing folding proof (mem: N/A)
14:36:44 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: N/A)
14:36:44 vkey hash in Oink prover: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:45 oink prover on each incomplete key (mem: N/A)
14:36:46 perturbator round (mem: N/A)
14:36:47 combiner quotient round (mem: N/A)
14:36:47 folded (mem: N/A)
14:36:47 constructed folding proof (mem: N/A)
14:36:47 ClientIVC: accumulating ContractInstanceDeployer:deploy (mem: N/A)
14:36:47 Constructing DeciderProvingKey (mem: N/A)
14:36:47 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:47 goblin ecc op : 4/1024 (mem: N/A)
14:36:47 busread : 742/6000 (mem: N/A)
14:36:47 lookups : 2/15000 (mem: N/A)
14:36:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
14:36:47 arithmetic : 3656/56000 (mem: N/A)
14:36:47 delta range : 1838/18000 (mem: N/A)
14:36:47 elliptic : 340/6000 (mem: N/A)
14:36:47 auxiliary : 187/26000 (mem: N/A)
14:36:47 poseidon ext : 162/17000 (mem: N/A)
14:36:47 poseidon int : 914/92000 (mem: N/A)
14:36:47 overflow : 0/0 (mem: N/A)
14:36:47 (mem: N/A)
14:36:47 Total structured size: 242025 (mem: N/A)
14:36:47 allocating polynomials object in proving key... (mem: N/A)
14:36:47 populating trace... (mem: N/A)
14:36:47 time to construct proving key: 28 ms. (mem: N/A)
14:36:47 getting honk vk... precomputed?: 0x386fe40 (mem: N/A)
14:36:47 computing folding proof (mem: N/A)
14:36:47 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: N/A)
14:36:47 vkey hash in Oink prover: 0x00000000000000000000000000000000d0f9e87ab5f556ed788ba45ab88ade3a (mem: N/A)
14:36:47 oink prover on each incomplete key (mem: N/A)
14:36:48 perturbator round (mem: N/A)
14:36:49 combiner quotient round (mem: N/A)
14:36:49 folded (mem: N/A)
14:36:49 constructed folding proof (mem: N/A)
14:36:50 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:50 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d0f9e87ab5f556ed788ba45ab88ade3a (mem: N/A)
14:36:50 ClientIVC: accumulating private_kernel_inner (mem: N/A)
14:36:50 Constructing DeciderProvingKey (mem: N/A)
14:36:50 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:50 goblin ecc op : 792/1024 (mem: N/A)
14:36:50 busread : 4184/6000 (mem: N/A)
14:36:50 lookups : 2/15000 (mem: N/A)
14:36:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
14:36:50 arithmetic : 43807/56000 (mem: N/A)
14:36:50 delta range : 5025/18000 (mem: N/A)
14:36:50 elliptic : 340/6000 (mem: N/A)
14:36:50 auxiliary : 1399/26000 (mem: N/A)
14:36:50 poseidon ext : 5682/17000 (mem: N/A)
14:36:50 poseidon int : 32378/92000 (mem: N/A)
14:36:50 overflow : 0/0 (mem: N/A)
14:36:50 (mem: N/A)
14:36:50 Total structured size: 242025 (mem: N/A)
14:36:50 allocating polynomials object in proving key... (mem: N/A)
14:36:50 populating trace... (mem: N/A)
14:36:50 time to construct proving key: 104 ms. (mem: N/A)
14:36:50 getting honk vk... precomputed?: 0x102a980 (mem: N/A)
14:36:50 computing folding proof (mem: N/A)
14:36:50 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: N/A)
14:36:50 vkey hash in Oink prover: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:51 oink prover on each incomplete key (mem: N/A)
14:36:52 perturbator round (mem: N/A)
14:36:53 combiner quotient round (mem: N/A)
14:36:53 folded (mem: N/A)
14:36:53 constructed folding proof (mem: N/A)
14:36:53 ClientIVC: accumulating ContractClassRegisterer:assert_class_id_is_registered (mem: N/A)
14:36:53 Constructing DeciderProvingKey (mem: N/A)
14:36:53 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:53 goblin ecc op : 4/1024 (mem: N/A)
14:36:53 busread : 742/6000 (mem: N/A)
14:36:53 lookups : 2/15000 (mem: N/A)
14:36:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: N/A)
14:36:53 arithmetic : 3287/56000 (mem: N/A)
14:36:53 delta range : 1787/18000 (mem: N/A)
14:36:53 elliptic : 2/6000 (mem: N/A)
14:36:53 auxiliary : 26/26000 (mem: N/A)
14:36:53 poseidon ext : 12/17000 (mem: N/A)
14:36:53 poseidon int : 59/92000 (mem: N/A)
14:36:53 overflow : 0/0 (mem: N/A)
14:36:53 (mem: N/A)
14:36:53 Total structured size: 242025 (mem: N/A)
14:36:53 allocating polynomials object in proving key... (mem: N/A)
14:36:53 populating trace... (mem: N/A)
14:36:53 time to construct proving key: 25 ms. (mem: N/A)
14:36:53 getting honk vk... precomputed?: 0x23d2b40 (mem: N/A)
14:36:53 computing folding proof (mem: N/A)
14:36:53 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: N/A)
14:36:53 vkey hash in Oink prover: 0x0000000000000000000000000000000089e9a733905917949daf0c71c2b6c009 (mem: N/A)
14:36:53 oink prover on each incomplete key (mem: N/A)
14:36:54 perturbator round (mem: N/A)
14:36:55 combiner quotient round (mem: N/A)
14:36:55 folded (mem: N/A)
14:36:55 constructed folding proof (mem: N/A)
14:36:55 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:55 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000089e9a733905917949daf0c71c2b6c009 (mem: N/A)
14:36:55 ClientIVC: accumulating private_kernel_inner (mem: N/A)
14:36:55 Constructing DeciderProvingKey (mem: N/A)
14:36:55 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:55 goblin ecc op : 792/1024 (mem: N/A)
14:36:55 busread : 4184/6000 (mem: N/A)
14:36:55 lookups : 2/15000 (mem: N/A)
14:36:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
14:36:55 arithmetic : 43807/56000 (mem: N/A)
14:36:55 delta range : 5025/18000 (mem: N/A)
14:36:55 elliptic : 340/6000 (mem: N/A)
14:36:55 auxiliary : 1399/26000 (mem: N/A)
14:36:55 poseidon ext : 5682/17000 (mem: N/A)
14:36:55 poseidon int : 32378/92000 (mem: N/A)
14:36:55 overflow : 0/0 (mem: N/A)
14:36:55 (mem: N/A)
14:36:55 Total structured size: 242025 (mem: N/A)
14:36:55 allocating polynomials object in proving key... (mem: N/A)
14:36:55 populating trace... (mem: N/A)
14:36:56 time to construct proving key: 106 ms. (mem: N/A)
14:36:56 getting honk vk... precomputed?: 0x9b35c0 (mem: N/A)
14:36:56 computing folding proof (mem: N/A)
14:36:56 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: N/A)
14:36:56 vkey hash in Oink prover: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:57 oink prover on each incomplete key (mem: N/A)
14:36:57 perturbator round (mem: N/A)
14:36:58 combiner quotient round (mem: N/A)
14:36:59 folded (mem: N/A)
14:36:59 constructed folding proof (mem: N/A)
14:36:59 vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003e61488035ff3601c168c29a202d1c59 (mem: N/A)
14:36:59 ClientIVC: accumulating private_kernel_reset (mem: N/A)
14:36:59 Constructing DeciderProvingKey (mem: N/A)
14:36:59 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:36:59 goblin ecc op : 392/1024 (mem: N/A)
14:36:59 busread : 2347/6000 (mem: N/A)
14:36:59 lookups : 2/15000 (mem: N/A)
14:36:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: N/A)
14:36:59 arithmetic : 36209/56000 (mem: N/A)
14:36:59 delta range : 4306/18000 (mem: N/A)
14:36:59 elliptic : 1274/6000 (mem: N/A)
14:36:59 auxiliary : 12562/26000 (mem: N/A)
14:36:59 poseidon ext : 6112/17000 (mem: N/A)
14:36:59 poseidon int : 34829/92000 (mem: N/A)
14:36:59 overflow : 0/0 (mem: N/A)
14:36:59 (mem: N/A)
14:36:59 Total structured size: 242025 (mem: N/A)
14:36:59 allocating polynomials object in proving key... (mem: N/A)
14:36:59 populating trace... (mem: N/A)
14:36:59 time to construct proving key: 120 ms. (mem: N/A)
14:36:59 getting honk vk... precomputed?: 0xf8fec0 (mem: N/A)
14:36:59 computing folding proof (mem: N/A)
14:36:59 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: N/A)
14:36:59 vkey hash in Oink prover: 0x00000000000000000000000000000000c211ff9c7a9c97c80d116c907b808844 (mem: N/A)
14:37:00 oink prover on each incomplete key (mem: N/A)
14:37:01 perturbator round (mem: N/A)
14:37:02 combiner quotient round (mem: N/A)
14:37:02 folded (mem: N/A)
14:37:02 constructed folding proof (mem: N/A)
14:37:02 vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000c211ff9c7a9c97c80d116c907b808844 (mem: N/A)
14:37:02 ClientIVC: accumulating private_kernel_tail (mem: N/A)
14:37:02 Constructing DeciderProvingKey (mem: N/A)
14:37:02 Gate blocks summary: (actual gates / fixed capacity) (mem: N/A)
14:37:02 goblin ecc op : 392/1024 (mem: N/A)
14:37:02 busread : 231/6000 (mem: N/A)
14:37:02 lookups : 2/15000 (mem: N/A)
14:37:02 pub inputs : 1859/5000 (populated in decider pk constructor) (mem: N/A)
14:37:02 arithmetic : 32330/56000 (mem: N/A)
14:37:02 delta range : 4411/18000 (mem: N/A)
14:37:02 elliptic : 2/6000 (mem: N/A)
14:37:02 auxiliary : 11868/26000 (mem: N/A)
14:37:02 poseidon ext : 2552/17000 (mem: N/A)
14:37:02 poseidon int : 14537/92000 (mem: N/A)
14:37:02 overflow : 0/0 (mem: N/A)
14:37:02 (mem: N/A)
14:37:02 Total structured size: 242025 (mem: N/A)
14:37:02 allocating polynomials object in proving key... (mem: N/A)
14:37:02 populating trace... (mem: N/A)
14:37:02 time to construct proving key: 88 ms. (mem: N/A)
14:37:03 getting honk vk... precomputed?: 0x102b200 (mem: N/A)
14:37:03 computing folding proof (mem: N/A)
14:37:03 ProtogalaxyProver: circuit size mismatch - increasing virtual size of key 1 from 262144 to 524288 (mem: N/A)
14:37:03 vkey hash in Oink prover: 0x0000000000000000000000000000000004e5c65f357d227066d8ec7a7045e6c0 (mem: N/A)
14:37:03 oink prover on each incomplete key (mem: N/A)
14:37:04 perturbator round (mem: N/A)
14:37:05 combiner quotient round (mem: N/A)
14:37:05 folded (mem: N/A)
14:37:05 constructed folding proof (mem: N/A)
14:37:05 Largest circuit: 259201 gates. Trace details: (mem: N/A)
14:37:05 Minimum required block sizes for structured trace: (mem: N/A)
14:37:05 ecc_op : 792
14:37:05 busread : 4184
14:37:05 lookup : 2076
14:37:05 pub_inputs : 1859
14:37:05 arithmetic : 56000
14:37:05 delta_range : 8579
14:37:05 elliptic : 1274
14:37:05 aux : 18075
14:37:05 poseidon2_external : 17000
14:37:05 poseidon2_internal : 92000
14:37:05 overflow : 66804
14:37:05 (mem: N/A)
14:37:05 prove decider... (mem: N/A)
14:37:06 starting sumcheck rounds... (mem: N/A)
14:37:07 completed 19 rounds of sumcheck (mem: N/A)
14:37:10 executed multivariate-to-univariate reduction (mem: N/A)
14:37:11 computed opening proof (mem: N/A)
14:37:11 finished decider proving. (mem: N/A)
14:37:11 vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000004e5c65f357d227066d8ec7a7045e6c0 (mem: N/A)
14:37:11 Constructing DeciderProvingKey (mem: N/A)
14:37:11 allocating polynomials object in proving key... (mem: N/A)
14:37:11 populating trace... (mem: N/A)
14:37:11 time to construct proving key: 122 ms. (mem: N/A)
14:37:13 vkey hash in Oink prover: 0x00000000000000000000000000000000f18a0809f37bfdacae8e5ba8412d0553 (mem: N/A)
14:37:14 created oink proof (mem: N/A)
14:37:14 starting sumcheck rounds... (mem: N/A)
14:37:14 completed 17 rounds of sumcheck (mem: N/A)
14:37:15 executed multivariate-to-univariate reduction (mem: N/A)
14:37:16 computed opening proof (mem: N/A)
14:37:16 finished decider proving. (mem: N/A)
14:37:16 Constructing a Goblin proof with num ultra ops = 4614 (mem: N/A)
14:37:16 prove eccvm... (mem: N/A)
14:37:16 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: N/A)
14:37:16 Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: N/A)
14:37:19 starting sumcheck rounds... (mem: N/A)
14:37:23 completed 16 rounds of sumcheck (mem: N/A)
14:37:26 finished eccvm proving. (mem: N/A)
14:37:26 prove translator... (mem: N/A)
14:37:27 starting sumcheck rounds... (mem: N/A)
14:37:31 completed 18 rounds of sumcheck (mem: N/A)
14:37:34 computed opening proof (mem: N/A)
14:37:34 finished translator proving. (mem: N/A)
14:37:34 vkey hash in Oink verifier: 0x00000000000000000000000000000000f18a0809f37bfdacae8e5ba8412d0553 (mem: N/A)
14:37:34 sumcheck_verified: 1 (mem: N/A)
14:37:34 libra_evals_verified: 1 (mem: N/A)
14:37:34 pairing_check_verified: 1 (mem: N/A)
14:37:34 Mega verified: 1 (mem: N/A)
14:37:34 eccvm sumcheck verified?: 1 (mem: N/A)
14:37:34 batch opening verified?: 1 (mem: N/A)
14:37:34 eccvm consistency check verified?: 1 (mem: N/A)
14:37:34 translation masking consistency checked?: 1 (mem: N/A)
14:37:34 merge verified?: 1 (mem: N/A)
14:37:34 eccvm verified?: 1 (mem: N/A)
14:37:34 accumulator construction_verified?: 1 (mem: N/A)
14:37:34 translation verified?: 1 (mem: N/A)
14:37:34 consistency verified?: 1 (mem: N/A)
14:37:34 Goblin verified: 1 (mem: N/A)
14:37:34 writing ClientIVC proof in directory "bench-out/app-proving/schnorr+deploy_tokenContract_with_registration+sponsored_fpc/wasm" (mem: N/A)
14:37:34 schnorr+deploy_tokenContract_with_registration+sponsored_fpc (wasm) has proven in 65s and peak memory of 1696MB.
14:37:34 schnorr+deploy_tokenContract_with_registration+sponsored_fpc (wasm) has verified.