ACI ·

Parent Log: http://ci.aztec-labs.com/fb293d5910c3fe73 Command: 02573248fd9c66ba: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/712835e3cfa2ed6f980f2d482aa4b0ae767046a7 Env: REF_NAME=gh-readonly-queue/next/pr-15077-4b0e4dc09fa55f0bc808fa0c7c3e95e8fa997069 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 21:03:22 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15077_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 21:03:27 [21:03:27.152] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-SX3WDq/ivc-inputs.msgpack 21:03:27 [21:03:27.158] 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-SX3WDq --ivc_inputs_path /tmp/bb-client-ivc-integration-SX3WDq/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 21:03:27 [21:03:27.179] INFO: ivc-integration:test:native bb - bb command: prove (mem: 179.96 MiB) 21:03:27 [21:03:27.180] INFO: ivc-integration:test:native bb - 21:03:27 Scheme is: client_ivc, num threads: 128 (mem: 179.96 MiB) 21:03:27 --scheme: client_ivc (mem: 179.96 MiB) 21:03:27 --output_path: /tmp/bb-client-ivc-integration-SX3WDq (mem: 179.96 MiB) 21:03:27 --ivc_inputs_path: /tmp/bb-client-ivc-integration-SX3WDq/ivc-inputs.msgpack (mem: 179.96 MiB) 21:03:27 --verbose: true (mem: 179.96 MiB) 21:03:27 --write_vk: true (mem: 179.96 MiB) 21:03:27 [21:03:27.181] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 179.96 MiB) 21:03:27 [21:03:27.290] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 244.00 MiB) 21:03:27 [21:03:27.370] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 292.72 MiB) 21:03:27 [21:03:27.374] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 292.72 MiB) 21:03:27 Constructing DeciderProvingKey (mem: 292.72 MiB) 21:03:27 [21:03:27.380] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 292.72 MiB) 21:03:27 goblin ecc op : 4/1024 (mem: 292.72 MiB) 21:03:27 busread : 7/6000 (mem: 292.72 MiB) 21:03:27 lookups : 2/15000 (mem: 292.72 MiB) 21:03:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 292.72 MiB) 21:03:27 arithmetic : 1760/56000 (mem: 292.72 MiB) 21:03:27 delta range : 1754/18000 (mem: 292.72 MiB) 21:03:27 elliptic : 2/6000 (mem: 292.72 MiB) 21:03:27 auxiliary : 26/26000 (mem: 292.72 MiB) 21:03:27 poseidon ext : 2/17000 (mem: 292.72 MiB) 21:03:27 poseidon int : 2/92000 (mem: 292.72 MiB) 21:03:27 overflow : 0/0 (mem: 292.72 MiB) 21:03:27 (mem: 292.72 MiB) 21:03:27 Total structured size: 242025 (mem: 292.72 MiB) 21:03:27 allocating polynomials object in proving key... (mem: 292.72 MiB) 21:03:27 [21:03:27.448] INFO: ivc-integration:test:native bb - populating trace... (mem: 494.88 MiB) 21:03:27 [21:03:27.458] INFO: ivc-integration:test:native bb - time to construct proving key: 83 ms. (mem: 507.88 MiB) 21:03:27 [21:03:27.500] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61d9eb5da440 (mem: 507.88 MiB) 21:03:27 computing oink proof... (mem: 507.88 MiB) 21:03:27 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 507.88 MiB) 21:03:27 [21:03:27.684] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 515.88 MiB) 21:03:27 [21:03:27.691] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.88 MiB) 21:03:27 [21:03:27.715] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 515.88 MiB) 21:03:27 Constructing DeciderProvingKey (mem: 515.88 MiB) 21:03:27 [21:03:27.718] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 515.88 MiB) 21:03:27 goblin ecc op : 56/1024 (mem: 515.88 MiB) 21:03:27 busread : 12/6000 (mem: 515.88 MiB) 21:03:27 lookups : 2/15000 (mem: 21:03:27 [21:03:27.719] INFO: ivc-integration:test:native bb - 515.88 MiB) 21:03:27 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 515.88 MiB) 21:03:27 arithmetic : 4625/56000 (mem: 515.88 MiB) 21:03:27 delta range : 2054/18000 (mem: 515.88 MiB) 21:03:27 elliptic : 2/6000 (mem: 515.88 MiB) 21:03:27 auxiliary : 110/26000 (mem: 515.88 MiB) 21:03:27 poseidon ext : 1302/17000 (mem: 515.88 MiB) 21:03:27 poseidon int : 7412/92000 (mem: 515.88 MiB) 21:03:27 overflow : 0/0 (mem: 515.88 MiB) 21:03:27 (mem: 515.88 MiB) 21:03:27 Total structured size: 242025 (mem: 515.88 MiB) 21:03:27 allocating polynomials object in proving key... (mem: 515.88 MiB) 21:03:27 [21:03:27.847] INFO: ivc-integration:test:native bb - populating trace... (mem: 730.88 MiB) 21:03:27 [21:03:27.889] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 747.88 MiB) 21:03:27 [21:03:27.998] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61d9eb5e7100 (mem: 747.88 MiB) 21:03:27 computing folding proof (mem: 747.88 MiB) 21:03:27 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 747.88 MiB) 21:03:28 [21:03:28.531] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.88 MiB) 21:03:28 [21:03:28.660] INFO: ivc-integration:test:native bb - perturbator round (mem: 786.88 MiB) 21:03:28 [21:03:28.715] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.88 MiB) 21:03:29 [21:03:29.262] INFO: ivc-integration:test:native bb - folded (mem: 819.88 MiB) 21:03:29 constructed folding proof (mem: 819.88 MiB) 21:03:29 [21:03:29.281] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 819.88 MiB) 21:03:29 [21:03:29.384] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.88 MiB) 21:03:29 Constructing DeciderProvingKey (mem: 819.88 MiB) 21:03:29 [21:03:29.387] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.88 MiB) 21:03:29 [21:03:29.387] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 819.88 MiB) 21:03:29 busread : 3/6000 (mem: 819.88 MiB) 21:03:29 lookups : 2/15000 (mem: 819.88 MiB) 21:03:29 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 819.88 MiB) 21:03:29 arithmetic : 6849/56000 (mem: 819.88 MiB) 21:03:29 delta range : 2333/18000 (mem: 819.88 MiB) 21:03:29 elliptic : 2/6000 (mem: 819.88 MiB) 21:03:29 auxiliary : 50/26000 (mem: 819.88 MiB) 21:03:29 poseidon ext : 2472/17000 (mem: 819.88 MiB) 21:03:29 poseidon int : 14081/92000 (mem: 819.88 MiB) 21:03:29 overflow : 0/0 (mem: 819.88 MiB) 21:03:29 (mem: 819.88 MiB) 21:03:29 Total structured size: 242025 (mem: 819.88 MiB) 21:03:29 allocating polynomials object in proving key... (mem: 819.88 MiB) 21:03:29 [21:03:29.586] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.88 MiB) 21:03:29 [21:03:29.658] INFO: ivc-integration:test:native bb - time to construct proving key: 276 ms. (mem: 819.88 MiB) 21:03:29 [21:03:29.787] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61d9eb5dca80 (mem: 819.88 MiB) 21:03:29 computing folding proof (mem: 819.88 MiB) 21:03:29 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 819.88 MiB) 21:03:30 [21:03:30.458] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.88 MiB) 21:03:30 [21:03:30.611] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.88 MiB) 21:03:30 [21:03:30.643] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 819.88 MiB) 21:03:31 [21:03:31.112] INFO: ivc-integration:test:native bb - folded (mem: 819.88 MiB) 21:03:31 constructed folding proof (mem: 819.88 MiB) 21:03:31 [21:03:31.118] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 819.88 MiB) 21:03:31 Minimum required block sizes for structured trace: (mem: 819.88 MiB) 21:03:31 (mem: 819.88 MiB) 21:03:31 prove decider... (mem: 819.88 MiB) 21:03:31 [21:03:31.119] INFO: ivc-integration:test:native bb - ecc_op : 392 21:03:31 busread : 12 21:03:31 lookup : 2 21:03:31 pub_inputs : 36 21:03:31 arithmetic : 6849 21:03:31 delta_range : 2333 21:03:31 elliptic : 2 21:03:31 aux : 110 21:03:31 poseidon2_external : 2472 21:03:31 poseidon2_internal : 14081 21:03:31 overflow : 0 21:03:31 [21:03:31.400] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.88 MiB) 21:03:31 [21:03:31.625] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 819.88 MiB) 21:03:32 [21:03:32.877] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.88 MiB) 21:03:32 [21:03:32.967] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.88 MiB) 21:03:32 finished decider proving. (mem: 819.88 MiB) 21:03:33 [21:03:33.004] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 819.88 MiB) 21:03:33 [21:03:33.141] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 819.88 MiB) 21:03:33 [21:03:33.148] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 819.88 MiB) 21:03:33 [21:03:33.343] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.88 MiB) 21:03:33 [21:03:33.405] INFO: ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 819.88 MiB) 21:03:34 [21:03:34.824] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 819.88 MiB) 21:03:35 [21:03:35.657] INFO: ivc-integration:test:native bb - created oink proof (mem: 819.88 MiB) 21:03:35 [21:03:35.987] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.88 MiB) 21:03:37 [21:03:37.751] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.88 MiB) 21:03:38 [21:03:38.970] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.88 MiB) 21:03:39 [21:03:39.035] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.88 MiB) 21:03:39 finished decider proving. (mem: 819.88 MiB) 21:03:39 [21:03:39.036] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 819.88 MiB) 21:03:39 [21:03:39.257] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 819.88 MiB) 21:03:39 [21:03:39.832] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 21:03:39 [21:03:39.834] INFO: ivc-integration:test:native bb - (mem: 819.88 MiB) 21:03:39 [21:03:39.866] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 819.88 MiB) 21:03:42 [21:03:42.295] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 21:03:42 [21:03:42.296] INFO: ivc-integration:test:native bb - 819.88 MiB) 21:03:44 [21:03:44.949] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 21:03:44 [21:03:44.950] INFO: ivc-integration:test:native bb - (mem: 819.88 MiB) 21:03:49 [21:03:49.820] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 819.88 MiB) 21:03:49 prove translator... (mem: 819.88 MiB) 21:03:52 [21:03:52.288] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.32 MiB) 21:03:55 [21:03:55.196] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.32 MiB) 21:03:57 [21:03:57.826] INFO: ivc-integration:test:native bb - computed opening proof (mem: 849.32 MiB) 21:03:57 [21:03:57.827] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 849.32 MiB) 21:03:57 [21:03:57.841] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 849.32 MiB) 21:03:57 [21:03:57.855] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 849.32 MiB) 21:03:57 libra_evals_verified: 1 (mem: 849.32 MiB) 21:03:57 pairing_check_verified: 1 (mem: 849.32 MiB) 21:03:57 Mega verified: 1 (mem: 849.32 MiB) 21:03:57 [21:03:57.954] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 849.32 MiB) 21:03:57 batch opening verified?: 1 (mem: 849.32 MiB) 21:03:57 eccvm consistency check verified?: 1 (mem: 849.32 MiB) 21:03:57 translation masking consistency checked?: 1 (mem: 849.32 MiB) 21:03:57 [21:03:57.988] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 849.32 MiB) 21:03:57 eccvm verified?: 1 (mem: 849.32 MiB) 21:03:57 accumulator construction_verified?: 1 (mem: 849.32 MiB) 21:03:57 translation verified?: 1 (mem: 849.32 MiB) 21:03:57 consistency verified?: 1 (mem: 849.32 MiB) 21:03:57 Goblin verified: 1 (mem: 849.32 MiB) 21:03:57 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-SX3WDq" (mem: 849.32 MiB) 21:03:57 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-SX3WDq" (mem: 849.32 MiB) 21:03:57 BN254 commitment key size: 262144 (mem: 849.32 MiB) 21:03:57 [21:03:57.990] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.32 MiB) 21:03:57 [21:03:57.993] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.32 MiB) 21:03:57 [21:03:57.997] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 849.32 MiB) 21:03:57 busread : 3/6000 (mem: 849.32 MiB) 21:03:57 lookups : 2/15000 (mem: 849.32 MiB) 21:03:57 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 849.32 MiB) 21:03:57 arithmetic : 1773/56000 (mem: 849.32 MiB) 21:03:57 delta range : 1754/18000 (mem: 849.32 MiB) 21:03:57 elliptic : 2/6000 21:03:57 [21:03:57.998] INFO: ivc-integration:test:native bb - (mem: 849.32 MiB) 21:03:57 auxiliary : 26/26000 (mem: 849.32 MiB) 21:03:57 poseidon ext : 2/17000 (mem: 849.32 MiB) 21:03:57 poseidon int : 2/92000 (mem: 849.32 MiB) 21:03:57 overflow : 0/0 (mem: 849.32 MiB) 21:03:57 (mem: 849.32 MiB) 21:03:57 Total structured size: 242025 (mem: 849.32 MiB) 21:03:57 allocating polynomials object in proving key... (mem: 849.32 MiB) 21:03:58 [21:03:58.171] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.32 MiB) 21:03:58 [21:03:58.204] INFO: ivc-integration:test:native bb - time to construct proving key: 211 ms. (mem: 849.32 MiB) 21:03:58 [21:03:58.298] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.32 MiB) 21:03:59 [21:03:59.212] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 849.32 MiB) 21:03:59 [21:03:59.213] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.32 MiB) 21:03:59 [21:03:59.534] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 849.32 MiB) 21:03:59 [21:03:59.543] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.32 MiB) 21:03:59 [21:03:59.573] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.32 MiB) 21:03:59 [21:03:59.599] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.32 MiB) 21:03:59 goblin ecc op : 56/1024 (mem: 849.32 MiB) 21:03:59 busread : 3/6000 (mem: 849.32 MiB) 21:03:59 lookups : 2/15000 (mem: 849.32 MiB) 21:03:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.32 MiB) 21:03:59 arithmetic : 4481/56000 (mem: 849.32 MiB) 21:03:59 delta range : 2041/18000 (mem: 849.32 MiB) 21:03:59 elliptic : 2/6000 (mem: 849.32 MiB) 21:03:59 auxiliary : 50/26000 (mem: 849.32 MiB) 21:03:59 poseidon ext : 1312/17000 (mem: 849.32 MiB) 21:03:59 poseidon int : 7469/92000 (mem: 849.32 MiB) 21:03:59 overflow : 0/0 (mem: 849.32 MiB) 21:03:59 (mem: 849.32 MiB) 21:03:59 Total structured size: 242025 (mem: 849.32 MiB) 21:03:59 allocating polynomials object in proving key... (mem: 849.32 MiB) 21:03:59 [21:03:59.849] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.32 MiB) 21:03:59 [21:03:59.897] INFO: ivc-integration:test:native bb - time to construct proving key: 323 ms. (mem: 849.32 MiB) 21:04:00 [21:04:00.116] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.32 MiB) 21:04:00 [21:04:00.932] INFO: ivc-integration:test:native bb - computing folding proof (mem: 849.32 MiB) 21:04:00 [21:04:00.934] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 849.32 MiB) 21:04:01 [21:04:01.950] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 21:04:01 [21:04:01.951] INFO: ivc-integration:test:native bb - (mem: 849.32 MiB) 21:04:02 [21:04:02.120] INFO: ivc-integration:test:native bb - perturbator round 21:04:02 [21:04:02.121] INFO: ivc-integration:test:native bb - (mem: 851.32 MiB) 21:04:02 [21:04:02.179] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 882.32 MiB) 21:04:02 [21:04:02.613] INFO: ivc-integration:test:native bb - folded 21:04:02 [21:04:02.614] INFO: ivc-integration:test:native bb - (mem: 882.32 MiB) 21:04:02 constructed folding proof (mem: 882.32 MiB) 21:04:02 Largest circuit: 15360 gates. Trace details: (mem: 882.32 MiB) 21:04:02 Minimum required block sizes for structured trace: (mem: 882.32 MiB) 21:04:02 [21:04:02.615] INFO: ivc-integration:test:native bb - (mem: 882.32 MiB) 21:04:02 prove decider... (mem: 882.32 MiB) 21:04:02 [21:04:02.616] INFO: ivc-integration:test:native bb - ecc_op : 56 21:04:02 busread : 3 21:04:02 lookup : 2 21:04:02 pub_inputs : 36 21:04:02 arithmetic : 4481 21:04:02 delta_range : 2041 21:04:02 elliptic : 2 21:04:02 aux : 50 21:04:02 poseidon2_external : 1312 21:04:02 poseidon2_internal : 7469 21:04:02 overflow : 0 21:04:03 [21:04:03.070] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 882.32 MiB) 21:04:03 [21:04:03.402] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 882.32 MiB) 21:04:04 [21:04:04.963] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 882.32 MiB) 21:04:05 [21:04:05.082] INFO: ivc-integration:test:native bb - computed opening proof (mem: 882.32 MiB) 21:04:05 finished decider proving. (mem: 882.32 MiB) 21:04:05 [21:04:05.115] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 882.32 MiB) 21:04:05 [21:04:05.280] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 882.32 MiB) 21:04:05 [21:04:05.300] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 882.32 MiB) 21:04:05 [21:04:05.637] INFO: ivc-integration:test:native bb - populating trace... (mem: 882.32 MiB) 21:04:05 [21:04:05.707] INFO: ivc-integration:test:native bb - time to construct proving key: 425 ms. (mem: 882.32 MiB) 21:04:06 [21:04:06.480] 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-SX3WDq/proof -k /tmp/bb-client-ivc-integration-SX3WDq/vk -v 21:04:06 [21:04:06.507] INFO: ivc-integration:test:native bb command: verify (mem: 179.96 MiB) 21:04:06 [21:04:06.511] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 179.96 MiB) 21:04:06 --proof_path: /tmp/bb-client-ivc-integration-SX3WDq/proof (mem: 179.96 MiB) 21:04:06 --vk_path: /tmp/bb-client-ivc-integration-SX3WDq/vk (mem: 179.96 MiB) 21:04:06 --verbose: true (mem: 179.96 MiB) 21:04:06 --scheme: client_ivc (mem: 179.96 MiB) 21:04:06 [21:04:06.642] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 21:04:06 [21:04:06.644] INFO: ivc-integration:test:native (mem: 179.96 MiB) 21:04:06 [21:04:06.666] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 179.96 MiB) 21:04:06 [21:04:06.669] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 179.96 MiB) 21:04:06 [21:04:06.691] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 179.96 MiB) 21:04:06 [21:04:06.693] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 179.96 MiB) 21:04:06 sumcheck_verified: 1 (mem: 179.96 MiB) 21:04:06 libra_evals_verified: 1 (mem: 179.96 MiB) 21:04:06 pairing_check_verified: 1 (mem: 179.96 MiB) 21:04:06 Mega verified: 1 (mem: 179.96 MiB) 21:04:06 [21:04:06.774] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 180.82 MiB) 21:04:06 batch opening verified?: 1 (mem: 180.82 MiB) 21:04:06 eccvm consistency check verified?: 1 (mem: 180.82 MiB) 21:04:06 [21:04:06.775] INFO: ivc-integration:test:native translation masking consistency checked?: 1 (mem: 180.82 MiB) 21:04:06 [21:04:06.795] INFO: ivc-integration:test:native merge verified?: 1 (mem: 180.82 MiB) 21:04:06 eccvm verified?: 1 (mem: 180.82 MiB) 21:04:06 accumulator construction_verified?: 1 (mem: 180.82 MiB) 21:04:06 translation verified?: 1 (mem: 180.82 MiB) 21:04:06 consistency verified?: 1 (mem: 180.82 MiB) 21:04:06 Goblin verified: 1 (mem: 180.82 MiB) 21:04:06 [21:04:06.801] INFO: ivc-integration:test:native verified: 1 (mem: 180.82 MiB) 21:04:06 [21:04:06.953] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-4MlKE3/ivc-inputs.msgpack 21:04:06 [21:04:06.954] 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-4MlKE3 --ivc_inputs_path /tmp/bb-client-ivc-integration-4MlKE3/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 21:04:07 [21:04:07.002] INFO: ivc-integration:test:native bb - bb command: prove (mem: 181.28 MiB) 21:04:07 Scheme is: client_ivc, num threads: 128 (mem: 181.28 MiB) 21:04:07 --scheme: client_ivc (mem: 181.28 MiB) 21:04:07 --output_path: /tmp/bb-client-ivc-integration-4MlKE3 (mem: 181.28 MiB) 21:04:07 --ivc_inputs_path: /tmp/bb-client-ivc-integration-4MlKE3/ivc-inputs.msgpack (mem: 181.28 MiB) 21:04:07 --verbose: true (mem: 181.28 MiB) 21:04:07 --write_vk: true (mem: 181.28 MiB) 21:04:07 [21:04:07.012] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.28 MiB) 21:04:07 [21:04:07.141] 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) 21:04:07 [21:04:07.263] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 303.71 MiB) 21:04:07 [21:04:07.271] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 303.71 MiB) 21:04:07 Constructing DeciderProvingKey (mem: 303.71 MiB) 21:04:07 [21:04:07.277] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 303.71 MiB) 21:04:07 goblin ecc op : 4/1024 (mem: 303.71 MiB) 21:04:07 busread : 7/6000 (mem: 303.71 MiB) 21:04:07 lookups : 2/15000 (mem: 303.71 MiB) 21:04:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 303.71 MiB) 21:04:07 arithmetic : 1760/56000 (mem: 303.71 MiB) 21:04:07 delta range : 1754/18000 (mem: 303.71 MiB) 21:04:07 elliptic : 2/6000 (mem: 303.71 MiB) 21:04:07 auxiliary : 26/26000 (mem: 303.71 MiB) 21:04:07 poseidon ext : 2/17000 (mem: 303.71 MiB) 21:04:07 poseidon int : 2/92000 (mem: 303.71 MiB) 21:04:07 overflow : 0/0 (mem: 303.71 MiB) 21:04:07 (mem: 303.71 MiB) 21:04:07 Total structured size: 242025 (mem: 303.71 MiB) 21:04:07 allocating polynomials object in proving key... (mem: 303.71 MiB) 21:04:07 [21:04:07.636] INFO: ivc-integration:test:native bb - populating trace... (mem: 511.09 MiB) 21:04:07 [21:04:07.657] INFO: ivc-integration:test:native bb - time to construct proving key: 387 ms. (mem: 523.09 MiB) 21:04:07 [21:04:07.772] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1a29320240 (mem: 523.09 MiB) 21:04:07 [21:04:07.775] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 523.09 MiB) 21:04:07 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.09 MiB) 21:04:08 [21:04:08.066] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 532.09 MiB) 21:04:08 [21:04:08.075] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 532.09 MiB) 21:04:08 [21:04:08.090] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 532.09 MiB) 21:04:08 Constructing DeciderProvingKey (mem: 532.09 MiB) 21:04:08 [21:04:08.095] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 532.09 MiB) 21:04:08 goblin ecc op : 56/1024 (mem: 532.09 MiB) 21:04:08 busread : 12/6000 (mem: 532.09 MiB) 21:04:08 lookups : 2/15000 (mem: 532.09 MiB) 21:04:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 532.09 MiB) 21:04:08 arithmetic : 4625/56000 (mem: 532.09 MiB) 21:04:08 delta range : 2054/18000 (mem: 532.09 MiB) 21:04:08 elliptic : 2/6000 (mem: 532.09 MiB) 21:04:08 auxiliary : 110/26000 (mem: 532.09 MiB) 21:04:08 poseidon ext : 1302/17000 (mem: 532.09 MiB) 21:04:08 poseidon int : 7412/92000 (mem: 532.09 MiB) 21:04:08 overflow : 0/0 (mem: 532.09 MiB) 21:04:08 (mem: 532.09 MiB) 21:04:08 Total structured size: 242025 (mem: 532.09 MiB) 21:04:08 allocating polynomials object in proving key... (mem: 532.09 MiB) 21:04:08 [21:04:08.436] INFO: ivc-integration:test:native bb - populating trace... (mem: 738.09 MiB) 21:04:08 [21:04:08.503] INFO: ivc-integration:test:native bb - time to construct proving key: 412 ms. (mem: 751.09 MiB) 21:04:08 [21:04:08.635] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1a29329480 (mem: 751.09 MiB) 21:04:08 computing folding proof (mem: 751.09 MiB) 21:04:08 [21:04:08.637] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 751.09 MiB) 21:04:09 [21:04:09.094] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 21:04:09 [21:04:09.096] INFO: ivc-integration:test:native bb - (mem: 751.09 MiB) 21:04:09 [21:04:09.196] INFO: ivc-integration:test:native bb - perturbator round (mem: 789.09 MiB) 21:04:09 [21:04:09.254] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.09 MiB) 21:04:09 [21:04:09.451] INFO: ivc-integration:test:native bb - folded (mem: 821.09 MiB) 21:04:09 constructed folding proof (mem: 821.09 MiB) 21:04:09 [21:04:09.455] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.09 MiB) 21:04:09 Constructing DeciderProvingKey (mem: 821.09 MiB) 21:04:09 [21:04:09.459] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.09 MiB) 21:04:09 goblin ecc op : 4/1024 (mem: 821.09 MiB) 21:04:09 busread : 7/6000 (mem: 821.09 MiB) 21:04:09 lookups : 2/15000 (mem: 821.09 MiB) 21:04:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.09 MiB) 21:04:09 arithmetic : 1760/56000 (mem: 821.09 MiB) 21:04:09 delta range : 1754/18000 (mem: 821.09 MiB) 21:04:09 elliptic : 2/6000 (mem: 821.09 MiB) 21:04:09 auxiliary : 26/26000 (mem: 821.09 MiB) 21:04:09 poseidon ext : 2/17000 (mem: 821.09 MiB) 21:04:09 poseidon int : 2/92000 (mem: 821.09 MiB) 21:04:09 overflow : 0/0 (mem: 821.09 MiB) 21:04:09 (mem: 821.09 MiB) 21:04:09 Total structured size: 242025 (mem: 821.09 MiB) 21:04:09 allocating polynomials object in proving key... (mem: 821.09 MiB) 21:04:09 [21:04:09.563] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.09 MiB) 21:04:09 [21:04:09.573] INFO: ivc-integration:test:native bb - time to construct proving key: 117 ms. (mem: 821.09 MiB) 21:04:09 [21:04:09.626] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1a2931bdc0 (mem: 821.09 MiB) 21:04:09 computing folding proof (mem: 821.09 MiB) 21:04:09 [21:04:09.627] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.09 MiB) 21:04:09 [21:04:09.838] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.09 MiB) 21:04:09 [21:04:09.912] INFO: ivc-integration:test:native bb - perturbator round 21:04:09 [21:04:09.913] INFO: ivc-integration:test:native bb - (mem: 821.09 MiB) 21:04:09 [21:04:09.991] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.09 MiB) 21:04:10 [21:04:10.389] INFO: ivc-integration:test:native bb - folded (mem: 821.09 MiB) 21:04:10 constructed folding proof (mem: 821.09 MiB) 21:04:10 [21:04:10.400] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 821.09 MiB) 21:04:10 [21:04:10.493] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.09 MiB) 21:04:10 [21:04:10.576] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.09 MiB) 21:04:10 Constructing DeciderProvingKey (mem: 821.09 MiB) 21:04:10 [21:04:10.584] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.09 MiB) 21:04:10 goblin ecc op : 792/1024 (mem: 821.09 MiB) 21:04:10 busread : 12/6000 (mem: 821.09 MiB) 21:04:10 lookups : 2/15000 (mem: 821.09 MiB) 21:04:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.09 MiB) 21:04:10 arithmetic : 12080/56000 (mem: 821.09 MiB) 21:04:10 delta range : 2942/18000 (mem: 821.09 MiB) 21:04:10 elliptic : 2/6000 (mem: 821.09 MiB) 21:04:10 auxiliary : 350/26000 (mem: 821.09 MiB) 21:04:10 poseidon ext : 4942/17000 (mem: 821.09 MiB) 21:04:10 poseidon int : 28160/92000 (mem: 821.09 MiB) 21:04:10 overflow : 0/0 (mem: 821.09 MiB) 21:04:10 (mem: 821.09 MiB) 21:04:10 Total structured size: 242025 (mem: 821.09 MiB) 21:04:10 allocating polynomials object in proving key... (mem: 821.09 MiB) 21:04:10 [21:04:10.639] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.09 MiB) 21:04:10 [21:04:10.690] INFO: ivc-integration:test:native bb - time to construct proving key: 115 ms. (mem: 821.09 MiB) 21:04:10 [21:04:10.746] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1a29320a80 (mem: 821.09 MiB) 21:04:10 computing folding proof (mem: 21:04:10 [21:04:10.747] INFO: ivc-integration:test:native bb - 821.09 MiB) 21:04:10 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 821.09 MiB) 21:04:11 [21:04:11.238] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.09 MiB) 21:04:11 [21:04:11.345] INFO: ivc-integration:test:native bb - perturbator round (mem: 821.09 MiB) 21:04:11 [21:04:11.425] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 849.27 MiB) 21:04:11 [21:04:11.815] INFO: ivc-integration:test:native bb - folded (mem: 849.27 MiB) 21:04:11 constructed folding proof (mem: 849.27 MiB) 21:04:11 [21:04:11.832] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 849.27 MiB) 21:04:11 [21:04:11.916] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 21:04:11 [21:04:11.918] INFO: ivc-integration:test:native bb - (mem: 849.27 MiB) 21:04:11 Constructing DeciderProvingKey (mem: 849.27 MiB) 21:04:11 [21:04:11.923] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.27 MiB) 21:04:11 goblin ecc op : 392/1024 (mem: 849.27 MiB) 21:04:11 busread : 16/6000 (mem: 849.27 MiB) 21:04:11 lookups : 2/15000 (mem: 849.27 MiB) 21:04:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 849.27 MiB) 21:04:11 arithmetic : 6914/56000 (mem: 849.27 MiB) 21:04:11 delta range : 2347/18000 (mem: 849.27 MiB) 21:04:11 elliptic : 2/6000 (mem: 849.27 MiB) 21:04:11 auxiliary : 77/26000 (mem: 849.27 MiB) 21:04:11 poseidon ext : 2472/17000 (mem: 849.27 MiB) 21:04:11 poseidon int : 14081/92000 (mem: 849.27 MiB) 21:04:11 overflow : 0/0 (mem: 849.27 MiB) 21:04:11 (mem: 849.27 MiB) 21:04:11 Total structured size: 242025 (mem: 849.27 MiB) 21:04:11 allocating polynomials object in proving key... (mem: 849.27 MiB) 21:04:12 [21:04:12.083] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.27 MiB) 21:04:12 [21:04:12.117] INFO: ivc-integration:test:native bb - time to construct proving key: 198 ms. (mem: 849.27 MiB) 21:04:12 [21:04:12.330] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1a2939d180 (mem: 849.27 MiB) 21:04:12 computing folding proof (mem: 849.27 MiB) 21:04:12 vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 849.27 MiB) 21:04:12 [21:04:12.736] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.27 MiB) 21:04:12 [21:04:12.813] INFO: ivc-integration:test:native bb - perturbator round (mem: 849.27 MiB) 21:04:12 [21:04:12.866] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.04 MiB) 21:04:13 [21:04:13.139] INFO: ivc-integration:test:native bb - folded (mem: 850.04 MiB) 21:04:13 constructed folding proof (mem: 850.04 MiB) 21:04:13 [21:04:13.142] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 850.04 MiB) 21:04:13 [21:04:13.213] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 850.04 MiB) 21:04:13 Constructing DeciderProvingKey (mem: 850.04 MiB) 21:04:13 [21:04:13.218] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.04 MiB) 21:04:13 goblin ecc op : 392/1024 (mem: 850.04 MiB) 21:04:13 busread : 3/6000 (mem: 850.04 MiB) 21:04:13 lookups : 2/15000 (mem: 850.04 MiB) 21:04:13 [21:04:13.218] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.04 MiB) 21:04:13 arithmetic : 6849/56000 (mem: 850.04 MiB) 21:04:13 delta range : 2333/18000 (mem: 850.04 MiB) 21:04:13 elliptic : 2/6000 (mem: 850.04 MiB) 21:04:13 auxiliary : 50/26000 (mem: 850.04 MiB) 21:04:13 poseidon ext : 2472/17000 (mem: 850.04 MiB) 21:04:13 poseidon int : 14081/92000 (mem: 850.04 MiB) 21:04:13 overflow : 0/0 (mem: 850.04 MiB) 21:04:13 (mem: 850.04 MiB) 21:04:13 Total structured size: 242025 (mem: 850.04 MiB) 21:04:13 allocating polynomials object in proving key... (mem: 850.04 MiB) 21:04:13 [21:04:13.386] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.04 MiB) 21:04:13 [21:04:13.447] INFO: ivc-integration:test:native bb - time to construct proving key: 227 ms. (mem: 850.04 MiB) 21:04:13 [21:04:13.645] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f1a29384e00 (mem: 850.04 MiB) 21:04:13 computing folding proof (mem: 850.04 MiB) 21:04:13 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 850.04 MiB) 21:04:14 [21:04:14.228] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.04 MiB) 21:04:14 [21:04:14.343] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.04 MiB) 21:04:14 [21:04:14.404] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 850.05 MiB) 21:04:14 [21:04:14.732] INFO: ivc-integration:test:native bb - folded (mem: 850.05 MiB) 21:04:14 constructed folding proof (mem: 850.05 MiB) 21:04:14 Largest circuit: 48490 gates. Trace details: (mem: 850.05 MiB) 21:04:14 Minimum required block sizes for structured trace: (mem: 850.05 MiB) 21:04:14 [21:04:14.733] INFO: ivc-integration:test:native bb - (mem: 850.05 MiB) 21:04:14 prove decider... (mem: 850.05 MiB) 21:04:14 [21:04:14.734] INFO: ivc-integration:test:native bb - ecc_op : 792 21:04:14 busread : 16 21:04:14 lookup : 2 21:04:14 pub_inputs : 36 21:04:14 arithmetic : 12080 21:04:14 delta_range : 2942 21:04:14 elliptic : 2 21:04:14 aux : 350 21:04:14 poseidon2_external : 4942 21:04:14 poseidon2_internal : 28160 21:04:14 overflow : 0 21:04:14 [21:04:14.828] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.05 MiB) 21:04:14 [21:04:14.968] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 850.05 MiB) 21:04:15 [21:04:15.603] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.05 MiB) 21:04:15 [21:04:15.676] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.05 MiB) 21:04:15 finished decider proving. (mem: 850.05 MiB) 21:04:15 [21:04:15.698] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 850.05 MiB) 21:04:15 [21:04:15.804] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 850.05 MiB) 21:04:15 [21:04:15.811] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 850.05 MiB) 21:04:15 [21:04:15.929] INFO: ivc-integration:test:native bb - populating trace... (mem: 850.05 MiB) 21:04:15 [21:04:15.970] INFO: ivc-integration:test:native bb - time to construct proving key: 165 ms. (mem: 850.05 MiB) 21:04:16 [21:04:16.611] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 850.05 MiB) 21:04:16 [21:04:16.956] INFO: ivc-integration:test:native bb - created oink proof (mem: 850.05 MiB) 21:04:17 [21:04:17.114] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.05 MiB) 21:04:18 [21:04:18.010] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.05 MiB) 21:04:18 [21:04:18.492] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 850.05 MiB) 21:04:18 [21:04:18.521] INFO: ivc-integration:test:native bb - computed opening proof (mem: 850.05 MiB) 21:04:18 finished decider proving. (mem: 21:04:18 [21:04:18.522] INFO: ivc-integration:test:native bb - 850.05 MiB) 21:04:18 Constructing a Goblin proof with num ultra ops = 2226 (mem: 850.05 MiB) 21:04:18 [21:04:18.631] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 850.05 MiB) 21:04:19 [21:04:19.162] 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: 850.05 MiB) 21:04:19 [21:04:19.178] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 850.05 MiB) 21:04:20 [21:04:20.502] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.05 MiB) 21:04:21 [21:04:21.785] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 850.05 MiB) 21:04:26 [21:04:26.680] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 850.05 MiB) 21:04:26 prove translator... (mem: 850.05 MiB) 21:04:30 [21:04:30.255] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 21:04:30 [21:04:30.257] INFO: ivc-integration:test:native bb - (mem: 867.07 MiB) 21:04:33 [21:04:33.047] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 869.07 MiB) 21:04:34 [21:04:34.663] INFO: ivc-integration:test:native bb - computed opening proof (mem: 869.07 MiB) 21:04:34 [21:04:34.663] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 869.07 MiB) 21:04:34 [21:04:34.669] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 869.07 MiB) 21:04:34 [21:04:34.683] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 869.07 MiB) 21:04:34 libra_evals_verified: 1 (mem: 869.07 MiB) 21:04:34 pairing_check_verified: 1 (mem: 869.07 MiB) 21:04:34 Mega verified: 1 (mem: 869.07 MiB) 21:04:34 [21:04:34.744] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 869.07 MiB) 21:04:34 batch opening verified?: 1 (mem: 869.07 MiB) 21:04:34 eccvm consistency check verified?: 1 (mem: 869.07 MiB) 21:04:34 translation masking consistency checked?: 1 (mem: 869.07 MiB) 21:04:34 [21:04:34.763] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 869.07 MiB) 21:04:34 eccvm verified?: 1 (mem: 869.07 MiB) 21:04:34 accumulator construction_verified?: 1 (mem: 869.07 MiB) 21:04:34 translation verified?: 1 (mem: 869.07 MiB) 21:04:34 consistency verified?: 1 (mem: 869.07 MiB) 21:04:34 [21:04:34.764] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 869.07 MiB) 21:04:34 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-4MlKE3" (mem: 869.07 MiB) 21:04:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-4MlKE3" (mem: 869.07 MiB) 21:04:34 BN254 commitment key size: 262144 (mem: 869.07 MiB) 21:04:34 [21:04:34.767] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 869.07 MiB) 21:04:34 [21:04:34.771] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 869.07 MiB) 21:04:34 goblin ecc op : 4/1024 (mem: 869.07 MiB) 21:04:34 busread : 3/6000 (mem: 869.07 MiB) 21:04:34 lookups : 2/15000 (mem: 869.07 MiB) 21:04:34 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 869.07 MiB) 21:04:34 arithmetic : 1773/56000 (mem: 869.07 MiB) 21:04:34 delta range : 1754/18000 (mem: 869.07 MiB) 21:04:34 elliptic : 2/6000 (mem: 869.07 MiB) 21:04:34 auxiliary : 26/26000 (mem: 869.07 MiB) 21:04:34 poseidon ext : 2/17000 (mem: 869.07 MiB) 21:04:34 poseidon int : 2/92000 (mem: 869.07 MiB) 21:04:34 [21:04:34.774] INFO: ivc-integration:test:native bb - overflow : 0/0 (mem: 869.07 MiB) 21:04:34 (mem: 869.07 MiB) 21:04:34 Total structured size: 242025 (mem: 869.07 MiB) 21:04:34 allocating polynomials object in proving key... (mem: 869.07 MiB) 21:04:34 [21:04:34.815] INFO: ivc-integration:test:native bb - populating trace... (mem: 869.07 MiB) 21:04:34 [21:04:34.824] INFO: ivc-integration:test:native bb - time to construct proving key: 57 ms. (mem: 869.07 MiB) 21:04:34 [21:04:34.857] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 869.07 MiB) 21:04:35 [21:04:35.249] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 869.07 MiB) 21:04:35 [21:04:35.250] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 869.07 MiB) 21:04:35 [21:04:35.391] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 869.07 MiB) 21:04:35 [21:04:35.401] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 869.07 MiB) 21:04:35 [21:04:35.422] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 869.07 MiB) 21:04:35 [21:04:35.424] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 869.07 MiB) 21:04:35 goblin ecc op : 56/1024 (mem: 869.07 MiB) 21:04:35 busread : 3/6000 (mem: 869.07 MiB) 21:04:35 lookups : 2/15000 (mem: 869.07 MiB) 21:04:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 869.07 MiB) 21:04:35 arithmetic : 4481/56000 (mem: 869.07 MiB) 21:04:35 delta range : 2041/18000 (mem: 869.07 MiB) 21:04:35 elliptic : 2/6000 (mem: 869.07 MiB) 21:04:35 auxiliary : 50/26000 (mem: 869.07 MiB) 21:04:35 poseidon ext : 1312/17000 (mem: 869.07 MiB) 21:04:35 poseidon int : 7469/92000 (mem: 869.07 MiB) 21:04:35 overflow : 0/0 (mem: 869.07 MiB) 21:04:35 (mem: 869.07 MiB) 21:04:35 Total structured size: 242025 (mem: 869.07 MiB) 21:04:35 allocating polynomials object in proving key... (mem: 869.07 MiB) 21:04:35 [21:04:35.503] INFO: ivc-integration:test:native bb - populating trace... (mem: 869.07 MiB) 21:04:35 [21:04:35.523] INFO: ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 869.07 MiB) 21:04:35 [21:04:35.557] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 869.07 MiB) 21:04:36 [21:04:36.072] INFO: ivc-integration:test:native bb - computing folding proof (mem: 869.07 MiB) 21:04:36 [21:04:36.074] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 869.07 MiB) 21:04:36 [21:04:36.470] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 869.07 MiB) 21:04:36 [21:04:36.570] INFO: ivc-integration:test:native bb - perturbator round (mem: 869.07 MiB) 21:04:36 [21:04:36.617] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 901.07 MiB) 21:04:36 [21:04:36.745] INFO: ivc-integration:test:native bb - folded 21:04:36 [21:04:36.746] INFO: ivc-integration:test:native bb - (mem: 901.07 MiB) 21:04:36 constructed folding proof (mem: 901.07 MiB) 21:04:36 Largest circuit: 15360 gates. Trace details: (mem: 901.07 MiB) 21:04:36 Minimum required block sizes for structured trace: (mem: 901.07 MiB) 21:04:36 (mem: 901.07 MiB) 21:04:36 prove decider... (mem: 901.07 MiB) 21:04:36 [21:04:36.747] INFO: ivc-integration:test:native bb - ecc_op : 56 21:04:36 busread : 3 21:04:36 lookup : 2 21:04:36 pub_inputs : 36 21:04:36 arithmetic : 4481 21:04:36 delta_range : 2041 21:04:36 elliptic : 2 21:04:36 aux : 50 21:04:36 poseidon2_external : 1312 21:04:36 poseidon2_internal : 7469 21:04:36 overflow : 0 21:04:36 [21:04:36.920] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 901.07 MiB) 21:04:37 [21:04:37.206] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 901.07 MiB) 21:04:38 [21:04:38.026] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 901.07 MiB) 21:04:38 [21:04:38.079] INFO: ivc-integration:test:native bb - computed opening proof (mem: 901.07 MiB) 21:04:38 finished decider proving. (mem: 21:04:38 [21:04:38.080] INFO: ivc-integration:test:native bb - 901.07 MiB) 21:04:38 [21:04:38.100] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 901.07 MiB) 21:04:38 [21:04:38.205] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 901.07 MiB) 21:04:38 [21:04:38.211] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 901.07 MiB) 21:04:38 [21:04:38.342] INFO: ivc-integration:test:native bb - populating trace... (mem: 901.07 MiB) 21:04:38 [21:04:38.389] INFO: ivc-integration:test:native bb - time to construct proving key: 183 ms. (mem: 901.07 MiB) 21:04:38 [21:04:38.770] 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-4MlKE3/proof -k /tmp/bb-client-ivc-integration-4MlKE3/vk -v 21:04:38 [21:04:38.795] INFO: ivc-integration:test:native bb command: verify (mem: 21:04:38 [21:04:38.795] INFO: ivc-integration:test:native 187.21 MiB) 21:04:38 Scheme is: client_ivc, num threads: 128 (mem: 187.21 MiB) 21:04:38 --proof_path: /tmp/bb-client-ivc-integration-4MlKE3/proof (mem: 187.21 MiB) 21:04:38 --vk_path: /tmp/bb-client-ivc-integration-4MlKE3/vk (mem: 187.21 MiB) 21:04:38 --verbose: true (mem: 187.21 MiB) 21:04:38 --scheme: client_ivc (mem: 187.21 MiB) 21:04:38 [21:04:38.923] 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.21 MiB) 21:04:38 [21:04:38.943] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 21:04:38 [21:04:38.944] INFO: ivc-integration:test:native (mem: 187.21 MiB) 21:04:38 [21:04:38.945] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 187.21 MiB) 21:04:38 [21:04:38.962] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 187.21 MiB) 21:04:38 [21:04:38.963] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 187.21 MiB) 21:04:38 [21:04:38.964] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 187.21 MiB) 21:04:38 libra_evals_verified: 1 (mem: 187.21 MiB) 21:04:38 pairing_check_verified: 1 (mem: 187.21 MiB) 21:04:38 Mega verified: 1 (mem: 187.21 MiB) 21:04:39 [21:04:39.020] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 187.21 MiB) 21:04:39 batch opening verified?: 1 (mem: 187.21 MiB) 21:04:39 eccvm consistency check verified?: 1 (mem: 187.21 MiB) 21:04:39 translation masking consistency checked?: 1 (mem: 187.21 MiB) 21:04:39 [21:04:39.037] INFO: ivc-integration:test:native merge verified?: 1 (mem: 187.21 MiB) 21:04:39 eccvm verified?: 1 (mem: 187.21 MiB) 21:04:39 accumulator construction_verified?: 1 (mem: 187.21 MiB) 21:04:39 translation verified?: 1 (mem: 187.21 MiB) 21:04:39 consistency verified?: 1 (mem: 187.21 MiB) 21:04:39 Goblin verified: 1 (mem: 187.21 MiB) 21:04:39 [21:04:39.040] INFO: ivc-integration:test:native verified: 1 (mem: 187.21 MiB) 21:04:39 PASS src/native_client_ivc_integration.test.ts (75.821 s) 21:04:39 Client IVC Integration 21:04:39 ✓ Should generate a verifiable client IVC proof from a simple mock tx (39833 ms) 21:04:39 ✓ Should generate a verifiable client IVC proof from a complex mock tx (32190 ms) 21:04:39 21:04:39 Test Suites: 1 passed, 1 total 21:04:39 Tests: 2 passed, 2 total 21:04:39 Snapshots: 0 total 21:04:39 Time: 75.932 s 21:04:39 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 21:04:39 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?