Parent Log:
http://ci.aztec-labs.com/b356907553fe9b08
Command: c065bf7213f35b7e: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/f495236d35f9bb0d1086b7ec79256c2c2b7c98b8
Env: REF_NAME=gh-readonly-queue/staging/pr-15201-f0619dd82429a5973f3e1da8d7eb0877264908e3 CURRENT_VERSION=0.87.6 CI_FULL=0
Date: Sat Jun 21 13:19:55 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15201_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_staging
13:19:58 [13:19:58.430]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-T7eXLp/ivc-inputs.msgpack
13:19:58 [13:19:58.435]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
13:19:58 [13:19:58.436]
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-T7eXLp --ivc_inputs_path /tmp/bb-client-ivc-integration-T7eXLp/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
13:19:58 [13:19:58.449]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 170.60 MiB)
13:19:58 [13:19:58.450]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 64 (mem: 170.60 MiB)
13:19:58 --scheme: client_ivc (mem: 170.60 MiB)
13:19:58 --output_path: /tmp/bb-client-ivc-integration-T7eXLp (mem: 170.60 MiB)
13:19:58 --ivc_inputs_path: /tmp/bb-client-ivc-integration-T7eXLp/ivc-inputs.msgpack (mem: 170.60 MiB)
13:19:58 --verbose: true (mem: 170.60 MiB)
13:19:58 --write_vk: true (mem: 170.60 MiB)
13:19:58 [13:19:58.451]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 170.60 MiB)
13:19:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 170.60 MiB)
13:19:58 [13:19:58.494]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 170.60 MiB)
13:19:58 [13:19:58.496]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 170.60 MiB)
13:19:58 Constructing DeciderProvingKey (mem: 170.60 MiB)
13:19:58 [13:19:58.499]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 170.60 MiB)
13:19:58 goblin ecc op : 4/1024 (mem: 170.60 MiB)
13:19:58 busread : 7/6000 (mem: 170.60 MiB)
13:19:58 lookups : 2/15000 (mem:
13:19:58 [13:19:58.501]
INFO:
ivc-integration:test:native bb - 170.60 MiB)
13:19:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 170.60 MiB)
13:19:58 arithmetic : 1760/56000 (mem: 170.60 MiB)
13:19:58 delta range : 1754/18000 (mem: 170.60 MiB)
13:19:58 elliptic : 2/6000 (mem: 170.60 MiB)
13:19:58 auxiliary : 26/26000 (mem: 170.60 MiB)
13:19:58 poseidon ext : 2/17000 (mem: 170.60 MiB)
13:19:58 poseidon int : 2/92000 (mem: 170.60 MiB)
13:19:58 overflow : 0/0 (mem: 170.60 MiB)
13:19:58 (mem: 170.60 MiB)
13:19:58 Total structured size: 242025 (mem: 170.60 MiB)
13:19:58 allocating polynomials object in proving key... (mem: 170.60 MiB)
13:19:58 [13:19:58.602]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 308.65 MiB)
13:19:58 [13:19:58.606]
INFO:
ivc-integration:test:native bb - time to construct proving key: 109 ms. (mem: 322.65 MiB)
13:19:58 [13:19:58.620]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xbacfa671f440 (mem: 322.65 MiB)
13:19:58 computing oink proof... (mem: 322.65 MiB)
13:19:58 [13:19:58.621]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 322.65 MiB)
13:19:58 [13:19:58.709]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 332.65 MiB)
13:19:58 [13:19:58.713]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 332.65 MiB)
13:19:58 [13:19:58.722]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 333.15 MiB)
13:19:58 Constructing DeciderProvingKey (mem: 333.15 MiB)
13:19:58 [13:19:58.724]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 333.15 MiB)
13:19:58 goblin ecc op : 56/1024 (mem: 333.15 MiB)
13:19:58 [13:19:58.724]
INFO:
ivc-integration:test:native bb - busread : 12/6000 (mem: 333.15 MiB)
13:19:58 lookups : 2/15000 (mem: 333.15 MiB)
13:19:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 333.15 MiB)
13:19:58 arithmetic : 4677/56000 (mem: 333.15 MiB)
13:19:58 delta range : 2073/18000 (mem: 333.15 MiB)
13:19:58 elliptic : 2/6000 (mem: 333.15 MiB)
13:19:58 auxiliary : 110/26000 (mem: 333.15 MiB)
13:19:58 poseidon ext : 1322/17000 (mem: 333.15 MiB)
13:19:58 poseidon int : 7526/92000 (mem: 333.15 MiB)
13:19:58 overflow : 0/0 (mem: 333.15 MiB)
13:19:58 (mem: 333.15 MiB)
13:19:58 Total structured size: 242025 (mem: 333.15 MiB)
13:19:58 allocating polynomials object in proving key... (mem: 333.15 MiB)
13:19:58 [13:19:58.758]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 545.15 MiB)
13:19:58 [13:19:58.768]
INFO:
ivc-integration:test:native bb - time to construct proving key: 46 ms. (mem: 563.65 MiB)
13:19:58 [13:19:58.793]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xbacfa6737a40 (mem: 563.65 MiB)
13:19:58 computing folding proof (mem: 563.65 MiB)
13:19:58 [13:19:58.794]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 563.65 MiB)
13:19:59 [13:19:59.028]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 563.65 MiB)
13:19:59 [13:19:59.083]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 600.65 MiB)
13:19:59 [13:19:59.135]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 632.65 MiB)
13:19:59 [13:19:59.312]
INFO:
ivc-integration:test:native bb - folded (mem: 632.65 MiB)
13:19:59 constructed folding proof (mem: 632.65 MiB)
13:19:59 [13:19:59.317]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 632.65 MiB)
13:19:59 [13:19:59.356]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 632.65 MiB)
13:19:59 Constructing DeciderProvingKey (mem: 632.65 MiB)
13:19:59 [13:19:59.358]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 632.65 MiB)
13:19:59 goblin ecc op : 392/1024 (mem: 632.65 MiB)
13:19:59 busread : 3/6000 (mem: 632.65 MiB)
13:19:59 [13:19:59.359]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 632.65 MiB)
13:19:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 632.65 MiB)
13:19:59 arithmetic : 6913/56000 (mem: 632.65 MiB)
13:19:59 delta range : 2353/18000 (mem: 632.65 MiB)
13:19:59 elliptic : 2/6000 (mem: 632.65 MiB)
13:19:59 auxiliary : 50/26000 (mem: 632.65 MiB)
13:19:59 poseidon ext : 2492/17000 (mem: 632.65 MiB)
13:19:59 poseidon int : 14195/92000 (mem: 632.65 MiB)
13:19:59 overflow : 0/0 (mem: 632.65 MiB)
13:19:59 (mem: 632.65 MiB)
13:19:59 Total structured size: 242025 (mem: 632.65 MiB)
13:19:59 allocating polynomials object in proving key... (mem: 632.65 MiB)
13:19:59 [13:19:59.385]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 632.65 MiB)
13:19:59 [13:19:59.395]
INFO:
ivc-integration:test:native bb - time to construct proving key: 38 ms. (mem: 632.65 MiB)
13:19:59 [13:19:59.468]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xbacfa671c280 (mem: 632.65 MiB)
13:19:59 computing folding proof (mem: 632.65 MiB)
13:19:59 [13:19:59.468]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 632.65 MiB)
13:19:59 [13:19:59.815]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 632.65 MiB)
13:19:59 [13:19:59.860]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 632.65 MiB)
13:19:59 [13:19:59.904]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 642.34 MiB)
13:20:00 [13:20:00.006]
INFO:
ivc-integration:test:native bb - folded (mem: 642.34 MiB)
13:20:00 constructed folding proof (mem: 642.34 MiB)
13:20:00 [13:20:00.009]
INFO:
ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 642.34 MiB)
13:20:00 Minimum required block sizes for structured trace: (mem: 642.34 MiB)
13:20:00 (mem: 642.34 MiB)
13:20:00 prove decider... (mem: 642.34 MiB)
13:20:00 [13:20:00.010]
INFO:
ivc-integration:test:native bb - ecc_op : 392
13:20:00 busread : 12
13:20:00 lookup : 2
13:20:00 pub_inputs : 36
13:20:00 arithmetic : 6913
13:20:00 delta_range : 2353
13:20:00 elliptic : 2
13:20:00 aux : 110
13:20:00 poseidon2_external : 2492
13:20:00 poseidon2_internal : 14195
13:20:00 overflow : 0
13:20:00 [13:20:00.054]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 642.34 MiB)
13:20:00 [13:20:00.106]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 642.34 MiB)
13:20:00 [13:20:00.613]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 642.34 MiB)
13:20:00 [13:20:00.683]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 642.34 MiB)
13:20:00 finished decider proving. (mem: 642.34 MiB)
13:20:00 [13:20:00.699]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 642.34 MiB)
13:20:00 [13:20:00.752]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 642.34 MiB)
13:20:00 [13:20:00.755]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 642.34 MiB)
13:20:00 [13:20:00.770]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 642.34 MiB)
13:20:00 [13:20:00.820]
INFO:
ivc-integration:test:native bb - time to construct proving key: 68 ms. (mem: 642.34 MiB)
13:20:01 [13:20:01.129]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 642.34 MiB)
13:20:01 [13:20:01.405]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 642.34 MiB)
13:20:01 [13:20:01.538]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 642.34 MiB)
13:20:01 [13:20:01.852]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 642.34 MiB)
13:20:02 [13:20:02.306]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
13:20:02 [13:20:02.307]
INFO:
ivc-integration:test:native bb - (mem:
13:20:02 [13:20:02.309]
INFO:
ivc-integration:test:native bb - 642.34 MiB)
13:20:02 [13:20:02.362]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 642.34 MiB)
13:20:02 finished decider proving. (mem: 642.34 MiB)
13:20:02 [13:20:02.362]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 642.34 MiB)
13:20:02 [13:20:02.502]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 642.34 MiB)
13:20:02 [13:20:02.684]
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: 642.34 MiB)
13:20:02 [13:20:02.691]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 642.34 MiB)
13:20:03 [13:20:03.566]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 642.34 MiB)
13:20:04 [13:20:04.571]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 642.34 MiB)
13:20:06 [13:20:06.875]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 642.34 MiB)
13:20:06 prove translator... (mem: 642.34 MiB)
13:20:07 [13:20:07.785]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 662.20 MiB)
13:20:08 [13:20:08.455]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 662.20 MiB)
13:20:09 [13:20:09.234]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 662.70 MiB)
13:20:09 [13:20:09.234]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 662.70 MiB)
13:20:09 [13:20:09.235]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 662.70 MiB)
13:20:09 [13:20:09.253]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 662.70 MiB)
13:20:09 libra_evals_verified: 1 (mem: 662.70 MiB)
13:20:09 pairing_check_verified: 1 (mem: 662.70 MiB)
13:20:09 Mega verified: 1 (mem: 662.70 MiB)
13:20:09 [13:20:09.310]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1
13:20:09 [13:20:09.310]
INFO:
ivc-integration:test:native bb - (mem:
13:20:09 [13:20:09.311]
INFO:
ivc-integration:test:native bb - 663.20
13:20:09 [13:20:09.311]
INFO:
ivc-integration:test:native bb - MiB)
13:20:09 [13:20:09.311]
INFO:
ivc-integration:test:native bb -
13:20:09 batch opening verified?: 1 (mem: 663.20
13:20:09 [13:20:09.312]
INFO:
ivc-integration:test:native bb - MiB)
13:20:09 eccvm consistency check verified?: 1 (mem: 663.20 MiB)
13:20:09 translation masking consistency checked?: 1 (mem: 663.20 MiB)
13:20:09 [13:20:09.331]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 663.70 MiB)
13:20:09 eccvm verified?: 1 (mem: 663.70 MiB)
13:20:09 accumulator construction_verified?: 1 (mem: 663.70 MiB)
13:20:09 translation verified?: 1 (mem: 663.70 MiB)
13:20:09 consistency verified?: 1
13:20:09 [13:20:09.331]
INFO:
ivc-integration:test:native bb - (mem: 663.70 MiB)
13:20:09 Goblin verified: 1 (mem: 663.70 MiB)
13:20:09 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-T7eXLp" (mem: 663.70 MiB)
13:20:09 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-T7eXLp" (mem: 663.70 MiB)
13:20:09 BN254 commitment key size: 262144 (mem: 663.70 MiB)
13:20:09 [13:20:09.332]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 663.70 MiB)
13:20:09 [13:20:09.334]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 663.70 MiB)
13:20:09 goblin ecc op : 4/1024 (mem: 663.70 MiB)
13:20:09 [13:20:09.334]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 663.70 MiB)
13:20:09 lookups : 2/15000 (mem: 663.70 MiB)
13:20:09 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 663.70 MiB)
13:20:09 arithmetic : 1773/56000 (mem: 663.70 MiB)
13:20:09 delta range : 1754/18000 (mem: 663.70 MiB)
13:20:09 elliptic : 2/6000 (mem: 663.70 MiB)
13:20:09 auxiliary : 26/26000 (mem: 663.70 MiB)
13:20:09 poseidon ext : 2/17000 (mem: 663.70 MiB)
13:20:09 poseidon int : 2/92000 (mem: 663.70 MiB)
13:20:09 overflow : 0/0 (mem: 663.70 MiB)
13:20:09 (mem: 663.70 MiB)
13:20:09 Total structured size: 242025 (mem: 663.70 MiB)
13:20:09 allocating polynomials object in proving key... (mem: 663.70 MiB)
13:20:09 [13:20:09.432]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 663.70 MiB)
13:20:09 [13:20:09.439]
INFO:
ivc-integration:test:native bb - time to construct proving key: 106 ms. (mem: 663.70 MiB)
13:20:09 [13:20:09.458]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 663.70 MiB)
13:20:09 [13:20:09.602]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 663.70 MiB)
13:20:09 [13:20:09.603]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 663.70 MiB)
13:20:09 [13:20:09.684]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 663.70 MiB)
13:20:09 [13:20:09.688]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 663.70 MiB)
13:20:09 [13:20:09.696]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 663.70 MiB)
13:20:09 [13:20:09.699]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 663.70 MiB)
13:20:09 goblin ecc op : 56/1024 (mem: 663.70 MiB)
13:20:09 busread : 3/6000 (mem: 663.70 MiB)
13:20:09 lookups : 2/15000 (mem: 663.70 MiB)
13:20:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 663.70 MiB)
13:20:09 arithmetic : 4533/56000 (mem: 663.70 MiB)
13:20:09 delta range : 2060/18000 (mem: 663.70 MiB)
13:20:09 elliptic : 2/6000 (mem: 663.70 MiB)
13:20:09 auxiliary : 50/26000 (mem: 663.70 MiB)
13:20:09 poseidon ext : 1332/17000 (mem: 663.70 MiB)
13:20:09 poseidon int : 7583/92000 (mem: 663.70 MiB)
13:20:09 overflow : 0/0 (mem: 663.70 MiB)
13:20:09 (mem: 663.70 MiB)
13:20:09 Total structured size: 242025 (mem: 663.70 MiB)
13:20:09 allocating polynomials object in proving key... (mem: 663.70 MiB)
13:20:09 [13:20:09.718]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 663.70 MiB)
13:20:09 [13:20:09.725]
INFO:
ivc-integration:test:native bb - time to construct proving key: 29 ms. (mem: 663.70 MiB)
13:20:09 [13:20:09.755]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0
13:20:09 [13:20:09.756]
INFO:
ivc-integration:test:native bb - (mem: 663.70 MiB)
13:20:09 [13:20:09.836]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 663.70 MiB)
13:20:09 [13:20:09.836]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 663.70 MiB)
13:20:09 [13:20:09.924]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 663.70 MiB)
13:20:09 [13:20:09.964]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 663.70 MiB)
13:20:09 [13:20:09.993]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 695.70 MiB)
13:20:10 [13:20:10.066]
INFO:
ivc-integration:test:native bb - folded (mem: 695.70 MiB)
13:20:10 constructed folding proof (mem: 695.70
13:20:10 [13:20:10.067]
INFO:
ivc-integration:test:native bb - MiB)
13:20:10 Largest circuit: 15565 gates. Trace details: (mem: 695.70 MiB)
13:20:10 Minimum required block sizes for structured trace: (mem: 695.70 MiB)
13:20:10 (mem: 695.70 MiB)
13:20:10 prove decider... (mem: 695.70 MiB)
13:20:10 [13:20:10.067]
INFO:
ivc-integration:test:native bb - ecc_op : 56
13:20:10 busread : 3
13:20:10 lookup : 2
13:20:10 pub_inputs : 36
13:20:10 arithmetic : 4533
13:20:10 delta_range : 2060
13:20:10 elliptic : 2
13:20:10 aux : 50
13:20:10 poseidon2_external : 1332
13:20:10 poseidon2_internal : 7583
13:20:10 overflow : 0
13:20:10 [13:20:10.101]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 695.70 MiB)
13:20:10 [13:20:10.170]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 695.70 MiB)
13:20:10 [13:20:10.614]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 695.70 MiB)
13:20:10 [13:20:10.683]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 695.70 MiB)
13:20:10 finished decider proving. (mem: 695.70 MiB)
13:20:10 [13:20:10.690]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 695.70 MiB)
13:20:10 [13:20:10.752]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 695.70 MiB)
13:20:10 [13:20:10.755]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 695.70 MiB)
13:20:10 [13:20:10.844]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 695.70 MiB)
13:20:10 [13:20:10.860]
INFO:
ivc-integration:test:native bb - time to construct proving key: 108 ms. (mem: 695.70 MiB)
13:20:11 [13:20:11.102]
INFO:
ivc-integration:test:native BB concurrency: 1
13:20:11 [13:20:11.102]
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-T7eXLp/proof -k /tmp/bb-client-ivc-integration-T7eXLp/vk -v
13:20:11 [13:20:11.116]
INFO:
ivc-integration:test:native bb command: verify (mem: 170.60 MiB)
13:20:11 Scheme is: client_ivc, num threads: 1 (mem: 170.60 MiB)
13:20:11 --proof_path: /tmp/bb-client-ivc-integration-T7eXLp/proof (mem: 170.60 MiB)
13:20:11 --vk_path: /tmp/bb-client-ivc-integration-T7eXLp/vk
13:20:11 [13:20:11.117]
INFO:
ivc-integration:test:native (mem: 170.60 MiB)
13:20:11 --verbose: true (mem: 170.60 MiB)
13:20:11 --scheme: client_ivc (mem: 170.60 MiB)
13:20:11 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 170.60 MiB)
13:20:11 [13:20:11.129]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 170.60 MiB)
13:20:11 [13:20:11.130]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892
13:20:11 [13:20:11.130]
INFO:
ivc-integration:test:native (mem:
13:20:11 [13:20:11.130]
INFO:
ivc-integration:test:native 170.60
13:20:11 [13:20:11.131]
INFO:
ivc-integration:test:native MiB)
13:20:11 [13:20:11.132]
INFO:
ivc-integration:test:native
13:20:11 [13:20:11.148]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
13:20:11 [13:20:11.148]
INFO:
ivc-integration:test:native (mem:
13:20:11 [13:20:11.151]
INFO:
ivc-integration:test:native 170.60 MiB)
13:20:11 Initialized BN254 CRS from memory with num points = 1 (mem: 170.60 MiB)
13:20:11 sumcheck_verified: 1 (mem: 170.60 MiB)
13:20:11 libra_evals_verified: 1 (mem: 170.60 MiB)
13:20:11 pairing_check_verified: 1 (mem: 170.60 MiB)
13:20:11 Mega verified: 1 (mem: 170.60 MiB)
13:20:11 [13:20:11.542]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 170.60 MiB)
13:20:11 batch opening verified?: 1 (mem: 170.60 MiB)
13:20:11 eccvm consistency check verified?: 1 (mem: 170.60 MiB)
13:20:11 translation masking consistency checked?: 1 (mem: 170.60 MiB)
13:20:11 [13:20:11.560]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 170.60 MiB)
13:20:11 eccvm verified?: 1 (mem: 170.60 MiB)
13:20:11 accumulator construction_verified?: 1 (mem: 170.60 MiB)
13:20:11 translation verified?: 1 (mem: 170.60 MiB)
13:20:11 consistency verified?: 1 (mem: 170.60 MiB)
13:20:11 [13:20:11.561]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 170.60 MiB)
13:20:11 verified: 1 (mem: 170.60 MiB)
13:20:11 [13:20:11.596]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-3Dq1oD/ivc-inputs.msgpack
13:20:11 [13:20:11.597]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
13:20:11 [13:20:11.597]
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-3Dq1oD --ivc_inputs_path /tmp/bb-client-ivc-integration-3Dq1oD/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
13:20:11 [13:20:11.609]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 172.78 MiB)
13:20:11 [13:20:11.610]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 64 (mem: 172.78 MiB)
13:20:11 --scheme: client_ivc (mem: 172.78 MiB)
13:20:11 --output_path: /tmp/bb-client-ivc-integration-3Dq1oD (mem: 172.78 MiB)
13:20:11 --ivc_inputs_path: /tmp/bb-client-ivc-integration-3Dq1oD/ivc-inputs.msgpack (mem: 172.78 MiB)
13:20:11 --verbose: true (mem: 172.78 MiB)
13:20:11 --write_vk: true (mem: 172.78 MiB)
13:20:11 [13:20:11.613]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 172.78 MiB)
13:20:11 [13:20:11.614]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 172.78 MiB)
13:20:11 [13:20:11.657]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 172.78 MiB)
13:20:11 [13:20:11.659]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 172.78 MiB)
13:20:11 Constructing DeciderProvingKey (mem: 172.78 MiB)
13:20:11 [13:20:11.662]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 172.78 MiB)
13:20:11 goblin ecc op : 4/1024 (mem: 172.78
13:20:11 [13:20:11.662]
INFO:
ivc-integration:test:native bb - MiB)
13:20:11 busread : 7/6000 (mem: 172.78 MiB)
13:20:11 lookups : 2/15000 (mem: 172.78 MiB)
13:20:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 172.78 MiB)
13:20:11 arithmetic : 1760/56000 (mem: 172.78 MiB)
13:20:11 delta range : 1754/18000 (mem: 172.78 MiB)
13:20:11 elliptic : 2/6000 (mem: 172.78 MiB)
13:20:11 auxiliary : 26/26000 (mem: 172.78 MiB)
13:20:11 poseidon ext : 2/17000 (mem: 172.78 MiB)
13:20:11 poseidon int : 2/92000 (mem: 172.78 MiB)
13:20:11 overflow : 0/0 (mem: 172.78 MiB)
13:20:11 (mem: 172.78 MiB)
13:20:11 Total structured size: 242025 (mem: 172.78 MiB)
13:20:11 allocating polynomials object in proving key... (mem: 172.78 MiB)
13:20:11 [13:20:11.733]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 308.62 MiB)
13:20:11 [13:20:11.738]
INFO:
ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 320.12 MiB)
13:20:11 [13:20:11.748]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xaed0cdc84280 (mem: 320.62 MiB)
13:20:11 [13:20:11.748]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 320.62 MiB)
13:20:11 [13:20:11.749]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 320.62 MiB)
13:20:11 [13:20:11.795]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 329.62 MiB)
13:20:11 [13:20:11.799]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 330.12 MiB)
13:20:11 [13:20:11.807]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 330.62 MiB)
13:20:11 Constructing DeciderProvingKey (mem: 330.62 MiB)
13:20:11 [13:20:11.809]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 330.62 MiB)
13:20:11 goblin ecc op : 56/1024 (mem: 330.62 MiB)
13:20:11 busread : 12/6000 (mem:
13:20:11 [13:20:11.809]
INFO:
ivc-integration:test:native bb - 330.62 MiB)
13:20:11 lookups : 2/15000 (mem: 330.62 MiB)
13:20:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 330.62 MiB)
13:20:11 arithmetic : 4677/56000 (mem: 330.62 MiB)
13:20:11 delta range : 2073/18000 (mem: 330.62 MiB)
13:20:11 elliptic : 2/6000 (mem: 330.62 MiB)
13:20:11 auxiliary : 110/26000 (mem: 330.62 MiB)
13:20:11 poseidon ext : 1322/17000 (mem: 330.62 MiB)
13:20:11 poseidon int : 7526/92000 (mem: 330.62 MiB)
13:20:11 overflow : 0/0 (mem: 330.62 MiB)
13:20:11 (mem: 330.62 MiB)
13:20:11 Total structured size: 242025 (mem: 330.62 MiB)
13:20:11 allocating polynomials object in proving key... (mem: 330.62 MiB)
13:20:11 [13:20:11.851]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 545.12 MiB)
13:20:11 [13:20:11.859]
INFO:
ivc-integration:test:native bb - time to construct proving key: 51 ms. (mem: 561.12 MiB)
13:20:11 [13:20:11.879]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xaed0cdc8d8c0 (mem: 561.12 MiB)
13:20:11 computing folding proof (mem: 561.12 MiB)
13:20:11 [13:20:11.880]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 561.12 MiB)
13:20:12 [13:20:12.008]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 561.62 MiB)
13:20:12 [13:20:12.066]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 599.12 MiB)
13:20:12 [13:20:12.094]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 631.12 MiB)
13:20:12 [13:20:12.190]
INFO:
ivc-integration:test:native bb - folded (mem: 631.12 MiB)
13:20:12 constructed folding proof (mem: 631.12 MiB)
13:20:12 [13:20:12.191]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 631.12 MiB)
13:20:12 Constructing DeciderProvingKey (mem: 631.12 MiB)
13:20:12 [13:20:12.192]
INFO:
ivc-integration:test:native bb -
13:20:12 [13:20:12.193]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 631.12 MiB)
13:20:12 goblin ecc op : 4/1024 (mem: 631.12 MiB)
13:20:12 busread : 7/6000 (mem:
13:20:12 [13:20:12.193]
INFO:
ivc-integration:test:native bb - 631.12 MiB)
13:20:12 lookups : 2/15000 (mem: 631.12 MiB)
13:20:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 631.12 MiB)
13:20:12 arithmetic : 1760/56000 (mem: 631.12 MiB)
13:20:12 delta range : 1754/18000 (mem: 631.12 MiB)
13:20:12 elliptic : 2/6000 (mem: 631.12 MiB)
13:20:12 auxiliary : 26/26000 (mem: 631.12 MiB)
13:20:12 poseidon ext : 2/17000 (mem: 631.12 MiB)
13:20:12 poseidon int : 2/92000 (mem: 631.12 MiB)
13:20:12 overflow : 0/0 (mem: 631.12 MiB)
13:20:12 (mem: 631.12 MiB)
13:20:12 Total structured size: 242025 (mem: 631.12 MiB)
13:20:12 allocating polynomials object in proving key... (mem: 631.12 MiB)
13:20:12 [13:20:12.206]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 631.12 MiB)
13:20:12 [13:20:12.209]
INFO:
ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 631.12 MiB)
13:20:12 [13:20:12.228]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xaed0cdc84b00 (mem: 631.12 MiB)
13:20:12 computing folding proof (mem: 631.12 MiB)
13:20:12 [13:20:12.229]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 631.12 MiB)
13:20:12 [13:20:12.293]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 631.12 MiB)
13:20:12 [13:20:12.340]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 631.12 MiB)
13:20:12 [13:20:12.369]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 632.77 MiB)
13:20:12 [13:20:12.440]
INFO:
ivc-integration:test:native bb - folded (mem: 632.77 MiB)
13:20:12 constructed folding proof (mem: 632.77 MiB)
13:20:12 [13:20:12.444]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 632.77 MiB)
13:20:12 [13:20:12.486]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 632.77 MiB)
13:20:12 [13:20:12.526]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 632.77 MiB)
13:20:12 Constructing DeciderProvingKey (mem: 632.77 MiB)
13:20:12 [13:20:12.528]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 632.77 MiB)
13:20:12 [13:20:12.529]
INFO:
ivc-integration:test:native bb - goblin ecc op : 792/1024 (mem: 632.77 MiB)
13:20:12 busread : 12/6000 (mem: 632.77 MiB)
13:20:12 lookups : 2/15000 (mem: 632.77 MiB)
13:20:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 632.77 MiB)
13:20:12 arithmetic : 12208/56000 (mem: 632.77 MiB)
13:20:12 delta range : 2981/18000 (mem: 632.77 MiB)
13:20:12 elliptic : 2/6000 (mem: 632.77 MiB)
13:20:12 auxiliary : 350/26000 (mem: 632.77 MiB)
13:20:12 poseidon ext : 4982/17000 (mem: 632.77 MiB)
13:20:12 poseidon int : 28388/92000 (mem: 632.77 MiB)
13:20:12 overflow : 0/0 (mem: 632.77 MiB)
13:20:12 (mem: 632.77 MiB)
13:20:12 Total structured size: 242025 (mem: 632.77 MiB)
13:20:12 allocating polynomials object in proving key... (mem: 632.77 MiB)
13:20:12 [13:20:12.542]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 632.77 MiB)
13:20:12 [13:20:12.561]
INFO:
ivc-integration:test:native bb - time to construct proving key: 35 ms. (mem: 632.77 MiB)
13:20:12 [13:20:12.600]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xaed0cdc7d8c0 (mem: 632.77 MiB)
13:20:12 computing folding proof (mem: 632.77 MiB)
13:20:12 [13:20:12.601]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 632.77 MiB)
13:20:12 [13:20:12.790]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 632.77 MiB)
13:20:12 [13:20:12.832]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 640.43 MiB)
13:20:12 [13:20:12.863]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 672.93 MiB)
13:20:12 [13:20:12.907]
INFO:
ivc-integration:test:native bb - folded (mem: 672.93 MiB)
13:20:12 constructed folding proof (mem: 672.93 MiB)
13:20:12 [13:20:12.911]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 672.93 MiB)
13:20:12 [13:20:12.950]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 672.93 MiB)
13:20:12 Constructing DeciderProvingKey (mem: 672.93 MiB)
13:20:12 [13:20:12.953]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 672.93 MiB)
13:20:12 goblin ecc op : 392/1024 (mem: 672.93 MiB)
13:20:12 busread : 16/6000 (mem:
13:20:12 [13:20:12.953]
INFO:
ivc-integration:test:native bb - 672.93 MiB)
13:20:12 lookups : 2/15000 (mem: 672.93 MiB)
13:20:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 672.93 MiB)
13:20:12 arithmetic : 6978/56000 (mem: 672.93 MiB)
13:20:12 delta range : 2367/18000 (mem: 672.93 MiB)
13:20:12 elliptic : 2/6000 (mem: 672.93 MiB)
13:20:12 auxiliary : 77/26000 (mem: 672.93 MiB)
13:20:12 poseidon ext : 2492/17000 (mem: 672.93 MiB)
13:20:12 poseidon int : 14195/92000 (mem: 672.93 MiB)
13:20:12 overflow : 0/0 (mem: 672.93 MiB)
13:20:12 (mem: 672.93 MiB)
13:20:12 Total structured size: 242025 (mem: 672.93 MiB)
13:20:12 allocating polynomials object in proving key... (mem: 672.93 MiB)
13:20:12 [13:20:12.959]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 672.93 MiB)
13:20:12 [13:20:12.968]
INFO:
ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 672.93 MiB)
13:20:12 [13:20:12.993]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xaed0cdc94240 (mem: 672.93 MiB)
13:20:12 computing folding proof (mem: 672.93 MiB)
13:20:12 [13:20:12.994]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 672.93 MiB)
13:20:13 [13:20:13.100]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 672.93 MiB)
13:20:13 [13:20:13.148]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 672.93 MiB)
13:20:13 [13:20:13.168]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 672.93 MiB)
13:20:13 [13:20:13.228]
INFO:
ivc-integration:test:native bb - folded (mem: 672.93 MiB)
13:20:13 constructed folding proof (mem: 672.93 MiB)
13:20:13 [13:20:13.232]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 672.93 MiB)
13:20:13 [13:20:13.272]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 672.93 MiB)
13:20:13 Constructing DeciderProvingKey (mem: 672.93 MiB)
13:20:13 [13:20:13.274]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 672.93 MiB)
13:20:13 goblin ecc op : 392/1024 (mem: 672.93 MiB)
13:20:13 busread : 3/6000 (mem: 672.93 MiB)
13:20:13 lookups : 2/15000 (mem: 672.93 MiB)
13:20:13 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 672.93 MiB)
13:20:13 arithmetic : 6913/56000 (mem: 672.93 MiB)
13:20:13 [13:20:13.275]
INFO:
ivc-integration:test:native bb - delta range : 2353/18000 (mem: 672.93 MiB)
13:20:13 elliptic : 2/6000 (mem: 672.93 MiB)
13:20:13 auxiliary : 50/26000 (mem: 672.93 MiB)
13:20:13 poseidon ext : 2492/17000 (mem: 672.93 MiB)
13:20:13 poseidon int : 14195/92000 (mem: 672.93 MiB)
13:20:13 overflow : 0/0 (mem: 672.93 MiB)
13:20:13 (mem: 672.93 MiB)
13:20:13 Total structured size: 242025 (mem: 672.93 MiB)
13:20:13 allocating polynomials object in proving key... (mem: 672.93 MiB)
13:20:13 [13:20:13.280]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 672.93 MiB)
13:20:13 [13:20:13.291]
INFO:
ivc-integration:test:native bb - time to construct proving key: 18 ms. (mem: 672.93 MiB)
13:20:13 [13:20:13.317]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xaed0cdc85380 (mem: 672.93 MiB)
13:20:13 computing folding proof (mem: 672.93 MiB)
13:20:13 [13:20:13.318]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 672.93 MiB)
13:20:13 [13:20:13.431]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 672.93 MiB)
13:20:13 [13:20:13.475]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 672.93 MiB)
13:20:13 [13:20:13.496]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 672.93 MiB)
13:20:13 [13:20:13.550]
INFO:
ivc-integration:test:native bb - folded (mem: 672.93 MiB)
13:20:13 constructed folding proof (mem: 672.93 MiB)
13:20:13 [13:20:13.551]
INFO:
ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 672.93 MiB)
13:20:13 Minimum required block sizes for structured trace: (mem: 672.93 MiB)
13:20:13 (mem: 672.93 MiB)
13:20:13 prove decider... (mem: 672.93 MiB)
13:20:13 [13:20:13.551]
INFO:
ivc-integration:test:native bb - ecc_op : 792
13:20:13 busread : 16
13:20:13 lookup : 2
13:20:13 pub_inputs : 36
13:20:13 arithmetic : 12208
13:20:13 delta_range : 2981
13:20:13 elliptic : 2
13:20:13 aux : 350
13:20:13 poseidon2_external : 4982
13:20:13 poseidon2_internal : 28388
13:20:13 overflow : 0
13:20:13 [13:20:13.573]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.93 MiB)
13:20:13 [13:20:13.612]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 672.93 MiB)
13:20:13 [13:20:13.908]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 672.93 MiB)
13:20:13 [13:20:13.982]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 672.93 MiB)
13:20:13 finished decider proving. (mem: 672.93 MiB)
13:20:13 [13:20:13.992]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 672.93 MiB)
13:20:14 [13:20:14.052]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 672.93 MiB)
13:20:14 [13:20:14.055]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 672.93 MiB)
13:20:14 [13:20:14.062]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 672.93 MiB)
13:20:14 [13:20:14.081]
INFO:
ivc-integration:test:native bb - time to construct proving key: 28 ms. (mem: 672.93 MiB)
13:20:14 [13:20:14.319]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 672.93 MiB)
13:20:14 [13:20:14.539]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 672.93 MiB)
13:20:14 [13:20:14.560]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.93 MiB)
13:20:14 [13:20:14.655]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 672.93 MiB)
13:20:14 [13:20:14.856]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 672.93 MiB)
13:20:14 [13:20:14.885]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 672.93 MiB)
13:20:14 finished decider proving. (mem: 672.93 MiB)
13:20:14 [13:20:14.885]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 672.93 MiB)
13:20:14 [13:20:14.917]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 672.93 MiB)
13:20:15 [13:20:15.027]
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: 672.93 MiB)
13:20:15 [13:20:15.034]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 672.93 MiB)
13:20:15 [13:20:15.549]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.93 MiB)
13:20:16 [13:20:16.052]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 672.93 MiB)
13:20:17 [13:20:17.041]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 672.93 MiB)
13:20:17 prove translator... (mem: 672.93 MiB)
13:20:17 [13:20:17.464]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 681.11 MiB)
13:20:17 [13:20:17.969]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 681.11 MiB)
13:20:18 [13:20:18.563]
INFO:
ivc-integration:test:native bb - computed opening proof
13:20:18 [13:20:18.567]
INFO:
ivc-integration:test:native bb - (mem: 681.61 MiB)
13:20:18 finished translator proving. (mem: 681.61 MiB)
13:20:18 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 681.61 MiB)
13:20:18 [13:20:18.581]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 681.61 MiB)
13:20:18 libra_evals_verified: 1 (mem: 681.61 MiB)
13:20:18 pairing_check_verified: 1 (mem: 681.61 MiB)
13:20:18 Mega verified: 1 (mem: 681.61 MiB)
13:20:18 [13:20:18.636]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 681.61 MiB)
13:20:18 batch opening verified?: 1 (mem: 681.61 MiB)
13:20:18 eccvm consistency check verified?: 1 (mem: 681.61 MiB)
13:20:18 translation masking consistency checked?: 1 (mem: 681.61 MiB)
13:20:18 [13:20:18.655]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 682.11 MiB)
13:20:18 eccvm verified?: 1 (mem: 682.11 MiB)
13:20:18 accumulator construction_verified?: 1 (mem: 682.11 MiB)
13:20:18 translation verified?: 1 (mem: 682.11 MiB)
13:20:18 consistency verified?: 1 (mem: 682.11 MiB)
13:20:18 [13:20:18.655]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 682.11 MiB)
13:20:18 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-3Dq1oD" (mem: 682.11 MiB)
13:20:18 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-3Dq1oD" (mem: 682.11 MiB)
13:20:18 BN254 commitment key size: 262144 (mem: 682.11 MiB)
13:20:18 [13:20:18.656]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 682.11 MiB)
13:20:18 [13:20:18.658]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 682.11 MiB)
13:20:18 goblin ecc op : 4/1024 (mem: 682.11 MiB)
13:20:18 busread : 3/6000 (mem: 682.11 MiB)
13:20:18 lookups : 2/15000 (mem: 682.11 MiB)
13:20:18 [13:20:18.658]
INFO:
ivc-integration:test:native bb - pub inputs : 17/5000 (populated in decider pk constructor) (mem: 682.11 MiB)
13:20:18 arithmetic : 1773/56000 (mem: 682.11 MiB)
13:20:18 delta range : 1754/18000 (mem: 682.11 MiB)
13:20:18 elliptic : 2/6000 (mem: 682.11 MiB)
13:20:18 auxiliary : 26/26000 (mem: 682.11 MiB)
13:20:18 poseidon ext : 2/17000 (mem: 682.11 MiB)
13:20:18 poseidon int : 2/92000 (mem: 682.11 MiB)
13:20:18 overflow : 0/0 (mem: 682.11 MiB)
13:20:18 (mem: 682.11 MiB)
13:20:18 Total structured size: 242025 (mem: 682.11 MiB)
13:20:18 allocating polynomials object in proving key... (mem: 682.11 MiB)
13:20:18 [13:20:18.670]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 682.11 MiB)
13:20:18 [13:20:18.674]
INFO:
ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 682.11 MiB)
13:20:18 [13:20:18.683]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 682.11 MiB)
13:20:18 [13:20:18.727]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 682.11 MiB)
13:20:18 [13:20:18.728]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 682.11 MiB)
13:20:18 [13:20:18.770]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 682.11 MiB)
13:20:18 [13:20:18.773]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 682.11 MiB)
13:20:18 [13:20:18.781]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 682.11 MiB)
13:20:18 [13:20:18.783]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 682.11 MiB)
13:20:18 goblin ecc op : 56/1024 (mem: 682.11 MiB)
13:20:18 busread : 3/6000 (mem: 682.11 MiB)
13:20:18 lookups : 2/15000 (mem: 682.11 MiB)
13:20:18 [13:20:18.783]
INFO:
ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 682.11 MiB)
13:20:18 arithmetic : 4533/56000 (mem: 682.11 MiB)
13:20:18 delta range : 2060/18000 (mem: 682.11 MiB)
13:20:18 elliptic : 2/6000 (mem: 682.11 MiB)
13:20:18 auxiliary : 50/26000 (mem: 682.11 MiB)
13:20:18 poseidon ext : 1332/17000 (mem: 682.11 MiB)
13:20:18 poseidon int : 7583/92000 (mem: 682.11 MiB)
13:20:18 overflow : 0/0 (mem: 682.11 MiB)
13:20:18 (mem: 682.11 MiB)
13:20:18 Total structured size: 242025 (mem: 682.11 MiB)
13:20:18 allocating polynomials object in proving key... (mem: 682.11 MiB)
13:20:18 [13:20:18.789]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 682.11 MiB)
13:20:18 [13:20:18.797]
INFO:
ivc-integration:test:native bb - time to construct proving key: 15 ms. (mem: 682.11 MiB)
13:20:18 [13:20:18.813]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 682.11 MiB)
13:20:18 [13:20:18.878]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 682.11 MiB)
13:20:18 [13:20:18.879]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 682.11 MiB)
13:20:18 [13:20:18.979]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 682.11 MiB)
13:20:19 [13:20:19.019]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 682.11 MiB)
13:20:19 [13:20:19.047]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 714.11 MiB)
13:20:19 [13:20:19.109]
INFO:
ivc-integration:test:native bb - folded (mem: 714.11 MiB)
13:20:19 constructed folding proof (mem: 714.11 MiB)
13:20:19 [13:20:19.109]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 714.11 MiB)
13:20:19 Minimum required block sizes for structured trace: (mem: 714.11 MiB)
13:20:19 (mem: 714.11 MiB)
13:20:19 prove decider... (mem: 714.11 MiB)
13:20:19 [13:20:19.110]
INFO:
ivc-integration:test:native bb - ecc_op : 56
13:20:19 busread : 3
13:20:19 lookup : 2
13:20:19 pub_inputs : 36
13:20:19 arithmetic : 4533
13:20:19 delta_range : 2060
13:20:19 elliptic : 2
13:20:19 aux : 50
13:20:19 poseidon2_external : 1332
13:20:19 poseidon2_internal : 7583
13:20:19 overflow : 0
13:20:19 [13:20:19.127]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 714.11 MiB)
13:20:19 [13:20:19.157]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 714.11 MiB)
13:20:19 [13:20:19.393]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 714.11 MiB)
13:20:19 [13:20:19.440]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 714.11 MiB)
13:20:19 finished decider proving. (mem: 714.11 MiB)
13:20:19 [13:20:19.447]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 714.11 MiB)
13:20:19 [13:20:19.508]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 714.11 MiB)
13:20:19 [13:20:19.511]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 714.11 MiB)
13:20:19 [13:20:19.516]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 714.11 MiB)
13:20:19 [13:20:19.531]
INFO:
ivc-integration:test:native bb - time to construct proving key: 22 ms. (mem: 714.11 MiB)
13:20:19 [13:20:19.667]
INFO:
ivc-integration:test:native BB concurrency: 1
13:20:19 [13:20:19.667]
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-3Dq1oD/proof -k /tmp/bb-client-ivc-integration-3Dq1oD/vk -v
13:20:19 [13:20:19.679]
INFO:
ivc-integration:test:native bb command: verify (mem: 178.56 MiB)
13:20:19 Scheme is: client_ivc, num threads: 1 (mem: 178.56 MiB)
13:20:19 --proof_path: /tmp/bb-client-ivc-integration-3Dq1oD/proof (mem: 178.56 MiB)
13:20:19 [13:20:19.680]
INFO:
ivc-integration:test:native --vk_path: /tmp/bb-client-ivc-integration-3Dq1oD/vk (mem: 178.56 MiB)
13:20:19 --verbose: true (mem: 178.56 MiB)
13:20:19 --scheme: client_ivc (mem: 178.56 MiB)
13:20:19 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 178.56 MiB)
13:20:19 [13:20:19.691]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 178.56 MiB)
13:20:19 [13:20:19.692]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 178.56 MiB)
13:20:19 [13:20:19.708]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 178.56 MiB)
13:20:19 [13:20:19.709]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 178.56 MiB)
13:20:19 [13:20:19.710]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 178.56 MiB)
13:20:19 libra_evals_verified: 1 (mem: 178.56 MiB)
13:20:19 pairing_check_verified: 1 (mem:
13:20:19 [13:20:19.710]
INFO:
ivc-integration:test:native 178.56 MiB)
13:20:19 Mega verified: 1 (mem: 178.56 MiB)
13:20:20 [13:20:20.102]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 178.56 MiB)
13:20:20 batch opening verified?: 1 (mem: 178.56 MiB)
13:20:20 eccvm consistency check verified?: 1 (mem: 178.56 MiB)
13:20:20 translation masking consistency checked?: 1 (mem: 178.56 MiB)
13:20:20 [13:20:20.120]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 178.56 MiB)
13:20:20 eccvm verified?: 1 (mem: 178.56 MiB)
13:20:20 accumulator construction_verified?: 1 (mem: 178.56 MiB)
13:20:20 translation verified?: 1 (mem: 178.56 MiB)
13:20:20 consistency verified?: 1 (mem: 178.56 MiB)
13:20:20 Goblin verified: 1 (mem: 178.56 MiB)
13:20:20 [13:20:20.121]
INFO:
ivc-integration:test:native verified: 1 (mem: 178.56 MiB)
13:20:20
PASS src/native_client_ivc_integration.test.ts (
24.276 s)
13:20:20 Client IVC Integration
13:20:20
✓ Should generate a verifiable client IVC proof from a simple mock tx (13194 ms)
13:20:20
✓ Should generate a verifiable client IVC proof from a complex mock tx (8557 ms)
13:20:20
13:20:20
Test Suites: 1 passed, 1 total
13:20:20
Tests: 2 passed, 2 total
13:20:20
Snapshots: 0 total
13:20:20
Time: 24.349 s
13:20:20
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
13:20:20
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?