ACI ·

Parent Log: http://ci.aztec-labs.com/5209a44cea503853 Command: b54d5ade67e7ffc9: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/347f29fb98cc855ead57129b4d1a444d9fb16820 Env: REF_NAME=gh-readonly-queue/next/pr-15059-16fc84676c7308fa5f7ca4a54b67319803d0f5b7 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 15:55:36 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15059_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:55:41 [15:55:41.517] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Vfa5v5/ivc-inputs.msgpack 15:55:41 [15:55:41.524] 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-Vfa5v5 --ivc_inputs_path /tmp/bb-client-ivc-integration-Vfa5v5/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:55:41 [15:55:41.549] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.80 MiB) 15:55:41 Scheme is: client_ivc, num threads: 128 (mem: 184.80 MiB) 15:55:41 --scheme: client_ivc (mem: 184.80 MiB) 15:55:41 --output_path: /tmp/bb-client-ivc-integration-Vfa5v5 (mem: 184.80 MiB) 15:55:41 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Vfa5v5/ivc-inputs.msgpack (mem: 184.80 MiB) 15:55:41 --verbose: true (mem: 184.80 MiB) 15:55:41 --write_vk: true (mem: 184.80 MiB) 15:55:41 [15:55:41.551] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.80 MiB) 15:55:41 [15:55:41.665] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 246.00 MiB) 15:55:41 [15:55:41.753] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 294.97 MiB) 15:55:41 [15:55:41.758] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 294.97 MiB) 15:55:41 [15:55:41.759] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 294.97 MiB) 15:55:41 [15:55:41.766] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 294.97 MiB) 15:55:41 goblin ecc op : 4/1024 (mem: 294.97 MiB) 15:55:41 busread : 7/6000 (mem: 294.97 MiB) 15:55:41 lookups : 2/15000 (mem: 294.97 MiB) 15:55:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 294.97 MiB) 15:55:41 arithmetic : 1760/56000 (mem: 294.97 MiB) 15:55:41 delta range : 1754/18000 (mem: 294.97 MiB) 15:55:41 elliptic : 2/6000 (mem: 294.97 MiB) 15:55:41 auxiliary : 26/26000 (mem: 294.97 MiB) 15:55:41 poseidon ext : 2/17000 (mem: 294.97 MiB) 15:55:41 poseidon int : 2/92000 (mem: 294.97 MiB) 15:55:41 overflow : 0/0 (mem: 294.97 MiB) 15:55:41 (mem: 294.97 MiB) 15:55:41 Total structured size: 242025 (mem: 294.97 MiB) 15:55:41 allocating polynomials object in proving key... (mem: 294.97 MiB) 15:55:41 [15:55:41.843] INFO: ivc-integration:test:native bb - populating trace... (mem: 502.13 MiB) 15:55:41 [15:55:41.858] INFO: ivc-integration:test:native bb - time to construct proving key: 99 ms. (mem: 519.13 MiB) 15:55:41 [15:55:41.917] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d0b82ee6600 (mem: 519.13 MiB) 15:55:41 computing oink proof... (mem: 519.13 MiB) 15:55:41 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.13 MiB) 15:55:42 [15:55:42.108] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 527.13 MiB) 15:55:42 [15:55:42.120] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 527.13 MiB) 15:55:42 [15:55:42.142] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 527.13 MiB) 15:55:42 Constructing DeciderProvingKey (mem: 527.13 MiB) 15:55:42 [15:55:42.146] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 527.13 MiB) 15:55:42 goblin ecc op : 56/1024 (mem: 527.13 MiB) 15:55:42 busread : 12/6000 (mem: 527.13 MiB) 15:55:42 lookups : 2/15000 (mem: 527.13 MiB) 15:55:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 527.13 MiB) 15:55:42 arithmetic : 4625/56000 (mem: 527.13 MiB) 15:55:42 delta range : 2054/18000 (mem: 527.13 MiB) 15:55:42 elliptic : 2/6000 (mem: 527.13 MiB) 15:55:42 auxiliary : 110/26000 (mem: 527.13 MiB) 15:55:42 poseidon ext : 1302/17000 (mem: 527.13 MiB) 15:55:42 poseidon int : 7412/92000 (mem: 527.13 MiB) 15:55:42 overflow : 0/0 (mem: 527.13 MiB) 15:55:42 (mem: 527.13 MiB) 15:55:42 Total structured size: 242025 (mem: 527.13 MiB) 15:55:42 allocating polynomials object in proving key... (mem: 527.13 MiB) 15:55:42 [15:55:42.324] INFO: ivc-integration:test:native bb - populating trace... (mem: 723.13 MiB) 15:55:42 [15:55:42.357] INFO: ivc-integration:test:native bb - time to construct proving key: 213 ms. (mem: 746.13 MiB) 15:55:42 [15:55:42.481] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d0b82ef3280 (mem: 746.13 MiB) 15:55:42 computing folding proof (mem: 746.13 MiB) 15:55:42 [15:55:42.482] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 746.13 MiB) 15:55:42 [15:55:42.982] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 15:55:42 [15:55:42.982] INFO: ivc-integration:test:native bb - 747.13 MiB) 15:55:43 [15:55:43.101] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.13 MiB) 15:55:43 [15:55:43.165] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.13 MiB) 15:55:43 [15:55:43.576] INFO: ivc-integration:test:native bb - folded (mem: 817.13 MiB) 15:55:43 [15:55:43.580] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 817.13 MiB) 15:55:43 [15:55:43.596] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 817.13 MiB) 15:55:43 [15:55:43.668] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.13 MiB) 15:55:43 Constructing DeciderProvingKey (mem: 817.13 MiB) 15:55:43 [15:55:43.673] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.13 MiB) 15:55:43 goblin ecc op : 392/1024 (mem: 817.13 MiB) 15:55:43 busread : 3/6000 (mem: 817.13 MiB) 15:55:43 lookups : 2/15000 (mem: 817.13 MiB) 15:55:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.13 MiB) 15:55:43 arithmetic : 6849/56000 (mem: 817.13 MiB) 15:55:43 delta range : 2333/18000 (mem: 817.13 MiB) 15:55:43 elliptic : 2/6000 (mem: 817.13 MiB) 15:55:43 auxiliary : 50/26000 (mem: 817.13 MiB) 15:55:43 poseidon ext : 2472/17000 (mem: 817.13 MiB) 15:55:43 poseidon int : 14081/92000 (mem: 817.13 MiB) 15:55:43 overflow : 0/0 (mem: 817.13 MiB) 15:55:43 (mem: 817.13 MiB) 15:55:43 Total structured size: 242025 (mem: 817.13 MiB) 15:55:43 allocating polynomials object in proving key... (mem: 817.13 MiB) 15:55:43 [15:55:43.902] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.13 MiB) 15:55:43 [15:55:43.968] INFO: ivc-integration:test:native bb - time to construct proving key: 300 ms. (mem: 817.13 MiB) 15:55:44 [15:55:44.115] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d0b82ee8d00 (mem: 817.13 MiB) 15:55:44 computing folding proof (mem: 817.13 MiB) 15:55:44 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.13 MiB) 15:55:44 [15:55:44.653] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.13 MiB) 15:55:44 [15:55:44.807] INFO: ivc-integration:test:native bb - perturbator round (mem: 817.13 MiB) 15:55:44 [15:55:44.841] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 817.13 MiB) 15:55:45 [15:55:45.173] INFO: ivc-integration:test:native bb - folded (mem: 817.13 MiB) 15:55:45 constructed folding proof (mem: 817.13 MiB) 15:55:45 [15:55:45.174] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 817.13 MiB) 15:55:45 Minimum required block sizes for structured trace: (mem: 817.13 MiB) 15:55:45 (mem: 817.13 MiB) 15:55:45 prove decider... (mem: 817.13 MiB) 15:55:45 [15:55:45.175] INFO: ivc-integration:test:native bb - ecc_op : 392 15:55:45 busread : 12 15:55:45 lookup : 2 15:55:45 pub_inputs : 36 15:55:45 arithmetic : 6849 15:55:45 delta_range : 2333 15:55:45 elliptic : 2 15:55:45 aux : 110 15:55:45 poseidon2_external : 2472 15:55:45 poseidon2_internal : 14081 15:55:45 overflow : 0 15:55:45 [15:55:45.441] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.13 MiB) 15:55:45 [15:55:45.656] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.13 MiB) 15:55:46 [15:55:46.822] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.13 MiB) 15:55:46 [15:55:46.911] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.13 MiB) 15:55:46 finished decider proving. (mem: 817.13 MiB) 15:55:46 [15:55:46.933] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 817.13 MiB) 15:55:47 [15:55:47.069] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.13 MiB) 15:55:47 [15:55:47.078] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 817.13 MiB) 15:55:47 [15:55:47.267] INFO: ivc-integration:test:native bb - populating trace... (mem: 817.13 MiB) 15:55:47 [15:55:47.332] INFO: ivc-integration:test:native bb - time to construct proving key: 262 ms. (mem: 817.13 MiB) 15:55:48 [15:55:48.486] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 817.13 MiB) 15:55:49 [15:55:49.201] INFO: ivc-integration:test:native bb - created oink proof (mem: 817.13 MiB) 15:55:49 [15:55:49.560] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.13 MiB) 15:55:51 [15:55:51.409] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.13 MiB) 15:55:52 [15:55:52.514] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.13 MiB) 15:55:52 [15:55:52.568] INFO: ivc-integration:test:native bb - computed opening proof (mem: 817.13 MiB) 15:55:52 finished decider proving. (mem: 817.13 15:55:52 [15:55:52.569] INFO: ivc-integration:test:native bb - MiB) 15:55:52 Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.13 MiB) 15:55:52 [15:55:52.779] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 817.13 MiB) 15:55:53 [15:55:53.415] 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: 817.13 MiB) 15:55:53 [15:55:53.442] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.13 MiB) 15:55:55 [15:55:55.721] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.13 MiB) 15:55:57 [15:55:57.556] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.13 MiB) 15:56:02 [15:56:02.633] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 817.13 MiB) 15:56:02 prove translator... (mem: 817.13 MiB) 15:56:05 [15:56:05.150] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.80 MiB) 15:56:07 [15:56:07.096] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.80 MiB) 15:56:10 [15:56:10.142] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.80 MiB) 15:56:10 finished translator proving. (mem: 846.80 MiB) 15:56:10 [15:56:10.163] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.80 MiB) 15:56:10 [15:56:10.169] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 846.80 MiB) 15:56:10 libra_evals_verified: 1 (mem: 846.80 MiB) 15:56:10 pairing_check_verified: 1 (mem: 846.80 MiB) 15:56:10 Mega verified: 1 (mem: 846.80 MiB) 15:56:10 [15:56:10.284] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 846.80 MiB) 15:56:10 batch opening verified?: 1 (mem: 846.80 MiB) 15:56:10 eccvm consistency check verified?: 1 (mem: 846.80 MiB) 15:56:10 translation masking consistency checked?: 1 (mem: 846.80 MiB) 15:56:10 [15:56:10.319] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 846.80 MiB) 15:56:10 [15:56:10.320] INFO: ivc-integration:test:native bb - eccvm verified?: 1 (mem: 846.80 MiB) 15:56:10 accumulator construction_verified?: 1 (mem: 846.80 MiB) 15:56:10 translation verified?: 1 (mem: 846.80 MiB) 15:56:10 consistency verified?: 1 (mem: 846.80 MiB) 15:56:10 Goblin verified: 1 (mem: 846.80 MiB) 15:56:10 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Vfa5v5" (mem: 846.80 MiB) 15:56:10 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Vfa5v5" (mem: 846.80 MiB) 15:56:10 BN254 commitment key size: 262144 (mem: 846.80 MiB) 15:56:10 [15:56:10.323] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.80 MiB) 15:56:10 [15:56:10.327] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.80 MiB) 15:56:10 goblin ecc op : 4/1024 (mem: 846.80 MiB) 15:56:10 busread : 3/6000 (mem: 846.80 MiB) 15:56:10 lookups : 2/15000 (mem: 846.80 MiB) 15:56:10 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.80 MiB) 15:56:10 arithmetic : 1773/56000 (mem: 846.80 MiB) 15:56:10 delta range : 1754/18000 (mem: 846.80 MiB) 15:56:10 elliptic : 2/6000 (mem: 846.80 MiB) 15:56:10 auxiliary : 26/26000 (mem: 846.80 MiB) 15:56:10 poseidon ext : 2/17000 (mem: 846.80 MiB) 15:56:10 poseidon int : 2/92000 (mem: 846.80 MiB) 15:56:10 overflow : 0/0 (mem: 846.80 MiB) 15:56:10 (mem: 846.80 MiB) 15:56:10 Total structured size: 242025 (mem: 846.80 MiB) 15:56:10 allocating polynomials object in proving key... (mem: 846.80 MiB) 15:56:10 [15:56:10.507] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.80 MiB) 15:56:10 [15:56:10.546] INFO: ivc-integration:test:native bb - time to construct proving key: 222 ms. (mem: 846.80 MiB) 15:56:10 [15:56:10.669] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.80 MiB) 15:56:11 [15:56:11.665] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 846.80 MiB) 15:56:11 [15:56:11.667] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.80 MiB) 15:56:12 [15:56:12.088] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 846.80 MiB) 15:56:12 [15:56:12.109] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.80 MiB) 15:56:12 [15:56:12.126] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.80 MiB) 15:56:12 [15:56:12.129] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.80 MiB) 15:56:12 goblin ecc op : 56/1024 (mem: 846.80 MiB) 15:56:12 busread : 3/6000 (mem: 846.80 MiB) 15:56:12 lookups : 2/15000 15:56:12 [15:56:12.131] INFO: ivc-integration:test:native bb - (mem: 846.80 MiB) 15:56:12 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.80 MiB) 15:56:12 arithmetic : 4481/56000 (mem: 846.80 MiB) 15:56:12 delta range : 2041/18000 (mem: 846.80 MiB) 15:56:12 elliptic : 2/6000 (mem: 846.80 MiB) 15:56:12 auxiliary : 50/26000 (mem: 846.80 MiB) 15:56:12 poseidon ext : 1312/17000 (mem: 846.80 MiB) 15:56:12 poseidon int : 7469/92000 (mem: 846.80 MiB) 15:56:12 overflow : 0/0 (mem: 846.80 MiB) 15:56:12 (mem: 846.80 MiB) 15:56:12 Total structured size: 242025 (mem: 846.80 MiB) 15:56:12 allocating polynomials object in proving key... (mem: 846.80 MiB) 15:56:12 [15:56:12.257] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.80 MiB) 15:56:12 [15:56:12.281] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 846.80 MiB) 15:56:12 [15:56:12.474] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.80 MiB) 15:56:13 [15:56:13.598] INFO: ivc-integration:test:native bb - computing folding proof (mem: 846.80 MiB) 15:56:13 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.80 MiB) 15:56:14 [15:56:14.404] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.80 MiB) 15:56:14 [15:56:14.676] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.80 MiB) 15:56:14 [15:56:14.739] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 880.80 MiB) 15:56:15 [15:56:15.305] INFO: ivc-integration:test:native bb - folded 15:56:15 [15:56:15.306] INFO: ivc-integration:test:native bb - (mem: 880.80 MiB) 15:56:15 constructed folding proof (mem: 880.80 MiB) 15:56:15 Largest circuit: 15360 gates. Trace details: (mem: 880.80 MiB) 15:56:15 Minimum required block sizes for structured trace: (mem: 880.80 MiB) 15:56:15 (mem: 880.80 MiB) 15:56:15 prove decider... (mem: 880.80 MiB) 15:56:15 [15:56:15.307] INFO: ivc-integration:test:native bb - ecc_op : 56 15:56:15 busread : 3 15:56:15 lookup : 2 15:56:15 pub_inputs : 36 15:56:15 arithmetic : 4481 15:56:15 delta_range : 2041 15:56:15 elliptic : 2 15:56:15 aux : 50 15:56:15 poseidon2_external : 1312 15:56:15 poseidon2_internal : 7469 15:56:15 overflow : 0 15:56:15 [15:56:15.572] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 880.80 MiB) 15:56:15 [15:56:15.719] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 880.80 MiB) 15:56:17 [15:56:17.026] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.80 MiB) 15:56:17 [15:56:17.180] INFO: ivc-integration:test:native bb - computed opening proof (mem: 880.80 MiB) 15:56:17 finished decider proving. (mem: 880.80 MiB) 15:56:17 [15:56:17.200] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 880.80 MiB) 15:56:17 [15:56:17.321] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 880.80 MiB) 15:56:17 [15:56:17.337] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 880.80 MiB) 15:56:17 [15:56:17.446] INFO: ivc-integration:test:native bb - populating trace... (mem: 880.80 MiB) 15:56:17 [15:56:17.491] INFO: ivc-integration:test:native bb - time to construct proving key: 168 ms. (mem: 880.80 MiB) 15:56:18 [15:56:18.105] 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-Vfa5v5/proof -k /tmp/bb-client-ivc-integration-Vfa5v5/vk -v 15:56:18 [15:56:18.143] INFO: ivc-integration:test:native bb command: verify (mem: 184.49 MiB) 15:56:18 Scheme is: client_ivc, num threads: 128 (mem: 184.49 MiB) 15:56:18 --proof_path: /tmp/bb-client-ivc-integration-Vfa5v5/proof (mem: 184.49 MiB) 15:56:18 --vk_path: /tmp/bb-client-ivc-integration-Vfa5v5/vk (mem: 184.49 MiB) 15:56:18 --verbose: true (mem: 184.49 MiB) 15:56:18 --scheme: client_ivc (mem: 184.49 MiB) 15:56:18 [15:56:18.267] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 184.49 MiB) 15:56:18 [15:56:18.283] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.49 MiB) 15:56:18 [15:56:18.287] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.49 MiB) 15:56:18 [15:56:18.302] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.49 MiB) 15:56:18 [15:56:18.303] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 184.49 MiB) 15:56:18 [15:56:18.304] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 184.49 MiB) 15:56:18 libra_evals_verified: 1 (mem: 184.49 MiB) 15:56:18 pairing_check_verified: 1 (mem: 184.49 MiB) 15:56:18 [15:56:18.304] INFO: ivc-integration:test:native Mega verified: 1 (mem: 184.49 MiB) 15:56:18 [15:56:18.462] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.49 MiB) 15:56:18 batch opening verified?: 1 (mem: 184.49 MiB) 15:56:18 eccvm consistency check verified?: 1 (mem: 184.49 MiB) 15:56:18 translation masking consistency checked?: 1 (mem: 184.49 MiB) 15:56:18 [15:56:18.522] INFO: ivc-integration:test:native merge verified?: 1 (mem: 184.49 MiB) 15:56:18 eccvm verified?: 1 (mem: 184.49 MiB) 15:56:18 accumulator construction_verified?: 1 (mem: 184.49 MiB) 15:56:18 translation verified?: 1 (mem: 184.49 MiB) 15:56:18 consistency verified?: 1 (mem: 184.49 MiB) 15:56:18 Goblin verified: 1 (mem: 184.49 MiB) 15:56:18 [15:56:18.534] INFO: ivc-integration:test:native verified: 1 (mem: 184.49 MiB) 15:56:18 [15:56:18.639] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-SYoS2p/ivc-inputs.msgpack 15:56:18 [15:56:18.640] 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-SYoS2p --ivc_inputs_path /tmp/bb-client-ivc-integration-SYoS2p/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:56:18 [15:56:18.669] INFO: ivc-integration:test:native bb - bb command: prove (mem: 185.26 MiB) 15:56:18 [15:56:18.670] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 185.26 MiB) 15:56:18 --scheme: client_ivc (mem: 185.26 MiB) 15:56:18 --output_path: /tmp/bb-client-ivc-integration-SYoS2p (mem: 185.26 MiB) 15:56:18 --ivc_inputs_path: /tmp/bb-client-ivc-integration-SYoS2p/ivc-inputs.msgpack (mem: 185.26 MiB) 15:56:18 --verbose: true (mem: 185.26 MiB) 15:56:18 --write_vk: true (mem: 185.26 MiB) 15:56:18 [15:56:18.674] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 185.26 MiB) 15:56:18 [15:56:18.804] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 260.00 MiB) 15:56:18 [15:56:18.923] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 307.02 MiB) 15:56:18 [15:56:18.938] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 307.02 MiB) 15:56:18 Constructing DeciderProvingKey (mem: 307.02 MiB) 15:56:18 Gate blocks summary: (actual gates / fixed capacity) (mem: 307.02 MiB) 15:56:18 goblin ecc op : 4/1024 (mem: 307.02 MiB) 15:56:18 busread : 7/6000 (mem: 307.02 MiB) 15:56:18 lookups : 2/15000 (mem: 307.02 MiB) 15:56:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 307.02 MiB) 15:56:18 arithmetic : 1760/56000 (mem: 307.02 MiB) 15:56:18 delta range : 1754/18000 (mem: 307.02 MiB) 15:56:18 elliptic : 2/6000 (mem: 307.02 MiB) 15:56:18 auxiliary : 26/26000 (mem: 307.02 MiB) 15:56:18 poseidon ext : 2/17000 (mem: 307.02 MiB) 15:56:18 poseidon int : 2/92000 (mem: 307.02 MiB) 15:56:18 overflow : 0/0 (mem: 307.02 MiB) 15:56:18 (mem: 307.02 MiB) 15:56:18 Total structured size: 242025 (mem: 307.02 MiB) 15:56:18 allocating polynomials object in proving key... (mem: 307.02 MiB) 15:56:19 [15:56:19.066] INFO: ivc-integration:test:native bb - populating trace... (mem: 512.31 MiB) 15:56:19 [15:56:19.074] INFO: ivc-integration:test:native bb - time to construct proving key: 148 ms. (mem: 526.31 MiB) 15:56:19 [15:56:19.125] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5891b0cec440 (mem: 526.31 MiB) 15:56:19 computing oink proof... (mem: 526.31 MiB) 15:56:19 [15:56:19.127] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.31 MiB) 15:56:19 [15:56:19.580] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 535.31 MiB) 15:56:19 [15:56:19.590] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 536.31 MiB) 15:56:19 [15:56:19.613] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 536.31 MiB) 15:56:19 Constructing DeciderProvingKey (mem: 536.31 MiB) 15:56:19 [15:56:19.617] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 536.31 MiB) 15:56:19 goblin ecc op : 56/1024 (mem: 536.31 MiB) 15:56:19 busread : 12/6000 (mem: 536.31 MiB) 15:56:19 lookups : 2/15000 (mem: 536.31 MiB) 15:56:19 pub inputs : 32/5000 (populated in decider pk constructor) 15:56:19 [15:56:19.618] INFO: ivc-integration:test:native bb - (mem: 536.31 MiB) 15:56:19 arithmetic : 4625/56000 (mem: 536.31 MiB) 15:56:19 delta range : 2054/18000 (mem: 536.31 MiB) 15:56:19 elliptic : 2/6000 (mem: 536.31 MiB) 15:56:19 auxiliary : 110/26000 (mem: 536.31 MiB) 15:56:19 poseidon ext : 1302/17000 (mem: 536.31 MiB) 15:56:19 poseidon int : 7412/92000 (mem: 536.31 MiB) 15:56:19 overflow : 0/0 (mem: 536.31 MiB) 15:56:19 (mem: 536.31 MiB) 15:56:19 Total structured size: 242025 (mem: 536.31 MiB) 15:56:19 allocating polynomials object in proving key... (mem: 536.31 MiB) 15:56:19 [15:56:19.735] INFO: ivc-integration:test:native bb - populating trace... (mem: 735.31 MiB) 15:56:19 [15:56:19.760] INFO: ivc-integration:test:native bb - time to construct proving key: 142 ms. (mem: 755.31 MiB) 15:56:19 [15:56:19.829] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5891b0cf56c0 (mem: 755.31 MiB) 15:56:19 computing folding proof (mem: 755.31 MiB) 15:56:19 vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 755.31 MiB) 15:56:20 [15:56:20.346] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 755.31 MiB) 15:56:20 [15:56:20.447] INFO: ivc-integration:test:native bb - perturbator round (mem: 791.31 MiB) 15:56:20 [15:56:20.493] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 824.31 MiB) 15:56:20 [15:56:20.735] INFO: ivc-integration:test:native bb - folded (mem: 824.31 MiB) 15:56:20 constructed folding proof (mem: 824.31 MiB) 15:56:20 [15:56:20.738] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 824.31 MiB) 15:56:20 Constructing DeciderProvingKey (mem: 824.31 MiB) 15:56:20 [15:56:20.742] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.31 MiB) 15:56:20 goblin ecc op : 4/1024 (mem: 824.31 MiB) 15:56:20 busread : 7/6000 (mem: 824.31 MiB) 15:56:20 lookups : 2/15000 (mem: 824.31 MiB) 15:56:20 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 824.31 MiB) 15:56:20 arithmetic : 1760/56000 (mem: 824.31 MiB) 15:56:20 delta range : 1754/18000 (mem: 824.31 MiB) 15:56:20 elliptic : 2/6000 (mem: 824.31 MiB) 15:56:20 auxiliary : 26/26000 (mem: 824.31 MiB) 15:56:20 poseidon ext : 2/17000 (mem: 824.31 MiB) 15:56:20 poseidon int : 2/92000 (mem: 824.31 MiB) 15:56:20 overflow : 0/0 (mem: 824.31 MiB) 15:56:20 (mem: 824.31 MiB) 15:56:20 Total structured size: 242025 (mem: 824.31 MiB) 15:56:20 allocating polynomials object in proving key... (mem: 824.31 MiB) 15:56:20 [15:56:20.855] INFO: ivc-integration:test:native bb - populating trace... (mem: 824.31 MiB) 15:56:20 [15:56:20.873] INFO: ivc-integration:test:native bb - time to construct proving key: 134 ms. (mem: 824.31 MiB) 15:56:20 [15:56:20.976] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5891b0cecc80 (mem: 824.31 MiB) 15:56:20 computing folding proof (mem: 824.31 MiB) 15:56:20 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 824.31 MiB) 15:56:21 [15:56:21.201] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.31 MiB) 15:56:21 [15:56:21.273] INFO: ivc-integration:test:native bb - perturbator round (mem: 824.31 MiB) 15:56:21 [15:56:21.309] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 824.31 MiB) 15:56:21 [15:56:21.518] INFO: ivc-integration:test:native bb - folded (mem: 824.31 MiB) 15:56:21 constructed folding proof (mem: 824.31 MiB) 15:56:21 [15:56:21.537] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 824.31 MiB) 15:56:21 [15:56:21.615] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 824.31 MiB) 15:56:21 [15:56:21.692] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 824.31 MiB) 15:56:21 Constructing DeciderProvingKey (mem: 824.31 MiB) 15:56:21 [15:56:21.698] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 824.31 MiB) 15:56:21 goblin ecc op : 792/1024 (mem: 824.31 MiB) 15:56:21 busread : 12/6000 (mem: 824.31 MiB) 15:56:21 lookups : 2/15000 (mem: 824.31 MiB) 15:56:21 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 824.31 MiB) 15:56:21 arithmetic : 12080/56000 (mem: 824.31 MiB) 15:56:21 delta range : 2942/18000 (mem: 824.31 MiB) 15:56:21 elliptic : 2/6000 (mem: 824.31 MiB) 15:56:21 auxiliary : 350/26000 (mem: 824.31 MiB) 15:56:21 poseidon ext : 4942/17000 (mem: 824.31 MiB) 15:56:21 poseidon int : 28160/92000 (mem: 824.31 MiB) 15:56:21 overflow : 0/0 (mem: 824.31 MiB) 15:56:21 (mem: 824.31 MiB) 15:56:21 Total structured size: 242025 (mem: 824.31 MiB) 15:56:21 allocating polynomials object in proving key... (mem: 824.31 MiB) 15:56:21 [15:56:21.761] INFO: ivc-integration:test:native bb - populating trace... (mem: 824.31 MiB) 15:56:21 [15:56:21.795] INFO: ivc-integration:test:native bb - time to construct proving key: 102 ms. (mem: 824.31 MiB) 15:56:21 [15:56:21.891] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5891b0d69340 (mem: 824.31 MiB) 15:56:21 computing folding proof (mem: 824.31 MiB) 15:56:21 vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 824.31 MiB) 15:56:22 [15:56:22.311] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 824.31 MiB) 15:56:22 [15:56:22.406] INFO: ivc-integration:test:native bb - perturbator round (mem: 824.31 MiB) 15:56:22 [15:56:22.468] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 852.41 MiB) 15:56:22 [15:56:22.783] INFO: ivc-integration:test:native bb - folded (mem: 852.41 MiB) 15:56:22 constructed folding proof (mem: 852.41 MiB) 15:56:22 [15:56:22.793] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 852.41 MiB) 15:56:22 [15:56:22.855] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 852.41 MiB) 15:56:22 Constructing DeciderProvingKey (mem: 852.41 MiB) 15:56:22 [15:56:22.863] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.41 MiB) 15:56:22 goblin ecc op : 392/1024 (mem: 852.41 MiB) 15:56:22 busread : 16/6000 (mem: 852.41 MiB) 15:56:22 lookups : 2/15000 (mem: 852.41 MiB) 15:56:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 852.41 MiB) 15:56:22 arithmetic : 6914/56000 (mem: 852.41 MiB) 15:56:22 delta range : 2347/18000 (mem: 852.41 MiB) 15:56:22 elliptic : 2/6000 (mem: 852.41 MiB) 15:56:22 auxiliary : 77/26000 (mem: 852.41 MiB) 15:56:22 poseidon ext : 2472/17000 (mem: 852.41 MiB) 15:56:22 poseidon int : 14081/92000 (mem: 852.41 MiB) 15:56:22 overflow : 0/0 (mem: 852.41 MiB) 15:56:22 (mem: 852.41 MiB) 15:56:22 Total structured size: 242025 (mem: 852.41 MiB) 15:56:22 allocating polynomials object in proving key... (mem: 852.41 MiB) 15:56:23 [15:56:23.064] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.41 MiB) 15:56:23 [15:56:23.097] INFO: ivc-integration:test:native bb - time to construct proving key: 241 ms. (mem: 852.41 MiB) 15:56:23 [15:56:23.239] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5891b0d63d40 (mem: 852.41 MiB) 15:56:23 computing folding proof (mem: 852.41 MiB) 15:56:23 vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 852.41 MiB) 15:56:23 [15:56:23.531] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.41 MiB) 15:56:23 [15:56:23.633] INFO: ivc-integration:test:native bb - perturbator round (mem: 852.41 MiB) 15:56:23 [15:56:23.681] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 852.67 MiB) 15:56:23 [15:56:23.939] INFO: ivc-integration:test:native bb - folded (mem: 852.67 MiB) 15:56:23 constructed folding proof (mem: 852.67 MiB) 15:56:23 [15:56:23.948] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 852.67 MiB) 15:56:24 [15:56:24.021] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 852.67 MiB) 15:56:24 Constructing DeciderProvingKey (mem: 852.67 MiB) 15:56:24 [15:56:24.025] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.67 MiB) 15:56:24 goblin ecc op : 392/1024 (mem: 852.67 MiB) 15:56:24 busread : 3/6000 (mem: 852.67 MiB) 15:56:24 lookups : 2/15000 (mem: 852.67 MiB) 15:56:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 852.67 MiB) 15:56:24 arithmetic : 6849/56000 (mem: 852.67 MiB) 15:56:24 [15:56:24.027] INFO: ivc-integration:test:native bb - delta range : 2333/18000 (mem: 852.67 MiB) 15:56:24 elliptic : 2/6000 (mem: 852.67 MiB) 15:56:24 auxiliary : 50/26000 (mem: 852.67 MiB) 15:56:24 poseidon ext : 2472/17000 (mem: 852.67 MiB) 15:56:24 poseidon int : 14081/92000 (mem: 852.67 MiB) 15:56:24 overflow : 0/0 (mem: 852.67 MiB) 15:56:24 (mem: 852.67 MiB) 15:56:24 Total structured size: 242025 (mem: 852.67 MiB) 15:56:24 allocating polynomials object in proving key... (mem: 852.67 MiB) 15:56:24 [15:56:24.114] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.67 MiB) 15:56:24 [15:56:24.136] INFO: ivc-integration:test:native bb - time to construct proving key: 115 ms. (mem: 852.67 MiB) 15:56:24 [15:56:24.297] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5891b0cfafc0 (mem: 852.67 MiB) 15:56:24 [15:56:24.298] INFO: ivc-integration:test:native bb - computing folding proof (mem: 852.67 MiB) 15:56:24 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 852.67 MiB) 15:56:24 [15:56:24.699] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.67 MiB) 15:56:24 [15:56:24.778] INFO: ivc-integration:test:native bb - perturbator round (mem: 852.67 MiB) 15:56:24 [15:56:24.848] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 852.69 MiB) 15:56:25 [15:56:25.138] INFO: ivc-integration:test:native bb - folded (mem: 852.69 MiB) 15:56:25 constructed folding proof (mem: 852.69 MiB) 15:56:25 [15:56:25.140] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 852.69 MiB) 15:56:25 Minimum required block sizes for structured trace: (mem: 852.69 MiB) 15:56:25 (mem: 852.69 MiB) 15:56:25 prove decider... (mem: 852.69 MiB) 15:56:25 [15:56:25.143] INFO: ivc-integration:test:native bb - ecc_op : 792 15:56:25 busread : 16 15:56:25 lookup : 2 15:56:25 pub_inputs : 36 15:56:25 arithmetic : 12080 15:56:25 delta_range : 2942 15:56:25 elliptic : 2 15:56:25 aux : 350 15:56:25 poseidon2_external : 4942 15:56:25 poseidon2_internal : 28160 15:56:25 overflow : 0 15:56:25 [15:56:25.402] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.69 MiB) 15:56:25 [15:56:25.575] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 15:56:25 [15:56:25.576] INFO: ivc-integration:test:native bb - (mem: 852.69 MiB) 15:56:26 [15:56:26.604] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.69 MiB) 15:56:26 [15:56:26.685] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.69 MiB) 15:56:26 finished decider proving. (mem: 852.69 MiB) 15:56:26 [15:56:26.719] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 852.69 MiB) 15:56:26 [15:56:26.833] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.69 MiB) 15:56:26 [15:56:26.840] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 852.69 MiB) 15:56:26 [15:56:26.968] INFO: ivc-integration:test:native bb - populating trace... (mem: 852.69 MiB) 15:56:27 [15:56:27.064] INFO: ivc-integration:test:native bb - time to construct proving key: 229 ms. (mem: 852.69 MiB) 15:56:27 [15:56:27.944] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 852.69 MiB) 15:56:28 [15:56:28.504] INFO: ivc-integration:test:native bb - created oink proof (mem: 852.69 MiB) 15:56:28 [15:56:28.711] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.69 MiB) 15:56:29 [15:56:29.521] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.69 MiB) 15:56:30 [15:56:30.034] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.69 MiB) 15:56:30 [15:56:30.061] INFO: ivc-integration:test:native bb - computed opening proof (mem: 852.69 MiB) 15:56:30 finished decider proving. (mem: 852.69 MiB) 15:56:30 Constructing a Goblin proof with num ultra ops = 2226 (mem: 852.69 MiB) 15:56:30 [15:56:30.193] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 852.69 MiB) 15:56:30 [15:56:30.586] 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: 852.69 MiB) 15:56:30 [15:56:30.607] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 852.69 MiB) 15:56:32 [15:56:32.511] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.69 MiB) 15:56:34 [15:56:34.768] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.69 MiB) 15:56:39 [15:56:39.555] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 852.69 MiB) 15:56:39 prove translator... (mem: 852.69 MiB) 15:56:42 [15:56:42.779] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 873.70 MiB) 15:56:44 [15:56:44.751] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 873.70 MiB) 15:56:46 [15:56:46.644] INFO: ivc-integration:test:native bb - computed opening proof (mem: 873.70 MiB) 15:56:46 [15:56:46.645] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 873.70 MiB) 15:56:46 [15:56:46.655] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 873.70 MiB) 15:56:46 [15:56:46.673] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 873.70 MiB) 15:56:46 libra_evals_verified: 1 (mem: 873.70 MiB) 15:56:46 pairing_check_verified: 1 (mem: 873.70 MiB) 15:56:46 Mega verified: 1 (mem: 873.70 MiB) 15:56:46 [15:56:46.770] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 874.70 MiB) 15:56:46 [15:56:46.774] INFO: ivc-integration:test:native bb - batch opening verified?: 1 (mem: 15:56:46 [15:56:46.775] INFO: ivc-integration:test:native bb - 874.70 MiB) 15:56:46 eccvm consistency check verified?: 1 (mem: 874.70 MiB) 15:56:46 translation masking consistency checked?: 1 (mem: 874.70 MiB) 15:56:46 [15:56:46.799] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 874.70 MiB) 15:56:46 eccvm verified?: 1 (mem: 874.70 MiB) 15:56:46 accumulator construction_verified?: 1 (mem: 874.70 MiB) 15:56:46 [15:56:46.800] INFO: ivc-integration:test:native bb - translation verified?: 1 (mem: 874.70 MiB) 15:56:46 consistency verified?: 1 (mem: 874.70 MiB) 15:56:46 Goblin verified: 1 (mem: 874.70 MiB) 15:56:46 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-SYoS2p" (mem: 874.70 MiB) 15:56:46 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-SYoS2p" (mem: 874.70 MiB) 15:56:46 BN254 commitment key size: 262144 (mem: 874.70 MiB) 15:56:46 [15:56:46.804] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.70 MiB) 15:56:46 [15:56:46.807] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.70 MiB) 15:56:46 goblin ecc op : 4/1024 (mem: 874.70 MiB) 15:56:46 busread : 3/6000 (mem: 874.70 MiB) 15:56:46 lookups : 2/15000 (mem: 874.70 MiB) 15:56:46 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 874.70 MiB) 15:56:46 [15:56:46.807] INFO: ivc-integration:test:native bb - arithmetic : 1773/56000 (mem: 874.70 MiB) 15:56:46 delta range : 1754/18000 (mem: 874.70 MiB) 15:56:46 elliptic : 2/6000 (mem: 874.70 MiB) 15:56:46 auxiliary : 26/26000 (mem: 874.70 MiB) 15:56:46 poseidon ext : 2/17000 (mem: 874.70 MiB) 15:56:46 poseidon int : 2/92000 (mem: 874.70 MiB) 15:56:46 overflow : 0/0 (mem: 874.70 MiB) 15:56:46 (mem: 874.70 MiB) 15:56:46 Total structured size: 242025 (mem: 874.70 MiB) 15:56:46 allocating polynomials object in proving key... (mem: 874.70 MiB) 15:56:46 [15:56:46.927] INFO: ivc-integration:test:native bb - populating trace... (mem: 874.70 MiB) 15:56:46 [15:56:46.943] INFO: ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 874.70 MiB) 15:56:46 [15:56:46.970] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.70 MiB) 15:56:47 [15:56:47.384] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 874.70 MiB) 15:56:47 [15:56:47.385] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.70 MiB) 15:56:47 [15:56:47.497] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 874.70 MiB) 15:56:47 [15:56:47.505] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.70 MiB) 15:56:47 [15:56:47.521] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.70 MiB) 15:56:47 [15:56:47.524] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.70 MiB) 15:56:47 goblin ecc op : 56/1024 (mem: 874.70 MiB) 15:56:47 busread : 3/6000 (mem: 874.70 MiB) 15:56:47 [15:56:47.524] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 874.70 MiB) 15:56:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 874.70 MiB) 15:56:47 arithmetic : 4481/56000 (mem: 874.70 MiB) 15:56:47 delta range : 2041/18000 (mem: 874.70 MiB) 15:56:47 elliptic : 2/6000 (mem: 874.70 MiB) 15:56:47 auxiliary : 50/26000 (mem: 874.70 MiB) 15:56:47 poseidon ext : 1312/17000 (mem: 874.70 MiB) 15:56:47 poseidon int : 7469/92000 (mem: 874.70 MiB) 15:56:47 overflow : 0/0 (mem: 874.70 MiB) 15:56:47 (mem: 874.70 MiB) 15:56:47 Total structured size: 242025 (mem: 874.70 MiB) 15:56:47 allocating polynomials object in proving key... (mem: 874.70 MiB) 15:56:47 [15:56:47.579] INFO: ivc-integration:test:native bb - populating trace... (mem: 874.70 MiB) 15:56:47 [15:56:47.592] INFO: ivc-integration:test:native bb - time to construct proving key: 71 ms. (mem: 874.70 MiB) 15:56:47 [15:56:47.616] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.70 MiB) 15:56:48 [15:56:48.021] INFO: ivc-integration:test:native bb - computing folding proof (mem: 874.70 MiB) 15:56:48 [15:56:48.022] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 874.70 MiB) 15:56:48 [15:56:48.270] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 874.70 MiB) 15:56:48 [15:56:48.357] INFO: ivc-integration:test:native bb - perturbator round (mem: 874.70 MiB) 15:56:48 [15:56:48.394] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 906.70 MiB) 15:56:48 [15:56:48.518] INFO: ivc-integration:test:native bb - folded (mem: 906.70 MiB) 15:56:48 constructed folding proof (mem: 906.70 MiB) 15:56:48 [15:56:48.519] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 906.70 MiB) 15:56:48 Minimum required block sizes for structured trace: (mem: 906.70 MiB) 15:56:48 (mem: 906.70 MiB) 15:56:48 prove decider... (mem: 906.70 MiB) 15:56:48 [15:56:48.519] INFO: ivc-integration:test:native bb - ecc_op : 56 15:56:48 busread : 3 15:56:48 lookup : 2 15:56:48 pub_inputs : 36 15:56:48 arithmetic : 4481 15:56:48 delta_range : 2041 15:56:48 elliptic : 2 15:56:48 aux : 50 15:56:48 poseidon2_external : 1312 15:56:48 poseidon2_internal : 7469 15:56:48 overflow : 0 15:56:48 [15:56:48.597] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 906.70 MiB) 15:56:48 [15:56:48.721] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 906.70 MiB) 15:56:49 [15:56:49.353] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 906.70 MiB) 15:56:49 [15:56:49.401] INFO: ivc-integration:test:native bb - computed opening proof (mem: 906.70 MiB) 15:56:49 finished decider proving. (mem: 906.70 MiB) 15:56:49 [15:56:49.411] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 906.70 MiB) 15:56:49 [15:56:49.497] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 906.70 MiB) 15:56:49 [15:56:49.503] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 906.70 MiB) 15:56:49 [15:56:49.587] INFO: ivc-integration:test:native bb - populating trace... (mem: 906.70 MiB) 15:56:49 [15:56:49.612] INFO: ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 906.70 MiB) 15:56:50 [15:56:50.027] 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-SYoS2p/proof -k /tmp/bb-client-ivc-integration-SYoS2p/vk -v 15:56:50 [15:56:50.085] INFO: ivc-integration:test:native bb command: verify (mem: 190.20 MiB) 15:56:50 Scheme is: client_ivc, num threads: 128 (mem: 190.20 MiB) 15:56:50 --proof_path: /tmp/bb-client-ivc-integration-SYoS2p/proof (mem: 190.20 MiB) 15:56:50 --vk_path: /tmp/bb-client-ivc-integration-SYoS2p/vk (mem: 190.20 MiB) 15:56:50 --verbose: true (mem: 190.20 MiB) 15:56:50 --scheme: client_ivc (mem: 190.20 MiB) 15:56:50 [15:56:50.209] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 190.20 MiB) 15:56:50 [15:56:50.231] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 190.20 MiB) 15:56:50 [15:56:50.233] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 190.20 MiB) 15:56:50 [15:56:50.251] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 190.20 MiB) 15:56:50 [15:56:50.253] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 190.20 MiB) 15:56:50 [15:56:50.254] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 190.20 MiB) 15:56:50 libra_evals_verified: 1 (mem: 190.20 MiB) 15:56:50 pairing_check_verified: 1 (mem: 190.20 MiB) 15:56:50 Mega verified: 1 (mem: 190.20 MiB) 15:56:50 [15:56:50.324] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.20 MiB) 15:56:50 batch opening verified?: 1 (mem: 190.20 MiB) 15:56:50 eccvm consistency check verified?: 1 (mem: 190.20 MiB) 15:56:50 translation masking consistency checked?: 1 (mem: 190.20 MiB) 15:56:50 [15:56:50.348] INFO: ivc-integration:test:native merge verified?: 1 (mem: 190.20 MiB) 15:56:50 eccvm verified?: 1 (mem: 190.20 MiB) 15:56:50 accumulator construction_verified?: 1 (mem: 190.20 MiB) 15:56:50 translation verified?: 1 (mem: 190.20 MiB) 15:56:50 consistency verified?: 1 (mem: 190.20 MiB) 15:56:50 Goblin verified: 1 (mem: 190.20 MiB) 15:56:50 [15:56:50.357] INFO: ivc-integration:test:native verified: 1 (mem: 190.20 MiB) 15:56:50 PASS src/native_client_ivc_integration.test.ts (72.645 s) 15:56:50 Client IVC Integration 15:56:50 ✓ Should generate a verifiable client IVC proof from a simple mock tx (37154 ms) 15:56:50 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31816 ms) 15:56:50 15:56:50 Test Suites: 1 passed, 1 total 15:56:50 Tests: 2 passed, 2 total 15:56:50 Snapshots: 0 total 15:56:50 Time: 72.749 s 15:56:50 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 15:56:50 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?