ACI ·

Parent Log: http://ci.aztec-labs.com/e352c3f7d5a3a836 Command: 17e0d785507e6983: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/5867520ed258adecfee692b3694d693b2c7964ca Env: REF_NAME=gh-readonly-queue/next/pr-14770-9b801754ba98479ee645488c29d2fda1eecbfd85 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 16 21:46:41 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14770_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 21:46:46 [21:46:46.099] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-8bplo0/ivc-inputs.msgpack 21:46:46 [21:46:46.105] 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-8bplo0 --ivc_inputs_path /tmp/bb-client-ivc-integration-8bplo0/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 21:46:46 [21:46:46.136] INFO: ivc-integration:test:native bb - bb command: prove (mem: 184.43 MiB) 21:46:46 [21:46:46.137] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.43 MiB) 21:46:46 --scheme: client_ivc (mem: 184.43 MiB) 21:46:46 --output_path: /tmp/bb-client-ivc-integration-8bplo0 (mem: 184.43 MiB) 21:46:46 --ivc_inputs_path: /tmp/bb-client-ivc-integration-8bplo0/ivc-inputs.msgpack (mem: 184.43 MiB) 21:46:46 --verbose: true (mem: 184.43 MiB) 21:46:46 --write_vk: true (mem: 184.43 MiB) 21:46:46 BN254 commitment key size: 262144 (mem: 184.43 MiB) 21:46:46 [21:46:46.248] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.00 MiB) 21:46:46 [21:46:46.339] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 300.39 MiB) 21:46:46 [21:46:46.343] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 300.39 MiB) 21:46:46 Constructing DeciderProvingKey (mem: 300.39 MiB) 21:46:46 [21:46:46.349] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 300.39 MiB) 21:46:46 goblin ecc op : 4/1024 (mem: 300.39 MiB) 21:46:46 busread : 7/6000 (mem: 300.39 MiB) 21:46:46 lookups : 2/15000 (mem: 300.39 MiB) 21:46:46 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 300.39 MiB) 21:46:46 arithmetic : 1760/56000 (mem: 300.39 MiB) 21:46:46 delta range : 1754/18000 (mem: 300.39 MiB) 21:46:46 elliptic : 2/6000 (mem: 300.39 MiB) 21:46:46 auxiliary : 26/26000 (mem: 300.39 MiB) 21:46:46 poseidon ext : 2/17000 (mem: 300.39 MiB) 21:46:46 poseidon int : 2/92000 (mem: 300.39 MiB) 21:46:46 overflow : 0/0 (mem: 300.39 MiB) 21:46:46 (mem: 300.39 MiB) 21:46:46 Total structured size: 242025 (mem: 300.39 MiB) 21:46:46 allocating polynomials object in proving key... (mem: 300.39 MiB) 21:46:46 [21:46:46.432] INFO: ivc-integration:test:native bb - populating trace... (mem: 499.54 MiB) 21:46:46 [21:46:46.450] INFO: ivc-integration:test:native bb - time to construct proving key: 106 ms. (mem: 512.54 MiB) 21:46:46 [21:46:46.543] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6550b1406600 (mem: 512.54 MiB) 21:46:46 computing oink proof... (mem: 512.54 MiB) 21:46:46 [21:46:46.544] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.54 MiB) 21:46:46 [21:46:46.837] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.54 MiB) 21:46:46 [21:46:46.853] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.54 MiB) 21:46:46 [21:46:46.874] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 522.54 MiB) 21:46:46 Constructing DeciderProvingKey (mem: 522.54 MiB) 21:46:46 [21:46:46.878] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 522.54 MiB) 21:46:46 goblin ecc op : 56/1024 (mem: 522.54 MiB) 21:46:46 busread : 12/6000 (mem: 522.54 MiB) 21:46:46 lookups : 2/15000 (mem: 522.54 MiB) 21:46:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 522.54 MiB) 21:46:46 arithmetic : 4625/56000 (mem: 522.54 MiB) 21:46:46 delta range : 2054/18000 (mem: 522.54 MiB) 21:46:46 elliptic : 2/6000 (mem: 522.54 MiB) 21:46:46 auxiliary : 110/26000 (mem: 522.54 MiB) 21:46:46 poseidon ext : 1302/17000 (mem: 522.54 MiB) 21:46:46 poseidon int : 7412/92000 (mem: 522.54 MiB) 21:46:46 overflow : 0/0 (mem: 522.54 MiB) 21:46:46 (mem: 522.54 MiB) 21:46:46 Total structured size: 242025 (mem: 522.54 MiB) 21:46:46 allocating polynomials object in proving key... (mem: 522.54 MiB) 21:46:47 [21:46:47.028] INFO: ivc-integration:test:native bb - populating trace... (mem: 731.54 MiB) 21:46:47 [21:46:47.060] INFO: ivc-integration:test:native bb - time to construct proving key: 187 ms. (mem: 746.54 MiB) 21:46:47 [21:46:47.229] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6550b1413280 (mem: 746.54 MiB) 21:46:47 computing folding proof (mem: 746.54 MiB) 21:46:47 [21:46:47.231] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 746.54 MiB) 21:46:47 [21:46:47.791] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.54 MiB) 21:46:47 [21:46:47.941] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.54 MiB) 21:46:48 [21:46:48.004] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.54 MiB) 21:46:48 [21:46:48.630] INFO: ivc-integration:test:native bb - folded (mem: 814.54 MiB) 21:46:48 constructed folding proof (mem: 814.54 MiB) 21:46:48 [21:46:48.644] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 814.54 MiB) 21:46:48 [21:46:48.725] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.54 MiB) 21:46:48 Constructing DeciderProvingKey (mem: 814.54 MiB) 21:46:48 [21:46:48.730] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.54 MiB) 21:46:48 goblin ecc op : 392/1024 (mem: 814.54 MiB) 21:46:48 busread : 3/6000 (mem: 814.54 MiB) 21:46:48 lookups : 2/15000 (mem: 814.54 MiB) 21:46:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.54 MiB) 21:46:48 arithmetic : 6849/56000 (mem: 814.54 MiB) 21:46:48 delta range : 2333/18000 (mem: 814.54 MiB) 21:46:48 elliptic : 2/6000 (mem: 814.54 MiB) 21:46:48 auxiliary : 50/26000 (mem: 814.54 MiB) 21:46:48 poseidon ext : 2472/17000 (mem: 814.54 MiB) 21:46:48 poseidon int : 14081/92000 (mem: 814.54 MiB) 21:46:48 overflow : 0/0 (mem: 814.54 MiB) 21:46:48 (mem: 814.54 MiB) 21:46:48 Total structured size: 242025 (mem: 814.54 MiB) 21:46:48 allocating polynomials object in proving key... (mem: 814.54 MiB) 21:46:48 [21:46:48.814] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.54 MiB) 21:46:48 [21:46:48.844] INFO: ivc-integration:test:native bb - time to construct proving key: 117 ms. (mem: 814.54 MiB) 21:46:48 [21:46:48.971] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6550b1403480 (mem: 814.54 MiB) 21:46:48 computing folding proof (mem: 814.54 MiB) 21:46:48 vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 814.54 MiB) 21:46:49 [21:46:49.531] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.54 MiB) 21:46:49 [21:46:49.700] INFO: ivc-integration:test:native bb - perturbator round (mem: 814.54 MiB) 21:46:49 [21:46:49.738] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 814.54 MiB) 21:46:50 [21:46:50.255] INFO: ivc-integration:test:native bb - folded (mem: 814.54 MiB) 21:46:50 constructed folding proof (mem: 814.54 MiB) 21:46:50 Largest circuit: 25792 gates. Trace details: (mem: 814.54 MiB) 21:46:50 Minimum required block sizes for structured trace: (mem: 814.54 MiB) 21:46:50 (mem: 814.54 MiB) 21:46:50 prove decider... (mem: 814.54 MiB) 21:46:50 [21:46:50.256] INFO: ivc-integration:test:native bb - ecc_op : 392 21:46:50 busread : 12 21:46:50 lookup : 2 21:46:50 pub_inputs : 36 21:46:50 arithmetic : 6849 21:46:50 delta_range : 2333 21:46:50 elliptic : 2 21:46:50 aux : 110 21:46:50 poseidon2_external : 2472 21:46:50 poseidon2_internal : 14081 21:46:50 overflow : 0 21:46:50 [21:46:50.484] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.54 MiB) 21:46:50 [21:46:50.653] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 814.54 MiB) 21:46:51 [21:46:51.650] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.54 MiB) 21:46:51 [21:46:51.748] INFO: ivc-integration:test:native bb - computed opening proof (mem: 21:46:51 [21:46:51.749] INFO: ivc-integration:test:native bb - 814.54 MiB) 21:46:51 finished decider proving. (mem: 814.54 MiB) 21:46:51 [21:46:51.775] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 814.54 MiB) 21:46:51 [21:46:51.877] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 814.54 MiB) 21:46:51 [21:46:51.880] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 814.54 MiB) 21:46:52 [21:46:52.140] INFO: ivc-integration:test:native bb - populating trace... (mem: 814.54 MiB) 21:46:52 [21:46:52.251] INFO: ivc-integration:test:native bb - time to construct proving key: 375 ms. (mem: 814.54 MiB) 21:46:53 [21:46:53.464] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 21:46:53 [21:46:53.468] INFO: ivc-integration:test:native bb - (mem: 814.54 MiB) 21:46:54 [21:46:54.149] INFO: ivc-integration:test:native bb - created oink proof (mem: 814.54 MiB) 21:46:54 [21:46:54.467] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.54 MiB) 21:46:56 [21:46:56.083] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.54 MiB) 21:46:57 [21:46:57.051] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.54 MiB) 21:46:57 [21:46:57.085] INFO: ivc-integration:test:native bb - computed opening proof (mem: 814.54 MiB) 21:46:57 finished decider proving. (mem: 814.54 MiB) 21:46:57 [21:46:57.087] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 814.54 MiB) 21:46:57 [21:46:57.315] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 814.54 MiB) 21:46:57 [21:46:57.811] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" 21:46:57 [21:46:57.812] INFO: ivc-integration:test:native bb - (mem: 814.54 MiB) 21:46:57 [21:46:57.850] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 814.54 MiB) 21:47:00 [21:47:00.385] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.54 MiB) 21:47:02 [21:47:02.747] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.54 MiB) 21:47:07 [21:47:07.287] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 814.54 MiB) 21:47:07 prove translator... (mem: 814.54 MiB) 21:47:09 [21:47:09.802] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.05 MiB) 21:47:12 [21:47:12.751] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 849.05 MiB) 21:47:15 [21:47:15.161] INFO: ivc-integration:test:native bb - computed opening proof (mem: 849.05 MiB) 21:47:15 [21:47:15.163] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 849.05 MiB) 21:47:15 [21:47:15.165] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 849.05 MiB) 21:47:15 [21:47:15.183] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 849.05 MiB) 21:47:15 libra_evals_verified: 1 (mem: 849.05 MiB) 21:47:15 pairing_check_verified: 1 (mem: 849.05 MiB) 21:47:15 Mega verified: 1 (mem: 849.05 MiB) 21:47:15 [21:47:15.265] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 21:47:15 [21:47:15.268] INFO: ivc-integration:test:native bb - (mem: 849.05 MiB) 21:47:15 batch opening verified?: 1 (mem: 849.05 MiB) 21:47:15 eccvm consistency check verified?: 1 (mem: 849.05 MiB) 21:47:15 translation masking consistency checked?: 1 (mem: 849.05 MiB) 21:47:15 [21:47:15.295] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 849.05 MiB) 21:47:15 eccvm verified?: 1 (mem: 849.05 MiB) 21:47:15 accumulator construction_verified?: 1 (mem: 849.05 MiB) 21:47:15 [21:47:15.297] INFO: ivc-integration:test:native bb - 21:47:15 translation verified?: 1 (mem: 849.05 MiB) 21:47:15 consistency verified?: 1 (mem: 849.05 MiB) 21:47:15 Goblin verified: 1 (mem: 849.05 MiB) 21:47:15 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-8bplo0" (mem: 849.05 MiB) 21:47:15 [21:47:15.298] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-8bplo0" (mem: 849.05 MiB) 21:47:15 BN254 commitment key size: 262144 (mem: 849.05 MiB) 21:47:15 [21:47:15.302] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 849.05 MiB) 21:47:15 [21:47:15.305] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.05 MiB) 21:47:15 goblin ecc op : 4/1024 (mem: 849.05 MiB) 21:47:15 busread : 3/6000 (mem: 849.05 MiB) 21:47:15 lookups : 2/15000 (mem: 849.05 MiB) 21:47:15 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 849.05 MiB) 21:47:15 arithmetic : 1773/56000 (mem: 849.05 MiB) 21:47:15 delta range : 1754/18000 (mem: 849.05 MiB) 21:47:15 elliptic : 2/6000 (mem: 849.05 MiB) 21:47:15 auxiliary : 26/26000 (mem: 849.05 MiB) 21:47:15 poseidon ext : 2/17000 (mem: 849.05 MiB) 21:47:15 poseidon int : 2/92000 (mem: 849.05 MiB) 21:47:15 overflow : 0/0 (mem: 849.05 MiB) 21:47:15 (mem: 849.05 MiB) 21:47:15 Total structured size: 242025 (mem: 849.05 MiB) 21:47:15 allocating polynomials object in proving key... (mem: 849.05 MiB) 21:47:15 [21:47:15.552] INFO: ivc-integration:test:native bb - populating trace... 21:47:15 [21:47:15.554] INFO: ivc-integration:test:native bb - (mem: 21:47:15 [21:47:15.557] INFO: ivc-integration:test:native bb - 849.05 MiB) 21:47:15 [21:47:15.573] INFO: ivc-integration:test:native bb - time to construct proving key: 271 ms. 21:47:15 [21:47:15.574] INFO: ivc-integration:test:native bb - (mem: 849.05 MiB) 21:47:15 [21:47:15.701] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.05 MiB) 21:47:16 [21:47:16.626] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 849.05 MiB) 21:47:16 [21:47:16.627] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.05 MiB) 21:47:17 [21:47:17.096] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 849.05 MiB) 21:47:17 [21:47:17.118] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 849.05 MiB) 21:47:17 [21:47:17.131] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 21:47:17 [21:47:17.134] INFO: ivc-integration:test:native bb - 849.05 MiB) 21:47:17 [21:47:17.135] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.05 MiB) 21:47:17 [21:47:17.136] INFO: ivc-integration:test:native bb - goblin ecc op : 56/1024 (mem: 849.05 MiB) 21:47:17 busread : 3/6000 (mem: 849.05 MiB) 21:47:17 lookups : 2/15000 (mem: 849.05 MiB) 21:47:17 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 849.05 MiB) 21:47:17 arithmetic : 4481/56000 (mem: 849.05 MiB) 21:47:17 delta range : 2041/18000 (mem: 849.05 MiB) 21:47:17 elliptic : 2/6000 (mem: 849.05 MiB) 21:47:17 auxiliary : 50/26000 (mem: 849.05 MiB) 21:47:17 poseidon ext : 1312/17000 (mem: 849.05 MiB) 21:47:17 poseidon int : 7469/92000 (mem: 849.05 MiB) 21:47:17 overflow : 0/0 (mem: 849.05 MiB) 21:47:17 (mem: 849.05 MiB) 21:47:17 Total structured size: 242025 (mem: 849.05 MiB) 21:47:17 allocating polynomials object in proving key... (mem: 849.05 MiB) 21:47:17 [21:47:17.393] INFO: ivc-integration:test:native bb - populating trace... (mem: 849.05 MiB) 21:47:17 [21:47:17.419] INFO: ivc-integration:test:native bb - time to construct proving key: 287 ms. (mem: 849.05 MiB) 21:47:17 [21:47:17.543] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 849.05 MiB) 21:47:18 [21:47:18.416] INFO: ivc-integration:test:native bb - computing folding proof (mem: 849.05 MiB) 21:47:18 [21:47:18.420] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 849.05 MiB) 21:47:19 [21:47:19.275] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.05 MiB) 21:47:19 [21:47:19.436] INFO: ivc-integration:test:native bb - perturbator round (mem: 850.05 MiB) 21:47:19 [21:47:19.495] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 882.05 MiB) 21:47:19 [21:47:19.881] INFO: ivc-integration:test:native bb - folded (mem: 882.05 MiB) 21:47:19 constructed folding proof (mem: 882.05 MiB) 21:47:19 [21:47:19.887] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 882.05 MiB) 21:47:19 Minimum required block sizes for structured trace: (mem: 882.05 MiB) 21:47:19 (mem: 882.05 MiB) 21:47:19 prove decider... (mem: 882.05 MiB) 21:47:19 [21:47:19.888] INFO: ivc-integration:test:native bb - ecc_op : 56 21:47:19 busread : 3 21:47:19 lookup : 2 21:47:19 pub_inputs : 36 21:47:19 arithmetic : 4481 21:47:19 delta_range : 2041 21:47:19 elliptic : 2 21:47:19 aux : 50 21:47:19 poseidon2_external : 1312 21:47:19 poseidon2_internal : 7469 21:47:19 overflow : 0 21:47:20 [21:47:20.238] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 882.05 MiB) 21:47:20 [21:47:20.532] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 882.05 MiB) 21:47:21 [21:47:21.657] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 882.05 MiB) 21:47:21 [21:47:21.762] INFO: ivc-integration:test:native bb - computed opening proof (mem: 882.05 MiB) 21:47:21 finished decider proving. (mem: 882.05 MiB) 21:47:21 [21:47:21.784] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 882.05 MiB) 21:47:21 [21:47:21.901] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 882.05 MiB) 21:47:21 [21:47:21.912] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 882.05 MiB) 21:47:22 [21:47:22.170] INFO: ivc-integration:test:native bb - populating trace... (mem: 882.05 MiB) 21:47:22 [21:47:22.231] INFO: ivc-integration:test:native bb - time to construct proving key: 328 ms. (mem: 882.05 MiB) 21:47:23 [21:47:23.030] 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-8bplo0/proof -k /tmp/bb-client-ivc-integration-8bplo0/vk -v 21:47:23 [21:47:23.061] INFO: ivc-integration:test:native bb command: verify (mem: 184.43 MiB) 21:47:23 Scheme is: client_ivc, num threads: 128 (mem: 184.43 MiB) 21:47:23 --proof_path: /tmp/bb-client-ivc-integration-8bplo0/proof (mem: 184.43 MiB) 21:47:23 --vk_path: /tmp/bb-client-ivc-integration-8bplo0/vk (mem: 184.43 MiB) 21:47:23 --verbose: true (mem: 184.43 MiB) 21:47:23 --scheme: client_ivc (mem: 184.43 MiB) 21:47:23 [21:47:23.164] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 184.43 MiB) 21:47:23 [21:47:23.184] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.43 MiB) 21:47:23 [21:47:23.185] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.43 MiB) 21:47:23 [21:47:23.207] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.43 MiB) 21:47:23 Initialized BN254 CRS from memory with num points = 1025 (mem: 184.43 MiB) 21:47:23 [21:47:23.208] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 184.43 MiB) 21:47:23 libra_evals_verified: 1 (mem: 184.43 MiB) 21:47:23 pairing_check_verified: 1 (mem: 184.43 21:47:23 [21:47:23.209] INFO: ivc-integration:test:native MiB) 21:47:23 Mega verified: 1 (mem: 184.43 MiB) 21:47:23 [21:47:23.311] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.90 MiB) 21:47:23 batch opening verified?: 1 (mem: 188.90 MiB) 21:47:23 eccvm consistency check verified?: 1 (mem: 188.90 MiB) 21:47:23 translation masking consistency checked?: 1 (mem: 188.90 MiB) 21:47:23 [21:47:23.332] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.90 MiB) 21:47:23 eccvm verified?: 1 (mem: 188.90 MiB) 21:47:23 accumulator construction_verified?: 1 (mem: 188.90 MiB) 21:47:23 translation verified?: 1 (mem: 188.90 MiB) 21:47:23 consistency verified?: 1 (mem: 188.90 MiB) 21:47:23 Goblin verified: 1 (mem: 188.90 MiB) 21:47:23 [21:47:23.338] INFO: ivc-integration:test:native verified: 1 (mem: 188.90 MiB) 21:47:23 [21:47:23.465] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Rqoax6/ivc-inputs.msgpack 21:47:23 [21:47:23.470] 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-Rqoax6 --ivc_inputs_path /tmp/bb-client-ivc-integration-Rqoax6/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 21:47:23 [21:47:23.505] INFO: ivc-integration:test:native bb - bb command: prove (mem: 186.55 MiB) 21:47:23 [21:47:23.506] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 186.55 MiB) 21:47:23 --scheme: client_ivc (mem: 186.55 MiB) 21:47:23 --output_path: /tmp/bb-client-ivc-integration-Rqoax6 (mem: 186.55 MiB) 21:47:23 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Rqoax6/ivc-inputs.msgpack (mem: 186.55 MiB) 21:47:23 --verbose: true (mem: 186.55 MiB) 21:47:23 --write_vk: true (mem: 186.55 MiB) 21:47:23 [21:47:23.511] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 186.55 MiB) 21:47:23 [21:47:23.635] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 261.00 MiB) 21:47:23 [21:47:23.738] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 308.05 MiB) 21:47:23 ClientIVC: accumulating unknown_0 (mem: 308.05 MiB) 21:47:23 Constructing DeciderProvingKey (mem: 308.05 MiB) 21:47:23 [21:47:23.741] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 21:47:23 [21:47:23.742] INFO: ivc-integration:test:native bb - (mem: 21:47:23 [21:47:23.743] INFO: ivc-integration:test:native bb - 308.05 21:47:23 [21:47:23.743] INFO: ivc-integration:test:native bb - MiB) 21:47:23 [21:47:23.744] INFO: ivc-integration:test:native bb - 21:47:23 [21:47:23.744] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 308.05 MiB) 21:47:23 busread : 7/6000 (mem: 308.05 MiB) 21:47:23 lookups : 2/15000 (mem: 308.05 MiB) 21:47:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 308.05 MiB) 21:47:23 arithmetic : 1760/56000 (mem: 308.05 MiB) 21:47:23 delta range : 1754/18000 (mem: 308.05 MiB) 21:47:23 elliptic : 2/6000 (mem: 308.05 MiB) 21:47:23 auxiliary : 26/26000 (mem: 308.05 MiB) 21:47:23 poseidon ext : 2/17000 (mem: 308.05 MiB) 21:47:23 poseidon int : 2/92000 (mem: 308.05 MiB) 21:47:23 overflow : 0/0 (mem: 308.05 MiB) 21:47:23 (mem: 308.05 MiB) 21:47:23 Total structured size: 242025 (mem: 308.05 21:47:23 [21:47:23.747] INFO: ivc-integration:test:native bb - MiB) 21:47:23 allocating polynomials object in proving key... (mem: 308.05 MiB) 21:47:23 [21:47:23.874] INFO: ivc-integration:test:native bb - populating trace... (mem: 495.18 MiB) 21:47:23 [21:47:23.887] INFO: ivc-integration:test:native bb - time to construct proving key: 151 ms. (mem: 510.18 MiB) 21:47:24 [21:47:24.002] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d85a8273440 (mem: 510.18 MiB) 21:47:24 [21:47:24.004] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 510.18 MiB) 21:47:24 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 510.18 MiB) 21:47:24 [21:47:24.453] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 519.18 MiB) 21:47:24 [21:47:24.464] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 519.18 MiB) 21:47:24 [21:47:24.475] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 519.18 MiB) 21:47:24 Constructing DeciderProvingKey (mem: 519.18 MiB) 21:47:24 [21:47:24.479] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 519.18 MiB) 21:47:24 goblin ecc op : 56/1024 (mem: 519.18 MiB) 21:47:24 busread : 12/6000 (mem: 519.18 MiB) 21:47:24 lookups : 2/15000 (mem: 519.18 MiB) 21:47:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 519.18 MiB) 21:47:24 arithmetic : 4625/56000 (mem: 519.18 MiB) 21:47:24 delta range : 2054/18000 (mem: 519.18 MiB) 21:47:24 elliptic : 2/6000 (mem: 519.18 MiB) 21:47:24 auxiliary : 110/26000 (mem: 519.18 MiB) 21:47:24 poseidon ext : 1302/17000 (mem: 519.18 MiB) 21:47:24 poseidon int : 7412/92000 (mem: 519.18 MiB) 21:47:24 overflow : 0/0 (mem: 519.18 MiB) 21:47:24 (mem: 519.18 MiB) 21:47:24 Total structured size: 242025 (mem: 519.18 MiB) 21:47:24 allocating polynomials object in proving key... (mem: 519.18 MiB) 21:47:24 [21:47:24.559] INFO: ivc-integration:test:native bb - populating trace... (mem: 726.18 MiB) 21:47:24 [21:47:24.585] INFO: ivc-integration:test:native bb - time to construct proving key: 112 ms. (mem: 743.18 MiB) 21:47:24 [21:47:24.642] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d85a827c6c0 (mem: 743.18 MiB) 21:47:24 computing folding proof (mem: 743.18 MiB) 21:47:24 vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 743.18 MiB) 21:47:25 [21:47:25.101] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 743.18 MiB) 21:47:25 [21:47:25.325] INFO: ivc-integration:test:native bb - perturbator round (mem: 780.18 MiB) 21:47:25 [21:47:25.389] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 812.18 MiB) 21:47:25 [21:47:25.661] INFO: ivc-integration:test:native bb - folded (mem: 812.18 MiB) 21:47:25 constructed folding proof (mem: 812.18 MiB) 21:47:25 [21:47:25.665] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 812.18 MiB) 21:47:25 Constructing DeciderProvingKey (mem: 812.18 MiB) 21:47:25 [21:47:25.667] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 812.18 MiB) 21:47:25 goblin ecc op : 4/1024 (mem: 812.18 MiB) 21:47:25 busread : 7/6000 (mem: 812.18 MiB) 21:47:25 lookups : 2/15000 (mem: 812.18 MiB) 21:47:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 812.18 MiB) 21:47:25 arithmetic : 1760/56000 (mem: 812.18 MiB) 21:47:25 delta range : 1754/18000 (mem: 812.18 MiB) 21:47:25 elliptic : 2/6000 (mem: 812.18 MiB) 21:47:25 [21:47:25.668] INFO: ivc-integration:test:native bb - auxiliary : 26/26000 (mem: 812.18 MiB) 21:47:25 poseidon ext : 2/17000 (mem: 812.18 MiB) 21:47:25 poseidon int : 2/92000 (mem: 812.18 MiB) 21:47:25 overflow : 0/0 (mem: 812.18 MiB) 21:47:25 (mem: 812.18 MiB) 21:47:25 Total structured size: 242025 (mem: 812.18 MiB) 21:47:25 allocating polynomials object in proving key... (mem: 812.18 MiB) 21:47:25 [21:47:25.732] INFO: ivc-integration:test:native bb - populating trace... (mem: 812.18 MiB) 21:47:25 [21:47:25.745] INFO: ivc-integration:test:native bb - time to construct proving key: 81 ms. (mem: 812.18 MiB) 21:47:25 [21:47:25.788] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d85a8273c80 (mem: 812.18 MiB) 21:47:25 computing folding proof (mem: 812.18 MiB) 21:47:25 [21:47:25.789] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 812.18 MiB) 21:47:26 [21:47:26.112] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 812.18 MiB) 21:47:26 [21:47:26.191] INFO: ivc-integration:test:native bb - perturbator round (mem: 812.18 MiB) 21:47:26 [21:47:26.230] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 812.18 MiB) 21:47:26 [21:47:26.460] INFO: ivc-integration:test:native bb - folded (mem: 812.18 MiB) 21:47:26 constructed folding proof (mem: 812.18 MiB) 21:47:26 [21:47:26.483] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 812.18 MiB) 21:47:26 [21:47:26.559] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 812.18 MiB) 21:47:26 [21:47:26.640] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 812.18 MiB) 21:47:26 Constructing DeciderProvingKey (mem: 812.18 MiB) 21:47:26 [21:47:26.651] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 812.18 MiB) 21:47:26 goblin ecc op : 792/1024 (mem: 812.18 MiB) 21:47:26 busread : 12/6000 (mem: 812.18 MiB) 21:47:26 lookups : 2/15000 (mem: 812.18 MiB) 21:47:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 812.18 MiB) 21:47:26 arithmetic : 12080/56000 (mem: 812.18 MiB) 21:47:26 delta range : 2942/18000 (mem: 812.18 MiB) 21:47:26 elliptic : 2/6000 (mem: 812.18 MiB) 21:47:26 auxiliary : 350/26000 (mem: 812.18 MiB) 21:47:26 poseidon ext : 4942/17000 (mem: 812.18 MiB) 21:47:26 poseidon int : 28160/92000 (mem: 812.18 MiB) 21:47:26 overflow : 0/0 (mem: 812.18 MiB) 21:47:26 (mem: 812.18 MiB) 21:47:26 Total structured size: 242025 (mem: 812.18 MiB) 21:47:26 allocating polynomials object in proving key... (mem: 812.18 MiB) 21:47:26 [21:47:26.816] INFO: ivc-integration:test:native bb - populating trace... (mem: 812.18 MiB) 21:47:26 [21:47:26.880] INFO: ivc-integration:test:native bb - time to construct proving key: 241 ms. (mem: 812.18 MiB) 21:47:27 [21:47:27.081] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d85a82f0380 (mem: 812.18 MiB) 21:47:27 computing folding proof (mem: 812.18 MiB) 21:47:27 vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 812.18 MiB) 21:47:27 [21:47:27.526] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 812.18 MiB) 21:47:27 [21:47:27.643] INFO: ivc-integration:test:native bb - perturbator round (mem: 812.18 MiB) 21:47:27 [21:47:27.715] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 842.02 MiB) 21:47:28 [21:47:28.290] INFO: ivc-integration:test:native bb - folded 21:47:28 [21:47:28.291] INFO: ivc-integration:test:native bb - (mem: 842.02 MiB) 21:47:28 constructed folding proof (mem: 842.02 MiB) 21:47:28 [21:47:28.307] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 842.02 MiB) 21:47:28 [21:47:28.402] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 842.02 MiB) 21:47:28 Constructing DeciderProvingKey (mem: 842.02 MiB) 21:47:28 [21:47:28.407] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 21:47:28 [21:47:28.408] INFO: ivc-integration:test:native bb - (mem: 21:47:28 [21:47:28.412] INFO: ivc-integration:test:native bb - 842.02 MiB) 21:47:28 goblin ecc op : 392/1024 (mem: 842.02 MiB) 21:47:28 busread : 16/6000 (mem: 842.02 MiB) 21:47:28 lookups : 2/15000 (mem: 842.02 MiB) 21:47:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 842.02 MiB) 21:47:28 arithmetic : 6914/56000 (mem: 842.02 MiB) 21:47:28 delta range : 2347/18000 (mem: 842.02 MiB) 21:47:28 elliptic : 2/6000 (mem: 842.02 MiB) 21:47:28 auxiliary : 77/26000 (mem: 842.02 MiB) 21:47:28 poseidon ext : 2472/17000 (mem: 842.02 MiB) 21:47:28 poseidon int : 14081/92000 (mem: 842.02 MiB) 21:47:28 overflow : 0/0 (mem: 842.02 MiB) 21:47:28 (mem: 842.02 MiB) 21:47:28 Total structured size: 242025 (mem: 842.02 MiB) 21:47:28 allocating polynomials object in proving key... (mem: 842.02 MiB) 21:47:28 [21:47:28.691] INFO: ivc-integration:test:native bb - populating trace... (mem: 842.02 MiB) 21:47:28 [21:47:28.736] INFO: ivc-integration:test:native bb - time to construct proving key: 335 ms. (mem: 842.02 MiB) 21:47:28 [21:47:28.987] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d85a82eea40 (mem: 842.02 MiB) 21:47:28 computing folding proof (mem: 842.02 MiB) 21:47:28 [21:47:28.988] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 842.02 MiB) 21:47:29 [21:47:29.580] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 842.02 MiB) 21:47:29 [21:47:29.705] INFO: ivc-integration:test:native bb - perturbator round (mem: 842.02 MiB) 21:47:29 [21:47:29.777] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.00 MiB) 21:47:29 [21:47:29.966] INFO: ivc-integration:test:native bb - folded (mem: 844.00 MiB) 21:47:29 constructed folding proof (mem: 844.00 MiB) 21:47:29 [21:47:29.979] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 844.00 MiB) 21:47:30 [21:47:30.061] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 844.00 MiB) 21:47:30 Constructing DeciderProvingKey (mem: 844.00 MiB) 21:47:30 [21:47:30.066] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.00 MiB) 21:47:30 goblin ecc op : 392/1024 (mem: 844.00 MiB) 21:47:30 busread : 3/6000 (mem: 844.00 MiB) 21:47:30 lookups : 2/15000 (mem: 844.00 MiB) 21:47:30 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.00 MiB) 21:47:30 arithmetic : 6849/56000 (mem: 844.00 MiB) 21:47:30 delta range : 2333/18000 (mem: 844.00 MiB) 21:47:30 elliptic : 2/6000 (mem: 844.00 MiB) 21:47:30 auxiliary : 50/26000 (mem: 844.00 MiB) 21:47:30 poseidon ext : 2472/17000 (mem: 844.00 MiB) 21:47:30 poseidon int : 14081/92000 (mem: 844.00 MiB) 21:47:30 overflow : 0/0 (mem: 844.00 MiB) 21:47:30 (mem: 844.00 MiB) 21:47:30 Total structured size: 242025 (mem: 844.00 MiB) 21:47:30 allocating polynomials object in proving key... (mem: 844.00 MiB) 21:47:30 [21:47:30.150] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.00 MiB) 21:47:30 [21:47:30.187] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 844.00 MiB) 21:47:30 [21:47:30.385] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5d85a82e8ac0 (mem: 844.00 MiB) 21:47:30 computing folding proof (mem: 844.00 MiB) 21:47:30 [21:47:30.386] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 844.00 MiB) 21:47:30 [21:47:30.792] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.00 MiB) 21:47:30 [21:47:30.878] INFO: ivc-integration:test:native bb - perturbator round (mem: 844.00 MiB) 21:47:30 [21:47:30.962] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.00 MiB) 21:47:31 [21:47:31.342] INFO: ivc-integration:test:native bb - folded (mem: 845.00 MiB) 21:47:31 constructed folding proof (mem: 845.00 MiB) 21:47:31 [21:47:31.343] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 845.00 MiB) 21:47:31 Minimum required block sizes for structured trace: (mem: 845.00 MiB) 21:47:31 (mem: 845.00 MiB) 21:47:31 prove decider... (mem: 845.00 MiB) 21:47:31 [21:47:31.345] INFO: ivc-integration:test:native bb - ecc_op : 792 21:47:31 busread : 16 21:47:31 lookup : 2 21:47:31 pub_inputs : 36 21:47:31 arithmetic : 12080 21:47:31 delta_range : 2942 21:47:31 elliptic : 2 21:47:31 aux : 350 21:47:31 poseidon2_external : 4942 21:47:31 poseidon2_internal : 28160 21:47:31 overflow : 0 21:47:31 [21:47:31.423] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.00 MiB) 21:47:31 [21:47:31.524] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.00 MiB) 21:47:32 [21:47:32.303] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.00 MiB) 21:47:32 [21:47:32.375] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.00 MiB) 21:47:32 finished decider proving. (mem: 845.00 MiB) 21:47:32 [21:47:32.395] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 845.00 MiB) 21:47:32 [21:47:32.509] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.00 MiB) 21:47:32 [21:47:32.516] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 845.00 MiB) 21:47:32 [21:47:32.565] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.00 MiB) 21:47:32 [21:47:32.604] INFO: ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 845.00 MiB) 21:47:33 [21:47:33.158] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.00 MiB) 21:47:33 [21:47:33.585] INFO: ivc-integration:test:native bb - created oink proof (mem: 845.00 MiB) 21:47:33 [21:47:33.738] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.00 MiB) 21:47:34 [21:47:34.724] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.00 MiB) 21:47:35 [21:47:35.401] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.00 MiB) 21:47:35 [21:47:35.434] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.00 MiB) 21:47:35 finished decider proving. (mem: 845.00 MiB) 21:47:35 [21:47:35.439] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 845.00 MiB) 21:47:35 [21:47:35.597] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 845.00 MiB) 21:47:35 [21:47:35.860] 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: 845.00 MiB) 21:47:35 [21:47:35.875] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 845.00 MiB) 21:47:36 [21:47:36.998] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.00 MiB) 21:47:38 [21:47:38.260] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 21:47:38 [21:47:38.261] INFO: ivc-integration:test:native bb - (mem: 845.00 MiB) 21:47:41 [21:47:41.379] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 845.00 MiB) 21:47:41 prove translator... (mem: 845.00 MiB) 21:47:44 [21:47:44.981] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 864.35 MiB) 21:47:47 [21:47:47.646] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 21:47:47 [21:47:47.647] INFO: ivc-integration:test:native bb - (mem: 21:47:47 [21:47:47.648] INFO: ivc-integration:test:native bb - 865.35 MiB) 21:47:49 [21:47:49.549] INFO: ivc-integration:test:native bb - computed opening proof (mem: 865.35 MiB) 21:47:49 [21:47:49.552] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 865.35 MiB) 21:47:49 [21:47:49.559] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 865.35 MiB) 21:47:49 [21:47:49.574] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 865.35 MiB) 21:47:49 libra_evals_verified: 1 (mem: 865.35 MiB) 21:47:49 pairing_check_verified: 1 (mem: 865.35 MiB) 21:47:49 Mega verified: 1 (mem: 865.35 MiB) 21:47:49 [21:47:49.719] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 865.35 MiB) 21:47:49 batch opening verified?: 1 (mem: 865.35 MiB) 21:47:49 eccvm consistency check verified?: 1 (mem: 865.35 MiB) 21:47:49 translation masking consistency checked?: 1 (mem: 865.35 MiB) 21:47:49 [21:47:49.734] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 865.35 MiB) 21:47:49 eccvm verified?: 1 (mem: 865.35 MiB) 21:47:49 accumulator construction_verified?: 1 (mem: 865.35 MiB) 21:47:49 translation verified?: 1 (mem: 865.35 MiB) 21:47:49 consistency verified?: 1 (mem: 865.35 MiB) 21:47:49 Goblin verified: 1 (mem: 865.35 MiB) 21:47:49 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Rqoax6" (mem: 865.35 MiB) 21:47:49 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Rqoax6" (mem: 865.35 MiB) 21:47:49 BN254 commitment key size: 262144 (mem: 865.35 MiB) 21:47:49 [21:47:49.736] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.35 MiB) 21:47:49 [21:47:49.737] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 865.35 MiB) 21:47:49 goblin ecc op : 4/1024 (mem: 865.35 MiB) 21:47:49 busread : 3/6000 (mem: 865.35 MiB) 21:47:49 lookups : 2/15000 (mem: 865.35 MiB) 21:47:49 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 865.35 MiB) 21:47:49 arithmetic : 1773/56000 (mem: 865.35 MiB) 21:47:49 delta range : 1754/18000 (mem: 865.35 MiB) 21:47:49 elliptic : 2/6000 (mem: 865.35 MiB) 21:47:49 auxiliary : 26/26000 (mem: 865.35 MiB) 21:47:49 poseidon ext : 2/17000 (mem: 865.35 MiB) 21:47:49 poseidon int : 2/92000 (mem: 865.35 MiB) 21:47:49 overflow : 0/0 (mem: 865.35 MiB) 21:47:49 (mem: 865.35 MiB) 21:47:49 Total structured size: 242025 (mem: 865.35 MiB) 21:47:49 allocating polynomials object in proving key... (mem: 865.35 MiB) 21:47:49 [21:47:49.872] INFO: ivc-integration:test:native bb - populating trace... (mem: 865.35 MiB) 21:47:49 [21:47:49.892] INFO: ivc-integration:test:native bb - time to construct proving key: 157 ms. (mem: 865.35 MiB) 21:47:49 [21:47:49.973] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.35 MiB) 21:47:50 [21:47:50.463] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 865.35 MiB) 21:47:50 [21:47:50.464] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.35 MiB) 21:47:50 [21:47:50.603] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 865.35 MiB) 21:47:50 [21:47:50.611] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.35 MiB) 21:47:50 [21:47:50.626] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.35 MiB) 21:47:50 [21:47:50.629] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 865.35 MiB) 21:47:50 goblin ecc op : 56/1024 (mem: 865.35 MiB) 21:47:50 busread : 3/6000 (mem: 865.35 MiB) 21:47:50 lookups : 2/15000 (mem: 865.35 MiB) 21:47:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 865.35 MiB) 21:47:50 arithmetic : 4481/56000 (mem: 865.35 MiB) 21:47:50 delta range : 2041/18000 (mem: 865.35 MiB) 21:47:50 elliptic : 2/6000 (mem: 865.35 MiB) 21:47:50 auxiliary : 50/26000 (mem: 865.35 MiB) 21:47:50 poseidon ext : 1312/17000 (mem: 865.35 MiB) 21:47:50 poseidon int : 7469/92000 (mem: 865.35 MiB) 21:47:50 overflow : 0/0 (mem: 865.35 MiB) 21:47:50 (mem: 865.35 MiB) 21:47:50 Total structured size: 242025 (mem: 865.35 MiB) 21:47:50 allocating polynomials object in proving key... (mem: 865.35 MiB) 21:47:50 [21:47:50.681] INFO: ivc-integration:test:native bb - populating trace... (mem: 865.35 MiB) 21:47:50 [21:47:50.699] INFO: ivc-integration:test:native bb - time to construct proving key: 72 ms. (mem: 865.35 MiB) 21:47:50 [21:47:50.738] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.35 MiB) 21:47:51 [21:47:51.073] INFO: ivc-integration:test:native bb - computing folding proof (mem: 865.35 MiB) 21:47:51 [21:47:51.073] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 865.35 MiB) 21:47:51 [21:47:51.252] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 865.35 MiB) 21:47:51 [21:47:51.330] INFO: ivc-integration:test:native bb - perturbator round (mem: 865.35 MiB) 21:47:51 [21:47:51.376] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 897.35 MiB) 21:47:51 [21:47:51.487] INFO: ivc-integration:test:native bb - folded (mem: 897.35 MiB) 21:47:51 constructed folding proof (mem: 897.35 MiB) 21:47:51 [21:47:51.488] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 897.35 MiB) 21:47:51 Minimum required block sizes for structured trace: (mem: 897.35 MiB) 21:47:51 (mem: 897.35 MiB) 21:47:51 prove decider... (mem: 897.35 MiB) 21:47:51 [21:47:51.489] INFO: ivc-integration:test:native bb - ecc_op : 56 21:47:51 busread : 3 21:47:51 lookup : 2 21:47:51 pub_inputs : 36 21:47:51 arithmetic : 4481 21:47:51 delta_range : 2041 21:47:51 elliptic : 2 21:47:51 aux : 50 21:47:51 poseidon2_external : 1312 21:47:51 poseidon2_internal : 7469 21:47:51 overflow : 0 21:47:51 [21:47:51.596] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 897.35 MiB) 21:47:51 [21:47:51.663] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 897.35 MiB) 21:47:52 [21:47:52.517] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 897.35 MiB) 21:47:52 [21:47:52.566] INFO: ivc-integration:test:native bb - computed opening proof (mem: 897.35 MiB) 21:47:52 finished decider proving. (mem: 897.35 MiB) 21:47:52 [21:47:52.582] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 897.35 MiB) 21:47:52 [21:47:52.668] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 897.35 MiB) 21:47:52 [21:47:52.673] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 897.35 MiB) 21:47:52 [21:47:52.705] INFO: ivc-integration:test:native bb - populating trace... (mem: 897.35 MiB) 21:47:52 [21:47:52.733] INFO: ivc-integration:test:native bb - time to construct proving key: 64 ms. (mem: 21:47:52 [21:47:52.734] INFO: ivc-integration:test:native bb - 897.35 MiB) 21:47:53 [21:47:53.326] 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-Rqoax6/proof -k /tmp/bb-client-ivc-integration-Rqoax6/vk -v 21:47:53 [21:47:53.373] INFO: ivc-integration:test:native bb command: verify (mem: 188.37 MiB) 21:47:53 Scheme is: client_ivc, num threads: 128 (mem: 188.37 MiB) 21:47:53 --proof_path: /tmp/bb-client-ivc-integration-Rqoax6/proof (mem: 188.37 MiB) 21:47:53 --vk_path: /tmp/bb-client-ivc-integration-Rqoax6/vk (mem: 188.37 MiB) 21:47:53 --verbose: true (mem: 188.37 MiB) 21:47:53 --scheme: client_ivc (mem: 188.37 MiB) 21:47:53 [21:47:53.483] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.37 MiB) 21:47:53 [21:47:53.504] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 188.37 MiB) 21:47:53 [21:47:53.506] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 188.37 MiB) 21:47:53 [21:47:53.520] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.37 MiB) 21:47:53 [21:47:53.521] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 188.37 MiB) 21:47:53 [21:47:53.522] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 188.37 MiB) 21:47:53 libra_evals_verified: 1 (mem: 188.37 MiB) 21:47:53 pairing_check_verified: 1 (mem: 188.37 MiB) 21:47:53 Mega verified: 1 (mem: 188.37 MiB) 21:47:53 [21:47:53.580] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.37 MiB) 21:47:53 batch opening verified?: 1 (mem: 188.37 MiB) 21:47:53 eccvm consistency check verified?: 1 (mem: 188.37 MiB) 21:47:53 translation masking consistency checked?: 1 (mem: 188.37 MiB) 21:47:53 [21:47:53.598] INFO: ivc-integration:test:native merge verified?: 1 (mem: 188.37 MiB) 21:47:53 eccvm verified?: 1 (mem: 188.37 MiB) 21:47:53 accumulator construction_verified?: 1 (mem: 188.37 MiB) 21:47:53 translation verified?: 1 (mem: 188.37 MiB) 21:47:53 consistency verified?: 1 (mem: 188.37 MiB) 21:47:53 Goblin verified: 1 (mem: 188.37 MiB) 21:47:53 [21:47:53.604] INFO: ivc-integration:test:native verified: 1 (mem: 188.37 MiB) 21:47:53 PASS src/native_client_ivc_integration.test.ts (71.409 s) 21:47:53 Client IVC Integration 21:47:53 ✓ Should generate a verifiable client IVC proof from a simple mock tx (37367 ms) 21:47:53 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30256 ms) 21:47:53 21:47:53 Test Suites: 1 passed, 1 total 21:47:53 Tests: 2 passed, 2 total 21:47:53 Snapshots: 0 total 21:47:53 Time: 71.515 s 21:47:53 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 21:47:53 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?