ACI ·

Parent Log: http://ci.aztec-labs.com/2eb51e87340ddb13 Command: 024e96465ffd3e9a: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/a0a8617413ca6f4fba2ad190ce73dab59bd75a45 Env: REF_NAME=gh-readonly-queue/next/pr-15101-056e5230c330d6ad19900135ecf2a4787181496a CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 14:02:42 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15101_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 14:02:47 [14:02:47.431] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-zm1lcn/ivc-inputs.msgpack 14:02:47 [14:02:47.436] 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-zm1lcn --ivc_inputs_path /tmp/bb-client-ivc-integration-zm1lcn/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:02:47 [14:02:47.460] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.15 MiB) 14:02:47 [14:02:47.461] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.15 MiB) 14:02:47 --scheme: client_ivc (mem: 183.15 MiB) 14:02:47 --output_path: /tmp/bb-client-ivc-integration-zm1lcn (mem: 183.15 MiB) 14:02:47 --ivc_inputs_path: /tmp/bb-client-ivc-integration-zm1lcn/ivc-inputs.msgpack (mem: 183.15 MiB) 14:02:47 --verbose: true (mem: 183.15 MiB) 14:02:47 --write_vk: true (mem: 183.15 MiB) 14:02:47 BN254 commitment key size: 262144 (mem: 183.15 MiB) 14:02:47 [14:02:47.569] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB) 14:02:47 [14:02:47.647] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 14:02:47 [14:02:47.648] INFO: ivc-integration:test:native bb - (mem: 299.14 MiB) 14:02:47 [14:02:47.652] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 299.14 MiB) 14:02:47 Constructing DeciderProvingKey (mem: 299.14 MiB) 14:02:47 [14:02:47.657] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 299.14 MiB) 14:02:47 goblin ecc op : 4/1024 (mem: 299.14 MiB) 14:02:47 busread : 7/6000 (mem: 299.14 MiB) 14:02:47 [14:02:47.658] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 299.14 MiB) 14:02:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 299.14 MiB) 14:02:47 arithmetic : 1760/56000 (mem: 299.14 MiB) 14:02:47 delta range : 1754/18000 (mem: 299.14 MiB) 14:02:47 elliptic : 2/6000 (mem: 299.14 MiB) 14:02:47 auxiliary : 26/26000 (mem: 299.14 MiB) 14:02:47 poseidon ext : 2/17000 (mem: 299.14 MiB) 14:02:47 poseidon int : 2/92000 (mem: 299.14 MiB) 14:02:47 overflow : 0/0 (mem: 299.14 MiB) 14:02:47 (mem: 299.14 MiB) 14:02:47 Total structured size: 242025 (mem: 299.14 MiB) 14:02:47 allocating polynomials object in proving key... (mem: 299.14 MiB) 14:02:47 [14:02:47.733] INFO: ivc-integration:test:native bb - populating trace... (mem: 497.82 MiB) 14:02:47 [14:02:47.744] INFO: ivc-integration:test:native bb - time to construct proving key: 91 ms. (mem: 509.82 MiB) 14:02:47 [14:02:47.778] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60f5fab4a440 (mem: 509.82 MiB) 14:02:47 [14:02:47.779] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 509.82 MiB) 14:02:47 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 509.82 MiB) 14:02:47 [14:02:47.940] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 516.82 MiB) 14:02:47 [14:02:47.948] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.82 MiB) 14:02:47 [14:02:47.965] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 516.82 MiB) 14:02:47 Constructing DeciderProvingKey (mem: 516.82 MiB) 14:02:47 [14:02:47.968] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 516.82 MiB) 14:02:47 goblin ecc op : 56/1024 (mem: 516.82 MiB) 14:02:47 busread : 12/6000 (mem: 516.82 MiB) 14:02:47 lookups : 2/15000 (mem: 516.82 MiB) 14:02:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 516.82 MiB) 14:02:47 arithmetic : 4625/56000 (mem: 516.82 MiB) 14:02:47 delta range : 2054/18000 (mem: 516.82 MiB) 14:02:47 elliptic : 2/6000 (mem: 516.82 MiB) 14:02:47 auxiliary : 110/26000 (mem: 516.82 MiB) 14:02:47 poseidon ext : 1302/17000 (mem: 516.82 MiB) 14:02:47 poseidon int : 7412/92000 (mem: 516.82 MiB) 14:02:47 overflow : 0/0 (mem: 516.82 MiB) 14:02:47 (mem: 516.82 MiB) 14:02:47 Total structured size: 242025 (mem: 516.82 MiB) 14:02:47 allocating polynomials object in proving key... (mem: 516.82 MiB) 14:02:48 [14:02:48.064] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.82 MiB) 14:02:48 [14:02:48.091] INFO: ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 742.82 MiB) 14:02:48 [14:02:48.197] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60f5fab57100 (mem: 742.82 MiB) 14:02:48 computing folding proof (mem: 742.82 MiB) 14:02:48 [14:02:48.198] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 742.82 MiB) 14:02:48 [14:02:48.630] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 742.82 MiB) 14:02:48 [14:02:48.734] INFO: ivc-integration:test:native bb - perturbator round (mem: 778.82 MiB) 14:02:48 [14:02:48.806] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.82 MiB) 14:02:49 [14:02:49.296] INFO: ivc-integration:test:native bb - folded (mem: 811.82 MiB) 14:02:49 constructed folding proof (mem: 811.82 MiB) 14:02:49 [14:02:49.322] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 811.82 MiB) 14:02:49 [14:02:49.400] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 811.82 MiB) 14:02:49 Constructing DeciderProvingKey (mem: 811.82 MiB) 14:02:49 [14:02:49.405] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.82 MiB) 14:02:49 goblin ecc op : 392/1024 (mem: 811.82 MiB) 14:02:49 busread : 3/6000 (mem: 811.82 MiB) 14:02:49 lookups : 2/15000 (mem: 811.82 MiB) 14:02:49 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 811.82 MiB) 14:02:49 arithmetic : 6849/56000 (mem: 811.82 MiB) 14:02:49 delta range : 2333/18000 (mem: 811.82 MiB) 14:02:49 elliptic : 2/6000 (mem: 811.82 MiB) 14:02:49 auxiliary : 50/26000 (mem: 811.82 MiB) 14:02:49 poseidon ext : 2472/17000 (mem: 811.82 MiB) 14:02:49 poseidon int : 14081/92000 (mem: 811.82 MiB) 14:02:49 overflow : 0/0 (mem: 811.82 MiB) 14:02:49 (mem: 811.82 MiB) 14:02:49 Total structured size: 242025 (mem: 811.82 MiB) 14:02:49 allocating polynomials object in proving key... (mem: 811.82 MiB) 14:02:49 [14:02:49.618] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.82 MiB) 14:02:49 [14:02:49.678] INFO: ivc-integration:test:native bb - time to construct proving key: 272 ms. (mem: 811.82 MiB) 14:02:49 [14:02:49.859] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x60f5fab4ca80 (mem: 811.82 MiB) 14:02:49 computing folding proof (mem: 811.82 MiB) 14:02:49 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 811.82 MiB) 14:02:50 [14:02:50.450] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.82 MiB) 14:02:50 [14:02:50.641] INFO: ivc-integration:test:native bb - perturbator round (mem: 811.82 MiB) 14:02:50 [14:02:50.683] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.82 MiB) 14:02:51 [14:02:51.060] INFO: ivc-integration:test:native bb - folded (mem: 811.82 MiB) 14:02:51 constructed folding proof (mem: 811.82 MiB) 14:02:51 [14:02:51.062] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 811.82 MiB) 14:02:51 Minimum required block sizes for structured trace: (mem: 811.82 MiB) 14:02:51 (mem: 811.82 MiB) 14:02:51 prove decider... (mem: 811.82 MiB) 14:02:51 [14:02:51.063] INFO: ivc-integration:test:native bb - ecc_op : 392 14:02:51 busread : 12 14:02:51 lookup : 2 14:02:51 pub_inputs : 36 14:02:51 arithmetic : 6849 14:02:51 delta_range : 2333 14:02:51 elliptic : 2 14:02:51 aux : 110 14:02:51 poseidon2_external : 2472 14:02:51 poseidon2_internal : 14081 14:02:51 overflow : 0 14:02:51 [14:02:51.375] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 811.82 MiB) 14:02:51 [14:02:51.569] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 811.82 MiB) 14:02:52 [14:02:52.814] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 811.82 MiB) 14:02:52 [14:02:52.905] INFO: ivc-integration:test:native bb - computed opening proof (mem: 811.82 MiB) 14:02:52 finished decider proving. (mem: 811.82 MiB) 14:02:52 [14:02:52.962] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 811.82 MiB) 14:02:53 [14:02:53.124] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 811.82 MiB) 14:02:53 [14:02:53.133] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 811.82 MiB) 14:02:53 [14:02:53.261] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.82 MiB) 14:02:53 [14:02:53.391] INFO: ivc-integration:test:native bb - time to construct proving key: 268 ms. (mem: 811.82 MiB) 14:02:54 [14:02:54.467] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 811.82 MiB) 14:02:55 [14:02:55.128] INFO: ivc-integration:test:native bb - created oink proof 14:02:55 [14:02:55.129] INFO: ivc-integration:test:native bb - (mem: 811.82 MiB) 14:02:55 [14:02:55.478] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 14:02:55 [14:02:55.479] INFO: ivc-integration:test:native bb - (mem: 811.82 MiB) 14:02:57 [14:02:57.336] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 811.82 MiB) 14:02:58 [14:02:58.448] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 14:02:58 [14:02:58.449] INFO: ivc-integration:test:native bb - (mem: 14:02:58 [14:02:58.450] INFO: ivc-integration:test:native bb - 811.82 MiB) 14:02:58 [14:02:58.494] INFO: ivc-integration:test:native bb - computed opening proof (mem: 811.82 MiB) 14:02:58 finished decider proving. (mem: 811.82 MiB) 14:02:58 Constructing a Goblin proof with num ultra ops = 1038 (mem: 811.82 MiB) 14:02:58 [14:02:58.786] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 811.82 MiB) 14:02:59 [14:02:59.278] 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: 811.82 MiB) 14:02:59 [14:02:59.295] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 811.82 MiB) 14:03:01 [14:03:01.712] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 811.82 MiB) 14:03:04 [14:03:04.623] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 811.82 MiB) 14:03:09 [14:03:09.588] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 811.82 MiB) 14:03:09 prove translator... (mem: 811.82 MiB) 14:03:12 [14:03:12.508] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.15 MiB) 14:03:15 [14:03:15.715] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.15 MiB) 14:03:18 [14:03:18.724] INFO: ivc-integration:test:native bb - computed opening proof (mem: 848.15 MiB) 14:03:18 finished translator proving. (mem: 848.15 MiB) 14:03:18 [14:03:18.732] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 848.15 MiB) 14:03:18 [14:03:18.751] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 848.15 MiB) 14:03:18 libra_evals_verified: 1 (mem: 848.15 MiB) 14:03:18 pairing_check_verified: 1 (mem: 848.15 MiB) 14:03:18 Mega verified: 1 (mem: 848.15 MiB) 14:03:18 [14:03:18.860] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 849.15 MiB) 14:03:18 [14:03:18.861] INFO: ivc-integration:test:native bb - batch opening verified?: 1 (mem: 849.15 MiB) 14:03:18 eccvm consistency check verified?: 1 (mem: 849.15 MiB) 14:03:18 translation masking consistency checked?: 1 (mem: 849.15 MiB) 14:03:18 [14:03:18.881] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 849.15 MiB) 14:03:18 [14:03:18.883] INFO: ivc-integration:test:native bb - eccvm verified?: 1 (mem: 849.15 MiB) 14:03:18 accumulator construction_verified?: 1 (mem: 849.15 MiB) 14:03:18 translation verified?: 1 (mem: 849.15 MiB) 14:03:18 consistency verified?: 1 (mem: 849.15 MiB) 14:03:18 Goblin verified: 1 (mem: 849.15 MiB) 14:03:18 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-zm1lcn" (mem: 849.15 MiB) 14:03:18 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-zm1lcn" (mem: 849.15 MiB) 14:03:18 BN254 commitment key size: 262144 (mem: 849.15 MiB) 14:03:18 [14:03:18.887] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.15 MiB) 14:03:18 [14:03:18.893] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.15 MiB) 14:03:18 [14:03:18.893] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 849.15 MiB) 14:03:18 busread : 3/6000 (mem: 849.15 MiB) 14:03:18 lookups : 2/15000 (mem: 849.15 MiB) 14:03:18 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 849.15 MiB) 14:03:18 arithmetic : 1773/56000 (mem: 849.15 MiB) 14:03:18 delta range : 1754/18000 (mem: 849.15 MiB) 14:03:18 elliptic : 2/6000 (mem: 849.15 MiB) 14:03:18 auxiliary : 26/26000 (mem: 849.15 MiB) 14:03:18 poseidon ext : 2/17000 (mem: 849.15 MiB) 14:03:18 poseidon int : 2/92000 (mem: 849.15 MiB) 14:03:18 overflow : 0/0 (mem: 849.15 MiB) 14:03:18 (mem: 849.15 MiB) 14:03:18 Total structured size: 242025 (mem: 849.15 MiB) 14:03:18 allocating polynomials object in proving key... (mem: 849.15 MiB) 14:03:19 [14:03:19.189] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.15 MiB) 14:03:19 [14:03:19.202] INFO: ivc-integration:test:native bb - time to construct proving key: 314 ms. (mem: 849.15 MiB) 14:03:19 [14:03:19.413] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.15 MiB) 14:03:20 [14:03:20.657] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 849.15 MiB) 14:03:20 [14:03:20.657] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.15 MiB) 14:03:21 [14:03:21.147] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 849.15 MiB) 14:03:21 [14:03:21.154] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.15 MiB) 14:03:21 [14:03:21.180] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.15 MiB) 14:03:21 [14:03:21.183] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 14:03:21 [14:03:21.184] INFO: ivc-integration:test:native bb - (mem: 14:03:21 [14:03:21.186] INFO: ivc-integration:test:native bb - 849.15 MiB) 14:03:21 goblin ecc op : 56/1024 (mem: 849.15 MiB) 14:03:21 busread : 3/6000 (mem: 849.15 MiB) 14:03:21 lookups : 2/15000 (mem: 849.15 MiB) 14:03:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.15 MiB) 14:03:21 arithmetic : 4481/56000 (mem: 849.15 MiB) 14:03:21 delta range : 2041/18000 (mem: 849.15 MiB) 14:03:21 elliptic : 2/6000 (mem: 849.15 MiB) 14:03:21 auxiliary : 50/26000 (mem: 849.15 MiB) 14:03:21 poseidon ext : 1312/17000 (mem: 849.15 MiB) 14:03:21 poseidon int : 7469/92000 (mem: 849.15 MiB) 14:03:21 overflow : 0/0 (mem: 849.15 MiB) 14:03:21 (mem: 849.15 MiB) 14:03:21 Total structured size: 242025 (mem: 849.15 MiB) 14:03:21 allocating polynomials object in proving key... (mem: 849.15 MiB) 14:03:21 [14:03:21.488] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.15 MiB) 14:03:21 [14:03:21.528] INFO: ivc-integration:test:native bb - time to construct proving key: 353 ms. 14:03:21 [14:03:21.530] INFO: ivc-integration:test:native bb - (mem: 849.15 MiB) 14:03:21 [14:03:21.815] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 14:03:21 [14:03:21.819] INFO: ivc-integration:test:native bb - (mem: 849.15 MiB) 14:03:22 [14:03:22.590] INFO: ivc-integration:test:native bb - computing folding proof (mem: 849.15 MiB) 14:03:22 [14:03:22.592] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 849.15 MiB) 14:03:23 [14:03:23.545] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.15 MiB) 14:03:23 [14:03:23.713] INFO: ivc-integration:test:native bb - perturbator round (mem: 851.15 MiB) 14:03:23 [14:03:23.776] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 883.15 MiB) 14:03:24 [14:03:24.269] INFO: ivc-integration:test:native bb - folded (mem: 883.15 MiB) 14:03:24 constructed folding proof (mem: 883.15 MiB) 14:03:24 Largest circuit: 15360 gates. Trace details: (mem: 883.15 MiB) 14:03:24 Minimum required block sizes for structured trace: (mem: 883.15 MiB) 14:03:24 (mem: 883.15 MiB) 14:03:24 prove decider... (mem: 883.15 MiB) 14:03:24 [14:03:24.271] INFO: ivc-integration:test:native bb - ecc_op : 56 14:03:24 busread : 3 14:03:24 lookup : 2 14:03:24 pub_inputs : 36 14:03:24 arithmetic : 4481 14:03:24 delta_range : 2041 14:03:24 elliptic : 2 14:03:24 aux : 50 14:03:24 poseidon2_external : 1312 14:03:24 poseidon2_internal : 7469 14:03:24 overflow : 0 14:03:24 [14:03:24.518] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 883.15 MiB) 14:03:24 [14:03:24.718] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 883.15 MiB) 14:03:25 [14:03:25.884] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 883.15 MiB) 14:03:25 [14:03:25.987] INFO: ivc-integration:test:native bb - computed opening proof (mem: 883.15 MiB) 14:03:25 finished decider proving. (mem: 883.15 MiB) 14:03:26 [14:03:26.009] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 883.15 MiB) 14:03:26 [14:03:26.120] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 883.15 MiB) 14:03:26 [14:03:26.125] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 14:03:26 [14:03:26.126] INFO: ivc-integration:test:native bb - (mem: 14:03:26 [14:03:26.126] INFO: ivc-integration:test:native bb - 883.15 14:03:26 [14:03:26.128] INFO: ivc-integration:test:native bb - MiB) 14:03:26 [14:03:26.384] INFO: ivc-integration:test:native bb - populating trace... (mem: 883.15 MiB) 14:03:26 [14:03:26.417] INFO: ivc-integration:test:native bb - time to construct proving key: 298 ms. (mem: 883.15 MiB) 14:03:27 [14:03:27.229] 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-zm1lcn/proof -k /tmp/bb-client-ivc-integration-zm1lcn/vk -v 14:03:27 [14:03:27.269] INFO: ivc-integration:test:native bb command: verify (mem: 183.15 MiB) 14:03:27 [14:03:27.270] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 183.15 MiB) 14:03:27 --proof_path: /tmp/bb-client-ivc-integration-zm1lcn/proof (mem: 183.15 MiB) 14:03:27 --vk_path: /tmp/bb-client-ivc-integration-zm1lcn/vk (mem: 183.15 MiB) 14:03:27 --verbose: true (mem: 183.15 MiB) 14:03:27 --scheme: client_ivc (mem: 183.15 MiB) 14:03:27 [14:03:27.368] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.15 MiB) 14:03:27 [14:03:27.388] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.15 MiB) 14:03:27 [14:03:27.390] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 183.15 MiB) 14:03:27 [14:03:27.410] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.15 MiB) 14:03:27 [14:03:27.419] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 183.15 MiB) 14:03:27 sumcheck_verified: 1 (mem: 183.15 MiB) 14:03:27 libra_evals_verified: 1 (mem: 183.15 MiB) 14:03:27 pairing_check_verified: 1 (mem: 183.15 MiB) 14:03:27 Mega verified: 1 (mem: 183.15 MiB) 14:03:27 [14:03:27.505] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 186.05 MiB) 14:03:27 batch opening verified?: 1 (mem: 186.05 MiB) 14:03:27 eccvm consistency check verified?: 1 (mem: 186.05 MiB) 14:03:27 translation masking consistency checked?: 1 (mem: 186.05 MiB) 14:03:27 [14:03:27.528] INFO: ivc-integration:test:native merge verified?: 1 (mem: 186.05 MiB) 14:03:27 eccvm verified?: 1 (mem: 186.05 MiB) 14:03:27 accumulator construction_verified?: 1 (mem: 186.05 MiB) 14:03:27 translation verified?: 1 (mem: 186.05 MiB) 14:03:27 consistency verified?: 1 (mem: 186.05 MiB) 14:03:27 Goblin verified: 1 (mem: 186.05 MiB) 14:03:27 [14:03:27.530] INFO: ivc-integration:test:native verified: 1 (mem: 186.05 MiB) 14:03:27 [14:03:27.652] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-RQaXR5/ivc-inputs.msgpack 14:03:27 [14:03:27.653] 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-RQaXR5 --ivc_inputs_path /tmp/bb-client-ivc-integration-RQaXR5/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 14:03:27 [14:03:27.686] INFO: ivc-integration:test:native bb - bb command: prove (mem: 185.49 MiB) 14:03:27 Scheme is: client_ivc, num threads: 128 (mem: 185.49 MiB) 14:03:27 --scheme: client_ivc (mem: 185.49 MiB) 14:03:27 --output_path: /tmp/bb-client-ivc-integration-RQaXR5 (mem: 185.49 MiB) 14:03:27 --ivc_inputs_path: /tmp/bb-client-ivc-integration-RQaXR5/ivc-inputs.msgpack (mem: 185.49 MiB) 14:03:27 --verbose: true (mem: 185.49 MiB) 14:03:27 --write_vk: true (mem: 185.49 MiB) 14:03:27 [14:03:27.694] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 185.49 MiB) 14:03:27 [14:03:27.838] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.00 MiB) 14:03:27 [14:03:27.945] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 14:03:27 [14:03:27.948] INFO: ivc-integration:test:native bb - (mem: 304.70 MiB) 14:03:27 [14:03:27.954] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 304.70 MiB) 14:03:27 Constructing DeciderProvingKey (mem: 304.70 MiB) 14:03:27 [14:03:27.958] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 304.70 MiB) 14:03:27 goblin ecc op : 4/1024 (mem: 304.70 MiB) 14:03:27 [14:03:27.959] INFO: ivc-integration:test:native bb - busread : 7/6000 (mem: 304.70 MiB) 14:03:27 lookups : 2/15000 (mem: 304.70 MiB) 14:03:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 304.70 MiB) 14:03:27 arithmetic : 1760/56000 (mem: 304.70 MiB) 14:03:27 delta range : 1754/18000 (mem: 304.70 MiB) 14:03:27 elliptic : 2/6000 (mem: 304.70 MiB) 14:03:27 auxiliary : 26/26000 (mem: 304.70 MiB) 14:03:27 poseidon ext : 2/17000 (mem: 304.70 MiB) 14:03:27 poseidon int : 2/92000 (mem: 304.70 MiB) 14:03:27 overflow : 0/0 (mem: 304.70 MiB) 14:03:27 (mem: 304.70 MiB) 14:03:27 Total structured size: 242025 (mem: 304.70 MiB) 14:03:27 allocating polynomials object in proving key... (mem: 304.70 MiB) 14:03:28 [14:03:28.086] INFO: ivc-integration:test:native bb - populating trace... (mem: 502.82 MiB) 14:03:28 [14:03:28.107] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 513.82 MiB) 14:03:28 [14:03:28.176] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ab4cb51240 (mem: 513.82 MiB) 14:03:28 computing oink proof... (mem: 513.82 MiB) 14:03:28 [14:03:28.176] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.82 MiB) 14:03:28 [14:03:28.345] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.82 MiB) 14:03:28 [14:03:28.355] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.82 MiB) 14:03:28 [14:03:28.373] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.82 MiB) 14:03:28 Constructing DeciderProvingKey (mem: 523.82 MiB) 14:03:28 [14:03:28.377] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.82 MiB) 14:03:28 goblin ecc op : 56/1024 (mem: 523.82 MiB) 14:03:28 busread : 12/6000 (mem: 523.82 MiB) 14:03:28 [14:03:28.377] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 523.82 MiB) 14:03:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.82 MiB) 14:03:28 arithmetic : 4625/56000 (mem: 523.82 MiB) 14:03:28 delta range : 2054/18000 (mem: 523.82 MiB) 14:03:28 elliptic : 2/6000 (mem: 523.82 MiB) 14:03:28 auxiliary : 110/26000 (mem: 523.82 MiB) 14:03:28 poseidon ext : 1302/17000 (mem: 523.82 MiB) 14:03:28 poseidon int : 7412/92000 (mem: 523.82 MiB) 14:03:28 overflow : 0/0 (mem: 523.82 MiB) 14:03:28 (mem: 523.82 MiB) 14:03:28 Total structured size: 242025 (mem: 523.82 MiB) 14:03:28 allocating polynomials object in proving key... (mem: 523.82 MiB) 14:03:28 [14:03:28.471] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.82 MiB) 14:03:28 [14:03:28.491] INFO: ivc-integration:test:native bb - time to construct proving key: 117 ms. (mem: 745.82 MiB) 14:03:28 [14:03:28.554] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ab4cb5a480 (mem: 745.82 MiB) 14:03:28 computing folding proof (mem: 745.82 MiB) 14:03:28 [14:03:28.555] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 745.82 MiB) 14:03:28 [14:03:28.925] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.82 MiB) 14:03:29 [14:03:29.040] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.82 MiB) 14:03:29 [14:03:29.092] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.82 MiB) 14:03:29 [14:03:29.561] INFO: ivc-integration:test:native bb - folded (mem: 814.82 MiB) 14:03:29 constructed folding proof (mem: 814.82 MiB) 14:03:29 [14:03:29.566] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 14:03:29 [14:03:29.571] INFO: ivc-integration:test:native bb - (mem: 814.82 MiB) 14:03:29 Constructing DeciderProvingKey (mem: 814.82 MiB) 14:03:29 [14:03:29.574] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 14:03:29 [14:03:29.575] INFO: ivc-integration:test:native bb - (mem: 814.82 MiB) 14:03:29 goblin ecc op : 4/1024 (mem: 814.82 MiB) 14:03:29 busread : 7/6000 (mem: 814.82 MiB) 14:03:29 lookups : 2/15000 (mem: 814.82 MiB) 14:03:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 814.82 MiB) 14:03:29 arithmetic : 1760/56000 (mem: 814.82 MiB) 14:03:29 delta range : 1754/18000 (mem: 814.82 MiB) 14:03:29 elliptic : 2/6000 (mem: 814.82 MiB) 14:03:29 auxiliary : 26/26000 (mem: 814.82 MiB) 14:03:29 poseidon ext : 2/17000 (mem: 814.82 MiB) 14:03:29 poseidon int : 2/92000 (mem: 814.82 MiB) 14:03:29 overflow : 0/0 (mem: 814.82 MiB) 14:03:29 (mem: 814.82 MiB) 14:03:29 Total structured size: 242025 (mem: 814.82 MiB) 14:03:29 allocating polynomials object in proving key... (mem: 814.82 MiB) 14:03:29 [14:03:29.737] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.82 MiB) 14:03:29 [14:03:29.770] INFO: ivc-integration:test:native bb - time to construct proving key: 201 ms. (mem: 814.82 MiB) 14:03:29 [14:03:29.926] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ab4cb4cdc0 (mem: 814.82 MiB) 14:03:29 computing folding proof (mem: 814.82 MiB) 14:03:29 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 814.82 MiB) 14:03:30 [14:03:30.184] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.82 MiB) 14:03:30 [14:03:30.261] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.82 MiB) 14:03:30 [14:03:30.299] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.82 MiB) 14:03:30 [14:03:30.578] INFO: ivc-integration:test:native bb - folded (mem: 814.82 MiB) 14:03:30 constructed folding proof (mem: 814.82 MiB) 14:03:30 [14:03:30.588] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 814.82 MiB) 14:03:30 [14:03:30.651] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 814.82 MiB) 14:03:30 [14:03:30.724] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 814.82 MiB) 14:03:30 Constructing DeciderProvingKey (mem: 814.82 MiB) 14:03:30 [14:03:30.729] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 14:03:30 [14:03:30.731] INFO: ivc-integration:test:native bb - (mem: 14:03:30 [14:03:30.732] INFO: ivc-integration:test:native bb - 814.82 MiB) 14:03:30 goblin ecc op : 792/1024 (mem: 814.82 MiB) 14:03:30 [14:03:30.732] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 814.82 MiB) 14:03:30 lookups : 2/15000 (mem: 814.82 MiB) 14:03:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 814.82 MiB) 14:03:30 arithmetic : 12080/56000 (mem: 814.82 MiB) 14:03:30 delta range : 2942/18000 (mem: 814.82 MiB) 14:03:30 elliptic : 2/6000 (mem: 814.82 MiB) 14:03:30 auxiliary : 350/26000 (mem: 814.82 MiB) 14:03:30 poseidon ext : 4942/17000 (mem: 814.82 MiB) 14:03:30 poseidon int : 28160/92000 (mem: 814.82 MiB) 14:03:30 overflow : 0/0 (mem: 814.82 MiB) 14:03:30 (mem: 814.82 MiB) 14:03:30 Total structured size: 242025 (mem: 814.82 MiB) 14:03:30 allocating polynomials object in proving key... (mem: 814.82 MiB) 14:03:30 [14:03:30.816] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.82 MiB) 14:03:30 [14:03:30.872] INFO: ivc-integration:test:native bb - time to construct proving key: 150 ms. (mem: 814.82 MiB) 14:03:31 [14:03:31.077] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ab4cb51a80 (mem: 814.82 MiB) 14:03:31 computing folding proof (mem: 814.82 MiB) 14:03:31 [14:03:31.078] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 814.82 MiB) 14:03:31 [14:03:31.420] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.82 MiB) 14:03:31 [14:03:31.507] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.82 MiB) 14:03:31 [14:03:31.565] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.76 MiB) 14:03:31 [14:03:31.786] INFO: ivc-integration:test:native bb - folded (mem: 844.76 MiB) 14:03:31 [14:03:31.787] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 844.76 MiB) 14:03:31 [14:03:31.796] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 844.76 MiB) 14:03:31 [14:03:31.855] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 844.76 MiB) 14:03:31 Constructing DeciderProvingKey (mem: 844.76 MiB) 14:03:31 [14:03:31.857] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.76 MiB) 14:03:31 goblin ecc op : 392/1024 (mem: 844.76 MiB) 14:03:31 busread : 16/6000 (mem: 844.76 MiB) 14:03:31 lookups : 2/15000 (mem: 844.76 MiB) 14:03:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 844.76 MiB) 14:03:31 arithmetic : 6914/56000 (mem: 844.76 MiB) 14:03:31 delta range : 2347/18000 (mem: 844.76 MiB) 14:03:31 elliptic : 2/6000 (mem: 844.76 MiB) 14:03:31 auxiliary : 77/26000 (mem: 844.76 MiB) 14:03:31 poseidon ext : 2472/17000 (mem: 844.76 MiB) 14:03:31 poseidon int : 14081/92000 (mem: 844.76 MiB) 14:03:31 overflow : 0/0 (mem: 844.76 MiB) 14:03:31 (mem: 844.76 MiB) 14:03:31 Total structured size: 242025 (mem: 844.76 MiB) 14:03:31 allocating polynomials object in proving key... (mem: 844.76 MiB) 14:03:31 [14:03:31.958] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.76 MiB) 14:03:31 [14:03:31.985] INFO: ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 844.76 MiB) 14:03:32 [14:03:32.223] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ab4cbce180 (mem: 844.76 MiB) 14:03:32 computing folding proof (mem: 844.76 MiB) 14:03:32 [14:03:32.225] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 844.76 MiB) 14:03:32 [14:03:32.660] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.76 MiB) 14:03:32 [14:03:32.764] INFO: ivc-integration:test:native bb - perturbator round (mem: 844.76 MiB) 14:03:32 [14:03:32.846] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.34 MiB) 14:03:33 [14:03:33.269] INFO: ivc-integration:test:native bb - folded (mem: 845.34 MiB) 14:03:33 constructed folding proof (mem: 845.34 MiB) 14:03:33 [14:03:33.278] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 14:03:33 [14:03:33.278] INFO: ivc-integration:test:native bb - (mem: 14:03:33 [14:03:33.279] INFO: ivc-integration:test:native bb - 845.34 14:03:33 [14:03:33.280] INFO: ivc-integration:test:native bb - MiB) 14:03:33 [14:03:33.341] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 14:03:33 [14:03:33.346] INFO: ivc-integration:test:native bb - (mem: 845.34 MiB) 14:03:33 Constructing DeciderProvingKey (mem: 845.34 MiB) 14:03:33 [14:03:33.347] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 14:03:33 [14:03:33.347] INFO: ivc-integration:test:native bb - (mem: 14:03:33 [14:03:33.347] INFO: ivc-integration:test:native bb - 845.34 14:03:33 [14:03:33.348] INFO: ivc-integration:test:native bb - MiB) 14:03:33 [14:03:33.349] INFO: ivc-integration:test:native bb - 14:03:33 goblin ecc op : 392/1024 (mem: 845.34 MiB) 14:03:33 busread : 3/6000 (mem: 845.34 MiB) 14:03:33 lookups : 2/15000 (mem: 845.34 MiB) 14:03:33 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.34 MiB) 14:03:33 arithmetic : 6849/56000 (mem: 845.34 MiB) 14:03:33 delta range : 2333/18000 (mem: 845.34 MiB) 14:03:33 elliptic : 2/6000 (mem: 845.34 MiB) 14:03:33 auxiliary : 50/26000 (mem: 845.34 MiB) 14:03:33 poseidon ext : 2472/17000 (mem: 845.34 MiB) 14:03:33 poseidon int : 14081/92000 (mem: 845.34 MiB) 14:03:33 overflow : 0/0 (mem: 845.34 MiB) 14:03:33 (mem: 845.34 MiB) 14:03:33 Total structured size: 242025 (mem: 845.34 MiB) 14:03:33 allocating polynomials object in proving key... (mem: 845.34 MiB) 14:03:33 [14:03:33.491] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.34 MiB) 14:03:33 [14:03:33.515] INFO: ivc-integration:test:native bb - time to construct proving key: 173 ms. (mem: 845.34 MiB) 14:03:33 [14:03:33.709] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63ab4cbb5e00 (mem: 845.34 MiB) 14:03:33 computing folding proof (mem: 845.34 MiB) 14:03:33 [14:03:33.710] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 845.34 MiB) 14:03:34 [14:03:34.315] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 14:03:34 [14:03:34.319] INFO: ivc-integration:test:native bb - (mem: 845.34 MiB) 14:03:34 [14:03:34.453] INFO: ivc-integration:test:native bb - perturbator round (mem: 845.34 MiB) 14:03:34 [14:03:34.509] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 846.27 MiB) 14:03:34 [14:03:34.687] INFO: ivc-integration:test:native bb - folded (mem: 846.27 MiB) 14:03:34 [14:03:34.688] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 846.27 MiB) 14:03:34 Largest circuit: 48490 gates. Trace details: (mem: 846.27 MiB) 14:03:34 Minimum required block sizes for structured trace: (mem: 846.27 MiB) 14:03:34 (mem: 846.27 MiB) 14:03:34 prove decider... (mem: 846.27 MiB) 14:03:34 [14:03:34.688] INFO: ivc-integration:test:native bb - ecc_op : 792 14:03:34 busread : 16 14:03:34 lookup : 2 14:03:34 pub_inputs : 36 14:03:34 arithmetic : 12080 14:03:34 delta_range : 2942 14:03:34 elliptic : 2 14:03:34 aux : 350 14:03:34 poseidon2_external : 4942 14:03:34 poseidon2_internal : 28160 14:03:34 overflow : 0 14:03:34 [14:03:34.833] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.27 MiB) 14:03:34 [14:03:34.939] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 14:03:34 [14:03:34.940] INFO: ivc-integration:test:native bb - (mem: 846.27 MiB) 14:03:35 [14:03:35.576] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.27 MiB) 14:03:35 [14:03:35.640] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.27 MiB) 14:03:35 finished decider proving. (mem: 846.27 MiB) 14:03:35 [14:03:35.655] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 846.27 MiB) 14:03:35 [14:03:35.752] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.27 MiB) 14:03:35 [14:03:35.761] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 846.27 MiB) 14:03:35 [14:03:35.851] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.27 MiB) 14:03:35 [14:03:35.925] INFO: ivc-integration:test:native bb - time to construct proving key: 173 ms. 14:03:35 [14:03:35.926] INFO: ivc-integration:test:native bb - (mem: 14:03:35 [14:03:35.926] INFO: ivc-integration:test:native bb - 846.27 14:03:35 [14:03:35.927] INFO: ivc-integration:test:native bb - MiB) 14:03:35 [14:03:35.927] INFO: ivc-integration:test:native bb - 14:03:36 [14:03:36.718] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 846.27 MiB) 14:03:37 [14:03:37.200] INFO: ivc-integration:test:native bb - created oink proof (mem: 846.27 MiB) 14:03:37 [14:03:37.410] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.27 MiB) 14:03:38 [14:03:38.468] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.27 MiB) 14:03:39 [14:03:39.507] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 14:03:39 [14:03:39.508] INFO: ivc-integration:test:native bb - (mem: 14:03:39 [14:03:39.509] INFO: ivc-integration:test:native bb - 846.27 14:03:39 [14:03:39.509] INFO: ivc-integration:test:native bb - MiB) 14:03:39 [14:03:39.509] INFO: ivc-integration:test:native bb - 14:03:39 [14:03:39.547] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.27 MiB) 14:03:39 [14:03:39.548] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 846.27 MiB) 14:03:39 Constructing a Goblin proof with num ultra ops = 2226 (mem: 846.27 MiB) 14:03:39 [14:03:39.863] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 846.27 MiB) 14:03:40 [14:03:40.277] 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: 846.27 MiB) 14:03:40 [14:03:40.300] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 846.27 MiB) 14:03:42 [14:03:42.162] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.27 MiB) 14:03:44 [14:03:44.502] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.27 MiB) 14:03:48 [14:03:48.376] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 846.27 MiB) 14:03:48 prove translator... (mem: 846.27 MiB) 14:03:51 [14:03:51.297] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 14:03:51 [14:03:51.297] INFO: ivc-integration:test:native bb - (mem: 14:03:51 [14:03:51.298] INFO: ivc-integration:test:native bb - 871.05 14:03:51 [14:03:51.298] INFO: ivc-integration:test:native bb - MiB) 14:03:51 [14:03:51.299] INFO: ivc-integration:test:native bb - 14:03:52 [14:03:52.933] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.05 MiB) 14:03:53 [14:03:53.950] INFO: ivc-integration:test:native bb - computed opening proof (mem: 871.05 MiB) 14:03:53 [14:03:53.950] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 871.05 MiB) 14:03:53 [14:03:53.953] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 871.05 MiB) 14:03:53 [14:03:53.970] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.05 MiB) 14:03:53 libra_evals_verified: 1 (mem: 871.05 MiB) 14:03:53 pairing_check_verified: 1 (mem: 871.05 MiB) 14:03:53 Mega verified: 1 (mem: 871.05 MiB) 14:03:54 [14:03:54.017] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.05 MiB) 14:03:54 batch opening verified?: 1 (mem: 872.05 MiB) 14:03:54 [14:03:54.017] INFO: ivc-integration:test:native bb - eccvm consistency check verified?: 1 (mem: 872.05 MiB) 14:03:54 translation masking consistency checked?: 1 (mem: 872.05 MiB) 14:03:54 [14:03:54.033] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 872.05 MiB) 14:03:54 eccvm verified?: 1 (mem: 872.05 MiB) 14:03:54 accumulator construction_verified?: 1 (mem: 14:03:54 [14:03:54.034] INFO: ivc-integration:test:native bb - 872.05 MiB) 14:03:54 translation verified?: 1 (mem: 872.05 MiB) 14:03:54 consistency verified?: 1 (mem: 872.05 MiB) 14:03:54 Goblin verified: 1 (mem: 872.05 MiB) 14:03:54 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-RQaXR5" (mem: 872.05 MiB) 14:03:54 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-RQaXR5" (mem: 872.05 MiB) 14:03:54 BN254 commitment key size: 262144 (mem: 872.05 MiB) 14:03:54 [14:03:54.038] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.05 MiB) 14:03:54 Gate blocks summary: (actual gates / fixed capacity) (mem: 872.05 MiB) 14:03:54 goblin ecc op : 4/1024 (mem: 872.05 MiB) 14:03:54 busread : 3/6000 (mem: 872.05 MiB) 14:03:54 lookups : 2/15000 (mem: 872.05 MiB) 14:03:54 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.05 MiB) 14:03:54 arithmetic : 1773/56000 (mem: 872.05 MiB) 14:03:54 delta range : 1754/18000 (mem: 872.05 MiB) 14:03:54 elliptic : 2/6000 (mem: 872.05 MiB) 14:03:54 auxiliary : 26/26000 (mem: 872.05 MiB) 14:03:54 poseidon ext : 2/17000 (mem: 872.05 MiB) 14:03:54 poseidon int : 2/92000 (mem: 872.05 MiB) 14:03:54 overflow : 0/0 (mem: 872.05 MiB) 14:03:54 (mem: 872.05 MiB) 14:03:54 Total structured size: 242025 (mem: 14:03:54 [14:03:54.039] INFO: ivc-integration:test:native bb - 872.05 14:03:54 [14:03:54.039] INFO: ivc-integration:test:native bb - MiB) 14:03:54 [14:03:54.041] INFO: ivc-integration:test:native bb - 14:03:54 allocating polynomials object in proving key... (mem: 872.05 MiB) 14:03:54 [14:03:54.093] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.05 MiB) 14:03:54 [14:03:54.103] INFO: ivc-integration:test:native bb - time to construct proving key: 67 ms. (mem: 872.05 MiB) 14:03:54 [14:03:54.153] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.05 MiB) 14:03:54 [14:03:54.584] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 872.05 MiB) 14:03:54 [14:03:54.585] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.05 MiB) 14:03:54 [14:03:54.702] INFO: ivc-integration:test:native bb - oink proof constructed 14:03:54 [14:03:54.703] INFO: ivc-integration:test:native bb - (mem: 872.05 MiB) 14:03:54 [14:03:54.710] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.05 MiB) 14:03:54 [14:03:54.725] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.05 MiB) 14:03:54 [14:03:54.728] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.05 MiB) 14:03:54 goblin ecc op : 56/1024 (mem: 872.05 MiB) 14:03:54 busread : 3/6000 (mem: 872.05 MiB) 14:03:54 lookups : 2/15000 (mem: 872.05 MiB) 14:03:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 14:03:54 [14:03:54.729] INFO: ivc-integration:test:native bb - 872.05 MiB) 14:03:54 arithmetic : 4481/56000 (mem: 872.05 MiB) 14:03:54 delta range : 2041/18000 (mem: 872.05 MiB) 14:03:54 elliptic : 2/6000 (mem: 872.05 MiB) 14:03:54 auxiliary : 50/26000 (mem: 872.05 MiB) 14:03:54 poseidon ext : 1312/17000 (mem: 872.05 MiB) 14:03:54 poseidon int : 7469/92000 (mem: 872.05 MiB) 14:03:54 overflow : 0/0 (mem: 872.05 MiB) 14:03:54 (mem: 872.05 MiB) 14:03:54 Total structured size: 242025 (mem: 872.05 MiB) 14:03:54 allocating polynomials object in proving key... (mem: 872.05 MiB) 14:03:54 [14:03:54.778] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.05 MiB) 14:03:54 [14:03:54.791] INFO: ivc-integration:test:native bb - time to construct proving key: 65 ms. (mem: 872.05 MiB) 14:03:54 [14:03:54.826] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.05 MiB) 14:03:55 [14:03:55.356] INFO: ivc-integration:test:native bb - computing folding proof (mem: 872.05 MiB) 14:03:55 [14:03:55.357] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 872.05 MiB) 14:03:55 [14:03:55.648] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 14:03:55 [14:03:55.649] INFO: ivc-integration:test:native bb - 872.05 MiB) 14:03:55 [14:03:55.743] INFO: ivc-integration:test:native bb - perturbator round (mem: 872.05 MiB) 14:03:55 [14:03:55.799] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 904.05 MiB) 14:03:55 [14:03:55.923] INFO: ivc-integration:test:native bb - folded (mem: 904.05 MiB) 14:03:55 constructed folding proof (mem: 904.05 MiB) 14:03:55 [14:03:55.923] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 904.05 MiB) 14:03:55 Minimum required block sizes for structured trace: (mem: 904.05 MiB) 14:03:55 (mem: 904.05 MiB) 14:03:55 prove decider... (mem: 904.05 MiB) 14:03:55 [14:03:55.924] INFO: ivc-integration:test:native bb - ecc_op : 56 14:03:55 busread : 3 14:03:55 lookup : 2 14:03:55 pub_inputs : 36 14:03:55 arithmetic : 4481 14:03:55 delta_range : 2041 14:03:55 elliptic : 2 14:03:55 aux : 50 14:03:55 poseidon2_external : 1312 14:03:55 poseidon2_internal : 7469 14:03:55 overflow : 0 14:03:56 [14:03:56.068] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.05 MiB) 14:03:56 [14:03:56.143] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.05 MiB) 14:03:56 [14:03:56.879] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.05 MiB) 14:03:56 [14:03:56.931] INFO: ivc-integration:test:native bb - computed opening proof (mem: 904.05 MiB) 14:03:56 finished decider proving. (mem: 904.05 MiB) 14:03:56 [14:03:56.945] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 904.05 MiB) 14:03:57 [14:03:57.038] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.05 MiB) 14:03:57 [14:03:57.044] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.05 MiB) 14:03:57 [14:03:57.095] INFO: ivc-integration:test:native bb - populating trace... (mem: 904.05 MiB) 14:03:57 [14:03:57.122] INFO: ivc-integration:test:native bb - time to construct proving key: 83 ms. (mem: 904.05 MiB) 14:03:57 [14:03:57.491] 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-RQaXR5/proof -k /tmp/bb-client-ivc-integration-RQaXR5/vk -v 14:03:57 [14:03:57.513] INFO: ivc-integration:test:native bb command: verify (mem: 191.30 MiB) 14:03:57 [14:03:57.514] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 191.30 MiB) 14:03:57 --proof_path: /tmp/bb-client-ivc-integration-RQaXR5/proof (mem: 191.30 MiB) 14:03:57 --vk_path: /tmp/bb-client-ivc-integration-RQaXR5/vk (mem: 191.30 MiB) 14:03:57 --verbose: true (mem: 191.30 MiB) 14:03:57 --scheme: client_ivc (mem: 191.30 MiB) 14:03:57 [14:03:57.622] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 191.30 MiB) 14:03:57 [14:03:57.642] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 191.30 MiB) 14:03:57 [14:03:57.643] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 191.30 MiB) 14:03:57 [14:03:57.658] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 191.30 MiB) 14:03:57 Initialized BN254 CRS from memory with num points = 1025 (mem: 191.30 MiB) 14:03:57 [14:03:57.658] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 191.30 MiB) 14:03:57 libra_evals_verified: 1 (mem: 191.30 MiB) 14:03:57 pairing_check_verified: 1 (mem: 191.30 MiB) 14:03:57 Mega verified: 1 (mem: 191.30 MiB) 14:03:57 [14:03:57.717] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 191.30 MiB) 14:03:57 batch opening verified?: 1 (mem: 191.30 MiB) 14:03:57 eccvm consistency check verified?: 1 (mem: 191.30 MiB) 14:03:57 translation masking consistency checked?: 1 (mem: 14:03:57 [14:03:57.718] INFO: ivc-integration:test:native 191.30 MiB) 14:03:57 [14:03:57.738] INFO: ivc-integration:test:native merge verified?: 1 (mem: 191.30 MiB) 14:03:57 eccvm verified?: 1 (mem: 191.30 MiB) 14:03:57 accumulator construction_verified?: 1 (mem: 191.30 MiB) 14:03:57 translation verified?: 1 (mem: 191.30 MiB) 14:03:57 consistency verified?: 1 (mem: 191.30 MiB) 14:03:57 Goblin verified: 1 (mem: 191.30 MiB) 14:03:57 [14:03:57.745] INFO: ivc-integration:test:native verified: 1 (mem: 191.30 MiB) 14:03:57 PASS src/native_client_ivc_integration.test.ts (74.037 s) 14:03:57 Client IVC Integration 14:03:57 ✓ Should generate a verifiable client IVC proof from a simple mock tx (40228 ms) 14:03:57 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30215 ms) 14:03:57 14:03:57 Test Suites: 1 passed, 1 total 14:03:57 Tests: 2 passed, 2 total 14:03:57 Snapshots: 0 total 14:03:57 Time: 74.151 s 14:03:57 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 14:03:57 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?