Parent Log: http://ci.aztec-labs.com/88af6abc5e7063c3 Command: dc9591c437eedcb5: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/42440bd429a3b283b3a344db0be4652d818bd261 Env: REF_NAME=gh-readonly-queue/next/pr-15046-2469b5f1633350f6be15733c04242af1cdc98227 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 19:45:00 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15046_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 19:45:04 [19:45:04.829] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-umzTsa/ivc-inputs.msgpack 19:45:04 [19:45:04.836] 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-umzTsa --ivc_inputs_path /tmp/bb-client-ivc-integration-umzTsa/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 19:45:04 [19:45:04.863] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.89 MiB) 19:45:04 [19:45:04.865] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.89 MiB) 19:45:04 --scheme: client_ivc (mem: 184.89 MiB) 19:45:04 --output_path: /tmp/bb-client-ivc-integration-umzTsa (mem: 184.89 MiB) 19:45:04 --ivc_inputs_path: /tmp/bb-client-ivc-integration-umzTsa/ivc-inputs.msgpack (mem: 184.89 MiB) 19:45:04 --verbose: true (mem: 184.89 MiB) 19:45:04 --write_vk: true (mem: 184.89 MiB) 19:45:04 [19:45:04.865] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.89 MiB) 19:45:04 [19:45:04.979] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.00 MiB) 19:45:05 [19:45:05.051] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 291.40 MiB) 19:45:05 [19:45:05.053] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 291.40 MiB) 19:45:05 [19:45:05.053] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 291.40 MiB) 19:45:05 [19:45:05.056] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 291.40 MiB) 19:45:05 goblin ecc op : 4/1024 (mem: 291.40 MiB) 19:45:05 busread : 7/6000 (mem: 291.40 MiB) 19:45:05 [19:45:05.058] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 291.40 MiB) 19:45:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 291.40 MiB) 19:45:05 arithmetic : 1760/56000 (mem: 291.40 MiB) 19:45:05 delta range : 1754/18000 (mem: 291.40 MiB) 19:45:05 elliptic : 2/6000 (mem: 291.40 MiB) 19:45:05 auxiliary : 26/26000 (mem: 291.40 MiB) 19:45:05 poseidon ext : 2/17000 (mem: 291.40 MiB) 19:45:05 poseidon int : 2/92000 (mem: 291.40 MiB) 19:45:05 overflow : 0/0 (mem: 291.40 MiB) 19:45:05 (mem: 291.40 MiB) 19:45:05 Total structured size: 242025 (mem: 291.40 MiB) 19:45:05 allocating polynomials object in proving key... (mem: 291.40 MiB) 19:45:05 [19:45:05.157] INFO: ivc-integration:test:native bb - populating trace... (mem: 495.55 MiB) 19:45:05 [19:45:05.168] INFO: ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 508.55 MiB) 19:45:05 [19:45:05.199] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c013ef4f640 (mem: 508.55 MiB) 19:45:05 computing oink proof... (mem: 508.55 MiB) 19:45:05 [19:45:05.200] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 508.55 MiB) 19:45:05 [19:45:05.365] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 518.55 MiB) 19:45:05 [19:45:05.375] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.55 MiB) 19:45:05 [19:45:05.394] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 518.55 MiB) 19:45:05 Constructing DeciderProvingKey (mem: 518.55 MiB) 19:45:05 [19:45:05.398] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 518.55 MiB) 19:45:05 goblin ecc op : 56/1024 (mem: 518.55 MiB) 19:45:05 busread : 12/6000 (mem: 518.55 MiB) 19:45:05 lookups : 2/15000 (mem: 518.55 MiB) 19:45:05 [19:45:05.398] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 518.55 MiB) 19:45:05 arithmetic : 4625/56000 (mem: 518.55 MiB) 19:45:05 delta range : 2054/18000 (mem: 518.55 MiB) 19:45:05 elliptic : 2/6000 (mem: 518.55 MiB) 19:45:05 auxiliary : 110/26000 (mem: 518.55 MiB) 19:45:05 poseidon ext : 1302/17000 (mem: 518.55 MiB) 19:45:05 poseidon int : 7412/92000 (mem: 518.55 MiB) 19:45:05 overflow : 0/0 (mem: 518.55 MiB) 19:45:05 (mem: 518.55 MiB) 19:45:05 Total structured size: 242025 (mem: 518.55 MiB) 19:45:05 allocating polynomials object in proving key... (mem: 518.55 MiB) 19:45:05 [19:45:05.505] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.55 MiB) 19:45:05 [19:45:05.533] INFO: ivc-integration:test:native bb - time to construct proving key: 138 ms. (mem: 744.55 MiB) 19:45:05 [19:45:05.614] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c013ef5c300 (mem: 744.55 MiB) 19:45:05 computing folding proof (mem: 744.55 MiB) 19:45:05 [19:45:05.616] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 744.55 MiB) 19:45:06 [19:45:06.139] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 744.55 MiB) 19:45:06 [19:45:06.257] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.55 MiB) 19:45:06 [19:45:06.331] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 815.55 MiB) 19:45:06 [19:45:06.751] INFO: ivc-integration:test:native bb - folded (mem: 815.55 MiB) 19:45:06 constructed folding proof (mem: 815.55 MiB) 19:45:06 [19:45:06.771] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 815.55 MiB) 19:45:06 [19:45:06.852] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.55 MiB) 19:45:06 Constructing DeciderProvingKey (mem: 815.55 MiB) 19:45:06 [19:45:06.854] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.55 MiB) 19:45:06 [19:45:06.856] INFO: ivc-integration:test:native bb - 19:45:06 goblin ecc op : 392/1024 (mem: 815.55 MiB) 19:45:06 busread : 3/6000 (mem: 815.55 MiB) 19:45:06 lookups : 2/15000 (mem: 815.55 MiB) 19:45:06 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.55 MiB) 19:45:06 arithmetic : 6849/56000 (mem: 815.55 MiB) 19:45:06 delta range : 2333/18000 (mem: 815.55 MiB) 19:45:06 elliptic : 2/6000 (mem: 815.55 MiB) 19:45:06 auxiliary : 50/26000 (mem: 815.55 MiB) 19:45:06 poseidon ext : 2472/17000 (mem: 815.55 MiB) 19:45:06 poseidon int : 14081/92000 (mem: 815.55 MiB) 19:45:06 overflow : 0/0 (mem: 815.55 MiB) 19:45:06 (mem: 815.55 MiB) 19:45:06 Total structured size: 242025 (mem: 815.55 MiB) 19:45:06 allocating polynomials object in proving key... (mem: 815.55 MiB) 19:45:06 [19:45:06.964] INFO: ivc-integration:test:native bb - populating trace... (mem: 815.55 MiB) 19:45:07 [19:45:07.021] INFO: ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 815.55 MiB) 19:45:07 [19:45:07.229] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c013ef49200 (mem: 815.55 MiB) 19:45:07 computing folding proof (mem: 815.55 MiB) 19:45:07 [19:45:07.231] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.55 MiB) 19:45:07 [19:45:07.857] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.55 MiB) 19:45:08 [19:45:08.013] INFO: ivc-integration:test:native bb - perturbator round (mem: 815.55 MiB) 19:45:08 [19:45:08.090] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 815.55 MiB) 19:45:08 [19:45:08.565] INFO: ivc-integration:test:native bb - folded (mem: 815.55 MiB) 19:45:08 constructed folding proof (mem: 815.55 MiB) 19:45:08 [19:45:08.576] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 815.55 MiB) 19:45:08 Minimum required block sizes for structured trace: (mem: 815.55 MiB) 19:45:08 (mem: 815.55 MiB) 19:45:08 prove decider... (mem: 815.55 MiB) 19:45:08 [19:45:08.577] INFO: ivc-integration:test:native bb - ecc_op : 392 19:45:08 busread : 12 19:45:08 lookup : 2 19:45:08 pub_inputs : 36 19:45:08 arithmetic : 6849 19:45:08 delta_range : 2333 19:45:08 elliptic : 2 19:45:08 aux : 110 19:45:08 poseidon2_external : 2472 19:45:08 poseidon2_internal : 14081 19:45:08 overflow : 0 19:45:08 [19:45:08.774] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.55 MiB) 19:45:09 [19:45:09.019] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 815.55 MiB) 19:45:10 [19:45:10.104] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.55 MiB) 19:45:10 [19:45:10.196] INFO: ivc-integration:test:native bb - computed opening proof (mem: 815.55 MiB) 19:45:10 finished decider proving. (mem: 815.55 MiB) 19:45:10 [19:45:10.211] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.55 MiB) 19:45:10 [19:45:10.344] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 815.55 MiB) 19:45:10 [19:45:10.349] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 815.55 MiB) 19:45:10 [19:45:10.525] INFO: ivc-integration:test:native bb - populating trace... (mem: 815.55 MiB) 19:45:10 [19:45:10.609] INFO: ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 815.55 MiB) 19:45:11 [19:45:11.824] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 815.55 MiB) 19:45:12 [19:45:12.467] INFO: ivc-integration:test:native bb - created oink proof (mem: 815.55 MiB) 19:45:12 [19:45:12.812] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.55 MiB) 19:45:14 [19:45:14.642] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.55 MiB) 19:45:15 [19:45:15.768] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.55 MiB) 19:45:15 [19:45:15.804] INFO: ivc-integration:test:native bb - computed opening proof (mem: 815.55 MiB) 19:45:15 finished decider proving. (mem: 815.55 MiB) 19:45:15 Constructing a Goblin proof with num ultra ops = 1038 (mem: 815.55 MiB) 19:45:16 [19:45:16.029] INFO: ivc-integration:test:native bb - prove eccvm... 19:45:16 [19:45:16.032] INFO: ivc-integration:test:native bb - (mem: 815.55 MiB) 19:45:16 [19:45:16.422] 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: 815.55 MiB) 19:45:16 [19:45:16.440] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 19:45:16 [19:45:16.440] INFO: ivc-integration:test:native bb - (mem: 815.55 MiB) 19:45:18 [19:45:18.487] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.55 MiB) 19:45:20 [19:45:20.853] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.55 MiB) 19:45:26 [19:45:26.239] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 19:45:26 [19:45:26.239] INFO: ivc-integration:test:native bb - 815.55 MiB) 19:45:26 prove translator... (mem: 815.55 MiB) 19:45:28 [19:45:28.913] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.76 MiB) 19:45:31 [19:45:31.624] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 19:45:31 [19:45:31.625] INFO: ivc-integration:test:native bb - (mem: 846.76 MiB) 19:45:34 [19:45:34.223] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.76 MiB) 19:45:34 finished translator proving. (mem: 846.76 MiB) 19:45:34 [19:45:34.227] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 19:45:34 [19:45:34.228] INFO: ivc-integration:test:native bb - (mem: 846.76 MiB) 19:45:34 [19:45:34.247] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 846.76 MiB) 19:45:34 libra_evals_verified: 1 (mem: 846.76 MiB) 19:45:34 pairing_check_verified: 1 (mem: 846.76 MiB) 19:45:34 Mega verified: 1 (mem: 846.76 MiB) 19:45:34 [19:45:34.369] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 847.76 MiB) 19:45:34 batch opening verified?: 1 (mem: 847.76 MiB) 19:45:34 eccvm consistency check verified?: 1 (mem: 847.76 MiB) 19:45:34 translation masking consistency checked?: 1 (mem: 19:45:34 [19:45:34.370] INFO: ivc-integration:test:native bb - 847.76 MiB) 19:45:34 [19:45:34.414] INFO: ivc-integration:test:native bb - merge verified?: 1 19:45:34 [19:45:34.415] INFO: ivc-integration:test:native bb - (mem: 19:45:34 [19:45:34.418] INFO: ivc-integration:test:native bb - 847.76 MiB) 19:45:34 eccvm verified?: 1 (mem: 847.76 MiB) 19:45:34 accumulator construction_verified?: 1 (mem: 847.76 MiB) 19:45:34 translation verified?: 1 (mem: 847.76 MiB) 19:45:34 consistency verified?: 1 (mem: 847.76 MiB) 19:45:34 Goblin verified: 1 (mem: 847.76 MiB) 19:45:34 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-umzTsa" (mem: 847.76 MiB) 19:45:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-umzTsa" (mem: 847.76 MiB) 19:45:34 BN254 commitment key size: 262144 (mem: 847.76 MiB) 19:45:34 [19:45:34.421] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.76 MiB) 19:45:34 [19:45:34.425] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.76 MiB) 19:45:34 goblin ecc op : 4/1024 (mem: 847.76 MiB) 19:45:34 busread : 3/6000 (mem: 847.76 MiB) 19:45:34 lookups : 2/15000 (mem: 847.76 MiB) 19:45:34 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 847.76 MiB) 19:45:34 arithmetic : 1773/56000 (mem: 847.76 MiB) 19:45:34 delta range : 1754/18000 (mem: 847.76 MiB) 19:45:34 elliptic : 2/6000 (mem: 847.76 MiB) 19:45:34 auxiliary : 26/26000 (mem: 19:45:34 [19:45:34.426] INFO: ivc-integration:test:native bb - 847.76 MiB) 19:45:34 poseidon ext : 2/17000 (mem: 847.76 MiB) 19:45:34 poseidon int : 2/92000 (mem: 847.76 MiB) 19:45:34 overflow : 0/0 (mem: 847.76 MiB) 19:45:34 (mem: 847.76 MiB) 19:45:34 Total structured size: 242025 (mem: 847.76 MiB) 19:45:34 allocating polynomials object in proving key... (mem: 847.76 MiB) 19:45:34 [19:45:34.737] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.76 MiB) 19:45:34 [19:45:34.766] INFO: ivc-integration:test:native bb - time to construct proving key: 343 ms. (mem: 847.76 MiB) 19:45:34 [19:45:34.916] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.76 MiB) 19:45:35 [19:45:35.930] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 847.76 MiB) 19:45:35 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.76 MiB) 19:45:36 [19:45:36.442] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 847.76 MiB) 19:45:36 [19:45:36.454] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.76 MiB) 19:45:36 [19:45:36.486] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.76 MiB) 19:45:36 [19:45:36.490] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.76 MiB) 19:45:36 goblin ecc op : 56/1024 (mem: 847.76 MiB) 19:45:36 busread : 3/6000 (mem: 847.76 MiB) 19:45:36 lookups : 2/15000 (mem: 847.76 MiB) 19:45:36 [19:45:36.495] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.76 MiB) 19:45:36 arithmetic : 4481/56000 (mem: 847.76 MiB) 19:45:36 delta range : 2041/18000 (mem: 847.76 MiB) 19:45:36 elliptic : 2/6000 (mem: 847.76 MiB) 19:45:36 auxiliary : 50/26000 (mem: 847.76 MiB) 19:45:36 poseidon ext : 1312/17000 (mem: 847.76 MiB) 19:45:36 poseidon int : 7469/92000 (mem: 847.76 MiB) 19:45:36 overflow : 0/0 (mem: 847.76 MiB) 19:45:36 (mem: 847.76 MiB) 19:45:36 Total structured size: 242025 (mem: 847.76 MiB) 19:45:36 allocating polynomials object in proving key... (mem: 847.76 MiB) 19:45:36 [19:45:36.683] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.76 MiB) 19:45:36 [19:45:36.712] INFO: ivc-integration:test:native bb - time to construct proving key: 225 ms. (mem: 847.76 MiB) 19:45:36 [19:45:36.987] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.76 MiB) 19:45:37 [19:45:37.833] INFO: ivc-integration:test:native bb - computing folding proof 19:45:37 [19:45:37.834] INFO: ivc-integration:test:native bb - (mem: 847.76 MiB) 19:45:37 [19:45:37.835] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 847.76 MiB) 19:45:38 [19:45:38.788] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.76 MiB) 19:45:38 [19:45:38.974] INFO: ivc-integration:test:native bb - perturbator round 19:45:38 [19:45:38.975] INFO: ivc-integration:test:native bb - (mem: 848.76 MiB) 19:45:39 [19:45:39.042] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 880.76 MiB) 19:45:39 [19:45:39.471] INFO: ivc-integration:test:native bb - folded (mem: 880.76 MiB) 19:45:39 constructed folding proof (mem: 880.76 MiB) 19:45:39 [19:45:39.485] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 880.76 MiB) 19:45:39 Minimum required block sizes for structured trace: (mem: 880.76 MiB) 19:45:39 (mem: 880.76 MiB) 19:45:39 prove decider... (mem: 880.76 MiB) 19:45:39 [19:45:39.485] INFO: ivc-integration:test:native bb - ecc_op : 56 19:45:39 busread : 3 19:45:39 lookup : 2 19:45:39 pub_inputs : 36 19:45:39 arithmetic : 4481 19:45:39 delta_range : 2041 19:45:39 elliptic : 2 19:45:39 aux : 50 19:45:39 poseidon2_external : 1312 19:45:39 poseidon2_internal : 7469 19:45:39 overflow : 0 19:45:39 [19:45:39.824] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 880.76 MiB) 19:45:40 [19:45:40.142] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 880.76 MiB) 19:45:41 [19:45:41.284] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.76 MiB) 19:45:41 [19:45:41.380] INFO: ivc-integration:test:native bb - computed opening proof (mem: 880.76 MiB) 19:45:41 finished decider proving. (mem: 880.76 MiB) 19:45:41 [19:45:41.397] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 880.76 MiB) 19:45:41 [19:45:41.508] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 880.76 MiB) 19:45:41 [19:45:41.516] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 880.76 MiB) 19:45:41 [19:45:41.803] INFO: ivc-integration:test:native bb - populating trace... (mem: 880.76 MiB) 19:45:41 [19:45:41.850] INFO: ivc-integration:test:native bb - time to construct proving key: 341 ms. (mem: 880.76 MiB) 19:45:42 [19:45:42.631] 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-umzTsa/proof -k /tmp/bb-client-ivc-integration-umzTsa/vk -v 19:45:42 [19:45:42.654] INFO: ivc-integration:test:native bb command: verify (mem: 184.33 MiB) 19:45:42 Scheme is: client_ivc, num threads: 128 (mem: 184.33 MiB) 19:45:42 --proof_path: /tmp/bb-client-ivc-integration-umzTsa/proof (mem: 184.33 MiB) 19:45:42 --vk_path: /tmp/bb-client-ivc-integration-umzTsa/vk (mem: 184.33 MiB) 19:45:42 --verbose: true (mem: 184.33 MiB) 19:45:42 --scheme: client_ivc (mem: 184.33 MiB) 19:45:42 [19:45:42.750] 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.33 MiB) 19:45:42 [19:45:42.778] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.33 MiB) 19:45:42 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.33 MiB) 19:45:42 [19:45:42.797] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.33 MiB) 19:45:42 [19:45:42.800] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 184.33 MiB) 19:45:42 sumcheck_verified: 1 (mem: 184.33 MiB) 19:45:42 libra_evals_verified: 1 (mem: 184.33 MiB) 19:45:42 pairing_check_verified: 1 (mem: 184.33 MiB) 19:45:42 Mega verified: 1 (mem: 184.33 MiB) 19:45:42 [19:45:42.880] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.27 MiB) 19:45:42 batch opening verified?: 1 (mem: 190.27 MiB) 19:45:42 eccvm consistency check verified?: 1 (mem: 190.27 MiB) 19:45:42 translation masking consistency checked?: 1 (mem: 190.27 19:45:42 [19:45:42.881] INFO: ivc-integration:test:native MiB) 19:45:42 [19:45:42.905] INFO: ivc-integration:test:native merge verified?: 1 (mem: 190.27 MiB) 19:45:42 eccvm verified?: 1 (mem: 190.27 MiB) 19:45:42 accumulator construction_verified?: 1 (mem: 190.27 MiB) 19:45:42 translation verified?: 1 (mem: 190.27 MiB) 19:45:42 consistency verified?: 1 (mem: 190.27 MiB) 19:45:42 Goblin verified: 1 (mem: 190.27 MiB) 19:45:42 [19:45:42.908] INFO: ivc-integration:test:native verified: 1 (mem: 190.27 MiB) 19:45:43 [19:45:43.005] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ib4yjn/ivc-inputs.msgpack 19:45:43 [19:45:43.006] 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-ib4yjn --ivc_inputs_path /tmp/bb-client-ivc-integration-ib4yjn/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 19:45:43 [19:45:43.043] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.74 MiB) 19:45:43 Scheme is: client_ivc, num threads: 128 (mem: 184.74 MiB) 19:45:43 --scheme: client_ivc (mem: 184.74 MiB) 19:45:43 --output_path: /tmp/bb-client-ivc-integration-ib4yjn (mem: 184.74 MiB) 19:45:43 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ib4yjn/ivc-inputs.msgpack (mem: 184.74 MiB) 19:45:43 --verbose: true (mem: 184.74 MiB) 19:45:43 --write_vk: true (mem: 184.74 MiB) 19:45:43 [19:45:43.056] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.74 MiB) 19:45:43 [19:45:43.187] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.00 MiB) 19:45:43 [19:45:43.280] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 304.74 MiB) 19:45:43 [19:45:43.285] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 304.74 MiB) 19:45:43 Constructing DeciderProvingKey (mem: 304.74 MiB) 19:45:43 [19:45:43.293] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 304.74 MiB) 19:45:43 goblin ecc op : 4/1024 (mem: 304.74 MiB) 19:45:43 busread : 7/6000 (mem: 304.74 MiB) 19:45:43 lookups : 2/15000 (mem: 304.74 MiB) 19:45:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 304.74 MiB) 19:45:43 arithmetic : 1760/56000 (mem: 304.74 MiB) 19:45:43 delta range : 1754/18000 (mem: 304.74 MiB) 19:45:43 elliptic : 2/6000 (mem: 304.74 MiB) 19:45:43 auxiliary : 26/26000 (mem: 304.74 MiB) 19:45:43 poseidon ext : 2/17000 (mem: 304.74 MiB) 19:45:43 poseidon int : 2/92000 (mem: 304.74 MiB) 19:45:43 overflow : 0/0 (mem: 304.74 MiB) 19:45:43 (mem: 304.74 MiB) 19:45:43 Total structured size: 242025 (mem: 304.74 MiB) 19:45:43 allocating polynomials object in proving key... (mem: 304.74 MiB) 19:45:43 [19:45:43.446] INFO: ivc-integration:test:native bb - populating trace... (mem: 504.74 MiB) 19:45:43 [19:45:43.462] INFO: ivc-integration:test:native bb - time to construct proving key: 176 ms. (mem: 513.74 MiB) 19:45:43 [19:45:43.548] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da384fe480 (mem: 513.74 MiB) 19:45:43 computing oink proof... (mem: 513.74 MiB) 19:45:43 [19:45:43.549] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.74 MiB) 19:45:43 [19:45:43.837] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.74 19:45:43 [19:45:43.838] INFO: ivc-integration:test:native bb - MiB) 19:45:43 [19:45:43.847] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.74 MiB) 19:45:43 [19:45:43.875] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.74 MiB) 19:45:43 Constructing DeciderProvingKey (mem: 523.74 MiB) 19:45:43 [19:45:43.878] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.74 MiB) 19:45:43 goblin ecc op : 56/1024 (mem: 523.74 MiB) 19:45:43 [19:45:43.879] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 523.74 MiB) 19:45:43 lookups : 2/15000 (mem: 523.74 MiB) 19:45:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.74 MiB) 19:45:43 arithmetic : 4625/56000 (mem: 523.74 MiB) 19:45:43 delta range : 2054/18000 (mem: 523.74 MiB) 19:45:43 elliptic : 2/6000 (mem: 523.74 MiB) 19:45:43 auxiliary : 110/26000 (mem: 523.74 MiB) 19:45:43 poseidon ext : 1302/17000 (mem: 523.74 MiB) 19:45:43 poseidon int : 7412/92000 (mem: 523.74 MiB) 19:45:43 overflow : 0/0 (mem: 523.74 MiB) 19:45:43 (mem: 523.74 MiB) 19:45:43 Total structured size: 242025 (mem: 523.74 MiB) 19:45:43 allocating polynomials object in proving key... (mem: 523.74 MiB) 19:45:44 [19:45:44.176] INFO: ivc-integration:test:native bb - populating trace... (mem: 732.74 MiB) 19:45:44 [19:45:44.234] INFO: ivc-integration:test:native bb - time to construct proving key: 360 ms. (mem: 748.74 MiB) 19:45:44 [19:45:44.315] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da38507700 (mem: 748.74 MiB) 19:45:44 computing folding proof (mem: 748.74 MiB) 19:45:44 [19:45:44.319] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 748.74 MiB) 19:45:45 [19:45:45.017] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 751.74 MiB) 19:45:45 [19:45:45.150] INFO: ivc-integration:test:native bb - perturbator round (mem: 789.74 MiB) 19:45:45 [19:45:45.209] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.74 MiB) 19:45:45 [19:45:45.625] INFO: ivc-integration:test:native bb - folded (mem: 821.74 MiB) 19:45:45 constructed folding proof (mem: 821.74 MiB) 19:45:45 [19:45:45.631] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.74 MiB) 19:45:45 [19:45:45.632] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 821.74 MiB) 19:45:45 [19:45:45.637] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.74 MiB) 19:45:45 goblin ecc op : 4/1024 (mem: 821.74 MiB) 19:45:45 busread : 7/6000 19:45:45 [19:45:45.638] INFO: ivc-integration:test:native bb - (mem: 821.74 MiB) 19:45:45 lookups : 2/15000 (mem: 821.74 MiB) 19:45:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.74 MiB) 19:45:45 arithmetic : 1760/56000 (mem: 821.74 MiB) 19:45:45 delta range : 1754/18000 (mem: 821.74 MiB) 19:45:45 elliptic : 2/6000 (mem: 821.74 MiB) 19:45:45 auxiliary : 26/26000 (mem: 821.74 MiB) 19:45:45 poseidon ext : 2/17000 (mem: 821.74 MiB) 19:45:45 poseidon int : 2/92000 (mem: 821.74 MiB) 19:45:45 overflow : 0/0 (mem: 821.74 MiB) 19:45:45 (mem: 821.74 MiB) 19:45:45 Total structured size: 242025 (mem: 821.74 MiB) 19:45:45 allocating polynomials object in proving key... (mem: 821.74 MiB) 19:45:45 [19:45:45.736] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.74 MiB) 19:45:45 [19:45:45.757] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 821.74 MiB) 19:45:45 [19:45:45.869] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da384fecc0 (mem: 821.74 MiB) 19:45:45 computing folding proof (mem: 821.74 MiB) 19:45:45 [19:45:45.870] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.74 MiB) 19:45:46 [19:45:46.240] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.74 MiB) 19:45:46 [19:45:46.364] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.74 MiB) 19:45:46 [19:45:46.414] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.74 MiB) 19:45:46 [19:45:46.779] INFO: ivc-integration:test:native bb - folded (mem: 821.74 MiB) 19:45:46 constructed folding proof (mem: 19:45:46 [19:45:46.780] INFO: ivc-integration:test:native bb - 821.74 MiB) 19:45:46 [19:45:46.791] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 821.74 MiB) 19:45:46 [19:45:46.853] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.74 MiB) 19:45:46 [19:45:46.945] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.74 MiB) 19:45:46 Constructing DeciderProvingKey (mem: 821.74 MiB) 19:45:46 [19:45:46.950] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.74 MiB) 19:45:46 goblin ecc op : 792/1024 (mem: 821.74 MiB) 19:45:46 busread : 12/6000 (mem: 821.74 MiB) 19:45:46 lookups : 2/15000 (mem: 821.74 MiB) 19:45:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.74 MiB) 19:45:46 arithmetic : 12080/56000 (mem: 821.74 MiB) 19:45:46 delta range : 2942/18000 19:45:46 [19:45:46.951] INFO: ivc-integration:test:native bb - (mem: 821.74 MiB) 19:45:46 elliptic : 2/6000 (mem: 821.74 MiB) 19:45:46 auxiliary : 350/26000 (mem: 821.74 MiB) 19:45:46 poseidon ext : 4942/17000 (mem: 821.74 MiB) 19:45:46 poseidon int : 28160/92000 (mem: 821.74 MiB) 19:45:46 overflow : 0/0 (mem: 821.74 MiB) 19:45:46 (mem: 821.74 MiB) 19:45:46 Total structured size: 242025 (mem: 821.74 MiB) 19:45:46 allocating polynomials object in proving key... (mem: 821.74 MiB) 19:45:47 [19:45:47.040] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.74 MiB) 19:45:47 [19:45:47.076] INFO: ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 821.74 MiB) 19:45:47 [19:45:47.171] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da3857c540 (mem: 821.74 MiB) 19:45:47 computing folding proof (mem: 821.74 MiB) 19:45:47 [19:45:47.172] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 821.74 MiB) 19:45:47 [19:45:47.519] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.74 MiB) 19:45:47 [19:45:47.648] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.74 MiB) 19:45:47 [19:45:47.711] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.55 MiB) 19:45:48 [19:45:48.050] INFO: ivc-integration:test:native bb - folded (mem: 850.55 MiB) 19:45:48 constructed folding proof (mem: 850.55 MiB) 19:45:48 [19:45:48.058] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.55 MiB) 19:45:48 [19:45:48.134] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.55 MiB) 19:45:48 Constructing DeciderProvingKey (mem: 850.55 MiB) 19:45:48 [19:45:48.139] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.55 MiB) 19:45:48 goblin ecc op : 392/1024 (mem: 850.55 MiB) 19:45:48 busread : 16/6000 (mem: 850.55 19:45:48 [19:45:48.140] INFO: ivc-integration:test:native bb - MiB) 19:45:48 lookups : 2/15000 (mem: 850.55 MiB) 19:45:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.55 MiB) 19:45:48 arithmetic : 6914/56000 (mem: 850.55 MiB) 19:45:48 delta range : 2347/18000 (mem: 850.55 MiB) 19:45:48 elliptic : 2/6000 (mem: 850.55 MiB) 19:45:48 auxiliary : 77/26000 (mem: 850.55 MiB) 19:45:48 poseidon ext : 2472/17000 (mem: 850.55 MiB) 19:45:48 poseidon int : 14081/92000 (mem: 850.55 MiB) 19:45:48 overflow : 0/0 (mem: 850.55 MiB) 19:45:48 (mem: 850.55 MiB) 19:45:48 Total structured size: 242025 (mem: 850.55 MiB) 19:45:48 allocating polynomials object in proving key... (mem: 850.55 MiB) 19:45:48 [19:45:48.248] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.55 MiB) 19:45:48 [19:45:48.282] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 850.55 MiB) 19:45:48 [19:45:48.438] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da3850e0c0 (mem: 850.55 MiB) 19:45:48 computing folding proof (mem: 850.55 MiB) 19:45:48 [19:45:48.439] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.55 MiB) 19:45:48 [19:45:48.850] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.55 MiB) 19:45:48 [19:45:48.956] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.55 MiB) 19:45:49 [19:45:49.022] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.37 MiB) 19:45:49 [19:45:49.290] INFO: ivc-integration:test:native bb - folded (mem: 851.37 MiB) 19:45:49 constructed folding proof (mem: 851.37 MiB) 19:45:49 [19:45:49.302] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 851.37 MiB) 19:45:49 [19:45:49.382] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 851.37 MiB) 19:45:49 Constructing DeciderProvingKey (mem: 851.37 MiB) 19:45:49 [19:45:49.386] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.37 MiB) 19:45:49 goblin ecc op : 392/1024 (mem: 851.37 MiB) 19:45:49 busread : 3/6000 (mem: 851.37 MiB) 19:45:49 lookups : 2/15000 (mem: 851.37 MiB) 19:45:49 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.37 MiB) 19:45:49 arithmetic : 6849/56000 (mem: 851.37 MiB) 19:45:49 [19:45:49.387] INFO: ivc-integration:test:native bb - delta range : 2333/18000 (mem: 851.37 MiB) 19:45:49 elliptic : 2/6000 (mem: 851.37 MiB) 19:45:49 auxiliary : 50/26000 (mem: 851.37 MiB) 19:45:49 poseidon ext : 2472/17000 (mem: 851.37 MiB) 19:45:49 poseidon int : 14081/92000 (mem: 851.37 MiB) 19:45:49 overflow : 0/0 (mem: 851.37 MiB) 19:45:49 (mem: 851.37 MiB) 19:45:49 Total structured size: 242025 (mem: 851.37 MiB) 19:45:49 allocating polynomials object in proving key... (mem: 851.37 MiB) 19:45:49 [19:45:49.470] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.37 MiB) 19:45:49 [19:45:49.508] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 851.37 MiB) 19:45:49 [19:45:49.678] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da385632c0 (mem: 851.37 MiB) 19:45:49 computing folding proof (mem: 851.37 MiB) 19:45:49 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.37 MiB) 19:45:50 [19:45:50.059] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.37 MiB) 19:45:50 [19:45:50.162] INFO: ivc-integration:test:native bb - perturbator round (mem: 19:45:50 [19:45:50.163] INFO: ivc-integration:test:native bb - 851.37 MiB) 19:45:50 [19:45:50.244] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.86 MiB) 19:45:50 [19:45:50.434] INFO: ivc-integration:test:native bb - folded (mem: 851.86 MiB) 19:45:50 constructed folding proof (mem: 851.86 MiB) 19:45:50 [19:45:50.436] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 851.86 MiB) 19:45:50 Minimum required block sizes for structured trace: (mem: 851.86 MiB) 19:45:50 (mem: 851.86 MiB) 19:45:50 prove decider... (mem: 851.86 MiB) 19:45:50 [19:45:50.436] INFO: ivc-integration:test:native bb - ecc_op : 792 19:45:50 busread : 16 19:45:50 lookup : 2 19:45:50 pub_inputs : 36 19:45:50 arithmetic : 12080 19:45:50 delta_range : 2942 19:45:50 elliptic : 2 19:45:50 aux : 350 19:45:50 poseidon2_external : 4942 19:45:50 poseidon2_internal : 28160 19:45:50 overflow : 0 19:45:50 [19:45:50.555] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.86 MiB) 19:45:50 [19:45:50.677] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.86 MiB) 19:45:51 [19:45:51.335] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.86 MiB) 19:45:51 [19:45:51.420] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.86 MiB) 19:45:51 finished decider proving. (mem: 851.86 MiB) 19:45:51 [19:45:51.435] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.86 MiB) 19:45:51 [19:45:51.540] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.86 MiB) 19:45:51 [19:45:51.547] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 19:45:51 [19:45:51.548] INFO: ivc-integration:test:native bb - (mem: 851.86 MiB) 19:45:51 [19:45:51.549] INFO: ivc-integration:test:native bb - 19:45:51 [19:45:51.641] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.86 MiB) 19:45:51 [19:45:51.677] INFO: ivc-integration:test:native bb - time to construct proving key: 137 ms. (mem: 851.86 MiB) 19:45:52 [19:45:52.191] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.86 MiB) 19:45:52 [19:45:52.562] INFO: ivc-integration:test:native bb - created oink proof (mem: 851.86 MiB) 19:45:52 [19:45:52.750] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.86 MiB) 19:45:53 [19:45:53.316] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.86 MiB) 19:45:53 [19:45:53.890] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.86 MiB) 19:45:53 [19:45:53.915] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.86 MiB) 19:45:53 finished decider proving. (mem: 851.86 MiB) 19:45:53 [19:45:53.915] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.86 MiB) 19:45:54 [19:45:54.093] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 851.86 MiB) 19:45:54 [19:45:54.387] 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: 851.86 MiB) 19:45:54 [19:45:54.400] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.86 MiB) 19:45:55 [19:45:55.571] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.86 MiB) 19:45:56 [19:45:56.988] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.86 MiB) 19:45:59 [19:45:59.638] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 851.86 MiB) 19:45:59 prove translator... (mem: 851.86 MiB) 19:46:02 [19:46:02.099] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 866.92 MiB) 19:46:04 [19:46:04.623] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 866.92 MiB) 19:46:07 [19:46:07.025] INFO: ivc-integration:test:native bb - computed opening proof 19:46:07 [19:46:07.026] INFO: ivc-integration:test:native bb - (mem: 866.92 MiB) 19:46:07 finished translator proving. (mem: 866.92 MiB) 19:46:07 [19:46:07.032] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 866.92 MiB) 19:46:07 [19:46:07.050] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 866.92 MiB) 19:46:07 libra_evals_verified: 1 (mem: 866.92 MiB) 19:46:07 pairing_check_verified: 1 (mem: 866.92 MiB) 19:46:07 [19:46:07.055] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 866.92 MiB) 19:46:07 [19:46:07.148] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 866.92 MiB) 19:46:07 batch opening verified?: 1 (mem: 866.92 MiB) 19:46:07 eccvm consistency check verified?: 1 (mem: 866.92 MiB) 19:46:07 translation masking consistency checked?: 1 (mem: 866.92 MiB) 19:46:07 [19:46:07.187] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 866.92 MiB) 19:46:07 eccvm verified?: 1 (mem: 866.92 MiB) 19:46:07 accumulator construction_verified?: 1 (mem: 866.92 MiB) 19:46:07 translation verified?: 1 (mem: 866.92 MiB) 19:46:07 consistency verified?: 1 (mem: 866.92 MiB) 19:46:07 Goblin verified: 1 (mem: 866.92 MiB) 19:46:07 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ib4yjn" (mem: 866.92 MiB) 19:46:07 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ib4yjn" (mem: 866.92 MiB) 19:46:07 BN254 commitment key size: 262144 (mem: 866.92 MiB) 19:46:07 [19:46:07.204] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.92 MiB) 19:46:07 [19:46:07.214] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.92 MiB) 19:46:07 goblin ecc op : 4/1024 (mem: 866.92 MiB) 19:46:07 busread : 3/6000 (mem: 866.92 MiB) 19:46:07 lookups : 2/15000 (mem: 866.92 MiB) 19:46:07 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 866.92 MiB) 19:46:07 arithmetic : 1773/56000 (mem: 866.92 MiB) 19:46:07 delta range : 1754/18000 (mem: 866.92 MiB) 19:46:07 elliptic : 2/6000 (mem: 866.92 MiB) 19:46:07 auxiliary : 26/26000 (mem: 866.92 MiB) 19:46:07 poseidon ext : 2/17000 (mem: 866.92 MiB) 19:46:07 poseidon int : 2/92000 (mem: 866.92 MiB) 19:46:07 overflow : 0/0 (mem: 866.92 MiB) 19:46:07 (mem: 866.92 MiB) 19:46:07 Total structured size: 242025 (mem: 866.92 MiB) 19:46:07 allocating polynomials object in proving key... (mem: 866.92 MiB) 19:46:07 [19:46:07.315] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.92 MiB) 19:46:07 [19:46:07.364] INFO: ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 866.92 MiB) 19:46:07 [19:46:07.438] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.92 MiB) 19:46:08 [19:46:08.139] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 866.92 MiB) 19:46:08 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.92 MiB) 19:46:08 [19:46:08.611] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 866.92 MiB) 19:46:08 [19:46:08.621] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.92 MiB) 19:46:08 [19:46:08.638] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.92 MiB) 19:46:08 [19:46:08.642] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.92 MiB) 19:46:08 goblin ecc op : 56/1024 (mem: 866.92 MiB) 19:46:08 busread : 3/6000 (mem: 866.92 MiB) 19:46:08 lookups : 2/15000 (mem: 866.92 MiB) 19:46:08 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 866.92 MiB) 19:46:08 arithmetic : 4481/56000 (mem: 866.92 MiB) 19:46:08 delta range : 2041/18000 (mem: 866.92 MiB) 19:46:08 elliptic : 2/6000 (mem: 866.92 MiB) 19:46:08 auxiliary : 50/26000 (mem: 866.92 MiB) 19:46:08 poseidon ext : 1312/17000 (mem: 866.92 MiB) 19:46:08 poseidon int : 7469/92000 (mem: 866.92 MiB) 19:46:08 overflow : 0/0 (mem: 866.92 MiB) 19:46:08 (mem: 866.92 MiB) 19:46:08 Total structured size: 242025 (mem: 866.92 MiB) 19:46:08 allocating polynomials object in proving key... (mem: 866.92 MiB) 19:46:08 [19:46:08.871] INFO: ivc-integration:test:native bb - populating trace... (mem: 866.92 MiB) 19:46:08 [19:46:08.900] INFO: ivc-integration:test:native bb - time to construct proving key: 250 ms. (mem: 866.92 MiB) 19:46:09 [19:46:09.079] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.92 MiB) 19:46:09 [19:46:09.649] INFO: ivc-integration:test:native bb - computing folding proof (mem: 866.92 MiB) 19:46:09 [19:46:09.650] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 866.92 MiB) 19:46:10 [19:46:10.174] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 866.92 MiB) 19:46:10 [19:46:10.266] INFO: ivc-integration:test:native bb - perturbator round (mem: 866.92 MiB) 19:46:10 [19:46:10.313] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 898.92 MiB) 19:46:10 [19:46:10.411] INFO: ivc-integration:test:native bb - folded (mem: 898.92 MiB) 19:46:10 constructed folding proof (mem: 898.92 MiB) 19:46:10 [19:46:10.412] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 898.92 MiB) 19:46:10 Minimum required block sizes for structured trace: (mem: 898.92 MiB) 19:46:10 (mem: 898.92 MiB) 19:46:10 prove decider... (mem: 898.92 MiB) 19:46:10 [19:46:10.412] INFO: ivc-integration:test:native bb - ecc_op : 56 19:46:10 busread : 3 19:46:10 lookup : 2 19:46:10 pub_inputs : 36 19:46:10 arithmetic : 4481 19:46:10 delta_range : 2041 19:46:10 elliptic : 2 19:46:10 aux : 50 19:46:10 poseidon2_external : 1312 19:46:10 poseidon2_internal : 7469 19:46:10 overflow : 0 19:46:10 [19:46:10.483] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 898.92 MiB) 19:46:10 [19:46:10.596] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 898.92 MiB) 19:46:11 [19:46:11.239] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 898.92 MiB) 19:46:11 [19:46:11.327] INFO: ivc-integration:test:native bb - computed opening proof (mem: 898.92 MiB) 19:46:11 finished decider proving. (mem: 898.92 MiB) 19:46:11 [19:46:11.338] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 898.92 MiB) 19:46:11 [19:46:11.466] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 898.92 MiB) 19:46:11 [19:46:11.473] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 898.92 MiB) 19:46:11 [19:46:11.559] INFO: ivc-integration:test:native bb - populating trace... (mem: 898.92 MiB) 19:46:11 [19:46:11.611] INFO: ivc-integration:test:native bb - time to construct proving key: 144 ms. (mem: 898.92 MiB) 19:46:12 [19:46:12.213] 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-ib4yjn/proof -k /tmp/bb-client-ivc-integration-ib4yjn/vk -v 19:46:12 [19:46:12.234] INFO: ivc-integration:test:native bb command: verify (mem: 190.02 MiB) 19:46:12 [19:46:12.235] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 190.02 MiB) 19:46:12 --proof_path: /tmp/bb-client-ivc-integration-ib4yjn/proof (mem: 190.02 MiB) 19:46:12 --vk_path: /tmp/bb-client-ivc-integration-ib4yjn/vk (mem: 190.02 MiB) 19:46:12 --verbose: true (mem: 190.02 MiB) 19:46:12 --scheme: client_ivc (mem: 190.02 MiB) 19:46:12 [19:46:12.317] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 190.02 MiB) 19:46:12 [19:46:12.334] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 190.02 MiB) 19:46:12 [19:46:12.335] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 190.02 MiB) 19:46:12 [19:46:12.350] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 190.02 MiB) 19:46:12 [19:46:12.351] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 190.02 MiB) 19:46:12 [19:46:12.351] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 190.02 MiB) 19:46:12 libra_evals_verified: 1 (mem: 190.02 MiB) 19:46:12 pairing_check_verified: 1 (mem: 190.02 MiB) 19:46:12 Mega verified: 1 (mem: 190.02 MiB) 19:46:12 [19:46:12.400] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.02 MiB) 19:46:12 batch opening verified?: 1 (mem: 190.02 MiB) 19:46:12 eccvm consistency check verified?: 1 (mem: 190.02 MiB) 19:46:12 translation masking consistency checked?: 1 (mem: 190.02 MiB) 19:46:12 [19:46:12.421] INFO: ivc-integration:test:native merge verified?: 1 (mem: 190.02 MiB) 19:46:12 eccvm verified?: 1 (mem: 190.02 MiB) 19:46:12 accumulator construction_verified?: 1 (mem: 19:46:12 [19:46:12.421] INFO: ivc-integration:test:native 190.02 MiB) 19:46:12 translation verified?: 1 (mem: 190.02 MiB) 19:46:12 consistency verified?: 1 (mem: 190.02 MiB) 19:46:12 Goblin verified: 1 (mem: 190.02 MiB) 19:46:12 [19:46:12.428] INFO: ivc-integration:test:native verified: 1 (mem: 190.02 MiB) 19:46:12 PASS src/native_client_ivc_integration.test.ts (71.167 s) 19:46:12 Client IVC Integration 19:46:12 Should generate a verifiable client IVC proof from a simple mock tx (38189 ms) 19:46:12 Should generate a verifiable client IVC proof from a complex mock tx (29501 ms) 19:46:12 19:46:12 Test Suites: 1 passed, 1 total 19:46:12 Tests: 2 passed, 2 total 19:46:12 Snapshots: 0 total 19:46:12 Time: 71.284 s 19:46:12 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 19:46:12 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?