Parent Log:
http://ci.aztec-labs.com/6060ff546087cc03
Command: 73379369dc8552ae: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/7a1b59a9ea7f085cd243d25401ffbea660430ebd
Env: REF_NAME=gh-readonly-queue/next/pr-15163-4608046e462faf9ff3fbee265ba34dbecb5d0b31 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 13:45:53 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15163_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
13:45:57 [13:45:57.755]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-JgVsPm/ivc-inputs.msgpack
13:45:57 [13:45:57.761]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
13:45:57 [13:45:57.762]
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-JgVsPm --ivc_inputs_path /tmp/bb-client-ivc-integration-JgVsPm/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
13:45:57 [13:45:57.787]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.88 MiB)
13:45:57 [13:45:57.788]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.88 MiB)
13:45:57 --scheme: client_ivc (mem: 184.88 MiB)
13:45:57 --output_path: /tmp/bb-client-ivc-integration-JgVsPm (mem: 184.88 MiB)
13:45:57 --ivc_inputs_path: /tmp/bb-client-ivc-integration-JgVsPm/ivc-inputs.msgpack (mem: 184.88 MiB)
13:45:57 --verbose: true (mem: 184.88 MiB)
13:45:57 --write_vk: true (mem: 184.88 MiB)
13:45:57 [13:45:57.789]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.88 MiB)
13:45:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.88 MiB)
13:45:57 [13:45:57.860]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 184.88 MiB)
13:45:57 [13:45:57.863]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0
13:45:57 [13:45:57.867]
INFO:
ivc-integration:test:native bb - (mem: 184.88 MiB)
13:45:57 Constructing DeciderProvingKey (mem: 184.88 MiB)
13:45:57 [13:45:57.870]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 184.88 MiB)
13:45:57 [13:45:57.873]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 184.88 MiB)
13:45:57 busread : 7/6000 (mem: 184.88 MiB)
13:45:57 lookups : 2/15000 (mem: 184.88 MiB)
13:45:57 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 184.88 MiB)
13:45:57 arithmetic : 1760/56000 (mem: 184.88 MiB)
13:45:57 delta range : 1754/18000 (mem: 184.88 MiB)
13:45:57 elliptic : 2/6000 (mem: 184.88 MiB)
13:45:57 auxiliary : 26/26000 (mem: 184.88 MiB)
13:45:57 poseidon ext : 2/17000 (mem: 184.88 MiB)
13:45:57 poseidon int : 2/92000 (mem: 184.88 MiB)
13:45:57 overflow : 0/0 (mem: 184.88 MiB)
13:45:57 (mem: 184.88 MiB)
13:45:57 Total structured size: 242025 (mem: 184.88 MiB)
13:45:57 allocating polynomials object in proving key... (mem: 184.88 MiB)
13:45:58 [13:45:58.080]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 341.14 MiB)
13:45:58 [13:45:58.090]
INFO:
ivc-integration:test:native bb - time to construct proving key: 224 ms. (mem: 358.14 MiB)
13:45:58 [13:45:58.153]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d084c418200 (mem: 358.14 MiB)
13:45:58 computing oink proof... (mem: 358.14 MiB)
13:45:58 [13:45:58.154]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 358.14 MiB)
13:45:58 [13:45:58.391]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 367.14 MiB)
13:45:58 [13:45:58.399]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 367.14 MiB)
13:45:58 [13:45:58.419]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 367.14 MiB)
13:45:58 Constructing DeciderProvingKey (mem: 367.14 MiB)
13:45:58 [13:45:58.423]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 367.14 MiB)
13:45:58 goblin ecc op : 56/1024 (mem: 367.14 MiB)
13:45:58 busread : 12/6000 (mem: 367.14 MiB)
13:45:58 lookups : 2/15000 (mem: 367.14 MiB)
13:45:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 367.14 MiB)
13:45:58 arithmetic : 4677/56000 (mem: 367.14 MiB)
13:45:58 delta range : 2073/18000 (mem: 367.14 MiB)
13:45:58 elliptic : 2/6000 (mem: 367.14 MiB)
13:45:58 auxiliary : 110/26000 (mem: 367.14 MiB)
13:45:58 poseidon ext : 1322/17000 (mem: 367.14 MiB)
13:45:58 poseidon int : 7526/92000 (mem: 367.14 MiB)
13:45:58 overflow : 0/0 (mem: 367.14 MiB)
13:45:58 (mem: 367.14 MiB)
13:45:58 Total structured size: 242025 (mem:
13:45:58 [13:45:58.423]
INFO:
ivc-integration:test:native bb - 367.14 MiB)
13:45:58 allocating polynomials object in proving key... (mem: 367.14 MiB)
13:45:58 [13:45:58.576]
INFO:
ivc-integration:test:native bb - populating trace... (mem:
13:45:58 [13:45:58.577]
INFO:
ivc-integration:test:native bb - 568.14 MiB)
13:45:58 [13:45:58.601]
INFO:
ivc-integration:test:native bb - time to construct proving key: 181 ms. (mem: 588.14 MiB)
13:45:58 [13:45:58.802]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d084c424e40 (mem: 588.14 MiB)
13:45:58 computing folding proof (mem: 588.14 MiB)
13:45:58 [13:45:58.803]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 588.14 MiB)
13:45:59 [13:45:59.191]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 588.14 MiB)
13:45:59 [13:45:59.292]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 625.14 MiB)
13:45:59 [13:45:59.371]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 657.14 MiB)
13:45:59 [13:45:59.721]
INFO:
ivc-integration:test:native bb - folded (mem: 657.14 MiB)
13:45:59 constructed folding proof (mem: 657.14 MiB)
13:45:59 [13:45:59.731]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 657.14 MiB)
13:45:59 [13:45:59.809]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 657.14 MiB)
13:45:59 Constructing DeciderProvingKey (mem: 657.14 MiB)
13:45:59 [13:45:59.814]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 657.14 MiB)
13:45:59 goblin ecc op : 392/1024 (mem: 657.14 MiB)
13:45:59 busread : 3/6000 (mem: 657.14 MiB)
13:45:59 lookups : 2/15000 (mem: 657.14 MiB)
13:45:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 657.14 MiB)
13:45:59 arithmetic : 6913/56000
13:45:59 [13:45:59.816]
INFO:
ivc-integration:test:native bb - (mem: 657.14 MiB)
13:45:59 delta range : 2353/18000 (mem: 657.14 MiB)
13:45:59 elliptic : 2/6000 (mem: 657.14 MiB)
13:45:59 auxiliary : 50/26000 (mem: 657.14 MiB)
13:45:59 poseidon ext : 2492/17000 (mem: 657.14 MiB)
13:45:59 poseidon int : 14195/92000 (mem: 657.14 MiB)
13:45:59 overflow : 0/0 (mem: 657.14 MiB)
13:45:59 (mem: 657.14 MiB)
13:45:59 Total structured size: 242025 (mem: 657.14 MiB)
13:45:59 allocating polynomials object in proving key... (mem: 657.14 MiB)
13:45:59 [13:45:59.934]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 657.14 MiB)
13:45:59 [13:45:59.979]
INFO:
ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 657.14 MiB)
13:46:00 [13:46:00.343]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d084c41a5c0 (mem: 657.14 MiB)
13:46:00 computing folding proof (mem: 657.14 MiB)
13:46:00 [13:46:00.344]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 657.14 MiB)
13:46:00 [13:46:00.752]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 657.14 MiB)
13:46:00 [13:46:00.854]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 657.14 MiB)
13:46:00 [13:46:00.914]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 671.00 MiB)
13:46:01 [13:46:01.320]
INFO:
ivc-integration:test:native bb - folded (mem: 671.00 MiB)
13:46:01 constructed folding proof (mem: 671.00 MiB)
13:46:01 [13:46:01.325]
INFO:
ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 671.00 MiB)
13:46:01 Minimum required block sizes for structured trace: (mem: 671.00 MiB)
13:46:01 (mem: 671.00 MiB)
13:46:01 prove decider... (mem: 671.00 MiB)
13:46:01 [13:46:01.326]
INFO:
ivc-integration:test:native bb - ecc_op : 392
13:46:01 busread : 12
13:46:01 lookup : 2
13:46:01 pub_inputs : 36
13:46:01 arithmetic : 6913
13:46:01 delta_range : 2353
13:46:01 elliptic : 2
13:46:01 aux : 110
13:46:01 poseidon2_external : 2492
13:46:01 poseidon2_internal : 14195
13:46:01 overflow : 0
13:46:01 [13:46:01.594]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.00 MiB)
13:46:01 [13:46:01.768]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 671.00 MiB)
13:46:03 [13:46:03.218]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.00 MiB)
13:46:03 [13:46:03.377]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 671.00 MiB)
13:46:03 finished decider proving. (mem: 671.00 MiB)
13:46:03 [13:46:03.396]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 671.00 MiB)
13:46:03 [13:46:03.552]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 671.00 MiB)
13:46:03 [13:46:03.561]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 671.00 MiB)
13:46:03 [13:46:03.848]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 671.00 MiB)
13:46:03 [13:46:03.896]
INFO:
ivc-integration:test:native bb - time to construct proving key: 344 ms. (mem: 671.00 MiB)
13:46:05 [13:46:05.298]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 671.00 MiB)
13:46:06 [13:46:06.002]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 671.00 MiB)
13:46:06 [13:46:06.364]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.00 MiB)
13:46:07 [13:46:07.741]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.00 MiB)
13:46:09 [13:46:09.228]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.00 MiB)
13:46:09 [13:46:09.352]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 671.00 MiB)
13:46:09 finished decider proving. (mem: 671.00 MiB)
13:46:09 Constructing a Goblin proof with num ultra ops = 1038 (mem: 671.00 MiB)
13:46:09 [13:46:09.643]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 671.00 MiB)
13:46:10 [13:46:10.146]
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: 671.00 MiB)
13:46:10 [13:46:10.173]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 671.00 MiB)
13:46:12 [13:46:12.456]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.00 MiB)
13:46:15 [13:46:15.073]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.00 MiB)
13:46:19 [13:46:19.448]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 671.00 MiB)
13:46:19 prove translator... (mem: 671.00 MiB)
13:46:21 [13:46:21.303]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 704.32 MiB)
13:46:24 [13:46:24.639]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 705.32 MiB)
13:46:27 [13:46:27.874]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 706.32 MiB)
13:46:27 [13:46:27.875]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 706.32 MiB)
13:46:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 706.32 MiB)
13:46:27 [13:46:27.890]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 706.32 MiB)
13:46:27 libra_evals_verified: 1 (mem: 706.32 MiB)
13:46:27 pairing_check_verified: 1 (mem: 706.32 MiB)
13:46:27 Mega verified: 1 (mem: 706.32 MiB)
13:46:28 [13:46:28.000]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1
13:46:28 [13:46:28.001]
INFO:
ivc-integration:test:native bb - (mem:
13:46:28 [13:46:28.002]
INFO:
ivc-integration:test:native bb - 707.32 MiB)
13:46:28 batch opening verified?: 1 (mem: 707.32 MiB)
13:46:28 eccvm consistency check verified?: 1 (mem: 707.32 MiB)
13:46:28 translation masking consistency checked?: 1 (mem: 707.32 MiB)
13:46:28 [13:46:28.024]
INFO:
ivc-integration:test:native bb - merge verified?: 1
13:46:28 [13:46:28.025]
INFO:
ivc-integration:test:native bb - (mem:
13:46:28 [13:46:28.025]
INFO:
ivc-integration:test:native bb - 707.32
13:46:28 [13:46:28.028]
INFO:
ivc-integration:test:native bb - MiB)
13:46:28 eccvm verified?: 1 (mem: 707.32 MiB)
13:46:28 accumulator construction_verified?: 1 (mem: 707.32 MiB)
13:46:28 translation verified?: 1 (mem: 707.32 MiB)
13:46:28 consistency verified?: 1 (mem: 707.32 MiB)
13:46:28 Goblin verified: 1 (mem: 707.32 MiB)
13:46:28 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-JgVsPm" (mem: 707.32 MiB)
13:46:28 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-JgVsPm" (mem: 707.32 MiB)
13:46:28 BN254 commitment key size: 262144 (mem: 707.32 MiB)
13:46:28 [13:46:28.030]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
13:46:28 [13:46:28.032]
INFO:
ivc-integration:test:native bb - (mem: 707.32 MiB)
13:46:28 [13:46:28.035]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
13:46:28 [13:46:28.036]
INFO:
ivc-integration:test:native bb - (mem:
13:46:28 [13:46:28.036]
INFO:
ivc-integration:test:native bb - 707.32
13:46:28 [13:46:28.038]
INFO:
ivc-integration:test:native bb - MiB)
13:46:28 goblin ecc op : 4/1024 (mem: 707.32 MiB)
13:46:28 busread : 3/6000 (mem: 707.32 MiB)
13:46:28 lookups : 2/15000 (mem: 707.32 MiB)
13:46:28 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 707.32 MiB)
13:46:28 arithmetic : 1773/56000 (mem: 707.32 MiB)
13:46:28 delta range : 1754/18000 (mem: 707.32 MiB)
13:46:28 elliptic : 2/6000 (mem: 707.32 MiB)
13:46:28 auxiliary : 26/26000 (mem: 707.32 MiB)
13:46:28 poseidon ext : 2/17000 (mem: 707.32 MiB)
13:46:28 poseidon int : 2/92000 (mem: 707.32 MiB)
13:46:28 overflow : 0/0 (mem: 707.32 MiB)
13:46:28 (mem: 707.32 MiB)
13:46:28 Total structured size: 242025 (mem: 707.32 MiB)
13:46:28 allocating polynomials object in proving key... (mem: 707.32 MiB)
13:46:28 [13:46:28.359]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 707.32 MiB)
13:46:28 [13:46:28.386]
INFO:
ivc-integration:test:native bb - time to construct proving key: 353 ms. (mem: 707.32 MiB)
13:46:28 [13:46:28.500]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 707.32 MiB)
13:46:29 [13:46:29.013]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 707.32 MiB)
13:46:29 [13:46:29.014]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 707.32 MiB)
13:46:29 [13:46:29.556]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 707.32 MiB)
13:46:29 [13:46:29.565]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 707.32 MiB)
13:46:29 [13:46:29.583]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 707.32 MiB)
13:46:29 [13:46:29.585]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.32 MiB)
13:46:29 goblin ecc op : 56/1024 (mem: 707.32 MiB)
13:46:29 busread : 3/6000
13:46:29 [13:46:29.586]
INFO:
ivc-integration:test:native bb - (mem: 707.32 MiB)
13:46:29 lookups : 2/15000 (mem: 707.32 MiB)
13:46:29 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 707.32 MiB)
13:46:29 arithmetic : 4533/56000 (mem: 707.32 MiB)
13:46:29 delta range : 2060/18000 (mem: 707.32 MiB)
13:46:29 elliptic : 2/6000 (mem: 707.32 MiB)
13:46:29 auxiliary : 50/26000 (mem: 707.32 MiB)
13:46:29 poseidon ext : 1332/17000 (mem: 707.32 MiB)
13:46:29 poseidon int : 7583/92000 (mem: 707.32 MiB)
13:46:29 overflow : 0/0 (mem: 707.32 MiB)
13:46:29 (mem: 707.32 MiB)
13:46:29 Total structured size: 242025 (mem: 707.32 MiB)
13:46:29 allocating polynomials object in proving key... (mem: 707.32 MiB)
13:46:29 [13:46:29.836]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 707.32 MiB)
13:46:29 [13:46:29.875]
INFO:
ivc-integration:test:native bb - time to construct proving key: 292 ms. (mem: 707.32 MiB)
13:46:29 [13:46:29.993]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 707.32 MiB)
13:46:30 [13:46:30.708]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 708.32 MiB)
13:46:30 [13:46:30.710]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 708.32 MiB)
13:46:31 [13:46:31.091]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 708.32 MiB)
13:46:31 [13:46:31.243]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 708.32 MiB)
13:46:31 [13:46:31.336]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 740.32 MiB)
13:46:32 [13:46:32.061]
INFO:
ivc-integration:test:native bb - folded (mem: 740.32 MiB)
13:46:32 constructed folding proof (mem: 740.32 MiB)
13:46:32 [13:46:32.065]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 740.32 MiB)
13:46:32 Minimum required block sizes for structured trace: (mem: 740.32 MiB)
13:46:32 (mem: 740.32 MiB)
13:46:32 prove decider... (mem: 740.32 MiB)
13:46:32 [13:46:32.066]
INFO:
ivc-integration:test:native bb - ecc_op : 56
13:46:32 busread : 3
13:46:32 lookup : 2
13:46:32 pub_inputs : 36
13:46:32 arithmetic : 4533
13:46:32 delta_range : 2060
13:46:32 elliptic : 2
13:46:32 aux : 50
13:46:32 poseidon2_external : 1332
13:46:32 poseidon2_internal : 7583
13:46:32 overflow : 0
13:46:32 [13:46:32.238]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 740.32 MiB)
13:46:32 [13:46:32.525]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 740.32 MiB)
13:46:33 [13:46:33.883]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 740.32 MiB)
13:46:34 [13:46:34.058]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 740.32 MiB)
13:46:34 finished decider proving. (mem: 740.32 MiB)
13:46:34 [13:46:34.090]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440
13:46:34 [13:46:34.094]
INFO:
ivc-integration:test:native bb - (mem: 740.32 MiB)
13:46:34 [13:46:34.191]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 740.32 MiB)
13:46:34 [13:46:34.194]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 740.32 MiB)
13:46:34 [13:46:34.321]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 740.32 MiB)
13:46:34 [13:46:34.373]
INFO:
ivc-integration:test:native bb - time to construct proving key: 184 ms. (mem: 740.32 MiB)
13:46:35 [13:46:35.127]
INFO:
ivc-integration:test:native BB concurrency: 1
13:46:35 [13:46:35.128]
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-JgVsPm/proof -k /tmp/bb-client-ivc-integration-JgVsPm/vk -v
13:46:35 [13:46:35.161]
INFO:
ivc-integration:test:native bb command: verify (mem: 184.88 MiB)
13:46:35 Scheme is: client_ivc, num threads: 1 (mem: 184.88 MiB)
13:46:35 --proof_path: /tmp/bb-client-ivc-integration-JgVsPm/proof (mem: 184.88 MiB)
13:46:35 --vk_path: /tmp/bb-client-ivc-integration-JgVsPm/vk (mem: 184.88 MiB)
13:46:35 --verbose: true (mem: 184.88 MiB)
13:46:35 --scheme: client_ivc (mem: 184.88 MiB)
13:46:35 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 184.88 MiB)
13:46:35 [13:46:35.178]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 184.88 MiB)
13:46:35 [13:46:35.180]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 184.88 MiB)
13:46:35 [13:46:35.201]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.88 MiB)
13:46:35 Initialized BN254 CRS from memory with num points = 1 (mem: 184.88 MiB)
13:46:35 [13:46:35.202]
INFO:
ivc-integration:test:native sumcheck_verified: 1
13:46:35 [13:46:35.202]
INFO:
ivc-integration:test:native (mem:
13:46:35 [13:46:35.203]
INFO:
ivc-integration:test:native 184.88
13:46:35 [13:46:35.207]
INFO:
ivc-integration:test:native MiB)
13:46:35 libra_evals_verified: 1 (mem: 184.88 MiB)
13:46:35 pairing_check_verified: 1 (mem: 184.88 MiB)
13:46:35 Mega verified: 1 (mem: 184.88 MiB)
13:46:35 [13:46:35.784]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1
13:46:35 [13:46:35.785]
INFO:
ivc-integration:test:native (mem:
13:46:35 [13:46:35.789]
INFO:
ivc-integration:test:native 184.88 MiB)
13:46:35 batch opening verified?: 1 (mem: 184.88 MiB)
13:46:35 eccvm consistency check verified?: 1 (mem: 184.88 MiB)
13:46:35 translation masking consistency checked?: 1 (mem: 184.88 MiB)
13:46:35 [13:46:35.808]
INFO:
ivc-integration:test:native merge verified?: 1
13:46:35 [13:46:35.812]
INFO:
ivc-integration:test:native (mem: 184.88 MiB)
13:46:35 eccvm verified?: 1 (mem: 184.88 MiB)
13:46:35 accumulator construction_verified?: 1 (mem: 184.88 MiB)
13:46:35 translation verified?: 1 (mem: 184.88 MiB)
13:46:35 consistency verified?: 1 (mem: 184.88 MiB)
13:46:35 Goblin verified: 1 (mem: 184.88 MiB)
13:46:35 verified: 1 (mem: 184.88 MiB)
13:46:35 [13:46:35.901]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-SDr0oY/ivc-inputs.msgpack
13:46:35 [13:46:35.902]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
13:46:35 [13:46:35.902]
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-SDr0oY --ivc_inputs_path /tmp/bb-client-ivc-integration-SDr0oY/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
13:46:35 [13:46:35.940]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 185.38 MiB)
13:46:35 Scheme is: client_ivc, num threads: 128 (mem: 185.38 MiB)
13:46:35 --scheme: client_ivc (mem: 185.38 MiB)
13:46:35 --output_path: /tmp/bb-client-ivc-integration-SDr0oY (mem: 185.38 MiB)
13:46:35 --ivc_inputs_path: /tmp/bb-client-ivc-integration-SDr0oY/ivc-inputs.msgpack (mem: 185.38 MiB)
13:46:35 --verbose: true (mem: 185.38 MiB)
13:46:35 --write_vk: true (mem: 185.38 MiB)
13:46:35 [13:46:35.948]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144
13:46:35 [13:46:35.949]
INFO:
ivc-integration:test:native bb - (mem: 185.38 MiB)
13:46:35 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 185.38 MiB)
13:46:36 [13:46:36.024]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 185.38 MiB)
13:46:36 [13:46:36.028]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 185.38 MiB)
13:46:36 Constructing DeciderProvingKey (mem: 185.38 MiB)
13:46:36 [13:46:36.032]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 185.38 MiB)
13:46:36 goblin ecc op : 4/1024 (mem: 185.38 MiB)
13:46:36 busread : 7/6000 (mem: 185.38 MiB)
13:46:36 lookups : 2/15000 (mem: 185.38 MiB)
13:46:36 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 185.38 MiB)
13:46:36 arithmetic : 1760/56000 (mem: 185.38 MiB)
13:46:36 delta range : 1754/18000 (mem: 185.38 MiB)
13:46:36 elliptic : 2/6000 (mem: 185.38 MiB)
13:46:36 auxiliary : 26/26000 (mem: 185.38 MiB)
13:46:36 poseidon ext : 2/17000 (mem: 185.38 MiB)
13:46:36 poseidon int : 2/92000 (mem: 185.38 MiB)
13:46:36 overflow : 0/0 (mem: 185.38 MiB)
13:46:36 (mem: 185.38 MiB)
13:46:36 Total structured size: 242025 (mem: 185.38 MiB)
13:46:36 allocating polynomials object in proving key... (mem: 185.38 MiB)
13:46:36 [13:46:36.311]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 342.91 MiB)
13:46:36 [13:46:36.339]
INFO:
ivc-integration:test:native bb - time to construct proving key: 311 ms. (mem: 353.91 MiB)
13:46:36 [13:46:36.524]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62cfa255ef80 (mem: 353.91 MiB)
13:46:36 [13:46:36.525]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 353.91 MiB)
13:46:36 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 353.91 MiB)
13:46:37 [13:46:37.022]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 366.91 MiB)
13:46:37 [13:46:37.031]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 367.91 MiB)
13:46:37 [13:46:37.046]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 367.91 MiB)
13:46:37 Constructing DeciderProvingKey (mem: 367.91 MiB)
13:46:37 [13:46:37.049]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 367.91 MiB)
13:46:37 goblin ecc op : 56/1024 (mem: 367.91 MiB)
13:46:37 [13:46:37.053]
INFO:
ivc-integration:test:native bb - busread : 12/6000 (mem: 367.91 MiB)
13:46:37 lookups : 2/15000 (mem: 367.91 MiB)
13:46:37 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 367.91 MiB)
13:46:37 arithmetic : 4677/56000 (mem: 367.91 MiB)
13:46:37 delta range : 2073/18000 (mem: 367.91 MiB)
13:46:37 elliptic : 2/6000 (mem: 367.91 MiB)
13:46:37 auxiliary : 110/26000 (mem: 367.91 MiB)
13:46:37 poseidon ext : 1322/17000 (mem: 367.91 MiB)
13:46:37 poseidon int : 7526/92000 (mem: 367.91 MiB)
13:46:37 overflow : 0/0 (mem: 367.91 MiB)
13:46:37 (mem: 367.91 MiB)
13:46:37 Total structured size: 242025 (mem: 367.91 MiB)
13:46:37 allocating polynomials object in proving key... (mem: 367.91 MiB)
13:46:37 [13:46:37.310]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 575.91 MiB)
13:46:37 [13:46:37.389]
INFO:
ivc-integration:test:native bb - time to construct proving key: 343 ms. (mem: 592.91 MiB)
13:46:37 [13:46:37.852]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62cfa2568240 (mem: 592.91 MiB)
13:46:37 computing folding proof (mem: 592.91 MiB)
13:46:37 [13:46:37.854]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 592.91 MiB)
13:46:38 [13:46:38.363]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 594.91 MiB)
13:46:38 [13:46:38.447]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 631.91 MiB)
13:46:38 [13:46:38.509]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 663.91 MiB)
13:46:39 [13:46:39.260]
INFO:
ivc-integration:test:native bb - folded (mem: 663.91 MiB)
13:46:39 constructed folding proof (mem: 663.91 MiB)
13:46:39 [13:46:39.263]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 663.91 MiB)
13:46:39 Constructing DeciderProvingKey (mem: 663.91 MiB)
13:46:39 [13:46:39.267]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 663.91 MiB)
13:46:39 goblin ecc op : 4/1024 (mem: 663.91 MiB)
13:46:39 busread : 7/6000 (mem: 663.91 MiB)
13:46:39 lookups : 2/15000 (mem: 663.91 MiB)
13:46:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 663.91 MiB)
13:46:39 arithmetic : 1760/56000 (mem: 663.91 MiB)
13:46:39 delta range : 1754/18000 (mem: 663.91 MiB)
13:46:39 elliptic : 2/6000 (mem: 663.91 MiB)
13:46:39 auxiliary : 26/26000 (mem: 663.91 MiB)
13:46:39 poseidon ext : 2/17000 (mem: 663.91 MiB)
13:46:39 poseidon int : 2/92000 (mem: 663.91 MiB)
13:46:39 overflow : 0/0 (mem: 663.91 MiB)
13:46:39 (mem: 663.91 MiB)
13:46:39 Total structured size: 242025 (mem: 663.91 MiB)
13:46:39 allocating polynomials object in proving key... (mem: 663.91 MiB)
13:46:39 [13:46:39.410]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 663.91 MiB)
13:46:39 [13:46:39.426]
INFO:
ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 663.91 MiB)
13:46:39 [13:46:39.540]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62cfa255a7c0 (mem:
13:46:39 [13:46:39.541]
INFO:
ivc-integration:test:native bb - 663.91 MiB)
13:46:39 computing folding proof (mem: 663.91 MiB)
13:46:39 [13:46:39.543]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 663.91 MiB)
13:46:39 [13:46:39.846]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 663.91 MiB)
13:46:39 [13:46:39.932]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 663.91 MiB)
13:46:39 [13:46:39.973]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 663.91 MiB)
13:46:40 [13:46:40.330]
INFO:
ivc-integration:test:native bb - folded (mem: 663.91 MiB)
13:46:40 constructed folding proof (mem: 663.91 MiB)
13:46:40 [13:46:40.337]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 663.91 MiB)
13:46:40 [13:46:40.429]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 663.91 MiB)
13:46:40 [13:46:40.498]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 663.91 MiB)
13:46:40 Constructing DeciderProvingKey (mem: 663.91 MiB)
13:46:40 [13:46:40.504]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
13:46:40 [13:46:40.505]
INFO:
ivc-integration:test:native bb - (mem:
13:46:40 [13:46:40.506]
INFO:
ivc-integration:test:native bb - 663.91 MiB)
13:46:40 goblin ecc op : 792/1024 (mem: 663.91 MiB)
13:46:40 busread : 12/6000 (mem: 663.91 MiB)
13:46:40 lookups : 2/15000 (mem: 663.91 MiB)
13:46:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 663.91 MiB)
13:46:40 arithmetic : 12208/56000 (mem: 663.91 MiB)
13:46:40 delta range : 2981/18000 (mem: 663.91 MiB)
13:46:40 elliptic : 2/6000 (mem: 663.91 MiB)
13:46:40 auxiliary : 350/26000 (mem: 663.91 MiB)
13:46:40 poseidon ext : 4982/17000 (mem: 663.91 MiB)
13:46:40 poseidon int : 28388/92000 (mem: 663.91 MiB)
13:46:40 overflow : 0/0 (mem: 663.91 MiB)
13:46:40 (mem: 663.91 MiB)
13:46:40 Total structured size: 242025 (mem: 663.91 MiB)
13:46:40 allocating polynomials object in proving key... (mem: 663.91 MiB)
13:46:40 [13:46:40.597]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 663.91 MiB)
13:46:40 [13:46:40.627]
INFO:
ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 663.91 MiB)
13:46:40 [13:46:40.768]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62cfa25dc100 (mem: 663.91 MiB)
13:46:40 computing folding proof (mem: 663.91 MiB)
13:46:40 [13:46:40.769]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 663.91 MiB)
13:46:41 [13:46:41.497]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 663.91 MiB)
13:46:41 [13:46:41.576]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 678.99 MiB)
13:46:41 [13:46:41.636]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 710.99 MiB)
13:46:41 [13:46:41.943]
INFO:
ivc-integration:test:native bb - folded (mem: 710.99 MiB)
13:46:41 constructed folding proof (mem: 710.99 MiB)
13:46:41 [13:46:41.952]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 710.99 MiB)
13:46:42 [13:46:42.022]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 710.99 MiB)
13:46:42 Constructing DeciderProvingKey (mem: 710.99 MiB)
13:46:42 [13:46:42.024]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 710.99 MiB)
13:46:42 goblin ecc op : 392/1024 (mem: 710.99 MiB)
13:46:42 busread : 16/6000 (mem: 710.99 MiB)
13:46:42 lookups : 2/15000 (mem: 710.99 MiB)
13:46:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 710.99 MiB)
13:46:42 arithmetic : 6978/56000 (mem: 710.99 MiB)
13:46:42 delta range : 2367/18000 (mem: 710.99 MiB)
13:46:42 elliptic : 2/6000 (mem: 710.99 MiB)
13:46:42 auxiliary : 77/26000 (mem: 710.99 MiB)
13:46:42 poseidon ext : 2492/17000 (mem: 710.99 MiB)
13:46:42 poseidon int : 14195/92000 (mem: 710.99 MiB)
13:46:42 [13:46:42.025]
INFO:
ivc-integration:test:native bb - overflow : 0/0 (mem: 710.99 MiB)
13:46:42 (mem: 710.99 MiB)
13:46:42 Total structured size: 242025 (mem: 710.99 MiB)
13:46:42 allocating polynomials object in proving key... (mem: 710.99 MiB)
13:46:42 [13:46:42.160]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 710.99 MiB)
13:46:42 [13:46:42.233]
INFO:
ivc-integration:test:native bb - time to construct proving key: 213 ms. (mem: 710.99 MiB)
13:46:42 [13:46:42.429]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62cfa254ebc0 (mem: 710.99 MiB)
13:46:42 computing folding proof (mem: 710.99 MiB)
13:46:42 [13:46:42.430]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 710.99 MiB)
13:46:42 [13:46:42.792]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.99 MiB)
13:46:42 [13:46:42.879]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 710.99 MiB)
13:46:42 [13:46:42.928]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 711.91 MiB)
13:46:43 [13:46:43.131]
INFO:
ivc-integration:test:native bb - folded (mem: 711.91 MiB)
13:46:43 [13:46:43.131]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 711.91 MiB)
13:46:43 [13:46:43.139]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 711.91 MiB)
13:46:43 [13:46:43.191]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 711.91 MiB)
13:46:43 Constructing DeciderProvingKey (mem: 711.91 MiB)
13:46:43 [13:46:43.194]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 711.91 MiB)
13:46:43 goblin ecc op : 392/1024 (mem: 711.91 MiB)
13:46:43 busread : 3/6000 (mem: 711.91 MiB)
13:46:43 lookups : 2/15000 (mem: 711.91 MiB)
13:46:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 711.91 MiB)
13:46:43 arithmetic : 6913/56000 (mem: 711.91 MiB)
13:46:43 delta range : 2353/18000 (mem: 711.91 MiB)
13:46:43 elliptic : 2/6000 (mem: 711.91 MiB)
13:46:43 auxiliary : 50/26000 (mem: 711.91 MiB)
13:46:43 poseidon ext : 2492/17000 (mem: 711.91 MiB)
13:46:43 poseidon int : 14195/92000 (mem: 711.91 MiB)
13:46:43 overflow : 0/0 (mem: 711.91 MiB)
13:46:43 (mem: 711.91 MiB)
13:46:43 Total structured size: 242025 (mem: 711.91 MiB)
13:46:43 allocating polynomials object in proving key... (mem: 711.91 MiB)
13:46:43 [13:46:43.279]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 711.91 MiB)
13:46:43 [13:46:43.306]
INFO:
ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 711.91 MiB)
13:46:43 [13:46:43.467]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62cfa2566440 (mem: 711.91 MiB)
13:46:43 computing folding proof (mem: 711.91 MiB)
13:46:43 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 711.91 MiB)
13:46:43 [13:46:43.644]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 711.91 MiB)
13:46:43 [13:46:43.712]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 711.91 MiB)
13:46:43 [13:46:43.755]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 712.22 MiB)
13:46:43 [13:46:43.881]
INFO:
ivc-integration:test:native bb - folded (mem: 712.22 MiB)
13:46:43 constructed folding proof (mem: 712.22 MiB)
13:46:43 [13:46:43.881]
INFO:
ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 712.22 MiB)
13:46:43 Minimum required block sizes for structured trace: (mem: 712.22 MiB)
13:46:43 (mem: 712.22 MiB)
13:46:43 prove decider... (mem: 712.22 MiB)
13:46:43 [13:46:43.882]
INFO:
ivc-integration:test:native bb - ecc_op : 792
13:46:43 busread : 16
13:46:43 lookup : 2
13:46:43 pub_inputs : 36
13:46:43 arithmetic : 12208
13:46:43 delta_range : 2981
13:46:43 elliptic : 2
13:46:43 aux : 350
13:46:43 poseidon2_external : 4982
13:46:43 poseidon2_internal : 28388
13:46:43 overflow : 0
13:46:43 [13:46:43.947]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.22 MiB)
13:46:44 [13:46:44.053]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
13:46:44 [13:46:44.055]
INFO:
ivc-integration:test:native bb - (mem:
13:46:44 [13:46:44.056]
INFO:
ivc-integration:test:native bb - 712.22
13:46:44 [13:46:44.058]
INFO:
ivc-integration:test:native bb - MiB)
13:46:44 [13:46:44.545]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 712.22 MiB)
13:46:44 [13:46:44.645]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 712.22 MiB)
13:46:44 finished decider proving. (mem: 712.22 MiB)
13:46:44 [13:46:44.670]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e
13:46:44 [13:46:44.671]
INFO:
ivc-integration:test:native bb - (mem: 712.22 MiB)
13:46:44 [13:46:44.750]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 712.22 MiB)
13:46:44 [13:46:44.754]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 712.22 MiB)
13:46:44 [13:46:44.826]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 712.22 MiB)
13:46:44 [13:46:44.871]
INFO:
ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 712.22 MiB)
13:46:45 [13:46:45.547]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 712.22 MiB)
13:46:45 [13:46:45.797]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 712.22 MiB)
13:46:45 [13:46:45.972]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.22 MiB)
13:46:46 [13:46:46.548]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 712.22 MiB)
13:46:47 [13:46:47.185]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 712.22 MiB)
13:46:47 [13:46:47.258]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 712.22 MiB)
13:46:47 finished decider proving. (mem: 712.22 MiB)
13:46:47 Constructing a Goblin proof with num ultra ops = 2226 (mem: 712.22 MiB)
13:46:47 [13:46:47.641]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 712.22 MiB)
13:46:48 [13:46:48.002]
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: 712.22 MiB)
13:46:48 [13:46:48.014]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 712.22 MiB)
13:46:49 [13:46:49.160]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 712.22 MiB)
13:46:49 [13:46:49.962]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 712.22 MiB)
13:46:55 [13:46:55.554]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 712.22 MiB)
13:46:55 prove translator... (mem: 712.22 MiB)
13:46:58 [13:46:58.633]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 727.52 MiB)
13:47:00 [13:47:00.936]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
13:47:00 [13:47:00.937]
INFO:
ivc-integration:test:native bb - (mem: 728.52 MiB)
13:47:03 [13:47:03.016]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 729.52 MiB)
13:47:03 [13:47:03.017]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 729.52 MiB)
13:47:03 [13:47:03.017]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 729.52 MiB)
13:47:03 [13:47:03.033]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 729.52 MiB)
13:47:03 libra_evals_verified: 1 (mem: 729.52 MiB)
13:47:03 pairing_check_verified: 1 (mem: 729.52 MiB)
13:47:03 Mega verified: 1 (mem: 729.52 MiB)
13:47:03 [13:47:03.121]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 730.52 MiB)
13:47:03 batch opening verified?: 1 (mem: 730.52 MiB)
13:47:03 eccvm consistency check verified?: 1 (mem: 730.52 MiB)
13:47:03 translation masking consistency checked?: 1 (mem: 730.52 MiB)
13:47:03 [13:47:03.139]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 730.52 MiB)
13:47:03 eccvm verified?: 1 (mem: 730.52 MiB)
13:47:03 accumulator construction_verified?: 1 (mem: 730.52 MiB)
13:47:03 translation verified?: 1 (mem: 730.52 MiB)
13:47:03 consistency verified?: 1 (mem: 730.52 MiB)
13:47:03 [13:47:03.139]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 730.52 MiB)
13:47:03 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-SDr0oY" (mem: 730.52 MiB)
13:47:03 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-SDr0oY" (mem: 730.52 MiB)
13:47:03 BN254 commitment key size: 262144 (mem: 730.52 MiB)
13:47:03 [13:47:03.142]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 730.52 MiB)
13:47:03 [13:47:03.145]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 730.52 MiB)
13:47:03 goblin ecc op : 4/1024 (mem: 730.52 MiB)
13:47:03 [13:47:03.145]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 730.52 MiB)
13:47:03 lookups : 2/15000 (mem: 730.52 MiB)
13:47:03 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 730.52 MiB)
13:47:03 arithmetic : 1773/56000 (mem: 730.52 MiB)
13:47:03 delta range : 1754/18000 (mem: 730.52 MiB)
13:47:03 elliptic : 2/6000 (mem: 730.52 MiB)
13:47:03 auxiliary : 26/26000 (mem: 730.52 MiB)
13:47:03 poseidon ext : 2/17000 (mem: 730.52 MiB)
13:47:03 poseidon int : 2/92000 (mem: 730.52 MiB)
13:47:03 overflow : 0/0 (mem: 730.52 MiB)
13:47:03 (mem: 730.52 MiB)
13:47:03 Total structured size: 242025 (mem: 730.52 MiB)
13:47:03 allocating polynomials object in proving key... (mem: 730.52 MiB)
13:47:03 [13:47:03.204]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.52 MiB)
13:47:03 [13:47:03.213]
INFO:
ivc-integration:test:native bb - time to construct proving key: 70 ms. (mem: 730.52 MiB)
13:47:03 [13:47:03.282]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 730.52 MiB)
13:47:03 [13:47:03.717]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 730.52 MiB)
13:47:03 [13:47:03.717]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 730.52 MiB)
13:47:03 [13:47:03.988]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 731.52 MiB)
13:47:03 [13:47:03.996]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
13:47:03 [13:47:03.998]
INFO:
ivc-integration:test:native bb - (mem:
13:47:03 [13:47:03.998]
INFO:
ivc-integration:test:native bb - 731.52
13:47:03 [13:47:03.998]
INFO:
ivc-integration:test:native bb - MiB)
13:47:03 [13:47:03.999]
INFO:
ivc-integration:test:native bb -
13:47:04 [13:47:04.015]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 731.52 MiB)
13:47:04 [13:47:04.019]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 731.52 MiB)
13:47:04 goblin ecc op : 56/1024 (mem: 731.52 MiB)
13:47:04 [13:47:04.024]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 731.52 MiB)
13:47:04 lookups : 2/15000 (mem: 731.52 MiB)
13:47:04 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 731.52 MiB)
13:47:04 arithmetic : 4533/56000 (mem: 731.52 MiB)
13:47:04 delta range : 2060/18000 (mem: 731.52 MiB)
13:47:04 elliptic : 2/6000 (mem: 731.52 MiB)
13:47:04 auxiliary : 50/26000 (mem: 731.52 MiB)
13:47:04 poseidon ext : 1332/17000 (mem: 731.52 MiB)
13:47:04 poseidon int : 7583/92000 (mem: 731.52 MiB)
13:47:04 overflow : 0/0 (mem: 731.52 MiB)
13:47:04 (mem: 731.52 MiB)
13:47:04 Total structured size: 242025 (mem: 731.52 MiB)
13:47:04 allocating polynomials object in proving key... (mem: 731.52 MiB)
13:47:04 [13:47:04.127]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 731.52 MiB)
13:47:04 [13:47:04.155]
INFO:
ivc-integration:test:native bb - time to construct proving key: 139 ms. (mem: 731.52 MiB)
13:47:04 [13:47:04.267]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 731.52 MiB)
13:47:04 [13:47:04.507]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 731.52 MiB)
13:47:04 [13:47:04.509]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 731.52 MiB)
13:47:05 [13:47:05.175]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 731.52 MiB)
13:47:05 [13:47:05.316]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 731.52 MiB)
13:47:05 [13:47:05.368]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 763.52 MiB)
13:47:05 [13:47:05.596]
INFO:
ivc-integration:test:native bb - folded (mem: 763.52 MiB)
13:47:05 constructed folding proof (mem: 763.52 MiB)
13:47:05 Largest circuit: 15565 gates. Trace details: (mem: 763.52 MiB)
13:47:05 Minimum required block sizes for structured trace: (mem: 763.52 MiB)
13:47:05 (mem: 763.52 MiB)
13:47:05 prove decider... (mem: 763.52 MiB)
13:47:05 [13:47:05.597]
INFO:
ivc-integration:test:native bb - ecc_op : 56
13:47:05 busread : 3
13:47:05 lookup : 2
13:47:05 pub_inputs : 36
13:47:05 arithmetic : 4533
13:47:05 delta_range : 2060
13:47:05 elliptic : 2
13:47:05 aux : 50
13:47:05 poseidon2_external : 1332
13:47:05 poseidon2_internal : 7583
13:47:05 overflow : 0
13:47:05 [13:47:05.734]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 763.52 MiB)
13:47:05 [13:47:05.883]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 763.52 MiB)
13:47:06 [13:47:06.739]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 763.52 MiB)
13:47:06 [13:47:06.833]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 763.52 MiB)
13:47:06 finished decider proving. (mem: 763.52 MiB)
13:47:06 [13:47:06.848]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 763.52 MiB)
13:47:06 [13:47:06.943]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 763.52 MiB)
13:47:06 [13:47:06.949]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 763.52 MiB)
13:47:07 [13:47:07.029]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 763.52 MiB)
13:47:07 [13:47:07.070]
INFO:
ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 763.52 MiB)
13:47:07 [13:47:07.398]
INFO:
ivc-integration:test:native BB concurrency: 1
13:47:07 [13:47:07.398]
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-SDr0oY/proof -k /tmp/bb-client-ivc-integration-SDr0oY/vk -v
13:47:07 [13:47:07.421]
INFO:
ivc-integration:test:native bb command: verify (mem: 190.11 MiB)
13:47:07 Scheme is: client_ivc, num threads: 1 (mem: 190.11 MiB)
13:47:07 --proof_path: /tmp/bb-client-ivc-integration-SDr0oY/proof (mem: 190.11 MiB)
13:47:07 --vk_path: /tmp/bb-client-ivc-integration-SDr0oY/vk (mem: 190.11 MiB)
13:47:07 --verbose: true (mem: 190.11 MiB)
13:47:07 --scheme: client_ivc (mem: 190.11 MiB)
13:47:07 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 190.11 MiB)
13:47:07 [13:47:07.437]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 190.11 MiB)
13:47:07 [13:47:07.439]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 190.11 MiB)
13:47:07 [13:47:07.464]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 190.11 MiB)
13:47:07 [13:47:07.464]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 190.11 MiB)
13:47:07 [13:47:07.465]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 190.11 MiB)
13:47:07 libra_evals_verified: 1 (mem: 190.11 MiB)
13:47:07 pairing_check_verified: 1 (mem: 190.11 MiB)
13:47:07 [13:47:07.465]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 190.11 MiB)
13:47:07 [13:47:07.992]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.11 MiB)
13:47:07 batch opening verified?: 1 (mem: 190.11 MiB)
13:47:07 eccvm consistency check verified?: 1 (mem: 190.11 MiB)
13:47:07 translation masking consistency checked?: 1 (mem: 190.11 MiB)
13:47:08 [13:47:08.010]
INFO:
ivc-integration:test:native merge verified?: 1
13:47:08 [13:47:08.010]
INFO:
ivc-integration:test:native (mem: 190.11 MiB)
13:47:08 eccvm verified?: 1 (mem: 190.11 MiB)
13:47:08 accumulator construction_verified?: 1 (mem: 190.11 MiB)
13:47:08 translation verified?: 1 (mem: 190.11 MiB)
13:47:08 consistency verified?: 1 (mem: 190.11 MiB)
13:47:08 Goblin verified: 1 (mem: 190.11 MiB)
13:47:08 verified: 1 (mem: 190.11 MiB)
13:47:08
PASS src/native_client_ivc_integration.test.ts (
74.162 s)
13:47:08 Client IVC Integration
13:47:08
✓ Should generate a verifiable client IVC proof from a simple mock tx (38136 ms)
13:47:08
✓ Should generate a verifiable client IVC proof from a complex mock tx (32197 ms)
13:47:08
13:47:08
Test Suites: 1 passed, 1 total
13:47:08
Tests: 2 passed, 2 total
13:47:08
Snapshots: 0 total
13:47:08
Time: 74.252 s
13:47:08
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
13:47:08
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?