Parent Log:
http://ci.aztec-labs.com/c9b88c5eb30a270d
Command: f2016651899c5161: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/832c9f298cdc0c0098b9ffb3f9e8b69de37f2b14
Env: REF_NAME=gh-readonly-queue/next/pr-15169-227fd751f8d3e07a96e4c1564665f0676f8222af CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 11:59:47 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15169_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
11:59:51 [11:59:51.462]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-mEoMlT/ivc-inputs.msgpack
11:59:51 [11:59:51.468]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
11:59:51 [11:59:51.469]
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-mEoMlT --ivc_inputs_path /tmp/bb-client-ivc-integration-mEoMlT/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:59:51 [11:59:51.485]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.78 MiB)
11:59:51 [11:59:51.486]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 181.78 MiB)
11:59:51 --scheme: client_ivc (mem: 181.78 MiB)
11:59:51 --output_path: /tmp/bb-client-ivc-integration-mEoMlT (mem: 181.78 MiB)
11:59:51 --ivc_inputs_path: /tmp/bb-client-ivc-integration-mEoMlT/ivc-inputs.msgpack (mem: 181.78 MiB)
11:59:51 --verbose: true (mem: 181.78 MiB)
11:59:51 --write_vk: true (mem: 181.78 MiB)
11:59:51 BN254 commitment key size: 262144 (mem: 181.78 MiB)
11:59:51 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.78 MiB)
11:59:51 [11:59:51.540]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 181.78 MiB)
11:59:51 [11:59:51.543]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0
11:59:51 [11:59:51.543]
INFO:
ivc-integration:test:native bb - (mem: 181.78 MiB)
11:59:51 Constructing DeciderProvingKey (mem: 181.78 MiB)
11:59:51 [11:59:51.550]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 181.78 MiB)
11:59:51 goblin ecc op : 4/1024 (mem: 181.78 MiB)
11:59:51 busread : 7/6000 (mem: 181.78 MiB)
11:59:51 lookups : 2/15000 (mem: 181.78 MiB)
11:59:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 181.78 MiB)
11:59:51 arithmetic : 1760/56000 (mem: 181.78 MiB)
11:59:51 delta range : 1754/18000 (mem: 181.78 MiB)
11:59:51 elliptic : 2/6000 (mem: 181.78 MiB)
11:59:51 auxiliary : 26/26000 (mem: 181.78 MiB)
11:59:51 poseidon ext : 2/17000 (mem: 181.78 MiB)
11:59:51 poseidon int : 2/92000 (mem: 181.78 MiB)
11:59:51 overflow : 0/0 (mem: 181.78 MiB)
11:59:51 (mem: 181.78 MiB)
11:59:51 Total structured size: 242025 (mem: 181.78 MiB)
11:59:51 allocating polynomials object in proving key... (mem: 181.78 MiB)
11:59:51 [11:59:51.737]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 339.13 MiB)
11:59:51 [11:59:51.756]
INFO:
ivc-integration:test:native bb - time to construct proving key: 212 ms. (mem: 353.13 MiB)
11:59:51 [11:59:51.834]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a779f9ed200 (mem: 353.13 MiB)
11:59:51 computing oink proof... (mem: 353.13 MiB)
11:59:51 [11:59:51.836]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 353.13 MiB)
11:59:52 [11:59:52.097]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 365.13 MiB)
11:59:52 [11:59:52.106]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 365.13 MiB)
11:59:52 [11:59:52.123]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 365.13 MiB)
11:59:52 Constructing DeciderProvingKey (mem: 365.13 MiB)
11:59:52 [11:59:52.128]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 365.13 MiB)
11:59:52 goblin ecc op : 56/1024 (mem: 365.13 MiB)
11:59:52 busread : 12/6000 (mem: 365.13 MiB)
11:59:52 lookups : 2/15000 (mem: 365.13 MiB)
11:59:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 365.13 MiB)
11:59:52 arithmetic : 4677/56000 (mem: 365.13 MiB)
11:59:52 delta range : 2073/18000 (mem: 365.13 MiB)
11:59:52 elliptic : 2/6000 (mem: 365.13 MiB)
11:59:52 auxiliary : 110/26000 (mem: 365.13 MiB)
11:59:52 poseidon ext : 1322/17000 (mem: 365.13 MiB)
11:59:52 poseidon int : 7526/92000 (mem: 365.13 MiB)
11:59:52 overflow : 0/0 (mem: 365.13 MiB)
11:59:52 (mem: 365.13 MiB)
11:59:52 Total structured size: 242025 (mem: 365.13 MiB)
11:59:52 allocating polynomials object in proving key... (mem: 365.13 MiB)
11:59:52 [11:59:52.244]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 567.13 MiB)
11:59:52 [11:59:52.264]
INFO:
ivc-integration:test:native bb - time to construct proving key: 141 ms. (mem: 580.13 MiB)
11:59:52 [11:59:52.430]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a779f9f9e40 (mem: 580.13 MiB)
11:59:52 computing folding proof (mem: 580.13 MiB)
11:59:52 vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 580.13 MiB)
11:59:52 [11:59:52.797]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 584.13 MiB)
11:59:52 [11:59:52.882]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 622.13 MiB)
11:59:52 [11:59:52.931]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 656.13 MiB)
11:59:53 [11:59:53.237]
INFO:
ivc-integration:test:native bb - folded (mem: 656.13 MiB)
11:59:53 constructed folding proof (mem: 656.13 MiB)
11:59:53 [11:59:53.258]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 656.13 MiB)
11:59:53 [11:59:53.324]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 656.13 MiB)
11:59:53 Constructing DeciderProvingKey (mem: 656.13 MiB)
11:59:53 [11:59:53.328]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 656.13 MiB)
11:59:53 goblin ecc op : 392/1024 (mem: 656.13 MiB)
11:59:53 busread : 3/6000 (mem: 656.13 MiB)
11:59:53 lookups : 2/15000 (mem: 656.13 MiB)
11:59:53 [11:59:53.329]
INFO:
ivc-integration:test:native bb -
11:59:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 656.13 MiB)
11:59:53 arithmetic : 6913/56000 (mem: 656.13 MiB)
11:59:53 delta range : 2353/18000 (mem: 656.13 MiB)
11:59:53 elliptic : 2/6000 (mem: 656.13 MiB)
11:59:53 auxiliary : 50/26000 (mem: 656.13 MiB)
11:59:53 poseidon ext : 2492/17000 (mem: 656.13 MiB)
11:59:53 poseidon int : 14195/92000 (mem: 656.13 MiB)
11:59:53 overflow : 0/0 (mem: 656.13 MiB)
11:59:53 (mem: 656.13 MiB)
11:59:53 Total structured size: 242025 (mem: 656.13 MiB)
11:59:53 allocating polynomials object in proving key... (mem: 656.13 MiB)
11:59:53 [11:59:53.560]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 656.13 MiB)
11:59:53 [11:59:53.629]
INFO:
ivc-integration:test:native bb - time to construct proving key: 304 ms. (mem: 656.13 MiB)
11:59:53 [11:59:53.938]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a779f9ef5c0 (mem: 656.13 MiB)
11:59:53 computing folding proof (mem: 656.13 MiB)
11:59:53 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 656.13 MiB)
11:59:54 [11:59:54.496]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 656.13 MiB)
11:59:54 [11:59:54.588]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 656.13 MiB)
11:59:54 [11:59:54.663]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 668.31 MiB)
11:59:55 [11:59:55.068]
INFO:
ivc-integration:test:native bb - folded (mem: 668.31 MiB)
11:59:55 constructed folding proof (mem: 668.31 MiB)
11:59:55 [11:59:55.069]
INFO:
ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 668.31 MiB)
11:59:55 Minimum required block sizes for structured trace: (mem: 668.31 MiB)
11:59:55 (mem: 668.31 MiB)
11:59:55 prove decider... (mem: 668.31 MiB)
11:59:55 [11:59:55.069]
INFO:
ivc-integration:test:native bb - ecc_op : 392
11:59:55 busread : 12
11:59:55 lookup : 2
11:59:55 pub_inputs : 36
11:59:55 arithmetic : 6913
11:59:55 delta_range : 2353
11:59:55 elliptic : 2
11:59:55 aux : 110
11:59:55 poseidon2_external : 2492
11:59:55 poseidon2_internal : 14195
11:59:55 overflow : 0
11:59:55 [11:59:55.312]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.31 MiB)
11:59:55 [11:59:55.486]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 668.31 MiB)
11:59:57 [11:59:57.222]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 668.31 MiB)
11:59:57 [11:59:57.371]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 668.31 MiB)
11:59:57 finished decider proving. (mem: 668.31 MiB)
11:59:57 [11:59:57.388]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 668.31 MiB)
11:59:57 [11:59:57.477]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
11:59:57 [11:59:57.480]
INFO:
ivc-integration:test:native bb - (mem: 668.31 MiB)
11:59:57 [11:59:57.485]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
11:59:57 [11:59:57.485]
INFO:
ivc-integration:test:native bb - (mem:
11:59:57 [11:59:57.486]
INFO:
ivc-integration:test:native bb - 668.31 MiB)
11:59:57 [11:59:57.634]
INFO:
ivc-integration:test:native bb - populating trace...
11:59:57 [11:59:57.637]
INFO:
ivc-integration:test:native bb - (mem: 668.31 MiB)
11:59:57 [11:59:57.687]
INFO:
ivc-integration:test:native bb - time to construct proving key: 204 ms. (mem: 668.31 MiB)
11:59:58 [11:59:58.945]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 668.31 MiB)
11:59:59 [11:59:59.774]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 668.31 MiB)
12:00:00 [12:00:00.053]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.31 MiB)
12:00:01 [12:00:01.256]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 668.31 MiB)
12:00:02 [12:00:02.723]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 668.31 MiB)
12:00:02 [12:00:02.837]
INFO:
ivc-integration:test:native bb - computed opening proof
12:00:02 [12:00:02.838]
INFO:
ivc-integration:test:native bb - (mem: 668.31 MiB)
12:00:02 [12:00:02.839]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 668.31 MiB)
12:00:02 Constructing a Goblin proof with num ultra ops = 1038 (mem: 668.31 MiB)
12:00:03 [12:00:03.275]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 668.31 MiB)
12:00:03 [12:00:03.647]
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: 668.31 MiB)
12:00:03 [12:00:03.658]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 668.31 MiB)
12:00:05 [12:00:05.807]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 668.31 MiB)
12:00:07 [12:00:07.918]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 668.31 MiB)
12:00:13 [12:00:13.784]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 668.31 MiB)
12:00:13 prove translator... (mem: 668.31 MiB)
12:00:15 [12:00:15.563]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 703.72 MiB)
12:00:19 [12:00:19.019]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 704.72 MiB)
12:00:21 [12:00:21.753]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 704.72 MiB)
12:00:21 [12:00:21.753]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 704.72 MiB)
12:00:21 [12:00:21.754]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 704.72 MiB)
12:00:21 [12:00:21.777]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 704.72 MiB)
12:00:21 libra_evals_verified: 1 (mem: 704.72 MiB)
12:00:21 pairing_check_verified: 1 (mem: 704.72 MiB)
12:00:21 Mega verified: 1 (mem: 704.72 MiB)
12:00:21 [12:00:21.913]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 705.72 MiB)
12:00:21 batch opening verified?: 1 (mem: 705.72 MiB)
12:00:21 eccvm consistency check verified?: 1 (mem: 705.72 MiB)
12:00:21 translation masking consistency checked?: 1 (mem: 705.72 MiB)
12:00:21 [12:00:21.932]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 705.72 MiB)
12:00:21 eccvm verified?: 1 (mem: 705.72 MiB)
12:00:21 [12:00:21.933]
INFO:
ivc-integration:test:native bb - accumulator construction_verified?: 1 (mem: 705.72 MiB)
12:00:21 translation verified?: 1 (mem: 705.72 MiB)
12:00:21 consistency verified?: 1 (mem: 705.72 MiB)
12:00:21 Goblin verified: 1 (mem: 705.72 MiB)
12:00:21 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-mEoMlT" (mem: 705.72 MiB)
12:00:21 [12:00:21.934]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-mEoMlT" (mem: 705.72 MiB)
12:00:21 BN254 commitment key size: 262144 (mem: 705.72 MiB)
12:00:21 [12:00:21.937]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 705.72 MiB)
12:00:21 [12:00:21.942]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.72 MiB)
12:00:21 goblin ecc op : 4/1024 (mem: 705.72 MiB)
12:00:21 busread : 3/6000 (mem: 705.72 MiB)
12:00:21 lookups : 2/15000 (mem: 705.72 MiB)
12:00:21 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 705.72 MiB)
12:00:21 arithmetic : 1773/56000 (mem: 705.72 MiB)
12:00:21 delta range : 1754/18000 (mem: 705.72 MiB)
12:00:21 elliptic : 2/6000 (mem: 705.72 MiB)
12:00:21 auxiliary : 26/26000 (mem: 705.72 MiB)
12:00:21 poseidon ext : 2/17000 (mem: 705.72 MiB)
12:00:21 poseidon int : 2/92000 (mem: 705.72 MiB)
12:00:21 overflow : 0/0 (mem: 705.72 MiB)
12:00:21 (mem: 705.72 MiB)
12:00:21 Total structured size: 242025 (mem: 705.72 MiB)
12:00:21 allocating polynomials object in proving key... (mem: 705.72 MiB)
12:00:22 [12:00:22.079]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 705.72 MiB)
12:00:22 [12:00:22.148]
INFO:
ivc-integration:test:native bb - time to construct proving key: 208 ms. (mem: 705.72 MiB)
12:00:22 [12:00:22.492]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 705.72 MiB)
12:00:23 [12:00:23.177]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 705.72 MiB)
12:00:23 [12:00:23.178]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.72 MiB)
12:00:23 [12:00:23.521]
INFO:
ivc-integration:test:native bb - oink proof constructed
12:00:23 [12:00:23.522]
INFO:
ivc-integration:test:native bb - (mem: 705.72 MiB)
12:00:23 [12:00:23.534]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 705.72 MiB)
12:00:23 [12:00:23.549]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 705.72 MiB)
12:00:23 [12:00:23.553]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.72 MiB)
12:00:23 goblin ecc op : 56/1024 (mem: 705.72 MiB)
12:00:23 busread : 3/6000 (mem: 705.72 MiB)
12:00:23 lookups : 2/15000 (mem: 705.72 MiB)
12:00:23 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.72 MiB)
12:00:23 arithmetic : 4533/56000 (mem: 705.72 MiB)
12:00:23 delta range : 2060/18000 (mem: 705.72 MiB)
12:00:23 elliptic : 2/6000 (mem: 705.72 MiB)
12:00:23 auxiliary : 50/26000 (mem: 705.72 MiB)
12:00:23 poseidon ext : 1332/17000 (mem: 705.72 MiB)
12:00:23 poseidon int : 7583/92000 (mem: 705.72 MiB)
12:00:23 overflow : 0/0 (mem: 705.72 MiB)
12:00:23 (mem: 705.72 MiB)
12:00:23 Total structured size: 242025 (mem: 705.72 MiB)
12:00:23 allocating polynomials object in proving key... (mem: 705.72 MiB)
12:00:23 [12:00:23.891]
INFO:
ivc-integration:test:native bb - populating trace...
12:00:23 [12:00:23.897]
INFO:
ivc-integration:test:native bb - (mem: 705.72 MiB)
12:00:23 [12:00:23.966]
INFO:
ivc-integration:test:native bb - time to construct proving key: 416 ms. (mem: 705.72 MiB)
12:00:24 [12:00:24.531]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 705.72 MiB)
12:00:25 [12:00:25.163]
INFO:
ivc-integration:test:native bb - computing folding proof
12:00:25 [12:00:25.164]
INFO:
ivc-integration:test:native bb - (mem: 706.72 MiB)
12:00:25 [12:00:25.167]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 706.72 MiB)
12:00:25 [12:00:25.637]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 706.72 MiB)
12:00:25 [12:00:25.812]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 706.72 MiB)
12:00:25 [12:00:25.900]
INFO:
ivc-integration:test:native bb - combiner quotient round
12:00:25 [12:00:25.901]
INFO:
ivc-integration:test:native bb - (mem:
12:00:25 [12:00:25.902]
INFO:
ivc-integration:test:native bb - 738.72 MiB)
12:00:26 [12:00:26.511]
INFO:
ivc-integration:test:native bb - folded
12:00:26 [12:00:26.521]
INFO:
ivc-integration:test:native bb - (mem: 738.72 MiB)
12:00:26 constructed folding proof (mem: 738.72 MiB)
12:00:26 Largest circuit: 15565 gates. Trace details: (mem: 738.72 MiB)
12:00:26 Minimum required block sizes for structured trace: (mem: 738.72 MiB)
12:00:26 (mem: 738.72 MiB)
12:00:26 prove decider... (mem: 738.72 MiB)
12:00:26 [12:00:26.522]
INFO:
ivc-integration:test:native bb - ecc_op : 56
12:00:26 busread : 3
12:00:26 lookup : 2
12:00:26 pub_inputs : 36
12:00:26 arithmetic : 4533
12:00:26 delta_range : 2060
12:00:26 elliptic : 2
12:00:26 aux : 50
12:00:26 poseidon2_external : 1332
12:00:26 poseidon2_internal : 7583
12:00:26 overflow : 0
12:00:26 [12:00:26.823]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 738.72 MiB)
12:00:27 [12:00:27.043]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 738.72 MiB)
12:00:28 [12:00:28.568]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 738.72 MiB)
12:00:28 [12:00:28.718]
INFO:
ivc-integration:test:native bb - computed opening proof
12:00:28 [12:00:28.720]
INFO:
ivc-integration:test:native bb - (mem: 738.72 MiB)
12:00:28 finished decider proving. (mem: 738.72 MiB)
12:00:28 [12:00:28.743]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 738.72 MiB)
12:00:28 [12:00:28.853]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 738.72 MiB)
12:00:28 [12:00:28.860]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 738.72 MiB)
12:00:28 [12:00:28.986]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 738.72 MiB)
12:00:29 [12:00:29.055]
INFO:
ivc-integration:test:native bb - time to construct proving key: 200 ms. (mem: 738.72 MiB)
12:00:30 [12:00:30.017]
INFO:
ivc-integration:test:native BB concurrency: 1
12:00:30 [12:00:30.018]
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-mEoMlT/proof -k /tmp/bb-client-ivc-integration-mEoMlT/vk -v
12:00:30 [12:00:30.049]
INFO:
ivc-integration:test:native bb command: verify
12:00:30 [12:00:30.053]
INFO:
ivc-integration:test:native (mem: 181.78 MiB)
12:00:30 Scheme is: client_ivc, num threads: 1 (mem: 181.78 MiB)
12:00:30 --proof_path: /tmp/bb-client-ivc-integration-mEoMlT/proof (mem: 181.78 MiB)
12:00:30 --vk_path: /tmp/bb-client-ivc-integration-mEoMlT/vk (mem: 181.78 MiB)
12:00:30 --verbose: true (mem: 181.78 MiB)
12:00:30 --scheme: client_ivc (mem: 181.78 MiB)
12:00:30 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 181.78 MiB)
12:00:30 [12:00:30.074]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537
12:00:30 [12:00:30.081]
INFO:
ivc-integration:test:native (mem: 181.78 MiB)
12:00:30 [12:00:30.082]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892
12:00:30 [12:00:30.085]
INFO:
ivc-integration:test:native (mem: 181.78 MiB)
12:00:30 [12:00:30.110]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
12:00:30 [12:00:30.112]
INFO:
ivc-integration:test:native (mem:
12:00:30 [12:00:30.114]
INFO:
ivc-integration:test:native 181.78 MiB)
12:00:30 Initialized BN254 CRS from memory with num points = 1 (mem: 181.78 MiB)
12:00:30 [12:00:30.121]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 181.78 MiB)
12:00:30 libra_evals_verified: 1 (mem: 181.78 MiB)
12:00:30 pairing_check_verified: 1 (mem: 181.78 MiB)
12:00:30 Mega verified: 1 (mem: 181.78 MiB)
12:00:30 [12:00:30.638]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1
12:00:30 [12:00:30.640]
INFO:
ivc-integration:test:native (mem: 181.78 MiB)
12:00:30 batch opening verified?: 1 (mem: 181.78 MiB)
12:00:30 eccvm consistency check verified?: 1 (mem: 181.78 MiB)
12:00:30 translation masking consistency checked?: 1 (mem: 181.78 MiB)
12:00:30 [12:00:30.661]
INFO:
ivc-integration:test:native merge verified?: 1
12:00:30 [12:00:30.665]
INFO:
ivc-integration:test:native (mem: 181.78 MiB)
12:00:30 eccvm verified?: 1 (mem: 181.78 MiB)
12:00:30 accumulator construction_verified?: 1 (mem: 181.78 MiB)
12:00:30 translation verified?: 1 (mem: 181.78 MiB)
12:00:30 consistency verified?: 1 (mem: 181.78 MiB)
12:00:30 Goblin verified: 1 (mem: 181.78 MiB)
12:00:30 verified: 1 (mem: 181.78 MiB)
12:00:30 [12:00:30.764]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-G7uoxT/ivc-inputs.msgpack
12:00:30 [12:00:30.766]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
12:00:30 [12:00:30.768]
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-G7uoxT --ivc_inputs_path /tmp/bb-client-ivc-integration-G7uoxT/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
12:00:30 [12:00:30.811]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.99 MiB)
12:00:30 [12:00:30.815]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 181.99 MiB)
12:00:30 --scheme: client_ivc (mem: 181.99 MiB)
12:00:30 --output_path: /tmp/bb-client-ivc-integration-G7uoxT (mem: 181.99 MiB)
12:00:30 --ivc_inputs_path: /tmp/bb-client-ivc-integration-G7uoxT/ivc-inputs.msgpack (mem: 181.99 MiB)
12:00:30 --verbose: true (mem: 181.99 MiB)
12:00:30 --write_vk: true (mem: 181.99 MiB)
12:00:30 [12:00:30.817]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.99 MiB)
12:00:30 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.99 MiB)
12:00:30 [12:00:30.951]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 181.99 MiB)
12:00:30 [12:00:30.959]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 181.99 MiB)
12:00:30 Constructing DeciderProvingKey (mem: 181.99 MiB)
12:00:30 [12:00:30.976]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
12:00:30 [12:00:30.977]
INFO:
ivc-integration:test:native bb - (mem:
12:00:30 [12:00:30.978]
INFO:
ivc-integration:test:native bb - 181.99
12:00:30 [12:00:30.979]
INFO:
ivc-integration:test:native bb - MiB)
12:00:30 goblin ecc op : 4/1024 (mem: 181.99 MiB)
12:00:30 busread : 7/6000 (mem: 181.99 MiB)
12:00:30 lookups : 2/15000 (mem: 181.99 MiB)
12:00:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 181.99 MiB)
12:00:30 arithmetic : 1760/56000 (mem: 181.99 MiB)
12:00:30 delta range : 1754/18000 (mem: 181.99 MiB)
12:00:30 elliptic : 2/6000 (mem: 181.99 MiB)
12:00:30 auxiliary : 26/26000 (mem: 181.99 MiB)
12:00:30 poseidon ext : 2/17000 (mem: 181.99 MiB)
12:00:30 poseidon int : 2/92000 (mem: 181.99 MiB)
12:00:30 overflow : 0/0 (mem: 181.99 MiB)
12:00:30 (mem: 181.99 MiB)
12:00:30 Total structured size: 242025 (mem: 181.99 MiB)
12:00:30 allocating polynomials object in proving key... (mem: 181.99 MiB)
12:00:31 [12:00:31.500]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 364.00 MiB)
12:00:31 [12:00:31.530]
INFO:
ivc-integration:test:native bb - time to construct proving key: 574 ms. (mem: 376.00 MiB)
12:00:31 [12:00:31.844]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61af9f01bf80 (mem: 376.00 MiB)
12:00:31 computing oink proof... (mem: 376.00 MiB)
12:00:31 [12:00:31.845]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 376.00 MiB)
12:00:32 [12:00:32.250]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 387.00 MiB)
12:00:32 [12:00:32.260]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 388.00 MiB)
12:00:32 [12:00:32.273]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 388.00 MiB)
12:00:32 Constructing DeciderProvingKey (mem: 388.00 MiB)
12:00:32 [12:00:32.276]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 388.00 MiB)
12:00:32 goblin ecc op : 56/1024 (mem: 388.00 MiB)
12:00:32 busread : 12/6000 (mem: 388.00 MiB)
12:00:32 lookups : 2/15000 (mem: 388.00 MiB)
12:00:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 388.00 MiB)
12:00:32 arithmetic : 4677/56000 (mem: 388.00 MiB)
12:00:32 delta range : 2073/18000 (mem: 388.00 MiB)
12:00:32 elliptic : 2/6000 (mem: 388.00 MiB)
12:00:32 auxiliary : 110/26000 (mem: 388.00 MiB)
12:00:32 poseidon ext : 1322/17000 (mem: 388.00 MiB)
12:00:32 poseidon int : 7526/92000 (mem: 388.00 MiB)
12:00:32 overflow : 0/0 (mem: 388.00 MiB)
12:00:32 (mem: 388.00 MiB)
12:00:32 Total structured size: 242025 (mem: 388.00 MiB)
12:00:32 allocating polynomials object in proving key... (mem: 388.00 MiB)
12:00:32 [12:00:32.519]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 591.00 MiB)
12:00:32 [12:00:32.546]
INFO:
ivc-integration:test:native bb - time to construct proving key: 273 ms. (mem: 606.00 MiB)
12:00:32 [12:00:32.674]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61af9f025240 (mem: 606.00 MiB)
12:00:32 computing folding proof (mem: 606.00 MiB)
12:00:32 [12:00:32.676]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 606.00 MiB)
12:00:32 [12:00:32.926]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 609.00 MiB)
12:00:33 [12:00:33.040]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 646.00 MiB)
12:00:33 [12:00:33.096]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 681.00 MiB)
12:00:33 [12:00:33.406]
INFO:
ivc-integration:test:native bb - folded (mem: 681.00 MiB)
12:00:33 constructed folding proof
12:00:33 [12:00:33.407]
INFO:
ivc-integration:test:native bb - (mem: 681.00 MiB)
12:00:33 [12:00:33.411]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 681.00 MiB)
12:00:33 Constructing DeciderProvingKey (mem: 681.00 MiB)
12:00:33 [12:00:33.413]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 681.00 MiB)
12:00:33 goblin ecc op : 4/1024 (mem: 681.00
12:00:33 [12:00:33.413]
INFO:
ivc-integration:test:native bb - MiB)
12:00:33 busread : 7/6000 (mem: 681.00 MiB)
12:00:33 lookups : 2/15000 (mem: 681.00 MiB)
12:00:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 681.00 MiB)
12:00:33 arithmetic : 1760/56000 (mem: 681.00 MiB)
12:00:33 delta range : 1754/18000 (mem: 681.00 MiB)
12:00:33 elliptic : 2/6000 (mem: 681.00 MiB)
12:00:33 auxiliary : 26/26000 (mem: 681.00 MiB)
12:00:33 poseidon ext : 2/17000 (mem: 681.00 MiB)
12:00:33 poseidon int : 2/92000 (mem: 681.00 MiB)
12:00:33 overflow : 0/0 (mem: 681.00 MiB)
12:00:33 (mem: 681.00 MiB)
12:00:33 Total structured size: 242025 (mem: 681.00 MiB)
12:00:33 allocating polynomials object in proving key... (mem: 681.00 MiB)
12:00:33 [12:00:33.476]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 681.00 MiB)
12:00:33 [12:00:33.500]
INFO:
ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 681.00 MiB)
12:00:33 [12:00:33.625]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61af9f0177c0 (mem: 681.00 MiB)
12:00:33 computing folding proof (mem: 681.00 MiB)
12:00:33 [12:00:33.626]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 681.00 MiB)
12:00:33 [12:00:33.980]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 681.00 MiB)
12:00:34 [12:00:34.054]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 681.00 MiB)
12:00:34 [12:00:34.083]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 681.00 MiB)
12:00:34 [12:00:34.364]
INFO:
ivc-integration:test:native bb - folded (mem: 681.00 MiB)
12:00:34 constructed folding proof (mem: 681.00 MiB)
12:00:34 [12:00:34.374]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 681.00 MiB)
12:00:34 [12:00:34.449]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 681.00 MiB)
12:00:34 [12:00:34.533]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 681.00 MiB)
12:00:34 Constructing DeciderProvingKey (mem: 681.00 MiB)
12:00:34 [12:00:34.539]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 681.00 MiB)
12:00:34 goblin ecc op : 792/1024 (mem: 681.00 MiB)
12:00:34 busread : 12/6000 (mem: 681.00 MiB)
12:00:34 lookups : 2/15000 (mem: 681.00 MiB)
12:00:34 pub inputs : 32/5000 (populated in decider pk constructor)
12:00:34 [12:00:34.540]
INFO:
ivc-integration:test:native bb - (mem: 681.00 MiB)
12:00:34 arithmetic : 12208/56000 (mem: 681.00 MiB)
12:00:34 delta range : 2981/18000 (mem: 681.00 MiB)
12:00:34 elliptic : 2/6000 (mem: 681.00 MiB)
12:00:34 auxiliary : 350/26000 (mem: 681.00 MiB)
12:00:34 poseidon ext : 4982/17000 (mem: 681.00 MiB)
12:00:34 poseidon int : 28388/92000 (mem: 681.00 MiB)
12:00:34 overflow : 0/0 (mem: 681.00 MiB)
12:00:34 (mem: 681.00 MiB)
12:00:34 Total structured size: 242025 (mem: 681.00 MiB)
12:00:34 allocating polynomials object in proving key... (mem: 681.00 MiB)
12:00:34 [12:00:34.725]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 681.00 MiB)
12:00:34 [12:00:34.781]
INFO:
ivc-integration:test:native bb - time to construct proving key: 247 ms. (mem: 681.00 MiB)
12:00:34 [12:00:34.898]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61af9f099100 (mem: 681.00 MiB)
12:00:34 computing folding proof (mem: 681.00 MiB)
12:00:34 [12:00:34.899]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 681.00 MiB)
12:00:35 [12:00:35.309]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 681.00 MiB)
12:00:35 [12:00:35.408]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 697.00 MiB)
12:00:35 [12:00:35.466]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 729.00 MiB)
12:00:35 [12:00:35.744]
INFO:
ivc-integration:test:native bb - folded (mem: 729.00 MiB)
12:00:35 constructed folding proof (mem: 729.00 MiB)
12:00:35 [12:00:35.753]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 729.00 MiB)
12:00:35 [12:00:35.825]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 729.00 MiB)
12:00:35 Constructing DeciderProvingKey (mem: 729.00 MiB)
12:00:35 [12:00:35.827]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 729.00 MiB)
12:00:35 goblin ecc op : 392/1024 (mem: 729.00 MiB)
12:00:35 busread : 16/6000 (mem: 729.00 MiB)
12:00:35 lookups : 2/15000 (mem: 729.00 MiB)
12:00:35 [12:00:35.828]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 729.00 MiB)
12:00:35 arithmetic : 6978/56000 (mem: 729.00 MiB)
12:00:35 delta range : 2367/18000 (mem: 729.00 MiB)
12:00:35 elliptic : 2/6000 (mem: 729.00 MiB)
12:00:35 auxiliary : 77/26000 (mem: 729.00 MiB)
12:00:35 poseidon ext : 2492/17000 (mem: 729.00 MiB)
12:00:35 poseidon int : 14195/92000 (mem: 729.00 MiB)
12:00:35 overflow : 0/0 (mem: 729.00 MiB)
12:00:35 (mem: 729.00 MiB)
12:00:35 Total structured size: 242025 (mem: 729.00 MiB)
12:00:35 allocating polynomials object in proving key... (mem: 729.00 MiB)
12:00:35 [12:00:35.910]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.00 MiB)
12:00:35 [12:00:35.938]
INFO:
ivc-integration:test:native bb - time to construct proving key: 112 ms. (mem: 729.00 MiB)
12:00:36 [12:00:36.175]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61af9f00bbc0 (mem: 729.00 MiB)
12:00:36 computing folding proof (mem: 729.00 MiB)
12:00:36 [12:00:36.177]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 729.00 MiB)
12:00:36 [12:00:36.599]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 729.00 MiB)
12:00:36 [12:00:36.649]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 729.00 MiB)
12:00:36 [12:00:36.729]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 729.42 MiB)
12:00:36 [12:00:36.994]
INFO:
ivc-integration:test:native bb - folded (mem: 729.42 MiB)
12:00:36 constructed folding proof (mem: 729.42 MiB)
12:00:37 [12:00:37.001]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 729.42 MiB)
12:00:37 [12:00:37.049]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 729.42 MiB)
12:00:37 Constructing DeciderProvingKey (mem: 729.42 MiB)
12:00:37 [12:00:37.053]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 729.42 MiB)
12:00:37 goblin ecc op : 392/1024 (mem: 729.42 MiB)
12:00:37 busread : 3/6000 (mem: 729.42 MiB)
12:00:37 lookups : 2/15000 (mem: 729.42 MiB)
12:00:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 729.42 MiB)
12:00:37 arithmetic : 6913/56000 (mem: 729.42 MiB)
12:00:37 delta range : 2353/18000 (mem: 729.42 MiB)
12:00:37 elliptic : 2/6000 (mem: 729.42 MiB)
12:00:37 auxiliary : 50/26000 (mem: 729.42 MiB)
12:00:37 poseidon ext : 2492/17000 (mem: 729.42 MiB)
12:00:37 [12:00:37.053]
INFO:
ivc-integration:test:native bb - poseidon int : 14195/92000 (mem: 729.42 MiB)
12:00:37 overflow : 0/0 (mem: 729.42 MiB)
12:00:37 (mem: 729.42 MiB)
12:00:37 Total structured size: 242025 (mem: 729.42 MiB)
12:00:37 allocating polynomials object in proving key... (mem: 729.42 MiB)
12:00:37 [12:00:37.116]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.42 MiB)
12:00:37 [12:00:37.131]
INFO:
ivc-integration:test:native bb - time to construct proving key: 81 ms. (mem: 729.42 MiB)
12:00:37 [12:00:37.260]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61af9f023440 (mem: 729.42 MiB)
12:00:37 computing folding proof (mem: 729.42 MiB)
12:00:37 [12:00:37.262]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 729.42 MiB)
12:00:37 [12:00:37.585]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 729.42 MiB)
12:00:37 [12:00:37.676]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 729.42 MiB)
12:00:37 [12:00:37.752]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 730.36 MiB)
12:00:37 [12:00:37.976]
INFO:
ivc-integration:test:native bb - folded (mem: 730.36 MiB)
12:00:37 [12:00:37.977]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 730.36 MiB)
12:00:37 Largest circuit: 48925 gates. Trace details: (mem: 730.36 MiB)
12:00:37 Minimum required block sizes for structured trace: (mem: 730.36 MiB)
12:00:37 (mem: 730.36 MiB)
12:00:37 prove decider... (mem: 730.36 MiB)
12:00:37 [12:00:37.978]
INFO:
ivc-integration:test:native bb - ecc_op : 792
12:00:37 busread : 16
12:00:37 lookup : 2
12:00:37 pub_inputs : 36
12:00:37 arithmetic : 12208
12:00:37 delta_range : 2981
12:00:37 elliptic : 2
12:00:37 aux : 350
12:00:37 poseidon2_external : 4982
12:00:37 poseidon2_internal : 28388
12:00:37 overflow : 0
12:00:38 [12:00:38.073]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 730.36 MiB)
12:00:38 [12:00:38.168]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 730.36 MiB)
12:00:38 [12:00:38.840]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 730.36 MiB)
12:00:38 [12:00:38.945]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 730.36 MiB)
12:00:38 finished decider proving. (mem: 730.36 MiB)
12:00:38 [12:00:38.960]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 730.36 MiB)
12:00:39 [12:00:39.053]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 730.36 MiB)
12:00:39 [12:00:39.059]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 730.36 MiB)
12:00:39 [12:00:39.133]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.36 MiB)
12:00:39 [12:00:39.163]
INFO:
ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 730.36 MiB)
12:00:39 [12:00:39.934]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 730.36 MiB)
12:00:40 [12:00:40.351]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 730.36 MiB)
12:00:40 [12:00:40.511]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 730.36 MiB)
12:00:41 [12:00:41.028]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 730.36 MiB)
12:00:41 [12:00:41.528]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 730.36 MiB)
12:00:41 [12:00:41.587]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 730.36 MiB)
12:00:41 finished decider proving. (mem: 730.36 MiB)
12:00:41 [12:00:41.588]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 730.36 MiB)
12:00:41 [12:00:41.768]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 730.36 MiB)
12:00:42 [12:00:42.049]
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: 730.36 MiB)
12:00:42 [12:00:42.062]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 730.36 MiB)
12:00:43 [12:00:43.371]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 730.36 MiB)
12:00:44 [12:00:44.312]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 730.36 MiB)
12:00:46 [12:00:46.868]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 730.36 MiB)
12:00:46 prove translator... (mem: 730.36 MiB)
12:00:49 [12:00:49.528]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 739.41 MiB)
12:00:53 [12:00:53.263]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 740.41 MiB)
12:00:56 [12:00:56.578]
INFO:
ivc-integration:test:native bb - computed opening proof
12:00:56 [12:00:56.579]
INFO:
ivc-integration:test:native bb - (mem: 740.41 MiB)
12:00:56 finished translator proving. (mem: 740.41 MiB)
12:00:56 [12:00:56.583]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 740.41 MiB)
12:00:56 [12:00:56.634]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1
12:00:56 [12:00:56.637]
INFO:
ivc-integration:test:native bb - (mem: 740.41 MiB)
12:00:56 libra_evals_verified: 1 (mem: 740.41 MiB)
12:00:56 pairing_check_verified: 1 (mem: 740.41 MiB)
12:00:56 Mega verified: 1 (mem: 740.41 MiB)
12:00:56 [12:00:56.738]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1
12:00:56 [12:00:56.739]
INFO:
ivc-integration:test:native bb - (mem: 740.41 MiB)
12:00:56 batch opening verified?: 1 (mem: 740.41 MiB)
12:00:56 eccvm consistency check verified?: 1 (mem: 740.41 MiB)
12:00:56 translation masking consistency checked?: 1 (mem: 740.41 MiB)
12:00:56 [12:00:56.755]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 740.41 MiB)
12:00:56 eccvm verified?: 1 (mem: 740.41 MiB)
12:00:56 accumulator construction_verified?: 1 (mem: 740.41 MiB)
12:00:56 translation verified?: 1 (mem: 740.41 MiB)
12:00:56 consistency verified?: 1 (mem: 740.41 MiB)
12:00:56 Goblin verified: 1 (mem: 740.41 MiB)
12:00:56 [12:00:56.758]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-G7uoxT" (mem: 740.41 MiB)
12:00:56 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-G7uoxT" (mem: 740.41 MiB)
12:00:56 BN254 commitment key size: 262144 (mem: 740.41 MiB)
12:00:56 Constructing DeciderProvingKey (mem: 740.41 MiB)
12:00:56 [12:00:56.761]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 740.41 MiB)
12:00:56 goblin ecc op : 4/1024 (mem: 740.41 MiB)
12:00:56 busread : 3/6000 (mem: 740.41 MiB)
12:00:56 lookups : 2/15000 (mem: 740.41 MiB)
12:00:56 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 740.41 MiB)
12:00:56 arithmetic : 1773/56000 (mem: 740.41 MiB)
12:00:56 [12:00:56.762]
INFO:
ivc-integration:test:native bb - delta range : 1754/18000 (mem: 740.41 MiB)
12:00:56 elliptic : 2/6000 (mem: 740.41 MiB)
12:00:56 auxiliary : 26/26000 (mem: 740.41 MiB)
12:00:56 poseidon ext : 2/17000 (mem: 740.41 MiB)
12:00:56 poseidon int : 2/92000 (mem: 740.41 MiB)
12:00:56 overflow : 0/0 (mem: 740.41 MiB)
12:00:56 (mem: 740.41 MiB)
12:00:56 Total structured size: 242025 (mem: 740.41 MiB)
12:00:56 allocating polynomials object in proving key... (mem: 740.41 MiB)
12:00:56 [12:00:56.993]
INFO:
ivc-integration:test:native bb - populating trace...
12:00:56 [12:00:56.995]
INFO:
ivc-integration:test:native bb - (mem: 740.41 MiB)
12:00:57 [12:00:57.004]
INFO:
ivc-integration:test:native bb - time to construct proving key: 245 ms. (mem: 740.41 MiB)
12:00:57 [12:00:57.185]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 740.41 MiB)
12:00:57 [12:00:57.375]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 740.41 MiB)
12:00:57 [12:00:57.376]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 740.41 MiB)
12:00:57 [12:00:57.529]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 740.41 MiB)
12:00:57 [12:00:57.536]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 740.41 MiB)
12:00:57 [12:00:57.550]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 740.41 MiB)
12:00:57 [12:00:57.553]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 740.41 MiB)
12:00:57 goblin ecc op : 56/1024 (mem: 740.41 MiB)
12:00:57 busread : 3/6000 (mem: 740.41 MiB)
12:00:57 lookups : 2/15000 (mem: 740.41 MiB)
12:00:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 740.41 MiB)
12:00:57 arithmetic : 4533/56000 (mem: 740.41 MiB)
12:00:57 delta range : 2060/18000 (mem: 740.41 MiB)
12:00:57 elliptic : 2/6000 (mem: 740.41 MiB)
12:00:57 auxiliary : 50/26000 (mem: 740.41 MiB)
12:00:57 poseidon ext : 1332/17000 (mem: 740.41 MiB)
12:00:57 poseidon int : 7583/92000 (mem: 740.41 MiB)
12:00:57 overflow : 0/0 (mem: 740.41 MiB)
12:00:57 (mem: 740.41 MiB)
12:00:57 Total structured size: 242025 (mem: 740.41 MiB)
12:00:57 allocating polynomials object in proving key... (mem: 740.41 MiB)
12:00:57 [12:00:57.656]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 740.41 MiB)
12:00:57 [12:00:57.676]
INFO:
ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 740.41 MiB)
12:00:57 [12:00:57.783]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 740.41 MiB)
12:00:57 [12:00:57.964]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 740.41 MiB)
12:00:57 [12:00:57.965]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 740.41 MiB)
12:00:58 [12:00:58.224]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 740.41 MiB)
12:00:58 [12:00:58.353]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 740.41 MiB)
12:00:58 [12:00:58.394]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 772.41 MiB)
12:00:59 [12:00:59.031]
INFO:
ivc-integration:test:native bb - folded (mem: 772.41 MiB)
12:00:59 constructed folding proof (mem: 772.41 MiB)
12:00:59 [12:00:59.032]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 772.41 MiB)
12:00:59 Minimum required block sizes for structured trace: (mem: 772.41 MiB)
12:00:59 (mem: 772.41 MiB)
12:00:59 prove decider... (mem: 772.41 MiB)
12:00:59 [12:00:59.032]
INFO:
ivc-integration:test:native bb - ecc_op : 56
12:00:59 busread : 3
12:00:59 lookup : 2
12:00:59 pub_inputs : 36
12:00:59 arithmetic : 4533
12:00:59 delta_range : 2060
12:00:59 elliptic : 2
12:00:59 aux : 50
12:00:59 poseidon2_external : 1332
12:00:59 poseidon2_internal : 7583
12:00:59 overflow : 0
12:00:59 [12:00:59.208]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 772.41 MiB)
12:00:59 [12:00:59.329]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 772.41 MiB)
12:01:00 [12:01:00.996]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 772.41 MiB)
12:01:01 [12:01:01.112]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 772.41 MiB)
12:01:01 finished decider proving. (mem: 772.41 MiB)
12:01:01 [12:01:01.128]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 772.41 MiB)
12:01:01 [12:01:01.216]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 772.41 MiB)
12:01:01 [12:01:01.222]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 772.41 MiB)
12:01:01 [12:01:01.543]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 772.41 MiB)
12:01:01 [12:01:01.624]
INFO:
ivc-integration:test:native bb - time to construct proving key: 407 ms.
12:01:01 [12:01:01.624]
INFO:
ivc-integration:test:native bb - (mem:
12:01:01 [12:01:01.626]
INFO:
ivc-integration:test:native bb - 772.41 MiB)
12:01:02 [12:01:02.120]
INFO:
ivc-integration:test:native BB concurrency: 1
12:01:02 [12:01:02.120]
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-G7uoxT/proof -k /tmp/bb-client-ivc-integration-G7uoxT/vk -v
12:01:02 [12:01:02.141]
INFO:
ivc-integration:test:native bb command: verify (mem: 188.82 MiB)
12:01:02 Scheme is: client_ivc, num threads: 1 (mem: 188.82 MiB)
12:01:02 --proof_path: /tmp/bb-client-ivc-integration-G7uoxT/proof (mem: 188.82 MiB)
12:01:02 --vk_path: /tmp/bb-client-ivc-integration-G7uoxT/vk (mem: 188.82 MiB)
12:01:02 --verbose: true (mem: 188.82 MiB)
12:01:02 --scheme: client_ivc (mem: 188.82 MiB)
12:01:02 [12:01:02.142]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.82 MiB)
12:01:02 [12:01:02.157]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 188.82 MiB)
12:01:02 [12:01:02.159]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 188.82 MiB)
12:01:02 [12:01:02.176]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.82 MiB)
12:01:02 [12:01:02.177]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 188.82 MiB)
12:01:02 [12:01:02.177]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 188.82 MiB)
12:01:02 libra_evals_verified: 1 (mem: 188.82 MiB)
12:01:02 pairing_check_verified: 1 (mem: 188.82 MiB)
12:01:02 Mega verified: 1 (mem: 188.82 MiB)
12:01:02 [12:01:02.629]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.82 MiB)
12:01:02 batch opening verified?: 1 (mem: 188.82 MiB)
12:01:02 eccvm consistency check verified?: 1 (mem: 188.82 MiB)
12:01:02 translation masking consistency checked?: 1 (mem: 188.82 MiB)
12:01:02 [12:01:02.647]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 188.82 MiB)
12:01:02 eccvm verified?: 1 (mem: 188.82 MiB)
12:01:02 accumulator construction_verified?: 1 (mem: 188.82 MiB)
12:01:02 translation verified?: 1 (mem: 188.82 MiB)
12:01:02 consistency verified?: 1 (mem: 188.82 MiB)
12:01:02 Goblin verified: 1 (mem: 188.82 MiB)
12:01:02 verified: 1 (mem: 188.82 MiB)
12:01:02
PASS src/native_client_ivc_integration.test.ts (
74.708 s)
12:01:02 Client IVC Integration
12:01:02
✓ Should generate a verifiable client IVC proof from a simple mock tx (39270 ms)
12:01:02
✓ Should generate a verifiable client IVC proof from a complex mock tx (31979 ms)
12:01:02
12:01:02
Test Suites: 1 passed, 1 total
12:01:02
Tests: 2 passed, 2 total
12:01:02
Snapshots: 0 total
12:01:02
Time: 74.791 s
12:01:02
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
12:01:02
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?