ACI ·

Parent Log: http://ci.aztec-labs.com/cd44163f3616f4c5 Command: b71f9d6a9e3f68ca: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/ee24aac96469b4f1cb8d70e614b2dd27bf0eb134 Env: REF_NAME=gh-readonly-queue/next/pr-15242-1c2c2ee2949dbe31742cc9501a31bf3bce8083cf CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 14:03:21 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15242_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 14:03:26 [14:03:26.009] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-9g5ltm/ivc-inputs.msgpack 14:03:26 [14:03:26.016] INFO: ivc-integration:test:native bb - BB concurrency: undefined 14:03:26 [14:03:26.017] 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-9g5ltm --ivc_inputs_path /tmp/bb-client-ivc-integration-9g5ltm/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:03:26 [14:03:26.042] INFO: ivc-integration:test:native bb - bb command: prove (mem: 235.43 MiB) 14:03:26 [14:03:26.044] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 235.43 MiB) 14:03:26 --scheme: client_ivc (mem: 235.43 MiB) 14:03:26 --output_path: /tmp/bb-client-ivc-integration-9g5ltm (mem: 235.43 MiB) 14:03:26 --ivc_inputs_path: /tmp/bb-client-ivc-integration-9g5ltm/ivc-inputs.msgpack (mem: 235.43 MiB) 14:03:26 --verbose: true (mem: 235.43 MiB) 14:03:26 --write_vk: true (mem: 235.43 MiB) 14:03:26 BN254 commitment key size: 262144 (mem: 235.43 MiB) 14:03:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.43 MiB) 14:03:26 [14:03:26.104] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.43 MiB) 14:03:26 [14:03:26.110] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.43 MiB) 14:03:26 Constructing DeciderProvingKey (mem: 235.43 MiB) 14:03:26 [14:03:26.111] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 14:03:26 [14:03:26.112] INFO: ivc-integration:test:native bb - (mem: 14:03:26 [14:03:26.117] INFO: ivc-integration:test:native bb - 235.43 MiB) 14:03:26 goblin ecc op : 4/1024 (mem: 235.43 MiB) 14:03:26 busread : 7/6000 (mem: 235.43 MiB) 14:03:26 lookups : 2/15000 (mem: 235.43 MiB) 14:03:26 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.43 MiB) 14:03:26 arithmetic : 1760/56000 (mem: 235.43 MiB) 14:03:26 delta range : 1754/18000 (mem: 235.43 MiB) 14:03:26 elliptic : 2/6000 (mem: 235.43 MiB) 14:03:26 auxiliary : 26/26000 (mem: 235.43 MiB) 14:03:26 poseidon ext : 2/17000 (mem: 235.43 MiB) 14:03:26 poseidon int : 2/92000 (mem: 235.43 MiB) 14:03:26 overflow : 0/0 (mem: 235.43 MiB) 14:03:26 (mem: 235.43 MiB) 14:03:26 Total structured size: 242025 (mem: 235.43 MiB) 14:03:26 allocating polynomials object in proving key... (mem: 235.43 MiB) 14:03:26 [14:03:26.311] INFO: ivc-integration:test:native bb - populating trace... (mem: 337.13 MiB) 14:03:26 [14:03:26.319] INFO: ivc-integration:test:native bb - time to construct proving key: 211 ms. (mem: 345.13 MiB) 14:03:26 [14:03:26.404] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64210178f5c0 (mem: 345.13 MiB) 14:03:26 computing oink proof... (mem: 345.13 MiB) 14:03:26 [14:03:26.405] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 345.13 MiB) 14:03:26 [14:03:26.622] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 354.13 MiB) 14:03:26 [14:03:26.633] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 354.13 MiB) 14:03:26 [14:03:26.653] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 354.13 MiB) 14:03:26 Constructing DeciderProvingKey (mem: 354.13 MiB) 14:03:26 [14:03:26.657] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 354.13 MiB) 14:03:26 goblin ecc op : 56/1024 (mem: 354.13 MiB) 14:03:26 busread : 12/6000 (mem: 354.13 MiB) 14:03:26 lookups : 2/15000 (mem: 354.13 MiB) 14:03:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 354.13 MiB) 14:03:26 arithmetic : 4677/56000 (mem: 354.13 MiB) 14:03:26 delta range : 2073/18000 (mem: 354.13 MiB) 14:03:26 elliptic : 2/6000 (mem: 354.13 MiB) 14:03:26 auxiliary : 110/26000 (mem: 354.13 MiB) 14:03:26 poseidon ext : 1322/17000 (mem: 354.13 MiB) 14:03:26 poseidon int : 7526/92000 (mem: 354.13 MiB) 14:03:26 overflow : 0/0 (mem: 354.13 MiB) 14:03:26 (mem: 354.13 MiB) 14:03:26 Total structured size: 242025 (mem: 354.13 MiB) 14:03:26 allocating polynomials object in proving key... (mem: 354.13 MiB) 14:03:26 [14:03:26.847] INFO: ivc-integration:test:native bb - populating trace... (mem: 567.13 MiB) 14:03:26 [14:03:26.883] INFO: ivc-integration:test:native bb - time to construct proving key: 229 ms. (mem: 581.13 MiB) 14:03:27 [14:03:27.011] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64210179c2c0 (mem: 581.13 MiB) 14:03:27 computing folding proof (mem: 581.13 MiB) 14:03:27 [14:03:27.013] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 581.13 MiB) 14:03:27 [14:03:27.430] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 586.13 MiB) 14:03:27 [14:03:27.556] INFO: ivc-integration:test:native bb - perturbator round (mem: 624.13 MiB) 14:03:27 [14:03:27.623] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 657.13 MiB) 14:03:27 [14:03:27.997] INFO: ivc-integration:test:native bb - folded (mem: 657.13 MiB) 14:03:27 [14:03:27.998] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 657.13 MiB) 14:03:28 [14:03:28.009] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 657.13 MiB) 14:03:28 [14:03:28.078] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 657.13 MiB) 14:03:28 Constructing DeciderProvingKey (mem: 657.13 MiB) 14:03:28 Gate blocks summary: (actual gates / fixed capacity) (mem: 657.13 MiB) 14:03:28 goblin ecc op : 392/1024 (mem: 657.13 MiB) 14:03:28 busread : 3/6000 (mem: 657.13 MiB) 14:03:28 lookups : 2/15000 (mem: 657.13 MiB) 14:03:28 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 657.13 MiB) 14:03:28 arithmetic : 6913/56000 (mem: 657.13 MiB) 14:03:28 delta range : 2353/18000 (mem: 657.13 MiB) 14:03:28 elliptic : 2/6000 (mem: 657.13 MiB) 14:03:28 auxiliary : 50/26000 (mem: 657.13 MiB) 14:03:28 poseidon ext : 2492/17000 (mem: 657.13 MiB) 14:03:28 poseidon int : 14195/92000 (mem: 657.13 MiB) 14:03:28 overflow : 0/0 (mem: 657.13 MiB) 14:03:28 (mem: 657.13 MiB) 14:03:28 Total structured size: 242025 (mem: 657.13 MiB) 14:03:28 allocating polynomials object in proving key... (mem: 657.13 MiB) 14:03:28 [14:03:28.328] INFO: ivc-integration:test:native bb - populating trace... (mem: 657.13 MiB) 14:03:28 [14:03:28.383] INFO: ivc-integration:test:native bb - time to construct proving key: 309 ms. (mem: 657.13 MiB) 14:03:28 [14:03:28.807] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6421017a7780 (mem: 657.13 MiB) 14:03:28 computing folding proof (mem: 657.13 MiB) 14:03:28 [14:03:28.815] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 657.13 MiB) 14:03:29 [14:03:29.210] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 657.13 MiB) 14:03:29 [14:03:29.330] INFO: ivc-integration:test:native bb - perturbator round (mem: 657.13 MiB) 14:03:29 [14:03:29.397] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 666.32 MiB) 14:03:29 [14:03:29.700] INFO: ivc-integration:test:native bb - folded (mem: 666.32 MiB) 14:03:29 constructed folding proof (mem: 666.32 MiB) 14:03:29 [14:03:29.701] INFO: ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 666.32 MiB) 14:03:29 Minimum required block sizes for structured trace: (mem: 666.32 MiB) 14:03:29 (mem: 666.32 MiB) 14:03:29 prove decider... (mem: 666.32 MiB) 14:03:29 [14:03:29.702] INFO: ivc-integration:test:native bb - ecc_op : 392 14:03:29 busread : 12 14:03:29 lookup : 2 14:03:29 pub_inputs : 36 14:03:29 arithmetic : 6913 14:03:29 delta_range : 2353 14:03:29 elliptic : 2 14:03:29 aux : 110 14:03:29 poseidon2_external : 2492 14:03:29 poseidon2_internal : 14195 14:03:29 overflow : 0 14:03:29 [14:03:29.936] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 666.32 MiB) 14:03:30 [14:03:30.126] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 666.32 MiB) 14:03:31 [14:03:31.629] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 666.32 MiB) 14:03:31 [14:03:31.771] INFO: ivc-integration:test:native bb - computed opening proof (mem: 666.32 MiB) 14:03:31 finished decider proving. (mem: 666.32 MiB) 14:03:31 [14:03:31.789] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 666.32 MiB) 14:03:31 [14:03:31.889] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 666.32 MiB) 14:03:31 [14:03:31.892] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 666.32 MiB) 14:03:32 [14:03:32.204] INFO: ivc-integration:test:native bb - populating trace... (mem: 666.32 MiB) 14:03:32 [14:03:32.307] INFO: ivc-integration:test:native bb - time to construct proving key: 420 ms. (mem: 666.32 MiB) 14:03:33 [14:03:33.882] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 14:03:33 [14:03:33.882] INFO: ivc-integration:test:native bb - (mem: 14:03:33 [14:03:33.883] INFO: ivc-integration:test:native bb - 666.32 MiB) 14:03:34 [14:03:34.642] INFO: ivc-integration:test:native bb - created oink proof (mem: 666.32 MiB) 14:03:34 [14:03:34.975] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 666.32 MiB) 14:03:36 [14:03:36.514] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 666.32 MiB) 14:03:37 [14:03:37.934] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 14:03:37 [14:03:37.940] INFO: ivc-integration:test:native bb - (mem: 666.32 MiB) 14:03:38 [14:03:38.030] INFO: ivc-integration:test:native bb - computed opening proof (mem: 666.32 MiB) 14:03:38 finished decider proving. (mem: 666.32 MiB) 14:03:38 Constructing a Goblin proof with num ultra ops = 1038 (mem: 666.32 MiB) 14:03:38 [14:03:38.397] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 666.32 MiB) 14:03:38 [14:03:38.833] 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: 666.32 MiB) 14:03:38 [14:03:38.841] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 14:03:38 [14:03:38.842] INFO: ivc-integration:test:native bb - (mem: 666.32 MiB) 14:03:40 [14:03:40.931] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 666.32 MiB) 14:03:43 [14:03:43.555] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 666.32 MiB) 14:03:48 [14:03:48.278] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 666.32 MiB) 14:03:48 prove translator... (mem: 666.32 MiB) 14:03:50 [14:03:50.623] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 702.98 MiB) 14:03:54 [14:03:54.716] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 702.98 MiB) 14:03:58 [14:03:58.404] INFO: ivc-integration:test:native bb - computed opening proof (mem: 702.98 MiB) 14:03:58 [14:03:58.404] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 702.98 MiB) 14:03:58 [14:03:58.405] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 702.98 MiB) 14:03:58 [14:03:58.422] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 14:03:58 [14:03:58.426] INFO: ivc-integration:test:native bb - (mem: 702.98 MiB) 14:03:58 libra_evals_verified: 1 (mem: 702.98 MiB) 14:03:58 pairing_check_verified: 1 (mem: 702.98 MiB) 14:03:58 Mega verified: 1 (mem: 702.98 MiB) 14:03:58 [14:03:58.737] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 703.98 MiB) 14:03:58 batch opening verified?: 1 (mem: 703.98 MiB) 14:03:58 eccvm consistency check verified?: 1 (mem: 703.98 MiB) 14:03:58 translation masking consistency checked?: 1 (mem: 703.98 MiB) 14:03:58 [14:03:58.766] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 703.98 MiB) 14:03:58 eccvm verified?: 1 (mem: 703.98 MiB) 14:03:58 accumulator construction_verified?: 1 (mem: 703.98 MiB) 14:03:58 translation verified?: 1 (mem: 703.98 MiB) 14:03:58 consistency verified?: 1 (mem: 703.98 MiB) 14:03:58 Goblin verified: 1 (mem: 703.98 MiB) 14:03:58 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-9g5ltm" (mem: 703.98 MiB) 14:03:58 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-9g5ltm" (mem: 703.98 MiB) 14:03:58 BN254 commitment key size: 262144 (mem: 703.98 MiB) 14:03:58 Constructing DeciderProvingKey (mem: 703.98 MiB) 14:03:58 Gate blocks summary: (actual gates / fixed capacity) (mem: 703.98 MiB) 14:03:58 goblin ecc op : 4/1024 (mem: 703.98 MiB) 14:03:58 busread : 3/6000 (mem: 703.98 MiB) 14:03:58 lookups : 2/15000 (mem: 703.98 MiB) 14:03:58 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 703.98 MiB) 14:03:58 arithmetic : 1773/56000 (mem: 703.98 MiB) 14:03:58 delta range : 1754/18000 (mem: 703.98 MiB) 14:03:58 elliptic : 2/6000 (mem: 703.98 MiB) 14:03:58 auxiliary : 26/26000 (mem: 703.98 MiB) 14:03:58 poseidon ext : 2/17000 (mem: 703.98 MiB) 14:03:58 poseidon int : 2/92000 (mem: 703.98 MiB) 14:03:58 overflow : 0/0 (mem: 703.98 MiB) 14:03:58 (mem: 703.98 MiB) 14:03:58 Total structured size: 242025 (mem: 703.98 MiB) 14:03:58 allocating polynomials object in proving key... (mem: 703.98 MiB) 14:03:59 [14:03:59.053] INFO: ivc-integration:test:native bb - populating trace... (mem: 703.98 MiB) 14:03:59 [14:03:59.084] INFO: ivc-integration:test:native bb - time to construct proving key: 323 ms. (mem: 703.98 MiB) 14:03:59 [14:03:59.215] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 14:03:59 [14:03:59.216] INFO: ivc-integration:test:native bb - (mem: 703.98 MiB) 14:03:59 [14:03:59.618] INFO: ivc-integration:test:native bb - computing oink proof... 14:03:59 [14:03:59.620] INFO: ivc-integration:test:native bb - (mem: 703.98 MiB) 14:03:59 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 703.98 MiB) 14:04:00 [14:04:00.357] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 703.98 MiB) 14:04:00 [14:04:00.372] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 14:04:00 [14:04:00.376] INFO: ivc-integration:test:native bb - (mem: 703.98 MiB) 14:04:00 [14:04:00.393] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 14:04:00 [14:04:00.394] INFO: ivc-integration:test:native bb - (mem: 14:04:00 [14:04:00.397] INFO: ivc-integration:test:native bb - 703.98 MiB) 14:04:00 [14:04:00.408] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 703.98 MiB) 14:04:00 goblin ecc op : 56/1024 (mem: 703.98 MiB) 14:04:00 busread : 3/6000 (mem: 703.98 MiB) 14:04:00 lookups : 2/15000 (mem: 703.98 MiB) 14:04:00 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 703.98 MiB) 14:04:00 arithmetic : 4533/56000 (mem: 703.98 MiB) 14:04:00 delta range : 2060/18000 (mem: 703.98 MiB) 14:04:00 elliptic : 2/6000 (mem: 703.98 MiB) 14:04:00 auxiliary : 50/26000 (mem: 703.98 MiB) 14:04:00 poseidon ext : 1332/17000 (mem: 703.98 MiB) 14:04:00 poseidon int : 7583/92000 (mem: 703.98 MiB) 14:04:00 overflow : 0/0 (mem: 703.98 MiB) 14:04:00 (mem: 703.98 MiB) 14:04:00 Total structured size: 242025 (mem: 703.98 MiB) 14:04:00 allocating polynomials object in proving key... (mem: 703.98 MiB) 14:04:00 [14:04:00.840] INFO: ivc-integration:test:native bb - populating trace... (mem: 703.98 MiB) 14:04:00 [14:04:00.884] INFO: ivc-integration:test:native bb - time to construct proving key: 485 ms. (mem: 703.98 MiB) 14:04:01 [14:04:01.153] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 703.98 MiB) 14:04:01 [14:04:01.802] INFO: ivc-integration:test:native bb - computing folding proof (mem: 704.98 MiB) 14:04:01 [14:04:01.803] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 704.98 MiB) 14:04:02 [14:04:02.465] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 704.98 MiB) 14:04:02 [14:04:02.678] INFO: ivc-integration:test:native bb - perturbator round (mem: 704.98 MiB) 14:04:02 [14:04:02.820] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 736.98 MiB) 14:04:03 [14:04:03.441] INFO: ivc-integration:test:native bb - folded (mem: 736.98 MiB) 14:04:03 constructed folding proof (mem: 14:04:03 [14:04:03.444] INFO: ivc-integration:test:native bb - 736.98 MiB) 14:04:03 Largest circuit: 15565 gates. Trace details: (mem: 736.98 MiB) 14:04:03 Minimum required block sizes for structured trace: (mem: 736.98 MiB) 14:04:03 (mem: 736.98 MiB) 14:04:03 prove decider... (mem: 736.98 MiB) 14:04:03 [14:04:03.444] INFO: ivc-integration:test:native bb - ecc_op : 56 14:04:03 busread : 3 14:04:03 lookup : 2 14:04:03 pub_inputs : 36 14:04:03 arithmetic : 4533 14:04:03 delta_range : 2060 14:04:03 elliptic : 2 14:04:03 aux : 50 14:04:03 poseidon2_external : 1332 14:04:03 poseidon2_internal : 7583 14:04:03 overflow : 0 14:04:03 [14:04:03.721] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 736.98 MiB) 14:04:03 [14:04:03.865] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 736.98 MiB) 14:04:05 [14:04:05.330] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 736.98 MiB) 14:04:05 [14:04:05.503] INFO: ivc-integration:test:native bb - computed opening proof (mem: 736.98 MiB) 14:04:05 finished decider proving. (mem: 736.98 MiB) 14:04:05 [14:04:05.526] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 736.98 MiB) 14:04:05 [14:04:05.626] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 14:04:05 [14:04:05.627] INFO: ivc-integration:test:native bb - (mem: 14:04:05 [14:04:05.629] INFO: ivc-integration:test:native bb - 736.98 MiB) 14:04:05 [14:04:05.637] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 14:04:05 [14:04:05.642] INFO: ivc-integration:test:native bb - (mem: 736.98 MiB) 14:04:05 [14:04:05.909] INFO: ivc-integration:test:native bb - populating trace... (mem: 736.98 MiB) 14:04:05 [14:04:05.990] INFO: ivc-integration:test:native bb - time to construct proving key: 361 ms. (mem: 736.98 MiB) 14:04:06 [14:04:06.652] INFO: ivc-integration:test:native BB concurrency: 1 14:04:06 [14:04:06.653] 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-9g5ltm/proof -k /tmp/bb-client-ivc-integration-9g5ltm/vk -v 14:04:06 [14:04:06.681] INFO: ivc-integration:test:native bb command: verify (mem: 235.96 MiB) 14:04:06 Scheme is: client_ivc, num threads: 1 (mem: 235.96 MiB) 14:04:06 --proof_path: /tmp/bb-client-ivc-integration-9g5ltm/proof (mem: 235.96 MiB) 14:04:06 --vk_path: /tmp/bb-client-ivc-integration-9g5ltm/vk (mem: 235.96 MiB) 14:04:06 --verbose: true (mem: 235.96 MiB) 14:04:06 --scheme: client_ivc (mem: 235.96 MiB) 14:04:06 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 235.96 MiB) 14:04:06 [14:04:06.696] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 235.96 MiB) 14:04:06 [14:04:06.698] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 235.96 MiB) 14:04:06 [14:04:06.718] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.96 MiB) 14:04:06 Initialized BN254 CRS from memory with num points = 1 (mem: 235.96 MiB) 14:04:06 [14:04:06.719] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 235.96 MiB) 14:04:06 libra_evals_verified: 1 (mem: 235.96 MiB) 14:04:06 pairing_check_verified: 1 (mem: 235.96 MiB) 14:04:06 Mega verified: 1 (mem: 235.96 MiB) 14:04:07 [14:04:07.224] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 14:04:07 [14:04:07.227] INFO: ivc-integration:test:native (mem: 235.96 MiB) 14:04:07 batch opening verified?: 1 (mem: 235.96 MiB) 14:04:07 eccvm consistency check verified?: 1 (mem: 235.96 MiB) 14:04:07 translation masking consistency checked?: 1 (mem: 235.96 MiB) 14:04:07 [14:04:07.248] INFO: ivc-integration:test:native merge verified?: 1 14:04:07 [14:04:07.252] INFO: ivc-integration:test:native (mem: 235.96 MiB) 14:04:07 eccvm verified?: 1 (mem: 235.96 MiB) 14:04:07 accumulator construction_verified?: 1 (mem: 235.96 MiB) 14:04:07 translation verified?: 1 (mem: 235.96 MiB) 14:04:07 consistency verified?: 1 (mem: 235.96 MiB) 14:04:07 Goblin verified: 1 (mem: 235.96 MiB) 14:04:07 verified: 1 (mem: 235.96 MiB) 14:04:07 [14:04:07.361] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-wKfcIn/ivc-inputs.msgpack 14:04:07 [14:04:07.362] INFO: ivc-integration:test:native bb - BB concurrency: undefined 14:04:07 [14:04:07.362] 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-wKfcIn --ivc_inputs_path /tmp/bb-client-ivc-integration-wKfcIn/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:04:07 [14:04:07.396] INFO: ivc-integration:test:native bb - bb command: prove (mem: 237.41 MiB) 14:04:07 Scheme is: client_ivc, num threads: 128 (mem: 237.41 MiB) 14:04:07 --scheme: client_ivc (mem: 237.41 MiB) 14:04:07 --output_path: /tmp/bb-client-ivc-integration-wKfcIn (mem: 237.41 MiB) 14:04:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-wKfcIn/ivc-inputs.msgpack (mem: 237.41 MiB) 14:04:07 --verbose: true (mem: 237.41 MiB) 14:04:07 --write_vk: true (mem: 237.41 MiB) 14:04:07 [14:04:07.405] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 237.41 MiB) 14:04:07 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 237.41 MiB) 14:04:07 [14:04:07.479] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 237.41 MiB) 14:04:07 [14:04:07.483] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 237.41 MiB) 14:04:07 Constructing DeciderProvingKey (mem: 237.41 MiB) 14:04:07 [14:04:07.489] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 237.41 MiB) 14:04:07 goblin ecc op : 4/1024 (mem: 237.41 MiB) 14:04:07 busread : 7/6000 (mem: 237.41 MiB) 14:04:07 lookups : 2/15000 (mem: 237.41 MiB) 14:04:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 237.41 MiB) 14:04:07 [14:04:07.489] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 237.41 MiB) 14:04:07 delta range : 1754/18000 (mem: 237.41 MiB) 14:04:07 elliptic : 2/6000 (mem: 237.41 MiB) 14:04:07 auxiliary : 26/26000 (mem: 237.41 MiB) 14:04:07 poseidon ext : 2/17000 (mem: 237.41 MiB) 14:04:07 poseidon int : 2/92000 (mem: 237.41 MiB) 14:04:07 overflow : 0/0 (mem: 237.41 MiB) 14:04:07 (mem: 237.41 MiB) 14:04:07 Total structured size: 242025 (mem: 237.41 MiB) 14:04:07 allocating polynomials object in proving key... (mem: 237.41 MiB) 14:04:07 [14:04:07.808] INFO: ivc-integration:test:native bb - populating trace... (mem: 359.94 MiB) 14:04:07 [14:04:07.825] INFO: ivc-integration:test:native bb - time to construct proving key: 340 ms. (mem: 376.94 MiB) 14:04:07 [14:04:07.915] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5978ec4d63c0 (mem: 376.94 MiB) 14:04:07 computing oink proof... (mem: 14:04:07 [14:04:07.916] INFO: ivc-integration:test:native bb - 376.94 MiB) 14:04:07 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 376.94 MiB) 14:04:08 [14:04:08.237] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 387.94 MiB) 14:04:08 [14:04:08.246] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 387.94 MiB) 14:04:08 [14:04:08.260] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 387.94 MiB) 14:04:08 Constructing DeciderProvingKey (mem: 387.94 MiB) 14:04:08 [14:04:08.263] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 387.94 MiB) 14:04:08 goblin ecc op : 56/1024 (mem: 387.94 MiB) 14:04:08 busread : 12/6000 (mem: 387.94 MiB) 14:04:08 lookups : 2/15000 (mem: 387.94 MiB) 14:04:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 387.94 MiB) 14:04:08 arithmetic : 4677/56000 (mem: 387.94 MiB) 14:04:08 delta range : 2073/18000 (mem: 387.94 MiB) 14:04:08 elliptic : 2/6000 (mem: 387.94 MiB) 14:04:08 [14:04:08.268] INFO: ivc-integration:test:native bb - auxiliary : 110/26000 (mem: 387.94 MiB) 14:04:08 poseidon ext : 1322/17000 (mem: 387.94 MiB) 14:04:08 poseidon int : 7526/92000 (mem: 387.94 MiB) 14:04:08 overflow : 0/0 (mem: 387.94 MiB) 14:04:08 (mem: 387.94 MiB) 14:04:08 Total structured size: 242025 (mem: 387.94 MiB) 14:04:08 allocating polynomials object in proving key... (mem: 387.94 MiB) 14:04:08 [14:04:08.430] INFO: ivc-integration:test:native bb - populating trace... (mem: 582.94 MiB) 14:04:08 [14:04:08.454] INFO: ivc-integration:test:native bb - time to construct proving key: 194 ms. (mem: 596.94 MiB) 14:04:08 [14:04:08.580] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5978ec4df680 (mem: 596.94 MiB) 14:04:08 computing folding proof (mem: 596.94 MiB) 14:04:08 [14:04:08.581] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 596.94 MiB) 14:04:08 [14:04:08.990] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 600.94 MiB) 14:04:09 [14:04:09.089] INFO: ivc-integration:test:native bb - perturbator round (mem: 636.94 MiB) 14:04:09 [14:04:09.146] INFO: ivc-integration:test:native bb - combiner quotient round 14:04:09 [14:04:09.146] INFO: ivc-integration:test:native bb - (mem: 14:04:09 [14:04:09.147] INFO: ivc-integration:test:native bb - 669.94 14:04:09 [14:04:09.147] INFO: ivc-integration:test:native bb - MiB) 14:04:09 [14:04:09.147] INFO: ivc-integration:test:native bb - 14:04:09 [14:04:09.404] INFO: ivc-integration:test:native bb - folded (mem: 669.94 MiB) 14:04:09 constructed folding proof (mem: 669.94 MiB) 14:04:09 [14:04:09.409] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 669.94 MiB) 14:04:09 Constructing DeciderProvingKey (mem: 669.94 MiB) 14:04:09 [14:04:09.410] INFO: ivc-integration:test:native bb - 14:04:09 [14:04:09.417] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 669.94 MiB) 14:04:09 goblin ecc op : 4/1024 (mem: 669.94 MiB) 14:04:09 busread : 7/6000 (mem: 669.94 MiB) 14:04:09 lookups : 2/15000 (mem: 669.94 MiB) 14:04:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 669.94 MiB) 14:04:09 arithmetic : 1760/56000 (mem: 669.94 MiB) 14:04:09 delta range : 1754/18000 (mem: 669.94 MiB) 14:04:09 elliptic : 2/6000 (mem: 669.94 MiB) 14:04:09 auxiliary : 26/26000 (mem: 669.94 MiB) 14:04:09 poseidon ext : 2/17000 (mem: 669.94 MiB) 14:04:09 poseidon int : 2/92000 (mem: 669.94 MiB) 14:04:09 overflow : 0/0 (mem: 669.94 MiB) 14:04:09 (mem: 669.94 MiB) 14:04:09 Total structured size: 242025 (mem: 669.94 MiB) 14:04:09 allocating polynomials object in proving key... (mem: 669.94 MiB) 14:04:09 [14:04:09.465] INFO: ivc-integration:test:native bb - populating trace... (mem: 669.94 MiB) 14:04:09 [14:04:09.474] INFO: ivc-integration:test:native bb - time to construct proving key: 64 ms. 14:04:09 [14:04:09.475] INFO: ivc-integration:test:native bb - (mem: 669.94 MiB) 14:04:09 [14:04:09.543] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5978ec4db340 14:04:09 [14:04:09.546] INFO: ivc-integration:test:native bb - (mem: 669.94 MiB) 14:04:09 computing folding proof (mem: 669.94 MiB) 14:04:09 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 669.94 MiB) 14:04:09 [14:04:09.709] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 669.94 MiB) 14:04:09 [14:04:09.775] INFO: ivc-integration:test:native bb - perturbator round (mem: 669.94 MiB) 14:04:09 [14:04:09.837] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 671.77 MiB) 14:04:10 [14:04:10.102] INFO: ivc-integration:test:native bb - folded (mem: 671.77 MiB) 14:04:10 constructed folding proof (mem: 14:04:10 [14:04:10.103] INFO: ivc-integration:test:native bb - 671.77 MiB) 14:04:10 [14:04:10.112] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 671.77 MiB) 14:04:10 [14:04:10.173] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 671.77 MiB) 14:04:10 [14:04:10.230] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 671.77 MiB) 14:04:10 Constructing DeciderProvingKey (mem: 671.77 MiB) 14:04:10 [14:04:10.234] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 671.77 MiB) 14:04:10 goblin ecc op : 792/1024 (mem: 671.77 MiB) 14:04:10 busread : 12/6000 (mem: 671.77 14:04:10 [14:04:10.236] INFO: ivc-integration:test:native bb - MiB) 14:04:10 lookups : 2/15000 (mem: 671.77 MiB) 14:04:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 671.77 MiB) 14:04:10 arithmetic : 12208/56000 (mem: 671.77 MiB) 14:04:10 delta range : 2981/18000 (mem: 671.77 MiB) 14:04:10 elliptic : 2/6000 (mem: 671.77 MiB) 14:04:10 auxiliary : 350/26000 (mem: 671.77 MiB) 14:04:10 poseidon ext : 4982/17000 (mem: 671.77 MiB) 14:04:10 poseidon int : 28388/92000 (mem: 671.77 MiB) 14:04:10 overflow : 0/0 (mem: 671.77 MiB) 14:04:10 (mem: 671.77 MiB) 14:04:10 Total structured size: 242025 (mem: 671.77 MiB) 14:04:10 allocating polynomials object in proving key... (mem: 671.77 MiB) 14:04:10 [14:04:10.333] INFO: ivc-integration:test:native bb - populating trace... (mem: 671.77 MiB) 14:04:10 [14:04:10.390] INFO: ivc-integration:test:native bb - time to construct proving key: 160 ms. (mem: 671.77 MiB) 14:04:10 [14:04:10.516] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5978ec5533c0 (mem: 671.77 MiB) 14:04:10 computing folding proof (mem: 671.77 MiB) 14:04:10 [14:04:10.517] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 671.77 MiB) 14:04:10 [14:04:10.992] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 671.77 MiB) 14:04:11 [14:04:11.078] INFO: ivc-integration:test:native bb - perturbator round (mem: 683.10 MiB) 14:04:11 [14:04:11.126] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 715.10 MiB) 14:04:11 [14:04:11.295] INFO: ivc-integration:test:native bb - folded 14:04:11 [14:04:11.296] INFO: ivc-integration:test:native bb - (mem: 715.10 MiB) 14:04:11 constructed folding proof (mem: 715.10 MiB) 14:04:11 [14:04:11.305] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 715.10 MiB) 14:04:11 [14:04:11.371] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 715.10 MiB) 14:04:11 Constructing DeciderProvingKey (mem: 715.10 MiB) 14:04:11 [14:04:11.374] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 715.10 MiB) 14:04:11 goblin ecc op : 392/1024 (mem: 715.10 MiB) 14:04:11 busread : 16/6000 (mem: 715.10 MiB) 14:04:11 lookups : 2/15000 (mem: 715.10 MiB) 14:04:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 14:04:11 [14:04:11.375] INFO: ivc-integration:test:native bb - 715.10 MiB) 14:04:11 arithmetic : 6978/56000 (mem: 715.10 MiB) 14:04:11 delta range : 2367/18000 (mem: 715.10 MiB) 14:04:11 elliptic : 2/6000 (mem: 715.10 MiB) 14:04:11 auxiliary : 77/26000 (mem: 715.10 MiB) 14:04:11 poseidon ext : 2492/17000 (mem: 715.10 MiB) 14:04:11 poseidon int : 14195/92000 (mem: 715.10 MiB) 14:04:11 overflow : 0/0 (mem: 715.10 MiB) 14:04:11 (mem: 715.10 MiB) 14:04:11 Total structured size: 242025 (mem: 715.10 MiB) 14:04:11 allocating polynomials object in proving key... (mem: 715.10 MiB) 14:04:11 [14:04:11.433] INFO: ivc-integration:test:native bb - populating trace... (mem: 715.10 MiB) 14:04:11 [14:04:11.458] INFO: ivc-integration:test:native bb - time to construct proving key: 86 ms. (mem: 715.10 MiB) 14:04:11 [14:04:11.555] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5978ec4e50c0 (mem: 715.10 MiB) 14:04:11 computing folding proof (mem: 715.10 MiB) 14:04:11 [14:04:11.556] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 715.10 MiB) 14:04:11 [14:04:11.807] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 715.10 MiB) 14:04:11 [14:04:11.877] INFO: ivc-integration:test:native bb - perturbator round 14:04:11 [14:04:11.878] INFO: ivc-integration:test:native bb - (mem: 715.10 MiB) 14:04:11 [14:04:11.931] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 716.71 MiB) 14:04:12 [14:04:12.261] INFO: ivc-integration:test:native bb - folded (mem: 716.71 MiB) 14:04:12 constructed folding proof (mem: 716.71 MiB) 14:04:12 [14:04:12.268] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 716.71 MiB) 14:04:12 [14:04:12.337] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 716.71 MiB) 14:04:12 Constructing DeciderProvingKey (mem: 716.71 MiB) 14:04:12 [14:04:12.341] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 716.71 MiB) 14:04:12 goblin ecc op : 392/1024 (mem: 14:04:12 [14:04:12.341] INFO: ivc-integration:test:native bb - 716.71 MiB) 14:04:12 busread : 3/6000 (mem: 716.71 MiB) 14:04:12 lookups : 2/15000 (mem: 716.71 MiB) 14:04:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 716.71 MiB) 14:04:12 arithmetic : 6913/56000 (mem: 716.71 MiB) 14:04:12 delta range : 2353/18000 (mem: 716.71 MiB) 14:04:12 elliptic : 2/6000 (mem: 716.71 MiB) 14:04:12 auxiliary : 50/26000 (mem: 716.71 MiB) 14:04:12 poseidon ext : 2492/17000 (mem: 716.71 MiB) 14:04:12 poseidon int : 14195/92000 (mem: 716.71 MiB) 14:04:12 overflow : 0/0 (mem: 716.71 MiB) 14:04:12 (mem: 716.71 MiB) 14:04:12 Total structured size: 242025 (mem: 716.71 MiB) 14:04:12 allocating polynomials object in proving key... (mem: 716.71 MiB) 14:04:12 [14:04:12.424] INFO: ivc-integration:test:native bb - populating trace... (mem: 716.71 MiB) 14:04:12 [14:04:12.442] INFO: ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 716.71 MiB) 14:04:12 [14:04:12.577] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5978ec4e6080 (mem: 716.71 MiB) 14:04:12 computing folding proof (mem: 716.71 MiB) 14:04:12 vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 716.71 MiB) 14:04:12 [14:04:12.918] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 716.71 MiB) 14:04:13 [14:04:13.019] INFO: ivc-integration:test:native bb - perturbator round (mem: 716.71 MiB) 14:04:13 [14:04:13.065] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 718.55 MiB) 14:04:13 [14:04:13.228] INFO: ivc-integration:test:native bb - folded (mem: 718.55 MiB) 14:04:13 [14:04:13.229] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 718.55 MiB) 14:04:13 Largest circuit: 48925 gates. Trace details: (mem: 718.55 MiB) 14:04:13 Minimum required block sizes for structured trace: (mem: 718.55 MiB) 14:04:13 (mem: 718.55 MiB) 14:04:13 prove decider... (mem: 718.55 MiB) 14:04:13 [14:04:13.229] INFO: ivc-integration:test:native bb - ecc_op : 792 14:04:13 busread : 16 14:04:13 lookup : 2 14:04:13 pub_inputs : 36 14:04:13 arithmetic : 12208 14:04:13 delta_range : 2981 14:04:13 elliptic : 2 14:04:13 aux : 350 14:04:13 poseidon2_external : 4982 14:04:13 poseidon2_internal : 28388 14:04:13 overflow : 0 14:04:13 [14:04:13.348] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 718.55 MiB) 14:04:13 [14:04:13.447] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 718.55 MiB) 14:04:14 [14:04:14.160] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 718.55 MiB) 14:04:14 [14:04:14.269] INFO: ivc-integration:test:native bb - computed opening proof (mem: 718.55 MiB) 14:04:14 finished decider proving. (mem: 718.55 MiB) 14:04:14 [14:04:14.299] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 718.55 MiB) 14:04:14 [14:04:14.382] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 718.55 MiB) 14:04:14 [14:04:14.387] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 718.55 MiB) 14:04:14 [14:04:14.518] INFO: ivc-integration:test:native bb - populating trace... (mem: 718.55 MiB) 14:04:14 [14:04:14.558] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. 14:04:14 [14:04:14.559] INFO: ivc-integration:test:native bb - (mem: 718.55 MiB) 14:04:15 [14:04:15.324] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 14:04:15 [14:04:15.325] INFO: ivc-integration:test:native bb - (mem: 718.55 MiB) 14:04:15 [14:04:15.808] INFO: ivc-integration:test:native bb - created oink proof (mem: 718.55 MiB) 14:04:15 [14:04:15.934] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 718.55 MiB) 14:04:16 [14:04:16.470] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 718.55 MiB) 14:04:17 [14:04:17.304] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 718.55 MiB) 14:04:17 [14:04:17.383] INFO: ivc-integration:test:native bb - computed opening proof 14:04:17 [14:04:17.384] INFO: ivc-integration:test:native bb - (mem: 718.55 MiB) 14:04:17 finished decider proving. (mem: 718.55 MiB) 14:04:17 Constructing a Goblin proof with num ultra ops = 2226 (mem: 718.55 MiB) 14:04:17 [14:04:17.601] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 718.55 MiB) 14:04:17 [14:04:17.849] 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: 718.55 MiB) 14:04:17 [14:04:17.858] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 718.55 MiB) 14:04:19 [14:04:19.107] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 718.55 MiB) 14:04:22 [14:04:22.045] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 718.55 MiB) 14:04:28 [14:04:28.250] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 718.55 MiB) 14:04:28 prove translator... (mem: 718.55 14:04:28 [14:04:28.251] INFO: ivc-integration:test:native bb - MiB) 14:04:29 [14:04:29.537] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 728.25 MiB) 14:04:31 [14:04:31.811] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 728.25 MiB) 14:04:33 [14:04:33.446] INFO: ivc-integration:test:native bb - computed opening proof (mem: 728.25 MiB) 14:04:33 finished translator proving. (mem: 728.25 MiB) 14:04:33 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 728.25 MiB) 14:04:33 [14:04:33.461] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 728.25 MiB) 14:04:33 libra_evals_verified: 1 (mem: 728.25 MiB) 14:04:33 pairing_check_verified: 1 (mem: 728.25 MiB) 14:04:33 Mega verified: 1 (mem: 728.25 MiB) 14:04:33 [14:04:33.551] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 728.25 MiB) 14:04:33 batch opening verified?: 1 (mem: 728.25 MiB) 14:04:33 eccvm consistency check verified?: 1 (mem: 728.25 MiB) 14:04:33 translation masking consistency checked?: 1 (mem: 728.25 MiB) 14:04:33 [14:04:33.574] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 728.25 MiB) 14:04:33 eccvm verified?: 1 (mem: 728.25 MiB) 14:04:33 accumulator construction_verified?: 1 (mem: 728.25 MiB) 14:04:33 translation verified?: 1 (mem: 728.25 MiB) 14:04:33 consistency verified?: 1 (mem: 728.25 MiB) 14:04:33 Goblin verified: 1 (mem: 728.25 MiB) 14:04:33 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-wKfcIn" (mem: 728.25 MiB) 14:04:33 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-wKfcIn" (mem: 728.25 MiB) 14:04:33 BN254 commitment key size: 262144 (mem: 728.25 MiB) 14:04:33 [14:04:33.576] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 728.25 MiB) 14:04:33 [14:04:33.580] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 728.25 MiB) 14:04:33 goblin ecc op : 4/1024 (mem: 728.25 MiB) 14:04:33 busread : 3/6000 (mem: 728.25 MiB) 14:04:33 lookups : 2/15000 (mem: 728.25 MiB) 14:04:33 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 728.25 MiB) 14:04:33 [14:04:33.581] INFO: ivc-integration:test:native bb - arithmetic : 1773/56000 (mem: 728.25 MiB) 14:04:33 delta range : 1754/18000 (mem: 728.25 MiB) 14:04:33 elliptic : 2/6000 (mem: 728.25 MiB) 14:04:33 auxiliary : 26/26000 (mem: 728.25 MiB) 14:04:33 poseidon ext : 2/17000 (mem: 728.25 MiB) 14:04:33 poseidon int : 2/92000 (mem: 728.25 MiB) 14:04:33 overflow : 0/0 (mem: 728.25 MiB) 14:04:33 (mem: 728.25 MiB) 14:04:33 Total structured size: 242025 (mem: 728.25 MiB) 14:04:33 allocating polynomials object in proving key... (mem: 728.25 MiB) 14:04:33 [14:04:33.713] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.25 MiB) 14:04:33 [14:04:33.732] INFO: ivc-integration:test:native bb - time to construct proving key: 156 ms. (mem: 728.25 MiB) 14:04:33 [14:04:33.847] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 728.25 MiB) 14:04:34 [14:04:34.052] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 728.25 MiB) 14:04:34 [14:04:34.053] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 728.25 MiB) 14:04:34 [14:04:34.303] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 728.25 MiB) 14:04:34 [14:04:34.314] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 728.25 MiB) 14:04:34 [14:04:34.327] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 728.25 MiB) 14:04:34 [14:04:34.329] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 728.25 MiB) 14:04:34 goblin ecc op : 56/1024 (mem: 728.25 MiB) 14:04:34 [14:04:34.330] INFO: ivc-integration:test:native bb - 14:04:34 busread : 3/6000 (mem: 728.25 MiB) 14:04:34 lookups : 2/15000 (mem: 728.25 MiB) 14:04:34 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 728.25 MiB) 14:04:34 arithmetic : 4533/56000 (mem: 728.25 MiB) 14:04:34 delta range : 2060/18000 (mem: 728.25 MiB) 14:04:34 elliptic : 2/6000 (mem: 728.25 MiB) 14:04:34 auxiliary : 50/26000 (mem: 728.25 MiB) 14:04:34 poseidon ext : 1332/17000 (mem: 728.25 MiB) 14:04:34 poseidon int : 7583/92000 (mem: 728.25 MiB) 14:04:34 overflow : 0/0 (mem: 728.25 MiB) 14:04:34 (mem: 728.25 MiB) 14:04:34 Total structured size: 242025 (mem: 728.25 MiB) 14:04:34 allocating polynomials object in proving key... (mem: 728.25 MiB) 14:04:34 [14:04:34.447] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.25 MiB) 14:04:34 [14:04:34.469] INFO: ivc-integration:test:native bb - time to construct proving key: 142 ms. (mem: 728.25 14:04:34 [14:04:34.470] INFO: ivc-integration:test:native bb - MiB) 14:04:34 [14:04:34.599] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 728.25 MiB) 14:04:34 [14:04:34.875] INFO: ivc-integration:test:native bb - computing folding proof (mem: 728.25 MiB) 14:04:34 [14:04:34.876] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 728.25 MiB) 14:04:35 [14:04:35.167] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 728.25 MiB) 14:04:35 [14:04:35.290] INFO: ivc-integration:test:native bb - perturbator round (mem: 728.25 MiB) 14:04:35 [14:04:35.337] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 760.25 MiB) 14:04:35 [14:04:35.533] INFO: ivc-integration:test:native bb - folded (mem: 760.25 MiB) 14:04:35 constructed folding proof (mem: 760.25 MiB) 14:04:35 Largest circuit: 15565 gates. Trace details: (mem: 760.25 MiB) 14:04:35 Minimum required block sizes for structured trace: (mem: 760.25 MiB) 14:04:35 (mem: 760.25 MiB) 14:04:35 prove decider... (mem: 760.25 MiB) 14:04:35 [14:04:35.533] INFO: ivc-integration:test:native bb - ecc_op : 56 14:04:35 busread : 3 14:04:35 lookup : 2 14:04:35 pub_inputs : 36 14:04:35 arithmetic : 4533 14:04:35 delta_range : 2060 14:04:35 elliptic : 2 14:04:35 aux : 50 14:04:35 poseidon2_external : 1332 14:04:35 poseidon2_internal : 7583 14:04:35 overflow : 0 14:04:35 [14:04:35.664] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 760.25 MiB) 14:04:35 [14:04:35.764] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 760.25 MiB) 14:04:36 [14:04:36.438] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 760.25 MiB) 14:04:36 [14:04:36.531] INFO: ivc-integration:test:native bb - computed opening proof 14:04:36 [14:04:36.532] INFO: ivc-integration:test:native bb - (mem: 760.25 MiB) 14:04:36 finished decider proving. (mem: 760.25 MiB) 14:04:36 [14:04:36.546] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 760.25 MiB) 14:04:36 [14:04:36.641] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 760.25 MiB) 14:04:36 [14:04:36.647] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 760.25 MiB) 14:04:36 [14:04:36.723] INFO: ivc-integration:test:native bb - populating trace... (mem: 760.25 MiB) 14:04:36 [14:04:36.763] INFO: ivc-integration:test:native bb - time to construct proving key: 122 ms. (mem: 760.25 MiB) 14:04:37 [14:04:37.166] INFO: ivc-integration:test:native BB concurrency: 1 14:04:37 [14:04:37.167] 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-wKfcIn/proof -k /tmp/bb-client-ivc-integration-wKfcIn/vk -v 14:04:37 [14:04:37.190] INFO: ivc-integration:test:native bb command: verify (mem: 241.64 MiB) 14:04:37 [14:04:37.191] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 1 (mem: 241.64 MiB) 14:04:37 --proof_path: /tmp/bb-client-ivc-integration-wKfcIn/proof (mem: 241.64 MiB) 14:04:37 --vk_path: /tmp/bb-client-ivc-integration-wKfcIn/vk (mem: 241.64 MiB) 14:04:37 --verbose: true (mem: 241.64 MiB) 14:04:37 --scheme: client_ivc (mem: 241.64 MiB) 14:04:37 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 241.64 MiB) 14:04:37 [14:04:37.211] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 241.64 MiB) 14:04:37 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 241.64 MiB) 14:04:37 [14:04:37.230] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 241.64 MiB) 14:04:37 [14:04:37.231] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 241.64 MiB) 14:04:37 [14:04:37.232] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 241.64 MiB) 14:04:37 libra_evals_verified: 1 (mem: 241.64 MiB) 14:04:37 [14:04:37.232] INFO: ivc-integration:test:native 14:04:37 pairing_check_verified: 1 (mem: 241.64 MiB) 14:04:37 Mega verified: 1 (mem: 241.64 MiB) 14:04:37 [14:04:37.692] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 241.64 MiB) 14:04:37 batch opening verified?: 1 (mem: 241.64 MiB) 14:04:37 eccvm consistency check verified?: 1 (mem: 241.64 MiB) 14:04:37 translation masking consistency checked?: 1 (mem: 241.64 MiB) 14:04:37 [14:04:37.712] INFO: ivc-integration:test:native merge verified?: 1 (mem: 241.64 MiB) 14:04:37 eccvm verified?: 1 (mem: 241.64 MiB) 14:04:37 accumulator construction_verified?: 1 (mem: 241.64 MiB) 14:04:37 translation verified?: 1 (mem: 241.64 MiB) 14:04:37 consistency verified?: 1 (mem: 241.64 MiB) 14:04:37 Goblin verified: 1 (mem: 241.64 MiB) 14:04:37 verified: 1 (mem: 241.64 MiB) 14:04:37 PASS src/native_client_ivc_integration.test.ts (75.517 s) 14:04:37 Client IVC Integration 14:04:37 ✓ Should generate a verifiable client IVC proof from a simple mock tx (41538 ms) 14:04:37 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30453 ms) 14:04:37 14:04:37 Test Suites: 1 passed, 1 total 14:04:37 Tests: 2 passed, 2 total 14:04:37 Snapshots: 0 total 14:04:37 Time: 75.614 s 14:04:37 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 14:04:37 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?