Parent Log:
http://ci.aztec-labs.com/6348f16c9c1344f2
Command: ca4daf70a894f3c3:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/native_client_ivc_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/f0619dd82429a5973f3e1da8d7eb0877264908e3
Env: REF_NAME=gh-readonly-queue/next/pr-15188-ef6780e77e5f82f98ddfe92fd387cfd5fa7682e8 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 16:06:07 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15188_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
16:06:11 [16:06:11.495]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-gVOXaV/ivc-inputs.msgpack
16:06:11 [16:06:11.501]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
16:06:11 [16:06:11.502]
INFO:
ivc-integration:test:native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-gVOXaV --ivc_inputs_path /tmp/bb-client-ivc-integration-gVOXaV/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:06:11 [16:06:11.524]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.72 MiB)
16:06:11 [16:06:11.525]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.72 MiB)
16:06:11 --scheme: client_ivc (mem: 183.72 MiB)
16:06:11 --output_path: /tmp/bb-client-ivc-integration-gVOXaV (mem: 183.72 MiB)
16:06:11 --ivc_inputs_path: /tmp/bb-client-ivc-integration-gVOXaV/ivc-inputs.msgpack (mem: 183.72 MiB)
16:06:11 --verbose: true (mem: 183.72 MiB)
16:06:11 --write_vk: true (mem: 183.72 MiB)
16:06:11 BN254 commitment key size: 262144 (mem: 183.72 MiB)
16:06:11 [16:06:11.635]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.00 MiB)
16:06:11 [16:06:11.712]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169
16:06:11 [16:06:11.713]
INFO:
ivc-integration:test:native bb - (mem: 303.65 MiB)
16:06:11 [16:06:11.716]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 303.65 MiB)
16:06:11 Constructing DeciderProvingKey (mem:
16:06:11 [16:06:11.718]
INFO:
ivc-integration:test:native bb - 303.65 MiB)
16:06:11 [16:06:11.720]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 303.65 MiB)
16:06:11 goblin ecc op : 4/1024 (mem: 303.65 MiB)
16:06:11 busread : 7/6000 (mem: 303.65 MiB)
16:06:11 lookups : 2/15000 (mem: 303.65 MiB)
16:06:11 [16:06:11.722]
INFO:
ivc-integration:test:native bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 303.65 MiB)
16:06:11 arithmetic : 1760/56000 (mem: 303.65 MiB)
16:06:11 delta range : 1754/18000 (mem: 303.65 MiB)
16:06:11 elliptic : 2/6000 (mem: 303.65 MiB)
16:06:11 auxiliary : 26/26000 (mem: 303.65 MiB)
16:06:11 poseidon ext : 2/17000 (mem: 303.65 MiB)
16:06:11 poseidon int : 2/92000 (mem: 303.65 MiB)
16:06:11 overflow : 0/0 (mem: 303.65 MiB)
16:06:11 (mem: 303.65 MiB)
16:06:11 Total structured size: 242025 (mem: 303.65 MiB)
16:06:11 allocating polynomials object in proving key... (mem: 303.65 MiB)
16:06:11 [16:06:11.797]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 509.65 MiB)
16:06:11 [16:06:11.812]
INFO:
ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 523.65 MiB)
16:06:11 [16:06:11.880]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x612458795200 (mem: 523.65 MiB)
16:06:11 computing oink proof... (mem: 523.65 MiB)
16:06:11 [16:06:11.881]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.65 MiB)
16:06:12 [16:06:12.041]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 532.65 MiB)
16:06:12 [16:06:12.055]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 532.65 MiB)
16:06:12 [16:06:12.071]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 532.65 MiB)
16:06:12 Constructing DeciderProvingKey (mem: 532.65 MiB)
16:06:12 [16:06:12.074]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 532.65 MiB)
16:06:12 goblin ecc op : 56/1024 (mem: 532.65 MiB)
16:06:12 busread : 12/6000 (mem: 532.65 MiB)
16:06:12 lookups : 2/15000 (mem: 532.65 MiB)
16:06:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 532.65 MiB)
16:06:12 arithmetic : 4677/56000 (mem: 532.65 MiB)
16:06:12 delta range : 2073/18000 (mem: 532.65 MiB)
16:06:12 [16:06:12.075]
INFO:
ivc-integration:test:native bb -
16:06:12 elliptic : 2/6000 (mem: 532.65 MiB)
16:06:12 auxiliary : 110/26000 (mem: 532.65 MiB)
16:06:12 poseidon ext : 1322/17000 (mem: 532.65 MiB)
16:06:12 poseidon int : 7526/92000 (mem: 532.65 MiB)
16:06:12 overflow : 0/0 (mem: 532.65 MiB)
16:06:12 (mem: 532.65 MiB)
16:06:12 Total structured size: 242025 (mem: 532.65 MiB)
16:06:12 allocating polynomials object in proving key... (mem: 532.65 MiB)
16:06:12 [16:06:12.168]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.65 MiB)
16:06:12 [16:06:12.190]
INFO:
ivc-integration:test:native bb - time to construct proving key: 118 ms. (mem: 752.65 MiB)
16:06:12 [16:06:12.263]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6124587a1e40 (mem: 752.65 MiB)
16:06:12 computing folding proof (mem: 752.65 MiB)
16:06:12 [16:06:12.264]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 752.65 MiB)
16:06:12 [16:06:12.767]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 752.65 MiB)
16:06:12 [16:06:12.892]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 790.65 MiB)
16:06:12 [16:06:12.940]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.65 MiB)
16:06:13 [16:06:13.397]
INFO:
ivc-integration:test:native bb - folded (mem: 822.65 MiB)
16:06:13 constructed folding proof (mem: 822.65 MiB)
16:06:13 [16:06:13.414]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 822.65 MiB)
16:06:13 [16:06:13.492]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 822.65 MiB)
16:06:13 Constructing DeciderProvingKey (mem: 822.65 MiB)
16:06:13 [16:06:13.497]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.65 MiB)
16:06:13 goblin ecc op : 392/1024 (mem: 822.65 MiB)
16:06:13 busread : 3/6000 (mem: 822.65 MiB)
16:06:13 lookups : 2/15000 (mem: 822.65 MiB)
16:06:13 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 822.65 MiB)
16:06:13 arithmetic : 6913/56000 (mem: 822.65 MiB)
16:06:13 delta range : 2353/18000 (mem: 822.65 MiB)
16:06:13 elliptic : 2/6000 (mem: 822.65 MiB)
16:06:13 auxiliary : 50/26000 (mem: 822.65 MiB)
16:06:13 poseidon ext : 2492/17000 (mem: 822.65 MiB)
16:06:13 poseidon int : 14195/92000 (mem: 822.65 MiB)
16:06:13 overflow : 0/0 (mem: 822.65 MiB)
16:06:13 (mem: 822.65 MiB)
16:06:13 Total structured size: 242025 (mem: 822.65 MiB)
16:06:13 allocating polynomials object in proving key... (mem:
16:06:13 [16:06:13.498]
INFO:
ivc-integration:test:native bb - 822.65 MiB)
16:06:13 [16:06:13.684]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 822.65 MiB)
16:06:13 [16:06:13.733]
INFO:
ivc-integration:test:native bb - time to construct proving key: 239 ms. (mem: 822.65 MiB)
16:06:13 [16:06:13.955]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6124587975c0 (mem: 822.65 MiB)
16:06:13 computing folding proof (mem: 822.65 MiB)
16:06:13 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 822.65 MiB)
16:06:14 [16:06:14.650]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.65 MiB)
16:06:14 [16:06:14.749]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 822.65 MiB)
16:06:14 [16:06:14.785]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.65 MiB)
16:06:15 [16:06:15.139]
INFO:
ivc-integration:test:native bb - folded (mem: 822.65 MiB)
16:06:15 [16:06:15.140]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 822.65 MiB)
16:06:15 Largest circuit: 26010 gates. Trace details: (mem: 822.65 MiB)
16:06:15 Minimum required block sizes for structured trace: (mem: 822.65 MiB)
16:06:15 (mem: 822.65 MiB)
16:06:15 prove decider... (mem: 822.65 MiB)
16:06:15 [16:06:15.144]
INFO:
ivc-integration:test:native bb - ecc_op : 392
16:06:15 busread : 12
16:06:15 lookup : 2
16:06:15 pub_inputs : 36
16:06:15 arithmetic : 6913
16:06:15 delta_range : 2353
16:06:15 elliptic : 2
16:06:15 aux : 110
16:06:15 poseidon2_external : 2492
16:06:15 poseidon2_internal : 14195
16:06:15 overflow : 0
16:06:15 [16:06:15.326]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.65 MiB)
16:06:15 [16:06:15.572]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 822.65 MiB)
16:06:16 [16:06:16.706]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 822.65 MiB)
16:06:16 [16:06:16.790]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 822.65 MiB)
16:06:16 finished decider proving. (mem: 822.65 MiB)
16:06:16 [16:06:16.803]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 822.65 MiB)
16:06:16 [16:06:16.958]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
16:06:16 [16:06:16.961]
INFO:
ivc-integration:test:native bb - (mem: 822.65 MiB)
16:06:16 [16:06:16.976]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 822.65 MiB)
16:06:17 [16:06:17.130]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 822.65 MiB)
16:06:17 [16:06:17.190]
INFO:
ivc-integration:test:native bb - time to construct proving key: 229 ms. (mem: 822.65 MiB)
16:06:18 [16:06:18.397]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 822.65 MiB)
16:06:19 [16:06:19.061]
INFO:
ivc-integration:test:native bb - created oink proof
16:06:19 [16:06:19.063]
INFO:
ivc-integration:test:native bb - (mem: 822.65 MiB)
16:06:19 [16:06:19.384]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.65 MiB)
16:06:21 [16:06:21.494]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 822.65 MiB)
16:06:22 [16:06:22.921]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 822.65 MiB)
16:06:22 [16:06:22.960]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 822.65 MiB)
16:06:22 finished decider proving. (mem:
16:06:22 [16:06:22.961]
INFO:
ivc-integration:test:native bb - 822.65 MiB)
16:06:22 Constructing a Goblin proof with num ultra ops = 1038 (mem: 822.65 MiB)
16:06:23 [16:06:23.261]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 822.65 MiB)
16:06:23 [16:06:23.990]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 822.65 MiB)
16:06:24 [16:06:24.023]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 822.65 MiB)
16:06:26 [16:06:26.478]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.65 MiB)
16:06:29 [16:06:29.170]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 822.65 MiB)
16:06:33 [16:06:33.637]
INFO:
ivc-integration:test:native bb - finished eccvm proving.
16:06:33 [16:06:33.639]
INFO:
ivc-integration:test:native bb - (mem: 822.65 MiB)
16:06:33 prove translator... (mem: 822.65 MiB)
16:06:36 [16:06:36.108]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.97 MiB)
16:06:38 [16:06:38.797]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.97 MiB)
16:06:40 [16:06:40.974]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 849.97 MiB)
16:06:40 finished translator proving. (mem: 849.97 MiB)
16:06:40 [16:06:40.989]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 849.97 MiB)
16:06:41 [16:06:41.010]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 849.97 MiB)
16:06:41 libra_evals_verified: 1 (mem: 849.97 MiB)
16:06:41 pairing_check_verified: 1 (mem: 849.97 MiB)
16:06:41 Mega verified: 1 (mem: 849.97 MiB)
16:06:41 [16:06:41.120]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 849.97 MiB)
16:06:41 batch opening verified?: 1 (mem: 849.97 MiB)
16:06:41 eccvm consistency check verified?: 1 (mem: 849.97 MiB)
16:06:41 translation masking consistency checked?: 1 (mem: 849.97 MiB)
16:06:41 [16:06:41.143]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 849.97 MiB)
16:06:41 eccvm verified?: 1 (mem: 849.97 MiB)
16:06:41 accumulator construction_verified?: 1 (mem: 849.97 MiB)
16:06:41 translation verified?: 1 (mem: 849.97 MiB)
16:06:41 consistency verified?: 1 (mem: 849.97 MiB)
16:06:41 Goblin verified: 1 (mem: 849.97 MiB)
16:06:41 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-gVOXaV" (mem: 849.97 MiB)
16:06:41 [16:06:41.145]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-gVOXaV" (mem: 849.97 MiB)
16:06:41 BN254 commitment key size: 262144 (mem: 849.97 MiB)
16:06:41 [16:06:41.147]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.97 MiB)
16:06:41 [16:06:41.151]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.97 MiB)
16:06:41 goblin ecc op : 4/1024 (mem: 849.97 MiB)
16:06:41 busread : 3/6000 (mem: 849.97 MiB)
16:06:41 lookups : 2/15000 (mem: 849.97 MiB)
16:06:41 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 849.97 MiB)
16:06:41 arithmetic : 1773/56000 (mem: 849.97 MiB)
16:06:41 delta range : 1754/18000 (mem: 849.97 MiB)
16:06:41 elliptic : 2/6000 (mem: 849.97 MiB)
16:06:41 auxiliary : 26/26000 (mem: 849.97 MiB)
16:06:41 poseidon ext : 2/17000 (mem: 849.97 MiB)
16:06:41 poseidon int : 2/92000 (mem: 849.97 MiB)
16:06:41 overflow : 0/0 (mem: 849.97 MiB)
16:06:41 (mem: 849.97 MiB)
16:06:41 Total structured size: 242025 (mem: 849.97 MiB)
16:06:41 allocating polynomials object in proving key... (mem: 849.97 MiB)
16:06:41 [16:06:41.457]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.97 MiB)
16:06:41 [16:06:41.506]
INFO:
ivc-integration:test:native bb - time to construct proving key: 359 ms. (mem: 849.97 MiB)
16:06:41 [16:06:41.758]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.97 MiB)
16:06:42 [16:06:42.743]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 849.97 MiB)
16:06:42 [16:06:42.744]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.97 MiB)
16:06:43 [16:06:43.286]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 849.97 MiB)
16:06:43 [16:06:43.313]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.97 MiB)
16:06:43 [16:06:43.324]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.97 MiB)
16:06:43 [16:06:43.328]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
16:06:43 [16:06:43.329]
INFO:
ivc-integration:test:native bb - (mem:
16:06:43 [16:06:43.329]
INFO:
ivc-integration:test:native bb - 849.97
16:06:43 [16:06:43.329]
INFO:
ivc-integration:test:native bb - MiB)
16:06:43 [16:06:43.331]
INFO:
ivc-integration:test:native bb -
16:06:43 goblin ecc op : 56/1024 (mem: 849.97 MiB)
16:06:43 busread : 3/6000 (mem: 849.97 MiB)
16:06:43 lookups : 2/15000 (mem: 849.97 MiB)
16:06:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.97 MiB)
16:06:43 arithmetic : 4533/56000 (mem: 849.97 MiB)
16:06:43 delta range : 2060/18000 (mem: 849.97 MiB)
16:06:43 elliptic : 2/6000 (mem: 849.97 MiB)
16:06:43 auxiliary : 50/26000 (mem: 849.97 MiB)
16:06:43 poseidon ext : 1332/17000 (mem: 849.97 MiB)
16:06:43 poseidon int : 7583/92000 (mem: 849.97 MiB)
16:06:43 overflow : 0/0 (mem: 849.97 MiB)
16:06:43 (mem: 849.97 MiB)
16:06:43 Total structured size: 242025 (mem: 849.97 MiB)
16:06:43 allocating polynomials object in proving key... (mem: 849.97 MiB)
16:06:43 [16:06:43.603]
INFO:
ivc-integration:test:native bb - populating trace...
16:06:43 [16:06:43.605]
INFO:
ivc-integration:test:native bb - (mem: 849.97 MiB)
16:06:43 [16:06:43.637]
INFO:
ivc-integration:test:native bb - time to construct proving key: 313 ms. (mem: 849.97 MiB)
16:06:43 [16:06:43.908]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.97 MiB)
16:06:44 [16:06:44.801]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 849.97 MiB)
16:06:44 [16:06:44.803]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 849.97 MiB)
16:06:45 [16:06:45.659]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.97 MiB)
16:06:45 [16:06:45.838]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 853.97 MiB)
16:06:45 [16:06:45.915]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 885.97 MiB)
16:06:46 [16:06:46.523]
INFO:
ivc-integration:test:native bb - folded (mem: 885.97 MiB)
16:06:46 constructed folding proof (mem: 885.97 MiB)
16:06:46 Largest circuit: 15565 gates. Trace details: (mem: 885.97 MiB)
16:06:46 Minimum required block sizes for structured trace: (mem: 885.97 MiB)
16:06:46 (mem: 885.97 MiB)
16:06:46 prove decider... (mem: 885.97 MiB)
16:06:46 [16:06:46.524]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:06:46 busread : 3
16:06:46 lookup : 2
16:06:46 pub_inputs : 36
16:06:46 arithmetic : 4533
16:06:46 delta_range : 2060
16:06:46 elliptic : 2
16:06:46 aux : 50
16:06:46 poseidon2_external : 1332
16:06:46 poseidon2_internal : 7583
16:06:46 overflow : 0
16:06:46 [16:06:46.833]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
16:06:46 [16:06:46.834]
INFO:
ivc-integration:test:native bb - (mem: 885.97 MiB)
16:06:47 [16:06:47.061]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
16:06:47 [16:06:47.066]
INFO:
ivc-integration:test:native bb - (mem: 885.97 MiB)
16:06:48 [16:06:48.158]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 885.97 MiB)
16:06:48 [16:06:48.285]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 885.97 MiB)
16:06:48 finished decider proving. (mem: 885.97 MiB)
16:06:48 [16:06:48.317]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 885.97 MiB)
16:06:48 [16:06:48.403]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 885.97 MiB)
16:06:48 [16:06:48.408]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 885.97 MiB)
16:06:48 [16:06:48.564]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 885.97 MiB)
16:06:48 [16:06:48.626]
INFO:
ivc-integration:test:native bb - time to construct proving key: 222 ms. (mem: 885.97 MiB)
16:06:49 [16:06:49.343]
INFO:
ivc-integration:test:native BB concurrency: 1
16:06:49 [16:06:49.345]
INFO:
ivc-integration:test:native Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-gVOXaV/proof -k /tmp/bb-client-ivc-integration-gVOXaV/vk -v
16:06:49 [16:06:49.372]
INFO:
ivc-integration:test:native bb command: verify (mem: 183.72 MiB)
16:06:49 Scheme is: client_ivc, num threads: 1 (mem: 183.72 MiB)
16:06:49 --proof_path: /tmp/bb-client-ivc-integration-gVOXaV/proof (mem: 183.72 MiB)
16:06:49 --vk_path: /tmp/bb-client-ivc-integration-gVOXaV/vk (mem: 183.72 MiB)
16:06:49 --verbose: true (mem: 183.72 MiB)
16:06:49 --scheme: client_ivc (mem: 183.72 MiB)
16:06:49 [16:06:49.391]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat"
16:06:49 [16:06:49.392]
INFO:
ivc-integration:test:native (mem:
16:06:49 [16:06:49.395]
INFO:
ivc-integration:test:native 183.72 MiB)
16:06:49 [16:06:49.421]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 183.72 MiB)
16:06:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 183.72 MiB)
16:06:49 [16:06:49.443]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
16:06:49 [16:06:49.446]
INFO:
ivc-integration:test:native (mem: 183.72 MiB)
16:06:49 Initialized BN254 CRS from memory with num points = 9 (mem: 183.72 MiB)
16:06:49 [16:06:49.446]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 183.72 MiB)
16:06:49 libra_evals_verified: 1 (mem: 183.72 MiB)
16:06:49 pairing_check_verified: 1 (mem: 183.72 MiB)
16:06:49 Mega verified: 1 (mem: 183.72 MiB)
16:06:49 [16:06:49.893]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1
16:06:49 [16:06:49.894]
INFO:
ivc-integration:test:native (mem:
16:06:49 [16:06:49.895]
INFO:
ivc-integration:test:native 183.72
16:06:49 [16:06:49.898]
INFO:
ivc-integration:test:native MiB)
16:06:49 batch opening verified?: 1 (mem: 183.72 MiB)
16:06:49 eccvm consistency check verified?: 1 (mem: 183.72 MiB)
16:06:49 translation masking consistency checked?: 1 (mem: 183.72 MiB)
16:06:49 [16:06:49.917]
INFO:
ivc-integration:test:native merge verified?: 1
16:06:49 [16:06:49.918]
INFO:
ivc-integration:test:native (mem:
16:06:49 [16:06:49.922]
INFO:
ivc-integration:test:native 183.72 MiB)
16:06:49 eccvm verified?: 1 (mem: 183.72 MiB)
16:06:49 accumulator construction_verified?: 1 (mem: 183.72 MiB)
16:06:49 translation verified?: 1 (mem: 183.72 MiB)
16:06:49 consistency verified?: 1 (mem: 183.72 MiB)
16:06:49 Goblin verified: 1 (mem: 183.72 MiB)
16:06:49 [16:06:49.926]
INFO:
ivc-integration:test:native verified: 1 (mem: 183.72 MiB)
16:06:50 [16:06:50.004]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-M5IDJL/ivc-inputs.msgpack
16:06:50 [16:06:50.006]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
16:06:50 [16:06:50.006]
INFO:
ivc-integration:test:native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-M5IDJL --ivc_inputs_path /tmp/bb-client-ivc-integration-M5IDJL/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:06:50 [16:06:50.031]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 185.35 MiB)
16:06:50 Scheme is: client_ivc, num threads: 128 (mem: 185.35 MiB)
16:06:50 --scheme: client_ivc (mem: 185.35 MiB)
16:06:50 --output_path: /tmp/bb-client-ivc-integration-M5IDJL (mem: 185.35 MiB)
16:06:50 --ivc_inputs_path: /tmp/bb-client-ivc-integration-M5IDJL/ivc-inputs.msgpack (mem: 185.35 MiB)
16:06:50 --verbose: true (mem: 185.35 MiB)
16:06:50 --write_vk: true (mem: 185.35 MiB)
16:06:50 [16:06:50.035]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 185.35 MiB)
16:06:50 [16:06:50.156]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 268.00 MiB)
16:06:50 [16:06:50.251]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 316.72 MiB)
16:06:50 [16:06:50.256]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 316.72 MiB)
16:06:50 Constructing DeciderProvingKey (mem: 316.72 MiB)
16:06:50 [16:06:50.264]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 316.72 MiB)
16:06:50 goblin ecc op : 4/1024 (mem: 316.72 MiB)
16:06:50 busread : 7/6000 (mem: 316.72 MiB)
16:06:50 lookups : 2/15000 (mem: 316.72 MiB)
16:06:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 316.72 MiB)
16:06:50 arithmetic : 1760/56000 (mem: 316.72 MiB)
16:06:50 delta range : 1754/18000 (mem: 316.72 MiB)
16:06:50 elliptic : 2/6000 (mem: 316.72 MiB)
16:06:50 auxiliary : 26/26000 (mem: 316.72 MiB)
16:06:50 poseidon ext : 2/17000 (mem: 316.72 MiB)
16:06:50 poseidon int : 2/92000 (mem: 316.72 MiB)
16:06:50 overflow : 0/0 (mem: 316.72 MiB)
16:06:50 (mem: 316.72 MiB)
16:06:50 Total structured size: 242025 (mem: 316.72 MiB)
16:06:50 allocating polynomials object in proving key... (mem: 316.72 MiB)
16:06:50 [16:06:50.337]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 505.72 MiB)
16:06:50 [16:06:50.392]
INFO:
ivc-integration:test:native bb - time to construct proving key: 135 ms. (mem:
16:06:50 [16:06:50.394]
INFO:
ivc-integration:test:native bb - 523.72 MiB)
16:06:50 [16:06:50.647]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61506f552f80 (mem: 523.72 MiB)
16:06:50 [16:06:50.651]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 523.72 MiB)
16:06:50 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.72 MiB)
16:06:50 [16:06:50.860]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 532.72 MiB)
16:06:50 [16:06:50.868]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 532.72 MiB)
16:06:50 [16:06:50.886]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 532.72 MiB)
16:06:50 Constructing DeciderProvingKey (mem: 532.72 MiB)
16:06:50 [16:06:50.890]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 532.72 MiB)
16:06:50 goblin ecc op : 56/1024 (mem: 532.72 MiB)
16:06:50 [16:06:50.892]
INFO:
ivc-integration:test:native bb - busread : 12/6000 (mem: 532.72 MiB)
16:06:50 lookups : 2/15000 (mem: 532.72 MiB)
16:06:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 532.72 MiB)
16:06:50 arithmetic : 4677/56000 (mem: 532.72 MiB)
16:06:50 delta range : 2073/18000 (mem: 532.72 MiB)
16:06:50 elliptic : 2/6000 (mem: 532.72 MiB)
16:06:50 auxiliary : 110/26000 (mem: 532.72 MiB)
16:06:50 poseidon ext : 1322/17000 (mem: 532.72 MiB)
16:06:50 poseidon int : 7526/92000 (mem: 532.72 MiB)
16:06:50 overflow : 0/0 (mem: 532.72 MiB)
16:06:50 (mem: 532.72 MiB)
16:06:50 Total structured size: 242025 (mem: 532.72 MiB)
16:06:50 allocating polynomials object in proving key... (mem: 532.72 MiB)
16:06:50 [16:06:50.990]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 736.72 MiB)
16:06:51 [16:06:51.019]
INFO:
ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 751.72 MiB)
16:06:51 [16:06:51.163]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61506f55c240 (mem: 751.72 MiB)
16:06:51 [16:06:51.164]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 751.72 MiB)
16:06:51 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 751.72 MiB)
16:06:51 [16:06:51.772]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 751.72 MiB)
16:06:51 [16:06:51.871]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 787.72 MiB)
16:06:51 [16:06:51.934]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 819.72 MiB)
16:06:52 [16:06:52.238]
INFO:
ivc-integration:test:native bb - folded (mem: 819.72 MiB)
16:06:52 constructed folding proof (mem: 819.72 MiB)
16:06:52 [16:06:52.243]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.72 MiB)
16:06:52 Constructing DeciderProvingKey (mem: 819.72 MiB)
16:06:52 [16:06:52.248]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.72 MiB)
16:06:52 goblin ecc op : 4/1024 (mem: 819.72 MiB)
16:06:52 busread : 7/6000 (mem:
16:06:52 [16:06:52.249]
INFO:
ivc-integration:test:native bb - 819.72 MiB)
16:06:52 lookups : 2/15000 (mem: 819.72 MiB)
16:06:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 819.72 MiB)
16:06:52 arithmetic : 1760/56000 (mem: 819.72 MiB)
16:06:52 delta range : 1754/18000 (mem: 819.72 MiB)
16:06:52 elliptic : 2/6000 (mem: 819.72 MiB)
16:06:52 auxiliary : 26/26000 (mem: 819.72 MiB)
16:06:52 poseidon ext : 2/17000 (mem: 819.72 MiB)
16:06:52 poseidon int : 2/92000 (mem: 819.72 MiB)
16:06:52 overflow : 0/0 (mem: 819.72 MiB)
16:06:52 (mem: 819.72 MiB)
16:06:52 Total structured size: 242025 (mem: 819.72 MiB)
16:06:52 allocating polynomials object in proving key... (mem: 819.72 MiB)
16:06:52 [16:06:52.334]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 819.72 MiB)
16:06:52 [16:06:52.343]
INFO:
ivc-integration:test:native bb - time to construct proving key: 99 ms. (mem: 819.72 MiB)
16:06:52 [16:06:52.375]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61506f557ec0 (mem: 819.72 MiB)
16:06:52 computing folding proof (mem: 819.72 MiB)
16:06:52 [16:06:52.377]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.72 MiB)
16:06:52 [16:06:52.517]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.72 MiB)
16:06:52 [16:06:52.599]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 819.72 MiB)
16:06:52 [16:06:52.634]
INFO:
ivc-integration:test:native bb - combiner quotient round
16:06:52 [16:06:52.635]
INFO:
ivc-integration:test:native bb - (mem: 819.72 MiB)
16:06:52 [16:06:52.857]
INFO:
ivc-integration:test:native bb - folded (mem: 819.72 MiB)
16:06:52 constructed folding proof (mem: 819.72 MiB)
16:06:52 [16:06:52.867]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 819.72 MiB)
16:06:52 [16:06:52.935]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.72 MiB)
16:06:52 [16:06:52.991]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3
16:06:52 [16:06:52.992]
INFO:
ivc-integration:test:native bb - (mem:
16:06:52 [16:06:52.993]
INFO:
ivc-integration:test:native bb - 819.72
16:06:52 [16:06:52.993]
INFO:
ivc-integration:test:native bb - MiB)
16:06:52 [16:06:52.994]
INFO:
ivc-integration:test:native bb -
16:06:52 Constructing DeciderProvingKey (mem: 819.72 MiB)
16:06:52 [16:06:52.999]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.72 MiB)
16:06:52 goblin ecc op : 792/1024 (mem: 819.72 MiB)
16:06:52 busread : 12/6000 (mem: 819.72 MiB)
16:06:52 lookups : 2/15000 (mem: 819.72 MiB)
16:06:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 819.72 MiB)
16:06:52 arithmetic : 12208/56000 (mem: 819.72 MiB)
16:06:52 delta range : 2981/18000 (mem: 819.72 MiB)
16:06:52 elliptic : 2/6000 (mem:
16:06:53 [16:06:53.001]
INFO:
ivc-integration:test:native bb - 819.72 MiB)
16:06:53 auxiliary : 350/26000 (mem: 819.72 MiB)
16:06:53 poseidon ext : 4982/17000 (mem: 819.72 MiB)
16:06:53 poseidon int : 28388/92000 (mem: 819.72 MiB)
16:06:53 overflow : 0/0 (mem: 819.72 MiB)
16:06:53 (mem: 819.72 MiB)
16:06:53 Total structured size: 242025 (mem: 819.72 MiB)
16:06:53 allocating polynomials object in proving key... (mem: 819.72 MiB)
16:06:53 [16:06:53.143]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 819.72 MiB)
16:06:53 [16:06:53.232]
INFO:
ivc-integration:test:native bb - time to construct proving key: 237 ms. (mem: 819.72 MiB)
16:06:53 [16:06:53.354]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61506f54c300 (mem: 819.72 MiB)
16:06:53 computing folding proof (mem: 819.72 MiB)
16:06:53 vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 819.72 MiB)
16:06:53 [16:06:53.750]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.72 MiB)
16:06:53 [16:06:53.853]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 819.72 MiB)
16:06:53 [16:06:53.925]
INFO:
ivc-integration:test:native bb - combiner quotient round
16:06:53 [16:06:53.926]
INFO:
ivc-integration:test:native bb - (mem: 845.82 MiB)
16:06:54 [16:06:54.238]
INFO:
ivc-integration:test:native bb - folded (mem: 845.82 MiB)
16:06:54 constructed folding proof (mem: 845.82 MiB)
16:06:54 [16:06:54.243]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 845.82 MiB)
16:06:54 [16:06:54.307]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 845.82 MiB)
16:06:54 Constructing DeciderProvingKey (mem: 845.82 MiB)
16:06:54 [16:06:54.312]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.82 MiB)
16:06:54 goblin ecc op : 392/1024 (mem: 845.82 MiB)
16:06:54 busread : 16/6000 (mem: 845.82 MiB)
16:06:54 lookups : 2/15000 (mem: 845.82 MiB)
16:06:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 845.82 MiB)
16:06:54 arithmetic : 6978/56000 (mem: 845.82 MiB)
16:06:54 delta range : 2367/18000 (mem: 845.82 MiB)
16:06:54 elliptic : 2/6000 (mem: 845.82 MiB)
16:06:54 auxiliary : 77/26000 (mem: 845.82 MiB)
16:06:54 poseidon ext : 2492/17000 (mem: 845.82 MiB)
16:06:54 poseidon int : 14195/92000 (mem: 845.82 MiB)
16:06:54 overflow : 0/0 (mem: 845.82 MiB)
16:06:54 (mem: 845.82 MiB)
16:06:54 Total structured size: 242025 (mem: 845.82 MiB)
16:06:54 allocating polynomials object in proving key... (mem: 845.82 MiB)
16:06:54 [16:06:54.421]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.82 MiB)
16:06:54 [16:06:54.453]
INFO:
ivc-integration:test:native bb - time to construct proving key: 146 ms. (mem: 845.82 MiB)
16:06:54 [16:06:54.625]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61506f54cf00 (mem: 845.82 MiB)
16:06:54 computing folding proof (mem: 845.82 MiB)
16:06:54 vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 845.82 MiB)
16:06:55 [16:06:55.032]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.82 MiB)
16:06:55 [16:06:55.098]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 845.82 MiB)
16:06:55 [16:06:55.164]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 846.81 MiB)
16:06:55 [16:06:55.348]
INFO:
ivc-integration:test:native bb - folded (mem: 846.81 MiB)
16:06:55 constructed folding proof (mem: 846.81 MiB)
16:06:55 [16:06:55.356]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 846.81 MiB)
16:06:55 [16:06:55.414]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 846.81 MiB)
16:06:55 Constructing DeciderProvingKey (mem: 846.81 MiB)
16:06:55 [16:06:55.417]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.81 MiB)
16:06:55 goblin ecc op : 392/1024 (mem: 846.81 MiB)
16:06:55 [16:06:55.418]
INFO:
ivc-integration:test:native bb -
16:06:55 busread : 3/6000 (mem: 846.81 MiB)
16:06:55 lookups : 2/15000 (mem: 846.81 MiB)
16:06:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.81 MiB)
16:06:55 arithmetic : 6913/56000 (mem: 846.81 MiB)
16:06:55 delta range : 2353/18000 (mem: 846.81 MiB)
16:06:55 elliptic : 2/6000 (mem: 846.81 MiB)
16:06:55 auxiliary : 50/26000 (mem: 846.81 MiB)
16:06:55 poseidon ext : 2492/17000 (mem: 846.81 MiB)
16:06:55 poseidon int : 14195/92000 (mem: 846.81 MiB)
16:06:55 overflow : 0/0 (mem: 846.81 MiB)
16:06:55 (mem: 846.81 MiB)
16:06:55 Total structured size: 242025 (mem: 846.81 MiB)
16:06:55 allocating polynomials object in proving key... (mem: 846.81 MiB)
16:06:55 [16:06:55.473]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.81 MiB)
16:06:55 [16:06:55.496]
INFO:
ivc-integration:test:native bb - time to construct proving key: 82 ms. (mem: 846.81 MiB)
16:06:55 [16:06:55.636]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61506f5d0040 (mem: 846.81 MiB)
16:06:55 computing folding proof (mem: 846.81 MiB)
16:06:55 [16:06:55.637]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 846.81 MiB)
16:06:55 [16:06:55.954]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.81 MiB)
16:06:56 [16:06:56.044]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 846.81 MiB)
16:06:56 [16:06:56.111]
INFO:
ivc-integration:test:native bb - combiner quotient round
16:06:56 [16:06:56.113]
INFO:
ivc-integration:test:native bb - (mem: 849.38 MiB)
16:06:56 [16:06:56.263]
INFO:
ivc-integration:test:native bb - folded (mem: 849.38 MiB)
16:06:56 constructed folding proof (mem: 849.38 MiB)
16:06:56 [16:06:56.264]
INFO:
ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 849.38 MiB)
16:06:56 Minimum required block sizes for structured trace: (mem: 849.38 MiB)
16:06:56 (mem: 849.38 MiB)
16:06:56 prove decider... (mem: 849.38 MiB)
16:06:56 [16:06:56.265]
INFO:
ivc-integration:test:native bb - ecc_op : 792
16:06:56 busread : 16
16:06:56 lookup : 2
16:06:56 pub_inputs : 36
16:06:56 arithmetic : 12208
16:06:56 delta_range : 2981
16:06:56 elliptic : 2
16:06:56 aux : 350
16:06:56 poseidon2_external : 4982
16:06:56 poseidon2_internal : 28388
16:06:56 overflow : 0
16:06:56 [16:06:56.469]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.38 MiB)
16:06:56 [16:06:56.584]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.38 MiB)
16:06:57 [16:06:57.139]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 849.38 MiB)
16:06:57 [16:06:57.222]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 849.38 MiB)
16:06:57 finished decider proving. (mem: 849.38 MiB)
16:06:57 [16:06:57.239]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 849.38 MiB)
16:06:57 [16:06:57.335]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.38 MiB)
16:06:57 [16:06:57.339]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 849.38 MiB)
16:06:57 [16:06:57.431]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.38 MiB)
16:06:57 [16:06:57.479]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 849.38 MiB)
16:06:58 [16:06:58.037]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 849.38 MiB)
16:06:58 [16:06:58.476]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 849.38 MiB)
16:06:58 [16:06:58.644]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.38 MiB)
16:06:59 [16:06:59.698]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 849.38 MiB)
16:07:00 [16:07:00.240]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
16:07:00 [16:07:00.241]
INFO:
ivc-integration:test:native bb - (mem: 849.38 MiB)
16:07:00 [16:07:00.271]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 849.38 MiB)
16:07:00 finished decider proving. (mem: 849.38 MiB)
16:07:00 [16:07:00.272]
INFO:
ivc-integration:test:native bb -
16:07:00 Constructing a Goblin proof with num ultra ops = 2226 (mem: 849.38 MiB)
16:07:00 [16:07:00.425]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 849.38 MiB)
16:07:00 [16:07:00.722]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 849.38 MiB)
16:07:00 [16:07:00.736]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 849.38 MiB)
16:07:02 [16:07:02.014]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 849.38 MiB)
16:07:03 [16:07:03.520]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 849.38 MiB)
16:07:07 [16:07:07.470]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 849.38 MiB)
16:07:07 prove translator... (mem: 849.38 MiB)
16:07:10 [16:07:10.783]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
16:07:10 [16:07:10.784]
INFO:
ivc-integration:test:native bb - (mem: 872.45 MiB)
16:07:14 [16:07:14.071]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 872.45 MiB)
16:07:16 [16:07:16.304]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 872.45 MiB)
16:07:16 finished translator proving. (mem: 872.45 MiB)
16:07:16 [16:07:16.330]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 872.45 MiB)
16:07:16 [16:07:16.373]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 872.45 MiB)
16:07:16 libra_evals_verified: 1 (mem: 872.45 MiB)
16:07:16 pairing_check_verified: 1 (mem: 872.45 MiB)
16:07:16 Mega verified: 1 (mem: 872.45 MiB)
16:07:16 [16:07:16.461]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.45 MiB)
16:07:16 batch opening verified?: 1 (mem: 872.45 MiB)
16:07:16 eccvm consistency check verified?: 1 (mem: 872.45 MiB)
16:07:16 translation masking consistency checked?: 1 (mem: 872.45 MiB)
16:07:16 [16:07:16.478]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 872.45 MiB)
16:07:16 eccvm verified?: 1 (mem: 872.45 MiB)
16:07:16 accumulator construction_verified?: 1 (mem: 872.45 MiB)
16:07:16 translation verified?: 1 (mem: 872.45 MiB)
16:07:16 consistency verified?: 1 (mem: 872.45 MiB)
16:07:16 [16:07:16.479]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 872.45 MiB)
16:07:16 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-M5IDJL" (mem: 872.45 MiB)
16:07:16 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-M5IDJL" (mem: 872.45 MiB)
16:07:16 BN254 commitment key size: 262144 (mem: 872.45 MiB)
16:07:16 [16:07:16.483]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.45 MiB)
16:07:16 [16:07:16.487]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem:
16:07:16 [16:07:16.488]
INFO:
ivc-integration:test:native bb - 872.45 MiB)
16:07:16 goblin ecc op : 4/1024 (mem: 872.45 MiB)
16:07:16 busread : 3/6000 (mem: 872.45 MiB)
16:07:16 lookups : 2/15000 (mem: 872.45 MiB)
16:07:16 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.45 MiB)
16:07:16 arithmetic : 1773/56000 (mem: 872.45 MiB)
16:07:16 delta range : 1754/18000 (mem: 872.45 MiB)
16:07:16 elliptic : 2/6000 (mem: 872.45 MiB)
16:07:16 auxiliary : 26/26000 (mem: 872.45 MiB)
16:07:16 poseidon ext : 2/17000 (mem: 872.45 MiB)
16:07:16 poseidon int : 2/92000 (mem: 872.45 MiB)
16:07:16 overflow : 0/0 (mem: 872.45 MiB)
16:07:16 (mem: 872.45 MiB)
16:07:16 Total structured size: 242025 (mem: 872.45 MiB)
16:07:16 allocating polynomials object in proving key... (mem: 872.45 MiB)
16:07:16 [16:07:16.546]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.45 MiB)
16:07:16 [16:07:16.613]
INFO:
ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 872.45 MiB)
16:07:16 [16:07:16.651]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.45 MiB)
16:07:17 [16:07:17.142]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 872.45 MiB)
16:07:17 [16:07:17.143]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.45 MiB)
16:07:17 [16:07:17.278]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 872.45 MiB)
16:07:17 [16:07:17.286]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.45 MiB)
16:07:17 [16:07:17.302]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.45 MiB)
16:07:17 [16:07:17.305]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.45 MiB)
16:07:17 goblin ecc op : 56/1024 (mem: 872.45 MiB)
16:07:17 busread : 3/6000 (mem: 872.45 MiB)
16:07:17 lookups : 2/15000 (mem: 872.45 MiB)
16:07:17 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.45 MiB)
16:07:17 [16:07:17.307]
INFO:
ivc-integration:test:native bb -
16:07:17 arithmetic : 4533/56000 (mem: 872.45 MiB)
16:07:17 delta range : 2060/18000 (mem: 872.45 MiB)
16:07:17 elliptic : 2/6000 (mem: 872.45 MiB)
16:07:17 auxiliary : 50/26000 (mem: 872.45 MiB)
16:07:17 poseidon ext : 1332/17000 (mem: 872.45 MiB)
16:07:17 poseidon int : 7583/92000 (mem: 872.45 MiB)
16:07:17 overflow : 0/0 (mem: 872.45 MiB)
16:07:17 (mem: 872.45 MiB)
16:07:17 Total structured size: 242025 (mem: 872.45 MiB)
16:07:17 allocating polynomials object in proving key... (mem: 872.45 MiB)
16:07:17 [16:07:17.389]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.45 MiB)
16:07:17 [16:07:17.406]
INFO:
ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 872.45 MiB)
16:07:17 [16:07:17.440]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.45 MiB)
16:07:17 [16:07:17.824]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 872.45 MiB)
16:07:17 [16:07:17.825]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 872.45 MiB)
16:07:18 [16:07:18.039]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.45 MiB)
16:07:18 [16:07:18.139]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 872.45 MiB)
16:07:18 [16:07:18.180]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 904.45 MiB)
16:07:18 [16:07:18.269]
INFO:
ivc-integration:test:native bb - folded (mem: 904.45 MiB)
16:07:18 constructed folding proof (mem: 904.45 MiB)
16:07:18 [16:07:18.270]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 904.45 MiB)
16:07:18 Minimum required block sizes for structured trace: (mem: 904.45 MiB)
16:07:18 (mem: 904.45 MiB)
16:07:18 prove decider... (mem: 904.45 MiB)
16:07:18 [16:07:18.271]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:07:18 busread : 3
16:07:18 lookup : 2
16:07:18 pub_inputs : 36
16:07:18 arithmetic : 4533
16:07:18 delta_range : 2060
16:07:18 elliptic : 2
16:07:18 aux : 50
16:07:18 poseidon2_external : 1332
16:07:18 poseidon2_internal : 7583
16:07:18 overflow : 0
16:07:18 [16:07:18.392]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.45 MiB)
16:07:18 [16:07:18.476]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.45 MiB)
16:07:19 [16:07:19.507]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.45 MiB)
16:07:19 [16:07:19.561]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 904.45 MiB)
16:07:19 finished decider proving. (mem: 904.45 MiB)
16:07:19 [16:07:19.573]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 904.45 MiB)
16:07:19 [16:07:19.669]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.45 MiB)
16:07:19 [16:07:19.681]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.45 MiB)
16:07:19 [16:07:19.739]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 904.45 MiB)
16:07:19 [16:07:19.774]
INFO:
ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 904.45 MiB)
16:07:20 [16:07:20.407]
INFO:
ivc-integration:test:native BB concurrency: 1
16:07:20 [16:07:20.408]
INFO:
ivc-integration:test:native Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-M5IDJL/proof -k /tmp/bb-client-ivc-integration-M5IDJL/vk -v
16:07:20 [16:07:20.430]
INFO:
ivc-integration:test:native bb command: verify (mem: 188.59 MiB)
16:07:20 Scheme is: client_ivc, num threads: 1 (mem: 188.59 MiB)
16:07:20 --proof_path: /tmp/bb-client-ivc-integration-M5IDJL/proof (mem: 188.59 MiB)
16:07:20 --vk_path: /tmp/bb-client-ivc-integration-M5IDJL/vk (mem: 188.59 MiB)
16:07:20 --verbose: true (mem: 188.59 MiB)
16:07:20 --scheme: client_ivc
16:07:20 [16:07:20.431]
INFO:
ivc-integration:test:native (mem: 188.59 MiB)
16:07:20 [16:07:20.450]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.59 MiB)
16:07:20 [16:07:20.480]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 188.59 MiB)
16:07:20 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 188.59 MiB)
16:07:20 [16:07:20.504]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.59 MiB)
16:07:20 Initialized BN254 CRS from memory with num points = 9 (mem: 188.59 MiB)
16:07:20 [16:07:20.512]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 188.59 MiB)
16:07:20 libra_evals_verified: 1 (mem: 188.59 MiB)
16:07:20 pairing_check_verified: 1 (mem: 188.59 MiB)
16:07:20 Mega verified: 1 (mem: 188.59 MiB)
16:07:20 [16:07:20.981]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.59 MiB)
16:07:20 batch opening verified?: 1 (mem: 188.59 MiB)
16:07:20 eccvm consistency check verified?: 1 (mem: 188.59 MiB)
16:07:20 translation masking consistency checked?: 1 (mem: 188.59 MiB)
16:07:21 [16:07:21.003]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 188.59 MiB)
16:07:21 eccvm verified?: 1 (mem: 188.59 MiB)
16:07:21 accumulator construction_verified?: 1 (mem: 188.59 MiB)
16:07:21 translation verified?: 1 (mem: 188.59 MiB)
16:07:21 consistency verified?: 1 (mem: 188.59 MiB)
16:07:21 Goblin verified: 1 (mem: 188.59 MiB)
16:07:21 [16:07:21.008]
INFO:
ivc-integration:test:native verified: 1 (mem: 188.59 MiB)
16:07:21
PASS src/native_client_ivc_integration.test.ts (
73.162 s)
16:07:21 Client IVC Integration
16:07:21
✓ Should generate a verifiable client IVC proof from a simple mock tx (38515 ms)
16:07:21
✓ Should generate a verifiable client IVC proof from a complex mock tx (31080 ms)
16:07:21
16:07:21
Test Suites: 1 passed, 1 total
16:07:21
Tests: 2 passed, 2 total
16:07:21
Snapshots: 0 total
16:07:21
Time: 73.257 s
16:07:21
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
16:07:21
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?