ACI ·

Parent Log: http://ci.aztec-labs.com/057d5d7c01df7f9b Command: 7d3a4ee7e143e35a: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/3b5835195491b53670250790b18c14d922718574 Env: REF_NAME=gh-readonly-queue/next/pr-15094-1542a83b8e029762e119474de1725d84a1aee3d2 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 17 10:20:10 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15094_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 10:20:14 [10:20:14.438] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-EzIJMg/ivc-inputs.msgpack 10:20:14 [10:20:14.444] 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-EzIJMg --ivc_inputs_path /tmp/bb-client-ivc-integration-EzIJMg/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:20:14 [10:20:14.467] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.43 MiB) 10:20:14 [10:20:14.468] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.43 MiB) 10:20:14 --scheme: client_ivc (mem: 183.43 MiB) 10:20:14 --output_path: /tmp/bb-client-ivc-integration-EzIJMg (mem: 183.43 MiB) 10:20:14 --ivc_inputs_path: /tmp/bb-client-ivc-integration-EzIJMg/ivc-inputs.msgpack (mem: 183.43 MiB) 10:20:14 --verbose: true (mem: 183.43 MiB) 10:20:14 --write_vk: true (mem: 183.43 MiB) 10:20:14 BN254 commitment key size: 262144 (mem: 183.43 MiB) 10:20:14 [10:20:14.574] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB) 10:20:14 [10:20:14.654] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.31 MiB) 10:20:14 [10:20:14.658] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.31 MiB) 10:20:14 Constructing DeciderProvingKey (mem: 297.31 MiB) 10:20:14 [10:20:14.663] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.31 MiB) 10:20:14 goblin ecc op : 4/1024 (mem: 297.31 MiB) 10:20:14 busread : 7/6000 (mem: 297.31 MiB) 10:20:14 lookups : 2/15000 (mem: 297.31 MiB) 10:20:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.31 MiB) 10:20:14 arithmetic : 1760/56000 (mem: 297.31 MiB) 10:20:14 delta range : 1754/18000 (mem: 297.31 MiB) 10:20:14 [10:20:14.664] INFO: ivc-integration:test:native bb - elliptic : 2/6000 (mem: 297.31 MiB) 10:20:14 auxiliary : 26/26000 (mem: 297.31 MiB) 10:20:14 poseidon ext : 2/17000 (mem: 297.31 MiB) 10:20:14 poseidon int : 2/92000 (mem: 297.31 MiB) 10:20:14 overflow : 0/0 (mem: 297.31 MiB) 10:20:14 (mem: 297.31 MiB) 10:20:14 Total structured size: 242025 (mem: 297.31 MiB) 10:20:14 allocating polynomials object in proving key... (mem: 297.31 MiB) 10:20:14 [10:20:14.731] INFO: ivc-integration:test:native bb - populating trace... (mem: 499.46 MiB) 10:20:14 [10:20:14.745] INFO: ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 513.46 MiB) 10:20:14 [10:20:14.800] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x58f520b64400 (mem: 513.46 MiB) 10:20:14 computing oink proof... (mem: 513.46 MiB) 10:20:14 [10:20:14.801] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.46 MiB) 10:20:14 [10:20:14.986] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 522.46 MiB) 10:20:14 [10:20:14.994] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.46 MiB) 10:20:15 [10:20:15.012] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.46 MiB) 10:20:15 Constructing DeciderProvingKey (mem: 523.46 MiB) 10:20:15 [10:20:15.014] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.46 MiB) 10:20:15 goblin ecc op : 56/1024 (mem: 523.46 MiB) 10:20:15 busread : 12/6000 (mem: 523.46 MiB) 10:20:15 lookups : 2/15000 (mem: 523.46 MiB) 10:20:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.46 MiB) 10:20:15 arithmetic : 4625/56000 (mem: 523.46 MiB) 10:20:15 delta range : 2054/18000 (mem: 523.46 MiB) 10:20:15 elliptic : 2/6000 (mem: 523.46 MiB) 10:20:15 auxiliary : 110/26000 (mem: 523.46 MiB) 10:20:15 poseidon ext : 1302/17000 (mem: 523.46 MiB) 10:20:15 poseidon int : 7412/92000 (mem: 523.46 MiB) 10:20:15 overflow : 0/0 (mem: 523.46 MiB) 10:20:15 (mem: 523.46 MiB) 10:20:15 Total structured size: 242025 (mem: 523.46 MiB) 10:20:15 allocating polynomials object in proving key... (mem: 523.46 MiB) 10:20:15 [10:20:15.113] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.46 MiB) 10:20:15 [10:20:15.136] INFO: ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 744.46 MiB) 10:20:15 [10:20:15.216] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x58f520b71080 (mem: 744.46 MiB) 10:20:15 computing folding proof (mem: 744.46 MiB) 10:20:15 [10:20:15.218] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 744.46 MiB) 10:20:15 [10:20:15.657] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 744.46 MiB) 10:20:15 [10:20:15.749] INFO: ivc-integration:test:native bb - perturbator round (mem: 782.46 MiB) 10:20:15 [10:20:15.806] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 815.46 MiB) 10:20:16 [10:20:16.248] INFO: ivc-integration:test:native bb - folded (mem: 815.46 MiB) 10:20:16 constructed folding proof (mem: 815.46 MiB) 10:20:16 [10:20:16.269] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 10:20:16 [10:20:16.271] INFO: ivc-integration:test:native bb - 815.46 MiB) 10:20:16 [10:20:16.358] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.46 MiB) 10:20:16 Constructing DeciderProvingKey (mem: 815.46 MiB) 10:20:16 [10:20:16.362] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.46 MiB) 10:20:16 goblin ecc op : 392/1024 (mem: 815.46 10:20:16 [10:20:16.362] INFO: ivc-integration:test:native bb - MiB) 10:20:16 busread : 3/6000 (mem: 815.46 MiB) 10:20:16 lookups : 2/15000 (mem: 815.46 MiB) 10:20:16 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.46 MiB) 10:20:16 arithmetic : 6849/56000 (mem: 815.46 MiB) 10:20:16 delta range : 2333/18000 (mem: 815.46 MiB) 10:20:16 elliptic : 2/6000 (mem: 815.46 MiB) 10:20:16 auxiliary : 50/26000 (mem: 815.46 MiB) 10:20:16 poseidon ext : 2472/17000 (mem: 815.46 MiB) 10:20:16 poseidon int : 14081/92000 (mem: 815.46 MiB) 10:20:16 overflow : 0/0 (mem: 815.46 MiB) 10:20:16 (mem: 815.46 MiB) 10:20:16 Total structured size: 242025 (mem: 815.46 MiB) 10:20:16 allocating polynomials object in proving key... (mem: 815.46 MiB) 10:20:16 [10:20:16.525] INFO: ivc-integration:test:native bb - populating trace... (mem: 815.46 MiB) 10:20:16 [10:20:16.592] INFO: ivc-integration:test:native bb - time to construct proving key: 232 ms. (mem: 815.46 MiB) 10:20:16 [10:20:16.759] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x58f520b66b00 (mem: 815.46 MiB) 10:20:16 computing folding proof (mem: 815.46 MiB) 10:20:16 [10:20:16.759] INFO: ivc-integration:test:native bb - 10:20:16 vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 815.46 MiB) 10:20:17 [10:20:17.439] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.46 MiB) 10:20:17 [10:20:17.555] INFO: ivc-integration:test:native bb - perturbator round (mem: 815.46 MiB) 10:20:17 [10:20:17.611] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 815.46 MiB) 10:20:18 [10:20:18.089] INFO: ivc-integration:test:native bb - folded (mem: 815.46 MiB) 10:20:18 constructed folding proof (mem: 815.46 MiB) 10:20:18 Largest circuit: 25792 gates. Trace details: (mem: 815.46 MiB) 10:20:18 Minimum required block sizes for structured trace: (mem: 815.46 MiB) 10:20:18 (mem: 815.46 MiB) 10:20:18 prove decider... (mem: 815.46 MiB) 10:20:18 [10:20:18.090] INFO: ivc-integration:test:native bb - ecc_op : 392 10:20:18 busread : 12 10:20:18 lookup : 2 10:20:18 pub_inputs : 36 10:20:18 arithmetic : 6849 10:20:18 delta_range : 2333 10:20:18 elliptic : 2 10:20:18 aux : 110 10:20:18 poseidon2_external : 2472 10:20:18 poseidon2_internal : 14081 10:20:18 overflow : 0 10:20:18 [10:20:18.316] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.46 MiB) 10:20:18 [10:20:18.518] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 815.46 MiB) 10:20:19 [10:20:19.815] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 10:20:19 [10:20:19.817] INFO: ivc-integration:test:native bb - (mem: 815.46 MiB) 10:20:19 [10:20:19.909] INFO: ivc-integration:test:native bb - computed opening proof 10:20:19 [10:20:19.911] INFO: ivc-integration:test:native bb - (mem: 815.46 MiB) 10:20:19 finished decider proving. (mem: 815.46 MiB) 10:20:19 [10:20:19.933] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da 10:20:19 [10:20:19.936] INFO: ivc-integration:test:native bb - (mem: 815.46 MiB) 10:20:20 [10:20:20.055] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 815.46 MiB) 10:20:20 [10:20:20.061] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 815.46 MiB) 10:20:20 [10:20:20.315] INFO: ivc-integration:test:native bb - populating trace... (mem: 815.46 MiB) 10:20:20 [10:20:20.387] INFO: ivc-integration:test:native bb - time to construct proving key: 332 ms. (mem: 815.46 MiB) 10:20:21 [10:20:21.547] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 815.46 MiB) 10:20:22 [10:20:22.234] INFO: ivc-integration:test:native bb - created oink proof 10:20:22 [10:20:22.235] INFO: ivc-integration:test:native bb - (mem: 815.46 MiB) 10:20:22 [10:20:22.580] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.46 MiB) 10:20:24 [10:20:24.207] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.46 MiB) 10:20:25 [10:20:25.084] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.46 MiB) 10:20:25 [10:20:25.131] INFO: ivc-integration:test:native bb - computed opening proof (mem: 815.46 MiB) 10:20:25 finished decider proving. (mem: 815.46 MiB) 10:20:25 Constructing a Goblin proof with num ultra ops = 1038 (mem: 815.46 MiB) 10:20:25 [10:20:25.324] INFO: ivc-integration:test:native bb - prove eccvm... 10:20:25 [10:20:25.325] INFO: ivc-integration:test:native bb - (mem: 815.46 MiB) 10:20:25 [10:20:25.855] INFO: ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 815.46 MiB) 10:20:25 [10:20:25.872] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 815.46 MiB) 10:20:28 [10:20:28.220] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.46 MiB) 10:20:30 [10:20:30.386] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.46 MiB) 10:20:35 [10:20:35.314] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 815.46 MiB) 10:20:35 prove translator... (mem: 815.46 MiB) 10:20:37 [10:20:37.969] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.48 MiB) 10:20:41 [10:20:41.251] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.48 MiB) 10:20:43 [10:20:43.963] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.48 MiB) 10:20:43 [10:20:43.967] INFO: ivc-integration:test:native bb - finished translator proving. 10:20:43 [10:20:43.968] INFO: ivc-integration:test:native bb - (mem: 851.48 MiB) 10:20:43 [10:20:43.977] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.48 MiB) 10:20:44 [10:20:44.009] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 851.48 MiB) 10:20:44 libra_evals_verified: 1 (mem: 851.48 MiB) 10:20:44 pairing_check_verified: 1 (mem: 851.48 MiB) 10:20:44 Mega verified: 1 (mem: 851.48 MiB) 10:20:44 [10:20:44.112] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 851.48 MiB) 10:20:44 batch opening verified?: 1 (mem: 851.48 MiB) 10:20:44 eccvm consistency check verified?: 1 (mem: 851.48 MiB) 10:20:44 translation masking consistency checked?: 1 (mem: 851.48 MiB) 10:20:44 [10:20:44.113] INFO: ivc-integration:test:native bb - 10:20:44 [10:20:44.146] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 851.48 MiB) 10:20:44 eccvm verified?: 1 (mem: 851.48 MiB) 10:20:44 accumulator construction_verified?: 1 (mem: 851.48 MiB) 10:20:44 translation verified?: 1 (mem: 851.48 MiB) 10:20:44 consistency verified?: 1 (mem: 851.48 MiB) 10:20:44 Goblin verified: 1 (mem: 851.48 MiB) 10:20:44 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-EzIJMg" (mem: 851.48 MiB) 10:20:44 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-EzIJMg" (mem: 851.48 MiB) 10:20:44 BN254 commitment key size: 262144 (mem: 851.48 MiB) 10:20:44 [10:20:44.148] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.48 MiB) 10:20:44 [10:20:44.158] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.48 MiB) 10:20:44 goblin ecc op : 4/1024 (mem: 851.48 MiB) 10:20:44 busread : 3/6000 (mem: 851.48 MiB) 10:20:44 lookups : 2/15000 (mem: 851.48 MiB) 10:20:44 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 851.48 MiB) 10:20:44 arithmetic : 1773/56000 (mem: 851.48 MiB) 10:20:44 delta range : 1754/18000 (mem: 851.48 MiB) 10:20:44 elliptic : 2/6000 (mem: 851.48 MiB) 10:20:44 auxiliary : 26/26000 (mem: 851.48 MiB) 10:20:44 poseidon ext : 2/17000 (mem: 851.48 MiB) 10:20:44 poseidon int : 2/92000 (mem: 851.48 MiB) 10:20:44 overflow : 0/0 (mem: 851.48 MiB) 10:20:44 (mem: 851.48 MiB) 10:20:44 Total structured size: 242025 (mem: 851.48 MiB) 10:20:44 allocating polynomials object in proving key... (mem: 851.48 MiB) 10:20:44 [10:20:44.416] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.48 MiB) 10:20:44 [10:20:44.474] INFO: ivc-integration:test:native bb - time to construct proving key: 326 ms. (mem: 851.48 MiB) 10:20:44 [10:20:44.606] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.48 MiB) 10:20:45 [10:20:45.513] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 851.48 MiB) 10:20:45 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.48 MiB) 10:20:46 [10:20:46.057] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 851.48 MiB) 10:20:46 [10:20:46.072] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.48 MiB) 10:20:46 [10:20:46.093] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 10:20:46 [10:20:46.095] INFO: ivc-integration:test:native bb - (mem: 10:20:46 [10:20:46.096] INFO: ivc-integration:test:native bb - 851.48 MiB) 10:20:46 [10:20:46.104] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.48 MiB) 10:20:46 goblin ecc op : 56/1024 (mem: 851.48 MiB) 10:20:46 busread : 3/6000 (mem: 851.48 MiB) 10:20:46 lookups : 2/15000 (mem: 851.48 MiB) 10:20:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.48 MiB) 10:20:46 arithmetic : 4481/56000 (mem: 851.48 MiB) 10:20:46 delta range : 2041/18000 (mem: 851.48 MiB) 10:20:46 elliptic : 2/6000 (mem: 851.48 MiB) 10:20:46 auxiliary : 50/26000 (mem: 851.48 MiB) 10:20:46 poseidon ext : 1312/17000 (mem: 851.48 MiB) 10:20:46 poseidon int : 7469/92000 (mem: 851.48 MiB) 10:20:46 overflow : 0/0 (mem: 851.48 MiB) 10:20:46 (mem: 851.48 MiB) 10:20:46 Total structured size: 242025 (mem: 851.48 MiB) 10:20:46 allocating polynomials object in proving key... (mem: 851.48 MiB) 10:20:46 [10:20:46.504] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.48 MiB) 10:20:46 [10:20:46.577] INFO: ivc-integration:test:native bb - time to construct proving key: 472 ms. (mem: 851.48 MiB) 10:20:46 [10:20:46.718] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.48 MiB) 10:20:47 [10:20:47.600] INFO: ivc-integration:test:native bb - computing folding proof (mem: 851.48 MiB) 10:20:47 [10:20:47.601] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 851.48 MiB) 10:20:48 [10:20:48.422] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.48 MiB) 10:20:48 [10:20:48.539] INFO: ivc-integration:test:native bb - perturbator round (mem: 852.48 MiB) 10:20:48 [10:20:48.602] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 884.48 MiB) 10:20:49 [10:20:49.071] INFO: ivc-integration:test:native bb - folded (mem: 884.48 MiB) 10:20:49 constructed folding proof (mem: 884.48 MiB) 10:20:49 Largest circuit: 15360 gates. Trace details: (mem: 884.48 MiB) 10:20:49 Minimum required block sizes for structured trace: (mem: 884.48 MiB) 10:20:49 (mem: 884.48 MiB) 10:20:49 prove decider... (mem: 884.48 MiB) 10:20:49 [10:20:49.073] INFO: ivc-integration:test:native bb - ecc_op : 56 10:20:49 busread : 3 10:20:49 lookup : 2 10:20:49 pub_inputs : 36 10:20:49 arithmetic : 4481 10:20:49 delta_range : 2041 10:20:49 elliptic : 2 10:20:49 aux : 50 10:20:49 poseidon2_external : 1312 10:20:49 poseidon2_internal : 7469 10:20:49 overflow : 0 10:20:49 [10:20:49.310] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 884.48 MiB) 10:20:49 [10:20:49.640] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 884.48 MiB) 10:20:50 [10:20:50.745] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 884.48 MiB) 10:20:50 [10:20:50.829] INFO: ivc-integration:test:native bb - computed opening proof (mem: 884.48 MiB) 10:20:50 finished decider proving. (mem: 884.48 MiB) 10:20:50 [10:20:50.846] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 884.48 MiB) 10:20:50 [10:20:50.950] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 10:20:50 [10:20:50.954] INFO: ivc-integration:test:native bb - (mem: 884.48 MiB) 10:20:50 [10:20:50.958] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 10:20:50 [10:20:50.958] INFO: ivc-integration:test:native bb - (mem: 10:20:50 [10:20:50.960] INFO: ivc-integration:test:native bb - 884.48 MiB) 10:20:51 [10:20:51.082] INFO: ivc-integration:test:native bb - populating trace... (mem: 884.48 MiB) 10:20:51 [10:20:51.120] INFO: ivc-integration:test:native bb - time to construct proving key: 168 ms. (mem: 884.48 MiB) 10:20:52 [10:20:52.045] 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-EzIJMg/proof -k /tmp/bb-client-ivc-integration-EzIJMg/vk -v 10:20:52 [10:20:52.066] INFO: ivc-integration:test:native bb command: verify (mem: 183.43 MiB) 10:20:52 [10:20:52.067] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 183.43 MiB) 10:20:52 --proof_path: /tmp/bb-client-ivc-integration-EzIJMg/proof (mem: 183.43 MiB) 10:20:52 --vk_path: /tmp/bb-client-ivc-integration-EzIJMg/vk (mem: 183.43 MiB) 10:20:52 --verbose: true (mem: 183.43 MiB) 10:20:52 --scheme: client_ivc (mem: 183.43 MiB) 10:20:52 [10:20:52.156] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.43 MiB) 10:20:52 [10:20:52.178] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.43 MiB) 10:20:52 [10:20:52.179] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 183.43 MiB) 10:20:52 [10:20:52.200] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.43 MiB) 10:20:52 [10:20:52.202] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 183.43 MiB) 10:20:52 sumcheck_verified: 1 (mem: 183.43 MiB) 10:20:52 libra_evals_verified: 1 (mem: 183.43 MiB) 10:20:52 pairing_check_verified: 1 (mem: 183.43 MiB) 10:20:52 Mega verified: 1 (mem: 183.43 MiB) 10:20:52 [10:20:52.276] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.43 MiB) 10:20:52 batch opening verified?: 1 (mem: 183.43 MiB) 10:20:52 eccvm consistency check verified?: 1 (mem: 183.43 MiB) 10:20:52 translation masking consistency checked?: 1 (mem: 183.43 MiB) 10:20:52 [10:20:52.300] INFO: ivc-integration:test:native merge verified?: 1 (mem: 183.43 MiB) 10:20:52 eccvm verified?: 1 (mem: 183.43 MiB) 10:20:52 accumulator construction_verified?: 1 (mem: 183.43 MiB) 10:20:52 translation verified?: 1 (mem: 183.43 MiB) 10:20:52 consistency verified?: 1 (mem: 183.43 MiB) 10:20:52 Goblin verified: 1 (mem: 183.43 MiB) 10:20:52 [10:20:52.308] INFO: ivc-integration:test:native verified: 1 10:20:52 [10:20:52.310] INFO: ivc-integration:test:native (mem: 183.43 MiB) 10:20:52 [10:20:52.415] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-cpHPm1/ivc-inputs.msgpack 10:20:52 [10:20:52.415] 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-cpHPm1 --ivc_inputs_path /tmp/bb-client-ivc-integration-cpHPm1/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 10:20:52 [10:20:52.446] INFO: ivc-integration:test:native bb - bb command: prove (mem: 183.76 MiB) 10:20:52 [10:20:52.449] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.76 MiB) 10:20:52 --scheme: client_ivc (mem: 183.76 MiB) 10:20:52 --output_path: /tmp/bb-client-ivc-integration-cpHPm1 (mem: 183.76 MiB) 10:20:52 --ivc_inputs_path: /tmp/bb-client-ivc-integration-cpHPm1/ivc-inputs.msgpack (mem: 183.76 MiB) 10:20:52 --verbose: true (mem: 183.76 MiB) 10:20:52 --write_vk: true (mem: 183.76 MiB) 10:20:52 [10:20:52.459] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.76 MiB) 10:20:52 [10:20:52.627] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 10:20:52 [10:20:52.631] INFO: ivc-integration:test:native bb - (mem: 262.00 MiB) 10:20:52 [10:20:52.739] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 10:20:52 [10:20:52.740] INFO: ivc-integration:test:native bb - (mem: 10:20:52 [10:20:52.743] INFO: ivc-integration:test:native bb - 310.26 MiB) 10:20:52 [10:20:52.751] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 10:20:52 [10:20:52.753] INFO: ivc-integration:test:native bb - (mem: 310.26 MiB) 10:20:52 Constructing DeciderProvingKey (mem: 310.26 MiB) 10:20:52 [10:20:52.760] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.26 MiB) 10:20:52 goblin ecc op : 4/1024 (mem: 310.26 MiB) 10:20:52 busread : 7/6000 (mem: 310.26 MiB) 10:20:52 lookups : 2/15000 (mem: 310.26 MiB) 10:20:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.26 MiB) 10:20:52 arithmetic : 1760/56000 (mem: 310.26 MiB) 10:20:52 delta range : 1754/18000 (mem: 310.26 MiB) 10:20:52 elliptic : 2/6000 (mem: 310.26 MiB) 10:20:52 auxiliary : 26/26000 (mem: 310.26 MiB) 10:20:52 poseidon ext : 2/17000 (mem: 310.26 MiB) 10:20:52 poseidon int : 2/92000 (mem: 310.26 MiB) 10:20:52 overflow : 0/0 (mem: 310.26 MiB) 10:20:52 (mem: 310.26 MiB) 10:20:52 Total structured size: 242025 (mem: 310.26 MiB) 10:20:52 allocating polynomials object in proving key... (mem: 310.26 MiB) 10:20:52 [10:20:52.889] INFO: ivc-integration:test:native bb - populating trace... (mem: 504.39 MiB) 10:20:52 [10:20:52.908] INFO: ivc-integration:test:native bb - time to construct proving key: 154 ms. (mem: 516.39 MiB) 10:20:52 [10:20:52.943] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5897badb4240 (mem: 516.39 MiB) 10:20:52 computing oink proof... (mem: 516.39 MiB) 10:20:52 [10:20:52.944] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.39 MiB) 10:20:53 [10:20:53.235] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 525.39 MiB) 10:20:53 [10:20:53.244] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.39 MiB) 10:20:53 [10:20:53.264] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 526.39 MiB) 10:20:53 Constructing DeciderProvingKey (mem: 526.39 MiB) 10:20:53 [10:20:53.269] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 526.39 MiB) 10:20:53 goblin ecc op : 56/1024 (mem: 10:20:53 [10:20:53.271] INFO: ivc-integration:test:native bb - 526.39 MiB) 10:20:53 busread : 12/6000 (mem: 526.39 MiB) 10:20:53 lookups : 2/15000 (mem: 526.39 MiB) 10:20:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 526.39 MiB) 10:20:53 arithmetic : 4625/56000 (mem: 526.39 MiB) 10:20:53 delta range : 2054/18000 (mem: 526.39 MiB) 10:20:53 elliptic : 2/6000 (mem: 526.39 MiB) 10:20:53 auxiliary : 110/26000 (mem: 526.39 MiB) 10:20:53 poseidon ext : 1302/17000 (mem: 526.39 MiB) 10:20:53 poseidon int : 7412/92000 (mem: 526.39 MiB) 10:20:53 overflow : 0/0 (mem: 526.39 MiB) 10:20:53 (mem: 526.39 MiB) 10:20:53 Total structured size: 242025 (mem: 526.39 MiB) 10:20:53 allocating polynomials object in proving key... (mem: 526.39 MiB) 10:20:53 [10:20:53.420] INFO: ivc-integration:test:native bb - populating trace... (mem: 735.39 MiB) 10:20:53 [10:20:53.439] INFO: ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 747.39 MiB) 10:20:53 [10:20:53.511] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5897badbd480 (mem: 747.39 MiB) 10:20:53 [10:20:53.513] INFO: ivc-integration:test:native bb - computing folding proof (mem: 747.39 MiB) 10:20:53 vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 747.39 MiB) 10:20:53 [10:20:53.992] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.39 MiB) 10:20:54 [10:20:54.079] INFO: ivc-integration:test:native bb - perturbator round (mem: 784.39 MiB) 10:20:54 [10:20:54.135] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.39 MiB) 10:20:54 [10:20:54.319] INFO: ivc-integration:test:native bb - folded (mem: 816.39 MiB) 10:20:54 constructed folding proof (mem: 816.39 MiB) 10:20:54 [10:20:54.322] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.39 MiB) 10:20:54 [10:20:54.324] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 816.39 MiB) 10:20:54 [10:20:54.325] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.39 MiB) 10:20:54 goblin ecc op : 4/1024 (mem: 816.39 MiB) 10:20:54 busread : 7/6000 (mem: 816.39 MiB) 10:20:54 lookups : 2/15000 (mem: 816.39 MiB) 10:20:54 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 816.39 MiB) 10:20:54 arithmetic : 1760/56000 (mem: 816.39 MiB) 10:20:54 [10:20:54.326] INFO: ivc-integration:test:native bb - 10:20:54 delta range : 1754/18000 (mem: 816.39 MiB) 10:20:54 elliptic : 2/6000 (mem: 816.39 MiB) 10:20:54 auxiliary : 26/26000 (mem: 816.39 MiB) 10:20:54 poseidon ext : 2/17000 (mem: 816.39 MiB) 10:20:54 poseidon int : 2/92000 (mem: 816.39 MiB) 10:20:54 overflow : 0/0 (mem: 816.39 MiB) 10:20:54 (mem: 816.39 MiB) 10:20:54 Total structured size: 242025 (mem: 816.39 MiB) 10:20:54 allocating polynomials object in proving key... (mem: 816.39 MiB) 10:20:54 [10:20:54.398] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.39 MiB) 10:20:54 [10:20:54.413] INFO: ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 816.39 MiB) 10:20:54 [10:20:54.468] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5897badb4a80 (mem: 816.39 MiB) 10:20:54 computing folding proof (mem: 816.39 MiB) 10:20:54 [10:20:54.469] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.39 MiB) 10:20:54 [10:20:54.696] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.39 MiB) 10:20:54 [10:20:54.771] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.39 MiB) 10:20:54 [10:20:54.800] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 816.39 MiB) 10:20:55 [10:20:55.062] INFO: ivc-integration:test:native bb - folded (mem: 816.39 MiB) 10:20:55 constructed folding proof (mem: 816.39 MiB) 10:20:55 [10:20:55.077] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 816.39 MiB) 10:20:55 [10:20:55.158] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 816.39 MiB) 10:20:55 [10:20:55.227] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 816.39 MiB) 10:20:55 Constructing DeciderProvingKey (mem: 816.39 MiB) 10:20:55 [10:20:55.235] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.39 MiB) 10:20:55 goblin ecc op : 792/1024 (mem: 816.39 MiB) 10:20:55 busread : 12/6000 (mem: 816.39 MiB) 10:20:55 lookups : 2/15000 (mem: 816.39 MiB) 10:20:55 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 816.39 MiB) 10:20:55 arithmetic : 12080/56000 (mem: 816.39 MiB) 10:20:55 delta range : 2942/18000 (mem: 816.39 MiB) 10:20:55 elliptic : 2/6000 (mem: 816.39 MiB) 10:20:55 auxiliary : 350/26000 (mem: 816.39 MiB) 10:20:55 poseidon ext : 4942/17000 (mem: 816.39 MiB) 10:20:55 poseidon int : 28160/92000 (mem: 816.39 MiB) 10:20:55 overflow : 0/0 (mem: 816.39 MiB) 10:20:55 (mem: 816.39 MiB) 10:20:55 Total structured size: 242025 (mem: 816.39 MiB) 10:20:55 allocating polynomials object in proving key... (mem: 816.39 MiB) 10:20:55 [10:20:55.347] INFO: ivc-integration:test:native bb - populating trace... (mem: 816.39 MiB) 10:20:55 [10:20:55.373] INFO: ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 816.39 MiB) 10:20:55 [10:20:55.455] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5897bae31200 (mem: 816.39 MiB) 10:20:55 computing folding proof (mem: 816.39 MiB) 10:20:55 [10:20:55.457] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 816.39 MiB) 10:20:55 [10:20:55.776] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 10:20:55 [10:20:55.777] INFO: ivc-integration:test:native bb - (mem: 816.39 MiB) 10:20:55 [10:20:55.875] INFO: ivc-integration:test:native bb - perturbator round (mem: 816.39 MiB) 10:20:55 [10:20:55.931] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 843.78 MiB) 10:20:56 [10:20:56.356] INFO: ivc-integration:test:native bb - folded (mem: 843.78 MiB) 10:20:56 constructed folding proof (mem: 843.78 MiB) 10:20:56 [10:20:56.367] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 843.78 MiB) 10:20:56 [10:20:56.447] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 843.78 MiB) 10:20:56 Constructing DeciderProvingKey (mem: 843.78 MiB) 10:20:56 [10:20:56.452] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.78 MiB) 10:20:56 goblin ecc op : 392/1024 (mem: 843.78 MiB) 10:20:56 busread : 16/6000 (mem: 843.78 MiB) 10:20:56 lookups : 2/15000 (mem: 843.78 MiB) 10:20:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 843.78 MiB) 10:20:56 arithmetic : 6914/56000 (mem: 843.78 MiB) 10:20:56 delta range : 2347/18000 (mem: 843.78 MiB) 10:20:56 elliptic : 2/6000 (mem: 843.78 MiB) 10:20:56 auxiliary : 77/26000 (mem: 843.78 MiB) 10:20:56 poseidon ext : 2472/17000 (mem: 843.78 MiB) 10:20:56 [10:20:56.453] INFO: ivc-integration:test:native bb - poseidon int : 14081/92000 (mem: 843.78 MiB) 10:20:56 overflow : 0/0 (mem: 843.78 MiB) 10:20:56 (mem: 843.78 MiB) 10:20:56 Total structured size: 242025 (mem: 843.78 MiB) 10:20:56 allocating polynomials object in proving key... (mem: 843.78 MiB) 10:20:56 [10:20:56.557] INFO: ivc-integration:test:native bb - populating trace... (mem: 843.78 MiB) 10:20:56 [10:20:56.580] INFO: ivc-integration:test:native bb - time to construct proving key: 133 ms. (mem: 843.78 MiB) 10:20:56 [10:20:56.669] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5897bae19080 (mem: 843.78 MiB) 10:20:56 computing folding proof (mem: 843.78 MiB) 10:20:56 [10:20:56.670] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 843.78 MiB) 10:20:57 [10:20:57.090] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 843.78 MiB) 10:20:57 [10:20:57.194] INFO: ivc-integration:test:native bb - perturbator round (mem: 843.78 MiB) 10:20:57 [10:20:57.269] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 844.39 MiB) 10:20:57 [10:20:57.549] INFO: ivc-integration:test:native bb - folded (mem: 844.39 MiB) 10:20:57 [10:20:57.550] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 844.39 MiB) 10:20:57 [10:20:57.557] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 844.39 MiB) 10:20:57 [10:20:57.657] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 844.39 MiB) 10:20:57 Constructing DeciderProvingKey (mem: 844.39 MiB) 10:20:57 [10:20:57.663] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.39 MiB) 10:20:57 goblin ecc op : 392/1024 (mem: 844.39 MiB) 10:20:57 [10:20:57.664] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 844.39 MiB) 10:20:57 lookups : 2/15000 (mem: 844.39 MiB) 10:20:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.39 MiB) 10:20:57 arithmetic : 6849/56000 (mem: 844.39 MiB) 10:20:57 delta range : 2333/18000 (mem: 844.39 MiB) 10:20:57 elliptic : 2/6000 (mem: 844.39 MiB) 10:20:57 auxiliary : 50/26000 (mem: 844.39 MiB) 10:20:57 poseidon ext : 2472/17000 (mem: 844.39 MiB) 10:20:57 poseidon int : 14081/92000 (mem: 844.39 MiB) 10:20:57 overflow : 0/0 (mem: 844.39 MiB) 10:20:57 (mem: 844.39 MiB) 10:20:57 Total structured size: 242025 (mem: 844.39 MiB) 10:20:57 allocating polynomials object in proving key... (mem: 844.39 MiB) 10:20:57 [10:20:57.772] INFO: ivc-integration:test:native bb - populating trace... (mem: 844.39 MiB) 10:20:57 [10:20:57.821] INFO: ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 844.39 MiB) 10:20:58 [10:20:58.024] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5897badb52c0 (mem: 844.39 MiB) 10:20:58 computing folding proof (mem: 844.39 MiB) 10:20:58 [10:20:58.026] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 844.39 MiB) 10:20:58 [10:20:58.388] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.39 MiB) 10:20:58 [10:20:58.478] INFO: ivc-integration:test:native bb - perturbator round (mem: 844.39 MiB) 10:20:58 [10:20:58.557] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 845.27 MiB) 10:20:58 [10:20:58.784] INFO: ivc-integration:test:native bb - folded (mem: 845.27 MiB) 10:20:58 constructed folding proof (mem: 845.27 MiB) 10:20:58 [10:20:58.785] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 845.27 MiB) 10:20:58 Minimum required block sizes for structured trace: (mem: 845.27 MiB) 10:20:58 (mem: 845.27 MiB) 10:20:58 prove decider... (mem: 845.27 MiB) 10:20:58 [10:20:58.786] INFO: ivc-integration:test:native bb - ecc_op : 792 10:20:58 busread : 16 10:20:58 lookup : 2 10:20:58 pub_inputs : 36 10:20:58 arithmetic : 12080 10:20:58 delta_range : 2942 10:20:58 elliptic : 2 10:20:58 aux : 350 10:20:58 poseidon2_external : 4942 10:20:58 poseidon2_internal : 28160 10:20:58 overflow : 0 10:20:58 [10:20:58.957] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.27 MiB) 10:20:59 [10:20:59.081] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.27 MiB) 10:20:59 [10:20:59.871] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.27 MiB) 10:20:59 [10:20:59.946] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.27 MiB) 10:20:59 finished decider proving. (mem: 845.27 MiB) 10:20:59 [10:20:59.962] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 845.27 MiB) 10:21:00 [10:21:00.047] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.27 MiB) 10:21:00 [10:21:00.052] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 845.27 MiB) 10:21:00 [10:21:00.165] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.27 MiB) 10:21:00 [10:21:00.263] INFO: ivc-integration:test:native bb - time to construct proving key: 210 ms. (mem: 845.27 MiB) 10:21:01 [10:21:01.059] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.27 MiB) 10:21:01 [10:21:01.536] INFO: ivc-integration:test:native bb - created oink proof (mem: 845.27 MiB) 10:21:01 [10:21:01.724] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.27 MiB) 10:21:02 [10:21:02.548] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.27 MiB) 10:21:03 [10:21:03.052] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.27 MiB) 10:21:03 [10:21:03.084] INFO: ivc-integration:test:native bb - computed opening proof (mem: 845.27 MiB) 10:21:03 finished decider proving. (mem: 845.27 MiB) 10:21:03 Constructing a Goblin proof with num ultra ops = 2226 (mem: 845.27 MiB) 10:21:03 [10:21:03.304] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 845.27 MiB) 10:21:03 [10:21:03.702] 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.27 MiB) 10:21:03 [10:21:03.720] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 845.27 MiB) 10:21:04 [10:21:04.920] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.27 MiB) 10:21:05 [10:21:05.967] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.27 MiB) 10:21:10 [10:21:10.536] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 845.27 MiB) 10:21:10 prove translator... (mem: 845.27 MiB) 10:21:14 [10:21:14.278] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 10:21:14 [10:21:14.279] INFO: ivc-integration:test:native bb - (mem: 869.18 MiB) 10:21:16 [10:21:16.924] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 870.18 MiB) 10:21:17 [10:21:17.982] INFO: ivc-integration:test:native bb - computed opening proof (mem: 870.18 MiB) 10:21:17 [10:21:17.983] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 870.18 MiB) 10:21:17 [10:21:17.986] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 870.18 MiB) 10:21:17 [10:21:17.999] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 870.18 MiB) 10:21:17 libra_evals_verified: 1 (mem: 870.18 MiB) 10:21:17 pairing_check_verified: 1 (mem: 870.18 MiB) 10:21:17 [10:21:17.999] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 870.18 MiB) 10:21:18 [10:21:18.054] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 871.18 MiB) 10:21:18 batch opening verified?: 1 (mem: 871.18 MiB) 10:21:18 eccvm consistency check verified?: 1 (mem: 871.18 MiB) 10:21:18 translation masking consistency checked?: 1 (mem: 871.18 MiB) 10:21:18 [10:21:18.076] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 871.18 MiB) 10:21:18 eccvm verified?: 1 (mem: 871.18 MiB) 10:21:18 accumulator construction_verified?: 1 (mem: 871.18 MiB) 10:21:18 translation verified?: 1 (mem: 871.18 MiB) 10:21:18 consistency verified?: 1 (mem: 871.18 MiB) 10:21:18 Goblin verified: 1 (mem: 10:21:18 [10:21:18.077] INFO: ivc-integration:test:native bb - 871.18 MiB) 10:21:18 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-cpHPm1" (mem: 871.18 MiB) 10:21:18 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-cpHPm1" (mem: 871.18 MiB) 10:21:18 BN254 commitment key size: 262144 (mem: 871.18 MiB) 10:21:18 [10:21:18.079] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.18 MiB) 10:21:18 [10:21:18.082] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.18 MiB) 10:21:18 goblin ecc op : 4/1024 (mem: 871.18 MiB) 10:21:18 busread : 3/6000 (mem: 871.18 MiB) 10:21:18 lookups : 2/15000 (mem: 871.18 MiB) 10:21:18 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 10:21:18 [10:21:18.082] INFO: ivc-integration:test:native bb - 871.18 MiB) 10:21:18 arithmetic : 1773/56000 (mem: 871.18 MiB) 10:21:18 delta range : 1754/18000 (mem: 871.18 MiB) 10:21:18 elliptic : 2/6000 (mem: 871.18 MiB) 10:21:18 auxiliary : 26/26000 (mem: 871.18 MiB) 10:21:18 poseidon ext : 2/17000 (mem: 871.18 MiB) 10:21:18 poseidon int : 2/92000 (mem: 871.18 MiB) 10:21:18 overflow : 0/0 (mem: 871.18 MiB) 10:21:18 (mem: 871.18 MiB) 10:21:18 Total structured size: 242025 (mem: 871.18 MiB) 10:21:18 allocating polynomials object in proving key... (mem: 871.18 MiB) 10:21:18 [10:21:18.122] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.18 MiB) 10:21:18 [10:21:18.129] INFO: ivc-integration:test:native bb - time to construct proving key: 50 ms. (mem: 871.18 MiB) 10:21:18 [10:21:18.154] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.18 MiB) 10:21:18 [10:21:18.575] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 871.18 MiB) 10:21:18 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 10:21:18 [10:21:18.577] INFO: ivc-integration:test:native bb - 871.18 MiB) 10:21:18 [10:21:18.747] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 871.18 MiB) 10:21:18 [10:21:18.755] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.18 MiB) 10:21:18 [10:21:18.773] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.18 MiB) 10:21:18 [10:21:18.776] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.18 MiB) 10:21:18 goblin ecc op : 56/1024 (mem: 871.18 MiB) 10:21:18 busread : 3/6000 (mem: 871.18 MiB) 10:21:18 lookups : 2/15000 (mem: 871.18 MiB) 10:21:18 [10:21:18.777] INFO: ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 871.18 MiB) 10:21:18 arithmetic : 4481/56000 (mem: 871.18 MiB) 10:21:18 delta range : 2041/18000 (mem: 871.18 MiB) 10:21:18 elliptic : 2/6000 (mem: 871.18 MiB) 10:21:18 auxiliary : 50/26000 (mem: 871.18 MiB) 10:21:18 poseidon ext : 1312/17000 (mem: 871.18 MiB) 10:21:18 poseidon int : 7469/92000 (mem: 871.18 MiB) 10:21:18 overflow : 0/0 (mem: 871.18 MiB) 10:21:18 (mem: 871.18 MiB) 10:21:18 Total structured size: 242025 (mem: 871.18 MiB) 10:21:18 allocating polynomials object in proving key... (mem: 871.18 MiB) 10:21:19 [10:21:19.080] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.18 MiB) 10:21:19 [10:21:19.106] INFO: ivc-integration:test:native bb - time to construct proving key: 334 ms. (mem: 871.18 MiB) 10:21:19 [10:21:19.237] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.18 MiB) 10:21:19 [10:21:19.856] INFO: ivc-integration:test:native bb - computing folding proof (mem: 871.18 MiB) 10:21:19 [10:21:19.858] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 871.18 MiB) 10:21:20 [10:21:20.352] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 871.18 MiB) 10:21:20 [10:21:20.474] INFO: ivc-integration:test:native bb - perturbator round (mem: 871.18 MiB) 10:21:20 [10:21:20.602] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 903.18 MiB) 10:21:20 [10:21:20.858] INFO: ivc-integration:test:native bb - folded (mem: 903.18 MiB) 10:21:20 constructed folding proof (mem: 903.18 MiB) 10:21:20 [10:21:20.859] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 903.18 MiB) 10:21:20 Minimum required block sizes for structured trace: (mem: 903.18 MiB) 10:21:20 (mem: 903.18 MiB) 10:21:20 prove decider... (mem: 903.18 MiB) 10:21:20 [10:21:20.861] INFO: ivc-integration:test:native bb - ecc_op : 56 10:21:20 busread : 3 10:21:20 lookup : 2 10:21:20 pub_inputs : 36 10:21:20 arithmetic : 4481 10:21:20 delta_range : 2041 10:21:20 elliptic : 2 10:21:20 aux : 50 10:21:20 poseidon2_external : 1312 10:21:20 poseidon2_internal : 7469 10:21:20 overflow : 0 10:21:20 [10:21:20.965] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 903.18 MiB) 10:21:21 [10:21:21.041] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 903.18 MiB) 10:21:21 [10:21:21.494] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 903.18 MiB) 10:21:21 [10:21:21.553] INFO: ivc-integration:test:native bb - computed opening proof (mem: 903.18 MiB) 10:21:21 finished decider proving. (mem: 903.18 MiB) 10:21:21 [10:21:21.563] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 903.18 MiB) 10:21:21 [10:21:21.650] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 903.18 MiB) 10:21:21 [10:21:21.658] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 903.18 MiB) 10:21:21 [10:21:21.720] INFO: ivc-integration:test:native bb - populating trace... (mem: 903.18 MiB) 10:21:21 [10:21:21.741] INFO: ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 903.18 MiB) 10:21:22 [10:21:22.091] 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-cpHPm1/proof -k /tmp/bb-client-ivc-integration-cpHPm1/vk -v 10:21:22 [10:21:22.116] INFO: ivc-integration:test:native bb command: verify (mem: 194.85 MiB) 10:21:22 [10:21:22.117] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 194.85 MiB) 10:21:22 --proof_path: /tmp/bb-client-ivc-integration-cpHPm1/proof (mem: 194.85 MiB) 10:21:22 --vk_path: /tmp/bb-client-ivc-integration-cpHPm1/vk (mem: 194.85 MiB) 10:21:22 --verbose: true (mem: 194.85 MiB) 10:21:22 --scheme: client_ivc (mem: 194.85 MiB) 10:21:22 [10:21:22.211] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 194.85 MiB) 10:21:22 [10:21:22.234] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 194.85 MiB) 10:21:22 [10:21:22.235] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 194.85 MiB) 10:21:22 [10:21:22.252] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 194.85 MiB) 10:21:22 [10:21:22.252] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 194.85 MiB) 10:21:22 [10:21:22.253] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 194.85 MiB) 10:21:22 libra_evals_verified: 1 (mem: 194.85 MiB) 10:21:22 pairing_check_verified: 1 (mem: 194.85 MiB) 10:21:22 Mega verified: 1 (mem: 194.85 MiB) 10:21:22 [10:21:22.304] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 194.85 MiB) 10:21:22 batch opening verified?: 1 (mem: 194.85 MiB) 10:21:22 eccvm consistency check verified?: 1 (mem: 194.85 MiB) 10:21:22 translation masking consistency checked?: 1 (mem: 194.85 MiB) 10:21:22 [10:21:22.327] INFO: ivc-integration:test:native merge verified?: 1 (mem: 194.85 MiB) 10:21:22 eccvm verified?: 1 (mem: 194.85 MiB) 10:21:22 accumulator construction_verified?: 1 (mem: 194.85 MiB) 10:21:22 translation verified?: 1 (mem: 194.85 MiB) 10:21:22 consistency verified?: 1 (mem: 194.85 MiB) 10:21:22 Goblin verified: 1 (mem: 194.85 MiB) 10:21:22 [10:21:22.335] INFO: ivc-integration:test:native verified: 1 (mem: 194.85 MiB) 10:21:22 PASS src/native_client_ivc_integration.test.ts (71.401 s) 10:21:22 Client IVC Integration 10:21:22 ✓ Should generate a verifiable client IVC proof from a simple mock tx (37970 ms) 10:21:22 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30025 ms) 10:21:22 10:21:22 Test Suites: 1 passed, 1 total 10:21:22 Tests: 2 passed, 2 total 10:21:22 Snapshots: 0 total 10:21:22 Time: 71.511 s 10:21:22 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 10:21:22 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?