ACI ·

Parent Log: http://ci.aztec-labs.com/cb0087ed15f77415 Command: 0f4f65dca0a2798e: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/67bf12030291ce3da2cf39ff5fbfa799eae98dc5 Env: REF_NAME=gh-readonly-queue/next/pr-14963-42440bd429a3b283b3a344db0be4652d818bd261 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 19:57:03 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14963_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 19:57:07 [19:57:07.627] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-OAKc2m/ivc-inputs.msgpack 19:57:07 [19:57:07.633] 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-OAKc2m --ivc_inputs_path /tmp/bb-client-ivc-integration-OAKc2m/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 19:57:07 [19:57:07.661] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.62 MiB) 19:57:07 [19:57:07.662] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 182.62 MiB) 19:57:07 --scheme: client_ivc (mem: 182.62 MiB) 19:57:07 --output_path: /tmp/bb-client-ivc-integration-OAKc2m (mem: 182.62 MiB) 19:57:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-OAKc2m/ivc-inputs.msgpack (mem: 182.62 MiB) 19:57:07 --verbose: true (mem: 182.62 MiB) 19:57:07 --write_vk: true (mem: 182.62 MiB) 19:57:07 BN254 commitment key size: 262144 (mem: 182.62 MiB) 19:57:07 [19:57:07.768] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.00 MiB) 19:57:07 [19:57:07.854] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 296.84 MiB) 19:57:07 [19:57:07.864] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 296.84 MiB) 19:57:07 Constructing DeciderProvingKey (mem: 296.84 MiB) 19:57:07 [19:57:07.865] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 296.84 MiB) 19:57:07 goblin ecc op : 4/1024 (mem: 296.84 MiB) 19:57:07 busread : 7/6000 (mem: 296.84 MiB) 19:57:07 lookups : 2/15000 (mem: 296.84 MiB) 19:57:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 296.84 MiB) 19:57:07 arithmetic : 1760/56000 (mem: 296.84 MiB) 19:57:07 delta range : 1754/18000 (mem: 296.84 MiB) 19:57:07 elliptic : 2/6000 (mem: 296.84 MiB) 19:57:07 auxiliary : 26/26000 (mem: 296.84 MiB) 19:57:07 poseidon ext : 2/17000 (mem: 296.84 MiB) 19:57:07 poseidon int : 2/92000 (mem: 296.84 MiB) 19:57:07 overflow : 0/0 (mem: 296.84 MiB) 19:57:07 (mem: 296.84 MiB) 19:57:07 Total structured size: 242025 (mem: 296.84 MiB) 19:57:07 allocating polynomials object in proving key... (mem: 296.84 MiB) 19:57:07 [19:57:07.933] INFO: ivc-integration:test:native bb - populating trace... (mem: 494.75 MiB) 19:57:07 [19:57:07.944] INFO: ivc-integration:test:native bb - time to construct proving key: 85 ms. (mem: 511.75 MiB) 19:57:07 [19:57:07.986] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c8b23f8b600 (mem: 511.75 MiB) 19:57:07 computing oink proof... (mem: 511.75 MiB) 19:57:07 [19:57:07.988] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 511.75 MiB) 19:57:08 [19:57:08.188] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 521.75 MiB) 19:57:08 [19:57:08.199] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.75 MiB) 19:57:08 [19:57:08.218] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 521.75 MiB) 19:57:08 Constructing DeciderProvingKey (mem: 521.75 MiB) 19:57:08 [19:57:08.223] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.75 MiB) 19:57:08 goblin ecc op : 56/1024 (mem: 521.75 MiB) 19:57:08 busread : 12/6000 (mem: 521.75 MiB) 19:57:08 lookups : 2/15000 (mem: 521.75 MiB) 19:57:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.75 MiB) 19:57:08 arithmetic : 4625/56000 (mem: 521.75 MiB) 19:57:08 delta range : 2054/18000 (mem: 521.75 MiB) 19:57:08 elliptic : 2/6000 (mem: 521.75 MiB) 19:57:08 auxiliary : 110/26000 (mem: 521.75 MiB) 19:57:08 poseidon ext : 1302/17000 (mem: 521.75 MiB) 19:57:08 poseidon int : 7412/92000 (mem: 521.75 MiB) 19:57:08 overflow : 0/0 (mem: 521.75 MiB) 19:57:08 (mem: 521.75 MiB) 19:57:08 Total structured size: 242025 (mem: 521.75 MiB) 19:57:08 allocating polynomials object in proving key... (mem: 521.75 MiB) 19:57:08 [19:57:08.366] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.75 MiB) 19:57:08 [19:57:08.399] INFO: ivc-integration:test:native bb - time to construct proving key: 178 ms. (mem: 752.75 MiB) 19:57:08 [19:57:08.505] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c8b23f98280 (mem: 752.75 MiB) 19:57:08 computing folding proof (mem: 752.75 MiB) 19:57:08 [19:57:08.506] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 752.75 MiB) 19:57:08 [19:57:08.926] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 753.75 MiB) 19:57:09 [19:57:09.024] INFO: ivc-integration:test:native bb - perturbator round (mem: 790.75 MiB) 19:57:09 [19:57:09.083] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 822.75 MiB) 19:57:09 [19:57:09.512] INFO: ivc-integration:test:native bb - folded (mem: 822.75 MiB) 19:57:09 constructed folding proof (mem: 822.75 MiB) 19:57:09 [19:57:09.523] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 822.75 MiB) 19:57:09 [19:57:09.592] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 822.75 MiB) 19:57:09 Constructing DeciderProvingKey (mem: 822.75 MiB) 19:57:09 [19:57:09.597] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.75 MiB) 19:57:09 goblin ecc op : 392/1024 (mem: 822.75 MiB) 19:57:09 busread : 3/6000 (mem: 822.75 MiB) 19:57:09 lookups : 2/15000 (mem: 822.75 MiB) 19:57:09 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 822.75 MiB) 19:57:09 arithmetic : 6849/56000 (mem: 822.75 MiB) 19:57:09 delta range : 2333/18000 (mem: 822.75 MiB) 19:57:09 elliptic : 2/6000 (mem: 822.75 MiB) 19:57:09 auxiliary : 50/26000 (mem: 822.75 MiB) 19:57:09 poseidon ext : 2472/17000 (mem: 822.75 MiB) 19:57:09 poseidon int : 14081/92000 (mem: 822.75 MiB) 19:57:09 overflow : 0/0 (mem: 822.75 MiB) 19:57:09 (mem: 822.75 MiB) 19:57:09 Total structured size: 242025 (mem: 822.75 MiB) 19:57:09 allocating polynomials object in proving key... (mem: 822.75 MiB) 19:57:09 [19:57:09.761] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.75 MiB) 19:57:09 [19:57:09.797] INFO: ivc-integration:test:native bb - time to construct proving key: 205 ms. (mem: 822.75 MiB) 19:57:10 [19:57:10.008] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c8b23f88480 (mem: 822.75 MiB) 19:57:10 [19:57:10.010] INFO: ivc-integration:test:native bb - computing folding proof (mem: 822.75 MiB) 19:57:10 vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 822.75 MiB) 19:57:10 [19:57:10.561] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.75 MiB) 19:57:10 [19:57:10.630] INFO: ivc-integration:test:native bb - perturbator round (mem: 822.75 MiB) 19:57:10 [19:57:10.671] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 822.75 MiB) 19:57:10 [19:57:10.901] INFO: ivc-integration:test:native bb - folded (mem: 822.75 MiB) 19:57:10 [19:57:10.906] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 822.75 MiB) 19:57:10 Largest circuit: 25792 gates. Trace details: (mem: 822.75 MiB) 19:57:10 Minimum required block sizes for structured trace: (mem: 822.75 MiB) 19:57:10 (mem: 822.75 MiB) 19:57:10 prove decider... (mem: 822.75 MiB) 19:57:10 [19:57:10.908] INFO: ivc-integration:test:native bb - ecc_op : 392 19:57:10 busread : 12 19:57:10 lookup : 2 19:57:10 pub_inputs : 36 19:57:10 arithmetic : 6849 19:57:10 delta_range : 2333 19:57:10 elliptic : 2 19:57:10 aux : 110 19:57:10 poseidon2_external : 2472 19:57:10 poseidon2_internal : 14081 19:57:10 overflow : 0 19:57:11 [19:57:11.184] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.75 MiB) 19:57:11 [19:57:11.317] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 822.75 MiB) 19:57:12 [19:57:12.263] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 822.75 MiB) 19:57:12 [19:57:12.361] INFO: ivc-integration:test:native bb - computed opening proof (mem: 822.75 MiB) 19:57:12 finished decider proving. (mem: 822.75 MiB) 19:57:12 [19:57:12.385] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 822.75 MiB) 19:57:12 [19:57:12.486] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.75 MiB) 19:57:12 [19:57:12.495] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 822.75 MiB) 19:57:12 [19:57:12.618] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.75 MiB) 19:57:12 [19:57:12.674] INFO: ivc-integration:test:native bb - time to construct proving key: 187 ms. (mem: 822.75 MiB) 19:57:13 [19:57:13.761] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 822.75 MiB) 19:57:14 [19:57:14.303] INFO: ivc-integration:test:native bb - created oink proof (mem: 822.75 MiB) 19:57:14 [19:57:14.673] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.75 MiB) 19:57:16 [19:57:16.614] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 822.75 MiB) 19:57:17 [19:57:17.861] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 822.75 MiB) 19:57:17 [19:57:17.920] INFO: ivc-integration:test:native bb - computed opening proof (mem: 822.75 MiB) 19:57:17 finished decider proving. (mem: 822.75 MiB) 19:57:17 Constructing a Goblin proof with num ultra ops = 1038 (mem: 822.75 MiB) 19:57:18 [19:57:18.275] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 822.75 MiB) 19:57:18 [19:57:18.826] 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: 822.75 MiB) 19:57:18 [19:57:18.864] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 822.75 MiB) 19:57:20 [19:57:20.858] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.75 MiB) 19:57:23 [19:57:23.228] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 822.75 MiB) 19:57:28 [19:57:28.663] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 822.75 MiB) 19:57:28 prove translator... (mem: 822.75 MiB) 19:57:31 [19:57:31.560] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 853.38 MiB) 19:57:34 [19:57:34.644] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 854.38 MiB) 19:57:38 [19:57:38.096] INFO: ivc-integration:test:native bb - computed opening proof (mem: 854.38 MiB) 19:57:38 finished translator proving. (mem: 854.38 MiB) 19:57:38 [19:57:38.104] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 854.38 MiB) 19:57:38 [19:57:38.135] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 854.38 MiB) 19:57:38 libra_evals_verified: 1 (mem: 854.38 MiB) 19:57:38 pairing_check_verified: 1 (mem: 854.38 MiB) 19:57:38 Mega verified: 1 (mem: 854.38 MiB) 19:57:38 [19:57:38.240] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 854.38 MiB) 19:57:38 batch opening verified?: 1 (mem: 854.38 MiB) 19:57:38 eccvm consistency check verified?: 1 (mem: 854.38 MiB) 19:57:38 translation masking consistency checked?: 1 (mem: 854.38 MiB) 19:57:38 [19:57:38.271] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 854.38 MiB) 19:57:38 eccvm verified?: 1 (mem: 854.38 MiB) 19:57:38 accumulator construction_verified?: 1 (mem: 854.38 MiB) 19:57:38 translation verified?: 1 (mem: 854.38 MiB) 19:57:38 consistency verified?: 1 (mem: 854.38 MiB) 19:57:38 Goblin verified: 1 (mem: 854.38 MiB) 19:57:38 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-OAKc2m" (mem: 854.38 MiB) 19:57:38 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-OAKc2m" (mem: 854.38 MiB) 19:57:38 BN254 commitment key size: 262144 (mem: 854.38 MiB) 19:57:38 [19:57:38.272] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 854.38 MiB) 19:57:38 [19:57:38.276] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 854.38 MiB) 19:57:38 goblin ecc op : 4/1024 (mem: 854.38 MiB) 19:57:38 busread : 3/6000 (mem: 854.38 MiB) 19:57:38 lookups : 2/15000 (mem: 854.38 MiB) 19:57:38 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 854.38 MiB) 19:57:38 arithmetic : 1773/56000 (mem: 854.38 MiB) 19:57:38 delta range : 1754/18000 (mem: 854.38 MiB) 19:57:38 elliptic : 2/6000 (mem: 854.38 MiB) 19:57:38 auxiliary : 26/26000 (mem: 854.38 MiB) 19:57:38 poseidon ext : 2/17000 (mem: 854.38 MiB) 19:57:38 poseidon int : 2/92000 (mem: 854.38 MiB) 19:57:38 overflow : 0/0 (mem: 854.38 MiB) 19:57:38 (mem: 854.38 MiB) 19:57:38 Total structured size: 242025 (mem: 854.38 MiB) 19:57:38 allocating polynomials object in proving key... (mem: 854.38 MiB) 19:57:38 [19:57:38.583] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.38 MiB) 19:57:38 [19:57:38.640] INFO: ivc-integration:test:native bb - time to construct proving key: 366 ms. (mem: 854.38 MiB) 19:57:38 [19:57:38.914] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 19:57:38 [19:57:38.920] INFO: ivc-integration:test:native bb - (mem: 854.38 MiB) 19:57:39 [19:57:39.949] INFO: ivc-integration:test:native bb - computing oink proof... 19:57:39 [19:57:39.950] INFO: ivc-integration:test:native bb - (mem: 854.38 MiB) 19:57:39 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 854.38 MiB) 19:57:40 [19:57:40.458] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 854.38 MiB) 19:57:40 [19:57:40.473] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 854.38 MiB) 19:57:40 [19:57:40.492] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 854.38 MiB) 19:57:40 [19:57:40.495] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 854.38 MiB) 19:57:40 goblin ecc op : 56/1024 (mem: 854.38 MiB) 19:57:40 busread : 3/6000 (mem: 854.38 MiB) 19:57:40 lookups : 2/15000 (mem: 854.38 MiB) 19:57:40 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 854.38 MiB) 19:57:40 arithmetic : 4481/56000 (mem: 854.38 MiB) 19:57:40 delta range : 2041/18000 (mem: 854.38 MiB) 19:57:40 elliptic : 2/6000 (mem: 854.38 MiB) 19:57:40 auxiliary : 50/26000 (mem: 854.38 MiB) 19:57:40 poseidon ext : 1312/17000 (mem: 854.38 MiB) 19:57:40 poseidon int : 7469/92000 (mem: 854.38 MiB) 19:57:40 overflow : 0/0 (mem: 854.38 MiB) 19:57:40 (mem: 854.38 MiB) 19:57:40 Total structured size: 242025 (mem: 854.38 MiB) 19:57:40 allocating polynomials object in proving key... (mem: 854.38 MiB) 19:57:40 [19:57:40.638] INFO: ivc-integration:test:native bb - populating trace... (mem: 854.38 MiB) 19:57:40 [19:57:40.668] INFO: ivc-integration:test:native bb - time to construct proving key: 176 ms. (mem: 854.38 MiB) 19:57:40 [19:57:40.798] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 854.38 MiB) 19:57:41 [19:57:41.802] INFO: ivc-integration:test:native bb - computing folding proof (mem: 854.38 MiB) 19:57:41 vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 854.38 MiB) 19:57:42 [19:57:42.481] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 19:57:42 [19:57:42.482] INFO: ivc-integration:test:native bb - (mem: 854.38 MiB) 19:57:42 [19:57:42.660] INFO: ivc-integration:test:native bb - perturbator round (mem: 856.38 MiB) 19:57:42 [19:57:42.716] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 888.38 MiB) 19:57:43 [19:57:43.196] INFO: ivc-integration:test:native bb - folded 19:57:43 [19:57:43.197] INFO: ivc-integration:test:native bb - (mem: 888.38 MiB) 19:57:43 constructed folding proof (mem: 888.38 MiB) 19:57:43 Largest circuit: 15360 gates. Trace details: (mem: 888.38 MiB) 19:57:43 Minimum required block sizes for structured trace: (mem: 888.38 MiB) 19:57:43 (mem: 888.38 MiB) 19:57:43 prove decider... (mem: 888.38 MiB) 19:57:43 [19:57:43.198] INFO: ivc-integration:test:native bb - ecc_op : 56 19:57:43 busread : 3 19:57:43 lookup : 2 19:57:43 pub_inputs : 36 19:57:43 arithmetic : 4481 19:57:43 delta_range : 2041 19:57:43 elliptic : 2 19:57:43 aux : 50 19:57:43 poseidon2_external : 1312 19:57:43 poseidon2_internal : 7469 19:57:43 overflow : 0 19:57:43 [19:57:43.505] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 888.38 MiB) 19:57:43 [19:57:43.733] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 888.38 MiB) 19:57:44 [19:57:44.665] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 19:57:44 [19:57:44.667] INFO: ivc-integration:test:native bb - (mem: 888.38 MiB) 19:57:44 [19:57:44.760] INFO: ivc-integration:test:native bb - computed opening proof (mem: 888.38 MiB) 19:57:44 [19:57:44.761] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 888.38 MiB) 19:57:44 [19:57:44.776] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 888.38 MiB) 19:57:44 [19:57:44.883] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 888.38 MiB) 19:57:44 [19:57:44.889] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 888.38 MiB) 19:57:45 [19:57:45.062] INFO: ivc-integration:test:native bb - populating trace... (mem: 888.38 MiB) 19:57:45 [19:57:45.131] INFO: ivc-integration:test:native bb - time to construct proving key: 247 ms. (mem: 888.38 MiB) 19:57:46 [19:57:46.131] 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-OAKc2m/proof -k /tmp/bb-client-ivc-integration-OAKc2m/vk -v 19:57:46 [19:57:46.162] INFO: ivc-integration:test:native bb command: verify (mem: 182.62 MiB) 19:57:46 Scheme is: client_ivc, num threads: 128 (mem: 182.62 MiB) 19:57:46 --proof_path: /tmp/bb-client-ivc-integration-OAKc2m/proof (mem: 182.62 MiB) 19:57:46 --vk_path: /tmp/bb-client-ivc-integration-OAKc2m/vk (mem: 182.62 MiB) 19:57:46 --verbose: true (mem: 182.62 MiB) 19:57:46 --scheme: client_ivc (mem: 182.62 MiB) 19:57:46 [19:57:46.271] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 182.62 MiB) 19:57:46 [19:57:46.297] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 182.62 MiB) 19:57:46 [19:57:46.301] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 182.62 MiB) 19:57:46 [19:57:46.319] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 182.62 MiB) 19:57:46 [19:57:46.320] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 182.62 MiB) 19:57:46 [19:57:46.321] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 182.62 MiB) 19:57:46 libra_evals_verified: 1 (mem: 182.62 MiB) 19:57:46 pairing_check_verified: 1 (mem: 182.62 MiB) 19:57:46 Mega verified: 1 (mem: 182.62 MiB) 19:57:46 [19:57:46.568] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.05 MiB) 19:57:46 batch opening verified?: 1 (mem: 184.05 MiB) 19:57:46 eccvm consistency check verified?: 1 (mem: 184.05 MiB) 19:57:46 translation masking consistency checked?: 1 (mem: 184.05 MiB) 19:57:46 [19:57:46.616] INFO: ivc-integration:test:native merge verified?: 1 (mem: 184.05 MiB) 19:57:46 eccvm verified?: 1 (mem: 184.05 MiB) 19:57:46 accumulator construction_verified?: 1 (mem: 184.05 MiB) 19:57:46 translation verified?: 1 (mem: 184.05 MiB) 19:57:46 [19:57:46.617] INFO: ivc-integration:test:native consistency verified?: 1 (mem: 184.05 MiB) 19:57:46 Goblin verified: 1 (mem: 184.05 MiB) 19:57:46 [19:57:46.633] INFO: ivc-integration:test:native verified: 1 (mem: 184.05 MiB) 19:57:46 [19:57:46.767] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-KS2uwf/ivc-inputs.msgpack 19:57:46 [19:57:46.768] 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-KS2uwf --ivc_inputs_path /tmp/bb-client-ivc-integration-KS2uwf/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 19:57:46 [19:57:46.797] INFO: ivc-integration:test:native bb - bb command: prove (mem: 182.97 MiB) 19:57:46 Scheme is: client_ivc, num threads: 128 (mem: 182.97 MiB) 19:57:46 --scheme: client_ivc (mem: 182.97 MiB) 19:57:46 --output_path: /tmp/bb-client-ivc-integration-KS2uwf (mem: 182.97 MiB) 19:57:46 --ivc_inputs_path: /tmp/bb-client-ivc-integration-KS2uwf/ivc-inputs.msgpack (mem: 182.97 MiB) 19:57:46 --verbose: true (mem: 182.97 MiB) 19:57:46 --write_vk: true (mem: 182.97 MiB) 19:57:46 [19:57:46.802] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 19:57:46 [19:57:46.803] INFO: ivc-integration:test:native bb - (mem: 182.97 MiB) 19:57:46 [19:57:46.941] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 266.00 MiB) 19:57:47 [19:57:47.027] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 19:57:47 [19:57:47.029] INFO: ivc-integration:test:native bb - (mem: 314.40 MiB) 19:57:47 [19:57:47.034] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 314.40 MiB) 19:57:47 Constructing DeciderProvingKey (mem: 314.40 MiB) 19:57:47 [19:57:47.040] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 314.40 MiB) 19:57:47 goblin ecc op : 4/1024 (mem: 314.40 MiB) 19:57:47 busread : 7/6000 (mem: 314.40 MiB) 19:57:47 lookups : 2/15000 (mem: 314.40 MiB) 19:57:47 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 314.40 MiB) 19:57:47 arithmetic : 1760/56000 (mem: 314.40 MiB) 19:57:47 delta range : 1754/18000 (mem: 314.40 MiB) 19:57:47 elliptic : 2/6000 (mem: 314.40 MiB) 19:57:47 auxiliary : 26/26000 (mem: 314.40 MiB) 19:57:47 poseidon ext : 2/17000 (mem: 314.40 MiB) 19:57:47 poseidon int : 2/92000 (mem: 314.40 MiB) 19:57:47 overflow : 0/0 (mem: 314.40 MiB) 19:57:47 (mem: 314.40 MiB) 19:57:47 Total structured size: 242025 (mem: 314.40 MiB) 19:57:47 allocating polynomials object in proving key... (mem: 314.40 MiB) 19:57:47 [19:57:47.207] INFO: ivc-integration:test:native bb - populating trace... (mem: 512.53 MiB) 19:57:47 [19:57:47.230] INFO: ivc-integration:test:native bb - time to construct proving key: 195 ms. (mem: 526.53 MiB) 19:57:47 [19:57:47.329] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5855f1b42440 (mem: 526.53 MiB) 19:57:47 computing oink proof... (mem: 526.53 MiB) 19:57:47 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.53 MiB) 19:57:47 [19:57:47.642] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 536.53 MiB) 19:57:47 [19:57:47.653] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 536.53 MiB) 19:57:47 [19:57:47.672] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 536.53 MiB) 19:57:47 Constructing DeciderProvingKey (mem: 536.53 MiB) 19:57:47 [19:57:47.674] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 536.53 MiB) 19:57:47 goblin ecc op : 56/1024 (mem: 536.53 MiB) 19:57:47 busread : 12/6000 (mem: 536.53 MiB) 19:57:47 lookups : 2/15000 (mem: 536.53 MiB) 19:57:47 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 536.53 MiB) 19:57:47 arithmetic : 4625/56000 (mem: 536.53 MiB) 19:57:47 [19:57:47.674] INFO: ivc-integration:test:native bb - delta range : 2054/18000 (mem: 536.53 MiB) 19:57:47 elliptic : 2/6000 (mem: 536.53 MiB) 19:57:47 auxiliary : 110/26000 (mem: 536.53 MiB) 19:57:47 poseidon ext : 1302/17000 (mem: 536.53 MiB) 19:57:47 poseidon int : 7412/92000 (mem: 536.53 MiB) 19:57:47 overflow : 0/0 (mem: 536.53 MiB) 19:57:47 (mem: 536.53 MiB) 19:57:47 Total structured size: 242025 (mem: 536.53 MiB) 19:57:47 allocating polynomials object in proving key... (mem: 536.53 MiB) 19:57:47 [19:57:47.771] INFO: ivc-integration:test:native bb - populating trace... (mem: 735.53 MiB) 19:57:47 [19:57:47.791] INFO: ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 745.53 MiB) 19:57:47 [19:57:47.838] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5855f1b4b6c0 (mem: 745.53 MiB) 19:57:47 [19:57:47.838] INFO: ivc-integration:test:native bb - computing folding proof (mem: 745.53 MiB) 19:57:47 vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 745.53 MiB) 19:57:48 [19:57:48.280] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.53 MiB) 19:57:48 [19:57:48.392] INFO: ivc-integration:test:native bb - perturbator round (mem: 783.53 MiB) 19:57:48 [19:57:48.457] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 815.53 MiB) 19:57:48 [19:57:48.833] INFO: ivc-integration:test:native bb - folded (mem: 815.53 MiB) 19:57:48 constructed folding proof (mem: 815.53 MiB) 19:57:48 [19:57:48.842] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.53 MiB) 19:57:48 Constructing DeciderProvingKey (mem: 815.53 MiB) 19:57:48 [19:57:48.843] INFO: ivc-integration:test:native bb - 19:57:48 [19:57:48.854] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.53 MiB) 19:57:48 goblin ecc op : 4/1024 (mem: 815.53 MiB) 19:57:48 busread : 7/6000 (mem: 815.53 MiB) 19:57:48 lookups : 2/15000 (mem: 815.53 MiB) 19:57:48 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 815.53 MiB) 19:57:48 arithmetic : 1760/56000 (mem: 815.53 MiB) 19:57:48 delta range : 1754/18000 (mem: 815.53 MiB) 19:57:48 elliptic : 2/6000 (mem: 815.53 MiB) 19:57:48 auxiliary : 26/26000 (mem: 815.53 MiB) 19:57:48 poseidon ext : 2/17000 (mem: 815.53 MiB) 19:57:48 poseidon int : 2/92000 (mem: 815.53 MiB) 19:57:48 overflow : 0/0 (mem: 815.53 MiB) 19:57:48 (mem: 815.53 MiB) 19:57:48 Total structured size: 242025 (mem: 815.53 MiB) 19:57:48 allocating polynomials object in proving key... (mem: 815.53 MiB) 19:57:48 [19:57:48.978] INFO: ivc-integration:test:native bb - populating trace... (mem: 815.53 MiB) 19:57:48 [19:57:48.989] INFO: ivc-integration:test:native bb - time to construct proving key: 146 ms. (mem: 815.53 MiB) 19:57:49 [19:57:49.090] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5855f1b42c80 (mem: 815.53 MiB) 19:57:49 computing folding proof (mem: 815.53 MiB) 19:57:49 [19:57:49.091] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 815.53 MiB) 19:57:49 [19:57:49.441] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.53 MiB) 19:57:49 [19:57:49.563] INFO: ivc-integration:test:native bb - perturbator round (mem: 815.53 MiB) 19:57:49 [19:57:49.602] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 815.53 MiB) 19:57:49 [19:57:49.890] INFO: ivc-integration:test:native bb - folded (mem: 815.53 MiB) 19:57:49 constructed folding proof (mem: 815.53 MiB) 19:57:49 [19:57:49.900] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 815.53 MiB) 19:57:49 [19:57:49.971] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 815.53 MiB) 19:57:50 [19:57:50.043] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 815.53 MiB) 19:57:50 Constructing DeciderProvingKey (mem: 815.53 MiB) 19:57:50 [19:57:50.047] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.53 MiB) 19:57:50 goblin ecc op : 792/1024 (mem: 815.53 MiB) 19:57:50 [19:57:50.048] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 815.53 MiB) 19:57:50 lookups : 2/15000 (mem: 815.53 MiB) 19:57:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 815.53 MiB) 19:57:50 arithmetic : 12080/56000 (mem: 815.53 MiB) 19:57:50 delta range : 2942/18000 (mem: 815.53 MiB) 19:57:50 elliptic : 2/6000 (mem: 815.53 MiB) 19:57:50 auxiliary : 350/26000 (mem: 815.53 MiB) 19:57:50 poseidon ext : 4942/17000 (mem: 815.53 MiB) 19:57:50 poseidon int : 28160/92000 (mem: 815.53 MiB) 19:57:50 overflow : 0/0 (mem: 815.53 MiB) 19:57:50 (mem: 815.53 MiB) 19:57:50 Total structured size: 242025 (mem: 815.53 MiB) 19:57:50 allocating polynomials object in proving key... (mem: 815.53 MiB) 19:57:50 [19:57:50.147] INFO: ivc-integration:test:native bb - populating trace... (mem: 815.53 MiB) 19:57:50 [19:57:50.195] INFO: ivc-integration:test:native bb - time to construct proving key: 151 ms. (mem: 815.53 MiB) 19:57:50 [19:57:50.298] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5855f1bbf380 (mem: 815.53 MiB) 19:57:50 computing folding proof (mem: 815.53 MiB) 19:57:50 [19:57:50.299] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 815.53 MiB) 19:57:50 [19:57:50.655] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.53 MiB) 19:57:50 [19:57:50.759] INFO: ivc-integration:test:native bb - perturbator round (mem: 815.53 MiB) 19:57:50 [19:57:50.821] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.49 MiB) 19:57:51 [19:57:51.065] INFO: ivc-integration:test:native bb - folded (mem: 845.49 MiB) 19:57:51 constructed folding proof (mem: 845.49 MiB) 19:57:51 [19:57:51.076] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 845.49 MiB) 19:57:51 [19:57:51.144] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 845.49 MiB) 19:57:51 Constructing DeciderProvingKey (mem: 845.49 MiB) 19:57:51 [19:57:51.150] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.49 MiB) 19:57:51 goblin ecc op : 392/1024 (mem: 845.49 MiB) 19:57:51 busread : 16/6000 (mem: 845.49 MiB) 19:57:51 lookups : 2/15000 (mem: 845.49 MiB) 19:57:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 845.49 MiB) 19:57:51 arithmetic : 6914/56000 (mem: 845.49 MiB) 19:57:51 delta range : 2347/18000 (mem: 845.49 MiB) 19:57:51 elliptic : 2/6000 (mem: 845.49 MiB) 19:57:51 auxiliary : 77/26000 (mem: 845.49 MiB) 19:57:51 poseidon ext : 2472/17000 (mem: 845.49 MiB) 19:57:51 poseidon int : 14081/92000 (mem: 845.49 MiB) 19:57:51 overflow : 0/0 (mem: 845.49 MiB) 19:57:51 (mem: 845.49 MiB) 19:57:51 Total structured size: 242025 (mem: 845.49 MiB) 19:57:51 allocating polynomials object in proving key... (mem: 845.49 MiB) 19:57:51 [19:57:51.309] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.49 MiB) 19:57:51 [19:57:51.354] INFO: ivc-integration:test:native bb - time to construct proving key: 209 ms. (mem: 845.49 MiB) 19:57:51 [19:57:51.569] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5855f1bbda40 (mem: 845.49 MiB) 19:57:51 computing folding proof (mem: 845.49 MiB) 19:57:51 vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 845.49 MiB) 19:57:51 [19:57:51.985] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.49 MiB) 19:57:52 [19:57:52.179] INFO: ivc-integration:test:native bb - perturbator round (mem: 845.49 MiB) 19:57:52 [19:57:52.267] INFO: ivc-integration:test:native bb - combiner quotient round 19:57:52 [19:57:52.268] INFO: ivc-integration:test:native bb - (mem: 19:57:52 [19:57:52.269] INFO: ivc-integration:test:native bb - 846.34 MiB) 19:57:52 [19:57:52.697] INFO: ivc-integration:test:native bb - folded (mem: 846.34 MiB) 19:57:52 constructed folding proof (mem: 846.34 MiB) 19:57:52 [19:57:52.716] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e 19:57:52 [19:57:52.718] INFO: ivc-integration:test:native bb - (mem: 19:57:52 [19:57:52.720] INFO: ivc-integration:test:native bb - 846.34 MiB) 19:57:52 [19:57:52.812] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 846.34 MiB) 19:57:52 Constructing DeciderProvingKey (mem: 846.34 MiB) 19:57:52 [19:57:52.819] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.34 MiB) 19:57:52 goblin ecc op : 392/1024 (mem: 846.34 MiB) 19:57:52 busread : 3/6000 (mem: 846.34 MiB) 19:57:52 lookups : 2/15000 (mem: 846.34 MiB) 19:57:52 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.34 MiB) 19:57:52 arithmetic : 6849/56000 (mem: 846.34 MiB) 19:57:52 delta range : 2333/18000 (mem: 846.34 MiB) 19:57:52 elliptic : 2/6000 (mem: 846.34 MiB) 19:57:52 auxiliary : 50/26000 (mem: 846.34 MiB) 19:57:52 poseidon ext : 2472/17000 (mem: 846.34 MiB) 19:57:52 poseidon int : 14081/92000 (mem: 846.34 MiB) 19:57:52 overflow : 0/0 (mem: 846.34 MiB) 19:57:52 (mem: 846.34 MiB) 19:57:52 Total structured size: 242025 (mem: 846.34 MiB) 19:57:52 allocating polynomials object in proving key... (mem: 846.34 MiB) 19:57:52 [19:57:52.962] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.34 MiB) 19:57:52 [19:57:52.984] INFO: ivc-integration:test:native bb - time to construct proving key: 171 ms. (mem: 846.34 MiB) 19:57:53 [19:57:53.160] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5855f1bb7ac0 (mem: 846.34 MiB) 19:57:53 computing folding proof (mem: 846.34 MiB) 19:57:53 [19:57:53.161] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 846.34 MiB) 19:57:53 [19:57:53.537] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.34 MiB) 19:57:53 [19:57:53.636] INFO: ivc-integration:test:native bb - perturbator round (mem: 846.34 MiB) 19:57:53 [19:57:53.694] INFO: ivc-integration:test:native bb - combiner quotient round 19:57:53 [19:57:53.694] INFO: ivc-integration:test:native bb - (mem: 847.32 MiB) 19:57:53 [19:57:53.946] INFO: ivc-integration:test:native bb - folded (mem: 847.32 MiB) 19:57:53 constructed folding proof (mem: 847.32 MiB) 19:57:53 Largest circuit: 48490 gates. Trace details: (mem: 847.32 MiB) 19:57:53 Minimum required block sizes for structured trace: (mem: 847.32 MiB) 19:57:53 (mem: 847.32 MiB) 19:57:53 prove decider... (mem: 847.32 MiB) 19:57:53 [19:57:53.947] INFO: ivc-integration:test:native bb - ecc_op : 792 19:57:53 busread : 16 19:57:53 lookup : 2 19:57:53 pub_inputs : 36 19:57:53 arithmetic : 12080 19:57:53 delta_range : 2942 19:57:53 elliptic : 2 19:57:53 aux : 350 19:57:53 poseidon2_external : 4942 19:57:53 poseidon2_internal : 28160 19:57:53 overflow : 0 19:57:54 [19:57:54.077] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.32 MiB) 19:57:54 [19:57:54.264] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.32 MiB) 19:57:54 [19:57:54.875] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.32 MiB) 19:57:54 [19:57:54.964] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.32 MiB) 19:57:54 finished decider proving. (mem: 847.32 MiB) 19:57:54 [19:57:54.983] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 847.32 MiB) 19:57:55 [19:57:55.075] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.32 MiB) 19:57:55 [19:57:55.079] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 847.32 MiB) 19:57:55 [19:57:55.173] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.32 MiB) 19:57:55 [19:57:55.249] INFO: ivc-integration:test:native bb - time to construct proving key: 171 ms. (mem: 847.32 MiB) 19:57:55 [19:57:55.829] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 847.32 MiB) 19:57:56 [19:57:56.269] INFO: ivc-integration:test:native bb - created oink proof (mem: 847.32 MiB) 19:57:56 [19:57:56.534] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.32 MiB) 19:57:57 [19:57:57.586] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.32 MiB) 19:57:58 [19:57:58.879] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.32 MiB) 19:57:58 [19:57:58.906] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.32 MiB) 19:57:58 finished decider proving. (mem: 847.32 MiB) 19:57:58 [19:57:58.908] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 847.32 MiB) 19:57:59 [19:57:59.172] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 847.32 MiB) 19:57:59 [19:57:59.507] 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: 847.32 MiB) 19:57:59 [19:57:59.518] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 847.32 MiB) 19:58:01 [19:58:01.214] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.32 MiB) 19:58:02 [19:58:02.736] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.32 MiB) 19:58:06 [19:58:06.808] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 847.32 MiB) 19:58:06 prove translator... (mem: 847.32 MiB) 19:58:09 [19:58:09.704] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 873.46 MiB) 19:58:11 [19:58:11.244] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 873.46 MiB) 19:58:12 [19:58:12.279] INFO: ivc-integration:test:native bb - computed opening proof (mem: 873.46 MiB) 19:58:12 [19:58:12.280] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 873.46 MiB) 19:58:12 [19:58:12.281] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 873.46 MiB) 19:58:12 [19:58:12.296] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 873.46 MiB) 19:58:12 libra_evals_verified: 1 (mem: 873.46 MiB) 19:58:12 pairing_check_verified: 1 (mem: 873.46 MiB) 19:58:12 [19:58:12.296] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 873.46 MiB) 19:58:12 [19:58:12.352] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 873.46 MiB) 19:58:12 batch opening verified?: 1 (mem: 873.46 MiB) 19:58:12 eccvm consistency check verified?: 1 (mem: 873.46 MiB) 19:58:12 translation masking consistency checked?: 1 (mem: 873.46 MiB) 19:58:12 [19:58:12.371] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 873.46 MiB) 19:58:12 eccvm verified?: 1 (mem: 873.46 MiB) 19:58:12 accumulator construction_verified?: 1 (mem: 873.46 MiB) 19:58:12 translation verified?: 1 (mem: 873.46 MiB) 19:58:12 [19:58:12.372] INFO: ivc-integration:test:native bb - consistency verified?: 1 (mem: 873.46 MiB) 19:58:12 Goblin verified: 1 (mem: 873.46 MiB) 19:58:12 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-KS2uwf" (mem: 873.46 MiB) 19:58:12 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-KS2uwf" (mem: 873.46 MiB) 19:58:12 BN254 commitment key size: 262144 (mem: 873.46 MiB) 19:58:12 [19:58:12.374] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 873.46 MiB) 19:58:12 [19:58:12.377] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 873.46 MiB) 19:58:12 goblin ecc op : 4/1024 (mem: 873.46 MiB) 19:58:12 busread : 3/6000 (mem: 873.46 MiB) 19:58:12 lookups : 2/15000 (mem: 873.46 MiB) 19:58:12 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 873.46 MiB) 19:58:12 arithmetic : 1773/56000 (mem: 19:58:12 [19:58:12.378] INFO: ivc-integration:test:native bb - 873.46 MiB) 19:58:12 delta range : 1754/18000 (mem: 873.46 MiB) 19:58:12 elliptic : 2/6000 (mem: 873.46 MiB) 19:58:12 auxiliary : 26/26000 (mem: 873.46 MiB) 19:58:12 poseidon ext : 2/17000 (mem: 873.46 MiB) 19:58:12 poseidon int : 2/92000 (mem: 873.46 MiB) 19:58:12 overflow : 0/0 (mem: 873.46 MiB) 19:58:12 (mem: 873.46 MiB) 19:58:12 Total structured size: 242025 (mem: 873.46 MiB) 19:58:12 allocating polynomials object in proving key... (mem: 873.46 MiB) 19:58:12 [19:58:12.413] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.46 MiB) 19:58:12 [19:58:12.421] INFO: ivc-integration:test:native bb - time to construct proving key: 46 ms. (mem: 873.46 MiB) 19:58:12 [19:58:12.448] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 873.46 MiB) 19:58:12 [19:58:12.889] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 873.46 MiB) 19:58:12 [19:58:12.889] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 873.46 MiB) 19:58:13 [19:58:13.002] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 873.46 MiB) 19:58:13 [19:58:13.009] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 873.46 MiB) 19:58:13 [19:58:13.020] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 873.46 MiB) 19:58:13 [19:58:13.022] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 873.46 MiB) 19:58:13 goblin ecc op : 56/1024 (mem: 873.46 MiB) 19:58:13 busread : 3/6000 (mem: 873.46 MiB) 19:58:13 [19:58:13.022] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 873.46 MiB) 19:58:13 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 873.46 MiB) 19:58:13 arithmetic : 4481/56000 (mem: 873.46 MiB) 19:58:13 delta range : 2041/18000 (mem: 873.46 MiB) 19:58:13 elliptic : 2/6000 (mem: 873.46 MiB) 19:58:13 auxiliary : 50/26000 (mem: 873.46 MiB) 19:58:13 poseidon ext : 1312/17000 (mem: 873.46 MiB) 19:58:13 poseidon int : 7469/92000 (mem: 873.46 MiB) 19:58:13 overflow : 0/0 (mem: 873.46 MiB) 19:58:13 (mem: 873.46 MiB) 19:58:13 Total structured size: 242025 (mem: 873.46 MiB) 19:58:13 allocating polynomials object in proving key... (mem: 873.46 MiB) 19:58:13 [19:58:13.113] INFO: ivc-integration:test:native bb - populating trace... (mem: 873.46 MiB) 19:58:13 [19:58:13.133] INFO: ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 873.46 MiB) 19:58:13 [19:58:13.168] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 873.46 MiB) 19:58:13 [19:58:13.548] INFO: ivc-integration:test:native bb - computing folding proof (mem: 873.46 MiB) 19:58:13 [19:58:13.549] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 873.46 MiB) 19:58:14 [19:58:14.005] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 873.46 MiB) 19:58:14 [19:58:14.151] INFO: ivc-integration:test:native bb - perturbator round (mem: 873.46 MiB) 19:58:14 [19:58:14.198] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 905.46 MiB) 19:58:14 [19:58:14.366] INFO: ivc-integration:test:native bb - folded (mem: 905.46 MiB) 19:58:14 constructed folding proof (mem: 905.46 MiB) 19:58:14 [19:58:14.367] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 905.46 MiB) 19:58:14 Minimum required block sizes for structured trace: (mem: 905.46 MiB) 19:58:14 (mem: 905.46 MiB) 19:58:14 prove decider... (mem: 905.46 MiB) 19:58:14 [19:58:14.367] INFO: ivc-integration:test:native bb - ecc_op : 56 19:58:14 busread : 3 19:58:14 lookup : 2 19:58:14 pub_inputs : 36 19:58:14 arithmetic : 4481 19:58:14 delta_range : 2041 19:58:14 elliptic : 2 19:58:14 aux : 50 19:58:14 poseidon2_external : 1312 19:58:14 poseidon2_internal : 7469 19:58:14 overflow : 0 19:58:14 [19:58:14.440] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 905.46 MiB) 19:58:14 [19:58:14.505] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 905.46 MiB) 19:58:14 [19:58:14.923] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 905.46 MiB) 19:58:15 [19:58:15.047] INFO: ivc-integration:test:native bb - computed opening proof 19:58:15 [19:58:15.048] INFO: ivc-integration:test:native bb - (mem: 905.46 MiB) 19:58:15 finished decider proving. (mem: 905.46 MiB) 19:58:15 [19:58:15.061] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 905.46 MiB) 19:58:15 [19:58:15.150] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 905.46 MiB) 19:58:15 [19:58:15.156] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 905.46 MiB) 19:58:15 [19:58:15.226] INFO: ivc-integration:test:native bb - populating trace... (mem: 905.46 MiB) 19:58:15 [19:58:15.252] INFO: ivc-integration:test:native bb - time to construct proving key: 101 ms. (mem: 905.46 MiB) 19:58:15 [19:58:15.552] 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-KS2uwf/proof -k /tmp/bb-client-ivc-integration-KS2uwf/vk -v 19:58:15 [19:58:15.573] INFO: ivc-integration:test:native bb command: verify (mem: 187.90 MiB) 19:58:15 Scheme is: client_ivc, num threads: 128 (mem: 187.90 MiB) 19:58:15 --proof_path: /tmp/bb-client-ivc-integration-KS2uwf/proof (mem: 187.90 MiB) 19:58:15 --vk_path: /tmp/bb-client-ivc-integration-KS2uwf/vk (mem: 187.90 MiB) 19:58:15 --verbose: true (mem: 187.90 MiB) 19:58:15 --scheme: client_ivc (mem: 187.90 MiB) 19:58:15 [19:58:15.656] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 187.90 MiB) 19:58:15 [19:58:15.678] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 187.90 MiB) 19:58:15 [19:58:15.679] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 187.90 MiB) 19:58:15 [19:58:15.693] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 187.90 MiB) 19:58:15 [19:58:15.694] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 187.90 MiB) 19:58:15 [19:58:15.694] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 187.90 MiB) 19:58:15 libra_evals_verified: 1 (mem: 187.90 MiB) 19:58:15 pairing_check_verified: 1 (mem: 187.90 MiB) 19:58:15 Mega verified: 1 (mem: 19:58:15 [19:58:15.695] INFO: ivc-integration:test:native 187.90 MiB) 19:58:15 [19:58:15.744] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 187.90 MiB) 19:58:15 batch opening verified?: 1 (mem: 187.90 MiB) 19:58:15 eccvm consistency check verified?: 1 (mem: 187.90 MiB) 19:58:15 translation masking consistency checked?: 1 (mem: 187.90 MiB) 19:58:15 [19:58:15.759] INFO: ivc-integration:test:native merge verified?: 1 (mem: 187.90 MiB) 19:58:15 eccvm verified?: 1 (mem: 187.90 MiB) 19:58:15 accumulator construction_verified?: 1 (mem: 187.90 MiB) 19:58:15 translation verified?: 1 (mem: 187.90 MiB) 19:58:15 consistency verified?: 1 (mem: 187.90 MiB) 19:58:15 Goblin verified: 1 (mem: 187.90 MiB) 19:58:15 [19:58:15.764] INFO: ivc-integration:test:native verified: 1 (mem: 187.90 MiB) 19:58:15 PASS src/native_client_ivc_integration.test.ts (71.792 s) 19:58:15 Client IVC Integration 19:58:15 ✓ Should generate a verifiable client IVC proof from a simple mock tx (39110 ms) 19:58:15 ✓ Should generate a verifiable client IVC proof from a complex mock tx (29127 ms) 19:58:15 19:58:15 Test Suites: 1 passed, 1 total 19:58:15 Tests: 2 passed, 2 total 19:58:15 Snapshots: 0 total 19:58:15 Time: 71.908 s 19:58:15 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 19:58:15 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?