Parent Log:
http://ci.aztec-labs.com/b77d7025149214cb
Command: a173e32263f6bc73:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/wasm_client_ivc_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/71fe6b444df8fafa5531226cf458dbd22d2f3ab7
Env: REF_NAME=gh-readonly-queue/master/pr-15117-c06f30929f18b85bcea93c0926a8d640a3819f00 CURRENT_VERSION=0.87.8 CI_FULL=0
Date: Tue Jun 17 19:28:04 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15117_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_c1042738a0b72f4b_master
19:28:07 [19:28:07.133]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
19:28:07 [19:28:07.138]
INFO:
ivc-integration:test:wasm inputsPath /tmp/bb-client-ivc-integration-jkoyig/ivc-inputs.msgpack
19:28:07 [19:28:07.140]
INFO:
ivc-integration:test:wasm bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-jkoyig --ivc_inputs_path /tmp/bb-client-ivc-integration-jkoyig/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
19:28:07 [19:28:07.275]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 11969535 bytes
19:28:07 [19:28:07.285]
INFO:
ivc-integration:test:wasm bb - bb command: prove (mem: 145.17 MiB)
19:28:07 Scheme is: client_ivc, num threads: 64 (mem: 145.17 MiB)
19:28:07 --scheme: client_ivc (mem: 145.17 MiB)
19:28:07 --output_path: /tmp/bb-client-ivc-integration-jkoyig (mem: 145.17 MiB)
19:28:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-jkoyig/ivc-inputs.msgpack (mem: 145.17 MiB)
19:28:07 --verbose: true (mem: 145.17 MiB)
19:28:07 --write_vk: true (mem: 145.17 MiB)
19:28:07 BN254 commitment key size: 262144 (mem: 145.17 MiB)
19:28:07 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 197.50 MiB)
19:28:07 Initialized BN254 CRS from memory with num points = 262657 (mem: 245.85 MiB)
19:28:07 ClientIVC: accumulating unknown_0 (mem: 245.85 MiB)
19:28:07 Constructing DeciderProvingKey (mem: 245.85 MiB)
19:28:07 Gate blocks summary: (actual gates / fixed capacity) (mem: 245.85 MiB)
19:28:07 goblin ecc op : 4/1024 (mem: 245.85 MiB)
19:28:07 busread : 7/6000 (mem: 245.85 MiB)
19:28:07 lookups : 2/15000 (mem: 245.85 MiB)
19:28:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 245.85 MiB)
19:28:07 arithmetic : 1760/56000 (mem: 245.85 MiB)
19:28:07 delta range : 1754/18000 (mem: 245.85 MiB)
19:28:07 elliptic : 2/6000 (mem: 245.85 MiB)
19:28:07 auxiliary : 26/26000 (mem: 245.85 MiB)
19:28:07 poseidon ext : 2/17000 (mem: 245.85 MiB)
19:28:07 poseidon int : 2/92000 (mem: 245.85 MiB)
19:28:07 overflow : 0/0 (mem: 245.85 MiB)
19:28:07 (mem: 245.85 MiB)
19:28:07 Total structured size: 242025 (mem: 245.85 MiB)
19:28:07 allocating polynomials object in proving key... (mem: 245.85 MiB)
19:28:07 [19:28:07.300]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
19:28:07 [19:28:07.331]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 454.45 MiB)
19:28:07 [19:28:07.343]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 94 ms. (mem: 467.45 MiB)
19:28:07 [19:28:07.356]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbb48cab847c0 (mem: 467.45 MiB)
19:28:07 computing oink proof... (mem: 467.45 MiB)
19:28:07 [19:28:07.357]
INFO:
ivc-integration:test:wasm bb -
19:28:07 [19:28:07.431]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 468.95 MiB)
19:28:07 [19:28:07.441]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_1 (mem: 469.95 MiB)
19:28:07 Constructing DeciderProvingKey (mem: 469.95 MiB)
19:28:07 [19:28:07.443]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 469.95 MiB)
19:28:07 goblin ecc op : 56/1024 (mem: 469.95 MiB)
19:28:07 busread : 12/6000 (mem:
19:28:07 [19:28:07.443]
INFO:
ivc-integration:test:wasm bb - 469.95 MiB)
19:28:07 lookups : 2/15000 (mem: 469.95 MiB)
19:28:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 469.95 MiB)
19:28:07 arithmetic : 4225/56000 (mem: 469.95 MiB)
19:28:07 delta range : 2043/18000 (mem: 469.95 MiB)
19:28:07 elliptic : 2/6000 (mem: 469.95 MiB)
19:28:07 auxiliary : 110/26000 (mem: 469.95 MiB)
19:28:07 poseidon ext : 882/17000 (mem: 469.95 MiB)
19:28:07 poseidon int : 5018/92000 (mem: 469.95 MiB)
19:28:07 overflow : 0/0 (mem: 469.95 MiB)
19:28:07 (mem: 469.95 MiB)
19:28:07 Total structured size: 242025 (mem: 469.95 MiB)
19:28:07 allocating polynomials object in proving key... (mem: 469.95 MiB)
19:28:07 [19:28:07.505]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 687.95 MiB)
19:28:07 [19:28:07.510]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 68 ms. (mem: 703.95 MiB)
19:28:07 [19:28:07.520]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
19:28:07 [19:28:07.529]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
19:28:07 [19:28:07.530]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbb48cab9c980 (mem: 703.95 MiB)
19:28:07 computing folding proof (mem: 703.95 MiB)
19:28:07 [19:28:07.744]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 703.95 MiB)
19:28:07 [19:28:07.808]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 740.95 MiB)
19:28:07 [19:28:07.852]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 773.45 MiB)
19:28:08 [19:28:08.077]
INFO:
ivc-integration:test:wasm bb - folded (mem: 773.45 MiB)
19:28:08 constructed folding proof (mem: 773.45
19:28:08 [19:28:08.078]
INFO:
ivc-integration:test:wasm bb - MiB)
19:28:08 [19:28:08.134]
INFO:
ivc-integration:test:wasm bb - ClientIVC: accumulating unknown_2
19:28:08 [19:28:08.137]
INFO:
ivc-integration:test:wasm bb - (mem: 773.45 MiB)
19:28:08 Constructing DeciderProvingKey (mem: 773.45 MiB)
19:28:08 Gate blocks summary: (actual gates / fixed capacity) (mem: 773.45 MiB)
19:28:08 goblin ecc op : 392/1024 (mem: 773.45 MiB)
19:28:08 busread : 3/6000 (mem: 773.45 MiB)
19:28:08 lookups : 2/15000 (mem: 773.45 MiB)
19:28:08 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 773.45 MiB)
19:28:08 arithmetic : 6440/56000 (mem: 773.45 MiB)
19:28:08 delta range : 2323/18000 (mem: 773.45 MiB)
19:28:08 elliptic : 2/6000 (mem: 773.45 MiB)
19:28:08 auxiliary : 50/26000 (mem: 773.45 MiB)
19:28:08 poseidon ext : 2042/17000 (mem: 773.45 MiB)
19:28:08 poseidon int : 11630/92000 (mem: 773.45 MiB)
19:28:08 overflow : 0/0 (mem: 773.45 MiB)
19:28:08 (mem: 773.45 MiB)
19:28:08 Total structured size: 242025 (mem: 773.45 MiB)
19:28:08 allocating polynomials object in proving key... (mem: 773.45 MiB)
19:28:08 [19:28:08.177]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 773.45 MiB)
19:28:08 [19:28:08.193]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 58 ms. (mem: 773.45 MiB)
19:28:08 [19:28:08.257]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0xbb48cab9ef00 (mem: 773.45 MiB)
19:28:08 computing folding proof (mem: 773.45 MiB)
19:28:08 [19:28:08.320]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
19:28:08 [19:28:08.320]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
19:28:08 [19:28:08.620]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 773.45 MiB)
19:28:08 [19:28:08.685]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 773.45 MiB)
19:28:08 [19:28:08.731]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 781.78 MiB)
19:28:08 [19:28:08.885]
INFO:
ivc-integration:test:wasm bb - folded (mem: 781.78 MiB)
19:28:08 constructed folding proof (mem: 781.78 MiB)
19:28:08 [19:28:08.885]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 22492 gates. Trace details: (mem: 781.78 MiB)
19:28:08 Minimum required block sizes for structured trace: (mem: 781.78 MiB)
19:28:08 (mem: 781.78 MiB)
19:28:08 prove decider... (mem: 781.78 MiB)
19:28:08 finished decider proving. (mem: 781.78 MiB)
19:28:08 [19:28:08.886]
INFO:
ivc-integration:test:wasm bb - ecc_op : 392
19:28:08 busread : 12
19:28:08 lookup : 2
19:28:08 pub_inputs : 36
19:28:08 arithmetic : 6440
19:28:08 delta_range : 2323
19:28:08 elliptic : 2
19:28:08 aux : 110
19:28:08 poseidon2_external : 2042
19:28:08 poseidon2_internal : 11630
19:28:08 overflow : 0
19:28:08 [19:28:08.958]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
19:28:08 [19:28:08.959]
INFO:
ivc-integration:test:wasm bb - (mem: 781.78 MiB)
19:28:09 [19:28:09.064]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 781.78 MiB)
19:28:09 [19:28:09.110]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
19:28:09 [19:28:09.153]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
19:28:09 [19:28:09.170]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
19:28:09 [19:28:09.180]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.13MiB)
19:28:09 [19:28:09.188]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
19:28:09 [19:28:09.188]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
19:28:09 [19:28:09.205]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
19:28:09 [19:28:09.206]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
19:28:09 [19:28:09.206]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
19:28:09 [19:28:09.207]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
19:28:09 [19:28:09.207]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
19:28:09 [19:28:09.208]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
19:28:09 [19:28:09.209]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
19:28:09 [19:28:09.210]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
19:28:09 [19:28:09.211]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
19:28:09 [19:28:09.212]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
19:28:09 [19:28:09.213]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
19:28:09 [19:28:09.213]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
19:28:09 [19:28:09.214]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
19:28:09 [19:28:09.214]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
19:28:09 [19:28:09.214]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
19:28:09 [19:28:09.285]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.19MiB)
19:28:09 [19:28:09.322]
INFO:
ivc-integration:prove_wasm time to construct proving key: 133 ms. (mem: 581.44MiB)
19:28:09 [19:28:09.342]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.44MiB)
19:28:09 [19:28:09.590]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 781.78 MiB)
19:28:09 [19:28:09.655]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 781.78 MiB)
19:28:09 [19:28:09.728]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 781.78 MiB)
19:28:09 [19:28:09.730]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key... (mem: 781.78 MiB)
19:28:09 [19:28:09.801]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 781.78 MiB)
19:28:09 [19:28:09.838]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 110 ms. (mem: 781.78 MiB)
19:28:10 [19:28:10.394]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.44MiB)
19:28:10 [19:28:10.555]
INFO:
ivc-integration:test:wasm bb - created oink proof (mem: 781.78 MiB)
19:28:10 [19:28:10.684]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.44MiB)
19:28:10 [19:28:10.732]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.44MiB)
19:28:10 [19:28:10.732]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.44MiB)
19:28:10 [19:28:10.736]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.44MiB)
19:28:10 [19:28:10.737]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.44MiB)
19:28:10 [19:28:10.738]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.44MiB)
19:28:10 [19:28:10.739]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.44MiB)
19:28:10 [19:28:10.739]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.44MiB)
19:28:10 [19:28:10.739]
INFO:
ivc-integration:prove_wasm arithmetic : 4225/56000 (mem: 581.44MiB)
19:28:10 [19:28:10.740]
INFO:
ivc-integration:prove_wasm delta range : 2043/18000 (mem: 581.44MiB)
19:28:10 [19:28:10.740]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.44MiB)
19:28:10 [19:28:10.740]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.44MiB)
19:28:10 [19:28:10.740]
INFO:
ivc-integration:prove_wasm poseidon ext : 882/17000 (mem: 581.44MiB)
19:28:10 [19:28:10.740]
INFO:
ivc-integration:prove_wasm poseidon int : 5018/92000 (mem: 581.44MiB)
19:28:10 [19:28:10.741]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.44MiB)
19:28:10 [19:28:10.741]
INFO:
ivc-integration:prove_wasm (mem: 581.44MiB)
19:28:10 [19:28:10.741]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.44MiB)
19:28:10 [19:28:10.741]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.44MiB)
19:28:10 [19:28:10.806]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 803.63MiB)
19:28:10 [19:28:10.824]
INFO:
ivc-integration:prove_wasm time to construct proving key: 95 ms. (mem: 818.56MiB)
19:28:10 [19:28:10.846]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 781.78 MiB)
19:28:10 [19:28:10.854]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 818.56MiB)
19:28:11 [19:28:11.404]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 781.78 MiB)
19:28:11 [19:28:11.748]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 781.78 MiB)
19:28:11 [19:28:11.766]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 818.56MiB)
19:28:11 [19:28:11.770]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 781.78 MiB)
19:28:11 [19:28:11.887]
INFO:
ivc-integration:test:wasm bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 781.78 MiB)
19:28:11 prove eccvm... (mem: 781.78 MiB)
19:28:11 [19:28:11.996]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 818.56MiB)
19:28:12 [19:28:12.049]
INFO:
ivc-integration:test:wasm bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 781.78 MiB)
19:28:12 [19:28:12.059]
INFO:
ivc-integration:test:wasm bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 781.78 MiB)
19:28:12 [19:28:12.156]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.38MiB)
19:28:12 [19:28:12.315]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.38MiB)
19:28:12 [19:28:12.546]
INFO:
ivc-integration:prove_wasm folded (mem: 846.38MiB)
19:28:12 [19:28:12.547]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.38MiB)
19:28:12 [19:28:12.641]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 846.38MiB)
19:28:12 [19:28:12.641]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.38MiB)
19:28:12 [19:28:12.646]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.38MiB)
19:28:12 [19:28:12.647]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 846.38MiB)
19:28:12 [19:28:12.650]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 846.38MiB)
19:28:12 [19:28:12.651]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.38MiB)
19:28:12 [19:28:12.651]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.38MiB)
19:28:12 [19:28:12.652]
INFO:
ivc-integration:prove_wasm arithmetic : 6440/56000 (mem: 846.38MiB)
19:28:12 [19:28:12.652]
INFO:
ivc-integration:prove_wasm delta range : 2323/18000 (mem: 846.38MiB)
19:28:12 [19:28:12.653]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.38MiB)
19:28:12 [19:28:12.653]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 846.38MiB)
19:28:12 [19:28:12.654]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 846.38MiB)
19:28:12 [19:28:12.654]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 846.38MiB)
19:28:12 [19:28:12.655]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.38MiB)
19:28:12 [19:28:12.655]
INFO:
ivc-integration:prove_wasm (mem: 846.38MiB)
19:28:12 [19:28:12.655]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.38MiB)
19:28:12 [19:28:12.655]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.38MiB)
19:28:12 [19:28:12.656]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.38MiB)
19:28:12 [19:28:12.678]
INFO:
ivc-integration:prove_wasm time to construct proving key: 36 ms. (mem: 846.38MiB)
19:28:12 [19:28:12.715]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 846.38MiB)
19:28:13 [19:28:13.456]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds...
19:28:13 [19:28:13.456]
INFO:
ivc-integration:test:wasm bb - (mem:
19:28:13 [19:28:13.457]
INFO:
ivc-integration:test:wasm bb - 781.78
19:28:13 [19:28:13.457]
INFO:
ivc-integration:test:wasm bb - MiB)
19:28:13 [19:28:13.458]
INFO:
ivc-integration:test:wasm bb -
19:28:14 [19:28:14.112]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 846.38MiB)
19:28:14 [19:28:14.172]
INFO:
ivc-integration:test:wasm bb - completed 16 rounds of sumcheck (mem: 781.78 MiB)
19:28:14 [19:28:14.532]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 846.38MiB)
19:28:14 [19:28:14.632]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 854.75MiB)
19:28:14 [19:28:14.802]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 854.75MiB)
19:28:15 [19:28:15.040]
INFO:
ivc-integration:prove_wasm folded (mem: 854.75MiB)
19:28:15 [19:28:15.041]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 854.75MiB)
19:28:15 [19:28:15.041]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 5889 (mem: 854.75MiB)
19:28:15 [19:28:15.041]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 854.75MiB)
19:28:15 [19:28:15.042]
INFO:
ivc-integration:prove_wasm Largest circuit: 22492 gates. Trace details: (mem: 854.75MiB)
19:28:15 [19:28:15.042]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 854.75MiB)
19:28:15 [19:28:15.042]
INFO:
ivc-integration:prove_wasm ecc_op : 392
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.042]
INFO:
ivc-integration:prove_wasm busread : 12
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.043]
INFO:
ivc-integration:prove_wasm lookup : 2
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.043]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.043]
INFO:
ivc-integration:prove_wasm arithmetic : 6440
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.043]
INFO:
ivc-integration:prove_wasm delta_range : 2323
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.044]
INFO:
ivc-integration:prove_wasm elliptic : 2
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.044]
INFO:
ivc-integration:prove_wasm aux : 110
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.044]
INFO:
ivc-integration:prove_wasm poseidon2_external : 2042
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.045]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 11630
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.045]
INFO:
ivc-integration:prove_wasm overflow : 0
19:28:15 (mem: 854.75MiB)
19:28:15 [19:28:15.045]
INFO:
ivc-integration:prove_wasm (mem: 854.75MiB)
19:28:15 [19:28:15.045]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 854.75MiB)
19:28:15 [19:28:15.045]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 854.75MiB)
19:28:15 [19:28:15.145]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
19:28:15 [19:28:15.355]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 854.75MiB)
19:28:15 [19:28:15.936]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 854.75MiB)
19:28:15 [19:28:15.980]
INFO:
ivc-integration:test:wasm bb - finished eccvm proving. (mem: 781.78 MiB)
19:28:15 prove translator... (mem: 781.78 MiB)
19:28:16 [19:28:16.080]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 854.75MiB)
19:28:16 [19:28:16.221]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 854.75MiB)
19:28:16 [19:28:16.225]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 854.75MiB)
19:28:16 [19:28:16.234]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 854.75MiB)
19:28:16 [19:28:16.283]
INFO:
ivc-integration:prove_wasm time to construct proving key: 60 ms. (mem: 854.75MiB)
19:28:16 [19:28:16.811]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 781.78 MiB)
19:28:17 [19:28:17.260]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 781.78 MiB)
19:28:17 [19:28:17.459]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 854.75MiB)
19:28:17 [19:28:17.518]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
19:28:17 [19:28:17.674]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 854.75MiB)
19:28:18 [19:28:18.061]
INFO:
ivc-integration:test:wasm bb - computed opening proof
19:28:18 [19:28:18.061]
INFO:
ivc-integration:test:wasm bb - (mem: 798.23 MiB)
19:28:18 [19:28:18.062]
INFO:
ivc-integration:test:wasm bb - finished translator proving. (mem: 798.23 MiB)
19:28:18 [19:28:18.078]
INFO:
ivc-integration:test:wasm bb - Mega verified: 1 (mem: 798.23 MiB)
19:28:18 [19:28:18.131]
INFO:
ivc-integration:test:wasm bb - eccvm sumcheck verified?: 1 (mem: 798.23 MiB)
19:28:18 batch opening verified?: 1 (mem: 798.23 MiB)
19:28:18 eccvm consistency check verified?: 1 (mem: 798.23 MiB)
19:28:18 translation masking consistency checked?: 1 (mem:
19:28:18 [19:28:18.131]
INFO:
ivc-integration:test:wasm bb - 798.23 MiB)
19:28:18 [19:28:18.151]
INFO:
ivc-integration:test:wasm bb - merge verified?: 1 (mem: 798.23 MiB)
19:28:18 eccvm verified?: 1 (mem: 798.23 MiB)
19:28:18 accumulator construction_verified?: 1 (mem: 798.23 MiB)
19:28:18 translation verified?: 1 (mem: 798.23 MiB)
19:28:18 consistency verified?: 1 (mem: 798.23 MiB)
19:28:18 Goblin verified: 1 (mem: 798.23 MiB)
19:28:18 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-jkoyig" (mem: 798.23 MiB)
19:28:18 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-jkoyig" (mem: 798.23 MiB)
19:28:18 num_public_inputs_in_final_circuit: 4 (mem: 798.23 MiB)
19:28:18 BN254 commitment key size: 262144 (mem: 798.23 MiB)
19:28:18 [19:28:18.151]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 798.23 MiB)
19:28:18 [19:28:18.153]
INFO:
ivc-integration:test:wasm bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 798.23 MiB)
19:28:18 goblin ecc op : 4/1024 (mem: 798.23 MiB)
19:28:18 busread : 3/6000 (mem: 798.23 MiB)
19:28:18 lookups : 2/15000 (mem: 798.23 MiB)
19:28:18 [19:28:18.153]
INFO:
ivc-integration:test:wasm bb - pub inputs : 17/5000 (populated in decider pk constructor) (mem: 798.23 MiB)
19:28:18 arithmetic : 1773/56000 (mem: 798.23 MiB)
19:28:18 delta range : 1754/18000 (mem: 798.23 MiB)
19:28:18 elliptic : 2/6000 (mem: 798.23 MiB)
19:28:18 auxiliary : 26/26000 (mem: 798.23 MiB)
19:28:18 poseidon ext : 2/17000 (mem: 798.23 MiB)
19:28:18 poseidon int : 2/92000 (mem: 798.23 MiB)
19:28:18 overflow : 0/0 (mem: 798.23 MiB)
19:28:18 (mem: 798.23 MiB)
19:28:18 Total structured size: 242025 (mem: 798.23 MiB)
19:28:18 allocating polynomials object in proving key... (mem: 798.23 MiB)
19:28:18 [19:28:18.169]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 798.23 MiB)
19:28:18 [19:28:18.172]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 20 ms. (mem: 798.23 MiB)
19:28:18 [19:28:18.229]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 798.23 MiB)
19:28:18 [19:28:18.267]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 854.75MiB)
19:28:18 [19:28:18.351]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 854.75MiB)
19:28:18 [19:28:18.400]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 1038 (mem: 854.75MiB)
19:28:18 [19:28:18.400]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 854.75MiB)
19:28:18 [19:28:18.686]
INFO:
ivc-integration:test:wasm bb - computing oink proof... (mem: 798.23 MiB)
19:28:18 [19:28:18.782]
INFO:
ivc-integration:test:wasm bb - oink proof constructed (mem: 798.23 MiB)
19:28:18 [19:28:18.794]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 798.23 MiB)
19:28:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 798.23 MiB)
19:28:18 goblin ecc op : 56/1024 (mem: 798.23 MiB)
19:28:18 busread : 3/6000 (mem: 798.23 MiB)
19:28:18 lookups : 2/15000 (mem: 798.23 MiB)
19:28:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 798.23 MiB)
19:28:18 arithmetic : 4072/56000 (mem: 798.23 MiB)
19:28:18 delta range : 2030/18000 (mem: 798.23 MiB)
19:28:18 elliptic : 2/6000 (mem: 798.23 MiB)
19:28:18 auxiliary : 50/26000 (mem: 798.23 MiB)
19:28:18 poseidon ext : 882/17000 (mem: 798.23 MiB)
19:28:18 poseidon int : 5018/92000 (mem: 798.23 MiB)
19:28:18 overflow : 0/0 (mem: 798.23 MiB)
19:28:18 (mem: 798.23 MiB)
19:28:18 Total structured size: 242025 (mem: 798.23 MiB)
19:28:18 allocating polynomials object in proving key... (mem: 798.23 MiB)
19:28:18 [19:28:18.822]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 884.35 MiB)
19:28:18 [19:28:18.830]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 36 ms. (mem: 884.35 MiB)
19:28:18 [19:28:18.857]
INFO:
ivc-integration:test:wasm bb - getting honk vk... precomputed?: 0 (mem: 884.35 MiB)
19:28:19 [19:28:19.239]
INFO:
ivc-integration:test:wasm bb - computing folding proof (mem: 884.35 MiB)
19:28:19 [19:28:19.490]
INFO:
ivc-integration:test:wasm bb - oink prover on each incomplete key (mem: 892.85 MiB)
19:28:19 [19:28:19.545]
INFO:
ivc-integration:test:wasm bb - perturbator round (mem: 892.85 MiB)
19:28:19 [19:28:19.587]
INFO:
ivc-integration:test:wasm bb - combiner quotient round (mem: 924.85 MiB)
19:28:19 [19:28:19.696]
INFO:
ivc-integration:test:wasm bb - folded (mem: 924.85 MiB)
19:28:19 constructed folding proof (mem: 924.85 MiB)
19:28:19 [19:28:19.702]
INFO:
ivc-integration:test:wasm bb - Largest circuit: 12059 gates. Trace details:
19:28:19 [19:28:19.702]
INFO:
ivc-integration:test:wasm bb - (mem:
19:28:19 [19:28:19.703]
INFO:
ivc-integration:test:wasm bb - 924.85
19:28:19 [19:28:19.703]
INFO:
ivc-integration:test:wasm bb - MiB)
19:28:19 [19:28:19.705]
INFO:
ivc-integration:test:wasm bb -
19:28:19 Minimum required block sizes for structured trace: (mem: 924.85 MiB)
19:28:19 (mem: 924.85 MiB)
19:28:19 prove decider... (mem: 924.85 MiB)
19:28:19 finished decider proving. (mem: 924.85 MiB)
19:28:19 [19:28:19.705]
INFO:
ivc-integration:test:wasm bb - ecc_op : 56
19:28:19 busread : 3
19:28:19 lookup : 2
19:28:19 pub_inputs : 36
19:28:19 arithmetic : 4072
19:28:19 delta_range : 2030
19:28:19 elliptic : 2
19:28:19 aux : 50
19:28:19 poseidon2_external : 882
19:28:19 poseidon2_internal : 5018
19:28:19 overflow : 0
19:28:19 [19:28:19.784]
INFO:
ivc-integration:test:wasm bb - starting sumcheck rounds... (mem: 924.85 MiB)
19:28:19 [19:28:19.871]
INFO:
ivc-integration:test:wasm bb - completed 18 rounds of sumcheck (mem: 924.85 MiB)
19:28:20 [19:28:20.321]
INFO:
ivc-integration:test:wasm bb - executed multivariate-to-univariate reduction (mem: 924.85 MiB)
19:28:20 [19:28:20.357]
INFO:
ivc-integration:test:wasm bb - computed opening proof (mem: 924.85 MiB)
19:28:20 [19:28:20.425]
INFO:
ivc-integration:test:wasm bb - Constructing DeciderProvingKey (mem: 924.85 MiB)
19:28:20 [19:28:20.427]
INFO:
ivc-integration:test:wasm bb - allocating polynomials object in proving key...
19:28:20 [19:28:20.428]
INFO:
ivc-integration:test:wasm bb - (mem:
19:28:20 [19:28:20.429]
INFO:
ivc-integration:test:wasm bb - 924.85 MiB)
19:28:20 [19:28:20.456]
INFO:
ivc-integration:test:wasm bb - populating trace... (mem: 924.85 MiB)
19:28:20 [19:28:20.470]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
19:28:20 [19:28:20.477]
INFO:
ivc-integration:test:wasm bb - time to construct proving key: 52 ms.
19:28:20 [19:28:20.478]
INFO:
ivc-integration:test:wasm bb - (mem:
19:28:20 [19:28:20.478]
INFO:
ivc-integration:test:wasm bb - 924.85 MiB)
19:28:21 [19:28:21.745]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 854.75MiB)
19:28:23 [19:28:23.571]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 854.75MiB)
19:28:23 [19:28:23.572]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 854.75MiB)
19:28:25 [19:28:25.715]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 854.75MiB)
19:28:27 [19:28:27.113]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 854.75MiB)
19:28:29 [19:28:29.471]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 936.56MiB)
19:28:29 [19:28:29.471]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 936.56MiB)
19:28:29 [19:28:29.472]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 20321 (mem: 936.56MiB)
19:28:29 [19:28:29.477]
INFO:
ivc-integration:prove_wasm time to serialize proof: 6 (mem: 936.56MiB)
19:28:29 [19:28:29.479]
INFO:
ivc-integration:prove_wasm time to serialize vk: 2 (mem: 936.56MiB)
19:28:29 [19:28:29.532]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.847]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.848]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.848]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.848]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.936]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.938]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.939]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.940]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.941]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 936.56MiB)
19:28:29 [19:28:29.941]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 936.56MiB)
19:28:30 [19:28:30.833]
INFO:
ivc-integration:test:wasm Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-jkoyig/proof -k /tmp/bb-client-ivc-integration-jkoyig/vk -v
19:28:30 [19:28:30.858]
INFO:
ivc-integration:test:wasm bb command: verify (mem: 644.88 MiB)
19:28:30 [19:28:30.858]
INFO:
ivc-integration:test:wasm Scheme is: client_ivc, num threads: 64 (mem: 644.88 MiB)
19:28:30 --proof_path: /tmp/bb-client-ivc-integration-jkoyig/proof (mem: 644.88 MiB)
19:28:30 --vk_path: /tmp/bb-client-ivc-integration-jkoyig/vk (mem: 644.88 MiB)
19:28:30 --verbose: true (mem: 644.88 MiB)
19:28:30 --scheme: client_ivc (mem: 644.88 MiB)
19:28:30 [19:28:30.886]
INFO:
ivc-integration:test:wasm using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 644.88 MiB)
19:28:30 [19:28:30.900]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 644.88 MiB)
19:28:30 [19:28:30.918]
INFO:
ivc-integration:test:wasm using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 644.88 MiB)
19:28:30 [19:28:30.919]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 513 (mem: 644.88 MiB)
19:28:30 [19:28:30.926]
INFO:
ivc-integration:test:wasm Mega verified: 1 (mem: 644.88 MiB)
19:28:30 [19:28:30.994]
INFO:
ivc-integration:test:wasm eccvm sumcheck verified?: 1
19:28:30 [19:28:30.996]
INFO:
ivc-integration:test:wasm (mem: 644.88 MiB)
19:28:30 batch opening verified?: 1 (mem: 644.88 MiB)
19:28:30 eccvm consistency check verified?: 1 (mem: 644.88 MiB)
19:28:30 translation masking consistency checked?: 1 (mem: 644.88 MiB)
19:28:31 [19:28:31.013]
INFO:
ivc-integration:test:wasm merge verified?: 1 (mem: 644.88 MiB)
19:28:31 eccvm verified?: 1 (mem: 644.88 MiB)
19:28:31 accumulator construction_verified?: 1 (mem: 644.88 MiB)
19:28:31 translation verified?: 1 (mem: 644.88 MiB)
19:28:31 consistency verified?: 1 (mem: 644.88 MiB)
19:28:31 [19:28:31.014]
INFO:
ivc-integration:test:wasm Goblin verified: 1 (mem: 644.88 MiB)
19:28:31 [19:28:31.016]
INFO:
ivc-integration:test:wasm verified: 1 (mem: 644.88 MiB)
19:28:31 [19:28:31.038]
INFO:
ivc-integration:test:wasm Fetching bb wasm from default location
19:28:31 [19:28:31.175]
INFO:
ivc-integration:test:wasm Compiling bb wasm of 11969535 bytes
19:28:31 [19:28:31.198]
INFO:
ivc-integration:test:wasm Compilation of bb wasm complete
19:28:31 [19:28:31.464]
INFO:
ivc-integration:test:wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 1; shared memory: true
19:28:31 [19:28:31.481]
INFO:
ivc-integration:test:wasm Using cached CRS of size 33554433
19:28:31 [19:28:31.481]
INFO:
ivc-integration:test:wasm Using cached Grumpkin CRS of size 262144
19:28:32 [19:28:32.116]
INFO:
ivc-integration:test:wasm Initialized BN254 CRS from memory with num points = 1048585 (mem: 258.06MiB)
19:28:32 [19:28:32.195]
INFO:
ivc-integration:test:wasm Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 258.06MiB)
19:28:32 [19:28:32.199]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
19:28:32 [19:28:32.275]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
19:28:32 [19:28:32.324]
INFO:
ivc-integration:test:wasm BN254 commitment key size: 262144 (mem: 354.06MiB)
19:28:32 [19:28:32.415]
INFO:
ivc-integration:test:wasm WARNING: goblin_element::assert_equal value check failed! (mem: 354.06MiB)
19:28:32 [19:28:32.415]
INFO:
ivc-integration:test:wasm WARNING: goblin_element::assert_equal value check failed! (mem: 354.06MiB)
19:28:32 [19:28:32.489]
INFO:
ivc-integration:test:wasm Gate numbers for each circuit:
{"0":3555,"1":12294,"2":22492}
19:28:32 [19:28:32.533]
INFO:
ivc-integration:prove_wasm Fetching bb wasm from default location
19:28:32 [19:28:32.630]
INFO:
ivc-integration:prove_wasm Compiling bb wasm of 11969535 bytes
19:28:32 [19:28:32.652]
INFO:
ivc-integration:prove_wasm Compilation of bb wasm complete
19:28:32 [19:28:32.889]
INFO:
ivc-integration:prove_wasm Initializing bb wasm: initial memory 32 pages 2MiB; max memory: 65536 pages, 4096MiB; threads: 16; shared memory: true
19:28:32 [19:28:32.897]
INFO:
ivc-integration:prove_wasm Creating 16 worker threads
19:28:33 [19:28:33.390]
INFO:
ivc-integration:prove_wasm Using cached CRS of size 33554433
19:28:33 [19:28:33.391]
INFO:
ivc-integration:prove_wasm Using cached Grumpkin CRS of size 262144
19:28:34 [19:28:34.254]
INFO:
ivc-integration:prove_wasm Initialized BN254 CRS from memory with num points = 1048705 (mem: 258.06MiB)
19:28:34 [19:28:34.294]
INFO:
ivc-integration:prove_wasm Initialized Grumpkin prover CRS from memory with num points = 65665 (mem: 258.06MiB)
19:28:34 [19:28:34.313]
INFO:
ivc-integration:prove_wasm BN254 commitment key size: 262144 (mem: 258.06MiB)
19:28:34 [19:28:34.319]
INFO:
ivc-integration:prove_wasm DEPRECATED: No VK was provided for at least one client IVC step and it will be computed. This is slower and insecure. (mem: 354.13MiB)
19:28:34 [19:28:34.325]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_0 (mem: 354.13MiB)
19:28:34 [19:28:34.326]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 354.13MiB)
19:28:34 [19:28:34.342]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13MiB)
19:28:34 [19:28:34.342]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 354.13MiB)
19:28:34 [19:28:34.343]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 354.13MiB)
19:28:34 [19:28:34.343]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 354.13MiB)
19:28:34 [19:28:34.343]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 354.13MiB)
19:28:34 [19:28:34.343]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 354.13MiB)
19:28:34 [19:28:34.344]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 354.13MiB)
19:28:34 [19:28:34.344]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 354.13MiB)
19:28:34 [19:28:34.344]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 354.13MiB)
19:28:34 [19:28:34.344]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 354.13MiB)
19:28:34 [19:28:34.345]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 354.13MiB)
19:28:34 [19:28:34.345]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 354.13MiB)
19:28:34 [19:28:34.345]
INFO:
ivc-integration:prove_wasm (mem: 354.13MiB)
19:28:34 [19:28:34.345]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 354.13MiB)
19:28:34 [19:28:34.345]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 354.13MiB)
19:28:34 [19:28:34.367]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 567.88MiB)
19:28:34 [19:28:34.380]
INFO:
ivc-integration:prove_wasm time to construct proving key: 54 ms. (mem: 581.88MiB)
19:28:34 [19:28:34.391]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 581.88MiB)
19:28:35 [19:28:35.379]
INFO:
ivc-integration:prove_wasm computing oink proof... (mem: 581.88MiB)
19:28:35 [19:28:35.490]
INFO:
ivc-integration:prove_wasm oink proof constructed (mem: 581.88MiB)
19:28:35 [19:28:35.522]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_1 (mem: 581.88MiB)
19:28:35 [19:28:35.522]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 581.88MiB)
19:28:35 [19:28:35.526]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 581.88MiB)
19:28:35 [19:28:35.527]
INFO:
ivc-integration:prove_wasm goblin ecc op : 56/1024 (mem: 581.88MiB)
19:28:35 [19:28:35.527]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 581.88MiB)
19:28:35 [19:28:35.528]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 581.88MiB)
19:28:35 [19:28:35.528]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 581.88MiB)
19:28:35 [19:28:35.528]
INFO:
ivc-integration:prove_wasm arithmetic : 4225/56000 (mem: 581.88MiB)
19:28:35 [19:28:35.529]
INFO:
ivc-integration:prove_wasm delta range : 2043/18000 (mem: 581.88MiB)
19:28:35 [19:28:35.529]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 581.88MiB)
19:28:35 [19:28:35.529]
INFO:
ivc-integration:prove_wasm auxiliary : 110/26000 (mem: 581.88MiB)
19:28:35 [19:28:35.529]
INFO:
ivc-integration:prove_wasm poseidon ext : 882/17000 (mem: 581.88MiB)
19:28:35 [19:28:35.530]
INFO:
ivc-integration:prove_wasm poseidon int : 5018/92000 (mem: 581.88MiB)
19:28:35 [19:28:35.531]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 581.88MiB)
19:28:35 [19:28:35.531]
INFO:
ivc-integration:prove_wasm (mem: 581.88MiB)
19:28:35 [19:28:35.531]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 581.88MiB)
19:28:35 [19:28:35.531]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 581.88MiB)
19:28:35 [19:28:35.550]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 804.19MiB)
19:28:35 [19:28:35.568]
INFO:
ivc-integration:prove_wasm time to construct proving key: 45 ms. (mem: 819.06MiB)
19:28:35 [19:28:35.610]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 819.06MiB)
19:28:36 [19:28:36.478]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 819.06MiB)
19:28:36 [19:28:36.606]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 819.06MiB)
19:28:36 [19:28:36.801]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.81MiB)
19:28:36 [19:28:36.999]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.81MiB)
19:28:37 [19:28:37.148]
INFO:
ivc-integration:prove_wasm folded (mem: 846.81MiB)
19:28:37 [19:28:37.149]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.81MiB)
19:28:37 [19:28:37.151]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_2 (mem: 846.81MiB)
19:28:37 [19:28:37.152]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.81MiB)
19:28:37 [19:28:37.157]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.81MiB)
19:28:37 [19:28:37.158]
INFO:
ivc-integration:prove_wasm goblin ecc op : 4/1024 (mem: 846.81MiB)
19:28:37 [19:28:37.158]
INFO:
ivc-integration:prove_wasm busread : 7/6000 (mem: 846.81MiB)
19:28:37 [19:28:37.159]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.81MiB)
19:28:37 [19:28:37.159]
INFO:
ivc-integration:prove_wasm pub inputs : 16/5000 (populated in decider pk constructor) (mem: 846.81MiB)
19:28:37 [19:28:37.159]
INFO:
ivc-integration:prove_wasm arithmetic : 1760/56000 (mem: 846.81MiB)
19:28:37 [19:28:37.159]
INFO:
ivc-integration:prove_wasm delta range : 1754/18000 (mem: 846.81MiB)
19:28:37 [19:28:37.160]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.81MiB)
19:28:37 [19:28:37.160]
INFO:
ivc-integration:prove_wasm auxiliary : 26/26000 (mem: 846.81MiB)
19:28:37 [19:28:37.160]
INFO:
ivc-integration:prove_wasm poseidon ext : 2/17000 (mem: 846.81MiB)
19:28:37 [19:28:37.160]
INFO:
ivc-integration:prove_wasm poseidon int : 2/92000 (mem: 846.81MiB)
19:28:37 [19:28:37.161]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.81MiB)
19:28:37 [19:28:37.161]
INFO:
ivc-integration:prove_wasm (mem: 846.81MiB)
19:28:37 [19:28:37.161]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.81MiB)
19:28:37 [19:28:37.161]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.81MiB)
19:28:37 [19:28:37.172]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.81MiB)
19:28:37 [19:28:37.181]
INFO:
ivc-integration:prove_wasm time to construct proving key: 30 ms. (mem: 846.81MiB)
19:28:37 [19:28:37.198]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 846.81MiB)
19:28:37 [19:28:37.979]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 846.81MiB)
19:28:38 [19:28:38.071]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 846.81MiB)
19:28:38 [19:28:38.207]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 846.81MiB)
19:28:38 [19:28:38.330]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 846.81MiB)
19:28:38 [19:28:38.480]
INFO:
ivc-integration:prove_wasm folded (mem: 846.81MiB)
19:28:38 [19:28:38.480]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 846.81MiB)
19:28:38 [19:28:38.662]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_3 (mem: 846.81MiB)
19:28:38 [19:28:38.663]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 846.81MiB)
19:28:38 [19:28:38.669]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 846.81MiB)
19:28:38 [19:28:38.669]
INFO:
ivc-integration:prove_wasm goblin ecc op : 792/1024 (mem: 846.81MiB)
19:28:38 [19:28:38.670]
INFO:
ivc-integration:prove_wasm busread : 12/6000 (mem: 846.81MiB)
19:28:38 [19:28:38.670]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 846.81MiB)
19:28:38 [19:28:38.670]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 846.81MiB)
19:28:38 [19:28:38.670]
INFO:
ivc-integration:prove_wasm arithmetic : 11272/56000 (mem: 846.81MiB)
19:28:38 [19:28:38.671]
INFO:
ivc-integration:prove_wasm delta range : 2922/18000 (mem: 846.81MiB)
19:28:38 [19:28:38.671]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 846.81MiB)
19:28:38 [19:28:38.671]
INFO:
ivc-integration:prove_wasm auxiliary : 350/26000 (mem: 846.81MiB)
19:28:38 [19:28:38.671]
INFO:
ivc-integration:prove_wasm poseidon ext : 4092/17000 (mem: 846.81MiB)
19:28:38 [19:28:38.672]
INFO:
ivc-integration:prove_wasm poseidon int : 23315/92000 (mem: 846.81MiB)
19:28:38 [19:28:38.672]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 846.81MiB)
19:28:38 [19:28:38.672]
INFO:
ivc-integration:prove_wasm (mem: 846.81MiB)
19:28:38 [19:28:38.672]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 846.81MiB)
19:28:38 [19:28:38.672]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 846.81MiB)
19:28:38 [19:28:38.681]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 846.81MiB)
19:28:38 [19:28:38.716]
INFO:
ivc-integration:prove_wasm time to construct proving key: 54 ms. (mem: 848.88MiB)
19:28:38 [19:28:38.776]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 848.88MiB)
19:28:39 [19:28:39.411]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 848.88MiB)
19:28:39 [19:28:39.751]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 848.88MiB)
19:28:39 [19:28:39.910]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 873.69MiB)
19:28:40 [19:28:40.109]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
19:28:40 [19:28:40.207]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
19:28:40 [19:28:40.207]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
19:28:40 [19:28:40.290]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_4 (mem: 905.25MiB)
19:28:40 [19:28:40.290]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
19:28:40 [19:28:40.294]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 905.25MiB)
19:28:40 [19:28:40.295]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 905.25MiB)
19:28:40 [19:28:40.295]
INFO:
ivc-integration:prove_wasm busread : 16/6000 (mem: 905.25MiB)
19:28:40 [19:28:40.295]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 905.25MiB)
19:28:40 [19:28:40.295]
INFO:
ivc-integration:prove_wasm pub inputs : 32/5000 (populated in decider pk constructor) (mem: 905.25MiB)
19:28:40 [19:28:40.295]
INFO:
ivc-integration:prove_wasm arithmetic : 6505/56000 (mem: 905.25MiB)
19:28:40 [19:28:40.296]
INFO:
ivc-integration:prove_wasm delta range : 2337/18000 (mem: 905.25MiB)
19:28:40 [19:28:40.296]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 905.25MiB)
19:28:40 [19:28:40.296]
INFO:
ivc-integration:prove_wasm auxiliary : 77/26000 (mem: 905.25MiB)
19:28:40 [19:28:40.296]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 905.25MiB)
19:28:40 [19:28:40.297]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 905.25MiB)
19:28:40 [19:28:40.297]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 905.25MiB)
19:28:40 [19:28:40.297]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
19:28:40 [19:28:40.297]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 905.25MiB)
19:28:40 [19:28:40.297]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
19:28:40 [19:28:40.306]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
19:28:40 [19:28:40.321]
INFO:
ivc-integration:prove_wasm time to construct proving key: 30 ms. (mem: 905.25MiB)
19:28:40 [19:28:40.361]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 905.25MiB)
19:28:40 [19:28:40.911]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 905.25MiB)
19:28:41 [19:28:41.110]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 905.25MiB)
19:28:41 [19:28:41.282]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 905.25MiB)
19:28:41 [19:28:41.434]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
19:28:41 [19:28:41.526]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
19:28:41 [19:28:41.527]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
19:28:41 [19:28:41.609]
INFO:
ivc-integration:prove_wasm ClientIVC: accumulating unknown_wasm_5 (mem: 905.25MiB)
19:28:41 [19:28:41.610]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
19:28:41 [19:28:41.613]
INFO:
ivc-integration:prove_wasm Gate blocks summary: (actual gates / fixed capacity) (mem: 905.25MiB)
19:28:41 [19:28:41.614]
INFO:
ivc-integration:prove_wasm goblin ecc op : 392/1024 (mem: 905.25MiB)
19:28:41 [19:28:41.614]
INFO:
ivc-integration:prove_wasm busread : 3/6000 (mem: 905.25MiB)
19:28:41 [19:28:41.614]
INFO:
ivc-integration:prove_wasm lookups : 2/15000 (mem: 905.25MiB)
19:28:41 [19:28:41.614]
INFO:
ivc-integration:prove_wasm pub inputs : 36/5000 (populated in decider pk constructor) (mem: 905.25MiB)
19:28:41 [19:28:41.615]
INFO:
ivc-integration:prove_wasm arithmetic : 6440/56000 (mem: 905.25MiB)
19:28:41 [19:28:41.615]
INFO:
ivc-integration:prove_wasm delta range : 2323/18000 (mem: 905.25MiB)
19:28:41 [19:28:41.615]
INFO:
ivc-integration:prove_wasm elliptic : 2/6000 (mem: 905.25MiB)
19:28:41 [19:28:41.615]
INFO:
ivc-integration:prove_wasm auxiliary : 50/26000 (mem: 905.25MiB)
19:28:41 [19:28:41.616]
INFO:
ivc-integration:prove_wasm poseidon ext : 2042/17000 (mem: 905.25MiB)
19:28:41 [19:28:41.616]
INFO:
ivc-integration:prove_wasm poseidon int : 11630/92000 (mem: 905.25MiB)
19:28:41 [19:28:41.616]
INFO:
ivc-integration:prove_wasm overflow : 0/0 (mem: 905.25MiB)
19:28:41 [19:28:41.616]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
19:28:41 [19:28:41.616]
INFO:
ivc-integration:prove_wasm Total structured size: 242025 (mem: 905.25MiB)
19:28:41 [19:28:41.617]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
19:28:41 [19:28:41.624]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
19:28:41 [19:28:41.639]
INFO:
ivc-integration:prove_wasm time to construct proving key: 30 ms. (mem: 905.25MiB)
19:28:41 [19:28:41.682]
INFO:
ivc-integration:prove_wasm getting honk vk... precomputed?: 0 (mem: 905.25MiB)
19:28:42 [19:28:42.234]
INFO:
ivc-integration:prove_wasm computing folding proof (mem: 905.25MiB)
19:28:42 [19:28:42.425]
INFO:
ivc-integration:prove_wasm oink prover on each incomplete key (mem: 905.25MiB)
19:28:42 [19:28:42.579]
INFO:
ivc-integration:prove_wasm perturbator round (mem: 905.25MiB)
19:28:42 [19:28:42.716]
INFO:
ivc-integration:prove_wasm combiner quotient round (mem: 905.25MiB)
19:28:42 [19:28:42.808]
INFO:
ivc-integration:prove_wasm folded (mem: 905.25MiB)
19:28:42 [19:28:42.808]
INFO:
ivc-integration:prove_wasm constructed folding proof (mem: 905.25MiB)
19:28:42 [19:28:42.809]
INFO:
ivc-integration:prove_wasm time to construct and accumulate all circuits: 8512 (mem: 905.25MiB)
19:28:42 [19:28:42.809]
INFO:
ivc-integration:prove_wasm calling ivc.prove ... (mem: 905.25MiB)
19:28:42 [19:28:42.809]
INFO:
ivc-integration:prove_wasm Largest circuit: 41967 gates. Trace details: (mem: 905.25MiB)
19:28:42 [19:28:42.809]
INFO:
ivc-integration:prove_wasm Minimum required block sizes for structured trace: (mem: 905.25MiB)
19:28:42 [19:28:42.810]
INFO:
ivc-integration:prove_wasm ecc_op : 792
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.810]
INFO:
ivc-integration:prove_wasm busread : 16
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.810]
INFO:
ivc-integration:prove_wasm lookup : 2
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.810]
INFO:
ivc-integration:prove_wasm pub_inputs : 36
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.810]
INFO:
ivc-integration:prove_wasm arithmetic : 11272
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.811]
INFO:
ivc-integration:prove_wasm delta_range : 2922
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.811]
INFO:
ivc-integration:prove_wasm elliptic : 2
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.811]
INFO:
ivc-integration:prove_wasm aux : 350
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.811]
INFO:
ivc-integration:prove_wasm poseidon2_external : 4092
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.811]
INFO:
ivc-integration:prove_wasm poseidon2_internal : 23315
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.812]
INFO:
ivc-integration:prove_wasm overflow : 0
19:28:42 (mem: 905.25MiB)
19:28:42 [19:28:42.812]
INFO:
ivc-integration:prove_wasm (mem: 905.25MiB)
19:28:42 [19:28:42.812]
INFO:
ivc-integration:prove_wasm prove decider... (mem: 905.25MiB)
19:28:42 [19:28:42.812]
INFO:
ivc-integration:prove_wasm finished decider proving. (mem: 905.25MiB)
19:28:42 [19:28:42.898]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
19:28:43 [19:28:43.084]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 905.25MiB)
19:28:43 [19:28:43.582]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 905.25MiB)
19:28:43 [19:28:43.731]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 905.25MiB)
19:28:43 [19:28:43.870]
INFO:
ivc-integration:prove_wasm Constructing DeciderProvingKey (mem: 905.25MiB)
19:28:43 [19:28:43.874]
INFO:
ivc-integration:prove_wasm allocating polynomials object in proving key... (mem: 905.25MiB)
19:28:43 [19:28:43.887]
INFO:
ivc-integration:prove_wasm populating trace... (mem: 905.25MiB)
19:28:43 [19:28:43.917]
INFO:
ivc-integration:prove_wasm time to construct proving key: 48 ms. (mem: 905.25MiB)
19:28:44 [19:28:44.718]
INFO:
ivc-integration:prove_wasm created oink proof (mem: 905.25MiB)
19:28:44 [19:28:44.779]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
19:28:44 [19:28:44.896]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 905.25MiB)
19:28:45 [19:28:45.291]
INFO:
ivc-integration:prove_wasm executed multivariate-to-univariate reduction (mem: 905.25MiB)
19:28:45 [19:28:45.349]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 905.25MiB)
19:28:45 [19:28:45.406]
INFO:
ivc-integration:prove_wasm Constructing a Goblin proof with num ultra ops = 2226 (mem: 905.25MiB)
19:28:45 [19:28:45.406]
INFO:
ivc-integration:prove_wasm prove eccvm... (mem: 905.25MiB)
19:28:48 [19:28:48.941]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
19:28:50 [19:28:50.778]
INFO:
ivc-integration:prove_wasm completed 16 rounds of sumcheck (mem: 905.25MiB)
19:28:54 [19:28:54.688]
INFO:
ivc-integration:prove_wasm finished eccvm proving. (mem: 905.25MiB)
19:28:54 [19:28:54.689]
INFO:
ivc-integration:prove_wasm prove translator... (mem: 905.25MiB)
19:28:57 [19:28:57.194]
INFO:
ivc-integration:prove_wasm starting sumcheck rounds... (mem: 905.25MiB)
19:28:58 [19:28:58.572]
INFO:
ivc-integration:prove_wasm completed 18 rounds of sumcheck (mem: 905.25MiB)
19:29:00 [19:29:00.126]
INFO:
ivc-integration:prove_wasm computed opening proof (mem: 976.00MiB)
19:29:00 [19:29:00.127]
INFO:
ivc-integration:prove_wasm finished translator proving. (mem: 976.00MiB)
19:29:00 [19:29:00.127]
INFO:
ivc-integration:prove_wasm time to construct, accumulate, prove all circuits: 25828 (mem: 976.00MiB)
19:29:00 [19:29:00.132]
INFO:
ivc-integration:prove_wasm time to serialize proof: 8 (mem: 976.00MiB)
19:29:00 [19:29:00.135]
INFO:
ivc-integration:prove_wasm time to serialize vk: 3 (mem: 976.00MiB)
19:29:00 [19:29:00.189]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.335]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.335]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.335]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.336]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.391]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.391]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.391]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.392]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.392]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.392]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.426]
INFO:
ivc-integration:prove_wasm Mega verified: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.535]
INFO:
ivc-integration:prove_wasm eccvm sumcheck verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.536]
INFO:
ivc-integration:prove_wasm batch opening verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.536]
INFO:
ivc-integration:prove_wasm eccvm consistency check verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.537]
INFO:
ivc-integration:prove_wasm translation masking consistency checked?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.574]
INFO:
ivc-integration:prove_wasm merge verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.575]
INFO:
ivc-integration:prove_wasm eccvm verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.575]
INFO:
ivc-integration:prove_wasm accumulator construction_verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.576]
INFO:
ivc-integration:prove_wasm translation verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.576]
INFO:
ivc-integration:prove_wasm consistency verified?: 1 (mem: 976.00MiB)
19:29:00 [19:29:00.576]
INFO:
ivc-integration:prove_wasm Goblin verified: 1 (mem: 976.00MiB)
19:29:01 [19:29:01.195]
INFO:
ivc-integration:test:wasm generated then verified proof. result: true
19:29:01
PASS src/wasm_client_ivc_integration.test.ts (
56.154 s)
19:29:01 Client IVC Integration
19:29:01
✓ Should generate a verifiable client IVC proof from a simple mock tx via bb.js, verified by bb (23960 ms)
19:29:01
✓ Should generate an array of gate numbers for the stack of programs being proved by ClientIVC (1457 ms)
19:29:01
✓ Should generate a verifiable client IVC proof from a complex mock tx (28707 ms)
19:29:01
19:29:01
Test Suites: 1 passed, 1 total
19:29:01
Tests: 3 passed, 3 total
19:29:01
Snapshots: 0 total
19:29:01
Time: 56.215 s
19:29:01
Ran all test suites matching /ivc-integration\/src\/wasm_client_ivc_integration.test.ts/i
.
19:29:01
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?