ACI ·

Parent Log: http://ci.aztec-labs.com/fcec035fcb93a883 Command: bdef8c432fe28910: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/a9f91dd1e5946aecfeb192ce869eb3e8eca2742e Env: REF_NAME=gh-readonly-queue/next/pr-15099-a48851a8c6884f4b9615a154f8862a549722d25e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 12:29:03 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15099_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 12:29:07 [12:29:07.672] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-u8M0yA/ivc-inputs.msgpack 12:29:07 [12:29:07.677] 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-u8M0yA --ivc_inputs_path /tmp/bb-client-ivc-integration-u8M0yA/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:29:07 [12:29:07.695] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.31 MiB) 12:29:07 [12:29:07.696] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.31 MiB) 12:29:07 --scheme: client_ivc (mem: 184.31 MiB) 12:29:07 --output_path: /tmp/bb-client-ivc-integration-u8M0yA (mem: 184.31 MiB) 12:29:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-u8M0yA/ivc-inputs.msgpack (mem: 184.31 MiB) 12:29:07 --verbose: true (mem: 184.31 MiB) 12:29:07 --write_vk: true (mem: 184.31 MiB) 12:29:07 BN254 commitment key size: 262144 (mem: 184.31 MiB) 12:29:07 [12:29:07.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: 257.00 MiB) 12:29:07 [12:29:07.893] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 305.48 MiB) 12:29:07 [12:29:07.897] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 305.48 MiB) 12:29:07 Constructing DeciderProvingKey (mem: 305.48 MiB) 12:29:07 [12:29:07.904] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 305.48 MiB) 12:29:07 goblin ecc op : 4/1024 (mem: 305.48 MiB) 12:29:07 busread : 7/6000 (mem: 305.48 MiB) 12:29:07 lookups : 2/15000 (mem: 305.48 MiB) 12:29:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 305.48 MiB) 12:29:07 arithmetic : 1760/56000 (mem: 305.48 MiB) 12:29:07 delta range : 1754/18000 (mem: 305.48 MiB) 12:29:07 elliptic : 2/6000 (mem: 305.48 MiB) 12:29:07 auxiliary : 26/26000 (mem: 305.48 MiB) 12:29:07 poseidon ext : 2/17000 (mem: 305.48 MiB) 12:29:07 poseidon int : 2/92000 (mem: 305.48 MiB) 12:29:07 overflow : 0/0 (mem: 305.48 MiB) 12:29:07 [12:29:07.905] INFO: ivc-integration:test:native bb - 12:29:07 (mem: 305.48 MiB) 12:29:07 Total structured size: 242025 (mem: 305.48 MiB) 12:29:07 allocating polynomials object in proving key... (mem: 305.48 MiB) 12:29:07 [12:29:07.980] INFO: ivc-integration:test:native bb - populating trace... (mem: 504.63 MiB) 12:29:07 [12:29:07.990] INFO: ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 511.63 MiB) 12:29:08 [12:29:08.030] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fe3f76d0440 (mem: 511.63 MiB) 12:29:08 computing oink proof... (mem: 511.63 MiB) 12:29:08 [12:29:08.031] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.63 MiB) 12:29:08 [12:29:08.197] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 518.63 MiB) 12:29:08 [12:29:08.205] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.63 MiB) 12:29:08 [12:29:08.220] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 518.63 MiB) 12:29:08 Constructing DeciderProvingKey (mem: 518.63 MiB) 12:29:08 [12:29:08.225] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 518.63 MiB) 12:29:08 goblin ecc op : 56/1024 (mem: 518.63 MiB) 12:29:08 busread : 12/6000 (mem: 518.63 MiB) 12:29:08 lookups : 2/15000 (mem: 518.63 MiB) 12:29:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 518.63 MiB) 12:29:08 arithmetic : 4625/56000 (mem: 518.63 MiB) 12:29:08 delta range : 2054/18000 (mem: 518.63 MiB) 12:29:08 elliptic : 2/6000 (mem: 518.63 MiB) 12:29:08 auxiliary : 110/26000 (mem: 518.63 MiB) 12:29:08 poseidon ext : 1302/17000 (mem: 518.63 MiB) 12:29:08 poseidon int : 7412/92000 (mem: 518.63 MiB) 12:29:08 overflow : 0/0 (mem: 518.63 MiB) 12:29:08 (mem: 518.63 MiB) 12:29:08 Total structured size: 242025 (mem: 518.63 MiB) 12:29:08 allocating polynomials object in proving key... (mem: 518.63 MiB) 12:29:08 [12:29:08.394] INFO: ivc-integration:test:native bb - populating trace... (mem: 723.63 MiB) 12:29:08 [12:29:08.440] INFO: ivc-integration:test:native bb - time to construct proving key: 218 ms. (mem: 741.63 MiB) 12:29:08 [12:29:08.529] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fe3f76dd100 (mem: 741.63 MiB) 12:29:08 computing folding proof (mem: 741.63 MiB) 12:29:08 [12:29:08.531] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 741.63 MiB) 12:29:09 [12:29:09.070] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 741.63 MiB) 12:29:09 [12:29:09.163] INFO: ivc-integration:test:native bb - perturbator round (mem: 778.63 MiB) 12:29:09 [12:29:09.223] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 810.63 MiB) 12:29:09 [12:29:09.697] INFO: ivc-integration:test:native bb - folded (mem: 810.63 MiB) 12:29:09 constructed folding proof (mem: 810.63 MiB) 12:29:09 [12:29:09.709] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 810.63 MiB) 12:29:09 [12:29:09.809] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 810.63 MiB) 12:29:09 Constructing DeciderProvingKey (mem: 810.63 MiB) 12:29:09 [12:29:09.816] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 810.63 MiB) 12:29:09 goblin ecc op : 392/1024 (mem: 810.63 MiB) 12:29:09 busread : 3/6000 (mem: 810.63 MiB) 12:29:09 lookups : 2/15000 (mem: 810.63 MiB) 12:29:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 810.63 MiB) 12:29:09 arithmetic : 6849/56000 (mem: 810.63 MiB) 12:29:09 delta range : 2333/18000 (mem: 810.63 MiB) 12:29:09 elliptic : 2/6000 (mem: 810.63 MiB) 12:29:09 auxiliary : 50/26000 (mem: 810.63 MiB) 12:29:09 poseidon ext : 2472/17000 (mem: 810.63 MiB) 12:29:09 poseidon int : 14081/92000 (mem: 810.63 MiB) 12:29:09 overflow : 0/0 (mem: 810.63 MiB) 12:29:09 (mem: 810.63 MiB) 12:29:09 Total structured size: 242025 (mem: 810.63 MiB) 12:29:09 allocating polynomials object in proving key... (mem: 810.63 MiB) 12:29:10 [12:29:10.087] INFO: ivc-integration:test:native bb - populating trace... (mem: 810.63 MiB) 12:29:10 [12:29:10.139] INFO: ivc-integration:test:native bb - time to construct proving key: 328 ms. (mem: 810.63 MiB) 12:29:10 [12:29:10.363] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fe3f76d2a80 (mem: 810.63 MiB) 12:29:10 computing folding proof (mem: 810.63 MiB) 12:29:10 [12:29:10.364] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 810.63 MiB) 12:29:10 [12:29:10.869] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 810.63 MiB) 12:29:10 [12:29:10.983] INFO: ivc-integration:test:native bb - perturbator round (mem: 810.63 MiB) 12:29:11 [12:29:11.032] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 810.63 MiB) 12:29:11 [12:29:11.516] INFO: ivc-integration:test:native bb - folded (mem: 810.63 MiB) 12:29:11 [12:29:11.519] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 810.63 MiB) 12:29:11 [12:29:11.523] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 810.63 MiB) 12:29:11 Minimum required block sizes for structured trace: (mem: 810.63 MiB) 12:29:11 (mem: 810.63 MiB) 12:29:11 prove decider... (mem: 810.63 MiB) 12:29:11 [12:29:11.528] INFO: ivc-integration:test:native bb - ecc_op : 392 12:29:11 busread : 12 12:29:11 lookup : 2 12:29:11 pub_inputs : 36 12:29:11 arithmetic : 6849 12:29:11 delta_range : 2333 12:29:11 elliptic : 2 12:29:11 aux : 110 12:29:11 poseidon2_external : 2472 12:29:11 poseidon2_internal : 14081 12:29:11 overflow : 0 12:29:11 [12:29:11.816] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 12:29:11 [12:29:11.822] INFO: ivc-integration:test:native bb - (mem: 810.63 MiB) 12:29:12 [12:29:12.036] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 810.63 MiB) 12:29:13 [12:29:13.100] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 810.63 MiB) 12:29:13 [12:29:13.234] INFO: ivc-integration:test:native bb - computed opening proof (mem: 810.63 MiB) 12:29:13 finished decider proving. (mem: 810.63 MiB) 12:29:13 [12:29:13.251] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 810.63 MiB) 12:29:13 [12:29:13.379] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 810.63 MiB) 12:29:13 [12:29:13.383] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 12:29:13 [12:29:13.385] INFO: ivc-integration:test:native bb - (mem: 810.63 MiB) 12:29:13 [12:29:13.580] INFO: ivc-integration:test:native bb - populating trace... (mem: 810.63 MiB) 12:29:13 [12:29:13.634] INFO: ivc-integration:test:native bb - time to construct proving key: 258 ms. (mem: 810.63 MiB) 12:29:14 [12:29:14.848] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 810.63 MiB) 12:29:15 [12:29:15.509] INFO: ivc-integration:test:native bb - created oink proof 12:29:15 [12:29:15.510] INFO: ivc-integration:test:native bb - (mem: 12:29:15 [12:29:15.510] INFO: ivc-integration:test:native bb - 810.63 12:29:15 [12:29:15.511] INFO: ivc-integration:test:native bb - MiB) 12:29:15 [12:29:15.511] INFO: ivc-integration:test:native bb - 12:29:15 [12:29:15.872] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 810.63 MiB) 12:29:17 [12:29:17.213] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 810.63 MiB) 12:29:18 [12:29:18.127] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 12:29:18 [12:29:18.128] INFO: ivc-integration:test:native bb - 810.63 MiB) 12:29:18 [12:29:18.165] INFO: ivc-integration:test:native bb - computed opening proof (mem: 810.63 MiB) 12:29:18 finished decider proving. (mem: 810.63 MiB) 12:29:18 Constructing a Goblin proof with num ultra ops = 1038 (mem: 810.63 MiB) 12:29:18 [12:29:18.386] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 810.63 MiB) 12:29:18 [12:29:18.884] 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: 810.63 MiB) 12:29:18 [12:29:18.898] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 810.63 MiB) 12:29:20 [12:29:20.982] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 810.63 MiB) 12:29:23 [12:29:23.368] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 810.63 MiB) 12:29:28 [12:29:28.327] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 810.63 MiB) 12:29:28 prove translator... (mem: 810.63 MiB) 12:29:30 [12:29:30.737] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.55 MiB) 12:29:33 [12:29:33.344] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 12:29:33 [12:29:33.345] INFO: ivc-integration:test:native bb - (mem: 845.55 MiB) 12:29:35 [12:29:35.610] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.55 MiB) 12:29:35 finished translator proving. (mem: 845.55 MiB) 12:29:35 [12:29:35.613] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 845.55 MiB) 12:29:35 [12:29:35.635] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 12:29:35 [12:29:35.637] INFO: ivc-integration:test:native bb - (mem: 845.55 MiB) 12:29:35 libra_evals_verified: 1 (mem: 845.55 MiB) 12:29:35 pairing_check_verified: 1 (mem: 845.55 MiB) 12:29:35 Mega verified: 1 (mem: 845.55 MiB) 12:29:35 [12:29:35.734] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 846.55 MiB) 12:29:35 batch opening verified?: 1 (mem: 846.55 MiB) 12:29:35 eccvm consistency check verified?: 1 (mem: 846.55 MiB) 12:29:35 translation masking consistency checked?: 1 (mem: 846.55 MiB) 12:29:35 [12:29:35.797] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 846.55 MiB) 12:29:35 eccvm verified?: 1 (mem: 846.55 MiB) 12:29:35 accumulator construction_verified?: 1 (mem: 846.55 MiB) 12:29:35 translation verified?: 1 (mem: 846.55 MiB) 12:29:35 consistency verified?: 1 (mem: 846.55 MiB) 12:29:35 Goblin verified: 1 (mem: 12:29:35 [12:29:35.799] INFO: ivc-integration:test:native bb - 846.55 MiB) 12:29:35 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-u8M0yA" (mem: 846.55 MiB) 12:29:35 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-u8M0yA" (mem: 846.55 MiB) 12:29:35 BN254 commitment key size: 262144 (mem: 846.55 MiB) 12:29:35 [12:29:35.800] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.55 MiB) 12:29:35 [12:29:35.805] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.55 MiB) 12:29:35 goblin ecc op : 4/1024 (mem: 846.55 MiB) 12:29:35 busread : 3/6000 (mem: 846.55 MiB) 12:29:35 lookups : 2/15000 (mem: 846.55 MiB) 12:29:35 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.55 MiB) 12:29:35 [12:29:35.808] INFO: ivc-integration:test:native bb - arithmetic : 1773/56000 (mem: 846.55 MiB) 12:29:35 delta range : 1754/18000 (mem: 846.55 MiB) 12:29:35 elliptic : 2/6000 (mem: 846.55 MiB) 12:29:35 auxiliary : 26/26000 (mem: 846.55 MiB) 12:29:35 poseidon ext : 2/17000 (mem: 846.55 MiB) 12:29:35 poseidon int : 2/92000 (mem: 846.55 MiB) 12:29:35 overflow : 0/0 (mem: 846.55 MiB) 12:29:35 (mem: 846.55 MiB) 12:29:35 Total structured size: 242025 (mem: 846.55 MiB) 12:29:35 allocating polynomials object in proving key... (mem: 846.55 MiB) 12:29:36 [12:29:36.119] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.55 MiB) 12:29:36 [12:29:36.156] INFO: ivc-integration:test:native bb - time to construct proving key: 355 ms. (mem: 846.55 MiB) 12:29:36 [12:29:36.375] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.55 MiB) 12:29:37 [12:29:37.442] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 846.55 MiB) 12:29:37 [12:29:37.444] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.55 MiB) 12:29:37 [12:29:37.851] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 846.55 MiB) 12:29:37 [12:29:37.860] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.55 MiB) 12:29:37 [12:29:37.875] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.55 MiB) 12:29:37 [12:29:37.877] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 12:29:37 [12:29:37.877] INFO: ivc-integration:test:native bb - (mem: 12:29:37 [12:29:37.879] INFO: ivc-integration:test:native bb - 846.55 MiB) 12:29:37 goblin ecc op : 56/1024 (mem: 846.55 MiB) 12:29:37 busread : 3/6000 (mem: 846.55 MiB) 12:29:37 lookups : 2/15000 (mem: 846.55 MiB) 12:29:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.55 MiB) 12:29:37 arithmetic : 4481/56000 (mem: 846.55 MiB) 12:29:37 delta range : 2041/18000 (mem: 846.55 MiB) 12:29:37 elliptic : 2/6000 (mem: 846.55 MiB) 12:29:37 auxiliary : 50/26000 (mem: 846.55 MiB) 12:29:37 poseidon ext : 1312/17000 (mem: 846.55 MiB) 12:29:37 poseidon int : 7469/92000 (mem: 846.55 MiB) 12:29:37 overflow : 0/0 (mem: 846.55 MiB) 12:29:37 (mem: 846.55 MiB) 12:29:37 Total structured size: 242025 (mem: 846.55 MiB) 12:29:37 allocating polynomials object in proving key... (mem: 846.55 MiB) 12:29:38 [12:29:38.047] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.55 MiB) 12:29:38 [12:29:38.082] INFO: ivc-integration:test:native bb - time to construct proving key: 208 ms. (mem: 846.55 MiB) 12:29:38 [12:29:38.306] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.55 MiB) 12:29:39 [12:29:39.052] INFO: ivc-integration:test:native bb - computing folding proof (mem: 846.55 MiB) 12:29:39 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 846.55 MiB) 12:29:39 [12:29:39.771] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.55 MiB) 12:29:39 [12:29:39.923] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.55 MiB) 12:29:40 [12:29:40.011] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 880.55 MiB) 12:29:40 [12:29:40.382] INFO: ivc-integration:test:native bb - folded (mem: 880.55 MiB) 12:29:40 constructed folding proof (mem: 880.55 MiB) 12:29:40 Largest circuit: 15360 gates. Trace details: (mem: 880.55 MiB) 12:29:40 Minimum required block sizes for structured trace: (mem: 880.55 MiB) 12:29:40 (mem: 880.55 MiB) 12:29:40 prove decider... (mem: 880.55 MiB) 12:29:40 [12:29:40.384] INFO: ivc-integration:test:native bb - ecc_op : 56 12:29:40 busread : 3 12:29:40 lookup : 2 12:29:40 pub_inputs : 36 12:29:40 arithmetic : 4481 12:29:40 delta_range : 2041 12:29:40 elliptic : 2 12:29:40 aux : 50 12:29:40 poseidon2_external : 1312 12:29:40 poseidon2_internal : 7469 12:29:40 overflow : 0 12:29:40 [12:29:40.666] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 880.55 MiB) 12:29:40 [12:29:40.980] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 880.55 MiB) 12:29:42 [12:29:42.097] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.55 MiB) 12:29:42 [12:29:42.180] INFO: ivc-integration:test:native bb - computed opening proof (mem: 880.55 MiB) 12:29:42 finished decider proving. (mem: 880.55 MiB) 12:29:42 [12:29:42.193] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 880.55 MiB) 12:29:42 [12:29:42.327] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 880.55 MiB) 12:29:42 [12:29:42.332] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 12:29:42 [12:29:42.334] INFO: ivc-integration:test:native bb - (mem: 880.55 MiB) 12:29:42 [12:29:42.469] INFO: ivc-integration:test:native bb - populating trace... 12:29:42 [12:29:42.470] INFO: ivc-integration:test:native bb - (mem: 880.55 MiB) 12:29:42 [12:29:42.529] INFO: ivc-integration:test:native bb - time to construct proving key: 203 ms. (mem: 880.55 MiB) 12:29:43 [12:29:43.198] 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-u8M0yA/proof -k /tmp/bb-client-ivc-integration-u8M0yA/vk -v 12:29:43 [12:29:43.223] INFO: ivc-integration:test:native bb command: verify (mem: 184.31 MiB) 12:29:43 Scheme is: client_ivc, num threads: 128 (mem: 184.31 MiB) 12:29:43 --proof_path: /tmp/bb-client-ivc-integration-u8M0yA/proof (mem: 184.31 MiB) 12:29:43 --vk_path: /tmp/bb-client-ivc-integration-u8M0yA/vk (mem: 184.31 MiB) 12:29:43 --verbose: true (mem: 184.31 MiB) 12:29:43 --scheme: client_ivc (mem: 184.31 MiB) 12:29:43 [12:29:43.363] 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.31 MiB) 12:29:43 [12:29:43.383] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.31 MiB) 12:29:43 [12:29:43.385] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 184.31 MiB) 12:29:43 [12:29:43.403] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.31 MiB) 12:29:43 Initialized BN254 CRS from memory with num points = 1025 (mem: 184.31 MiB) 12:29:43 [12:29:43.405] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 184.31 MiB) 12:29:43 libra_evals_verified: 1 (mem: 184.31 MiB) 12:29:43 pairing_check_verified: 1 (mem: 184.31 MiB) 12:29:43 Mega verified: 1 (mem: 184.31 MiB) 12:29:43 [12:29:43.493] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.31 MiB) 12:29:43 batch opening verified?: 1 (mem: 184.31 MiB) 12:29:43 [12:29:43.495] INFO: ivc-integration:test:native eccvm consistency check verified?: 1 (mem: 184.31 MiB) 12:29:43 translation masking consistency checked?: 1 (mem: 184.31 MiB) 12:29:43 [12:29:43.523] INFO: ivc-integration:test:native merge verified?: 1 (mem: 184.31 MiB) 12:29:43 eccvm verified?: 1 (mem: 184.31 MiB) 12:29:43 accumulator construction_verified?: 1 (mem: 184.31 12:29:43 [12:29:43.524] INFO: ivc-integration:test:native MiB) 12:29:43 translation verified?: 1 (mem: 184.31 MiB) 12:29:43 consistency verified?: 1 (mem: 184.31 MiB) 12:29:43 Goblin verified: 1 (mem: 184.31 MiB) 12:29:43 [12:29:43.531] INFO: ivc-integration:test:native verified: 1 (mem: 184.31 MiB) 12:29:43 [12:29:43.654] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ZZnjkb/ivc-inputs.msgpack 12:29:43 [12:29:43.656] 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-ZZnjkb --ivc_inputs_path /tmp/bb-client-ivc-integration-ZZnjkb/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:29:43 [12:29:43.702] INFO: ivc-integration:test:native bb - bb command: prove (mem: 185.64 MiB) 12:29:43 Scheme is: client_ivc, num threads: 128 (mem: 185.64 MiB) 12:29:43 --scheme: client_ivc (mem: 185.64 MiB) 12:29:43 --output_path: /tmp/bb-client-ivc-integration-ZZnjkb (mem: 185.64 MiB) 12:29:43 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ZZnjkb/ivc-inputs.msgpack (mem: 185.64 MiB) 12:29:43 --verbose: true (mem: 185.64 MiB) 12:29:43 --write_vk: true (mem: 185.64 MiB) 12:29:43 [12:29:43.708] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 12:29:43 [12:29:43.714] INFO: ivc-integration:test:native bb - (mem: 185.64 MiB) 12:29:43 [12:29:43.854] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 270.00 MiB) 12:29:43 [12:29:43.945] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 318.00 MiB) 12:29:43 [12:29:43.950] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 12:29:43 [12:29:43.951] INFO: ivc-integration:test:native bb - (mem: 12:29:43 [12:29:43.952] INFO: ivc-integration:test:native bb - 318.00 12:29:43 [12:29:43.952] INFO: ivc-integration:test:native bb - MiB) 12:29:43 [12:29:43.952] INFO: ivc-integration:test:native bb - 12:29:43 [12:29:43.954] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 318.00 MiB) 12:29:43 [12:29:43.961] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 318.00 MiB) 12:29:43 goblin ecc op : 4/1024 (mem: 318.00 MiB) 12:29:43 busread : 7/6000 (mem: 318.00 MiB) 12:29:43 lookups : 2/15000 (mem: 318.00 MiB) 12:29:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 318.00 MiB) 12:29:43 arithmetic : 1760/56000 (mem: 318.00 MiB) 12:29:43 delta range : 1754/18000 (mem: 318.00 MiB) 12:29:43 elliptic : 2/6000 (mem: 318.00 MiB) 12:29:43 auxiliary : 26/26000 (mem: 318.00 MiB) 12:29:43 poseidon ext : 2/17000 (mem: 318.00 MiB) 12:29:43 poseidon int : 2/92000 (mem: 318.00 MiB) 12:29:43 overflow : 0/0 (mem: 318.00 MiB) 12:29:43 (mem: 318.00 MiB) 12:29:43 Total structured size: 242025 (mem: 318.00 MiB) 12:29:43 allocating polynomials object in proving key... (mem: 318.00 MiB) 12:29:44 [12:29:44.225] INFO: ivc-integration:test:native bb - populating trace... (mem: 503.12 MiB) 12:29:44 [12:29:44.249] INFO: ivc-integration:test:native bb - time to construct proving key: 294 ms. (mem: 512.12 MiB) 12:29:44 [12:29:44.318] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6530f6f02240 (mem: 512.12 MiB) 12:29:44 [12:29:44.319] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 512.12 MiB) 12:29:44 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.12 MiB) 12:29:44 [12:29:44.705] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 520.12 MiB) 12:29:44 [12:29:44.719] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.12 MiB) 12:29:44 [12:29:44.733] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.12 MiB) 12:29:44 Constructing DeciderProvingKey (mem: 520.12 MiB) 12:29:44 [12:29:44.738] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 520.12 MiB) 12:29:44 goblin ecc op : 56/1024 (mem: 520.12 MiB) 12:29:44 busread : 12/6000 (mem: 520.12 MiB) 12:29:44 lookups : 2/15000 (mem: 520.12 MiB) 12:29:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.12 MiB) 12:29:44 arithmetic : 4625/56000 (mem: 520.12 MiB) 12:29:44 delta range : 2054/18000 (mem: 520.12 MiB) 12:29:44 elliptic : 2/6000 (mem: 520.12 MiB) 12:29:44 auxiliary : 110/26000 (mem: 520.12 MiB) 12:29:44 poseidon ext : 1302/17000 (mem: 520.12 MiB) 12:29:44 poseidon int : 7412/92000 (mem: 520.12 MiB) 12:29:44 overflow : 0/0 (mem: 520.12 MiB) 12:29:44 (mem: 520.12 MiB) 12:29:44 Total structured size: 242025 (mem: 520.12 MiB) 12:29:44 allocating polynomials object in proving key... (mem: 520.12 MiB) 12:29:44 [12:29:44.874] INFO: ivc-integration:test:native bb - populating trace... (mem: 727.12 MiB) 12:29:44 [12:29:44.897] INFO: ivc-integration:test:native bb - time to construct proving key: 163 ms. (mem: 745.12 MiB) 12:29:45 [12:29:45.008] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6530f6f0b480 (mem: 745.12 MiB) 12:29:45 computing folding proof (mem: 745.12 MiB) 12:29:45 [12:29:45.010] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 745.12 MiB) 12:29:45 [12:29:45.557] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.12 MiB) 12:29:45 [12:29:45.667] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.12 MiB) 12:29:45 [12:29:45.752] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.12 MiB) 12:29:46 [12:29:46.326] INFO: ivc-integration:test:native bb - folded (mem: 819.12 MiB) 12:29:46 [12:29:46.327] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 819.12 MiB) 12:29:46 [12:29:46.331] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.12 MiB) 12:29:46 Constructing DeciderProvingKey (mem: 819.12 MiB) 12:29:46 [12:29:46.337] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.12 MiB) 12:29:46 goblin ecc op : 4/1024 (mem: 819.12 MiB) 12:29:46 busread : 7/6000 (mem: 819.12 MiB) 12:29:46 lookups : 2/15000 (mem: 819.12 MiB) 12:29:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 819.12 MiB) 12:29:46 arithmetic : 1760/56000 (mem: 819.12 MiB) 12:29:46 delta range : 1754/18000 (mem: 819.12 MiB) 12:29:46 elliptic : 2/6000 (mem: 819.12 MiB) 12:29:46 auxiliary : 26/26000 (mem: 819.12 MiB) 12:29:46 poseidon ext : 2/17000 (mem: 819.12 MiB) 12:29:46 poseidon int : 2/92000 (mem: 819.12 MiB) 12:29:46 overflow : 0/0 (mem: 819.12 MiB) 12:29:46 (mem: 819.12 MiB) 12:29:46 Total structured size: 242025 (mem: 819.12 MiB) 12:29:46 allocating polynomials object in proving key... (mem: 819.12 MiB) 12:29:46 [12:29:46.416] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.12 MiB) 12:29:46 [12:29:46.427] INFO: ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 819.12 MiB) 12:29:46 [12:29:46.517] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6530f6efddc0 (mem: 819.12 MiB) 12:29:46 [12:29:46.518] INFO: ivc-integration:test:native bb - computing folding proof (mem: 819.12 MiB) 12:29:46 [12:29:46.518] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.12 MiB) 12:29:47 [12:29:47.035] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.12 MiB) 12:29:47 [12:29:47.121] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.12 MiB) 12:29:47 [12:29:47.177] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.68 MiB) 12:29:47 [12:29:47.549] INFO: ivc-integration:test:native bb - folded (mem: 819.68 MiB) 12:29:47 constructed folding proof (mem: 819.68 MiB) 12:29:47 [12:29:47.561] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 819.68 MiB) 12:29:47 [12:29:47.639] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.68 MiB) 12:29:47 [12:29:47.706] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 819.68 MiB) 12:29:47 Constructing DeciderProvingKey (mem: 819.68 MiB) 12:29:47 [12:29:47.711] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.68 MiB) 12:29:47 goblin ecc op : 792/1024 (mem: 819.68 MiB) 12:29:47 [12:29:47.712] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 819.68 MiB) 12:29:47 lookups : 2/15000 (mem: 819.68 MiB) 12:29:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 819.68 MiB) 12:29:47 arithmetic : 12080/56000 (mem: 819.68 MiB) 12:29:47 delta range : 2942/18000 (mem: 819.68 MiB) 12:29:47 elliptic : 2/6000 (mem: 819.68 MiB) 12:29:47 auxiliary : 350/26000 (mem: 819.68 MiB) 12:29:47 poseidon ext : 4942/17000 (mem: 819.68 MiB) 12:29:47 poseidon int : 28160/92000 (mem: 819.68 MiB) 12:29:47 overflow : 0/0 (mem: 819.68 MiB) 12:29:47 (mem: 819.68 MiB) 12:29:47 Total structured size: 242025 (mem: 819.68 MiB) 12:29:47 allocating polynomials object in proving key... (mem: 819.68 MiB) 12:29:47 [12:29:47.825] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.68 MiB) 12:29:47 [12:29:47.878] INFO: ivc-integration:test:native bb - time to construct proving key: 171 ms. (mem: 819.68 MiB) 12:29:47 [12:29:47.975] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6530f6f02a80 (mem: 819.68 MiB) 12:29:47 computing folding proof (mem: 819.68 12:29:47 [12:29:47.975] INFO: ivc-integration:test:native bb - MiB) 12:29:47 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 819.68 MiB) 12:29:48 [12:29:48.367] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.68 MiB) 12:29:48 [12:29:48.483] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.68 MiB) 12:29:48 [12:29:48.564] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.71 MiB) 12:29:48 [12:29:48.887] INFO: ivc-integration:test:native bb - folded (mem: 847.71 MiB) 12:29:48 constructed folding proof (mem: 847.71 MiB) 12:29:48 [12:29:48.905] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 847.71 MiB) 12:29:48 [12:29:48.992] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.71 MiB) 12:29:48 Constructing DeciderProvingKey (mem: 847.71 MiB) 12:29:48 [12:29:48.999] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.71 MiB) 12:29:48 goblin ecc op : 392/1024 (mem: 847.71 MiB) 12:29:48 busread : 16/6000 (mem: 847.71 MiB) 12:29:48 lookups : 2/15000 (mem: 847.71 MiB) 12:29:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.71 MiB) 12:29:48 arithmetic : 6914/56000 (mem: 847.71 MiB) 12:29:48 delta range : 2347/18000 (mem: 847.71 MiB) 12:29:48 elliptic : 2/6000 (mem: 847.71 MiB) 12:29:48 auxiliary : 77/26000 (mem: 847.71 MiB) 12:29:48 poseidon ext : 2472/17000 (mem: 847.71 MiB) 12:29:48 poseidon int : 14081/92000 (mem: 847.71 MiB) 12:29:48 overflow : 0/0 (mem: 847.71 MiB) 12:29:48 (mem: 847.71 MiB) 12:29:49 Total structured size: 242025 (mem: 847.71 MiB) 12:29:49 allocating polynomials object in proving key... (mem: 847.71 MiB) 12:29:49 [12:29:49.155] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.71 MiB) 12:29:49 [12:29:49.193] INFO: ivc-integration:test:native bb - time to construct proving key: 201 ms. (mem: 847.71 MiB) 12:29:49 [12:29:49.500] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6530f6f7f180 (mem: 847.71 MiB) 12:29:49 computing folding proof (mem: 847.71 MiB) 12:29:49 [12:29:49.501] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 847.71 MiB) 12:29:50 [12:29:50.117] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.71 MiB) 12:29:50 [12:29:50.251] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.71 MiB) 12:29:50 [12:29:50.326] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 848.06 MiB) 12:29:50 [12:29:50.782] INFO: ivc-integration:test:native bb - folded (mem: 848.06 MiB) 12:29:50 constructed folding proof (mem: 848.06 MiB) 12:29:50 [12:29:50.792] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 848.06 MiB) 12:29:50 [12:29:50.851] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 848.06 MiB) 12:29:50 Constructing DeciderProvingKey (mem: 848.06 MiB) 12:29:50 [12:29:50.855] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.06 MiB) 12:29:50 goblin ecc op : 392/1024 (mem: 848.06 MiB) 12:29:50 busread : 3/6000 (mem: 848.06 MiB) 12:29:50 lookups : 2/15000 (mem: 848.06 MiB) 12:29:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.06 MiB) 12:29:50 arithmetic : 6849/56000 (mem: 848.06 MiB) 12:29:50 delta range : 2333/18000 (mem: 848.06 MiB) 12:29:50 elliptic : 2/6000 (mem: 848.06 MiB) 12:29:50 auxiliary : 50/26000 (mem: 848.06 MiB) 12:29:50 poseidon ext : 2472/17000 (mem: 848.06 MiB) 12:29:50 poseidon int : 14081/92000 (mem: 848.06 MiB) 12:29:50 overflow : 0/0 (mem: 848.06 MiB) 12:29:50 (mem: 848.06 MiB) 12:29:50 Total structured size: 242025 (mem: 848.06 MiB) 12:29:50 allocating polynomials object in proving key... (mem: 848.06 MiB) 12:29:51 [12:29:51.015] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.06 MiB) 12:29:51 [12:29:51.040] INFO: ivc-integration:test:native bb - time to construct proving key: 188 ms. (mem: 848.06 MiB) 12:29:51 [12:29:51.202] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6530f6f66e00 (mem: 848.06 MiB) 12:29:51 computing folding proof (mem: 848.06 MiB) 12:29:51 [12:29:51.204] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 848.06 MiB) 12:29:51 [12:29:51.588] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 12:29:51 [12:29:51.595] INFO: ivc-integration:test:native bb - (mem: 848.06 MiB) 12:29:51 [12:29:51.699] INFO: ivc-integration:test:native bb - perturbator round (mem: 848.06 MiB) 12:29:51 [12:29:51.772] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 848.19 MiB) 12:29:52 [12:29:52.020] INFO: ivc-integration:test:native bb - folded (mem: 848.19 MiB) 12:29:52 constructed folding proof (mem: 848.19 MiB) 12:29:52 [12:29:52.021] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 848.19 MiB) 12:29:52 Minimum required block sizes for structured trace: (mem: 848.19 MiB) 12:29:52 (mem: 848.19 MiB) 12:29:52 prove decider... (mem: 848.19 MiB) 12:29:52 [12:29:52.021] INFO: ivc-integration:test:native bb - ecc_op : 792 12:29:52 busread : 16 12:29:52 lookup : 2 12:29:52 pub_inputs : 36 12:29:52 arithmetic : 12080 12:29:52 delta_range : 2942 12:29:52 elliptic : 2 12:29:52 aux : 350 12:29:52 poseidon2_external : 4942 12:29:52 poseidon2_internal : 28160 12:29:52 overflow : 0 12:29:52 [12:29:52.105] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.19 MiB) 12:29:52 [12:29:52.228] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.19 MiB) 12:29:52 [12:29:52.994] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 848.19 MiB) 12:29:53 [12:29:53.070] INFO: ivc-integration:test:native bb - computed opening proof (mem: 848.19 MiB) 12:29:53 finished decider proving. (mem: 848.19 MiB) 12:29:53 [12:29:53.095] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 848.19 MiB) 12:29:53 [12:29:53.198] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.19 MiB) 12:29:53 [12:29:53.205] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 848.19 MiB) 12:29:53 [12:29:53.280] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.19 MiB) 12:29:53 [12:29:53.315] INFO: ivc-integration:test:native bb - time to construct proving key: 116 ms. (mem: 848.19 MiB) 12:29:53 [12:29:53.853] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 848.19 MiB) 12:29:54 [12:29:54.254] INFO: ivc-integration:test:native bb - created oink proof (mem: 848.19 MiB) 12:29:54 [12:29:54.550] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.19 MiB) 12:29:55 [12:29:55.206] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.19 MiB) 12:29:55 [12:29:55.964] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 848.19 MiB) 12:29:56 [12:29:56.012] INFO: ivc-integration:test:native bb - computed opening proof (mem: 848.19 MiB) 12:29:56 finished decider proving. (mem: 848.19 MiB) 12:29:56 Constructing a Goblin proof with num ultra ops = 2226 (mem: 848.19 MiB) 12:29:56 [12:29:56.314] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 848.19 MiB) 12:29:56 [12:29:56.805] 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: 848.19 MiB) 12:29:56 [12:29:56.819] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 848.19 MiB) 12:29:58 [12:29:58.598] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.19 MiB) 12:29:59 [12:29:59.932] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.19 MiB) 12:30:04 [12:30:04.095] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 848.19 MiB) 12:30:04 prove translator... (mem: 848.19 MiB) 12:30:07 [12:30:07.100] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 868.36 MiB) 12:30:09 [12:30:09.001] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 868.36 MiB) 12:30:10 [12:30:10.314] INFO: ivc-integration:test:native bb - computed opening proof (mem: 868.36 MiB) 12:30:10 finished translator proving. (mem: 868.36 MiB) 12:30:10 [12:30:10.316] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 868.36 MiB) 12:30:10 [12:30:10.337] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 868.36 MiB) 12:30:10 libra_evals_verified: 1 (mem: 868.36 MiB) 12:30:10 pairing_check_verified: 1 (mem: 868.36 MiB) 12:30:10 Mega verified: 1 12:30:10 [12:30:10.337] INFO: ivc-integration:test:native bb - (mem: 868.36 MiB) 12:30:10 [12:30:10.422] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 868.36 MiB) 12:30:10 batch opening verified?: 1 (mem: 868.36 MiB) 12:30:10 eccvm consistency check verified?: 1 (mem: 868.36 MiB) 12:30:10 translation masking consistency checked?: 1 (mem: 868.36 MiB) 12:30:10 [12:30:10.440] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 868.36 MiB) 12:30:10 eccvm verified?: 1 (mem: 868.36 MiB) 12:30:10 accumulator construction_verified?: 1 (mem: 868.36 MiB) 12:30:10 translation verified?: 1 (mem: 868.36 MiB) 12:30:10 consistency verified?: 1 (mem: 868.36 MiB) 12:30:10 [12:30:10.442] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 868.36 MiB) 12:30:10 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ZZnjkb" (mem: 868.36 MiB) 12:30:10 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ZZnjkb" (mem: 868.36 MiB) 12:30:10 BN254 commitment key size: 262144 (mem: 868.36 MiB) 12:30:10 [12:30:10.443] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.36 MiB) 12:30:10 [12:30:10.446] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.36 MiB) 12:30:10 goblin ecc op : 4/1024 (mem: 868.36 MiB) 12:30:10 [12:30:10.446] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 868.36 MiB) 12:30:10 lookups : 2/15000 (mem: 868.36 MiB) 12:30:10 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 868.36 MiB) 12:30:10 arithmetic : 1773/56000 (mem: 868.36 MiB) 12:30:10 delta range : 1754/18000 (mem: 868.36 MiB) 12:30:10 elliptic : 2/6000 (mem: 868.36 MiB) 12:30:10 auxiliary : 26/26000 (mem: 868.36 MiB) 12:30:10 poseidon ext : 2/17000 (mem: 868.36 MiB) 12:30:10 poseidon int : 2/92000 (mem: 868.36 MiB) 12:30:10 overflow : 0/0 (mem: 868.36 MiB) 12:30:10 (mem: 868.36 MiB) 12:30:10 Total structured size: 242025 (mem: 868.36 MiB) 12:30:10 allocating polynomials object in proving key... (mem: 868.36 MiB) 12:30:10 [12:30:10.535] INFO: ivc-integration:test:native bb - populating trace... (mem: 868.36 MiB) 12:30:10 [12:30:10.564] INFO: ivc-integration:test:native bb - time to construct proving key: 117 ms. (mem: 868.36 MiB) 12:30:10 [12:30:10.599] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.36 MiB) 12:30:11 [12:30:11.425] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 868.36 MiB) 12:30:11 [12:30:11.426] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.36 MiB) 12:30:11 [12:30:11.542] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 868.36 MiB) 12:30:11 [12:30:11.548] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.36 MiB) 12:30:11 [12:30:11.564] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.36 MiB) 12:30:11 [12:30:11.567] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 868.36 MiB) 12:30:11 goblin ecc op : 56/1024 (mem: 868.36 MiB) 12:30:11 busread : 3/6000 (mem: 868.36 MiB) 12:30:11 lookups : 2/15000 (mem: 868.36 MiB) 12:30:11 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 868.36 MiB) 12:30:11 arithmetic : 4481/56000 (mem: 868.36 MiB) 12:30:11 delta range : 2041/18000 (mem: 868.36 MiB) 12:30:11 elliptic : 2/6000 (mem: 12:30:11 [12:30:11.568] INFO: ivc-integration:test:native bb - 868.36 MiB) 12:30:11 auxiliary : 50/26000 (mem: 868.36 MiB) 12:30:11 poseidon ext : 1312/17000 (mem: 868.36 MiB) 12:30:11 poseidon int : 7469/92000 (mem: 868.36 MiB) 12:30:11 overflow : 0/0 (mem: 868.36 MiB) 12:30:11 (mem: 868.36 MiB) 12:30:11 Total structured size: 242025 (mem: 868.36 MiB) 12:30:11 allocating polynomials object in proving key... (mem: 868.36 MiB) 12:30:11 [12:30:11.604] INFO: ivc-integration:test:native bb - populating trace... (mem: 868.36 MiB) 12:30:11 [12:30:11.618] INFO: ivc-integration:test:native bb - time to construct proving key: 54 ms. (mem: 868.36 MiB) 12:30:11 [12:30:11.665] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.36 MiB) 12:30:12 [12:30:12.207] INFO: ivc-integration:test:native bb - computing folding proof (mem: 868.36 MiB) 12:30:12 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 868.36 MiB) 12:30:12 [12:30:12.437] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 868.36 MiB) 12:30:12 [12:30:12.501] INFO: ivc-integration:test:native bb - perturbator round (mem: 868.36 MiB) 12:30:12 [12:30:12.539] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 901.36 MiB) 12:30:12 [12:30:12.652] INFO: ivc-integration:test:native bb - folded (mem: 901.36 MiB) 12:30:12 constructed folding proof (mem: 901.36 MiB) 12:30:12 [12:30:12.653] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 901.36 MiB) 12:30:12 Minimum required block sizes for structured trace: (mem: 901.36 MiB) 12:30:12 (mem: 901.36 MiB) 12:30:12 prove decider... (mem: 901.36 MiB) 12:30:12 [12:30:12.653] INFO: ivc-integration:test:native bb - ecc_op : 56 12:30:12 busread : 3 12:30:12 lookup : 2 12:30:12 pub_inputs : 36 12:30:12 arithmetic : 4481 12:30:12 delta_range : 2041 12:30:12 elliptic : 2 12:30:12 aux : 50 12:30:12 poseidon2_external : 1312 12:30:12 poseidon2_internal : 7469 12:30:12 overflow : 0 12:30:12 [12:30:12.719] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 901.36 MiB) 12:30:12 [12:30:12.780] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 901.36 MiB) 12:30:13 [12:30:13.172] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 901.36 MiB) 12:30:13 [12:30:13.262] INFO: ivc-integration:test:native bb - computed opening proof (mem: 901.36 MiB) 12:30:13 finished decider proving. (mem: 901.36 MiB) 12:30:13 [12:30:13.276] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 901.36 MiB) 12:30:13 [12:30:13.387] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 901.36 MiB) 12:30:13 [12:30:13.396] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 901.36 MiB) 12:30:13 [12:30:13.567] INFO: ivc-integration:test:native bb - populating trace... (mem: 901.36 MiB) 12:30:13 [12:30:13.595] INFO: ivc-integration:test:native bb - time to construct proving key: 210 ms. 12:30:13 [12:30:13.596] INFO: ivc-integration:test:native bb - (mem: 901.36 MiB) 12:30:13 [12:30:13.921] 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-ZZnjkb/proof -k /tmp/bb-client-ivc-integration-ZZnjkb/vk -v 12:30:13 [12:30:13.938] INFO: ivc-integration:test:native bb command: verify (mem: 188.80 MiB) 12:30:13 [12:30:13.939] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 188.80 MiB) 12:30:13 --proof_path: /tmp/bb-client-ivc-integration-ZZnjkb/proof (mem: 188.80 MiB) 12:30:13 --vk_path: /tmp/bb-client-ivc-integration-ZZnjkb/vk (mem: 188.80 MiB) 12:30:13 --verbose: true (mem: 188.80 MiB) 12:30:13 --scheme: client_ivc (mem: 188.80 MiB) 12:30:14 [12:30:14.029] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.80 MiB) 12:30:14 [12:30:14.049] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 188.80 MiB) 12:30:14 [12:30:14.050] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 188.80 MiB) 12:30:14 [12:30:14.066] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.80 MiB) 12:30:14 [12:30:14.067] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 188.80 MiB) 12:30:14 [12:30:14.067] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 188.80 MiB) 12:30:14 libra_evals_verified: 1 (mem: 188.80 MiB) 12:30:14 pairing_check_verified: 1 (mem: 188.80 MiB) 12:30:14 Mega verified: 1 (mem: 188.80 12:30:14 [12:30:14.068] INFO: ivc-integration:test:native MiB) 12:30:14 [12:30:14.119] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.80 MiB) 12:30:14 batch opening verified?: 1 (mem: 188.80 MiB) 12:30:14 eccvm consistency check verified?: 1 (mem: 188.80 MiB) 12:30:14 translation masking consistency checked?: 1 (mem: 188.80 MiB) 12:30:14 [12:30:14.141] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.80 MiB) 12:30:14 eccvm verified?: 1 (mem: 188.80 MiB) 12:30:14 accumulator construction_verified?: 1 (mem: 188.80 MiB) 12:30:14 translation verified?: 1 (mem: 188.80 MiB) 12:30:14 consistency verified?: 1 (mem: 188.80 MiB) 12:30:14 [12:30:14.142] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 188.80 MiB) 12:30:14 [12:30:14.149] INFO: ivc-integration:test:native verified: 1 (mem: 188.80 MiB) 12:30:14 PASS src/native_client_ivc_integration.test.ts (70.171 s) 12:30:14 Client IVC Integration 12:30:14 ✓ Should generate a verifiable client IVC proof from a simple mock tx (35994 ms) 12:30:14 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30592 ms) 12:30:14 12:30:14 Test Suites: 1 passed, 1 total 12:30:14 Tests: 2 passed, 2 total 12:30:14 Snapshots: 0 total 12:30:14 Time: 70.28 s 12:30:14 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 12:30:14 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?