ACI ·

Parent Log: http://ci.aztec-labs.com/ae044bbb1e4daaae Command: ebf67495dae0c068: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/10badd24359b04680068afd9ca24407383374db1 Env: REF_NAME=gh-readonly-queue/next/pr-15019-7d223783d91db15002a09abc1b52d1455eb3e3da CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 11:02:56 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15019_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 11:02:59 [11:02:59.983] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-POJrTV/ivc-inputs.msgpack 11:02:59 [11:02:59.987] 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-POJrTV --ivc_inputs_path /tmp/bb-client-ivc-integration-POJrTV/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:03:00 [11:03:00.002] INFO: ivc-integration:test:native bb - bb command: prove (mem: 156.50 MiB) 11:03:00 [11:03:00.002] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 156.50 MiB) 11:03:00 --scheme: client_ivc (mem: 156.50 MiB) 11:03:00 --output_path: /tmp/bb-client-ivc-integration-POJrTV (mem: 156.50 MiB) 11:03:00 --ivc_inputs_path: /tmp/bb-client-ivc-integration-POJrTV/ivc-inputs.msgpack (mem: 156.50 MiB) 11:03:00 --verbose: true (mem: 156.50 MiB) 11:03:00 --write_vk: true (mem: 156.50 MiB) 11:03:00 [11:03:00.003] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 156.50 MiB) 11:03:00 [11:03:00.095] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.00 MiB) 11:03:00 [11:03:00.164] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 296.79 MiB) 11:03:00 [11:03:00.167] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 296.79 MiB) 11:03:00 Constructing DeciderProvingKey (mem: 11:03:00 [11:03:00.167] INFO: ivc-integration:test:native bb - 296.79 MiB) 11:03:00 [11:03:00.171] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 296.79 MiB) 11:03:00 goblin ecc op : 4/1024 (mem: 296.79 MiB) 11:03:00 busread : 7/6000 (mem: 296.79 MiB) 11:03:00 [11:03:00.172] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 296.79 MiB) 11:03:00 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 296.79 MiB) 11:03:00 arithmetic : 1760/56000 (mem: 296.79 MiB) 11:03:00 delta range : 1754/18000 (mem: 296.79 MiB) 11:03:00 elliptic : 2/6000 (mem: 296.79 MiB) 11:03:00 auxiliary : 26/26000 (mem: 296.79 MiB) 11:03:00 poseidon ext : 2/17000 (mem: 296.79 MiB) 11:03:00 poseidon int : 2/92000 (mem: 296.79 MiB) 11:03:00 overflow : 0/0 (mem: 296.79 MiB) 11:03:00 (mem: 296.79 MiB) 11:03:00 Total structured size: 242025 (mem: 296.79 MiB) 11:03:00 allocating polynomials object in proving key... (mem: 296.79 MiB) 11:03:00 [11:03:00.242] INFO: ivc-integration:test:native bb - populating trace... (mem: 501.94 MiB) 11:03:00 [11:03:00.250] INFO: ivc-integration:test:native bb - time to construct proving key: 83 ms. (mem: 517.94 MiB) 11:03:00 [11:03:00.277] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x622009580a40 (mem: 517.94 MiB) 11:03:00 [11:03:00.278] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 517.94 MiB) 11:03:00 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.94 MiB) 11:03:00 [11:03:00.426] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.94 MiB) 11:03:00 [11:03:00.437] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.94 MiB) 11:03:00 [11:03:00.461] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 522.94 MiB) 11:03:00 [11:03:00.461] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 522.94 MiB) 11:03:00 [11:03:00.464] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 522.94 MiB) 11:03:00 goblin ecc op : 56/1024 (mem: 522.94 MiB) 11:03:00 busread : 12/6000 (mem: 522.94 MiB) 11:03:00 lookups : 2/15000 (mem: 522.94 MiB) 11:03:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 522.94 MiB) 11:03:00 arithmetic : 4625/56000 (mem: 522.94 MiB) 11:03:00 delta range : 2054/18000 (mem: 522.94 MiB) 11:03:00 elliptic : 2/6000 (mem: 522.94 MiB) 11:03:00 [11:03:00.466] INFO: ivc-integration:test:native bb - auxiliary : 110/26000 (mem: 522.94 MiB) 11:03:00 poseidon ext : 1302/17000 (mem: 522.94 MiB) 11:03:00 poseidon int : 7412/92000 (mem: 522.94 MiB) 11:03:00 overflow : 0/0 (mem: 522.94 MiB) 11:03:00 (mem: 522.94 MiB) 11:03:00 Total structured size: 242025 (mem: 522.94 MiB) 11:03:00 allocating polynomials object in proving key... (mem: 522.94 MiB) 11:03:00 [11:03:00.552] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.94 MiB) 11:03:00 [11:03:00.577] INFO: ivc-integration:test:native bb - time to construct proving key: 116 ms. (mem: 753.94 MiB) 11:03:00 [11:03:00.668] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62200958d6c0 (mem: 753.94 MiB) 11:03:00 computing folding proof (mem: 753.94 MiB) 11:03:00 [11:03:00.669] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 753.94 MiB) 11:03:01 [11:03:01.116] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 754.94 MiB) 11:03:01 [11:03:01.204] INFO: ivc-integration:test:native bb - perturbator round (mem: 790.94 MiB) 11:03:01 [11:03:01.256] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 822.94 MiB) 11:03:01 [11:03:01.537] INFO: ivc-integration:test:native bb - folded (mem: 822.94 MiB) 11:03:01 [11:03:01.537] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 822.94 MiB) 11:03:01 [11:03:01.552] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 822.94 MiB) 11:03:01 [11:03:01.638] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 822.94 MiB) 11:03:01 Constructing DeciderProvingKey (mem: 822.94 MiB) 11:03:01 [11:03:01.643] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.94 MiB) 11:03:01 goblin ecc op : 392/1024 (mem: 822.94 MiB) 11:03:01 busread : 3/6000 (mem: 822.94 MiB) 11:03:01 lookups : 2/15000 (mem: 822.94 MiB) 11:03:01 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 822.94 MiB) 11:03:01 arithmetic : 6849/56000 (mem: 822.94 MiB) 11:03:01 delta range : 2333/18000 (mem: 822.94 MiB) 11:03:01 elliptic : 2/6000 (mem: 822.94 MiB) 11:03:01 auxiliary : 50/26000 (mem: 822.94 MiB) 11:03:01 poseidon ext : 2472/17000 (mem: 822.94 MiB) 11:03:01 poseidon int : 14081/92000 (mem: 822.94 MiB) 11:03:01 overflow : 0/0 (mem: 822.94 MiB) 11:03:01 (mem: 822.94 MiB) 11:03:01 Total structured size: 242025 (mem: 822.94 MiB) 11:03:01 allocating polynomials object in proving key... (mem: 822.94 MiB) 11:03:01 [11:03:01.775] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.94 MiB) 11:03:01 [11:03:01.810] INFO: ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 822.94 MiB) 11:03:01 [11:03:01.991] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x622009583080 (mem: 822.94 MiB) 11:03:01 computing folding proof (mem: 822.94 MiB) 11:03:01 [11:03:01.992] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 822.94 MiB) 11:03:02 [11:03:02.595] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.94 MiB) 11:03:02 [11:03:02.786] INFO: ivc-integration:test:native bb - perturbator round (mem: 822.94 MiB) 11:03:02 [11:03:02.843] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 822.94 MiB) 11:03:03 [11:03:03.269] INFO: ivc-integration:test:native bb - folded (mem: 822.94 MiB) 11:03:03 constructed folding proof (mem: 822.94 MiB) 11:03:03 Largest circuit: 25792 gates. Trace details: (mem: 822.94 MiB) 11:03:03 [11:03:03.271] INFO: ivc-integration:test:native bb - Minimum required block sizes for structured trace: (mem: 822.94 MiB) 11:03:03 (mem: 822.94 MiB) 11:03:03 prove decider... (mem: 822.94 MiB) 11:03:03 [11:03:03.274] INFO: ivc-integration:test:native bb - ecc_op : 392 11:03:03 busread : 12 11:03:03 lookup : 2 11:03:03 pub_inputs : 36 11:03:03 arithmetic : 6849 11:03:03 delta_range : 2333 11:03:03 elliptic : 2 11:03:03 aux : 110 11:03:03 poseidon2_external : 2472 11:03:03 poseidon2_internal : 14081 11:03:03 overflow : 0 11:03:03 [11:03:03.456] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.94 MiB) 11:03:03 [11:03:03.669] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 822.94 MiB) 11:03:04 [11:03:04.703] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 822.94 MiB) 11:03:04 [11:03:04.784] INFO: ivc-integration:test:native bb - computed opening proof (mem: 822.94 MiB) 11:03:04 finished decider proving. (mem: 11:03:04 [11:03:04.788] INFO: ivc-integration:test:native bb - 822.94 MiB) 11:03:04 [11:03:04.815] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 822.94 MiB) 11:03:04 [11:03:04.980] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.94 MiB) 11:03:04 [11:03:04.987] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 822.94 MiB) 11:03:05 [11:03:05.134] INFO: ivc-integration:test:native bb - populating trace... (mem: 822.94 MiB) 11:03:05 [11:03:05.190] INFO: ivc-integration:test:native bb - time to construct proving key: 211 ms. (mem: 822.94 MiB) 11:03:06 [11:03:06.183] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 11:03:06 [11:03:06.186] INFO: ivc-integration:test:native bb - (mem: 822.94 MiB) 11:03:06 [11:03:06.784] INFO: ivc-integration:test:native bb - created oink proof (mem: 822.94 MiB) 11:03:07 [11:03:07.066] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.94 MiB) 11:03:08 [11:03:08.979] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 11:03:08 [11:03:08.982] INFO: ivc-integration:test:native bb - (mem: 822.94 MiB) 11:03:10 [11:03:10.180] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 822.94 MiB) 11:03:10 [11:03:10.209] INFO: ivc-integration:test:native bb - computed opening proof (mem: 822.94 MiB) 11:03:10 [11:03:10.211] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 822.94 MiB) 11:03:10 Constructing a Goblin proof with num ultra ops = 1038 (mem: 822.94 MiB) 11:03:10 [11:03:10.411] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 822.94 MiB) 11:03:10 [11:03:10.849] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 11:03:10 [11:03:10.853] INFO: ivc-integration:test:native bb - (mem: 822.94 MiB) 11:03:10 [11:03:10.869] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 11:03:10 [11:03:10.870] INFO: ivc-integration:test:native bb - (mem: 11:03:10 [11:03:10.872] INFO: ivc-integration:test:native bb - 822.94 MiB) 11:03:12 [11:03:12.919] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.94 MiB) 11:03:15 [11:03:15.059] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 822.94 MiB) 11:03:19 [11:03:19.488] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 822.94 MiB) 11:03:19 prove translator... (mem: 822.94 MiB) 11:03:22 [11:03:22.138] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.51 MiB) 11:03:24 [11:03:24.350] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 11:03:24 [11:03:24.351] INFO: ivc-integration:test:native bb - (mem: 848.51 MiB) 11:03:25 [11:03:25.929] INFO: ivc-integration:test:native bb - computed opening proof (mem: 848.51 MiB) 11:03:25 [11:03:25.931] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 848.51 MiB) 11:03:25 [11:03:25.934] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 848.51 MiB) 11:03:25 [11:03:25.970] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 848.51 MiB) 11:03:25 libra_evals_verified: 1 (mem: 848.51 MiB) 11:03:25 pairing_check_verified: 1 (mem: 848.51 MiB) 11:03:25 Mega verified: 1 (mem: 848.51 MiB) 11:03:26 [11:03:26.064] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 848.51 MiB) 11:03:26 batch opening verified?: 1 (mem: 848.51 MiB) 11:03:26 eccvm consistency check verified?: 1 (mem: 848.51 MiB) 11:03:26 translation masking consistency checked?: 1 (mem: 848.51 MiB) 11:03:26 [11:03:26.083] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 848.51 MiB) 11:03:26 eccvm verified?: 1 (mem: 848.51 MiB) 11:03:26 accumulator construction_verified?: 1 (mem: 848.51 MiB) 11:03:26 translation verified?: 1 (mem: 848.51 MiB) 11:03:26 consistency verified?: 1 (mem: 848.51 MiB) 11:03:26 Goblin verified: 1 (mem: 848.51 MiB) 11:03:26 [11:03:26.084] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-POJrTV" (mem: 848.51 MiB) 11:03:26 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-POJrTV" (mem: 848.51 MiB) 11:03:26 BN254 commitment key size: 262144 (mem: 848.51 MiB) 11:03:26 [11:03:26.086] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.51 MiB) 11:03:26 [11:03:26.089] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.51 MiB) 11:03:26 goblin ecc op : 4/1024 (mem: 848.51 MiB) 11:03:26 busread : 3/6000 (mem: 848.51 MiB) 11:03:26 lookups : 2/15000 (mem: 848.51 MiB) 11:03:26 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.51 MiB) 11:03:26 arithmetic : 1773/56000 (mem: 848.51 11:03:26 [11:03:26.090] INFO: ivc-integration:test:native bb - MiB) 11:03:26 delta range : 1754/18000 (mem: 848.51 MiB) 11:03:26 elliptic : 2/6000 (mem: 848.51 MiB) 11:03:26 auxiliary : 26/26000 (mem: 848.51 MiB) 11:03:26 poseidon ext : 2/17000 (mem: 848.51 MiB) 11:03:26 poseidon int : 2/92000 (mem: 848.51 MiB) 11:03:26 overflow : 0/0 (mem: 848.51 MiB) 11:03:26 (mem: 848.51 MiB) 11:03:26 Total structured size: 242025 (mem: 848.51 MiB) 11:03:26 allocating polynomials object in proving key... (mem: 848.51 MiB) 11:03:26 [11:03:26.329] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.51 MiB) 11:03:26 [11:03:26.377] INFO: ivc-integration:test:native bb - time to construct proving key: 288 ms. (mem: 848.51 MiB) 11:03:26 [11:03:26.470] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.51 MiB) 11:03:27 [11:03:27.215] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 848.51 MiB) 11:03:27 [11:03:27.216] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.51 MiB) 11:03:27 [11:03:27.810] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 848.51 MiB) 11:03:27 [11:03:27.818] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.51 MiB) 11:03:27 [11:03:27.847] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.51 MiB) 11:03:27 [11:03:27.859] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.51 MiB) 11:03:27 goblin ecc op : 56/1024 (mem: 848.51 MiB) 11:03:27 busread : 3/6000 (mem: 848.51 MiB) 11:03:27 lookups : 2/15000 (mem: 848.51 MiB) 11:03:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.51 MiB) 11:03:27 arithmetic : 4481/56000 (mem: 848.51 MiB) 11:03:27 delta range : 2041/18000 (mem: 848.51 MiB) 11:03:27 elliptic : 2/6000 (mem: 848.51 MiB) 11:03:27 auxiliary : 50/26000 (mem: 848.51 MiB) 11:03:27 poseidon ext : 1312/17000 (mem: 848.51 MiB) 11:03:27 poseidon int : 7469/92000 (mem: 848.51 MiB) 11:03:27 overflow : 0/0 (mem: 848.51 MiB) 11:03:27 (mem: 848.51 MiB) 11:03:27 Total structured size: 242025 (mem: 848.51 MiB) 11:03:27 allocating polynomials object in proving key... (mem: 848.51 MiB) 11:03:28 [11:03:28.168] INFO: ivc-integration:test:native bb - populating trace... 11:03:28 [11:03:28.172] INFO: ivc-integration:test:native bb - (mem: 848.51 MiB) 11:03:28 [11:03:28.210] INFO: ivc-integration:test:native bb - time to construct proving key: 368 ms. (mem: 848.51 MiB) 11:03:28 [11:03:28.344] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.51 MiB) 11:03:29 [11:03:29.049] INFO: ivc-integration:test:native bb - computing folding proof (mem: 848.51 MiB) 11:03:29 [11:03:29.051] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 848.51 MiB) 11:03:29 [11:03:29.825] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 11:03:29 [11:03:29.826] INFO: ivc-integration:test:native bb - (mem: 11:03:29 [11:03:29.827] INFO: ivc-integration:test:native bb - 848.51 11:03:29 [11:03:29.828] INFO: ivc-integration:test:native bb - MiB) 11:03:29 [11:03:29.993] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.51 MiB) 11:03:30 [11:03:30.071] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 882.51 MiB) 11:03:30 [11:03:30.493] INFO: ivc-integration:test:native bb - folded (mem: 882.51 MiB) 11:03:30 constructed folding proof (mem: 882.51 MiB) 11:03:30 [11:03:30.494] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 882.51 MiB) 11:03:30 Minimum required block sizes for structured trace: (mem: 882.51 MiB) 11:03:30 (mem: 882.51 MiB) 11:03:30 prove decider... (mem: 882.51 MiB) 11:03:30 [11:03:30.494] INFO: ivc-integration:test:native bb - ecc_op : 56 11:03:30 busread : 3 11:03:30 lookup : 2 11:03:30 pub_inputs : 36 11:03:30 arithmetic : 4481 11:03:30 delta_range : 2041 11:03:30 elliptic : 2 11:03:30 aux : 50 11:03:30 poseidon2_external : 1312 11:03:30 poseidon2_internal : 7469 11:03:30 overflow : 0 11:03:30 [11:03:30.705] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 882.51 MiB) 11:03:30 [11:03:30.944] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 882.51 MiB) 11:03:32 [11:03:32.606] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 882.51 MiB) 11:03:32 [11:03:32.675] INFO: ivc-integration:test:native bb - computed opening proof (mem: 882.51 MiB) 11:03:32 finished decider proving. (mem: 882.51 MiB) 11:03:32 [11:03:32.691] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 882.51 MiB) 11:03:32 [11:03:32.819] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 882.51 MiB) 11:03:32 [11:03:32.829] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 882.51 MiB) 11:03:33 [11:03:33.186] INFO: ivc-integration:test:native bb - populating trace... (mem: 882.51 MiB) 11:03:33 [11:03:33.252] INFO: ivc-integration:test:native bb - time to construct proving key: 432 ms. (mem: 882.51 MiB) 11:03:34 [11:03:34.188] 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-POJrTV/proof -k /tmp/bb-client-ivc-integration-POJrTV/vk -v 11:03:34 [11:03:34.222] INFO: ivc-integration:test:native bb command: verify (mem: 156.50 MiB) 11:03:34 Scheme is: client_ivc, num threads: 128 (mem: 156.50 MiB) 11:03:34 --proof_path: /tmp/bb-client-ivc-integration-POJrTV/proof (mem: 156.50 MiB) 11:03:34 --vk_path: /tmp/bb-client-ivc-integration-POJrTV/vk (mem: 156.50 MiB) 11:03:34 --verbose: true (mem: 156.50 MiB) 11:03:34 --scheme: client_ivc (mem: 156.50 MiB) 11:03:34 [11:03:34.372] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 156.50 MiB) 11:03:34 [11:03:34.394] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 166.70 MiB) 11:03:34 [11:03:34.396] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 166.70 MiB) 11:03:34 [11:03:34.416] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 166.70 MiB) 11:03:34 Initialized BN254 CRS from memory with num points = 1025 (mem: 166.70 MiB) 11:03:34 [11:03:34.421] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 166.70 MiB) 11:03:34 libra_evals_verified: 1 (mem: 166.70 MiB) 11:03:34 pairing_check_verified: 1 (mem: 166.70 MiB) 11:03:34 Mega verified: 1 (mem: 166.70 MiB) 11:03:34 [11:03:34.519] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.83 MiB) 11:03:34 batch opening verified?: 1 (mem: 183.83 MiB) 11:03:34 eccvm consistency check verified?: 1 (mem: 183.83 MiB) 11:03:34 translation masking consistency checked?: 1 (mem: 183.83 MiB) 11:03:34 [11:03:34.552] INFO: ivc-integration:test:native merge verified?: 1 (mem: 183.83 MiB) 11:03:34 eccvm verified?: 1 (mem: 183.83 MiB) 11:03:34 accumulator construction_verified?: 1 (mem: 183.83 MiB) 11:03:34 translation verified?: 1 (mem: 183.83 MiB) 11:03:34 consistency verified?: 1 (mem: 183.83 MiB) 11:03:34 Goblin verified: 1 (mem: 183.83 MiB) 11:03:34 [11:03:34.565] INFO: ivc-integration:test:native verified: 1 (mem: 183.83 MiB) 11:03:34 [11:03:34.722] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-xQABnG/ivc-inputs.msgpack 11:03:34 [11:03:34.726] 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-xQABnG --ivc_inputs_path /tmp/bb-client-ivc-integration-xQABnG/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:03:34 [11:03:34.754] INFO: ivc-integration:test:native bb - bb command: prove (mem: 157.62 MiB) 11:03:34 [11:03:34.755] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 157.62 MiB) 11:03:34 --scheme: client_ivc (mem: 157.62 MiB) 11:03:34 --output_path: /tmp/bb-client-ivc-integration-xQABnG (mem: 157.62 MiB) 11:03:34 --ivc_inputs_path: /tmp/bb-client-ivc-integration-xQABnG/ivc-inputs.msgpack (mem: 157.62 MiB) 11:03:34 --verbose: true (mem: 157.62 MiB) 11:03:34 --write_vk: true (mem: 157.62 MiB) 11:03:34 [11:03:34.759] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 157.62 MiB) 11:03:34 [11:03:34.944] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 269.00 MiB) 11:03:35 [11:03:35.019] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 11:03:35 [11:03:35.020] INFO: ivc-integration:test:native bb - (mem: 317.32 MiB) 11:03:35 [11:03:35.024] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 317.32 MiB) 11:03:35 Constructing DeciderProvingKey (mem: 317.32 MiB) 11:03:35 [11:03:35.029] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 317.32 MiB) 11:03:35 goblin ecc op : 4/1024 (mem: 317.32 MiB) 11:03:35 busread : 7/6000 (mem: 317.32 MiB) 11:03:35 lookups : 2/15000 (mem: 317.32 MiB) 11:03:35 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 317.32 MiB) 11:03:35 [11:03:35.034] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 317.32 MiB) 11:03:35 delta range : 1754/18000 (mem: 317.32 MiB) 11:03:35 elliptic : 2/6000 (mem: 317.32 MiB) 11:03:35 auxiliary : 26/26000 (mem: 317.32 MiB) 11:03:35 poseidon ext : 2/17000 (mem: 317.32 MiB) 11:03:35 poseidon int : 2/92000 (mem: 317.32 MiB) 11:03:35 overflow : 0/0 (mem: 317.32 MiB) 11:03:35 (mem: 317.32 MiB) 11:03:35 Total structured size: 242025 (mem: 317.32 MiB) 11:03:35 allocating polynomials object in proving key... (mem: 317.32 MiB) 11:03:35 [11:03:35.275] INFO: ivc-integration:test:native bb - populating trace... (mem: 522.34 MiB) 11:03:35 [11:03:35.333] INFO: ivc-integration:test:native bb - time to construct proving key: 308 ms. (mem: 534.34 MiB) 11:03:35 [11:03:35.586] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x58987826b880 (mem: 534.34 MiB) 11:03:35 [11:03:35.587] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 534.34 MiB) 11:03:35 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 534.34 MiB) 11:03:35 [11:03:35.912] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 543.34 MiB) 11:03:35 [11:03:35.929] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 543.34 MiB) 11:03:35 [11:03:35.950] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 543.34 MiB) 11:03:35 [11:03:35.951] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 543.34 MiB) 11:03:35 [11:03:35.955] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 543.34 MiB) 11:03:35 goblin ecc op : 56/1024 (mem: 543.34 MiB) 11:03:35 busread : 12/6000 (mem: 543.34 MiB) 11:03:35 lookups : 2/15000 (mem: 543.34 MiB) 11:03:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 543.34 MiB) 11:03:35 arithmetic : 4625/56000 (mem: 543.34 MiB) 11:03:35 delta range : 2054/18000 (mem: 543.34 MiB) 11:03:35 elliptic : 2/6000 (mem: 543.34 MiB) 11:03:35 auxiliary : 110/26000 (mem: 543.34 MiB) 11:03:35 poseidon ext : 1302/17000 (mem: 543.34 MiB) 11:03:35 poseidon int : 7412/92000 (mem: 543.34 MiB) 11:03:35 overflow : 0/0 (mem: 543.34 MiB) 11:03:35 (mem: 543.34 MiB) 11:03:35 Total structured size: 242025 (mem: 543.34 MiB) 11:03:35 allocating polynomials object in proving key... (mem: 543.34 MiB) 11:03:36 [11:03:36.092] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.34 MiB) 11:03:36 [11:03:36.131] INFO: ivc-integration:test:native bb - time to construct proving key: 181 ms. (mem: 744.34 MiB) 11:03:36 [11:03:36.318] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x589878274b00 (mem: 744.34 MiB) 11:03:36 computing folding proof (mem: 744.34 MiB) 11:03:36 [11:03:36.319] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 744.34 MiB) 11:03:36 [11:03:36.873] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.34 MiB) 11:03:37 [11:03:37.008] INFO: ivc-integration:test:native bb - perturbator round (mem: 783.34 MiB) 11:03:37 [11:03:37.098] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.34 MiB) 11:03:37 [11:03:37.453] INFO: ivc-integration:test:native bb - folded (mem: 818.34 MiB) 11:03:37 constructed folding proof (mem: 818.34 MiB) 11:03:37 [11:03:37.460] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.34 MiB) 11:03:37 Constructing DeciderProvingKey (mem: 818.34 MiB) 11:03:37 [11:03:37.462] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.34 MiB) 11:03:37 goblin ecc op : 4/1024 (mem: 818.34 MiB) 11:03:37 busread : 7/6000 (mem: 818.34 MiB) 11:03:37 lookups : 2/15000 (mem: 818.34 MiB) 11:03:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.34 MiB) 11:03:37 arithmetic : 1760/56000 (mem: 818.34 MiB) 11:03:37 delta range : 1754/18000 (mem: 818.34 MiB) 11:03:37 elliptic : 2/6000 (mem: 818.34 MiB) 11:03:37 auxiliary : 26/26000 (mem: 818.34 MiB) 11:03:37 poseidon ext : 2/17000 (mem: 818.34 MiB) 11:03:37 poseidon int : 2/92000 (mem: 818.34 MiB) 11:03:37 overflow : 0/0 (mem: 818.34 MiB) 11:03:37 (mem: 818.34 MiB) 11:03:37 Total structured size: 242025 (mem: 818.34 MiB) 11:03:37 allocating polynomials object in proving key... (mem: 818.34 MiB) 11:03:37 [11:03:37.665] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.34 MiB) 11:03:37 [11:03:37.716] INFO: ivc-integration:test:native bb - time to construct proving key: 258 ms. (mem: 818.34 MiB) 11:03:37 [11:03:37.838] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x58987826c0c0 (mem: 818.34 MiB) 11:03:37 computing folding proof (mem: 818.34 MiB) 11:03:37 [11:03:37.841] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.34 MiB) 11:03:38 [11:03:38.082] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.34 MiB) 11:03:38 [11:03:38.158] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.34 MiB) 11:03:38 [11:03:38.209] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.56 MiB) 11:03:38 [11:03:38.503] INFO: ivc-integration:test:native bb - folded (mem: 818.56 MiB) 11:03:38 constructed folding proof (mem: 818.56 11:03:38 [11:03:38.504] INFO: ivc-integration:test:native bb - MiB) 11:03:38 [11:03:38.513] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 818.56 MiB) 11:03:38 [11:03:38.573] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.56 MiB) 11:03:38 [11:03:38.646] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 818.56 MiB) 11:03:38 Constructing DeciderProvingKey (mem: 818.56 MiB) 11:03:38 [11:03:38.650] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.56 MiB) 11:03:38 goblin ecc op : 792/1024 (mem: 818.56 MiB) 11:03:38 busread : 12/6000 (mem: 818.56 MiB) 11:03:38 lookups : 2/15000 (mem: 818.56 MiB) 11:03:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 818.56 MiB) 11:03:38 arithmetic : 12080/56000 (mem: 818.56 MiB) 11:03:38 delta range : 2942/18000 (mem: 818.56 MiB) 11:03:38 elliptic : 2/6000 (mem: 818.56 MiB) 11:03:38 auxiliary : 350/26000 (mem: 818.56 MiB) 11:03:38 poseidon ext : 4942/17000 (mem: 818.56 MiB) 11:03:38 poseidon int : 28160/92000 (mem: 818.56 MiB) 11:03:38 overflow : 0/0 (mem: 818.56 MiB) 11:03:38 (mem: 818.56 MiB) 11:03:38 Total structured size: 242025 (mem: 818.56 MiB) 11:03:38 allocating polynomials object in proving key... (mem: 818.56 MiB) 11:03:38 [11:03:38.791] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.56 MiB) 11:03:38 [11:03:38.830] INFO: ivc-integration:test:native bb - time to construct proving key: 185 ms. (mem: 818.56 MiB) 11:03:39 [11:03:39.166] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x589878265b40 (mem: 818.56 MiB) 11:03:39 computing folding proof (mem: 818.56 MiB) 11:03:39 [11:03:39.167] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 818.56 MiB) 11:03:39 [11:03:39.748] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.56 MiB) 11:03:39 [11:03:39.880] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.56 MiB) 11:03:39 [11:03:39.969] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.15 MiB) 11:03:40 [11:03:40.422] INFO: ivc-integration:test:native bb - folded (mem: 847.15 MiB) 11:03:40 constructed folding proof (mem: 847.15 MiB) 11:03:40 [11:03:40.433] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 847.15 MiB) 11:03:40 [11:03:40.494] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.15 MiB) 11:03:40 Constructing DeciderProvingKey (mem: 847.15 MiB) 11:03:40 [11:03:40.499] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.15 MiB) 11:03:40 goblin ecc op : 392/1024 (mem: 847.15 MiB) 11:03:40 busread : 16/6000 (mem: 847.15 MiB) 11:03:40 lookups : 2/15000 (mem: 847.15 MiB) 11:03:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.15 MiB) 11:03:40 arithmetic : 6914/56000 (mem: 847.15 MiB) 11:03:40 delta range : 2347/18000 (mem: 847.15 MiB) 11:03:40 elliptic : 2/6000 (mem: 847.15 MiB) 11:03:40 auxiliary : 77/26000 (mem: 847.15 MiB) 11:03:40 poseidon ext : 2472/17000 (mem: 847.15 MiB) 11:03:40 poseidon int : 14081/92000 (mem: 847.15 MiB) 11:03:40 overflow : 0/0 (mem: 847.15 MiB) 11:03:40 (mem: 847.15 MiB) 11:03:40 Total structured size: 242025 (mem: 847.15 MiB) 11:03:40 allocating polynomials object in proving key... (mem: 847.15 MiB) 11:03:40 [11:03:40.623] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.15 MiB) 11:03:40 [11:03:40.661] INFO: ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 847.15 MiB) 11:03:40 [11:03:40.922] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5898782e8a00 (mem: 847.15 MiB) 11:03:40 computing folding proof (mem: 847.15 MiB) 11:03:40 vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 847.15 MiB) 11:03:41 [11:03:41.254] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.15 MiB) 11:03:41 [11:03:41.328] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.15 MiB) 11:03:41 [11:03:41.385] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.17 MiB) 11:03:41 [11:03:41.675] INFO: ivc-integration:test:native bb - folded 11:03:41 [11:03:41.679] INFO: ivc-integration:test:native bb - (mem: 847.17 MiB) 11:03:41 constructed folding proof (mem: 847.17 MiB) 11:03:41 [11:03:41.689] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 847.17 MiB) 11:03:41 [11:03:41.761] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 847.17 MiB) 11:03:41 Constructing DeciderProvingKey (mem: 847.17 MiB) 11:03:41 [11:03:41.764] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.17 MiB) 11:03:41 [11:03:41.764] INFO: ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 847.17 MiB) 11:03:41 busread : 3/6000 (mem: 847.17 MiB) 11:03:41 lookups : 2/15000 (mem: 847.17 MiB) 11:03:41 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.17 MiB) 11:03:41 arithmetic : 6849/56000 (mem: 847.17 MiB) 11:03:41 delta range : 2333/18000 (mem: 847.17 MiB) 11:03:41 elliptic : 2/6000 (mem: 847.17 MiB) 11:03:41 auxiliary : 50/26000 (mem: 847.17 MiB) 11:03:41 poseidon ext : 2472/17000 (mem: 847.17 MiB) 11:03:41 poseidon int : 14081/92000 (mem: 847.17 MiB) 11:03:41 overflow : 0/0 (mem: 847.17 MiB) 11:03:41 (mem: 847.17 MiB) 11:03:41 Total structured size: 242025 (mem: 847.17 MiB) 11:03:41 allocating polynomials object in proving key... (mem: 847.17 MiB) 11:03:41 [11:03:41.847] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.17 MiB) 11:03:41 [11:03:41.879] INFO: ivc-integration:test:native bb - time to construct proving key: 119 ms. 11:03:41 [11:03:41.880] INFO: ivc-integration:test:native bb - (mem: 11:03:41 [11:03:41.881] INFO: ivc-integration:test:native bb - 847.17 MiB) 11:03:42 [11:03:42.054] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x58987827f300 (mem: 847.17 MiB) 11:03:42 computing folding proof (mem: 847.17 MiB) 11:03:42 [11:03:42.055] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.17 MiB) 11:03:42 [11:03:42.575] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.17 MiB) 11:03:42 [11:03:42.667] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.17 MiB) 11:03:42 [11:03:42.711] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 847.17 MiB) 11:03:42 [11:03:42.963] INFO: ivc-integration:test:native bb - folded (mem: 847.17 MiB) 11:03:42 constructed folding proof (mem: 847.17 MiB) 11:03:42 Largest circuit: 48490 gates. Trace details: (mem: 847.17 MiB) 11:03:42 Minimum required block sizes for structured trace: (mem: 847.17 MiB) 11:03:42 (mem: 847.17 MiB) 11:03:42 prove decider... (mem: 847.17 MiB) 11:03:42 [11:03:42.964] INFO: ivc-integration:test:native bb - ecc_op : 792 11:03:42 busread : 16 11:03:42 lookup : 2 11:03:42 pub_inputs : 36 11:03:42 arithmetic : 12080 11:03:42 delta_range : 2942 11:03:42 elliptic : 2 11:03:42 aux : 350 11:03:42 poseidon2_external : 4942 11:03:42 poseidon2_internal : 28160 11:03:42 overflow : 0 11:03:43 [11:03:43.174] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.17 MiB) 11:03:43 [11:03:43.367] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.17 MiB) 11:03:44 [11:03:44.530] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.17 MiB) 11:03:44 [11:03:44.608] INFO: ivc-integration:test:native bb - computed opening proof 11:03:44 [11:03:44.610] INFO: ivc-integration:test:native bb - (mem: 11:03:44 [11:03:44.611] INFO: ivc-integration:test:native bb - 847.17 11:03:44 [11:03:44.611] INFO: ivc-integration:test:native bb - MiB) 11:03:44 [11:03:44.612] INFO: ivc-integration:test:native bb - 11:03:44 [11:03:44.614] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 847.17 MiB) 11:03:44 [11:03:44.640] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 847.17 MiB) 11:03:44 [11:03:44.760] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.17 MiB) 11:03:44 [11:03:44.768] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 847.17 MiB) 11:03:44 [11:03:44.887] INFO: ivc-integration:test:native bb - populating trace... (mem: 847.17 MiB) 11:03:44 [11:03:44.944] INFO: ivc-integration:test:native bb - time to construct proving key: 184 ms. (mem: 847.17 MiB) 11:03:45 [11:03:45.642] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 847.17 MiB) 11:03:46 [11:03:46.124] INFO: ivc-integration:test:native bb - created oink proof (mem: 847.17 MiB) 11:03:46 [11:03:46.289] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.17 MiB) 11:03:47 [11:03:47.159] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.17 MiB) 11:03:47 [11:03:47.745] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 847.17 MiB) 11:03:47 [11:03:47.777] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.17 MiB) 11:03:47 finished decider proving. (mem: 847.17 MiB) 11:03:47 [11:03:47.779] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 847.17 MiB) 11:03:47 [11:03:47.899] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 847.17 MiB) 11:03:48 [11:03:48.381] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 847.17 MiB) 11:03:48 [11:03:48.411] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 847.17 MiB) 11:03:49 [11:03:49.812] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.17 MiB) 11:03:51 [11:03:51.152] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 847.17 MiB) 11:03:54 [11:03:54.561] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 847.17 MiB) 11:03:54 prove translator... (mem: 847.17 MiB) 11:03:57 [11:03:57.143] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 873.02 MiB) 11:03:59 [11:03:59.294] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 873.02 MiB) 11:04:00 [11:04:00.796] INFO: ivc-integration:test:native bb - computed opening proof (mem: 873.02 MiB) 11:04:00 [11:04:00.797] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 873.02 MiB) 11:04:00 [11:04:00.802] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 873.02 MiB) 11:04:00 [11:04:00.828] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 873.02 MiB) 11:04:00 libra_evals_verified: 1 (mem: 873.02 MiB) 11:04:00 pairing_check_verified: 1 (mem: 873.02 MiB) 11:04:00 Mega verified: 1 (mem: 873.02 MiB) 11:04:00 [11:04:00.897] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 874.02 MiB) 11:04:00 batch opening verified?: 1 (mem: 874.02 MiB) 11:04:00 eccvm consistency check verified?: 1 (mem: 874.02 MiB) 11:04:00 translation masking consistency checked?: 1 (mem: 874.02 MiB) 11:04:00 [11:04:00.918] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 874.02 MiB) 11:04:00 eccvm verified?: 1 (mem: 874.02 MiB) 11:04:00 accumulator construction_verified?: 1 (mem: 874.02 MiB) 11:04:00 translation verified?: 1 (mem: 874.02 MiB) 11:04:00 consistency verified?: 1 (mem: 874.02 MiB) 11:04:00 Goblin verified: 1 (mem: 874.02 MiB) 11:04:00 [11:04:00.919] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-xQABnG" (mem: 874.02 MiB) 11:04:00 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-xQABnG" (mem: 874.02 MiB) 11:04:00 BN254 commitment key size: 262144 (mem: 874.02 MiB) 11:04:00 [11:04:00.921] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.02 MiB) 11:04:00 [11:04:00.924] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.02 MiB) 11:04:00 goblin ecc op : 4/1024 (mem: 874.02 MiB) 11:04:00 busread : 3/6000 (mem: 874.02 MiB) 11:04:00 [11:04:00.924] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 874.02 MiB) 11:04:00 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 874.02 MiB) 11:04:00 arithmetic : 1773/56000 (mem: 874.02 MiB) 11:04:00 delta range : 1754/18000 (mem: 874.02 MiB) 11:04:00 elliptic : 2/6000 (mem: 874.02 MiB) 11:04:00 auxiliary : 26/26000 (mem: 874.02 MiB) 11:04:00 poseidon ext : 2/17000 (mem: 874.02 MiB) 11:04:00 poseidon int : 2/92000 (mem: 874.02 MiB) 11:04:00 overflow : 0/0 (mem: 874.02 MiB) 11:04:00 (mem: 874.02 MiB) 11:04:00 Total structured size: 242025 (mem: 874.02 MiB) 11:04:00 allocating polynomials object in proving key... (mem: 874.02 MiB) 11:04:01 [11:04:01.140] INFO: ivc-integration:test:native bb - populating trace... (mem: 874.02 MiB) 11:04:01 [11:04:01.156] INFO: ivc-integration:test:native bb - time to construct proving key: 234 ms. (mem: 874.02 MiB) 11:04:01 [11:04:01.244] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.02 MiB) 11:04:01 [11:04:01.975] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 874.02 MiB) 11:04:01 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.02 MiB) 11:04:02 [11:04:02.164] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 874.02 MiB) 11:04:02 [11:04:02.171] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.02 MiB) 11:04:02 [11:04:02.191] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.02 MiB) 11:04:02 [11:04:02.194] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.02 MiB) 11:04:02 [11:04:02.194] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 874.02 MiB) 11:04:02 busread : 3/6000 (mem: 874.02 MiB) 11:04:02 lookups : 2/15000 (mem: 874.02 MiB) 11:04:02 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 874.02 MiB) 11:04:02 arithmetic : 4481/56000 (mem: 874.02 MiB) 11:04:02 delta range : 2041/18000 (mem: 874.02 MiB) 11:04:02 elliptic : 2/6000 (mem: 874.02 MiB) 11:04:02 auxiliary : 50/26000 (mem: 874.02 MiB) 11:04:02 poseidon ext : 1312/17000 (mem: 874.02 MiB) 11:04:02 poseidon int : 7469/92000 (mem: 874.02 MiB) 11:04:02 overflow : 0/0 (mem: 874.02 MiB) 11:04:02 (mem: 874.02 MiB) 11:04:02 Total structured size: 242025 (mem: 874.02 MiB) 11:04:02 allocating polynomials object in proving key... (mem: 874.02 MiB) 11:04:02 [11:04:02.273] INFO: ivc-integration:test:native bb - populating trace... (mem: 874.02 MiB) 11:04:02 [11:04:02.287] INFO: ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 874.02 MiB) 11:04:02 [11:04:02.327] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.02 MiB) 11:04:03 [11:04:03.073] INFO: ivc-integration:test:native bb - computing folding proof (mem: 874.02 MiB) 11:04:03 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 874.02 MiB) 11:04:03 [11:04:03.567] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 11:04:03 [11:04:03.568] INFO: ivc-integration:test:native bb - (mem: 11:04:03 [11:04:03.569] INFO: ivc-integration:test:native bb - 874.02 11:04:03 [11:04:03.570] INFO: ivc-integration:test:native bb - MiB) 11:04:03 [11:04:03.570] INFO: ivc-integration:test:native bb - 11:04:03 [11:04:03.665] INFO: ivc-integration:test:native bb - perturbator round (mem: 874.02 MiB) 11:04:03 [11:04:03.711] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 906.02 MiB) 11:04:04 [11:04:04.018] INFO: ivc-integration:test:native bb - folded (mem: 906.02 MiB) 11:04:04 constructed folding proof (mem: 906.02 MiB) 11:04:04 Largest circuit: 15360 gates. Trace details: (mem: 906.02 MiB) 11:04:04 Minimum required block sizes for structured trace: (mem: 906.02 MiB) 11:04:04 (mem: 906.02 MiB) 11:04:04 prove decider... (mem: 906.02 MiB) 11:04:04 [11:04:04.019] INFO: ivc-integration:test:native bb - ecc_op : 56 11:04:04 busread : 3 11:04:04 lookup : 2 11:04:04 pub_inputs : 36 11:04:04 arithmetic : 4481 11:04:04 delta_range : 2041 11:04:04 elliptic : 2 11:04:04 aux : 50 11:04:04 poseidon2_external : 1312 11:04:04 poseidon2_internal : 7469 11:04:04 overflow : 0 11:04:04 [11:04:04.108] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 906.02 MiB) 11:04:04 [11:04:04.297] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 906.02 MiB) 11:04:05 [11:04:05.043] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 906.02 MiB) 11:04:05 [11:04:05.114] INFO: ivc-integration:test:native bb - computed opening proof (mem: 906.02 MiB) 11:04:05 [11:04:05.117] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 906.02 MiB) 11:04:05 [11:04:05.131] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 906.02 MiB) 11:04:05 [11:04:05.259] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 906.02 MiB) 11:04:05 [11:04:05.267] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 906.02 MiB) 11:04:05 [11:04:05.459] INFO: ivc-integration:test:native bb - populating trace... (mem: 906.02 MiB) 11:04:05 [11:04:05.504] INFO: ivc-integration:test:native bb - time to construct proving key: 248 ms. (mem: 906.02 MiB) 11:04:06 [11:04:06.334] 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-xQABnG/proof -k /tmp/bb-client-ivc-integration-xQABnG/vk -v 11:04:06 [11:04:06.354] INFO: ivc-integration:test:native bb command: verify (mem: 160.06 MiB) 11:04:06 [11:04:06.355] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 160.06 MiB) 11:04:06 --proof_path: /tmp/bb-client-ivc-integration-xQABnG/proof (mem: 160.06 MiB) 11:04:06 --vk_path: /tmp/bb-client-ivc-integration-xQABnG/vk (mem: 160.06 MiB) 11:04:06 --verbose: true (mem: 160.06 MiB) 11:04:06 --scheme: client_ivc (mem: 160.06 MiB) 11:04:06 [11:04:06.462] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 160.06 MiB) 11:04:06 [11:04:06.483] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 160.06 MiB) 11:04:06 [11:04:06.484] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 160.06 MiB) 11:04:06 [11:04:06.502] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 160.06 MiB) 11:04:06 [11:04:06.502] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 160.06 MiB) 11:04:06 [11:04:06.503] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 160.06 MiB) 11:04:06 libra_evals_verified: 1 (mem: 160.06 MiB) 11:04:06 pairing_check_verified: 1 (mem: 160.06 MiB) 11:04:06 Mega verified: 1 (mem: 160.06 MiB) 11:04:06 [11:04:06.564] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 171.54 MiB) 11:04:06 batch opening verified?: 1 (mem: 171.54 11:04:06 [11:04:06.564] INFO: ivc-integration:test:native MiB) 11:04:06 eccvm consistency check verified?: 1 (mem: 171.54 MiB) 11:04:06 translation masking consistency checked?: 1 (mem: 171.54 MiB) 11:04:06 [11:04:06.584] INFO: ivc-integration:test:native merge verified?: 1 (mem: 171.54 MiB) 11:04:06 eccvm verified?: 1 (mem: 171.54 MiB) 11:04:06 accumulator construction_verified?: 1 (mem: 11:04:06 [11:04:06.585] INFO: ivc-integration:test:native 171.54 MiB) 11:04:06 translation verified?: 1 (mem: 171.54 MiB) 11:04:06 consistency verified?: 1 (mem: 171.54 MiB) 11:04:06 Goblin verified: 1 (mem: 171.54 MiB) 11:04:06 [11:04:06.591] INFO: ivc-integration:test:native verified: 1 (mem: 171.54 MiB) 11:04:06 PASS src/native_client_ivc_integration.test.ts (69.833 s) 11:04:06 Client IVC Integration 11:04:06 ✓ Should generate a verifiable client IVC proof from a simple mock tx (34685 ms) 11:04:06 ✓ Should generate a verifiable client IVC proof from a complex mock tx (31996 ms) 11:04:06 11:04:06 Test Suites: 1 passed, 1 total 11:04:06 Tests: 2 passed, 2 total 11:04:06 Snapshots: 0 total 11:04:06 Time: 69.899 s 11:04:06 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 11:04:06 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?