Parent Log:
http://ci.aztec-labs.com/10acacbd74a91c51
Command: 430b662d7e79c93b: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/04760775ac41c49f04129b978fde906271954e3a
Env: REF_NAME=gh-readonly-queue/next/pr-15067-b70544b6d50e3ecb6598361f1990bd51745c7b55 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 23:15:30 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15067_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
23:15:35 [23:15:35.442]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-n0y4C6/ivc-inputs.msgpack
23:15:35 [23:15:35.446]
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-n0y4C6 --ivc_inputs_path /tmp/bb-client-ivc-integration-n0y4C6/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
23:15:35 [23:15:35.464]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.70 MiB)
23:15:35 Scheme is: client_ivc, num threads: 128 (mem: 181.70 MiB)
23:15:35 --scheme: client_ivc (mem: 181.70 MiB)
23:15:35 --output_path: /tmp/bb-client-ivc-integration-n0y4C6 (mem: 181.70 MiB)
23:15:35 --ivc_inputs_path: /tmp/bb-client-ivc-integration-n0y4C6/ivc-inputs.msgpack (mem: 181.70 MiB)
23:15:35 --verbose: true (mem: 181.70 MiB)
23:15:35 --write_vk: true (mem: 181.70 MiB)
23:15:35 [23:15:35.465]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.70 MiB)
23:15:35 [23:15:35.567]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 244.00 MiB)
23:15:35 [23:15:35.651]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 292.68 MiB)
23:15:35 [23:15:35.655]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 292.68 MiB)
23:15:35 Constructing DeciderProvingKey (mem: 292.68 MiB)
23:15:35 [23:15:35.661]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 292.68 MiB)
23:15:35 goblin ecc op : 4/1024 (mem: 292.68 MiB)
23:15:35 busread : 7/6000 (mem:
23:15:35 [23:15:35.663]
INFO:
ivc-integration:test:native bb - 292.68 MiB)
23:15:35 lookups : 2/15000 (mem: 292.68 MiB)
23:15:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 292.68 MiB)
23:15:35 arithmetic : 1760/56000 (mem: 292.68 MiB)
23:15:35 delta range : 1754/18000 (mem: 292.68 MiB)
23:15:35 elliptic : 2/6000 (mem: 292.68 MiB)
23:15:35 auxiliary : 26/26000 (mem: 292.68 MiB)
23:15:35 poseidon ext : 2/17000 (mem: 292.68 MiB)
23:15:35 poseidon int : 2/92000 (mem: 292.68 MiB)
23:15:35 overflow : 0/0 (mem: 292.68 MiB)
23:15:35 (mem: 292.68 MiB)
23:15:35 Total structured size: 242025 (mem: 292.68 MiB)
23:15:35 allocating polynomials object in proving key... (mem: 292.68 MiB)
23:15:35 [23:15:35.742]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 494.84 MiB)
23:15:35 [23:15:35.754]
INFO:
ivc-integration:test:native bb - time to construct proving key: 98 ms. (mem: 508.84 MiB)
23:15:35 [23:15:35.786]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5caf7dc4c600 (mem: 508.84 MiB)
23:15:35 computing oink proof... (mem: 508.84 MiB)
23:15:35 [23:15:35.788]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 508.84 MiB)
23:15:35 [23:15:35.939]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 516.84 MiB)
23:15:35 [23:15:35.948]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.84 MiB)
23:15:35 [23:15:35.963]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 516.84 MiB)
23:15:35 Constructing DeciderProvingKey (mem: 516.84 MiB)
23:15:35 [23:15:35.966]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 516.84 MiB)
23:15:35 goblin ecc op : 56/1024 (mem: 516.84 MiB)
23:15:35 busread : 12/6000 (mem: 516.84 MiB)
23:15:35 lookups : 2/15000 (mem: 516.84 MiB)
23:15:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 516.84 MiB)
23:15:35 arithmetic : 4625/56000 (mem: 516.84 MiB)
23:15:35 delta range : 2054/18000 (mem: 516.84 MiB)
23:15:35 elliptic : 2/6000 (mem: 516.84 MiB)
23:15:35 auxiliary : 110/26000 (mem: 516.84 MiB)
23:15:35 poseidon ext : 1302/17000 (mem: 516.84 MiB)
23:15:35 poseidon int : 7412/92000 (mem: 516.84 MiB)
23:15:35 overflow : 0/0 (mem: 516.84 MiB)
23:15:35 (mem: 516.84 MiB)
23:15:35 Total structured size: 242025 (mem: 516.84 MiB)
23:15:35 allocating polynomials object in proving key... (mem: 516.84 MiB)
23:15:36 [23:15:36.056]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 725.84 MiB)
23:15:36 [23:15:36.077]
INFO:
ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 742.84 MiB)
23:15:36 [23:15:36.142]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5caf7dc59280 (mem: 742.84 MiB)
23:15:36 computing folding proof (mem: 742.84 MiB)
23:15:36 [23:15:36.143]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 742.84 MiB)
23:15:36 [23:15:36.597]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 743.84 MiB)
23:15:36 [23:15:36.741]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 782.84 MiB)
23:15:36 [23:15:36.801]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.84 MiB)
23:15:37 [23:15:37.175]
INFO:
ivc-integration:test:native bb - folded (mem: 815.84 MiB)
23:15:37 constructed folding proof (mem: 815.84 MiB)
23:15:37 [23:15:37.188]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 815.84 MiB)
23:15:37 [23:15:37.267]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.84 MiB)
23:15:37 Constructing DeciderProvingKey (mem: 815.84 MiB)
23:15:37 [23:15:37.277]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.84 MiB)
23:15:37 goblin ecc op : 392/1024 (mem: 815.84 MiB)
23:15:37 busread : 3/6000 (mem: 815.84 MiB)
23:15:37 lookups : 2/15000 (mem: 815.84 MiB)
23:15:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.84 MiB)
23:15:37 arithmetic : 6849/56000 (mem: 815.84 MiB)
23:15:37 delta range : 2333/18000 (mem: 815.84 MiB)
23:15:37 elliptic : 2/6000 (mem: 815.84 MiB)
23:15:37 auxiliary : 50/26000 (mem: 815.84 MiB)
23:15:37 poseidon ext : 2472/17000 (mem: 815.84 MiB)
23:15:37 poseidon int : 14081/92000 (mem: 815.84 MiB)
23:15:37 overflow : 0/0 (mem: 815.84 MiB)
23:15:37 (mem: 815.84 MiB)
23:15:37 Total structured size: 242025 (mem: 815.84 MiB)
23:15:37 allocating polynomials object in proving key... (mem: 815.84 MiB)
23:15:37 [23:15:37.490]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.84 MiB)
23:15:37 [23:15:37.538]
INFO:
ivc-integration:test:native bb - time to construct proving key: 263 ms. (mem: 815.84 MiB)
23:15:37 [23:15:37.750]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5caf7dc49480 (mem: 815.84 MiB)
23:15:37 [23:15:37.752]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 815.84 MiB)
23:15:37 vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 815.84 MiB)
23:15:38 [23:15:38.349]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.84 MiB)
23:15:38 [23:15:38.520]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.84 MiB)
23:15:38 [23:15:38.572]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.84 MiB)
23:15:39 [23:15:39.039]
INFO:
ivc-integration:test:native bb - folded (mem: 815.84 MiB)
23:15:39 constructed folding proof (mem: 815.84 MiB)
23:15:39 [23:15:39.041]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 815.84 MiB)
23:15:39 Minimum required block sizes for structured trace: (mem: 815.84 MiB)
23:15:39 (mem: 815.84 MiB)
23:15:39 prove decider... (mem: 815.84 MiB)
23:15:39 [23:15:39.045]
INFO:
ivc-integration:test:native bb - ecc_op : 392
23:15:39 busread : 12
23:15:39 lookup : 2
23:15:39 pub_inputs : 36
23:15:39 arithmetic : 6849
23:15:39 delta_range : 2333
23:15:39 elliptic : 2
23:15:39 aux : 110
23:15:39 poseidon2_external : 2472
23:15:39 poseidon2_internal : 14081
23:15:39 overflow : 0
23:15:39 [23:15:39.253]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.84 MiB)
23:15:39 [23:15:39.478]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem:
23:15:39 [23:15:39.480]
INFO:
ivc-integration:test:native bb - 815.84 MiB)
23:15:40 [23:15:40.649]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.84 MiB)
23:15:40 [23:15:40.728]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 815.84 MiB)
23:15:40 finished decider proving. (mem: 815.84 MiB)
23:15:40 [23:15:40.747]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 815.84 MiB)
23:15:40 [23:15:40.855]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 815.84 MiB)
23:15:40 [23:15:40.862]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 815.84 MiB)
23:15:41 [23:15:41.083]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.84 MiB)
23:15:41 [23:15:41.162]
INFO:
ivc-integration:test:native bb - time to construct proving key: 304 ms. (mem: 815.84 MiB)
23:15:42 [23:15:42.298]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 815.84 MiB)
23:15:42 [23:15:42.881]
INFO:
ivc-integration:test:native bb - created oink proof
23:15:42 [23:15:42.883]
INFO:
ivc-integration:test:native bb - (mem: 815.84 MiB)
23:15:43 [23:15:43.170]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.84 MiB)
23:15:45 [23:15:45.171]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.84 MiB)
23:15:46 [23:15:46.340]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.84 MiB)
23:15:46 [23:15:46.388]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 815.84 MiB)
23:15:46 finished decider proving. (mem: 815.84 MiB)
23:15:46 Constructing a Goblin proof with num ultra ops = 1038 (mem: 815.84 MiB)
23:15:46 [23:15:46.707]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 815.84 MiB)
23:15:47 [23:15:47.405]
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: 815.84 MiB)
23:15:47 [23:15:47.435]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 815.84 MiB)
23:15:49 [23:15:49.822]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.84 MiB)
23:15:52 [23:15:52.319]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.84 MiB)
23:15:57 [23:15:57.080]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 815.84 MiB)
23:15:57 prove translator... (mem: 815.84 MiB)
23:15:59 [23:15:59.532]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.86 MiB)
23:16:01 [23:16:01.878]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.86 MiB)
23:16:04 [23:16:04.172]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 849.86 MiB)
23:16:04 [23:16:04.173]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 849.86 MiB)
23:16:04 [23:16:04.178]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
23:16:04 [23:16:04.179]
INFO:
ivc-integration:test:native bb - (mem: 849.86 MiB)
23:16:04 [23:16:04.201]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 849.86 MiB)
23:16:04 libra_evals_verified: 1 (mem: 849.86 MiB)
23:16:04 pairing_check_verified: 1 (mem: 849.86 MiB)
23:16:04 Mega verified: 1 (mem: 849.86 MiB)
23:16:04 [23:16:04.286]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 850.86 MiB)
23:16:04 batch opening verified?: 1 (mem: 850.86 MiB)
23:16:04 eccvm consistency check verified?: 1 (mem: 850.86 MiB)
23:16:04 translation masking consistency checked?: 1 (mem: 850.86 MiB)
23:16:04 [23:16:04.306]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 850.86 MiB)
23:16:04 eccvm verified?: 1 (mem: 850.86 MiB)
23:16:04 accumulator construction_verified?: 1 (mem: 850.86 MiB)
23:16:04 translation verified?: 1 (mem: 850.86 MiB)
23:16:04 consistency verified?: 1 (mem: 850.86 MiB)
23:16:04 Goblin verified: 1 (mem: 850.86 MiB)
23:16:04 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-n0y4C6" (mem: 850.86 MiB)
23:16:04 [23:16:04.307]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-n0y4C6" (mem: 850.86 MiB)
23:16:04 BN254 commitment key size: 262144 (mem: 850.86 MiB)
23:16:04 [23:16:04.308]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.86 MiB)
23:16:04 [23:16:04.311]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.86 MiB)
23:16:04 goblin ecc op : 4/1024 (mem:
23:16:04 [23:16:04.312]
INFO:
ivc-integration:test:native bb - 850.86 MiB)
23:16:04 busread : 3/6000 (mem: 850.86 MiB)
23:16:04 lookups : 2/15000 (mem: 850.86 MiB)
23:16:04 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 850.86 MiB)
23:16:04 arithmetic : 1773/56000 (mem: 850.86 MiB)
23:16:04 delta range : 1754/18000 (mem: 850.86 MiB)
23:16:04 elliptic : 2/6000 (mem: 850.86 MiB)
23:16:04 auxiliary : 26/26000 (mem: 850.86 MiB)
23:16:04 poseidon ext : 2/17000 (mem: 850.86 MiB)
23:16:04 poseidon int : 2/92000 (mem: 850.86 MiB)
23:16:04 overflow : 0/0 (mem: 850.86 MiB)
23:16:04 (mem: 850.86 MiB)
23:16:04 Total structured size: 242025 (mem: 850.86 MiB)
23:16:04 allocating polynomials object in proving key... (mem: 850.86 MiB)
23:16:04 [23:16:04.551]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.86 MiB)
23:16:04 [23:16:04.572]
INFO:
ivc-integration:test:native bb - time to construct proving key: 263 ms. (mem: 850.86 MiB)
23:16:04 [23:16:04.847]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 850.86 MiB)
23:16:05 [23:16:05.737]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 850.86 MiB)
23:16:05 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 850.86 MiB)
23:16:06 [23:16:06.251]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 850.86 MiB)
23:16:06 [23:16:06.263]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
23:16:06 [23:16:06.264]
INFO:
ivc-integration:test:native bb - (mem:
23:16:06 [23:16:06.267]
INFO:
ivc-integration:test:native bb - 850.86 MiB)
23:16:06 [23:16:06.290]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.86 MiB)
23:16:06 [23:16:06.295]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.86 MiB)
23:16:06 goblin ecc op : 56/1024 (mem: 850.86 MiB)
23:16:06 busread : 3/6000 (mem: 850.86 MiB)
23:16:06 lookups : 2/15000 (mem: 850.86 MiB)
23:16:06 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.86 MiB)
23:16:06 arithmetic : 4481/56000 (mem: 850.86 MiB)
23:16:06 delta range : 2041/18000 (mem: 850.86 MiB)
23:16:06 elliptic : 2/6000 (mem: 850.86 MiB)
23:16:06 auxiliary : 50/26000 (mem: 850.86 MiB)
23:16:06 poseidon ext : 1312/17000 (mem: 850.86 MiB)
23:16:06 poseidon int : 7469/92000 (mem: 850.86 MiB)
23:16:06 overflow : 0/0 (mem: 850.86 MiB)
23:16:06 (mem: 850.86 MiB)
23:16:06 Total structured size: 242025 (mem: 850.86 MiB)
23:16:06 allocating polynomials object in proving key... (mem: 850.86 MiB)
23:16:06 [23:16:06.642]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.86 MiB)
23:16:06 [23:16:06.719]
INFO:
ivc-integration:test:native bb - time to construct proving key: 430 ms. (mem: 850.86 MiB)
23:16:06 [23:16:06.895]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 850.86 MiB)
23:16:07 [23:16:07.888]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 850.86 MiB)
23:16:07 [23:16:07.889]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 850.86 MiB)
23:16:08 [23:16:08.744]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.86 MiB)
23:16:08 [23:16:08.951]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 852.86 MiB)
23:16:09 [23:16:09.015]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 884.86 MiB)
23:16:09 [23:16:09.411]
INFO:
ivc-integration:test:native bb - folded (mem: 884.86 MiB)
23:16:09 constructed folding proof (mem: 884.86 MiB)
23:16:09 [23:16:09.413]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 884.86 MiB)
23:16:09 Minimum required block sizes for structured trace: (mem: 884.86 MiB)
23:16:09 (mem: 884.86 MiB)
23:16:09 prove decider... (mem: 884.86 MiB)
23:16:09 [23:16:09.419]
INFO:
ivc-integration:test:native bb - ecc_op : 56
23:16:09 busread : 3
23:16:09 lookup : 2
23:16:09 pub_inputs : 36
23:16:09 arithmetic : 4481
23:16:09 delta_range : 2041
23:16:09 elliptic : 2
23:16:09 aux : 50
23:16:09 poseidon2_external : 1312
23:16:09 poseidon2_internal : 7469
23:16:09 overflow : 0
23:16:09 [23:16:09.796]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 884.86 MiB)
23:16:09 [23:16:09.981]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 884.86 MiB)
23:16:11 [23:16:11.518]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 884.86 MiB)
23:16:11 [23:16:11.614]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 884.86 MiB)
23:16:11 [23:16:11.615]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 884.86 MiB)
23:16:11 [23:16:11.630]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 884.86 MiB)
23:16:11 [23:16:11.739]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 884.86 MiB)
23:16:11 [23:16:11.743]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
23:16:11 [23:16:11.744]
INFO:
ivc-integration:test:native bb - (mem:
23:16:11 [23:16:11.745]
INFO:
ivc-integration:test:native bb - 884.86
23:16:11 [23:16:11.746]
INFO:
ivc-integration:test:native bb - MiB)
23:16:11 [23:16:11.879]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 884.86 MiB)
23:16:11 [23:16:11.933]
INFO:
ivc-integration:test:native bb - time to construct proving key: 196 ms. (mem: 884.86 MiB)
23:16:12 [23:16:12.639]
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-n0y4C6/proof -k /tmp/bb-client-ivc-integration-n0y4C6/vk -v
23:16:12 [23:16:12.681]
INFO:
ivc-integration:test:native bb command: verify (mem: 181.70 MiB)
23:16:12 [23:16:12.682]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 181.70 MiB)
23:16:12 --proof_path: /tmp/bb-client-ivc-integration-n0y4C6/proof (mem: 181.70 MiB)
23:16:12 --vk_path: /tmp/bb-client-ivc-integration-n0y4C6/vk (mem: 181.70 MiB)
23:16:12 --verbose: true (mem: 181.70 MiB)
23:16:12 --scheme: client_ivc (mem: 181.70 MiB)
23:16:12 [23:16:12.809]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 181.70 MiB)
23:16:12 [23:16:12.833]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 181.70 MiB)
23:16:12 [23:16:12.834]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
23:16:12 [23:16:12.837]
INFO:
ivc-integration:test:native (mem: 181.70 MiB)
23:16:12 [23:16:12.874]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.70 MiB)
23:16:12 [23:16:12.875]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 181.70 MiB)
23:16:12 [23:16:12.877]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 181.70 MiB)
23:16:12 libra_evals_verified: 1 (mem: 181.70 MiB)
23:16:12 pairing_check_verified: 1 (mem: 181.70 MiB)
23:16:12 Mega verified: 1 (mem: 181.70 MiB)
23:16:12 [23:16:12.988]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.70 MiB)
23:16:12 batch opening verified?: 1 (mem: 181.70 MiB)
23:16:12 eccvm consistency check verified?: 1 (mem: 181.70 MiB)
23:16:12 [23:16:12.990]
INFO:
ivc-integration:test:native translation masking consistency checked?: 1 (mem: 181.70 MiB)
23:16:13 [23:16:13.019]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 181.70 MiB)
23:16:13 eccvm verified?: 1 (mem: 181.70 MiB)
23:16:13 accumulator construction_verified?: 1 (mem: 181.70 MiB)
23:16:13 translation verified?: 1
23:16:13 [23:16:13.021]
INFO:
ivc-integration:test:native (mem: 181.70 MiB)
23:16:13 consistency verified?: 1 (mem: 181.70 MiB)
23:16:13 Goblin verified: 1 (mem: 181.70 MiB)
23:16:13 [23:16:13.024]
INFO:
ivc-integration:test:native verified: 1 (mem: 181.70 MiB)
23:16:13 [23:16:13.158]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-QLBlG1/ivc-inputs.msgpack
23:16:13 [23:16:13.160]
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-QLBlG1 --ivc_inputs_path /tmp/bb-client-ivc-integration-QLBlG1/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
23:16:13 [23:16:13.187]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.77 MiB)
23:16:13 Scheme is: client_ivc, num threads: 128 (mem: 183.77 MiB)
23:16:13 --scheme: client_ivc (mem: 183.77
23:16:13 [23:16:13.188]
INFO:
ivc-integration:test:native bb - MiB)
23:16:13 --output_path: /tmp/bb-client-ivc-integration-QLBlG1 (mem: 183.77 MiB)
23:16:13 --ivc_inputs_path: /tmp/bb-client-ivc-integration-QLBlG1/ivc-inputs.msgpack (mem: 183.77 MiB)
23:16:13 --verbose: true (mem: 183.77 MiB)
23:16:13 --write_vk: true (mem: 183.77 MiB)
23:16:13 [23:16:13.195]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.77 MiB)
23:16:13 [23:16:13.320]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 257.00 MiB)
23:16:13 [23:16:13.424]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 305.00 MiB)
23:16:13 [23:16:13.429]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0
23:16:13 [23:16:13.433]
INFO:
ivc-integration:test:native bb - (mem: 305.00 MiB)
23:16:13 Constructing DeciderProvingKey (mem: 305.00 MiB)
23:16:13 [23:16:13.436]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
23:16:13 [23:16:13.437]
INFO:
ivc-integration:test:native bb - (mem:
23:16:13 [23:16:13.437]
INFO:
ivc-integration:test:native bb - 305.00
23:16:13 [23:16:13.440]
INFO:
ivc-integration:test:native bb - MiB)
23:16:13 goblin ecc op : 4/1024 (mem: 305.00 MiB)
23:16:13 busread : 7/6000 (mem: 305.00 MiB)
23:16:13 lookups : 2/15000 (mem: 305.00 MiB)
23:16:13 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 305.00 MiB)
23:16:13 arithmetic : 1760/56000 (mem: 305.00 MiB)
23:16:13 delta range : 1754/18000 (mem: 305.00 MiB)
23:16:13 elliptic : 2/6000 (mem: 305.00 MiB)
23:16:13 auxiliary : 26/26000 (mem: 305.00 MiB)
23:16:13 poseidon ext : 2/17000 (mem: 305.00 MiB)
23:16:13 poseidon int : 2/92000 (mem: 305.00 MiB)
23:16:13 overflow : 0/0 (mem: 305.00 MiB)
23:16:13 (mem: 305.00 MiB)
23:16:13 Total structured size: 242025 (mem: 305.00 MiB)
23:16:13 allocating polynomials object in proving key... (mem: 305.00 MiB)
23:16:13 [23:16:13.810]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 505.13 MiB)
23:16:13 [23:16:13.847]
INFO:
ivc-integration:test:native bb - time to construct proving key: 414 ms. (mem: 520.13 MiB)
23:16:14 [23:16:14.028]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57ff67dcf440 (mem: 520.13 MiB)
23:16:14 [23:16:14.031]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 520.13 MiB)
23:16:14 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.13 MiB)
23:16:14 [23:16:14.503]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 528.13 MiB)
23:16:14 [23:16:14.524]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 528.13 MiB)
23:16:14 [23:16:14.552]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 528.13 MiB)
23:16:14 Constructing DeciderProvingKey (mem: 528.13 MiB)
23:16:14 [23:16:14.557]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 528.13 MiB)
23:16:14 goblin ecc op : 56/1024 (mem: 528.13 MiB)
23:16:14 busread : 12/6000 (mem: 528.13 MiB)
23:16:14 lookups : 2/15000 (mem: 528.13 MiB)
23:16:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 528.13 MiB)
23:16:14 arithmetic : 4625/56000 (mem: 528.13 MiB)
23:16:14 delta range : 2054/18000 (mem: 528.13 MiB)
23:16:14 elliptic : 2/6000 (mem: 528.13 MiB)
23:16:14 auxiliary : 110/26000 (mem: 528.13 MiB)
23:16:14 poseidon ext : 1302/17000 (mem: 528.13
23:16:14 [23:16:14.559]
INFO:
ivc-integration:test:native bb - MiB)
23:16:14 poseidon int : 7412/92000 (mem: 528.13 MiB)
23:16:14 overflow : 0/0 (mem: 528.13 MiB)
23:16:14 (mem: 528.13 MiB)
23:16:14 Total structured size: 242025 (mem: 528.13 MiB)
23:16:14 allocating polynomials object in proving key... (mem: 528.13 MiB)
23:16:14 [23:16:14.775]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 734.13 MiB)
23:16:14 [23:16:14.854]
INFO:
ivc-integration:test:native bb - time to construct proving key: 288 ms. (mem: 744.13 MiB)
23:16:14 [23:16:14.935]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57ff67dd86c0 (mem: 744.13 MiB)
23:16:14 computing folding proof (mem: 744.13 MiB)
23:16:14 [23:16:14.936]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 744.13 MiB)
23:16:15 [23:16:15.489]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.13 MiB)
23:16:15 [23:16:15.604]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 782.13 MiB)
23:16:15 [23:16:15.696]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.13 MiB)
23:16:16 [23:16:16.262]
INFO:
ivc-integration:test:native bb - folded (mem: 814.13 MiB)
23:16:16 constructed folding proof (mem: 814.13 MiB)
23:16:16 [23:16:16.264]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.13 MiB)
23:16:16 Constructing DeciderProvingKey (mem: 814.13 MiB)
23:16:16 [23:16:16.267]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.13 MiB)
23:16:16 goblin ecc op : 4/1024 (mem: 814.13
23:16:16 [23:16:16.267]
INFO:
ivc-integration:test:native bb - MiB)
23:16:16 busread : 7/6000 (mem: 814.13 MiB)
23:16:16 lookups : 2/15000 (mem: 814.13 MiB)
23:16:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 814.13 MiB)
23:16:16 arithmetic : 1760/56000 (mem: 814.13 MiB)
23:16:16 delta range : 1754/18000 (mem: 814.13 MiB)
23:16:16 elliptic : 2/6000 (mem: 814.13 MiB)
23:16:16 auxiliary : 26/26000 (mem: 814.13 MiB)
23:16:16 poseidon ext : 2/17000 (mem: 814.13 MiB)
23:16:16 poseidon int : 2/92000 (mem: 814.13 MiB)
23:16:16 overflow : 0/0 (mem: 814.13 MiB)
23:16:16 (mem: 814.13 MiB)
23:16:16 Total structured size: 242025 (mem: 814.13 MiB)
23:16:16 allocating polynomials object in proving key... (mem: 814.13 MiB)
23:16:16 [23:16:16.338]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.13 MiB)
23:16:16 [23:16:16.349]
INFO:
ivc-integration:test:native bb - time to construct proving key: 85 ms. (mem: 814.13 MiB)
23:16:16 [23:16:16.393]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57ff67dcfc80 (mem: 814.13 MiB)
23:16:16 computing folding proof (mem: 814.13 MiB)
23:16:16 [23:16:16.395]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 814.13 MiB)
23:16:16 [23:16:16.565]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.13 MiB)
23:16:16 [23:16:16.659]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.13 MiB)
23:16:16 [23:16:16.685]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.13 MiB)
23:16:17 [23:16:17.168]
INFO:
ivc-integration:test:native bb - folded (mem: 814.13 MiB)
23:16:17 constructed folding proof (mem: 814.13 MiB)
23:16:17 [23:16:17.183]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6
23:16:17 [23:16:17.189]
INFO:
ivc-integration:test:native bb - (mem: 814.13 MiB)
23:16:17 [23:16:17.290]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970
23:16:17 [23:16:17.292]
INFO:
ivc-integration:test:native bb - (mem: 814.13 MiB)
23:16:17 [23:16:17.368]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 814.13 MiB)
23:16:17 Constructing DeciderProvingKey (mem: 814.13 MiB)
23:16:17 [23:16:17.375]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.13 MiB)
23:16:17 goblin ecc op : 792/1024 (mem: 814.13 MiB)
23:16:17 busread : 12/6000 (mem: 814.13 MiB)
23:16:17 lookups : 2/15000 (mem: 814.13 MiB)
23:16:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 814.13 MiB)
23:16:17 arithmetic : 12080/56000 (mem: 814.13 MiB)
23:16:17 delta range : 2942/18000 (mem: 814.13 MiB)
23:16:17 elliptic : 2/6000 (mem: 814.13 MiB)
23:16:17 auxiliary : 350/26000 (mem: 814.13 MiB)
23:16:17 poseidon ext : 4942/17000 (mem: 814.13 MiB)
23:16:17 poseidon int : 28160/92000 (mem: 814.13 MiB)
23:16:17 overflow : 0/0 (mem: 814.13 MiB)
23:16:17 (mem: 814.13 MiB)
23:16:17 Total structured size: 242025 (mem: 814.13 MiB)
23:16:17 allocating polynomials object in proving key... (mem: 814.13 MiB)
23:16:17 [23:16:17.495]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.13 MiB)
23:16:17 [23:16:17.533]
INFO:
ivc-integration:test:native bb - time to construct proving key: 166 ms. (mem: 814.13 MiB)
23:16:17 [23:16:17.639]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57ff67e4c380 (mem: 814.13 MiB)
23:16:17 computing folding proof (mem: 814.13 MiB)
23:16:17 [23:16:17.640]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 814.13 MiB)
23:16:18 [23:16:18.145]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.13 MiB)
23:16:18 [23:16:18.264]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.13 MiB)
23:16:18 [23:16:18.341]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 841.60 MiB)
23:16:18 [23:16:18.546]
INFO:
ivc-integration:test:native bb - folded (mem: 841.60 MiB)
23:16:18 constructed folding proof (mem: 841.60 MiB)
23:16:18 [23:16:18.558]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 841.60 MiB)
23:16:18 [23:16:18.632]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 841.60 MiB)
23:16:18 Constructing DeciderProvingKey (mem: 841.60 MiB)
23:16:18 [23:16:18.636]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.60 MiB)
23:16:18 goblin ecc op : 392/1024 (mem:
23:16:18 [23:16:18.637]
INFO:
ivc-integration:test:native bb - 841.60 MiB)
23:16:18 busread : 16/6000 (mem: 841.60 MiB)
23:16:18 lookups : 2/15000 (mem: 841.60 MiB)
23:16:18 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 841.60 MiB)
23:16:18 arithmetic : 6914/56000 (mem: 841.60 MiB)
23:16:18 delta range : 2347/18000 (mem: 841.60 MiB)
23:16:18 elliptic : 2/6000 (mem: 841.60 MiB)
23:16:18 auxiliary : 77/26000 (mem: 841.60 MiB)
23:16:18 poseidon ext : 2472/17000 (mem: 841.60 MiB)
23:16:18 poseidon int : 14081/92000 (mem: 841.60 MiB)
23:16:18 overflow : 0/0 (mem: 841.60 MiB)
23:16:18 (mem: 841.60 MiB)
23:16:18 Total structured size: 242025 (mem: 841.60 MiB)
23:16:18 allocating polynomials object in proving key... (mem: 841.60 MiB)
23:16:18 [23:16:18.722]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 841.60 MiB)
23:16:18 [23:16:18.767]
INFO:
ivc-integration:test:native bb - time to construct proving key: 134 ms. (mem: 841.60 MiB)
23:16:18 [23:16:18.994]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57ff67e4aa40 (mem: 841.60 MiB)
23:16:18 computing folding proof (mem: 841.60 MiB)
23:16:18 vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 841.60 MiB)
23:16:19 [23:16:19.607]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 841.60 MiB)
23:16:19 [23:16:19.748]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 841.60 MiB)
23:16:19 [23:16:19.810]
INFO:
ivc-integration:test:native bb - combiner quotient round
23:16:19 [23:16:19.811]
INFO:
ivc-integration:test:native bb - (mem: 842.33 MiB)
23:16:20 [23:16:20.078]
INFO:
ivc-integration:test:native bb - folded (mem: 842.33 MiB)
23:16:20 constructed folding proof (mem: 842.33 MiB)
23:16:20 [23:16:20.089]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 842.33 MiB)
23:16:20 [23:16:20.149]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 842.33 MiB)
23:16:20 Constructing DeciderProvingKey (mem: 842.33 MiB)
23:16:20 [23:16:20.154]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 842.33 MiB)
23:16:20 goblin ecc op : 392/1024 (mem: 842.33 MiB)
23:16:20 busread : 3/6000 (mem:
23:16:20 [23:16:20.166]
INFO:
ivc-integration:test:native bb - 842.33 MiB)
23:16:20 lookups : 2/15000 (mem: 842.33 MiB)
23:16:20 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 842.33 MiB)
23:16:20 arithmetic : 6849/56000 (mem: 842.33 MiB)
23:16:20 delta range : 2333/18000 (mem: 842.33 MiB)
23:16:20 elliptic : 2/6000 (mem: 842.33 MiB)
23:16:20 auxiliary : 50/26000 (mem: 842.33 MiB)
23:16:20 poseidon ext : 2472/17000 (mem: 842.33 MiB)
23:16:20 poseidon int : 14081/92000 (mem: 842.33 MiB)
23:16:20 overflow : 0/0 (mem: 842.33 MiB)
23:16:20 (mem: 842.33 MiB)
23:16:20 Total structured size: 242025 (mem: 842.33 MiB)
23:16:20 allocating polynomials object in proving key... (mem: 842.33 MiB)
23:16:20 [23:16:20.278]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 842.33 MiB)
23:16:20 [23:16:20.310]
INFO:
ivc-integration:test:native bb - time to construct proving key: 160 ms. (mem: 842.33 MiB)
23:16:20 [23:16:20.580]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x57ff67e44ac0 (mem: 842.33 MiB)
23:16:20 computing folding proof (mem: 842.33 MiB)
23:16:20 [23:16:20.581]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 842.33 MiB)
23:16:21 [23:16:21.228]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 842.33 MiB)
23:16:21 [23:16:21.367]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 842.33 MiB)
23:16:21 [23:16:21.432]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 842.61 MiB)
23:16:21 [23:16:21.923]
INFO:
ivc-integration:test:native bb - folded (mem: 842.61 MiB)
23:16:21 constructed folding proof (mem: 842.61 MiB)
23:16:21 [23:16:21.924]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 842.61 MiB)
23:16:21 Minimum required block sizes for structured trace: (mem: 842.61 MiB)
23:16:21 (mem: 842.61 MiB)
23:16:21 prove decider... (mem: 842.61 MiB)
23:16:21 [23:16:21.925]
INFO:
ivc-integration:test:native bb - ecc_op : 792
23:16:21 busread : 16
23:16:21 lookup : 2
23:16:21 pub_inputs : 36
23:16:21 arithmetic : 12080
23:16:21 delta_range : 2942
23:16:21 elliptic : 2
23:16:21 aux : 350
23:16:21 poseidon2_external : 4942
23:16:21 poseidon2_internal : 28160
23:16:21 overflow : 0
23:16:22 [23:16:22.127]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 842.61 MiB)
23:16:22 [23:16:22.270]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 842.61 MiB)
23:16:22 [23:16:22.921]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 842.61 MiB)
23:16:22 [23:16:22.987]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 842.61 MiB)
23:16:22 finished decider proving. (mem: 842.61 MiB)
23:16:23 [23:16:23.010]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 842.61 MiB)
23:16:23 [23:16:23.124]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 842.61 MiB)
23:16:23 [23:16:23.132]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 842.61 MiB)
23:16:23 [23:16:23.224]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 842.61 MiB)
23:16:23 [23:16:23.285]
INFO:
ivc-integration:test:native bb - time to construct proving key: 160 ms. (mem: 842.61 MiB)
23:16:24 [23:16:24.026]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 842.61 MiB)
23:16:24 [23:16:24.536]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 842.61 MiB)
23:16:24 [23:16:24.752]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 842.61 MiB)
23:16:25 [23:16:25.646]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 842.61 MiB)
23:16:26 [23:16:26.380]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 842.61 MiB)
23:16:26 [23:16:26.409]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 842.61 MiB)
23:16:26 finished decider proving. (mem: 842.61 MiB)
23:16:26 [23:16:26.410]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 842.61 MiB)
23:16:26 [23:16:26.551]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 842.61 MiB)
23:16:27 [23:16:27.052]
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: 842.61 MiB)
23:16:27 [23:16:27.078]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 842.61 MiB)
23:16:28 [23:16:28.785]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 842.61 MiB)
23:16:30 [23:16:30.594]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 842.61 MiB)
23:16:35 [23:16:35.394]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 842.61 MiB)
23:16:35 prove translator... (mem: 842.61 MiB)
23:16:39 [23:16:39.220]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 862.15 MiB)
23:16:41 [23:16:41.681]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 863.15 MiB)
23:16:42 [23:16:42.686]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 863.15 MiB)
23:16:42 [23:16:42.687]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 863.15 MiB)
23:16:42 [23:16:42.690]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 863.15 MiB)
23:16:42 [23:16:42.709]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 863.15 MiB)
23:16:42 libra_evals_verified: 1 (mem: 863.15 MiB)
23:16:42 pairing_check_verified: 1 (mem: 863.15 MiB)
23:16:42 Mega verified: 1 (mem: 863.15 MiB)
23:16:42 [23:16:42.764]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 863.15 MiB)
23:16:42 batch opening verified?: 1 (mem: 863.15 MiB)
23:16:42 eccvm consistency check verified?: 1 (mem: 863.15 MiB)
23:16:42 translation masking consistency checked?: 1 (mem: 863.15 MiB)
23:16:42 [23:16:42.781]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 863.15 MiB)
23:16:42 eccvm verified?: 1 (mem: 863.15 MiB)
23:16:42 accumulator construction_verified?: 1 (mem: 863.15 MiB)
23:16:42 translation verified?: 1 (mem: 863.15 MiB)
23:16:42 consistency verified?: 1 (mem: 863.15 MiB)
23:16:42 Goblin verified: 1 (mem: 863.15 MiB)
23:16:42 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-QLBlG1" (mem: 863.15 MiB)
23:16:42 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-QLBlG1" (mem: 863.15 MiB)
23:16:42 BN254 commitment key size: 262144 (mem: 863.15 MiB)
23:16:42 [23:16:42.782]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.15 MiB)
23:16:42 [23:16:42.785]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.15 MiB)
23:16:42 goblin ecc op : 4/1024 (mem: 863.15 MiB)
23:16:42 busread : 3/6000 (mem: 863.15 MiB)
23:16:42 lookups : 2/15000 (mem: 863.15 MiB)
23:16:42 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 863.15 MiB)
23:16:42 arithmetic : 1773/56000 (mem: 863.15 MiB)
23:16:42 [23:16:42.785]
INFO:
ivc-integration:test:native bb - delta range : 1754/18000 (mem: 863.15 MiB)
23:16:42 elliptic : 2/6000 (mem: 863.15 MiB)
23:16:42 auxiliary : 26/26000 (mem: 863.15 MiB)
23:16:42 poseidon ext : 2/17000 (mem: 863.15 MiB)
23:16:42 poseidon int : 2/92000 (mem: 863.15 MiB)
23:16:42 overflow : 0/0 (mem: 863.15 MiB)
23:16:42 (mem: 863.15 MiB)
23:16:42 Total structured size: 242025 (mem: 863.15 MiB)
23:16:42 allocating polynomials object in proving key... (mem: 863.15 MiB)
23:16:42 [23:16:42.833]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 863.15 MiB)
23:16:42 [23:16:42.843]
INFO:
ivc-integration:test:native bb - time to construct proving key: 60 ms. (mem: 863.15 MiB)
23:16:42 [23:16:42.878]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.15 MiB)
23:16:43 [23:16:43.274]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 863.15 MiB)
23:16:43 [23:16:43.275]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.15 MiB)
23:16:43 [23:16:43.421]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 863.15 MiB)
23:16:43 [23:16:43.433]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.15 MiB)
23:16:43 [23:16:43.475]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.15 MiB)
23:16:43 [23:16:43.479]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.15 MiB)
23:16:43 goblin ecc op : 56/1024 (mem: 863.15 MiB)
23:16:43 busread : 3/6000 (mem: 863.15 MiB)
23:16:43 lookups : 2/15000 (mem: 863.15 MiB)
23:16:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 863.15 MiB)
23:16:43 arithmetic : 4481/56000 (mem: 863.15 MiB)
23:16:43 delta range : 2041/18000 (mem: 863.15 MiB)
23:16:43 elliptic : 2/6000 (mem: 863.15 MiB)
23:16:43 [23:16:43.483]
INFO:
ivc-integration:test:native bb - auxiliary : 50/26000 (mem: 863.15 MiB)
23:16:43 poseidon ext : 1312/17000 (mem: 863.15 MiB)
23:16:43 poseidon int : 7469/92000 (mem: 863.15 MiB)
23:16:43 overflow : 0/0 (mem: 863.15 MiB)
23:16:43 (mem: 863.15 MiB)
23:16:43 Total structured size: 242025 (mem: 863.15 MiB)
23:16:43 allocating polynomials object in proving key... (mem: 863.15 MiB)
23:16:43 [23:16:43.552]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 863.15 MiB)
23:16:43 [23:16:43.577]
INFO:
ivc-integration:test:native bb - time to construct proving key: 101 ms. (mem: 863.15 MiB)
23:16:43 [23:16:43.838]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.15 MiB)
23:16:44 [23:16:44.402]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 863.15 MiB)
23:16:44 [23:16:44.402]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 863.15 MiB)
23:16:44 [23:16:44.658]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 863.15 MiB)
23:16:44 [23:16:44.812]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 863.15 MiB)
23:16:44 [23:16:44.883]
INFO:
ivc-integration:test:native bb - combiner quotient round
23:16:44 [23:16:44.885]
INFO:
ivc-integration:test:native bb - (mem: 895.15 MiB)
23:16:45 [23:16:45.324]
INFO:
ivc-integration:test:native bb - folded (mem: 895.15 MiB)
23:16:45 constructed folding proof (mem: 895.15 MiB)
23:16:45 Largest circuit: 15360 gates. Trace details: (mem: 895.15 MiB)
23:16:45 Minimum required block sizes for structured trace: (mem: 895.15 MiB)
23:16:45 (mem: 895.15 MiB)
23:16:45 prove decider... (mem: 895.15 MiB)
23:16:45 [23:16:45.329]
INFO:
ivc-integration:test:native bb - ecc_op : 56
23:16:45 busread : 3
23:16:45 lookup : 2
23:16:45 pub_inputs : 36
23:16:45 arithmetic : 4481
23:16:45 delta_range : 2041
23:16:45 elliptic : 2
23:16:45 aux : 50
23:16:45 poseidon2_external : 1312
23:16:45 poseidon2_internal : 7469
23:16:45 overflow : 0
23:16:45 [23:16:45.553]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 895.15 MiB)
23:16:45 [23:16:45.647]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 895.15 MiB)
23:16:46 [23:16:46.069]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 895.15 MiB)
23:16:46 [23:16:46.129]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 895.15 MiB)
23:16:46 finished decider proving. (mem: 895.15 MiB)
23:16:46 [23:16:46.139]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 895.15 MiB)
23:16:46 [23:16:46.219]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 895.15 MiB)
23:16:46 [23:16:46.225]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 895.15 MiB)
23:16:46 [23:16:46.263]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 895.15 MiB)
23:16:46 [23:16:46.294]
INFO:
ivc-integration:test:native bb - time to construct proving key: 75 ms. (mem: 895.15 MiB)
23:16:46 [23:16:46.664]
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-QLBlG1/proof -k /tmp/bb-client-ivc-integration-QLBlG1/vk -v
23:16:46 [23:16:46.687]
INFO:
ivc-integration:test:native bb command: verify (mem: 189.43 MiB)
23:16:46 [23:16:46.688]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 189.43 MiB)
23:16:46 --proof_path: /tmp/bb-client-ivc-integration-QLBlG1/proof (mem: 189.43 MiB)
23:16:46 --vk_path: /tmp/bb-client-ivc-integration-QLBlG1/vk (mem: 189.43 MiB)
23:16:46 --verbose: true (mem: 189.43 MiB)
23:16:46 --scheme: client_ivc (mem: 189.43 MiB)
23:16:46 [23:16:46.784]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 189.43 MiB)
23:16:46 [23:16:46.804]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 189.43 MiB)
23:16:46 [23:16:46.806]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 189.43 MiB)
23:16:46 [23:16:46.822]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.43 MiB)
23:16:46 Initialized BN254 CRS from memory with num points = 1025 (mem: 189.43 MiB)
23:16:46 [23:16:46.823]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 189.43 MiB)
23:16:46 libra_evals_verified: 1 (mem: 189.43 MiB)
23:16:46 pairing_check_verified: 1 (mem: 189.43 MiB)
23:16:46 Mega verified: 1 (mem: 189.43 MiB)
23:16:46 [23:16:46.902]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.43 MiB)
23:16:46 batch opening verified?: 1 (mem: 189.43 MiB)
23:16:46 eccvm consistency check verified?: 1 (mem: 189.43 MiB)
23:16:46 translation masking consistency checked?: 1 (mem: 189.43 MiB)
23:16:46 [23:16:46.923]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 189.43 MiB)
23:16:46 eccvm verified?: 1 (mem: 189.43 MiB)
23:16:46 accumulator construction_verified?: 1 (mem: 189.43 MiB)
23:16:46 [23:16:46.924]
INFO:
ivc-integration:test:native translation verified?: 1 (mem: 189.43 MiB)
23:16:46 consistency verified?: 1 (mem: 189.43 MiB)
23:16:46 Goblin verified: 1 (mem: 189.43 MiB)
23:16:46 [23:16:46.932]
INFO:
ivc-integration:test:native verified: 1 (mem: 189.43 MiB)
23:16:46
PASS src/native_client_ivc_integration.test.ts (
75.285 s)
23:16:46 Client IVC Integration
23:16:46
✓ Should generate a verifiable client IVC proof from a simple mock tx (37687 ms)
23:16:46
✓ Should generate a verifiable client IVC proof from a complex mock tx (33886 ms)
23:16:46
23:16:46
Test Suites: 1 passed, 1 total
23:16:46
Tests: 2 passed, 2 total
23:16:46
Snapshots: 0 total
23:16:46
Time: 75.4 s
23:16:46
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
23:16:46
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?