ACI ·

Parent Log: http://ci.aztec-labs.com/d525d18f08c39a3a Command: 731d98bdb3377842: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/daebab2c4bace59ef25ddb29040a040926f095e6 Env: REF_NAME=gh-readonly-queue/next/pr-14986-b80949775e5c27908a6055ad24592f7d98bdc45a CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 09:06:07 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14986_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 09:06:11 [09:06:11.392] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-iiyuX3/ivc-inputs.msgpack 09:06:11 [09:06:11.399] 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-iiyuX3 --ivc_inputs_path /tmp/bb-client-ivc-integration-iiyuX3/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:06:11 [09:06:11.422] INFO: ivc-integration:test:native bb - bb command: prove (mem: 158.98 MiB) 09:06:11 [09:06:11.423] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 158.98 MiB) 09:06:11 --scheme: client_ivc (mem: 158.98 MiB) 09:06:11 --output_path: /tmp/bb-client-ivc-integration-iiyuX3 (mem: 158.98 MiB) 09:06:11 --ivc_inputs_path: /tmp/bb-client-ivc-integration-iiyuX3/ivc-inputs.msgpack (mem: 158.98 MiB) 09:06:11 --verbose: true (mem: 158.98 MiB) 09:06:11 --write_vk: true (mem: 158.98 MiB) 09:06:11 BN254 commitment key size: 262144 (mem: 158.98 MiB) 09:06:11 [09:06:11.521] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 241.00 MiB) 09:06:11 [09:06:11.602] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 289.61 MiB) 09:06:11 [09:06:11.605] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 289.61 MiB) 09:06:11 Constructing DeciderProvingKey (mem: 289.61 MiB) 09:06:11 [09:06:11.610] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 289.61 MiB) 09:06:11 goblin ecc op : 4/1024 (mem: 289.61 MiB) 09:06:11 busread : 7/6000 (mem: 289.61 MiB) 09:06:11 lookups : 2/15000 (mem: 289.61 MiB) 09:06:11 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 289.61 MiB) 09:06:11 arithmetic : 1760/56000 (mem: 289.61 MiB) 09:06:11 delta range : 1754/18000 (mem: 289.61 MiB) 09:06:11 elliptic : 2/6000 (mem: 289.61 MiB) 09:06:11 auxiliary : 26/26000 (mem: 289.61 MiB) 09:06:11 poseidon ext : 2/17000 (mem: 289.61 MiB) 09:06:11 poseidon int : 2/92000 (mem: 289.61 MiB) 09:06:11 overflow : 0/0 (mem: 289.61 MiB) 09:06:11 (mem: 289.61 MiB) 09:06:11 Total structured size: 242025 (mem: 289.61 MiB) 09:06:11 allocating polynomials object in proving key... (mem: 289.61 MiB) 09:06:11 [09:06:11.693] INFO: ivc-integration:test:native bb - populating trace... (mem: 500.76 MiB) 09:06:11 [09:06:11.702] INFO: ivc-integration:test:native bb - time to construct proving key: 97 ms. (mem: 513.76 MiB) 09:06:11 [09:06:11.747] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a6d0c08e240 (mem: 513.76 MiB) 09:06:11 [09:06:11.750] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 513.76 MiB) 09:06:11 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.76 MiB) 09:06:12 [09:06:12.004] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.76 MiB) 09:06:12 [09:06:12.024] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.76 MiB) 09:06:12 [09:06:12.047] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.76 MiB) 09:06:12 Constructing DeciderProvingKey (mem: 09:06:12 [09:06:12.048] INFO: ivc-integration:test:native bb - 523.76 MiB) 09:06:12 [09:06:12.052] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.76 MiB) 09:06:12 goblin ecc op : 56/1024 (mem: 523.76 MiB) 09:06:12 busread : 12/6000 (mem: 523.76 MiB) 09:06:12 lookups : 2/15000 (mem: 523.76 MiB) 09:06:12 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.76 MiB) 09:06:12 arithmetic : 4625/56000 (mem: 523.76 MiB) 09:06:12 delta range : 2054/18000 (mem: 523.76 MiB) 09:06:12 elliptic : 2/6000 (mem: 523.76 MiB) 09:06:12 auxiliary : 110/26000 (mem: 523.76 MiB) 09:06:12 poseidon ext : 1302/17000 (mem: 523.76 MiB) 09:06:12 poseidon int : 7412/92000 (mem: 523.76 MiB) 09:06:12 overflow : 0/0 (mem: 523.76 MiB) 09:06:12 (mem: 523.76 MiB) 09:06:12 Total structured size: 242025 (mem: 523.76 MiB) 09:06:12 allocating polynomials object in proving key... (mem: 523.76 MiB) 09:06:12 [09:06:12.226] INFO: ivc-integration:test:native bb - populating trace... (mem: 730.76 MiB) 09:06:12 [09:06:12.264] INFO: ivc-integration:test:native bb - time to construct proving key: 216 ms. (mem: 743.76 MiB) 09:06:12 [09:06:12.378] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a6d0c09aec0 (mem: 743.76 MiB) 09:06:12 [09:06:12.378] INFO: ivc-integration:test:native bb - computing folding proof (mem: 743.76 MiB) 09:06:12 [09:06:12.379] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 743.76 MiB) 09:06:12 [09:06:12.856] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 743.76 MiB) 09:06:12 [09:06:12.983] INFO: ivc-integration:test:native bb - perturbator round (mem: 781.76 MiB) 09:06:13 [09:06:13.027] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.76 MiB) 09:06:13 [09:06:13.617] INFO: ivc-integration:test:native bb - folded (mem: 814.76 MiB) 09:06:13 constructed folding proof (mem: 814.76 MiB) 09:06:13 [09:06:13.629] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 814.76 MiB) 09:06:13 [09:06:13.720] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.76 MiB) 09:06:13 Constructing DeciderProvingKey (mem: 814.76 MiB) 09:06:13 [09:06:13.728] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.76 MiB) 09:06:13 goblin ecc op : 392/1024 (mem: 814.76 MiB) 09:06:13 busread : 3/6000 (mem: 814.76 MiB) 09:06:13 lookups : 2/15000 (mem: 814.76 MiB) 09:06:13 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.76 MiB) 09:06:13 arithmetic : 6849/56000 (mem: 814.76 MiB) 09:06:13 delta range : 2333/18000 (mem: 814.76 MiB) 09:06:13 elliptic : 2/6000 (mem: 814.76 MiB) 09:06:13 auxiliary : 50/26000 (mem: 814.76 MiB) 09:06:13 poseidon ext : 2472/17000 (mem: 814.76 MiB) 09:06:13 poseidon int : 14081/92000 (mem: 814.76 MiB) 09:06:13 overflow : 0/0 (mem: 814.76 MiB) 09:06:13 (mem: 814.76 MiB) 09:06:13 Total structured size: 242025 (mem: 814.76 MiB) 09:06:13 allocating polynomials object in proving key... (mem: 814.76 MiB) 09:06:13 [09:06:13.894] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.76 MiB) 09:06:13 [09:06:13.960] INFO: ivc-integration:test:native bb - time to construct proving key: 239 ms. (mem: 814.76 MiB) 09:06:14 [09:06:14.140] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a6d0c090940 (mem: 814.76 MiB) 09:06:14 computing folding proof (mem: 09:06:14 [09:06:14.141] INFO: ivc-integration:test:native bb - 814.76 MiB) 09:06:14 [09:06:14.142] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.76 MiB) 09:06:14 [09:06:14.695] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.76 MiB) 09:06:14 [09:06:14.891] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.76 MiB) 09:06:14 [09:06:14.937] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.76 MiB) 09:06:15 [09:06:15.451] INFO: ivc-integration:test:native bb - folded (mem: 814.76 MiB) 09:06:15 constructed folding proof (mem: 814.76 MiB) 09:06:15 Largest circuit: 25792 gates. Trace details: (mem: 814.76 MiB) 09:06:15 Minimum required block sizes for structured trace: (mem: 814.76 MiB) 09:06:15 (mem: 814.76 MiB) 09:06:15 prove decider... (mem: 814.76 MiB) 09:06:15 [09:06:15.453] INFO: ivc-integration:test:native bb - ecc_op : 392 09:06:15 busread : 12 09:06:15 lookup : 2 09:06:15 pub_inputs : 36 09:06:15 arithmetic : 6849 09:06:15 delta_range : 2333 09:06:15 elliptic : 2 09:06:15 aux : 110 09:06:15 poseidon2_external : 2472 09:06:15 poseidon2_internal : 14081 09:06:15 overflow : 0 09:06:15 [09:06:15.687] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.76 MiB) 09:06:15 [09:06:15.872] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 814.76 MiB) 09:06:17 [09:06:17.290] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.76 MiB) 09:06:17 [09:06:17.393] INFO: ivc-integration:test:native bb - computed opening proof (mem: 814.76 MiB) 09:06:17 finished decider proving. (mem: 814.76 MiB) 09:06:17 [09:06:17.421] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 814.76 MiB) 09:06:17 [09:06:17.564] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 814.76 MiB) 09:06:17 [09:06:17.574] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 814.76 MiB) 09:06:17 [09:06:17.812] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.76 MiB) 09:06:17 [09:06:17.901] INFO: ivc-integration:test:native bb - time to construct proving key: 338 ms. (mem: 814.76 MiB) 09:06:19 [09:06:19.255] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 814.76 MiB) 09:06:20 [09:06:20.028] INFO: ivc-integration:test:native bb - created oink proof (mem: 814.76 MiB) 09:06:20 [09:06:20.311] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.76 MiB) 09:06:22 [09:06:22.086] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 09:06:22 [09:06:22.088] INFO: ivc-integration:test:native bb - (mem: 814.76 MiB) 09:06:23 [09:06:23.325] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.76 MiB) 09:06:23 [09:06:23.366] INFO: ivc-integration:test:native bb - computed opening proof (mem: 814.76 MiB) 09:06:23 finished decider proving. (mem: 814.76 MiB) 09:06:23 [09:06:23.367] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 814.76 MiB) 09:06:23 [09:06:23.619] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 814.76 MiB) 09:06:24 [09:06:24.199] 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: 814.76 MiB) 09:06:24 [09:06:24.241] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 814.76 MiB) 09:06:26 [09:06:26.594] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.76 MiB) 09:06:28 [09:06:28.974] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.76 MiB) 09:06:33 [09:06:33.461] INFO: ivc-integration:test:native bb - finished eccvm proving. 09:06:33 [09:06:33.462] INFO: ivc-integration:test:native bb - (mem: 814.76 MiB) 09:06:33 prove translator... (mem: 814.76 MiB) 09:06:36 [09:06:36.313] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 847.80 MiB) 09:06:39 [09:06:39.317] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.80 MiB) 09:06:42 [09:06:42.416] INFO: ivc-integration:test:native bb - computed opening proof (mem: 847.80 MiB) 09:06:42 finished translator proving. (mem: 847.80 MiB) 09:06:42 [09:06:42.424] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 09:06:42 [09:06:42.425] INFO: ivc-integration:test:native bb - (mem: 847.80 MiB) 09:06:42 [09:06:42.443] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 847.80 MiB) 09:06:42 libra_evals_verified: 1 (mem: 847.80 MiB) 09:06:42 pairing_check_verified: 1 (mem: 847.80 MiB) 09:06:42 Mega verified: 1 (mem: 847.80 MiB) 09:06:42 [09:06:42.583] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 848.80 MiB) 09:06:42 batch opening verified?: 1 (mem: 848.80 MiB) 09:06:42 eccvm consistency check verified?: 1 (mem: 848.80 MiB) 09:06:42 translation masking consistency checked?: 1 (mem: 848.80 MiB) 09:06:42 [09:06:42.630] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 848.80 MiB) 09:06:42 eccvm verified?: 1 (mem: 848.80 MiB) 09:06:42 accumulator construction_verified?: 1 (mem: 848.80 MiB) 09:06:42 translation verified?: 1 (mem: 848.80 MiB) 09:06:42 consistency verified?: 1 (mem: 848.80 MiB) 09:06:42 Goblin verified: 1 (mem: 848.80 MiB) 09:06:42 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-iiyuX3" (mem: 848.80 MiB) 09:06:42 [09:06:42.633] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-iiyuX3" (mem: 848.80 MiB) 09:06:42 BN254 commitment key size: 262144 (mem: 848.80 MiB) 09:06:42 [09:06:42.635] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.80 MiB) 09:06:42 [09:06:42.638] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.80 MiB) 09:06:42 goblin ecc op : 4/1024 (mem: 848.80 MiB) 09:06:42 busread : 3/6000 (mem: 848.80 MiB) 09:06:42 [09:06:42.639] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 848.80 MiB) 09:06:42 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 848.80 MiB) 09:06:42 arithmetic : 1773/56000 (mem: 848.80 MiB) 09:06:42 delta range : 1754/18000 (mem: 848.80 MiB) 09:06:42 elliptic : 2/6000 (mem: 848.80 MiB) 09:06:42 auxiliary : 26/26000 (mem: 848.80 MiB) 09:06:42 poseidon ext : 2/17000 (mem: 848.80 MiB) 09:06:42 poseidon int : 2/92000 (mem: 848.80 MiB) 09:06:42 overflow : 0/0 (mem: 848.80 MiB) 09:06:42 (mem: 848.80 MiB) 09:06:42 Total structured size: 242025 (mem: 848.80 MiB) 09:06:42 allocating polynomials object in proving key... (mem: 848.80 MiB) 09:06:42 [09:06:42.905] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.80 MiB) 09:06:42 [09:06:42.933] INFO: ivc-integration:test:native bb - time to construct proving key: 299 ms. (mem: 848.80 MiB) 09:06:43 [09:06:43.168] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.80 MiB) 09:06:44 [09:06:44.040] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 848.80 MiB) 09:06:44 [09:06:44.041] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.80 MiB) 09:06:44 [09:06:44.519] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 848.80 MiB) 09:06:44 [09:06:44.529] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 848.80 MiB) 09:06:44 [09:06:44.565] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 09:06:44 [09:06:44.568] INFO: ivc-integration:test:native bb - 848.80 MiB) 09:06:44 [09:06:44.573] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.80 09:06:44 [09:06:44.582] INFO: ivc-integration:test:native bb - MiB) 09:06:44 goblin ecc op : 56/1024 (mem: 848.80 MiB) 09:06:44 busread : 3/6000 (mem: 848.80 MiB) 09:06:44 lookups : 2/15000 (mem: 848.80 MiB) 09:06:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.80 MiB) 09:06:44 arithmetic : 4481/56000 (mem: 848.80 MiB) 09:06:44 delta range : 2041/18000 (mem: 848.80 MiB) 09:06:44 elliptic : 2/6000 (mem: 848.80 MiB) 09:06:44 auxiliary : 50/26000 (mem: 848.80 MiB) 09:06:44 poseidon ext : 1312/17000 (mem: 848.80 MiB) 09:06:44 poseidon int : 7469/92000 (mem: 848.80 MiB) 09:06:44 overflow : 0/0 (mem: 848.80 MiB) 09:06:44 (mem: 848.80 MiB) 09:06:44 Total structured size: 242025 (mem: 848.80 MiB) 09:06:44 allocating polynomials object in proving key... (mem: 848.80 MiB) 09:06:44 [09:06:44.991] INFO: ivc-integration:test:native bb - populating trace... (mem: 848.80 MiB) 09:06:45 [09:06:45.033] INFO: ivc-integration:test:native bb - time to construct proving key: 467 ms. (mem: 848.80 MiB) 09:06:45 [09:06:45.124] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 848.80 MiB) 09:06:45 [09:06:45.987] INFO: ivc-integration:test:native bb - computing folding proof 09:06:45 [09:06:45.991] INFO: ivc-integration:test:native bb - (mem: 848.80 MiB) 09:06:45 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 848.80 MiB) 09:06:46 [09:06:46.872] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.80 MiB) 09:06:47 [09:06:47.022] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.80 MiB) 09:06:47 [09:06:47.092] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 882.80 MiB) 09:06:47 [09:06:47.531] INFO: ivc-integration:test:native bb - folded (mem: 882.80 MiB) 09:06:47 constructed folding proof (mem: 882.80 MiB) 09:06:47 Largest circuit: 15360 gates. Trace details: (mem: 882.80 MiB) 09:06:47 Minimum required block sizes for structured trace: (mem: 882.80 MiB) 09:06:47 (mem: 882.80 MiB) 09:06:47 prove decider... (mem: 882.80 MiB) 09:06:47 [09:06:47.532] INFO: ivc-integration:test:native bb - ecc_op : 56 09:06:47 busread : 3 09:06:47 lookup : 2 09:06:47 pub_inputs : 36 09:06:47 arithmetic : 4481 09:06:47 delta_range : 2041 09:06:47 elliptic : 2 09:06:47 aux : 50 09:06:47 poseidon2_external : 1312 09:06:47 poseidon2_internal : 7469 09:06:47 overflow : 0 09:06:47 [09:06:47.797] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 882.80 MiB) 09:06:48 [09:06:48.113] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 882.80 MiB) 09:06:49 [09:06:49.257] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 882.80 MiB) 09:06:49 [09:06:49.335] INFO: ivc-integration:test:native bb - computed opening proof (mem: 882.80 MiB) 09:06:49 [09:06:49.336] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 882.80 MiB) 09:06:49 [09:06:49.353] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 882.80 MiB) 09:06:49 [09:06:49.497] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 882.80 MiB) 09:06:49 [09:06:49.502] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 882.80 MiB) 09:06:49 [09:06:49.624] INFO: ivc-integration:test:native bb - populating trace... (mem: 882.80 MiB) 09:06:49 [09:06:49.675] INFO: ivc-integration:test:native bb - time to construct proving key: 176 ms. (mem: 882.80 MiB) 09:06:50 [09:06:50.539] 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-iiyuX3/proof -k /tmp/bb-client-ivc-integration-iiyuX3/vk -v 09:06:50 [09:06:50.564] INFO: ivc-integration:test:native bb command: verify (mem: 158.98 MiB) 09:06:50 Scheme is: client_ivc, num threads: 128 (mem: 158.98 MiB) 09:06:50 --proof_path: /tmp/bb-client-ivc-integration-iiyuX3/proof (mem: 158.98 MiB) 09:06:50 --vk_path: /tmp/bb-client-ivc-integration-iiyuX3/vk (mem: 158.98 MiB) 09:06:50 --verbose: true (mem: 158.98 MiB) 09:06:50 --scheme: client_ivc (mem: 158.98 MiB) 09:06:50 [09:06:50.667] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 158.98 MiB) 09:06:50 [09:06:50.692] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 09:06:50 [09:06:50.693] INFO: ivc-integration:test:native (mem: 09:06:50 [09:06:50.693] INFO: ivc-integration:test:native 161.39 09:06:50 [09:06:50.694] INFO: ivc-integration:test:native MiB) 09:06:50 [09:06:50.696] INFO: ivc-integration:test:native 09:06:50 [09:06:50.698] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 09:06:50 [09:06:50.699] INFO: ivc-integration:test:native (mem: 161.39 MiB) 09:06:50 [09:06:50.718] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 09:06:50 [09:06:50.720] INFO: ivc-integration:test:native (mem: 161.39 MiB) 09:06:50 Initialized BN254 CRS from memory with num points = 1025 (mem: 161.39 MiB) 09:06:50 [09:06:50.721] INFO: ivc-integration:test:native sumcheck_verified: 1 09:06:50 [09:06:50.723] INFO: ivc-integration:test:native (mem: 161.39 MiB) 09:06:50 libra_evals_verified: 1 (mem: 161.39 MiB) 09:06:50 pairing_check_verified: 1 (mem: 161.39 MiB) 09:06:50 Mega verified: 1 (mem: 161.39 MiB) 09:06:50 [09:06:50.833] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 176.52 MiB) 09:06:50 batch opening verified?: 1 (mem: 176.52 MiB) 09:06:50 eccvm consistency check verified?: 1 (mem: 176.52 MiB) 09:06:50 translation masking consistency checked?: 1 (mem: 176.52 MiB) 09:06:50 [09:06:50.876] INFO: ivc-integration:test:native merge verified?: 1 (mem: 176.52 MiB) 09:06:50 eccvm verified?: 1 (mem: 176.52 MiB) 09:06:50 accumulator construction_verified?: 1 (mem: 176.52 MiB) 09:06:50 translation verified?: 1 (mem: 176.52 MiB) 09:06:50 consistency verified?: 1 (mem: 176.52 MiB) 09:06:50 Goblin verified: 1 (mem: 176.52 MiB) 09:06:50 [09:06:50.881] INFO: ivc-integration:test:native verified: 1 (mem: 176.52 MiB) 09:06:51 [09:06:51.045] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-TWwUOq/ivc-inputs.msgpack 09:06:51 [09:06:51.046] 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-TWwUOq --ivc_inputs_path /tmp/bb-client-ivc-integration-TWwUOq/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 09:06:51 [09:06:51.092] INFO: ivc-integration:test:native bb - bb command: prove (mem: 162.13 MiB) 09:06:51 Scheme is: client_ivc, num threads: 128 (mem: 162.13 MiB) 09:06:51 --scheme: client_ivc (mem: 162.13 MiB) 09:06:51 --output_path: /tmp/bb-client-ivc-integration-TWwUOq (mem: 162.13 MiB) 09:06:51 --ivc_inputs_path: /tmp/bb-client-ivc-integration-TWwUOq/ivc-inputs.msgpack (mem: 162.13 MiB) 09:06:51 --verbose: true (mem: 162.13 MiB) 09:06:51 --write_vk: true (mem: 162.13 MiB) 09:06:51 [09:06:51.095] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 09:06:51 [09:06:51.100] INFO: ivc-integration:test:native bb - (mem: 162.13 MiB) 09:06:51 [09:06:51.212] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 266.00 MiB) 09:06:51 [09:06:51.316] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 314.14 MiB) 09:06:51 [09:06:51.323] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 314.14 MiB) 09:06:51 Constructing DeciderProvingKey (mem: 314.14 MiB) 09:06:51 [09:06:51.329] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 314.14 MiB) 09:06:51 goblin ecc op : 4/1024 (mem: 314.14 MiB) 09:06:51 busread : 7/6000 (mem: 314.14 MiB) 09:06:51 lookups : 2/15000 (mem: 314.14 MiB) 09:06:51 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 314.14 MiB) 09:06:51 arithmetic : 1760/56000 (mem: 314.14 MiB) 09:06:51 delta range : 1754/18000 (mem: 314.14 MiB) 09:06:51 elliptic : 2/6000 (mem: 314.14 MiB) 09:06:51 auxiliary : 26/26000 (mem: 314.14 MiB) 09:06:51 poseidon ext : 2/17000 (mem: 314.14 MiB) 09:06:51 poseidon int : 2/92000 (mem: 314.14 MiB) 09:06:51 overflow : 0/0 (mem: 314.14 MiB) 09:06:51 (mem: 314.14 MiB) 09:06:51 Total structured size: 242025 (mem: 314.14 MiB) 09:06:51 allocating polynomials object in proving key... (mem: 314.14 MiB) 09:06:51 [09:06:51.437] INFO: ivc-integration:test:native bb - populating trace... (mem: 509.27 MiB) 09:06:51 [09:06:51.474] INFO: ivc-integration:test:native bb - time to construct proving key: 149 ms. (mem: 521.27 MiB) 09:06:51 [09:06:51.562] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600e20ba5080 (mem: 521.27 MiB) 09:06:51 computing oink proof... (mem: 521.27 MiB) 09:06:51 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.27 MiB) 09:06:51 [09:06:51.753] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 530.27 MiB) 09:06:51 [09:06:51.765] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 530.27 MiB) 09:06:51 [09:06:51.784] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 530.27 MiB) 09:06:51 Constructing DeciderProvingKey (mem: 530.27 MiB) 09:06:51 [09:06:51.786] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 530.27 MiB) 09:06:51 goblin ecc op : 56/1024 (mem: 530.27 MiB) 09:06:51 busread : 12/6000 (mem: 530.27 MiB) 09:06:51 lookups : 2/15000 (mem: 530.27 MiB) 09:06:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 530.27 MiB) 09:06:51 [09:06:51.786] INFO: ivc-integration:test:native bb - arithmetic : 4625/56000 (mem: 530.27 MiB) 09:06:51 delta range : 2054/18000 (mem: 530.27 MiB) 09:06:51 elliptic : 2/6000 (mem: 530.27 MiB) 09:06:51 auxiliary : 110/26000 (mem: 530.27 MiB) 09:06:51 poseidon ext : 1302/17000 (mem: 530.27 MiB) 09:06:51 poseidon int : 7412/92000 (mem: 530.27 MiB) 09:06:51 overflow : 0/0 (mem: 530.27 MiB) 09:06:51 (mem: 530.27 MiB) 09:06:51 Total structured size: 242025 (mem: 530.27 MiB) 09:06:51 allocating polynomials object in proving key... (mem: 530.27 MiB) 09:06:51 [09:06:51.941] INFO: ivc-integration:test:native bb - populating trace... (mem: 733.27 MiB) 09:06:51 [09:06:51.989] INFO: ivc-integration:test:native bb - time to construct proving key: 204 ms. (mem: 749.27 MiB) 09:06:52 [09:06:52.083] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600e20bae300 (mem: 749.27 MiB) 09:06:52 computing folding proof (mem: 749.27 MiB) 09:06:52 [09:06:52.084] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 749.27 MiB) 09:06:52 [09:06:52.628] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.27 MiB) 09:06:52 [09:06:52.742] INFO: ivc-integration:test:native bb - perturbator round (mem: 786.27 MiB) 09:06:52 [09:06:52.833] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 818.27 MiB) 09:06:53 [09:06:53.239] INFO: ivc-integration:test:native bb - folded (mem: 818.27 MiB) 09:06:53 [09:06:53.240] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 818.27 MiB) 09:06:53 [09:06:53.244] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.27 MiB) 09:06:53 Constructing DeciderProvingKey (mem: 09:06:53 [09:06:53.244] INFO: ivc-integration:test:native bb - 818.27 MiB) 09:06:53 [09:06:53.253] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.27 MiB) 09:06:53 goblin ecc op : 4/1024 (mem: 818.27 MiB) 09:06:53 [09:06:53.254] INFO: ivc-integration:test:native bb - busread : 7/6000 (mem: 818.27 MiB) 09:06:53 lookups : 2/15000 (mem: 818.27 MiB) 09:06:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.27 MiB) 09:06:53 arithmetic : 1760/56000 (mem: 818.27 MiB) 09:06:53 delta range : 1754/18000 (mem: 818.27 MiB) 09:06:53 elliptic : 2/6000 (mem: 818.27 MiB) 09:06:53 auxiliary : 26/26000 (mem: 818.27 MiB) 09:06:53 poseidon ext : 2/17000 (mem: 818.27 MiB) 09:06:53 poseidon int : 2/92000 (mem: 818.27 MiB) 09:06:53 overflow : 0/0 (mem: 818.27 MiB) 09:06:53 (mem: 818.27 MiB) 09:06:53 Total structured size: 242025 (mem: 818.27 MiB) 09:06:53 allocating polynomials object in proving key... (mem: 818.27 MiB) 09:06:53 [09:06:53.337] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.27 MiB) 09:06:53 [09:06:53.357] INFO: ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 818.27 MiB) 09:06:53 [09:06:53.431] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600e20ba58c0 (mem: 818.27 MiB) 09:06:53 computing folding proof (mem: 818.27 MiB) 09:06:53 [09:06:53.433] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.27 MiB) 09:06:53 [09:06:53.596] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.27 MiB) 09:06:53 [09:06:53.670] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.27 MiB) 09:06:53 [09:06:53.704] INFO: ivc-integration:test:native bb - combiner quotient round 09:06:53 [09:06:53.706] INFO: ivc-integration:test:native bb - (mem: 818.27 MiB) 09:06:53 [09:06:53.955] INFO: ivc-integration:test:native bb - folded (mem: 818.27 MiB) 09:06:53 constructed folding proof (mem: 818.27 MiB) 09:06:53 [09:06:53.964] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d 09:06:53 [09:06:53.970] INFO: ivc-integration:test:native bb - (mem: 818.27 MiB) 09:06:54 [09:06:54.029] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.27 MiB) 09:06:54 [09:06:54.108] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 818.27 MiB) 09:06:54 Constructing DeciderProvingKey (mem: 818.27 MiB) 09:06:54 [09:06:54.113] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.27 MiB) 09:06:54 goblin ecc op : 792/1024 (mem: 818.27 MiB) 09:06:54 busread : 12/6000 (mem: 818.27 MiB) 09:06:54 lookups : 2/15000 (mem: 818.27 MiB) 09:06:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 818.27 MiB) 09:06:54 arithmetic : 12080/56000 (mem: 818.27 MiB) 09:06:54 delta range : 2942/18000 (mem: 818.27 MiB) 09:06:54 elliptic : 2/6000 (mem: 818.27 MiB) 09:06:54 auxiliary : 350/26000 (mem: 818.27 MiB) 09:06:54 poseidon ext : 4942/17000 (mem: 818.27 MiB) 09:06:54 poseidon int : 28160/92000 (mem: 818.27 MiB) 09:06:54 overflow : 0/0 (mem: 818.27 MiB) 09:06:54 [09:06:54.114] INFO: ivc-integration:test:native bb - (mem: 818.27 MiB) 09:06:54 Total structured size: 242025 (mem: 818.27 MiB) 09:06:54 allocating polynomials object in proving key... (mem: 818.27 MiB) 09:06:54 [09:06:54.180] INFO: ivc-integration:test:native bb - populating trace... (mem: 818.27 MiB) 09:06:54 [09:06:54.207] INFO: ivc-integration:test:native bb - time to construct proving key: 98 ms. (mem: 818.27 MiB) 09:06:54 [09:06:54.327] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600e20c21f80 (mem: 818.27 MiB) 09:06:54 computing folding proof (mem: 818.27 MiB) 09:06:54 [09:06:54.328] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 818.27 MiB) 09:06:54 [09:06:54.758] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.27 MiB) 09:06:54 [09:06:54.871] INFO: ivc-integration:test:native bb - perturbator round (mem: 818.27 MiB) 09:06:54 [09:06:54.950] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.52 MiB) 09:06:55 [09:06:55.247] INFO: ivc-integration:test:native bb - folded (mem: 844.52 MiB) 09:06:55 constructed folding proof (mem: 844.52 MiB) 09:06:55 [09:06:55.261] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 09:06:55 [09:06:55.262] INFO: ivc-integration:test:native bb - (mem: 09:06:55 [09:06:55.265] INFO: ivc-integration:test:native bb - 844.52 MiB) 09:06:55 [09:06:55.328] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 09:06:55 [09:06:55.329] INFO: ivc-integration:test:native bb - (mem: 844.52 MiB) 09:06:55 Constructing DeciderProvingKey (mem: 844.52 MiB) 09:06:55 [09:06:55.333] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.52 MiB) 09:06:55 goblin ecc op : 392/1024 09:06:55 [09:06:55.335] INFO: ivc-integration:test:native bb - (mem: 844.52 MiB) 09:06:55 busread : 16/6000 (mem: 844.52 MiB) 09:06:55 lookups : 2/15000 (mem: 844.52 MiB) 09:06:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 844.52 MiB) 09:06:55 arithmetic : 6914/56000 (mem: 844.52 MiB) 09:06:55 delta range : 2347/18000 (mem: 844.52 MiB) 09:06:55 elliptic : 2/6000 (mem: 844.52 MiB) 09:06:55 auxiliary : 77/26000 (mem: 844.52 MiB) 09:06:55 poseidon ext : 2472/17000 (mem: 844.52 MiB) 09:06:55 poseidon int : 14081/92000 (mem: 844.52 MiB) 09:06:55 overflow : 0/0 (mem: 844.52 MiB) 09:06:55 (mem: 844.52 MiB) 09:06:55 Total structured size: 242025 (mem: 844.52 MiB) 09:06:55 allocating polynomials object in proving key... (mem: 844.52 MiB) 09:06:55 [09:06:55.408] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.52 MiB) 09:06:55 [09:06:55.442] INFO: ivc-integration:test:native bb - time to construct proving key: 112 ms. (mem: 844.52 MiB) 09:06:55 [09:06:55.658] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600e20c1c980 (mem: 844.52 MiB) 09:06:55 computing folding proof (mem: 844.52 MiB) 09:06:55 [09:06:55.660] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 844.52 MiB) 09:06:56 [09:06:56.167] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.52 MiB) 09:06:56 [09:06:56.234] INFO: ivc-integration:test:native bb - perturbator round (mem: 844.52 MiB) 09:06:56 [09:06:56.275] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.57 MiB) 09:06:56 [09:06:56.352] INFO: ivc-integration:test:native bb - folded (mem: 844.57 MiB) 09:06:56 constructed folding proof (mem: 844.57 MiB) 09:06:56 [09:06:56.359] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 844.57 MiB) 09:06:56 [09:06:56.412] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 844.57 MiB) 09:06:56 Constructing DeciderProvingKey (mem: 844.57 MiB) 09:06:56 [09:06:56.415] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.57 MiB) 09:06:56 goblin ecc op : 392/1024 (mem: 844.57 MiB) 09:06:56 busread : 3/6000 (mem: 844.57 MiB) 09:06:56 lookups : 2/15000 (mem: 844.57 MiB) 09:06:56 [09:06:56.416] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.57 MiB) 09:06:56 arithmetic : 6849/56000 (mem: 844.57 MiB) 09:06:56 delta range : 2333/18000 (mem: 844.57 MiB) 09:06:56 elliptic : 2/6000 (mem: 844.57 MiB) 09:06:56 auxiliary : 50/26000 (mem: 844.57 MiB) 09:06:56 poseidon ext : 2472/17000 (mem: 844.57 MiB) 09:06:56 poseidon int : 14081/92000 (mem: 844.57 MiB) 09:06:56 overflow : 0/0 (mem: 844.57 MiB) 09:06:56 (mem: 844.57 MiB) 09:06:56 Total structured size: 242025 (mem: 844.57 MiB) 09:06:56 allocating polynomials object in proving key... (mem: 844.57 MiB) 09:06:56 [09:06:56.448] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.57 MiB) 09:06:56 [09:06:56.467] INFO: ivc-integration:test:native bb - time to construct proving key: 55 ms. (mem: 844.57 MiB) 09:06:56 [09:06:56.623] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x600e20bb3c00 (mem: 844.57 MiB) 09:06:56 computing folding proof (mem: 844.57 MiB) 09:06:56 [09:06:56.625] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 844.57 MiB) 09:06:57 [09:06:57.026] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.57 MiB) 09:06:57 [09:06:57.147] INFO: ivc-integration:test:native bb - perturbator round (mem: 844.57 MiB) 09:06:57 [09:06:57.203] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 846.37 MiB) 09:06:57 [09:06:57.697] INFO: ivc-integration:test:native bb - folded (mem: 846.37 MiB) 09:06:57 constructed folding proof (mem: 846.37 MiB) 09:06:57 Largest circuit: 48490 gates. Trace details: (mem: 846.37 MiB) 09:06:57 Minimum required block sizes for structured trace: (mem: 846.37 MiB) 09:06:57 (mem: 846.37 MiB) 09:06:57 prove decider... (mem: 846.37 MiB) 09:06:57 [09:06:57.699] INFO: ivc-integration:test:native bb - ecc_op : 792 09:06:57 busread : 16 09:06:57 lookup : 2 09:06:57 pub_inputs : 36 09:06:57 arithmetic : 12080 09:06:57 delta_range : 2942 09:06:57 elliptic : 2 09:06:57 aux : 350 09:06:57 poseidon2_external : 4942 09:06:57 poseidon2_internal : 28160 09:06:57 overflow : 0 09:06:57 [09:06:57.872] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.37 MiB) 09:06:57 [09:06:57.972] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.37 MiB) 09:06:58 [09:06:58.726] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.37 MiB) 09:06:58 [09:06:58.794] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.37 MiB) 09:06:58 finished decider proving. (mem: 846.37 MiB) 09:06:58 [09:06:58.809] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 846.37 MiB) 09:06:58 [09:06:58.917] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.37 MiB) 09:06:58 [09:06:58.923] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 846.37 MiB) 09:06:59 [09:06:59.002] INFO: ivc-integration:test:native bb - populating trace... (mem: 846.37 MiB) 09:06:59 [09:06:59.032] INFO: ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 846.37 MiB) 09:06:59 [09:06:59.586] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.37 MiB) 09:07:00 [09:07:00.000] INFO: ivc-integration:test:native bb - created oink proof (mem: 846.37 MiB) 09:07:00 [09:07:00.125] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.37 MiB) 09:07:00 [09:07:00.726] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.37 MiB) 09:07:01 [09:07:01.414] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 846.37 MiB) 09:07:01 [09:07:01.441] INFO: ivc-integration:test:native bb - computed opening proof (mem: 846.37 MiB) 09:07:01 finished decider proving. (mem: 846.37 MiB) 09:07:01 Constructing a Goblin proof with num ultra ops = 2226 (mem: 846.37 MiB) 09:07:01 [09:07:01.610] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 846.37 MiB) 09:07:02 [09:07:02.015] 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: 846.37 MiB) 09:07:02 [09:07:02.030] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 846.37 MiB) 09:07:03 [09:07:03.498] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 09:07:03 [09:07:03.499] INFO: ivc-integration:test:native bb - (mem: 846.37 MiB) 09:07:04 [09:07:04.961] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 846.37 MiB) 09:07:08 [09:07:08.750] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 846.37 MiB) 09:07:08 prove translator... (mem: 09:07:08 [09:07:08.751] INFO: ivc-integration:test:native bb - 846.37 MiB) 09:07:11 [09:07:11.783] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.38 MiB) 09:07:14 [09:07:14.393] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 871.38 MiB) 09:07:15 [09:07:15.686] INFO: ivc-integration:test:native bb - computed opening proof (mem: 871.38 MiB) 09:07:15 [09:07:15.688] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 871.38 MiB) 09:07:15 [09:07:15.690] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 871.38 MiB) 09:07:15 [09:07:15.706] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 871.38 MiB) 09:07:15 libra_evals_verified: 1 (mem: 871.38 MiB) 09:07:15 pairing_check_verified: 1 (mem: 871.38 MiB) 09:07:15 Mega verified: 1 (mem: 871.38 MiB) 09:07:15 [09:07:15.803] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.38 MiB) 09:07:15 batch opening verified?: 1 (mem: 872.38 MiB) 09:07:15 eccvm consistency check verified?: 1 (mem: 872.38 MiB) 09:07:15 translation masking consistency checked?: 1 (mem: 872.38 MiB) 09:07:15 [09:07:15.842] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 872.38 MiB) 09:07:15 eccvm verified?: 1 (mem: 872.38 MiB) 09:07:15 accumulator construction_verified?: 1 (mem: 872.38 MiB) 09:07:15 translation verified?: 1 (mem: 872.38 MiB) 09:07:15 consistency verified?: 1 (mem: 872.38 MiB) 09:07:15 [09:07:15.843] INFO: ivc-integration:test:native bb - Goblin verified: 1 (mem: 872.38 MiB) 09:07:15 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-TWwUOq" (mem: 872.38 MiB) 09:07:15 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-TWwUOq" (mem: 872.38 MiB) 09:07:15 [09:07:15.843] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 872.38 MiB) 09:07:15 [09:07:15.856] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.38 MiB) 09:07:15 [09:07:15.866] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.38 MiB) 09:07:15 goblin ecc op : 4/1024 (mem: 872.38 MiB) 09:07:15 busread : 3/6000 (mem: 872.38 MiB) 09:07:15 lookups : 2/15000 (mem: 872.38 MiB) 09:07:15 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.38 MiB) 09:07:15 arithmetic : 1773/56000 (mem: 872.38 MiB) 09:07:15 delta range : 1754/18000 (mem: 872.38 MiB) 09:07:15 elliptic : 2/6000 (mem: 872.38 MiB) 09:07:15 auxiliary : 26/26000 (mem: 872.38 MiB) 09:07:15 poseidon ext : 2/17000 (mem: 872.38 MiB) 09:07:15 poseidon int : 2/92000 (mem: 872.38 MiB) 09:07:15 overflow : 0/0 (mem: 872.38 MiB) 09:07:15 (mem: 872.38 MiB) 09:07:15 Total structured size: 242025 (mem: 872.38 MiB) 09:07:15 allocating polynomials object in proving key... (mem: 872.38 MiB) 09:07:15 [09:07:15.985] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.38 MiB) 09:07:16 [09:07:16.004] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 872.38 MiB) 09:07:16 [09:07:16.259] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.38 MiB) 09:07:16 [09:07:16.775] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 872.38 MiB) 09:07:16 [09:07:16.776] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.38 MiB) 09:07:16 [09:07:16.898] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 872.38 MiB) 09:07:16 [09:07:16.908] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.38 MiB) 09:07:16 [09:07:16.921] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.38 MiB) 09:07:16 [09:07:16.924] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.38 MiB) 09:07:16 goblin ecc op : 56/1024 (mem: 872.38 MiB) 09:07:16 busread : 3/6000 (mem: 872.38 MiB) 09:07:16 lookups : 2/15000 (mem: 872.38 MiB) 09:07:16 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.38 MiB) 09:07:16 arithmetic : 4481/56000 (mem: 872.38 MiB) 09:07:16 delta range : 2041/18000 (mem: 872.38 MiB) 09:07:16 [09:07:16.925] INFO: ivc-integration:test:native bb - elliptic : 2/6000 (mem: 872.38 MiB) 09:07:16 auxiliary : 50/26000 (mem: 872.38 MiB) 09:07:16 poseidon ext : 1312/17000 (mem: 872.38 MiB) 09:07:16 poseidon int : 7469/92000 (mem: 872.38 MiB) 09:07:16 overflow : 0/0 (mem: 872.38 MiB) 09:07:16 (mem: 872.38 MiB) 09:07:16 Total structured size: 242025 (mem: 872.38 MiB) 09:07:16 allocating polynomials object in proving key... (mem: 872.38 MiB) 09:07:17 [09:07:17.040] INFO: ivc-integration:test:native bb - populating trace... (mem: 872.38 MiB) 09:07:17 [09:07:17.062] INFO: ivc-integration:test:native bb - time to construct proving key: 141 ms. (mem: 872.38 MiB) 09:07:17 [09:07:17.104] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.38 MiB) 09:07:17 [09:07:17.641] INFO: ivc-integration:test:native bb - computing folding proof (mem: 872.38 MiB) 09:07:17 [09:07:17.642] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 09:07:17 [09:07:17.642] INFO: ivc-integration:test:native bb - 872.38 MiB) 09:07:17 [09:07:17.866] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.38 MiB) 09:07:17 [09:07:17.944] INFO: ivc-integration:test:native bb - perturbator round (mem: 872.38 MiB) 09:07:17 [09:07:17.998] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 904.38 MiB) 09:07:18 [09:07:18.368] INFO: ivc-integration:test:native bb - folded (mem: 904.38 MiB) 09:07:18 constructed folding proof (mem: 904.38 MiB) 09:07:18 Largest circuit: 15360 gates. Trace details: (mem: 904.38 MiB) 09:07:18 Minimum required block sizes for structured trace: (mem: 904.38 MiB) 09:07:18 (mem: 904.38 MiB) 09:07:18 prove decider... (mem: 904.38 MiB) 09:07:18 [09:07:18.369] INFO: ivc-integration:test:native bb - ecc_op : 56 09:07:18 busread : 3 09:07:18 lookup : 2 09:07:18 pub_inputs : 36 09:07:18 arithmetic : 4481 09:07:18 delta_range : 2041 09:07:18 elliptic : 2 09:07:18 aux : 50 09:07:18 poseidon2_external : 1312 09:07:18 poseidon2_internal : 7469 09:07:18 overflow : 0 09:07:18 [09:07:18.526] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.38 MiB) 09:07:18 [09:07:18.623] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.38 MiB) 09:07:19 [09:07:19.106] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.38 MiB) 09:07:19 [09:07:19.159] INFO: ivc-integration:test:native bb - computed opening proof (mem: 904.38 MiB) 09:07:19 finished decider proving. (mem: 904.38 MiB) 09:07:19 [09:07:19.172] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 904.38 MiB) 09:07:19 [09:07:19.295] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 09:07:19 [09:07:19.297] INFO: ivc-integration:test:native bb - (mem: 904.38 MiB) 09:07:19 [09:07:19.308] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.38 MiB) 09:07:19 [09:07:19.454] INFO: ivc-integration:test:native bb - populating trace... (mem: 904.38 MiB) 09:07:19 [09:07:19.586] INFO: ivc-integration:test:native bb - time to construct proving key: 290 ms. 09:07:19 [09:07:19.588] INFO: ivc-integration:test:native bb - (mem: 904.38 MiB) 09:07:20 [09:07:20.090] 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-TWwUOq/proof -k /tmp/bb-client-ivc-integration-TWwUOq/vk -v 09:07:20 [09:07:20.112] INFO: ivc-integration:test:native bb command: verify (mem: 166.10 MiB) 09:07:20 Scheme is: client_ivc, num threads: 128 (mem: 166.10 MiB) 09:07:20 --proof_path: /tmp/bb-client-ivc-integration-TWwUOq/proof (mem: 166.10 MiB) 09:07:20 --vk_path: /tmp/bb-client-ivc-integration-TWwUOq/vk (mem: 166.10 MiB) 09:07:20 --verbose: true (mem: 166.10 MiB) 09:07:20 --scheme: client_ivc (mem: 166.10 MiB) 09:07:20 [09:07:20.223] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 166.10 MiB) 09:07:20 [09:07:20.245] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 166.10 MiB) 09:07:20 [09:07:20.247] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 166.10 MiB) 09:07:20 [09:07:20.264] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 166.10 MiB) 09:07:20 [09:07:20.265] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 166.10 MiB) 09:07:20 [09:07:20.266] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 166.10 MiB) 09:07:20 libra_evals_verified: 1 (mem: 166.10 MiB) 09:07:20 pairing_check_verified: 1 (mem: 166.10 MiB) 09:07:20 Mega verified: 1 (mem: 166.10 MiB) 09:07:20 [09:07:20.345] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 172.12 MiB) 09:07:20 batch opening verified?: 1 (mem: 172.12 MiB) 09:07:20 eccvm consistency check verified?: 1 (mem: 172.12 MiB) 09:07:20 translation masking consistency checked?: 1 (mem: 172.12 MiB) 09:07:20 [09:07:20.363] INFO: ivc-integration:test:native merge verified?: 1 (mem: 172.12 MiB) 09:07:20 eccvm verified?: 1 (mem: 172.12 MiB) 09:07:20 accumulator construction_verified?: 1 (mem: 172.12 MiB) 09:07:20 translation verified?: 1 (mem: 172.12 MiB) 09:07:20 consistency verified?: 1 (mem: 172.12 MiB) 09:07:20 Goblin verified: 1 (mem: 172.12 MiB) 09:07:20 [09:07:20.371] INFO: ivc-integration:test:native verified: 1 (mem: 172.12 MiB) 09:07:20 PASS src/native_client_ivc_integration.test.ts (72.462 s) 09:07:20 Client IVC Integration 09:07:20 ✓ Should generate a verifiable client IVC proof from a simple mock tx (39609 ms) 09:07:20 ✓ Should generate a verifiable client IVC proof from a complex mock tx (29478 ms) 09:07:20 09:07:20 Test Suites: 1 passed, 1 total 09:07:20 Tests: 2 passed, 2 total 09:07:20 Snapshots: 0 total 09:07:20 Time: 72.545 s 09:07:20 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 09:07:20 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?