Parent Log:
http://ci.aztec-labs.com/d1c648635e55730f
Command: b462ac477dccbbe0: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/1fc5957df9da86dc8fdc6c622544db2499cdbbc1
Env: REF_NAME=gh-readonly-queue/next/pr-15286-85c7d115f07bdc47eb18778910e372b8db1e0d3d CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 26 11:55:20 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15286_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
11:55:24 [11:55:24.789]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-B27buF/ivc-inputs.msgpack
11:55:24 [11:55:24.795]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
11:55:24 [11:55:24.796]
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-B27buF --ivc_inputs_path /tmp/bb-client-ivc-integration-B27buF/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:55:24 [11:55:24.815]
INFO:
ivc-integration:test:native bb - bb command: prove (mem:
11:55:24 [11:55:24.816]
INFO:
ivc-integration:test:native bb - 238.91 MiB)
11:55:24 Scheme is: client_ivc, num threads: 128 (mem: 238.91 MiB)
11:55:24 --scheme: client_ivc (mem: 238.91 MiB)
11:55:24 --output_path: /tmp/bb-client-ivc-integration-B27buF (mem: 238.91 MiB)
11:55:24 --ivc_inputs_path: /tmp/bb-client-ivc-integration-B27buF/ivc-inputs.msgpack (mem: 238.91 MiB)
11:55:24 --verbose: true (mem: 238.91 MiB)
11:55:24 --write_vk: true (mem: 238.91 MiB)
11:55:24 [11:55:24.817]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 238.91 MiB)
11:55:24 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.91 MiB)
11:55:24 [11:55:24.882]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 238.91 MiB)
11:55:24 [11:55:24.889]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 238.91 MiB)
11:55:24 Constructing DeciderProvingKey (mem: 238.91 MiB)
11:55:24 [11:55:24.890]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 238.91 MiB)
11:55:24 goblin ecc op : 4/1024 (mem:
11:55:24 [11:55:24.892]
INFO:
ivc-integration:test:native bb - 238.91 MiB)
11:55:24 busread : 7/6000 (mem: 238.91 MiB)
11:55:24 lookups : 2/15000 (mem: 238.91 MiB)
11:55:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 238.91 MiB)
11:55:24 arithmetic : 1760/56000 (mem: 238.91 MiB)
11:55:24 delta range : 1754/18000 (mem: 238.91 MiB)
11:55:24 elliptic : 2/6000 (mem: 238.91 MiB)
11:55:24 auxiliary : 26/26000 (mem: 238.91 MiB)
11:55:24 poseidon ext : 2/17000 (mem: 238.91 MiB)
11:55:24 poseidon int : 2/92000 (mem: 238.91 MiB)
11:55:24 overflow : 0/0 (mem: 238.91 MiB)
11:55:24 (mem: 238.91 MiB)
11:55:24 Total structured size: 242025 (mem: 238.91 MiB)
11:55:24 allocating polynomials object in proving key... (mem: 238.91 MiB)
11:55:25 [11:55:25.071]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 343.14 MiB)
11:55:25 [11:55:25.083]
INFO:
ivc-integration:test:native bb - time to construct proving key: 196 ms. (mem: 355.14 MiB)
11:55:25 [11:55:25.084]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61427a8530c0 (mem: 355.14 MiB)
11:55:25 computing oink proof... (mem: 355.14 MiB)
11:55:25 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 355.14 MiB)
11:55:25 [11:55:25.287]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 364.14 MiB)
11:55:25 [11:55:25.375]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 364.14 MiB)
11:55:25 [11:55:25.400]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 364.14 MiB)
11:55:25 Constructing DeciderProvingKey (mem: 364.14 MiB)
11:55:25 [11:55:25.403]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 364.14 MiB)
11:55:25 goblin ecc op : 56/1024 (mem: 364.14 MiB)
11:55:25 busread : 12/6000 (mem: 364.14 MiB)
11:55:25 lookups : 2/15000 (mem: 364.14 MiB)
11:55:25 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 364.14 MiB)
11:55:25 [11:55:25.404]
INFO:
ivc-integration:test:native bb - arithmetic : 4676/56000 (mem: 364.14 MiB)
11:55:25 delta range : 2073/18000 (mem: 364.14 MiB)
11:55:25 elliptic : 2/6000 (mem: 364.14 MiB)
11:55:25 auxiliary : 110/26000 (mem: 364.14 MiB)
11:55:25 poseidon ext : 1322/17000 (mem: 364.14 MiB)
11:55:25 poseidon int : 7526/92000 (mem: 364.14 MiB)
11:55:25 overflow : 0/0 (mem: 364.14 MiB)
11:55:25 (mem: 364.14 MiB)
11:55:25 Total structured size: 242025 (mem: 364.14 MiB)
11:55:25 allocating polynomials object in proving key... (mem: 364.14 MiB)
11:55:25 [11:55:25.526]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 571.14 MiB)
11:55:25 [11:55:25.552]
INFO:
ivc-integration:test:native bb - time to construct proving key: 150 ms. (mem: 589.14 MiB)
11:55:25 getting honk vk... precomputed?: 0x61427a86b280 (mem: 589.14 MiB)
11:55:25 computing folding proof (mem: 589.14 MiB)
11:55:25 vkey hash in Oink prover: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa (mem: 589.14 MiB)
11:55:25 [11:55:25.946]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 600.14 MiB)
11:55:26 [11:55:26.031]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 632.14 MiB)
11:55:26 [11:55:26.085]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 664.14 MiB)
11:55:26 [11:55:26.358]
INFO:
ivc-integration:test:native bb - folded (mem: 664.14 MiB)
11:55:26 constructed folding proof (mem: 664.14 MiB)
11:55:26 [11:55:26.627]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa (mem: 664.14 MiB)
11:55:26 [11:55:26.694]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 664.14 MiB)
11:55:26 Constructing DeciderProvingKey (mem: 664.14 MiB)
11:55:26 [11:55:26.696]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 664.14 MiB)
11:55:26 goblin ecc op : 392/1024 (mem: 664.14 MiB)
11:55:26 busread : 3/6000 (mem: 664.14 MiB)
11:55:26 lookups : 2/15000 (mem: 664.14 MiB)
11:55:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 664.14 MiB)
11:55:26 arithmetic : 6912/56000 (mem: 664.14 MiB)
11:55:26 delta range : 2353/18000 (mem: 664.14 MiB)
11:55:26 elliptic : 2/6000 (mem: 664.14 MiB)
11:55:26 auxiliary : 50/26000 (mem: 664.14 MiB)
11:55:26 poseidon ext : 2492/17000 (mem: 664.14 MiB)
11:55:26 poseidon int : 14195/92000 (mem: 664.14 MiB)
11:55:26 overflow : 0/0 (mem: 664.14 MiB)
11:55:26 (mem: 664.14 MiB)
11:55:26 Total structured size: 242025 (mem: 664.14 MiB)
11:55:26 allocating polynomials object in proving key... (mem: 664.14 MiB)
11:55:26 [11:55:26.828]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 664.14 MiB)
11:55:26 [11:55:26.913]
INFO:
ivc-integration:test:native bb - time to construct proving key: 218 ms. (mem: 664.14 MiB)
11:55:26 getting honk vk... precomputed?: 0x61427a854900 (mem: 664.14 MiB)
11:55:26 computing folding proof (mem: 664.14 MiB)
11:55:26 vkey hash in Oink prover: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 664.14 MiB)
11:55:27 [11:55:27.499]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 664.14 MiB)
11:55:27 [11:55:27.596]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 664.14 MiB)
11:55:27 [11:55:27.665]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 672.30 MiB)
11:55:27 [11:55:27.946]
INFO:
ivc-integration:test:native bb - folded (mem: 672.30 MiB)
11:55:27 constructed folding proof (mem: 672.30 MiB)
11:55:28 [11:55:28.106]
INFO:
ivc-integration:test:native bb - Largest circuit: 26009 gates. Trace details: (mem: 672.30 MiB)
11:55:28 Minimum required block sizes for structured trace: (mem: 672.30 MiB)
11:55:28 (mem: 672.30 MiB)
11:55:28 prove decider... (mem: 672.30 MiB)
11:55:28 [11:55:28.108]
INFO:
ivc-integration:test:native bb - ecc_op : 392
11:55:28 busread : 12
11:55:28 lookup : 2
11:55:28 pub_inputs : 36
11:55:28 arithmetic : 6912
11:55:28 delta_range : 2353
11:55:28 elliptic : 2
11:55:28 aux : 110
11:55:28 poseidon2_external : 2492
11:55:28 poseidon2_internal : 14195
11:55:28 overflow : 0
11:55:28 [11:55:28.391]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.30 MiB)
11:55:28 [11:55:28.586]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 672.30 MiB)
11:55:29 [11:55:29.930]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 672.30 MiB)
11:55:30 [11:55:30.028]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 672.30 MiB)
11:55:30 finished decider proving. (mem: 672.30 MiB)
11:55:30 [11:55:30.044]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 672.30 MiB)
11:55:30 [11:55:30.140]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 672.30 MiB)
11:55:30 [11:55:30.144]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
11:55:30 [11:55:30.145]
INFO:
ivc-integration:test:native bb - (mem:
11:55:30 [11:55:30.146]
INFO:
ivc-integration:test:native bb - 672.30 MiB)
11:55:30 [11:55:30.351]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 672.30 MiB)
11:55:30 [11:55:30.465]
INFO:
ivc-integration:test:native bb - time to construct proving key: 323 ms. (mem: 672.30 MiB)
11:55:31 [11:55:31.994]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 672.30 MiB)
11:55:32 [11:55:32.778]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 672.30 MiB)
11:55:33 [11:55:33.148]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.30 MiB)
11:55:34 [11:55:34.691]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 672.30 MiB)
11:55:36 [11:55:36.087]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 672.30 MiB)
11:55:36 [11:55:36.172]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 672.30 MiB)
11:55:36 finished decider proving. (mem: 672.30 MiB)
11:55:36 Constructing a Goblin proof with num ultra ops = 1038 (mem: 672.30 MiB)
11:55:36 [11:55:36.522]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 672.30 MiB)
11:55:36 [11:55:36.967]
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.30 MiB)
11:55:36 [11:55:36.979]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 672.30 MiB)
11:55:39 [11:55:39.471]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.30 MiB)
11:55:42 [11:55:42.072]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 672.30 MiB)
11:55:47 [11:55:47.748]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 672.30 MiB)
11:55:47 prove translator... (mem: 672.30 MiB)
11:55:51 [11:55:51.019]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 705.06 MiB)
11:55:54 [11:55:54.605]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 705.06 MiB)
11:55:58 [11:55:58.821]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 705.06 MiB)
11:55:58 finished translator proving. (mem: 705.06 MiB)
11:55:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 705.06 MiB)
11:55:58 [11:55:58.844]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 705.06 MiB)
11:55:58 libra_evals_verified: 1 (mem: 705.06 MiB)
11:55:58 pairing_check_verified: 1 (mem: 705.06 MiB)
11:55:58 [11:55:58.846]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 705.06 MiB)
11:55:59 [11:55:59.026]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 705.06 MiB)
11:55:59 batch opening verified?: 1 (mem: 705.06 MiB)
11:55:59 eccvm consistency check verified?: 1 (mem: 705.06 MiB)
11:55:59 translation masking consistency checked?: 1 (mem: 705.06 MiB)
11:55:59 [11:55:59.049]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 705.06 MiB)
11:55:59 eccvm verified?: 1 (mem: 705.06 MiB)
11:55:59 accumulator construction_verified?: 1 (mem: 705.06 MiB)
11:55:59 translation verified?: 1 (mem: 705.06 MiB)
11:55:59 consistency verified?: 1 (mem: 705.06 MiB)
11:55:59 Goblin verified: 1 (mem: 705.06 MiB)
11:55:59 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-B27buF" (mem: 705.06 MiB)
11:55:59 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-B27buF" (mem: 705.06 MiB)
11:55:59 BN254 commitment key size: 262144 (mem: 705.06 MiB)
11:55:59 [11:55:59.055]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 705.06 MiB)
11:55:59 [11:55:59.063]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.06 MiB)
11:55:59 goblin ecc op : 4/1024 (mem: 705.06 MiB)
11:55:59 busread : 3/6000 (mem: 705.06 MiB)
11:55:59 lookups : 2/15000 (mem: 705.06 MiB)
11:55:59 pub inputs : 17/5000 (populated in decider pk constructor)
11:55:59 [11:55:59.063]
INFO:
ivc-integration:test:native bb - (mem: 705.06 MiB)
11:55:59 arithmetic : 1773/56000 (mem: 705.06 MiB)
11:55:59 delta range : 1754/18000 (mem: 705.06 MiB)
11:55:59 elliptic : 2/6000 (mem: 705.06 MiB)
11:55:59 auxiliary : 26/26000 (mem: 705.06 MiB)
11:55:59 poseidon ext : 2/17000 (mem: 705.06 MiB)
11:55:59 poseidon int : 2/92000 (mem: 705.06 MiB)
11:55:59 overflow : 0/0 (mem: 705.06 MiB)
11:55:59 (mem: 705.06 MiB)
11:55:59 Total structured size: 242025 (mem: 705.06 MiB)
11:55:59 allocating polynomials object in proving key... (mem: 705.06 MiB)
11:55:59 [11:55:59.394]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 705.06 MiB)
11:55:59 [11:55:59.412]
INFO:
ivc-integration:test:native bb - time to construct proving key: 353 ms. (mem: 705.06 MiB)
11:55:59 getting honk vk... precomputed?: 0 (mem: 705.06 MiB)
11:55:59 [11:55:59.889]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 705.06 MiB)
11:55:59 [11:55:59.890]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
11:55:59 [11:55:59.890]
INFO:
ivc-integration:test:native bb - (mem:
11:55:59 [11:55:59.891]
INFO:
ivc-integration:test:native bb - 705.06
11:55:59 [11:55:59.892]
INFO:
ivc-integration:test:native bb - MiB)
11:56:00 [11:56:00.365]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 705.06 MiB)
11:56:00 [11:56:00.599]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.06 MiB)
11:56:00 [11:56:00.617]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
11:56:00 [11:56:00.618]
INFO:
ivc-integration:test:native bb - (mem:
11:56:00 [11:56:00.618]
INFO:
ivc-integration:test:native bb - 705.06
11:56:00 [11:56:00.619]
INFO:
ivc-integration:test:native bb - MiB)
11:56:00 [11:56:00.619]
INFO:
ivc-integration:test:native bb -
11:56:00 [11:56:00.624]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.06 MiB)
11:56:00 goblin ecc op : 56/1024 (mem: 705.06 MiB)
11:56:00 busread : 3/6000 (mem: 705.06 MiB)
11:56:00 lookups : 2/15000 (mem: 705.06 MiB)
11:56:00 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.06 MiB)
11:56:00 arithmetic : 4532/56000 (mem: 705.06 MiB)
11:56:00 delta range : 2060/18000 (mem: 705.06 MiB)
11:56:00 elliptic : 2/6000 (mem: 705.06 MiB)
11:56:00 auxiliary : 50/26000 (mem: 705.06 MiB)
11:56:00 poseidon ext : 1332/17000 (mem: 705.06 MiB)
11:56:00 poseidon int : 7583/92000 (mem: 705.06 MiB)
11:56:00 overflow : 0/0 (mem: 705.06 MiB)
11:56:00 (mem: 705.06 MiB)
11:56:00 Total structured size: 242025 (mem: 705.06 MiB)
11:56:00 allocating polynomials object in proving key... (mem: 705.06 MiB)
11:56:00 [11:56:00.861]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 705.06 MiB)
11:56:00 [11:56:00.893]
INFO:
ivc-integration:test:native bb - time to construct proving key: 273 ms. (mem: 705.06 MiB)
11:56:00 getting honk vk... precomputed?: 0 (mem: 705.06 MiB)
11:56:01 [11:56:01.757]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 705.06 MiB)
11:56:01 [11:56:01.762]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 705.06 MiB)
11:56:02 [11:56:02.379]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 706.06 MiB)
11:56:02 [11:56:02.546]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 706.06 MiB)
11:56:02 [11:56:02.603]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 738.06 MiB)
11:56:03 [11:56:03.063]
INFO:
ivc-integration:test:native bb - folded (mem: 738.06 MiB)
11:56:03 constructed folding proof (mem: 738.06 MiB)
11:56:03 [11:56:03.245]
INFO:
ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 738.06 MiB)
11:56:03 Minimum required block sizes for structured trace: (mem: 738.06 MiB)
11:56:03 [11:56:03.247]
INFO:
ivc-integration:test:native bb - (mem: 738.06 MiB)
11:56:03 prove decider... (mem: 738.06 MiB)
11:56:03 [11:56:03.247]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:56:03 busread : 3
11:56:03 lookup : 2
11:56:03 pub_inputs : 36
11:56:03 arithmetic : 4532
11:56:03 delta_range : 2060
11:56:03 elliptic : 2
11:56:03 aux : 50
11:56:03 poseidon2_external : 1332
11:56:03 poseidon2_internal : 7583
11:56:03 overflow : 0
11:56:03 [11:56:03.502]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 738.06 MiB)
11:56:03 [11:56:03.672]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 738.06 MiB)
11:56:05 [11:56:05.283]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 738.06 MiB)
11:56:05 [11:56:05.454]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 738.06 MiB)
11:56:05 finished decider proving. (mem: 738.06 MiB)
11:56:05 [11:56:05.461]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 738.06 MiB)
11:56:05 [11:56:05.576]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 738.06 MiB)
11:56:05 [11:56:05.582]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 738.06 MiB)
11:56:05 [11:56:05.850]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 738.06 MiB)
11:56:05 [11:56:05.918]
INFO:
ivc-integration:test:native bb - time to construct proving key: 340 ms. (mem: 738.06 MiB)
11:56:06 [11:56:06.715]
INFO:
ivc-integration:test:native BB concurrency: 1
11:56:06 [11:56:06.716]
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-B27buF/proof -k /tmp/bb-client-ivc-integration-B27buF/vk -v
11:56:06 [11:56:06.748]
INFO:
ivc-integration:test:native bb command: verify (mem: 239.45 MiB)
11:56:06 [11:56:06.750]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 1 (mem: 239.45 MiB)
11:56:06 --proof_path: /tmp/bb-client-ivc-integration-B27buF/proof (mem: 239.45 MiB)
11:56:06 --vk_path: /tmp/bb-client-ivc-integration-B27buF/vk (mem: 239.45 MiB)
11:56:06 --verbose: true (mem: 239.45 MiB)
11:56:06 --scheme: client_ivc (mem: 239.45 MiB)
11:56:06 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 239.45 MiB)
11:56:06 [11:56:06.771]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 239.45 MiB)
11:56:06 vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 239.45 MiB)
11:56:06 [11:56:06.799]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 239.45 MiB)
11:56:06 [11:56:06.803]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 239.45 MiB)
11:56:06 sumcheck_verified: 1 (mem: 239.45 MiB)
11:56:06 libra_evals_verified: 1 (mem: 239.45 MiB)
11:56:06 pairing_check_verified: 1 (mem: 239.45 MiB)
11:56:06 Mega verified: 1 (mem: 239.45 MiB)
11:56:07 [11:56:07.252]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 239.45 MiB)
11:56:07 batch opening verified?: 1 (mem: 239.45 MiB)
11:56:07 eccvm consistency check verified?: 1 (mem: 239.45 MiB)
11:56:07 translation masking consistency checked?: 1 (mem: 239.45 MiB)
11:56:07 [11:56:07.270]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 239.45 MiB)
11:56:07 eccvm verified?: 1 (mem: 239.45 MiB)
11:56:07 accumulator construction_verified?: 1 (mem: 239.45 MiB)
11:56:07 translation verified?: 1 (mem: 239.45 MiB)
11:56:07 consistency verified?: 1 (mem: 239.45 MiB)
11:56:07 Goblin verified: 1 (mem: 239.45 MiB)
11:56:07 verified: 1 (mem: 239.45 MiB)
11:56:07 [11:56:07.405]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-6YaQiq/ivc-inputs.msgpack
11:56:07 [11:56:07.406]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
11:56:07 [11:56:07.407]
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-6YaQiq --ivc_inputs_path /tmp/bb-client-ivc-integration-6YaQiq/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:56:07 [11:56:07.443]
INFO:
ivc-integration:test:native bb - bb command: prove
11:56:07 [11:56:07.445]
INFO:
ivc-integration:test:native bb - (mem: 240.28 MiB)
11:56:07 Scheme is: client_ivc, num threads: 128 (mem: 240.28 MiB)
11:56:07 --scheme: client_ivc (mem: 240.28 MiB)
11:56:07 --output_path: /tmp/bb-client-ivc-integration-6YaQiq (mem: 240.28 MiB)
11:56:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-6YaQiq/ivc-inputs.msgpack (mem: 240.28 MiB)
11:56:07 --verbose: true (mem: 240.28 MiB)
11:56:07 --write_vk: true (mem: 240.28 MiB)
11:56:07 [11:56:07.449]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144
11:56:07 [11:56:07.450]
INFO:
ivc-integration:test:native bb - (mem: 240.28 MiB)
11:56:07 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.28 MiB)
11:56:07 [11:56:07.520]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 240.28 MiB)
11:56:07 [11:56:07.521]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 240.28 MiB)
11:56:07 Constructing DeciderProvingKey (mem: 240.28 MiB)
11:56:07 [11:56:07.524]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 240.28 MiB)
11:56:07 goblin ecc op : 4/1024 (mem: 240.28 MiB)
11:56:07 busread : 7/6000 (mem: 240.28 MiB)
11:56:07 lookups : 2/15000
11:56:07 [11:56:07.526]
INFO:
ivc-integration:test:native bb - (mem: 240.28 MiB)
11:56:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 240.28 MiB)
11:56:07 arithmetic : 1760/56000 (mem: 240.28 MiB)
11:56:07 delta range : 1754/18000 (mem: 240.28 MiB)
11:56:07 elliptic : 2/6000 (mem: 240.28 MiB)
11:56:07 auxiliary : 26/26000 (mem: 240.28 MiB)
11:56:07 poseidon ext : 2/17000 (mem: 240.28 MiB)
11:56:07 poseidon int : 2/92000 (mem: 240.28 MiB)
11:56:07 overflow : 0/0 (mem: 240.28 MiB)
11:56:07 (mem: 240.28 MiB)
11:56:07 Total structured size: 242025 (mem: 240.28 MiB)
11:56:07 allocating polynomials object in proving key... (mem: 240.28 MiB)
11:56:07 [11:56:07.768]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 349.61 MiB)
11:56:07 [11:56:07.786]
INFO:
ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 362.61 MiB)
11:56:07 getting honk vk... precomputed?: 0x5b67d66ecec0 (mem: 362.61 MiB)
11:56:07 [11:56:07.788]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 362.61 MiB)
11:56:07 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 362.61 MiB)
11:56:08 [11:56:08.107]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 373.61 MiB)
11:56:08 [11:56:08.276]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 373.61 MiB)
11:56:08 [11:56:08.285]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 373.61 MiB)
11:56:08 Constructing DeciderProvingKey (mem: 373.61 MiB)
11:56:08 [11:56:08.287]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 373.61 MiB)
11:56:08 goblin ecc op : 56/1024 (mem: 373.61 MiB)
11:56:08 busread : 12/6000 (mem: 373.61 MiB)
11:56:08 lookups : 2/15000 (mem: 373.61 MiB)
11:56:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 373.61 MiB)
11:56:08 arithmetic : 4676/56000 (mem: 373.61 MiB)
11:56:08 delta range : 2073/18000 (mem: 373.61 MiB)
11:56:08 elliptic : 2/6000 (mem: 373.61 MiB)
11:56:08 auxiliary : 110/26000 (mem: 373.61 MiB)
11:56:08 [11:56:08.288]
INFO:
ivc-integration:test:native bb - poseidon ext : 1322/17000 (mem: 373.61 MiB)
11:56:08 poseidon int : 7526/92000 (mem: 373.61 MiB)
11:56:08 overflow : 0/0 (mem: 373.61 MiB)
11:56:08 (mem: 373.61 MiB)
11:56:08 Total structured size: 242025 (mem: 373.61 MiB)
11:56:08 allocating polynomials object in proving key... (mem: 373.61 MiB)
11:56:08 [11:56:08.390]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 580.61 MiB)
11:56:08 [11:56:08.412]
INFO:
ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 591.61 MiB)
11:56:08 getting honk vk... precomputed?: 0x5b67d66f6140 (mem: 591.61 MiB)
11:56:08 computing folding proof (mem: 591.61 MiB)
11:56:08 [11:56:08.413]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa (mem: 591.61 MiB)
11:56:08 [11:56:08.881]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 596.61 MiB)
11:56:08 [11:56:08.992]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 629.61 MiB)
11:56:09 [11:56:09.050]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 661.61 MiB)
11:56:09 [11:56:09.248]
INFO:
ivc-integration:test:native bb - folded (mem: 661.61 MiB)
11:56:09 constructed folding proof (mem: 661.61 MiB)
11:56:09 [11:56:09.326]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 661.61 MiB)
11:56:09 Constructing DeciderProvingKey (mem: 661.61 MiB)
11:56:09 [11:56:09.330]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.61 MiB)
11:56:09 goblin ecc op : 4/1024 (mem: 661.61 MiB)
11:56:09 busread : 7/6000 (mem: 661.61 MiB)
11:56:09 lookups : 2/15000 (mem: 661.61 MiB)
11:56:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 661.61 MiB)
11:56:09 arithmetic : 1760/56000 (mem: 661.61 MiB)
11:56:09 delta range : 1754/18000 (mem: 661.61 MiB)
11:56:09 elliptic : 2/6000 (mem: 661.61 MiB)
11:56:09 auxiliary : 26/26000 (mem: 661.61 MiB)
11:56:09 poseidon ext : 2/17000 (mem: 661.61 MiB)
11:56:09 poseidon int : 2/92000 (mem: 661.61 MiB)
11:56:09 overflow : 0/0 (mem: 661.61 MiB)
11:56:09 (mem: 661.61 MiB)
11:56:09 Total structured size: 242025 (mem: 661.61 MiB)
11:56:09 allocating polynomials object in proving key... (mem: 661.61 MiB)
11:56:09 [11:56:09.378]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 661.61 MiB)
11:56:09 [11:56:09.389]
INFO:
ivc-integration:test:native bb - time to construct proving key: 62 ms. (mem: 661.61 MiB)
11:56:09 getting honk vk... precomputed?: 0x5b67d66f4380 (mem: 661.61 MiB)
11:56:09 computing folding proof (mem: 661.61 MiB)
11:56:09 [11:56:09.390]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 661.61 MiB)
11:56:09 [11:56:09.541]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.61 MiB)
11:56:09 [11:56:09.620]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 661.61 MiB)
11:56:09 [11:56:09.662]
INFO:
ivc-integration:test:native bb - combiner quotient round
11:56:09 [11:56:09.663]
INFO:
ivc-integration:test:native bb - (mem: 661.61 MiB)
11:56:09 [11:56:09.814]
INFO:
ivc-integration:test:native bb - folded (mem: 661.61 MiB)
11:56:09 constructed folding proof (mem: 661.61 MiB)
11:56:09 [11:56:09.909]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa (mem: 661.61 MiB)
11:56:09 [11:56:09.992]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 661.61 MiB)
11:56:10 [11:56:10.056]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 661.61 MiB)
11:56:10 Constructing DeciderProvingKey (mem: 661.61 MiB)
11:56:10 [11:56:10.061]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.61 MiB)
11:56:10 goblin ecc op : 792/1024 (mem: 661.61 MiB)
11:56:10 busread : 12/6000
11:56:10 [11:56:10.062]
INFO:
ivc-integration:test:native bb - (mem: 661.61 MiB)
11:56:10 lookups : 2/15000 (mem: 661.61 MiB)
11:56:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 661.61 MiB)
11:56:10 arithmetic : 12206/56000 (mem: 661.61 MiB)
11:56:10 delta range : 2981/18000 (mem: 661.61 MiB)
11:56:10 elliptic : 2/6000 (mem: 661.61 MiB)
11:56:10 auxiliary : 350/26000 (mem: 661.61 MiB)
11:56:10 poseidon ext : 4982/17000 (mem: 661.61 MiB)
11:56:10 poseidon int : 28388/92000 (mem: 661.61 MiB)
11:56:10 overflow : 0/0 (mem: 661.61 MiB)
11:56:10 (mem: 661.61 MiB)
11:56:10 Total structured size: 242025 (mem: 661.61 MiB)
11:56:10 allocating polynomials object in proving key... (mem: 661.61 MiB)
11:56:10 [11:56:10.107]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 661.61 MiB)
11:56:10 [11:56:10.157]
INFO:
ivc-integration:test:native bb - time to construct proving key: 101 ms. (mem: 661.61 MiB)
11:56:10 [11:56:10.158]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5b67d66e6080 (mem: 661.61 MiB)
11:56:10 computing folding proof (mem: 661.61 MiB)
11:56:10 vkey hash in Oink prover: 0x0000000000000000000000000000000026e8a8fcb1d0d801bc6df5682519fd09 (mem: 661.61 MiB)
11:56:10 [11:56:10.514]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.61 MiB)
11:56:10 [11:56:10.587]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 677.45 MiB)
11:56:10 [11:56:10.663]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 709.45 MiB)
11:56:10 [11:56:10.907]
INFO:
ivc-integration:test:native bb - folded (mem: 709.45 MiB)
11:56:10 constructed folding proof (mem: 709.45 MiB)
11:56:11 [11:56:11.122]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000026e8a8fcb1d0d801bc6df5682519fd09 (mem: 709.45 MiB)
11:56:11 [11:56:11.183]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 709.45 MiB)
11:56:11 Constructing DeciderProvingKey (mem: 709.45 MiB)
11:56:11 [11:56:11.185]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 709.45 MiB)
11:56:11 goblin ecc op : 392/1024 (mem: 709.45 MiB)
11:56:11 busread : 16/6000 (mem: 709.45 MiB)
11:56:11 lookups : 2/15000 (mem: 709.45 MiB)
11:56:11 [11:56:11.186]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 709.45 MiB)
11:56:11 arithmetic : 6977/56000 (mem: 709.45 MiB)
11:56:11 delta range : 2367/18000 (mem: 709.45 MiB)
11:56:11 elliptic : 2/6000 (mem: 709.45 MiB)
11:56:11 auxiliary : 77/26000 (mem: 709.45 MiB)
11:56:11 poseidon ext : 2492/17000 (mem: 709.45 MiB)
11:56:11 poseidon int : 14195/92000 (mem: 709.45 MiB)
11:56:11 overflow : 0/0 (mem: 709.45 MiB)
11:56:11 (mem: 709.45 MiB)
11:56:11 Total structured size: 242025 (mem: 709.45 MiB)
11:56:11 allocating polynomials object in proving key... (mem: 709.45 MiB)
11:56:11 [11:56:11.254]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 709.45 MiB)
11:56:11 [11:56:11.282]
INFO:
ivc-integration:test:native bb - time to construct proving key: 100 ms. (mem: 709.45 MiB)
11:56:11 getting honk vk... precomputed?: 0x5b67d66fbb40 (mem: 709.45 MiB)
11:56:11 computing folding proof (mem: 709.45 MiB)
11:56:11 [11:56:11.283]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000017d71b4fa03328693c500a00b4c6eec2 (mem: 709.45 MiB)
11:56:11 [11:56:11.702]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 709.45 MiB)
11:56:11 [11:56:11.827]
INFO:
ivc-integration:test:native bb - perturbator round
11:56:11 [11:56:11.828]
INFO:
ivc-integration:test:native bb - (mem: 709.45 MiB)
11:56:11 [11:56:11.886]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 711.05 MiB)
11:56:12 [11:56:12.119]
INFO:
ivc-integration:test:native bb - folded (mem: 711.05 MiB)
11:56:12 constructed folding proof (mem: 711.05 MiB)
11:56:12 [11:56:12.280]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000017d71b4fa03328693c500a00b4c6eec2 (mem: 711.05 MiB)
11:56:12 [11:56:12.351]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 711.05 MiB)
11:56:12 Constructing DeciderProvingKey (mem: 711.05 MiB)
11:56:12 [11:56:12.356]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 711.05 MiB)
11:56:12 goblin ecc op : 392/1024 (mem: 711.05 MiB)
11:56:12 busread : 3/6000 (mem: 711.05 MiB)
11:56:12 lookups : 2/15000 (mem: 711.05 MiB)
11:56:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 711.05 MiB)
11:56:12 arithmetic : 6912/56000 (mem: 711.05 MiB)
11:56:12 delta range : 2353/18000 (mem: 711.05 MiB)
11:56:12 elliptic : 2/6000 (mem: 711.05 MiB)
11:56:12 auxiliary : 50/26000 (mem: 711.05 MiB)
11:56:12 poseidon ext : 2492/17000 (mem: 711.05 MiB)
11:56:12 poseidon int : 14195/92000 (mem: 711.05 MiB)
11:56:12 overflow : 0/0 (mem: 711.05 MiB)
11:56:12 (mem: 711.05 MiB)
11:56:12 Total structured size: 242025 (mem: 711.05 MiB)
11:56:12 allocating polynomials object in proving key... (mem: 711.05 MiB)
11:56:12 [11:56:12.429]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 711.05 MiB)
11:56:12 [11:56:12.452]
INFO:
ivc-integration:test:native bb - time to construct proving key: 102 ms. (mem: 711.05 MiB)
11:56:12 getting honk vk... precomputed?: 0x5b67d66e6dc0 (mem: 711.05 MiB)
11:56:12 computing folding proof (mem: 711.05 MiB)
11:56:12 [11:56:12.452]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 711.05 MiB)
11:56:12 [11:56:12.642]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 711.05 MiB)
11:56:12 [11:56:12.705]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 711.05 MiB)
11:56:12 [11:56:12.754]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 711.30 MiB)
11:56:12 [11:56:12.848]
INFO:
ivc-integration:test:native bb - folded (mem: 711.30 MiB)
11:56:12 constructed folding proof
11:56:12 [11:56:12.849]
INFO:
ivc-integration:test:native bb - (mem: 711.30 MiB)
11:56:12 [11:56:12.934]
INFO:
ivc-integration:test:native bb - Largest circuit: 48923 gates. Trace details: (mem: 711.30 MiB)
11:56:12 [11:56:12.935]
INFO:
ivc-integration:test:native bb - Minimum required block sizes for structured trace: (mem: 711.30 MiB)
11:56:12 (mem: 711.30 MiB)
11:56:12 prove decider... (mem: 711.30 MiB)
11:56:12 [11:56:12.935]
INFO:
ivc-integration:test:native bb - ecc_op : 792
11:56:12 busread : 16
11:56:12 lookup : 2
11:56:12 pub_inputs : 36
11:56:12 arithmetic : 12206
11:56:12 delta_range : 2981
11:56:12 elliptic : 2
11:56:12 aux : 350
11:56:12 poseidon2_external : 4982
11:56:12 poseidon2_internal : 28388
11:56:12 overflow : 0
11:56:13 [11:56:13.039]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.30 MiB)
11:56:13 [11:56:13.111]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 711.30 MiB)
11:56:13 [11:56:13.811]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.30 MiB)
11:56:13 [11:56:13.909]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 711.30 MiB)
11:56:13 finished decider proving. (mem: 711.30 MiB)
11:56:13 [11:56:13.919]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 711.30 MiB)
11:56:14 [11:56:14.007]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 711.30 MiB)
11:56:14 [11:56:14.012]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 711.30 MiB)
11:56:14 [11:56:14.090]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 711.30 MiB)
11:56:14 [11:56:14.125]
INFO:
ivc-integration:test:native bb - time to construct proving key: 116 ms. (mem: 711.30 MiB)
11:56:14 [11:56:14.570]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 711.30 MiB)
11:56:14 [11:56:14.768]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 711.30 MiB)
11:56:14 [11:56:14.895]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.30 MiB)
11:56:15 [11:56:15.349]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.30 MiB)
11:56:15 [11:56:15.809]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.30 MiB)
11:56:15 [11:56:15.863]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 711.30 MiB)
11:56:15 finished decider proving. (mem: 711.30 MiB)
11:56:15 Constructing a Goblin proof with num ultra ops = 2226 (mem: 711.30 MiB)
11:56:15 [11:56:15.949]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 711.30 MiB)
11:56:16 [11:56:16.225]
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: 711.30 MiB)
11:56:16 [11:56:16.235]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 711.30 MiB)
11:56:17 [11:56:17.461]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.30 MiB)
11:56:18 [11:56:18.709]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck
11:56:18 [11:56:18.709]
INFO:
ivc-integration:test:native bb - (mem: 711.30 MiB)
11:56:24 [11:56:24.544]
INFO:
ivc-integration:test:native bb - finished eccvm proving.
11:56:24 [11:56:24.545]
INFO:
ivc-integration:test:native bb - (mem:
11:56:24 [11:56:24.549]
INFO:
ivc-integration:test:native bb - 711.30 MiB)
11:56:24 prove translator... (mem: 711.30 MiB)
11:56:26 [11:56:26.942]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 730.16 MiB)
11:56:29 [11:56:29.302]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 730.16 MiB)
11:56:30 [11:56:30.509]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 730.16 MiB)
11:56:30 [11:56:30.510]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 730.16 MiB)
11:56:30 [11:56:30.520]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 730.16 MiB)
11:56:30 [11:56:30.636]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 730.16 MiB)
11:56:30 libra_evals_verified: 1 (mem: 730.16 MiB)
11:56:30 pairing_check_verified: 1 (mem: 730.16 MiB)
11:56:30 Mega verified: 1 (mem: 730.16 MiB)
11:56:30 [11:56:30.964]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 730.16 MiB)
11:56:30 batch opening verified?: 1 (mem: 730.16 MiB)
11:56:30 eccvm consistency check verified?: 1 (mem: 730.16 MiB)
11:56:30 translation masking consistency checked?: 1 (mem: 730.16 MiB)
11:56:31 [11:56:31.061]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 730.16 MiB)
11:56:31 eccvm verified?: 1 (mem: 730.16 MiB)
11:56:31 accumulator construction_verified?: 1 (mem: 730.16 MiB)
11:56:31 translation verified?: 1 (mem: 730.16 MiB)
11:56:31 consistency verified?: 1 (mem: 730.16 MiB)
11:56:31 Goblin verified: 1 (mem: 730.16 MiB)
11:56:31 [11:56:31.066]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-6YaQiq" (mem: 730.16 MiB)
11:56:31 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-6YaQiq" (mem: 730.16 MiB)
11:56:31 BN254 commitment key size: 262144 (mem: 730.16 MiB)
11:56:31 [11:56:31.077]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 730.16 MiB)
11:56:31 [11:56:31.080]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 730.16 MiB)
11:56:31 goblin ecc op : 4/1024 (mem: 730.16 MiB)
11:56:31 [11:56:31.082]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 730.16 MiB)
11:56:31 lookups : 2/15000 (mem: 730.16 MiB)
11:56:31 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 730.16 MiB)
11:56:31 arithmetic : 1773/56000 (mem: 730.16 MiB)
11:56:31 delta range : 1754/18000 (mem: 730.16 MiB)
11:56:31 elliptic : 2/6000 (mem: 730.16 MiB)
11:56:31 auxiliary : 26/26000 (mem: 730.16 MiB)
11:56:31 poseidon ext : 2/17000 (mem: 730.16 MiB)
11:56:31 poseidon int : 2/92000 (mem: 730.16 MiB)
11:56:31 overflow : 0/0 (mem: 730.16 MiB)
11:56:31 (mem: 730.16 MiB)
11:56:31 Total structured size: 242025 (mem: 730.16 MiB)
11:56:31 allocating polynomials object in proving key... (mem: 730.16 MiB)
11:56:31 [11:56:31.260]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.16 MiB)
11:56:31 [11:56:31.288]
INFO:
ivc-integration:test:native bb - time to construct proving key: 214 ms. (mem: 730.16 MiB)
11:56:31 getting honk vk... precomputed?: 0 (mem: 730.16 MiB)
11:56:31 [11:56:31.478]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 731.16 MiB)
11:56:31 [11:56:31.479]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 731.16 MiB)
11:56:31 [11:56:31.613]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 731.16 MiB)
11:56:31 [11:56:31.745]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 731.16 MiB)
11:56:31 [11:56:31.760]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 731.16 MiB)
11:56:31 [11:56:31.763]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 731.16 MiB)
11:56:31 goblin ecc op : 56/1024 (mem: 731.16 MiB)
11:56:31 busread : 3/6000 (mem:
11:56:31 [11:56:31.764]
INFO:
ivc-integration:test:native bb - 731.16 MiB)
11:56:31 lookups : 2/15000 (mem: 731.16 MiB)
11:56:31 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 731.16 MiB)
11:56:31 arithmetic : 4532/56000 (mem: 731.16 MiB)
11:56:31 delta range : 2060/18000 (mem: 731.16 MiB)
11:56:31 elliptic : 2/6000 (mem: 731.16 MiB)
11:56:31 auxiliary : 50/26000 (mem: 731.16 MiB)
11:56:31 poseidon ext : 1332/17000 (mem: 731.16 MiB)
11:56:31 poseidon int : 7583/92000 (mem: 731.16 MiB)
11:56:31 overflow : 0/0 (mem: 731.16 MiB)
11:56:31 (mem: 731.16 MiB)
11:56:31 Total structured size: 242025 (mem: 731.16 MiB)
11:56:31 allocating polynomials object in proving key... (mem: 731.16 MiB)
11:56:32 [11:56:32.032]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 731.16 MiB)
11:56:32 [11:56:32.193]
INFO:
ivc-integration:test:native bb - time to construct proving key: 421 ms. (mem: 731.16 MiB)
11:56:32 [11:56:32.194]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 731.16 MiB)
11:56:32 [11:56:32.745]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 731.16 MiB)
11:56:32 [11:56:32.746]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 731.16 MiB)
11:56:33 [11:56:33.105]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
11:56:33 [11:56:33.106]
INFO:
ivc-integration:test:native bb - (mem: 731.16 MiB)
11:56:33 [11:56:33.232]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 731.16 MiB)
11:56:33 [11:56:33.282]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 763.16 MiB)
11:56:33 [11:56:33.545]
INFO:
ivc-integration:test:native bb - folded (mem: 763.16 MiB)
11:56:33 constructed folding proof (mem: 763.16 MiB)
11:56:33 [11:56:33.677]
INFO:
ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 763.16 MiB)
11:56:33 Minimum required block sizes for structured trace: (mem: 763.16 MiB)
11:56:33 (mem: 763.16 MiB)
11:56:33 prove decider... (mem: 763.16 MiB)
11:56:33 [11:56:33.678]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:56:33 busread : 3
11:56:33 lookup : 2
11:56:33 pub_inputs : 36
11:56:33 arithmetic : 4532
11:56:33 delta_range : 2060
11:56:33 elliptic : 2
11:56:33 aux : 50
11:56:33 poseidon2_external : 1332
11:56:33 poseidon2_internal : 7583
11:56:33 overflow : 0
11:56:33 [11:56:33.841]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 763.16 MiB)
11:56:33 [11:56:33.969]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 763.16 MiB)
11:56:34 [11:56:34.748]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 763.16 MiB)
11:56:34 [11:56:34.842]
INFO:
ivc-integration:test:native bb - computed opening proof
11:56:34 [11:56:34.845]
INFO:
ivc-integration:test:native bb - (mem: 763.16 MiB)
11:56:34 finished decider proving. (mem: 763.16 MiB)
11:56:34 [11:56:34.852]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 763.16 MiB)
11:56:34 [11:56:34.953]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 763.16 MiB)
11:56:34 [11:56:34.958]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
11:56:34 [11:56:34.960]
INFO:
ivc-integration:test:native bb - (mem:
11:56:34 [11:56:34.961]
INFO:
ivc-integration:test:native bb - 763.16 MiB)
11:56:35 [11:56:35.080]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 763.16 MiB)
11:56:35 [11:56:35.108]
INFO:
ivc-integration:test:native bb - time to construct proving key: 155 ms. (mem: 763.16 MiB)
11:56:35 [11:56:35.521]
INFO:
ivc-integration:test:native BB concurrency: 1
11:56:35 [11:56:35.522]
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-6YaQiq/proof -k /tmp/bb-client-ivc-integration-6YaQiq/vk -v
11:56:35 [11:56:35.547]
INFO:
ivc-integration:test:native bb command: verify (mem: 244.06 MiB)
11:56:35 [11:56:35.548]
INFO:
ivc-integration:test:native
11:56:35 Scheme is: client_ivc, num threads: 1 (mem: 244.06 MiB)
11:56:35 --proof_path: /tmp/bb-client-ivc-integration-6YaQiq/proof (mem: 244.06 MiB)
11:56:35 --vk_path: /tmp/bb-client-ivc-integration-6YaQiq/vk (mem: 244.06 MiB)
11:56:35 --verbose: true (mem: 244.06 MiB)
11:56:35 --scheme: client_ivc (mem: 244.06 MiB)
11:56:35 [11:56:35.548]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 244.06 MiB)
11:56:35 [11:56:35.563]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 244.06 MiB)
11:56:35 [11:56:35.564]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 244.06 MiB)
11:56:35 [11:56:35.578]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 244.06 MiB)
11:56:35 [11:56:35.579]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 244.06 MiB)
11:56:35 [11:56:35.581]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 244.06 MiB)
11:56:35 libra_evals_verified: 1 (mem: 244.06 MiB)
11:56:35 pairing_check_verified: 1 (mem: 244.06 MiB)
11:56:35 Mega verified: 1 (mem: 244.06 MiB)
11:56:36 [11:56:36.010]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 244.06 MiB)
11:56:36 batch opening verified?: 1 (mem: 244.06 MiB)
11:56:36 eccvm consistency check verified?: 1 (mem: 244.06 MiB)
11:56:36 translation masking consistency checked?: 1 (mem: 244.06 MiB)
11:56:36 [11:56:36.030]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 244.06 MiB)
11:56:36 eccvm verified?: 1 (mem: 244.06 MiB)
11:56:36 accumulator construction_verified?: 1 (mem:
11:56:36 [11:56:36.033]
INFO:
ivc-integration:test:native 244.06 MiB)
11:56:36 translation verified?: 1 (mem: 244.06 MiB)
11:56:36 consistency verified?: 1 (mem: 244.06 MiB)
11:56:36 Goblin verified: 1 (mem: 244.06 MiB)
11:56:36 verified: 1 (mem: 244.06 MiB)
11:56:36
PASS src/native_client_ivc_integration.test.ts (
75.198 s)
11:56:36 Client IVC Integration
11:56:36
✓ Should generate a verifiable client IVC proof from a simple mock tx (42836 ms)
11:56:36
✓ Should generate a verifiable client IVC proof from a complex mock tx (28758 ms)
11:56:36
11:56:36
Test Suites: 1 passed, 1 total
11:56:36
Tests: 2 passed, 2 total
11:56:36
Snapshots: 0 total
11:56:36
Time: 75.289 s
11:56:36
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
11:56:36
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?