Parent Log:
http://ci.aztec-labs.com/ef28baa8c095c429
Command: 13dd8684e4e32fd7: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/1c9ca312bfdace816082212846900a49694e1e50
Env: REF_NAME=gh-readonly-queue/next/pr-15182-af094bce13530e078c78de9f3264280e6693d533 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 08:51:17 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15182_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
08:51:22 [08:51:22.458]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-a2hC8O/ivc-inputs.msgpack
08:51:22 [08:51:22.463]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
08:51:22 [08:51:22.464]
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-a2hC8O --ivc_inputs_path /tmp/bb-client-ivc-integration-a2hC8O/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
08:51:22 [08:51:22.494]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 243.32 MiB)
08:51:22 Scheme is: client_ivc, num threads: 128 (mem: 243.32 MiB)
08:51:22 --scheme: client_ivc (mem: 243.32 MiB)
08:51:22 --output_path: /tmp/bb-client-ivc-integration-a2hC8O (mem: 243.32 MiB)
08:51:22 --ivc_inputs_path: /tmp/bb-client-ivc-integration-a2hC8O/ivc-inputs.msgpack (mem: 243.32 MiB)
08:51:22 --verbose: true (mem: 243.32 MiB)
08:51:22 --write_vk: true (mem: 243.32 MiB)
08:51:22 [08:51:22.496]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 243.32 MiB)
08:51:22 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.32 MiB)
08:51:22 [08:51:22.558]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 243.32 MiB)
08:51:22 [08:51:22.562]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 243.32 MiB)
08:51:22 Constructing DeciderProvingKey (mem: 243.32 MiB)
08:51:22 [08:51:22.567]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
08:51:22 [08:51:22.569]
INFO:
ivc-integration:test:native bb - (mem: 243.32 MiB)
08:51:22 goblin ecc op : 4/1024 (mem: 243.32 MiB)
08:51:22 busread : 7/6000 (mem: 243.32 MiB)
08:51:22 lookups : 2/15000 (mem: 243.32 MiB)
08:51:22 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 243.32 MiB)
08:51:22 arithmetic : 1760/56000 (mem: 243.32 MiB)
08:51:22 delta range : 1754/18000 (mem: 243.32 MiB)
08:51:22 elliptic : 2/6000 (mem: 243.32 MiB)
08:51:22 auxiliary : 26/26000 (mem: 243.32 MiB)
08:51:22 poseidon ext : 2/17000 (mem: 243.32 MiB)
08:51:22 poseidon int : 2/92000 (mem: 243.32 MiB)
08:51:22 overflow : 0/0 (mem: 243.32 MiB)
08:51:22 (mem: 243.32 MiB)
08:51:22 Total structured size: 242025 (mem: 243.32 MiB)
08:51:22 allocating polynomials object in proving key... (mem: 243.32 MiB)
08:51:22 [08:51:22.814]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 353.03 MiB)
08:51:22 [08:51:22.836]
INFO:
ivc-integration:test:native bb - time to construct proving key: 273 ms. (mem: 361.03 MiB)
08:51:22 [08:51:22.950]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ae403ae1200 (mem: 361.03 MiB)
08:51:22 computing oink proof... (mem: 361.03 MiB)
08:51:22 [08:51:22.951]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 361.03 MiB)
08:51:23 [08:51:23.198]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 372.03 MiB)
08:51:23 [08:51:23.206]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 372.03 MiB)
08:51:23 [08:51:23.223]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 372.03 MiB)
08:51:23 Constructing DeciderProvingKey (mem: 372.03 MiB)
08:51:23 [08:51:23.226]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 372.03 MiB)
08:51:23 goblin ecc op : 56/1024 (mem: 372.03
08:51:23 [08:51:23.228]
INFO:
ivc-integration:test:native bb - MiB)
08:51:23 busread : 12/6000 (mem: 372.03 MiB)
08:51:23 lookups : 2/15000 (mem: 372.03 MiB)
08:51:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 372.03 MiB)
08:51:23 arithmetic : 4677/56000 (mem: 372.03 MiB)
08:51:23 delta range : 2073/18000 (mem: 372.03 MiB)
08:51:23 elliptic : 2/6000 (mem: 372.03 MiB)
08:51:23 auxiliary : 110/26000 (mem: 372.03 MiB)
08:51:23 poseidon ext : 1322/17000 (mem: 372.03 MiB)
08:51:23 poseidon int : 7526/92000 (mem: 372.03 MiB)
08:51:23 overflow : 0/0 (mem: 372.03 MiB)
08:51:23 (mem: 372.03 MiB)
08:51:23 Total structured size: 242025 (mem: 372.03 MiB)
08:51:23 allocating polynomials object in proving key... (mem: 372.03 MiB)
08:51:23 [08:51:23.373]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 580.03 MiB)
08:51:23 [08:51:23.403]
INFO:
ivc-integration:test:native bb - time to construct proving key: 179 ms. (mem: 595.03 MiB)
08:51:23 [08:51:23.614]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ae403aedfc0 (mem:
08:51:23 [08:51:23.615]
INFO:
ivc-integration:test:native bb - 595.03 MiB)
08:51:23 computing folding proof (mem: 595.03 MiB)
08:51:23 [08:51:23.616]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 595.03 MiB)
08:51:23 [08:51:23.997]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 597.03 MiB)
08:51:24 [08:51:24.090]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 633.03 MiB)
08:51:24 [08:51:24.149]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 667.03 MiB)
08:51:24 [08:51:24.604]
INFO:
ivc-integration:test:native bb - folded (mem: 667.03 MiB)
08:51:24 [08:51:24.605]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 667.03 MiB)
08:51:24 [08:51:24.618]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 667.03 MiB)
08:51:24 [08:51:24.695]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 667.03 MiB)
08:51:24 Constructing DeciderProvingKey (mem: 667.03 MiB)
08:51:24 [08:51:24.700]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 667.03 MiB)
08:51:24 goblin ecc op : 392/1024 (mem: 667.03 MiB)
08:51:24 busread : 3/6000 (mem: 667.03 MiB)
08:51:24 lookups : 2/15000 (mem: 667.03 MiB)
08:51:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 667.03 MiB)
08:51:24 arithmetic : 6913/56000 (mem: 667.03 MiB)
08:51:24 delta range : 2353/18000 (mem: 667.03 MiB)
08:51:24 elliptic : 2/6000 (mem: 667.03
08:51:24 [08:51:24.704]
INFO:
ivc-integration:test:native bb - MiB)
08:51:24 auxiliary : 50/26000 (mem: 667.03 MiB)
08:51:24 poseidon ext : 2492/17000 (mem: 667.03 MiB)
08:51:24 poseidon int : 14195/92000 (mem: 667.03 MiB)
08:51:24 overflow : 0/0 (mem: 667.03 MiB)
08:51:24 (mem: 667.03 MiB)
08:51:24 Total structured size: 242025 (mem: 667.03 MiB)
08:51:24 allocating polynomials object in proving key... (mem: 667.03 MiB)
08:51:24 [08:51:24.909]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 667.03 MiB)
08:51:24 [08:51:24.962]
INFO:
ivc-integration:test:native bb - time to construct proving key: 265 ms. (mem: 667.03 MiB)
08:51:25 [08:51:25.299]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5ae403af9380 (mem: 667.03 MiB)
08:51:25 computing folding proof (mem: 667.03 MiB)
08:51:25 vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 667.03 MiB)
08:51:25 [08:51:25.687]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 667.03 MiB)
08:51:25 [08:51:25.780]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 667.03 MiB)
08:51:25 [08:51:25.863]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 676.84 MiB)
08:51:26 [08:51:26.357]
INFO:
ivc-integration:test:native bb - folded (mem: 676.84 MiB)
08:51:26 constructed folding proof (mem: 676.84 MiB)
08:51:26 [08:51:26.361]
INFO:
ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 676.84 MiB)
08:51:26 Minimum required block sizes for structured trace: (mem: 676.84 MiB)
08:51:26 (mem: 676.84 MiB)
08:51:26 prove decider... (mem: 676.84 MiB)
08:51:26 [08:51:26.362]
INFO:
ivc-integration:test:native bb - ecc_op : 392
08:51:26 busread : 12
08:51:26 lookup : 2
08:51:26 pub_inputs : 36
08:51:26 arithmetic : 6913
08:51:26 delta_range : 2353
08:51:26 elliptic : 2
08:51:26 aux : 110
08:51:26 poseidon2_external : 2492
08:51:26 poseidon2_internal : 14195
08:51:26 overflow : 0
08:51:26 [08:51:26.543]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 676.84 MiB)
08:51:26 [08:51:26.693]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 676.84 MiB)
08:51:28 [08:51:28.211]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 676.84 MiB)
08:51:28 [08:51:28.351]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 676.84 MiB)
08:51:28 finished decider proving. (mem: 676.84 MiB)
08:51:28 [08:51:28.389]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 676.84 MiB)
08:51:28 [08:51:28.482]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 676.84 MiB)
08:51:28 [08:51:28.492]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 676.84 MiB)
08:51:28 [08:51:28.706]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 676.84 MiB)
08:51:28 [08:51:28.817]
INFO:
ivc-integration:test:native bb - time to construct proving key: 333 ms. (mem: 676.84 MiB)
08:51:30 [08:51:30.316]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 676.84 MiB)
08:51:31 [08:51:31.025]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 676.84 MiB)
08:51:31 [08:51:31.326]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 676.84 MiB)
08:51:33 [08:51:33.018]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 676.84 MiB)
08:51:34 [08:51:34.612]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 676.84 MiB)
08:51:34 [08:51:34.707]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 676.84 MiB)
08:51:34 finished decider proving. (mem: 676.84 MiB)
08:51:34 [08:51:34.707]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 676.84 MiB)
08:51:34 [08:51:34.961]
INFO:
ivc-integration:test:native bb - prove eccvm...
08:51:34 [08:51:34.963]
INFO:
ivc-integration:test:native bb - (mem: 676.84 MiB)
08:51:35 [08:51:35.450]
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: 676.84 MiB)
08:51:35 [08:51:35.462]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 676.84 MiB)
08:51:37 [08:51:37.574]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 676.84 MiB)
08:51:40 [08:51:40.392]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 676.84 MiB)
08:51:45 [08:51:45.366]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 676.84 MiB)
08:51:45 prove translator... (mem: 676.84 MiB)
08:51:48 [08:51:48.126]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 707.30 MiB)
08:51:52 [08:51:52.086]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 708.30 MiB)
08:51:56 [08:51:56.196]
INFO:
ivc-integration:test:native bb - computed opening proof
08:51:56 [08:51:56.198]
INFO:
ivc-integration:test:native bb - (mem: 708.30 MiB)
08:51:56 finished translator proving. (mem: 708.30 MiB)
08:51:56 [08:51:56.199]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892
08:51:56 [08:51:56.200]
INFO:
ivc-integration:test:native bb - (mem:
08:51:56 [08:51:56.202]
INFO:
ivc-integration:test:native bb - 708.30 MiB)
08:51:56 [08:51:56.233]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1
08:51:56 [08:51:56.236]
INFO:
ivc-integration:test:native bb - (mem: 708.30 MiB)
08:51:56 libra_evals_verified: 1 (mem: 708.30 MiB)
08:51:56 pairing_check_verified: 1 (mem: 708.30 MiB)
08:51:56 Mega verified: 1 (mem: 708.30 MiB)
08:51:56 [08:51:56.459]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 709.30 MiB)
08:51:56 batch opening verified?: 1 (mem: 709.30 MiB)
08:51:56 eccvm consistency check verified?: 1 (mem: 709.30 MiB)
08:51:56 [08:51:56.461]
INFO:
ivc-integration:test:native bb - translation masking consistency checked?: 1 (mem: 709.30 MiB)
08:51:56 [08:51:56.484]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 709.30 MiB)
08:51:56 eccvm verified?: 1 (mem: 709.30 MiB)
08:51:56 accumulator construction_verified?: 1 (mem: 709.30 MiB)
08:51:56 translation verified?: 1 (mem: 709.30 MiB)
08:51:56 consistency verified?: 1 (mem: 709.30 MiB)
08:51:56 Goblin verified: 1 (mem: 709.30 MiB)
08:51:56 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-a2hC8O" (mem: 709.30 MiB)
08:51:56 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-a2hC8O" (mem: 709.30 MiB)
08:51:56 BN254 commitment key size: 262144 (mem: 709.30 MiB)
08:51:56 [08:51:56.486]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 709.30 MiB)
08:51:56 [08:51:56.493]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 709.30 MiB)
08:51:56 goblin ecc op : 4/1024 (mem: 709.30 MiB)
08:51:56 busread : 3/6000 (mem: 709.30 MiB)
08:51:56 lookups : 2/15000 (mem: 709.30 MiB)
08:51:56 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 709.30 MiB)
08:51:56 arithmetic : 1773/56000 (mem: 709.30 MiB)
08:51:56 delta range : 1754/18000 (mem: 709.30 MiB)
08:51:56 elliptic : 2/6000 (mem: 709.30 MiB)
08:51:56 auxiliary : 26/26000 (mem: 709.30 MiB)
08:51:56 poseidon ext : 2/17000 (mem: 709.30 MiB)
08:51:56 poseidon int : 2/92000 (mem: 709.30 MiB)
08:51:56 overflow : 0/0 (mem: 709.30 MiB)
08:51:56 (mem: 709.30 MiB)
08:51:56 Total structured size: 242025 (mem: 709.30 MiB)
08:51:56 allocating polynomials object in proving key... (mem: 709.30 MiB)
08:51:56 [08:51:56.708]
INFO:
ivc-integration:test:native bb - populating trace...
08:51:56 [08:51:56.710]
INFO:
ivc-integration:test:native bb - (mem:
08:51:56 [08:51:56.710]
INFO:
ivc-integration:test:native bb - 709.30 MiB)
08:51:56 [08:51:56.737]
INFO:
ivc-integration:test:native bb - time to construct proving key: 251 ms. (mem: 709.30 MiB)
08:51:57 [08:51:57.145]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 709.30 MiB)
08:51:57 [08:51:57.807]
INFO:
ivc-integration:test:native bb - computing oink proof...
08:51:57 [08:51:57.812]
INFO:
ivc-integration:test:native bb - (mem: 710.30 MiB)
08:51:57 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 710.30 MiB)
08:51:58 [08:51:58.421]
INFO:
ivc-integration:test:native bb - oink proof constructed
08:51:58 [08:51:58.423]
INFO:
ivc-integration:test:native bb - (mem: 711.30 MiB)
08:51:58 [08:51:58.429]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 711.30 MiB)
08:51:58 [08:51:58.447]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 711.30 MiB)
08:51:58 [08:51:58.450]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
08:51:58 [08:51:58.451]
INFO:
ivc-integration:test:native bb - (mem:
08:51:58 [08:51:58.452]
INFO:
ivc-integration:test:native bb - 711.30 MiB)
08:51:58 goblin ecc op : 56/1024 (mem: 711.30 MiB)
08:51:58 busread : 3/6000 (mem: 711.30 MiB)
08:51:58 lookups : 2/15000 (mem: 711.30 MiB)
08:51:58 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 711.30 MiB)
08:51:58 arithmetic : 4533/56000 (mem: 711.30 MiB)
08:51:58 delta range : 2060/18000 (mem: 711.30 MiB)
08:51:58 elliptic : 2/6000 (mem: 711.30 MiB)
08:51:58 auxiliary : 50/26000 (mem: 711.30 MiB)
08:51:58 poseidon ext : 1332/17000 (mem: 711.30 MiB)
08:51:58 poseidon int : 7583/92000 (mem: 711.30 MiB)
08:51:58 overflow : 0/0 (mem: 711.30 MiB)
08:51:58 (mem: 711.30 MiB)
08:51:58 Total structured size: 242025 (mem: 711.30 MiB)
08:51:58 allocating polynomials object in proving key... (mem: 711.30 MiB)
08:51:58 [08:51:58.656]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 711.30 MiB)
08:51:58 [08:51:58.715]
INFO:
ivc-integration:test:native bb - time to construct proving key: 268 ms. (mem: 711.30 MiB)
08:51:59 [08:51:59.024]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 711.30 MiB)
08:51:59 [08:51:59.770]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 713.30 MiB)
08:51:59 [08:51:59.780]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 713.30 MiB)
08:52:00 [08:52:00.338]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 713.30 MiB)
08:52:00 [08:52:00.480]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 713.30 MiB)
08:52:00 [08:52:00.558]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 744.30 MiB)
08:52:01 [08:52:01.041]
INFO:
ivc-integration:test:native bb - folded (mem: 744.30 MiB)
08:52:01 constructed folding proof (mem: 744.30 MiB)
08:52:01 [08:52:01.042]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 744.30 MiB)
08:52:01 Minimum required block sizes for structured trace: (mem: 744.30 MiB)
08:52:01 (mem: 744.30 MiB)
08:52:01 prove decider... (mem: 744.30 MiB)
08:52:01 [08:52:01.044]
INFO:
ivc-integration:test:native bb - ecc_op : 56
08:52:01 busread : 3
08:52:01 lookup : 2
08:52:01 pub_inputs : 36
08:52:01 arithmetic : 4533
08:52:01 delta_range : 2060
08:52:01 elliptic : 2
08:52:01 aux : 50
08:52:01 poseidon2_external : 1332
08:52:01 poseidon2_internal : 7583
08:52:01 overflow : 0
08:52:01 [08:52:01.250]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
08:52:01 [08:52:01.251]
INFO:
ivc-integration:test:native bb - (mem: 744.30 MiB)
08:52:01 [08:52:01.469]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 744.30 MiB)
08:52:02 [08:52:02.886]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 744.30 MiB)
08:52:03 [08:52:03.100]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 744.30 MiB)
08:52:03 finished decider proving. (mem: 744.30 MiB)
08:52:03 [08:52:03.112]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 744.30 MiB)
08:52:03 [08:52:03.256]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 744.30 MiB)
08:52:03 [08:52:03.264]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 744.30 MiB)
08:52:03 [08:52:03.553]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 744.30 MiB)
08:52:03 [08:52:03.634]
INFO:
ivc-integration:test:native bb - time to construct proving key: 375 ms. (mem: 744.30 MiB)
08:52:04 [08:52:04.575]
INFO:
ivc-integration:test:native BB concurrency: 1
08:52:04 [08:52:04.575]
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-a2hC8O/proof -k /tmp/bb-client-ivc-integration-a2hC8O/vk -v
08:52:04 [08:52:04.654]
INFO:
ivc-integration:test:native bb command: verify (mem: 285.92 MiB)
08:52:04 Scheme is: client_ivc, num threads: 1 (mem: 285.92 MiB)
08:52:04 --proof_path: /tmp/bb-client-ivc-integration-a2hC8O/proof (mem: 285.92 MiB)
08:52:04 --vk_path: /tmp/bb-client-ivc-integration-a2hC8O/vk (mem: 285.92 MiB)
08:52:04 --verbose: true (mem: 285.92 MiB)
08:52:04 --scheme: client_ivc (mem: 285.92 MiB)
08:52:04 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 285.92 MiB)
08:52:04 [08:52:04.686]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537
08:52:04 [08:52:04.694]
INFO:
ivc-integration:test:native (mem: 285.92 MiB)
08:52:04 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 285.92 MiB)
08:52:04 [08:52:04.724]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
08:52:04 [08:52:04.725]
INFO:
ivc-integration:test:native (mem:
08:52:04 [08:52:04.726]
INFO:
ivc-integration:test:native 285.92
08:52:04 [08:52:04.727]
INFO:
ivc-integration:test:native MiB)
08:52:04 [08:52:04.729]
INFO:
ivc-integration:test:native
08:52:04 Initialized BN254 CRS from memory with num points = 1 (mem: 285.92 MiB)
08:52:04 sumcheck_verified: 1 (mem: 285.92 MiB)
08:52:04 libra_evals_verified: 1 (mem: 285.92 MiB)
08:52:04 pairing_check_verified: 1 (mem: 285.92 MiB)
08:52:04 Mega verified: 1 (mem: 285.92 MiB)
08:52:05 [08:52:05.236]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 285.92 MiB)
08:52:05 batch opening verified?: 1 (mem: 285.92 MiB)
08:52:05 eccvm consistency check verified?: 1 (mem: 285.92 MiB)
08:52:05 translation masking consistency checked?: 1 (mem: 285.92 MiB)
08:52:05 [08:52:05.259]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 285.92 MiB)
08:52:05 eccvm verified?: 1 (mem: 285.92 MiB)
08:52:05 accumulator construction_verified?: 1 (mem: 285.92 MiB)
08:52:05 translation verified?: 1 (mem: 285.92 MiB)
08:52:05 consistency verified?: 1 (mem: 285.92 MiB)
08:52:05 Goblin verified: 1 (mem: 285.92 MiB)
08:52:05 verified: 1 (mem: 285.92 MiB)
08:52:05 [08:52:05.409]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-FyTTyA/ivc-inputs.msgpack
08:52:05 [08:52:05.410]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
08:52:05 [08:52:05.410]
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-FyTTyA --ivc_inputs_path /tmp/bb-client-ivc-integration-FyTTyA/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
08:52:05 [08:52:05.432]
INFO:
ivc-integration:test:native bb - bb command: prove
08:52:05 [08:52:05.434]
INFO:
ivc-integration:test:native bb - (mem: 258.99 MiB)
08:52:05 Scheme is: client_ivc, num threads: 128 (mem: 258.99 MiB)
08:52:05 --scheme: client_ivc (mem: 258.99 MiB)
08:52:05 --output_path: /tmp/bb-client-ivc-integration-FyTTyA (mem: 258.99 MiB)
08:52:05 --ivc_inputs_path: /tmp/bb-client-ivc-integration-FyTTyA/ivc-inputs.msgpack (mem: 258.99 MiB)
08:52:05 --verbose: true (mem: 258.99 MiB)
08:52:05 --write_vk: true (mem: 258.99 MiB)
08:52:05 [08:52:05.440]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 258.99 MiB)
08:52:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 258.99 MiB)
08:52:05 [08:52:05.508]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 258.99 MiB)
08:52:05 [08:52:05.513]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 258.99 MiB)
08:52:05 Constructing DeciderProvingKey (mem: 258.99 MiB)
08:52:05 [08:52:05.520]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 258.99 MiB)
08:52:05 goblin ecc op : 4/1024 (mem: 258.99 MiB)
08:52:05 busread : 7/6000 (mem: 258.99 MiB)
08:52:05 lookups : 2/15000 (mem: 258.99 MiB)
08:52:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 258.99 MiB)
08:52:05 arithmetic : 1760/56000 (mem: 258.99 MiB)
08:52:05 delta range : 1754/18000 (mem: 258.99 MiB)
08:52:05 elliptic : 2/6000 (mem: 258.99 MiB)
08:52:05 auxiliary : 26/26000 (mem: 258.99 MiB)
08:52:05 poseidon ext : 2/17000 (mem: 258.99 MiB)
08:52:05 poseidon int : 2/92000 (mem: 258.99 MiB)
08:52:05 overflow : 0/0 (mem: 258.99 MiB)
08:52:05 (mem: 258.99 MiB)
08:52:05 Total structured size: 242025 (mem: 258.99 MiB)
08:52:05 allocating polynomials object in proving key... (mem: 258.99 MiB)
08:52:05 [08:52:05.757]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 341.04 MiB)
08:52:05 [08:52:05.774]
INFO:
ivc-integration:test:native bb - time to construct proving key: 261 ms. (mem: 354.04 MiB)
08:52:05 [08:52:05.886]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61ba4f061040 (mem: 355.04 MiB)
08:52:05 computing oink proof... (mem: 355.04 MiB)
08:52:05 [08:52:05.887]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 355.04 MiB)
08:52:06 [08:52:06.091]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 364.04 MiB)
08:52:06 [08:52:06.099]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 365.04 MiB)
08:52:06 [08:52:06.112]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 365.04 MiB)
08:52:06 [08:52:06.113]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 365.04 MiB)
08:52:06 [08:52:06.121]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 365.04 MiB)
08:52:06 goblin ecc op : 56/1024 (mem: 365.04 MiB)
08:52:06 busread : 12/6000 (mem: 365.04 MiB)
08:52:06 lookups : 2/15000 (mem: 365.04 MiB)
08:52:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 365.04 MiB)
08:52:06 arithmetic : 4677/56000 (mem: 365.04 MiB)
08:52:06 delta range : 2073/18000 (mem: 365.04 MiB)
08:52:06 elliptic : 2/6000 (mem: 365.04 MiB)
08:52:06 auxiliary : 110/26000 (mem: 365.04 MiB)
08:52:06 poseidon ext : 1322/17000 (mem: 365.04 MiB)
08:52:06 poseidon int : 7526/92000 (mem: 365.04 MiB)
08:52:06 overflow : 0/0 (mem: 365.04 MiB)
08:52:06 (mem: 365.04 MiB)
08:52:06 Total structured size: 242025 (mem: 365.04 MiB)
08:52:06 allocating polynomials object in proving key... (mem: 365.04 MiB)
08:52:06 [08:52:06.197]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 577.04 MiB)
08:52:06 [08:52:06.227]
INFO:
ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 594.04 MiB)
08:52:06 [08:52:06.355]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61ba4f06a280 (mem: 594.04 MiB)
08:52:06 computing folding proof (mem: 594.04 MiB)
08:52:06 [08:52:06.356]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 594.04 MiB)
08:52:06 [08:52:06.608]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 595.04 MiB)
08:52:06 [08:52:06.691]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 633.04 MiB)
08:52:06 [08:52:06.745]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 666.04 MiB)
08:52:06 [08:52:06.963]
INFO:
ivc-integration:test:native bb - folded (mem: 666.04 MiB)
08:52:06 constructed folding proof (mem: 666.04 MiB)
08:52:06 [08:52:06.964]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 666.04 MiB)
08:52:06 Constructing DeciderProvingKey (mem: 666.04 MiB)
08:52:06 [08:52:06.966]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 666.04 MiB)
08:52:06 goblin ecc op : 4/1024 (mem: 666.04 MiB)
08:52:06 [08:52:06.967]
INFO:
ivc-integration:test:native bb -
08:52:06 busread : 7/6000 (mem: 666.04 MiB)
08:52:06 lookups : 2/15000 (mem: 666.04 MiB)
08:52:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 666.04 MiB)
08:52:06 arithmetic : 1760/56000 (mem: 666.04 MiB)
08:52:06 delta range : 1754/18000 (mem: 666.04 MiB)
08:52:06 elliptic : 2/6000 (mem: 666.04 MiB)
08:52:06 auxiliary : 26/26000 (mem: 666.04 MiB)
08:52:06 poseidon ext : 2/17000 (mem: 666.04 MiB)
08:52:06 poseidon int : 2/92000 (mem: 666.04 MiB)
08:52:06 overflow : 0/0 (mem: 666.04 MiB)
08:52:06 (mem: 666.04 MiB)
08:52:06 Total structured size: 242025 (mem: 666.04 MiB)
08:52:06 allocating polynomials object in proving key... (mem: 666.04 MiB)
08:52:07 [08:52:07.030]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 666.04 MiB)
08:52:07 [08:52:07.062]
INFO:
ivc-integration:test:native bb - time to construct proving key: 98 ms. (mem: 666.04 MiB)
08:52:07 [08:52:07.181]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61ba4f065f40 (mem: 666.04 MiB)
08:52:07 computing folding proof (mem: 666.04 MiB)
08:52:07 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 666.04 MiB)
08:52:07 [08:52:07.350]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 666.04 MiB)
08:52:07 [08:52:07.403]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 666.04 MiB)
08:52:07 [08:52:07.453]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 668.14 MiB)
08:52:07 [08:52:07.593]
INFO:
ivc-integration:test:native bb - folded (mem: 668.14 MiB)
08:52:07 constructed folding proof (mem: 668.14 MiB)
08:52:07 [08:52:07.600]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 668.14 MiB)
08:52:07 [08:52:07.675]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 668.14 MiB)
08:52:07 [08:52:07.728]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 668.14 MiB)
08:52:07 Constructing DeciderProvingKey (mem: 668.14 MiB)
08:52:07 [08:52:07.733]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 668.14 MiB)
08:52:07 goblin ecc op : 792/1024 (mem: 668.14 MiB)
08:52:07 busread : 12/6000 (mem: 668.14 MiB)
08:52:07 lookups : 2/15000 (mem: 668.14 MiB)
08:52:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 668.14 MiB)
08:52:07 arithmetic : 12208/56000 (mem: 668.14 MiB)
08:52:07 delta range : 2981/18000 (mem: 668.14 MiB)
08:52:07 elliptic : 2/6000 (mem: 668.14 MiB)
08:52:07 auxiliary : 350/26000 (mem: 668.14 MiB)
08:52:07 poseidon ext : 4982/17000 (mem: 668.14 MiB)
08:52:07 poseidon int : 28388/92000 (mem: 668.14 MiB)
08:52:07 overflow : 0/0 (mem: 668.14 MiB)
08:52:07 (mem: 668.14 MiB)
08:52:07 Total structured size: 242025 (mem: 668.14 MiB)
08:52:07 allocating polynomials object in proving key... (mem: 668.14 MiB)
08:52:07 [08:52:07.797]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 668.14 MiB)
08:52:07 [08:52:07.847]
INFO:
ivc-integration:test:native bb - time to construct proving key: 118 ms. (mem: 668.14 MiB)
08:52:07 [08:52:07.981]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61ba4f05b500 (mem: 668.14 MiB)
08:52:07 computing folding proof (mem: 668.14 MiB)
08:52:07 [08:52:07.981]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 668.14 MiB)
08:52:08 [08:52:08.504]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 668.14 MiB)
08:52:08 [08:52:08.596]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 678.69 MiB)
08:52:08 [08:52:08.674]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 710.69 MiB)
08:52:09 [08:52:09.030]
INFO:
ivc-integration:test:native bb - folded (mem: 710.69 MiB)
08:52:09 constructed folding proof (mem: 710.69 MiB)
08:52:09 [08:52:09.039]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 710.69 MiB)
08:52:09 [08:52:09.096]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 710.69 MiB)
08:52:09 Constructing DeciderProvingKey (mem: 710.69 MiB)
08:52:09 [08:52:09.100]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 710.69 MiB)
08:52:09 goblin ecc op : 392/1024 (mem: 710.69 MiB)
08:52:09 busread : 16/6000 (mem: 710.69 MiB)
08:52:09 lookups : 2/15000 (mem: 710.69 MiB)
08:52:09 [08:52:09.100]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 710.69 MiB)
08:52:09 arithmetic : 6978/56000 (mem: 710.69 MiB)
08:52:09 delta range : 2367/18000 (mem: 710.69 MiB)
08:52:09 elliptic : 2/6000 (mem: 710.69 MiB)
08:52:09 auxiliary : 77/26000 (mem: 710.69 MiB)
08:52:09 poseidon ext : 2492/17000 (mem: 710.69 MiB)
08:52:09 poseidon int : 14195/92000 (mem: 710.69 MiB)
08:52:09 overflow : 0/0 (mem: 710.69 MiB)
08:52:09 (mem: 710.69 MiB)
08:52:09 Total structured size: 242025 (mem: 710.69 MiB)
08:52:09 allocating polynomials object in proving key... (mem: 710.69 MiB)
08:52:09 [08:52:09.152]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 710.69 MiB)
08:52:09 [08:52:09.168]
INFO:
ivc-integration:test:native bb - time to construct proving key: 71 ms. (mem: 710.69 MiB)
08:52:09 [08:52:09.258]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61ba4f070c40 (mem: 710.69 MiB)
08:52:09 computing folding proof (mem: 710.69 MiB)
08:52:09 [08:52:09.259]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 710.69 MiB)
08:52:09 [08:52:09.449]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.69 MiB)
08:52:09 [08:52:09.511]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 710.69 MiB)
08:52:09 [08:52:09.568]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 711.54 MiB)
08:52:09 [08:52:09.684]
INFO:
ivc-integration:test:native bb - folded (mem: 711.54 MiB)
08:52:09 constructed folding proof (mem: 711.54 MiB)
08:52:09 [08:52:09.690]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 711.54 MiB)
08:52:09 [08:52:09.742]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 711.54 MiB)
08:52:09 Constructing DeciderProvingKey (mem: 711.54 MiB)
08:52:09 [08:52:09.747]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 711.54 MiB)
08:52:09 goblin ecc op : 392/1024 (mem: 711.54 MiB)
08:52:09 busread : 3/6000 (mem: 711.54 MiB)
08:52:09 [08:52:09.748]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 711.54 MiB)
08:52:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 711.54 MiB)
08:52:09 arithmetic : 6913/56000 (mem: 711.54 MiB)
08:52:09 delta range : 2353/18000 (mem: 711.54 MiB)
08:52:09 elliptic : 2/6000 (mem: 711.54 MiB)
08:52:09 auxiliary : 50/26000 (mem: 711.54 MiB)
08:52:09 poseidon ext : 2492/17000 (mem: 711.54 MiB)
08:52:09 poseidon int : 14195/92000 (mem: 711.54 MiB)
08:52:09 overflow : 0/0 (mem: 711.54 MiB)
08:52:09 (mem: 711.54 MiB)
08:52:09 Total structured size: 242025 (mem: 711.54 MiB)
08:52:09 allocating polynomials object in proving key... (mem: 711.54 MiB)
08:52:09 [08:52:09.791]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 711.54 MiB)
08:52:09 [08:52:09.811]
INFO:
ivc-integration:test:native bb - time to construct proving key: 68 ms. (mem: 711.54 MiB)
08:52:09 [08:52:09.994]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61ba4f06fb40 (mem: 711.54 MiB)
08:52:09 computing folding proof (mem: 711.54 MiB)
08:52:09 [08:52:09.995]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 711.54 MiB)
08:52:10 [08:52:10.381]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 711.54 MiB)
08:52:10 [08:52:10.462]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 711.54 MiB)
08:52:10 [08:52:10.508]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 711.76 MiB)
08:52:10 [08:52:10.699]
INFO:
ivc-integration:test:native bb - folded
08:52:10 [08:52:10.699]
INFO:
ivc-integration:test:native bb - (mem:
08:52:10 [08:52:10.700]
INFO:
ivc-integration:test:native bb - 711.76
08:52:10 [08:52:10.700]
INFO:
ivc-integration:test:native bb - MiB)
08:52:10 [08:52:10.700]
INFO:
ivc-integration:test:native bb -
08:52:10 [08:52:10.701]
INFO:
ivc-integration:test:native bb - constructed folding proof
08:52:10 [08:52:10.701]
INFO:
ivc-integration:test:native bb - (mem:
08:52:10 [08:52:10.701]
INFO:
ivc-integration:test:native bb - 711.76
08:52:10 [08:52:10.701]
INFO:
ivc-integration:test:native bb - MiB)
08:52:10 [08:52:10.702]
INFO:
ivc-integration:test:native bb -
08:52:10 [08:52:10.702]
INFO:
ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details:
08:52:10 [08:52:10.703]
INFO:
ivc-integration:test:native bb - (mem: 711.76 MiB)
08:52:10 Minimum required block sizes for structured trace: (mem: 711.76 MiB)
08:52:10 (mem: 711.76 MiB)
08:52:10 prove decider... (mem: 711.76 MiB)
08:52:10 [08:52:10.704]
INFO:
ivc-integration:test:native bb - ecc_op : 792
08:52:10 busread : 16
08:52:10 lookup : 2
08:52:10 pub_inputs : 36
08:52:10 arithmetic : 12208
08:52:10 delta_range : 2981
08:52:10 elliptic : 2
08:52:10 aux : 350
08:52:10 poseidon2_external : 4982
08:52:10 poseidon2_internal : 28388
08:52:10 overflow : 0
08:52:10 [08:52:10.837]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.76 MiB)
08:52:10 [08:52:10.974]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 711.76 MiB)
08:52:11 [08:52:11.721]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.76 MiB)
08:52:11 [08:52:11.795]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 711.76 MiB)
08:52:11 finished decider proving. (mem: 711.76 MiB)
08:52:11 [08:52:11.820]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 711.76 MiB)
08:52:11 [08:52:11.926]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 711.76 MiB)
08:52:11 [08:52:11.932]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 711.76 MiB)
08:52:12 [08:52:12.005]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 711.76 MiB)
08:52:12 [08:52:12.044]
INFO:
ivc-integration:test:native bb - time to construct proving key: 118 ms. (mem: 711.76 MiB)
08:52:12 [08:52:12.498]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 711.76 MiB)
08:52:12 [08:52:12.811]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 711.76 MiB)
08:52:12 [08:52:12.958]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.76 MiB)
08:52:13 [08:52:13.485]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.76 MiB)
08:52:14 [08:52:14.073]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 711.76 MiB)
08:52:14 [08:52:14.120]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 711.76 MiB)
08:52:14 finished decider proving. (mem: 711.76 MiB)
08:52:14 Constructing a Goblin proof with num ultra ops = 2226 (mem: 711.76 MiB)
08:52:14 [08:52:14.227]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 711.76 MiB)
08:52:14 [08:52:14.486]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 711.76 MiB)
08:52:14 [08:52:14.496]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 711.76 MiB)
08:52:15 [08:52:15.356]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 711.76 MiB)
08:52:16 [08:52:16.372]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 711.76 MiB)
08:52:19 [08:52:19.289]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 711.76 MiB)
08:52:19 prove translator... (mem: 711.76 MiB)
08:52:22 [08:52:22.986]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 725.05 MiB)
08:52:26 [08:52:26.431]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 725.05 MiB)
08:52:28 [08:52:28.701]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 725.05 MiB)
08:52:28 [08:52:28.702]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 725.05 MiB)
08:52:28 [08:52:28.703]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 725.05 MiB)
08:52:28 [08:52:28.718]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 725.05 MiB)
08:52:28 libra_evals_verified: 1 (mem: 725.05 MiB)
08:52:28 pairing_check_verified: 1 (mem: 725.05 MiB)
08:52:28 Mega verified: 1 (mem: 725.05 MiB)
08:52:28 [08:52:28.797]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 726.05 MiB)
08:52:28 batch opening verified?: 1 (mem: 726.05 MiB)
08:52:28 eccvm consistency check verified?: 1 (mem: 726.05 MiB)
08:52:28 translation masking consistency checked?: 1 (mem: 726.05 MiB)
08:52:28 [08:52:28.818]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 726.05 MiB)
08:52:28 eccvm verified?: 1 (mem: 726.05 MiB)
08:52:28 accumulator construction_verified?: 1 (mem: 726.05 MiB)
08:52:28 translation verified?: 1 (mem: 726.05 MiB)
08:52:28 consistency verified?: 1 (mem: 726.05 MiB)
08:52:28 Goblin verified: 1 (mem: 726.05 MiB)
08:52:28 [08:52:28.823]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-FyTTyA" (mem: 726.05 MiB)
08:52:28 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-FyTTyA" (mem: 726.05 MiB)
08:52:28 BN254 commitment key size: 262144 (mem: 726.05 MiB)
08:52:28 Constructing DeciderProvingKey (mem: 726.05 MiB)
08:52:28 [08:52:28.827]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.05 MiB)
08:52:28 goblin ecc op : 4/1024 (mem: 726.05 MiB)
08:52:28 busread : 3/6000 (mem: 726.05 MiB)
08:52:28 lookups : 2/15000 (mem: 726.05 MiB)
08:52:28 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 726.05 MiB)
08:52:28 arithmetic : 1773/56000 (mem: 726.05
08:52:28 [08:52:28.828]
INFO:
ivc-integration:test:native bb - MiB)
08:52:28 delta range : 1754/18000 (mem: 726.05 MiB)
08:52:28 elliptic : 2/6000 (mem: 726.05 MiB)
08:52:28 auxiliary : 26/26000 (mem: 726.05 MiB)
08:52:28 poseidon ext : 2/17000 (mem: 726.05 MiB)
08:52:28 poseidon int : 2/92000 (mem: 726.05 MiB)
08:52:28 overflow : 0/0 (mem: 726.05 MiB)
08:52:28 (mem: 726.05 MiB)
08:52:28 Total structured size: 242025 (mem: 726.05 MiB)
08:52:28 allocating polynomials object in proving key... (mem: 726.05 MiB)
08:52:28 [08:52:28.952]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 726.05 MiB)
08:52:28 [08:52:28.968]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms.
08:52:28 [08:52:28.969]
INFO:
ivc-integration:test:native bb - (mem: 726.05 MiB)
08:52:29 [08:52:29.391]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 726.05 MiB)
08:52:29 [08:52:29.939]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 726.05 MiB)
08:52:29 [08:52:29.939]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.05 MiB)
08:52:30 [08:52:30.272]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 726.05 MiB)
08:52:30 [08:52:30.282]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 726.05 MiB)
08:52:30 [08:52:30.295]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 726.05 MiB)
08:52:30 [08:52:30.299]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 726.05 MiB)
08:52:30 goblin ecc op : 56/1024 (mem: 726.05 MiB)
08:52:30 busread : 3/6000 (mem: 726.05 MiB)
08:52:30 lookups : 2/15000 (mem: 726.05 MiB)
08:52:30 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 726.05 MiB)
08:52:30 [08:52:30.300]
INFO:
ivc-integration:test:native bb - arithmetic : 4533/56000 (mem: 726.05 MiB)
08:52:30 delta range : 2060/18000 (mem: 726.05 MiB)
08:52:30 elliptic : 2/6000 (mem: 726.05 MiB)
08:52:30 auxiliary : 50/26000 (mem: 726.05 MiB)
08:52:30 poseidon ext : 1332/17000 (mem: 726.05 MiB)
08:52:30 poseidon int : 7583/92000 (mem: 726.05 MiB)
08:52:30 overflow : 0/0 (mem: 726.05 MiB)
08:52:30 (mem: 726.05 MiB)
08:52:30 Total structured size: 242025 (mem: 726.05 MiB)
08:52:30 allocating polynomials object in proving key... (mem: 726.05 MiB)
08:52:30 [08:52:30.763]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 726.05 MiB)
08:52:30 [08:52:30.895]
INFO:
ivc-integration:test:native bb - time to construct proving key: 570 ms. (mem: 726.05 MiB)
08:52:31 [08:52:31.175]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem:
08:52:31 [08:52:31.177]
INFO:
ivc-integration:test:native bb - 726.05 MiB)
08:52:31 [08:52:31.470]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 726.05 MiB)
08:52:31 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 726.05 MiB)
08:52:31 [08:52:31.740]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 726.05 MiB)
08:52:31 [08:52:31.898]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 726.05 MiB)
08:52:31 [08:52:31.967]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 758.05 MiB)
08:52:32 [08:52:32.343]
INFO:
ivc-integration:test:native bb - folded (mem: 758.05 MiB)
08:52:32 constructed folding proof (mem: 758.05 MiB)
08:52:32 Largest circuit: 15565 gates. Trace details: (mem: 758.05 MiB)
08:52:32 Minimum required block sizes for structured trace: (mem: 758.05 MiB)
08:52:32 (mem: 758.05 MiB)
08:52:32 prove decider... (mem: 758.05 MiB)
08:52:32 [08:52:32.344]
INFO:
ivc-integration:test:native bb - ecc_op : 56
08:52:32 busread : 3
08:52:32 lookup : 2
08:52:32 pub_inputs : 36
08:52:32 arithmetic : 4533
08:52:32 delta_range : 2060
08:52:32 elliptic : 2
08:52:32 aux : 50
08:52:32 poseidon2_external : 1332
08:52:32 poseidon2_internal : 7583
08:52:32 overflow : 0
08:52:32 [08:52:32.490]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 758.05 MiB)
08:52:32 [08:52:32.595]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 758.05 MiB)
08:52:33 [08:52:33.272]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 758.05 MiB)
08:52:33 [08:52:33.360]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 758.05 MiB)
08:52:33 finished decider proving. (mem: 758.05 MiB)
08:52:33 [08:52:33.375]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 758.05 MiB)
08:52:33 [08:52:33.481]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 758.05 MiB)
08:52:33 [08:52:33.487]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 758.05 MiB)
08:52:33 [08:52:33.556]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 758.05 MiB)
08:52:33 [08:52:33.602]
INFO:
ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 758.05 MiB)
08:52:33 [08:52:33.945]
INFO:
ivc-integration:test:native BB concurrency: 1
08:52:33 [08:52:33.945]
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-FyTTyA/proof -k /tmp/bb-client-ivc-integration-FyTTyA/vk -v
08:52:33 [08:52:33.969]
INFO:
ivc-integration:test:native bb command: verify (mem: 259.29 MiB)
08:52:33 Scheme is: client_ivc, num threads: 1 (mem: 259.29 MiB)
08:52:33 --proof_path: /tmp/bb-client-ivc-integration-FyTTyA/proof (mem: 259.29 MiB)
08:52:33 --vk_path: /tmp/bb-client-ivc-integration-FyTTyA/vk (mem: 259.29 MiB)
08:52:33 --verbose: true (mem: 259.29 MiB)
08:52:33 --scheme: client_ivc (mem: 259.29 MiB)
08:52:33 [08:52:33.970]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 259.29 MiB)
08:52:33 [08:52:33.984]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 259.29 MiB)
08:52:33 [08:52:33.986]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 259.29 MiB)
08:52:34 [08:52:34.003]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 259.29 MiB)
08:52:34 [08:52:34.004]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 259.29 MiB)
08:52:34 [08:52:34.004]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 259.29 MiB)
08:52:34 libra_evals_verified: 1 (mem: 259.29 MiB)
08:52:34 pairing_check_verified: 1 (mem: 259.29 MiB)
08:52:34 Mega verified: 1 (mem: 259.29 MiB)
08:52:34 [08:52:34.496]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 259.29 MiB)
08:52:34 batch opening verified?: 1 (mem: 259.29 MiB)
08:52:34 eccvm consistency check verified?: 1 (mem: 259.29 MiB)
08:52:34 translation masking consistency checked?: 1 (mem: 259.29 MiB)
08:52:34 [08:52:34.515]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 259.29 MiB)
08:52:34 eccvm verified?: 1 (mem: 259.29 MiB)
08:52:34 [08:52:34.520]
INFO:
ivc-integration:test:native accumulator construction_verified?: 1 (mem: 259.29 MiB)
08:52:34 translation verified?: 1 (mem: 259.29 MiB)
08:52:34 consistency verified?: 1 (mem: 259.29 MiB)
08:52:34 Goblin verified: 1 (mem: 259.29 MiB)
08:52:34 verified: 1 (mem: 259.29 MiB)
08:52:34
PASS src/native_client_ivc_integration.test.ts (
76.005 s)
08:52:34 Client IVC Integration
08:52:34
✓ Should generate a verifiable client IVC proof from a simple mock tx (43094 ms)
08:52:34
✓ Should generate a verifiable client IVC proof from a complex mock tx (29257 ms)
08:52:34
08:52:34
Test Suites: 1 passed, 1 total
08:52:34
Tests: 2 passed, 2 total
08:52:34
Snapshots: 0 total
08:52:34
Time: 76.087 s
08:52:34
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
08:52:34
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?