Parent Log: http://ci.aztec-labs.com/64815db951c4de2c Command: 6a9c991c4402d14c: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/47c749527b1c3cce3edd9defedc46e89ea00c69e Env: REF_NAME=gh-readonly-queue/next/pr-15009-00cd67e98e76d3202a0219baf301d59ef4211872 CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Fri Jun 13 15:52:46 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15009_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 15:52:49 [15:52:49.561] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-d7NyeR/ivc-inputs.msgpack 15:52:49 [15:52:49.566] 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-d7NyeR --ivc_inputs_path /tmp/bb-client-ivc-integration-d7NyeR/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:52:49 [15:52:49.579] INFO: ivc-integration:test:native bb - bb command: prove (mem: 144.30 MiB) 15:52:49 [15:52:49.580] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 64 (mem: 144.30 MiB) 15:52:49 --scheme: client_ivc (mem: 144.30 MiB) 15:52:49 --output_path: /tmp/bb-client-ivc-integration-d7NyeR (mem: 144.30 MiB) 15:52:49 --ivc_inputs_path: /tmp/bb-client-ivc-integration-d7NyeR/ivc-inputs.msgpack (mem: 144.30 MiB) 15:52:49 --verbose: true (mem: 144.30 MiB) 15:52:49 --write_vk: true (mem: 144.30 MiB) 15:52:49 [15:52:49.581] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 144.30 MiB) 15:52:49 [15:52:49.620] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 196.50 MiB) 15:52:49 [15:52:49.684] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 244.99 MiB) 15:52:49 [15:52:49.690] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 244.99 MiB) 15:52:49 Constructing DeciderProvingKey (mem: 244.99 MiB) 15:52:49 [15:52:49.701] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 244.99 MiB) 15:52:49 goblin ecc op : 4/1024 (mem: 244.99 MiB) 15:52:49 busread : 7/6000 (mem: 244.99 MiB) 15:52:49 lookups : 2/15000 (mem: 244.99 MiB) 15:52:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 244.99 MiB) 15:52:49 arithmetic : 1760/56000 (mem: 244.99 MiB) 15:52:49 delta range : 1754/18000 (mem: 244.99 MiB) 15:52:49 elliptic : 2/6000 (mem: 244.99 MiB) 15:52:49 auxiliary : 26/26000 (mem: 244.99 MiB) 15:52:49 poseidon ext : 2/17000 (mem: 244.99 MiB) 15:52:49 poseidon int : 2/92000 (mem: 244.99 MiB) 15:52:49 overflow : 0/0 (mem: 244.99 MiB) 15:52:49 (mem: 244.99 MiB) 15:52:49 Total structured size: 242025 (mem: 244.99 MiB) 15:52:49 allocating polynomials object in proving key... (mem: 244.99 MiB) 15:52:49 [15:52:49.819] INFO: ivc-integration:test:native bb - populating trace... (mem: 453.08 MiB) 15:52:49 [15:52:49.838] INFO: ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 468.08 MiB) 15:52:49 [15:52:49.881] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc50aee87ce00 (mem: 468.58 MiB) 15:52:49 computing oink proof... (mem: 468.58 MiB) 15:52:49 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 468.58 MiB) 15:52:50 [15:52:50.677] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 468.58 MiB) 15:52:51 [15:52:51.082] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 478.08 MiB) 15:52:51 [15:52:51.093] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 478.58 MiB) 15:52:51 [15:52:51.100] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 478.58 MiB) 15:52:51 Constructing DeciderProvingKey (mem: 478.58 MiB) 15:52:51 [15:52:51.102] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 478.58 MiB) 15:52:51 goblin ecc op : 56/1024 (mem: 478.58 MiB) 15:52:51 [15:52:51.104] INFO: ivc-integration:test:native bb - busread : 12/6000 (mem: 478.58 MiB) 15:52:51 lookups : 2/15000 (mem: 478.58 MiB) 15:52:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 478.58 MiB) 15:52:51 arithmetic : 4625/56000 (mem: 478.58 MiB) 15:52:51 delta range : 2054/18000 (mem: 478.58 MiB) 15:52:51 elliptic : 2/6000 (mem: 478.58 MiB) 15:52:51 auxiliary : 110/26000 (mem: 478.58 MiB) 15:52:51 poseidon ext : 1302/17000 (mem: 478.58 MiB) 15:52:51 poseidon int : 7412/92000 (mem: 478.58 MiB) 15:52:51 overflow : 0/0 (mem: 478.58 MiB) 15:52:51 (mem: 478.58 MiB) 15:52:51 Total structured size: 242025 (mem: 478.58 MiB) 15:52:51 allocating polynomials object in proving key... (mem: 478.58 MiB) 15:52:51 [15:52:51.266] INFO: ivc-integration:test:native bb - populating trace... (mem: 688.58 MiB) 15:52:51 [15:52:51.307] INFO: ivc-integration:test:native bb - time to construct proving key: 207 ms. (mem: 706.08 MiB) 15:52:51 [15:52:51.456] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc50aee875ac0 (mem: 706.08 MiB) 15:52:51 computing folding proof (mem: 706.08 MiB) 15:52:51 [15:52:51.459] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 706.08 MiB) 15:52:52 [15:52:52.258] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 706.08 MiB) 15:52:52 [15:52:52.905] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 712.58 MiB) 15:52:52 [15:52:52.980] INFO: ivc-integration:test:native bb - perturbator round (mem: 745.08 MiB) 15:52:53 [15:52:53.024] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 777.08 MiB) 15:52:53 [15:52:53.372] INFO: ivc-integration:test:native bb - folded (mem: 777.08 MiB) 15:52:53 constructed folding proof (mem: 777.08 MiB) 15:52:53 [15:52:53.375] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d 15:52:53 [15:52:53.376] INFO: ivc-integration:test:native bb - (mem: 15:52:53 [15:52:53.376] INFO: ivc-integration:test:native bb - 777.08 15:52:53 [15:52:53.378] INFO: ivc-integration:test:native bb - MiB) 15:52:53 [15:52:53.418] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 15:52:53 [15:52:53.422] INFO: ivc-integration:test:native bb - (mem: 777.08 MiB) 15:52:53 Constructing DeciderProvingKey (mem: 777.08 MiB) 15:52:53 Gate blocks summary: (actual gates / fixed capacity) (mem: 777.08 MiB) 15:52:53 goblin ecc op : 392/1024 (mem: 777.08 MiB) 15:52:53 busread : 3/6000 (mem: 777.08 MiB) 15:52:53 lookups : 2/15000 (mem: 777.08 MiB) 15:52:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 777.08 MiB) 15:52:53 arithmetic : 6849/56000 (mem: 777.08 MiB) 15:52:53 delta range : 2333/18000 (mem: 777.08 MiB) 15:52:53 elliptic : 2/6000 (mem: 777.08 MiB) 15:52:53 auxiliary : 50/26000 (mem: 777.08 MiB) 15:52:53 poseidon ext : 2472/17000 (mem: 777.08 MiB) 15:52:53 poseidon int : 14081/92000 (mem: 777.08 MiB) 15:52:53 overflow : 0/0 (mem: 777.08 MiB) 15:52:53 (mem: 777.08 MiB) 15:52:53 Total structured size: 242025 (mem: 777.08 MiB) 15:52:53 allocating polynomials object in proving key... (mem: 777.08 MiB) 15:52:53 [15:52:53.509] INFO: ivc-integration:test:native bb - populating trace... (mem: 777.08 MiB) 15:52:53 [15:52:53.537] INFO: ivc-integration:test:native bb - time to construct proving key: 118 ms. (mem: 777.08 MiB) 15:52:53 [15:52:53.666] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc50aee87f440 (mem: 777.08 MiB) 15:52:53 computing folding proof (mem: 777.08 MiB) 15:52:53 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 777.08 MiB) 15:52:54 [15:52:54.489] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 777.08 MiB) 15:52:55 [15:52:55.143] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 777.08 MiB) 15:52:55 [15:52:55.239] INFO: ivc-integration:test:native bb - perturbator round (mem: 777.08 MiB) 15:52:55 [15:52:55.316] INFO: ivc-integration:test:native bb - combiner quotient round 15:52:55 [15:52:55.317] INFO: ivc-integration:test:native bb - (mem: 785.56 MiB) 15:52:55 [15:52:55.696] INFO: ivc-integration:test:native bb - folded (mem: 785.56 MiB) 15:52:55 constructed folding proof (mem: 785.56 MiB) 15:52:55 [15:52:55.696] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 785.56 MiB) 15:52:55 Minimum required block sizes for structured trace: (mem: 785.56 MiB) 15:52:55 (mem: 785.56 MiB) 15:52:55 prove decider... (mem: 785.56 MiB) 15:52:55 [15:52:55.697] INFO: ivc-integration:test:native bb - ecc_op : 392 15:52:55 busread : 12 15:52:55 lookup : 2 15:52:55 pub_inputs : 36 15:52:55 arithmetic : 6849 15:52:55 delta_range : 2333 15:52:55 elliptic : 2 15:52:55 aux : 110 15:52:55 poseidon2_external : 2472 15:52:55 poseidon2_internal : 14081 15:52:55 overflow : 0 15:52:55 [15:52:55.841] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.56 MiB) 15:52:56 [15:52:56.052] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 785.56 MiB) 15:52:57 [15:52:57.089] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 785.56 MiB) 15:52:57 [15:52:57.213] INFO: ivc-integration:test:native bb - computed opening proof (mem: 785.56 MiB) 15:52:57 finished decider proving. (mem: 785.56 MiB) 15:52:57 [15:52:57.220] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a 15:52:57 [15:52:57.221] INFO: ivc-integration:test:native bb - (mem: 15:52:57 [15:52:57.225] INFO: ivc-integration:test:native bb - 785.56 MiB) 15:52:57 [15:52:57.284] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:52:57 [15:52:57.286] INFO: ivc-integration:test:native bb - (mem: 15:52:57 [15:52:57.287] INFO: ivc-integration:test:native bb - 785.56 15:52:57 [15:52:57.290] INFO: ivc-integration:test:native bb - MiB) 15:52:57 [15:52:57.291] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:52:57 [15:52:57.292] INFO: ivc-integration:test:native bb - (mem: 15:52:57 [15:52:57.293] INFO: ivc-integration:test:native bb - 785.56 15:52:57 [15:52:57.294] INFO: ivc-integration:test:native bb - MiB) 15:52:57 [15:52:57.369] INFO: ivc-integration:test:native bb - populating trace... (mem: 785.56 MiB) 15:52:57 [15:52:57.394] INFO: ivc-integration:test:native bb - time to construct proving key: 106 ms. 15:52:57 [15:52:57.395] INFO: ivc-integration:test:native bb - (mem: 15:52:57 [15:52:57.395] INFO: ivc-integration:test:native bb - 785.56 15:52:57 [15:52:57.396] INFO: ivc-integration:test:native bb - MiB) 15:52:57 [15:52:57.398] INFO: ivc-integration:test:native bb - 15:52:58 [15:52:58.105] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. 15:52:58 [15:52:58.107] INFO: ivc-integration:test:native bb - (mem: 785.56 MiB) 15:52:58 [15:52:58.735] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 785.56 MiB) 15:52:59 [15:52:59.444] INFO: ivc-integration:test:native bb - created oink proof (mem: 785.56 MiB) 15:52:59 [15:52:59.612] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.56 MiB) 15:53:00 [15:53:00.482] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 15:53:00 [15:53:00.483] INFO: ivc-integration:test:native bb - (mem: 15:53:00 [15:53:00.485] INFO: ivc-integration:test:native bb - 785.56 MiB) 15:53:01 [15:53:01.452] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 785.56 MiB) 15:53:01 [15:53:01.509] INFO: ivc-integration:test:native bb - computed opening proof 15:53:01 [15:53:01.510] INFO: ivc-integration:test:native bb - (mem: 785.56 MiB) 15:53:01 finished decider proving. (mem: 785.56 MiB) 15:53:01 Constructing a Goblin proof with num ultra ops = 1038 (mem: 785.56 MiB) 15:53:01 [15:53:01.753] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 785.56 MiB) 15:53:01 [15:53:01.945] 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: 785.56 MiB) 15:53:01 [15:53:01.955] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 785.56 MiB) 15:53:03 [15:53:03.735] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.56 MiB) 15:53:05 [15:53:05.743] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 15:53:05 [15:53:05.744] INFO: ivc-integration:test:native bb - (mem: 15:53:05 [15:53:05.745] INFO: ivc-integration:test:native bb - 785.56 15:53:05 [15:53:05.746] INFO: ivc-integration:test:native bb - MiB) 15:53:10 [15:53:10.804] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 785.56 MiB) 15:53:10 prove translator... (mem: 785.56 MiB) 15:53:13 [15:53:13.680] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 796.51 MiB) 15:53:15 [15:53:15.576] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 797.01 MiB) 15:53:17 [15:53:17.469] INFO: ivc-integration:test:native bb - computed opening proof (mem: 797.01 MiB) 15:53:17 [15:53:17.470] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 797.01 MiB) 15:53:17 [15:53:17.471] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 797.01 MiB) 15:53:17 [15:53:17.486] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 797.51 MiB) 15:53:17 libra_evals_verified: 1 (mem: 797.51 MiB) 15:53:17 pairing_check_verified: 1 (mem: 797.51 MiB) 15:53:17 Mega verified: 1 (mem: 797.51 MiB) 15:53:17 [15:53:17.571] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 797.51 MiB) 15:53:17 batch opening verified?: 1 (mem: 797.51 MiB) 15:53:17 eccvm consistency check verified?: 1 (mem: 797.51 MiB) 15:53:17 translation masking consistency checked?: 1 (mem: 797.51 MiB) 15:53:17 [15:53:17.599] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 797.51 MiB) 15:53:17 eccvm verified?: 1 (mem: 797.51 MiB) 15:53:17 accumulator construction_verified?: 1 (mem: 797.51 MiB) 15:53:17 translation verified?: 1 (mem: 797.51 MiB) 15:53:17 consistency verified?: 1 (mem: 797.51 MiB) 15:53:17 Goblin verified: 1 (mem: 797.51 MiB) 15:53:17 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-d7NyeR" (mem: 797.51 MiB) 15:53:17 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-d7NyeR" (mem: 797.51 MiB) 15:53:17 BN254 commitment key size: 262144 (mem: 797.51 MiB) 15:53:17 Constructing DeciderProvingKey (mem: 797.51 MiB) 15:53:17 Gate blocks summary: (actual gates / fixed capacity) (mem: 797.51 MiB) 15:53:17 goblin ecc op : 4/1024 (mem: 797.51 MiB) 15:53:17 busread : 3/6000 (mem: 797.51 MiB) 15:53:17 lookups : 2/15000 (mem: 797.51 MiB) 15:53:17 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 797.51 MiB) 15:53:17 arithmetic : 1773/56000 (mem: 797.51 MiB) 15:53:17 delta range : 1754/18000 (mem: 797.51 MiB) 15:53:17 elliptic : 2/6000 (mem: 797.51 MiB) 15:53:17 auxiliary : 26/26000 (mem: 797.51 MiB) 15:53:17 poseidon ext : 2/17000 (mem: 797.51 MiB) 15:53:17 poseidon int : 2/92000 (mem: 797.51 MiB) 15:53:17 overflow : 0/0 (mem: 797.51 MiB) 15:53:17 (mem: 797.51 MiB) 15:53:17 Total structured size: 242025 (mem: 797.51 MiB) 15:53:17 allocating polynomials object in proving key... (mem: 797.51 MiB) 15:53:17 [15:53:17.709] INFO: ivc-integration:test:native bb - populating trace... (mem: 797.51 MiB) 15:53:17 [15:53:17.750] INFO: ivc-integration:test:native bb - time to construct proving key: 152 ms. (mem: 797.51 MiB) 15:53:17 [15:53:17.787] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 15:53:17 [15:53:17.793] INFO: ivc-integration:test:native bb - (mem: 797.51 MiB) 15:53:18 [15:53:18.635] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 797.51 MiB) 15:53:18 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 797.51 MiB) 15:53:19 [15:53:19.513] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 797.51 MiB) 15:53:19 [15:53:19.884] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 797.51 MiB) 15:53:19 [15:53:19.888] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 797.51 MiB) 15:53:19 [15:53:19.897] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:53:19 [15:53:19.898] INFO: ivc-integration:test:native bb - (mem: 15:53:19 [15:53:19.901] INFO: ivc-integration:test:native bb - 797.51 MiB) 15:53:19 Gate blocks summary: (actual gates / fixed capacity) (mem: 797.51 MiB) 15:53:19 goblin ecc op : 56/1024 (mem: 797.51 MiB) 15:53:19 busread : 3/6000 (mem: 797.51 MiB) 15:53:19 lookups : 2/15000 (mem: 797.51 MiB) 15:53:19 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 797.51 MiB) 15:53:19 arithmetic : 4481/56000 (mem: 797.51 MiB) 15:53:19 delta range : 2041/18000 (mem: 797.51 MiB) 15:53:19 elliptic : 2/6000 (mem: 797.51 MiB) 15:53:19 auxiliary : 50/26000 (mem: 797.51 MiB) 15:53:19 poseidon ext : 1312/17000 (mem: 797.51 MiB) 15:53:19 poseidon int : 7469/92000 (mem: 797.51 MiB) 15:53:19 overflow : 0/0 (mem: 797.51 MiB) 15:53:19 (mem: 797.51 MiB) 15:53:19 Total structured size: 242025 (mem: 797.51 MiB) 15:53:19 allocating polynomials object in proving key... (mem: 797.51 MiB) 15:53:19 [15:53:19.967] INFO: ivc-integration:test:native bb - populating trace... (mem: 797.51 MiB) 15:53:19 [15:53:19.995] INFO: ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 797.51 MiB) 15:53:20 [15:53:20.065] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 797.51 MiB) 15:53:20 [15:53:20.812] INFO: ivc-integration:test:native bb - computing folding proof (mem: 797.51 MiB) 15:53:20 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 797.51 MiB) 15:53:21 [15:53:21.622] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 797.51 MiB) 15:53:22 [15:53:22.311] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:53:22 [15:53:22.312] INFO: ivc-integration:test:native bb - (mem: 797.51 MiB) 15:53:22 [15:53:22.394] INFO: ivc-integration:test:native bb - perturbator round (mem: 799.51 MiB) 15:53:22 [15:53:22.446] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 831.51 MiB) 15:53:22 [15:53:22.857] INFO: ivc-integration:test:native bb - folded (mem: 831.51 MiB) 15:53:22 constructed folding proof (mem: 831.51 MiB) 15:53:22 Largest circuit: 15360 gates. Trace details: (mem: 831.51 MiB) 15:53:22 Minimum required block sizes for structured trace: (mem: 831.51 MiB) 15:53:22 (mem: 831.51 MiB) 15:53:22 prove decider... (mem: 831.51 MiB) 15:53:22 [15:53:22.857] INFO: ivc-integration:test:native bb - ecc_op : 56 15:53:22 busread : 3 15:53:22 lookup : 2 15:53:22 pub_inputs : 36 15:53:22 arithmetic : 4481 15:53:22 delta_range : 2041 15:53:22 elliptic : 2 15:53:22 aux : 50 15:53:22 poseidon2_external : 1312 15:53:22 poseidon2_internal : 7469 15:53:22 overflow : 0 15:53:23 [15:53:23.006] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 831.51 MiB) 15:53:23 [15:53:23.188] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 831.51 MiB) 15:53:24 [15:53:24.177] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 831.51 MiB) 15:53:24 [15:53:24.263] INFO: ivc-integration:test:native bb - computed opening proof (mem: 831.51 MiB) 15:53:24 finished decider proving. (mem: 831.51 MiB) 15:53:24 [15:53:24.272] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 831.51 MiB) 15:53:24 [15:53:24.339] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 15:53:24 [15:53:24.340] INFO: ivc-integration:test:native bb - (mem: 15:53:24 [15:53:24.340] INFO: ivc-integration:test:native bb - 831.51 15:53:24 [15:53:24.341] INFO: ivc-integration:test:native bb - MiB) 15:53:24 [15:53:24.344] INFO: ivc-integration:test:native bb - 15:53:24 [15:53:24.345] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:53:24 [15:53:24.346] INFO: ivc-integration:test:native bb - (mem: 15:53:24 [15:53:24.346] INFO: ivc-integration:test:native bb - 831.51 15:53:24 [15:53:24.347] INFO: ivc-integration:test:native bb - MiB) 15:53:24 [15:53:24.458] INFO: ivc-integration:test:native bb - populating trace... (mem: 831.51 MiB) 15:53:24 [15:53:24.479] INFO: ivc-integration:test:native bb - time to construct proving key: 137 ms. (mem: 831.51 MiB) 15:53:25 [15:53:25.132] 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-d7NyeR/proof -k /tmp/bb-client-ivc-integration-d7NyeR/vk -v 15:53:25 [15:53:25.151] INFO: ivc-integration:test:native bb command: verify (mem: 144.30 MiB) 15:53:25 [15:53:25.154] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 64 (mem: 144.30 MiB) 15:53:25 --proof_path: /tmp/bb-client-ivc-integration-d7NyeR/proof (mem: 144.30 MiB) 15:53:25 --vk_path: /tmp/bb-client-ivc-integration-d7NyeR/vk (mem: 144.30 MiB) 15:53:25 --verbose: true (mem: 144.30 MiB) 15:53:25 --scheme: client_ivc (mem: 144.30 MiB) 15:53:25 [15:53:25.178] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 144.30 MiB) 15:53:25 [15:53:25.192] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 144.30 MiB) 15:53:25 [15:53:25.194] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 144.30 MiB) 15:53:25 [15:53:25.209] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 144.30 MiB) 15:53:25 [15:53:25.210] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 144.30 MiB) 15:53:25 [15:53:25.211] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 144.30 MiB) 15:53:25 libra_evals_verified: 1 (mem: 144.30 MiB) 15:53:25 pairing_check_verified: 1 (mem: 15:53:25 [15:53:25.211] INFO: ivc-integration:test:native 144.30 MiB) 15:53:25 Mega verified: 1 (mem: 144.30 MiB) 15:53:25 [15:53:25.292] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 144.30 MiB) 15:53:25 batch opening verified?: 1 (mem: 144.30 MiB) 15:53:25 eccvm consistency check verified?: 1 (mem: 144.30 MiB) 15:53:25 translation masking consistency checked?: 1 (mem: 144.30 MiB) 15:53:25 [15:53:25.314] INFO: ivc-integration:test:native merge verified?: 1 (mem: 144.30 MiB) 15:53:25 eccvm verified?: 1 (mem: 144.30 MiB) 15:53:25 accumulator construction_verified?: 1 (mem: 144.30 MiB) 15:53:25 translation verified?: 1 (mem: 144.30 MiB) 15:53:25 consistency verified?: 1 (mem: 144.30 MiB) 15:53:25 [15:53:25.314] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 144.30 MiB) 15:53:25 [15:53:25.323] INFO: ivc-integration:test:native verified: 1 (mem: 144.30 MiB) 15:53:25 [15:53:25.415] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-QQw9kM/ivc-inputs.msgpack 15:53:25 [15:53:25.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-QQw9kM --ivc_inputs_path /tmp/bb-client-ivc-integration-QQw9kM/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:53:25 [15:53:25.430] INFO: ivc-integration:test:native bb - bb command: prove (mem: 148.45 MiB) 15:53:25 Scheme is: client_ivc, num threads: 64 (mem: 148.45 MiB) 15:53:25 --scheme: client_ivc (mem: 148.45 MiB) 15:53:25 --output_path: /tmp/bb-client-ivc-integration-QQw9kM (mem: 148.45 MiB) 15:53:25 --ivc_inputs_path: /tmp/bb-client-ivc-integration-QQw9kM/ivc-inputs.msgpack (mem: 148.45 MiB) 15:53:25 --verbose: true (mem: 148.45 MiB) 15:53:25 --write_vk: true (mem: 148.45 MiB) 15:53:25 [15:53:25.433] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 148.45 MiB) 15:53:25 [15:53:25.471] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 194.88 MiB) 15:53:25 [15:53:25.531] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 242.89 MiB) 15:53:25 [15:53:25.532] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 242.89 MiB) 15:53:25 Constructing DeciderProvingKey (mem: 242.89 MiB) 15:53:25 [15:53:25.536] INFO: ivc-integration:test:native bb - 15:53:25 Gate blocks summary: (actual gates / fixed capacity) (mem: 242.89 MiB) 15:53:25 goblin ecc op : 4/1024 (mem: 242.89 MiB) 15:53:25 busread : 7/6000 (mem: 242.89 MiB) 15:53:25 lookups : 2/15000 (mem: 242.89 MiB) 15:53:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 242.89 MiB) 15:53:25 arithmetic : 1760/56000 (mem: 242.89 MiB) 15:53:25 delta range : 1754/18000 (mem: 242.89 MiB) 15:53:25 elliptic : 2/6000 (mem: 242.89 MiB) 15:53:25 auxiliary : 26/26000 (mem: 242.89 MiB) 15:53:25 poseidon ext : 2/17000 (mem: 242.89 MiB) 15:53:25 poseidon int : 2/92000 (mem: 242.89 MiB) 15:53:25 overflow : 0/0 (mem: 242.89 MiB) 15:53:25 (mem: 242.89 MiB) 15:53:25 Total structured size: 242025 (mem: 242.89 MiB) 15:53:25 allocating polynomials object in proving key... (mem: 242.89 MiB) 15:53:25 [15:53:25.692] INFO: ivc-integration:test:native bb - populating trace... (mem: 453.45 MiB) 15:53:25 [15:53:25.711] INFO: ivc-integration:test:native bb - time to construct proving key: 178 ms. (mem: 468.45 MiB) 15:53:25 [15:53:25.772] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xba50add06c40 (mem: 468.45 MiB) 15:53:25 [15:53:25.773] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 468.45 MiB) 15:53:25 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 468.45 MiB) 15:53:26 [15:53:26.582] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 468.95 MiB) 15:53:26 [15:53:26.793] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 477.95 MiB) 15:53:26 [15:53:26.795] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 478.45 MiB) 15:53:26 [15:53:26.808] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 15:53:26 [15:53:26.810] INFO: ivc-integration:test:native bb - (mem: 478.45 MiB) 15:53:26 Constructing DeciderProvingKey (mem: 478.45 MiB) 15:53:26 [15:53:26.812] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 478.45 MiB) 15:53:26 goblin ecc op : 56/1024 (mem: 478.45 MiB) 15:53:26 busread : 12/6000 (mem: 478.45 MiB) 15:53:26 lookups : 2/15000 (mem: 478.45 MiB) 15:53:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 478.45 MiB) 15:53:26 [15:53:26.813] INFO: ivc-integration:test:native bb - arithmetic : 4625/56000 (mem: 478.45 MiB) 15:53:26 delta range : 2054/18000 (mem: 478.45 MiB) 15:53:26 elliptic : 2/6000 (mem: 478.45 MiB) 15:53:26 auxiliary : 110/26000 (mem: 478.45 MiB) 15:53:26 poseidon ext : 1302/17000 (mem: 478.45 MiB) 15:53:26 poseidon int : 7412/92000 (mem: 478.45 MiB) 15:53:26 overflow : 0/0 (mem: 478.45 MiB) 15:53:26 (mem: 478.45 MiB) 15:53:26 Total structured size: 242025 (mem: 478.45 MiB) 15:53:26 allocating polynomials object in proving key... (mem: 478.45 MiB) 15:53:26 [15:53:26.962] INFO: ivc-integration:test:native bb - populating trace... (mem: 691.45 MiB) 15:53:26 [15:53:26.994] INFO: ivc-integration:test:native bb - time to construct proving key: 181 ms. (mem: 707.95 MiB) 15:53:27 [15:53:27.083] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xba50add10240 (mem: 707.95 MiB) 15:53:27 computing folding proof (mem: 707.95 MiB) 15:53:27 [15:53:27.083] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 707.95 MiB) 15:53:27 [15:53:27.784] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d 15:53:27 [15:53:27.784] INFO: ivc-integration:test:native bb - (mem: 15:53:27 [15:53:27.785] INFO: ivc-integration:test:native bb - 707.95 15:53:27 [15:53:27.785] INFO: ivc-integration:test:native bb - MiB) 15:53:28 [15:53:28.243] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 711.95 MiB) 15:53:28 [15:53:28.301] INFO: ivc-integration:test:native bb - perturbator round (mem: 745.45 MiB) 15:53:28 [15:53:28.349] INFO: ivc-integration:test:native bb - combiner quotient round 15:53:28 [15:53:28.350] INFO: ivc-integration:test:native bb - (mem: 777.45 MiB) 15:53:28 [15:53:28.581] INFO: ivc-integration:test:native bb - folded (mem: 777.45 MiB) 15:53:28 constructed folding proof (mem: 777.45 MiB) 15:53:28 [15:53:28.583] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 777.45 MiB) 15:53:28 Constructing DeciderProvingKey (mem: 777.45 MiB) 15:53:28 [15:53:28.585] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 777.45 MiB) 15:53:28 goblin ecc op : 4/1024 (mem: 777.45 MiB) 15:53:28 busread : 7/6000 (mem: 777.45 MiB) 15:53:28 lookups : 2/15000 (mem: 777.45 MiB) 15:53:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 777.45 MiB) 15:53:28 arithmetic : 1760/56000 (mem: 777.45 MiB) 15:53:28 delta range : 1754/18000 (mem: 777.45 MiB) 15:53:28 elliptic : 2/6000 (mem: 777.45 MiB) 15:53:28 auxiliary : 26/26000 (mem: 777.45 MiB) 15:53:28 poseidon ext : 2/17000 (mem: 777.45 MiB) 15:53:28 poseidon int : 2/92000 (mem: 777.45 MiB) 15:53:28 overflow : 0/0 (mem: 777.45 MiB) 15:53:28 (mem: 777.45 MiB) 15:53:28 Total structured size: 242025 (mem: 777.45 MiB) 15:53:28 allocating polynomials object in proving key... (mem: 777.45 MiB) 15:53:28 [15:53:28.651] INFO: ivc-integration:test:native bb - populating trace... (mem: 777.45 MiB) 15:53:28 [15:53:28.660] INFO: ivc-integration:test:native bb - time to construct proving key: 77 ms. (mem: 777.45 MiB) 15:53:28 [15:53:28.744] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xba50add07480 (mem: 777.45 MiB) 15:53:28 computing folding proof (mem: 777.45 MiB) 15:53:28 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 777.45 MiB) 15:53:29 [15:53:29.477] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 777.45 MiB) 15:53:29 [15:53:29.769] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:53:29 [15:53:29.769] INFO: ivc-integration:test:native bb - (mem: 15:53:29 [15:53:29.770] INFO: ivc-integration:test:native bb - 777.45 MiB) 15:53:29 [15:53:29.839] INFO: ivc-integration:test:native bb - perturbator round (mem: 777.45 MiB) 15:53:29 [15:53:29.900] INFO: ivc-integration:test:native bb - combiner quotient round 15:53:29 [15:53:29.901] INFO: ivc-integration:test:native bb - (mem: 15:53:29 [15:53:29.901] INFO: ivc-integration:test:native bb - 777.88 15:53:29 [15:53:29.901] INFO: ivc-integration:test:native bb - MiB) 15:53:29 [15:53:29.902] INFO: ivc-integration:test:native bb - 15:53:30 [15:53:30.133] INFO: ivc-integration:test:native bb - folded (mem: 777.88 MiB) 15:53:30 constructed folding proof (mem: 777.88 MiB) 15:53:30 [15:53:30.138] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 777.88 MiB) 15:53:30 [15:53:30.177] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 15:53:30 [15:53:30.181] INFO: ivc-integration:test:native bb - (mem: 777.88 MiB) 15:53:30 [15:53:30.222] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 15:53:30 [15:53:30.223] INFO: ivc-integration:test:native bb - (mem: 15:53:30 [15:53:30.224] INFO: ivc-integration:test:native bb - 777.88 15:53:30 [15:53:30.224] INFO: ivc-integration:test:native bb - MiB) 15:53:30 [15:53:30.227] INFO: ivc-integration:test:native bb - 15:53:30 Constructing DeciderProvingKey (mem: 777.88 MiB) 15:53:30 [15:53:30.228] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 777.88 MiB) 15:53:30 [15:53:30.229] INFO: ivc-integration:test:native bb - goblin ecc op : 792/1024 (mem: 777.88 MiB) 15:53:30 busread : 12/6000 (mem: 777.88 MiB) 15:53:30 lookups : 2/15000 (mem: 777.88 MiB) 15:53:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 777.88 MiB) 15:53:30 arithmetic : 12080/56000 (mem: 777.88 MiB) 15:53:30 delta range : 2942/18000 (mem: 777.88 MiB) 15:53:30 elliptic : 2/6000 (mem: 777.88 MiB) 15:53:30 auxiliary : 350/26000 (mem: 777.88 MiB) 15:53:30 poseidon ext : 4942/17000 (mem: 777.88 MiB) 15:53:30 poseidon int : 28160/92000 (mem: 777.88 MiB) 15:53:30 overflow : 0/0 (mem: 777.88 MiB) 15:53:30 (mem: 777.88 MiB) 15:53:30 Total structured size: 242025 (mem: 777.88 MiB) 15:53:30 allocating polynomials object in proving key... (mem: 777.88 MiB) 15:53:30 [15:53:30.291] INFO: ivc-integration:test:native bb - populating trace... (mem: 777.88 MiB) 15:53:30 [15:53:30.320] INFO: ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 777.88 MiB) 15:53:30 [15:53:30.448] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xba50add00300 (mem: 777.88 MiB) 15:53:30 computing folding proof (mem: 777.88 MiB) 15:53:30 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 777.88 MiB) 15:53:31 [15:53:31.122] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 777.88 MiB) 15:53:31 [15:53:31.536] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:53:31 [15:53:31.537] INFO: ivc-integration:test:native bb - (mem: 777.88 MiB) 15:53:31 [15:53:31.625] INFO: ivc-integration:test:native bb - perturbator round (mem: 777.88 MiB) 15:53:31 [15:53:31.700] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 804.96 MiB) 15:53:32 [15:53:32.031] INFO: ivc-integration:test:native bb - folded (mem: 804.96 MiB) 15:53:32 constructed folding proof (mem: 804.96 MiB) 15:53:32 [15:53:32.035] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 804.96 MiB) 15:53:32 [15:53:32.076] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 804.96 MiB) 15:53:32 Constructing DeciderProvingKey (mem: 804.96 MiB) 15:53:32 [15:53:32.079] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 804.96 MiB) 15:53:32 goblin ecc op : 392/1024 (mem: 804.96 MiB) 15:53:32 busread : 16/6000 (mem: 804.96 MiB) 15:53:32 lookups : 2/15000 (mem: 804.96 MiB) 15:53:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 804.96 MiB) 15:53:32 arithmetic : 6914/56000 (mem: 804.96 MiB) 15:53:32 [15:53:32.081] INFO: ivc-integration:test:native bb - 15:53:32 delta range : 2347/18000 (mem: 804.96 MiB) 15:53:32 elliptic : 2/6000 (mem: 804.96 MiB) 15:53:32 auxiliary : 77/26000 (mem: 804.96 MiB) 15:53:32 poseidon ext : 2472/17000 (mem: 804.96 MiB) 15:53:32 poseidon int : 14081/92000 (mem: 804.96 MiB) 15:53:32 overflow : 0/0 (mem: 804.96 MiB) 15:53:32 (mem: 804.96 MiB) 15:53:32 Total structured size: 242025 (mem: 804.96 MiB) 15:53:32 allocating polynomials object in proving key... (mem: 804.96 MiB) 15:53:32 [15:53:32.152] INFO: ivc-integration:test:native bb - populating trace... (mem: 804.96 MiB) 15:53:32 [15:53:32.166] INFO: ivc-integration:test:native bb - time to construct proving key: 89 ms. (mem: 804.96 MiB) 15:53:32 [15:53:32.380] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xba50add828c0 (mem: 804.96 MiB) 15:53:32 computing folding proof (mem: 804.96 MiB) 15:53:32 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 804.96 MiB) 15:53:33 [15:53:33.195] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 15:53:33 [15:53:33.196] INFO: ivc-integration:test:native bb - (mem: 15:53:33 [15:53:33.197] INFO: ivc-integration:test:native bb - 804.96 MiB) 15:53:33 [15:53:33.743] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 804.96 MiB) 15:53:33 [15:53:33.861] INFO: ivc-integration:test:native bb - perturbator round (mem: 804.96 MiB) 15:53:33 [15:53:33.939] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 805.39 MiB) 15:53:34 [15:53:34.392] INFO: ivc-integration:test:native bb - folded (mem: 805.39 MiB) 15:53:34 constructed folding proof (mem: 805.39 MiB) 15:53:34 [15:53:34.393] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 805.39 MiB) 15:53:34 [15:53:34.436] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 15:53:34 [15:53:34.437] INFO: ivc-integration:test:native bb - (mem: 805.39 MiB) 15:53:34 Constructing DeciderProvingKey (mem: 805.39 MiB) 15:53:34 [15:53:34.441] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 805.39 MiB) 15:53:34 goblin ecc op : 392/1024 (mem: 805.39 MiB) 15:53:34 busread : 3/6000 (mem: 805.39 MiB) 15:53:34 lookups : 2/15000 (mem: 805.39 MiB) 15:53:34 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 805.39 MiB) 15:53:34 arithmetic : 6849/56000 (mem: 805.39 MiB) 15:53:34 delta range : 2333/18000 (mem: 805.39 MiB) 15:53:34 elliptic : 2/6000 (mem: 805.39 MiB) 15:53:34 auxiliary : 50/26000 (mem: 805.39 MiB) 15:53:34 poseidon ext : 2472/17000 (mem: 805.39 MiB) 15:53:34 poseidon int : 14081/92000 (mem: 805.39 MiB) 15:53:34 overflow : 0/0 (mem: 805.39 MiB) 15:53:34 (mem: 805.39 MiB) 15:53:34 Total structured size: 242025 (mem: 805.39 MiB) 15:53:34 allocating polynomials object in proving key... (mem: 805.39 MiB) 15:53:34 [15:53:34.539] INFO: ivc-integration:test:native bb - populating trace... (mem: 805.39 MiB) 15:53:34 [15:53:34.554] INFO: ivc-integration:test:native bb - time to construct proving key: 117 ms. (mem: 805.39 MiB) 15:53:34 [15:53:34.694] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0xba50add07cc0 15:53:34 [15:53:34.694] INFO: ivc-integration:test:native bb - (mem: 15:53:34 [15:53:34.695] INFO: ivc-integration:test:native bb - 805.39 MiB) 15:53:34 computing folding proof (mem: 805.39 MiB) 15:53:34 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 805.39 MiB) 15:53:35 [15:53:35.317] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 805.39 MiB) 15:53:35 [15:53:35.695] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 805.39 MiB) 15:53:35 [15:53:35.741] INFO: ivc-integration:test:native bb - perturbator round (mem: 805.39 MiB) 15:53:35 [15:53:35.789] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 805.39 MiB) 15:53:35 [15:53:35.958] INFO: ivc-integration:test:native bb - folded (mem: 805.39 MiB) 15:53:35 constructed folding proof (mem: 805.39 MiB) 15:53:35 [15:53:35.964] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 805.39 MiB) 15:53:35 Minimum required block sizes for structured trace: (mem: 805.39 MiB) 15:53:35 (mem: 805.39 MiB) 15:53:35 prove decider... (mem: 805.39 MiB) 15:53:35 [15:53:35.965] INFO: ivc-integration:test:native bb - ecc_op : 792 15:53:35 busread : 16 15:53:35 lookup : 2 15:53:35 pub_inputs : 36 15:53:35 arithmetic : 12080 15:53:35 delta_range : 2942 15:53:35 elliptic : 2 15:53:35 aux : 350 15:53:35 poseidon2_external : 4942 15:53:35 poseidon2_internal : 28160 15:53:35 overflow : 0 15:53:36 [15:53:36.081] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 805.39 MiB) 15:53:36 [15:53:36.187] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 805.39 MiB) 15:53:36 [15:53:36.695] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 805.39 MiB) 15:53:36 [15:53:36.768] INFO: ivc-integration:test:native bb - computed opening proof (mem: 805.39 MiB) 15:53:36 finished decider proving. (mem: 805.39 MiB) 15:53:36 [15:53:36.777] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 805.39 MiB) 15:53:36 [15:53:36.839] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 805.39 MiB) 15:53:36 [15:53:36.842] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 15:53:36 [15:53:36.842] INFO: ivc-integration:test:native bb - (mem: 15:53:36 [15:53:36.843] INFO: ivc-integration:test:native bb - 805.39 MiB) 15:53:36 [15:53:36.928] INFO: ivc-integration:test:native bb - populating trace... (mem: 805.39 MiB) 15:53:36 [15:53:36.965] INFO: ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 805.39 MiB) 15:53:37 [15:53:37.335] INFO: ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 805.39 MiB) 15:53:37 [15:53:37.670] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 805.39 MiB) 15:53:38 [15:53:38.146] INFO: ivc-integration:test:native bb - created oink proof (mem: 805.39 MiB) 15:53:38 [15:53:38.228] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 15:53:38 [15:53:38.229] INFO: ivc-integration:test:native bb - (mem: 805.39 MiB) 15:53:38 [15:53:38.699] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 805.39 MiB) 15:53:39 [15:53:39.245] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 805.39 MiB) 15:53:39 [15:53:39.287] INFO: ivc-integration:test:native bb - computed opening proof (mem: 805.39 MiB) 15:53:39 finished decider proving. (mem: 805.39 MiB) 15:53:39 [15:53:39.287] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 805.39 MiB) 15:53:39 [15:53:39.442] INFO: ivc-integration:test:native bb - prove eccvm... 15:53:39 [15:53:39.444] INFO: ivc-integration:test:native bb - (mem: 805.39 MiB) 15:53:39 [15:53:39.602] 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: 805.39 MiB) 15:53:39 [15:53:39.612] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 805.39 MiB) 15:53:40 [15:53:40.656] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 805.39 MiB) 15:53:41 [15:53:41.688] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 805.39 MiB) 15:53:44 [15:53:44.108] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 805.39 MiB) 15:53:44 prove translator... (mem: 805.39 MiB) 15:53:45 [15:53:45.737] INFO: ivc-integration:test:native bb - starting sumcheck rounds... 15:53:45 [15:53:45.737] INFO: ivc-integration:test:native bb - (mem: 15:53:45 [15:53:45.738] INFO: ivc-integration:test:native bb - 819.30 MiB) 15:53:46 [15:53:46.498] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck 15:53:46 [15:53:46.499] INFO: ivc-integration:test:native bb - (mem: 819.30 MiB) 15:53:47 [15:53:47.387] INFO: ivc-integration:test:native bb - computed opening proof (mem: 819.30 MiB) 15:53:47 [15:53:47.388] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 819.30 MiB) 15:53:47 [15:53:47.390] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 819.30 MiB) 15:53:47 [15:53:47.405] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 819.80 MiB) 15:53:47 libra_evals_verified: 1 (mem: 819.80 MiB) 15:53:47 pairing_check_verified: 1 (mem: 819.80 MiB) 15:53:47 Mega verified: 1 (mem: 819.80 MiB) 15:53:47 [15:53:47.465] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 819.80 MiB) 15:53:47 batch opening verified?: 1 (mem: 819.80 MiB) 15:53:47 eccvm consistency check verified?: 1 (mem: 819.80 MiB) 15:53:47 translation masking consistency checked?: 1 (mem: 819.80 MiB) 15:53:47 [15:53:47.485] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 819.80 MiB) 15:53:47 eccvm verified?: 1 (mem: 819.80 MiB) 15:53:47 accumulator construction_verified?: 1 (mem: 819.80 MiB) 15:53:47 translation verified?: 1 (mem: 819.80 MiB) 15:53:47 consistency verified?: 1 (mem: 819.80 MiB) 15:53:47 Goblin verified: 1 (mem: 819.80 MiB) 15:53:47 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-QQw9kM" (mem: 819.80 MiB) 15:53:47 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-QQw9kM" (mem: 819.80 MiB) 15:53:47 BN254 commitment key size: 262144 (mem: 819.80 MiB) 15:53:47 [15:53:47.486] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 819.80 MiB) 15:53:47 [15:53:47.487] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.80 MiB) 15:53:47 goblin ecc op : 4/1024 (mem: 819.80 MiB) 15:53:47 [15:53:47.488] INFO: ivc-integration:test:native bb - busread : 3/6000 (mem: 819.80 MiB) 15:53:47 lookups : 2/15000 (mem: 819.80 MiB) 15:53:47 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 819.80 MiB) 15:53:47 arithmetic : 1773/56000 (mem: 819.80 MiB) 15:53:47 delta range : 1754/18000 (mem: 819.80 MiB) 15:53:47 elliptic : 2/6000 (mem: 819.80 MiB) 15:53:47 auxiliary : 26/26000 (mem: 819.80 MiB) 15:53:47 poseidon ext : 2/17000 (mem: 819.80 MiB) 15:53:47 poseidon int : 2/92000 (mem: 819.80 MiB) 15:53:47 overflow : 0/0 (mem: 819.80 MiB) 15:53:47 (mem: 819.80 MiB) 15:53:47 Total structured size: 242025 (mem: 819.80 MiB) 15:53:47 allocating polynomials object in proving key... (mem: 819.80 MiB) 15:53:47 [15:53:47.517] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.80 MiB) 15:53:47 [15:53:47.524] INFO: ivc-integration:test:native bb - time to construct proving key: 38 ms. (mem: 819.80 MiB) 15:53:47 [15:53:47.531] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 819.80 MiB) 15:53:48 [15:53:48.035] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 819.80 MiB) 15:53:48 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 819.80 MiB) 15:53:48 [15:53:48.591] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c 15:53:48 [15:53:48.592] INFO: ivc-integration:test:native bb - (mem: 819.80 MiB) 15:53:48 [15:53:48.747] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 819.80 MiB) 15:53:48 [15:53:48.750] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 819.80 MiB) 15:53:48 [15:53:48.758] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 819.80 MiB) 15:53:48 [15:53:48.760] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.80 MiB) 15:53:48 goblin ecc op : 56/1024 15:53:48 [15:53:48.760] INFO: ivc-integration:test:native bb - (mem: 819.80 MiB) 15:53:48 busread : 3/6000 (mem: 819.80 MiB) 15:53:48 lookups : 2/15000 (mem: 819.80 MiB) 15:53:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 819.80 MiB) 15:53:48 arithmetic : 4481/56000 (mem: 819.80 MiB) 15:53:48 delta range : 2041/18000 (mem: 819.80 MiB) 15:53:48 elliptic : 2/6000 (mem: 819.80 MiB) 15:53:48 auxiliary : 50/26000 (mem: 819.80 MiB) 15:53:48 poseidon ext : 1312/17000 (mem: 819.80 MiB) 15:53:48 poseidon int : 7469/92000 (mem: 819.80 MiB) 15:53:48 overflow : 0/0 (mem: 819.80 MiB) 15:53:48 (mem: 819.80 MiB) 15:53:48 Total structured size: 242025 (mem: 819.80 MiB) 15:53:48 allocating polynomials object in proving key... (mem: 819.80 MiB) 15:53:48 [15:53:48.801] INFO: ivc-integration:test:native bb - populating trace... (mem: 819.80 MiB) 15:53:48 [15:53:48.819] INFO: ivc-integration:test:native bb - time to construct proving key: 60 ms. (mem: 819.80 MiB) 15:53:48 [15:53:48.840] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 819.80 MiB) 15:53:49 [15:53:49.267] INFO: ivc-integration:test:native bb - computing folding proof (mem: 819.80 MiB) 15:53:49 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 819.80 MiB) 15:53:49 [15:53:49.675] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 819.80 MiB) 15:53:49 [15:53:49.925] INFO: ivc-integration:test:native bb - oink prover on each incomplete key 15:53:49 [15:53:49.927] INFO: ivc-integration:test:native bb - (mem: 819.80 MiB) 15:53:49 [15:53:49.972] INFO: ivc-integration:test:native bb - perturbator round (mem: 819.80 MiB) 15:53:50 [15:53:50.016] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 851.80 MiB) 15:53:50 [15:53:50.143] INFO: ivc-integration:test:native bb - folded (mem: 851.80 MiB) 15:53:50 constructed folding proof (mem: 851.80 MiB) 15:53:50 [15:53:50.147] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 851.80 MiB) 15:53:50 Minimum required block sizes for structured trace: (mem: 851.80 MiB) 15:53:50 (mem: 851.80 MiB) 15:53:50 prove decider... (mem: 851.80 MiB) 15:53:50 [15:53:50.148] INFO: ivc-integration:test:native bb - ecc_op : 56 15:53:50 busread : 3 15:53:50 lookup : 2 15:53:50 pub_inputs : 36 15:53:50 arithmetic : 4481 15:53:50 delta_range : 2041 15:53:50 elliptic : 2 15:53:50 aux : 50 15:53:50 poseidon2_external : 1312 15:53:50 poseidon2_internal : 7469 15:53:50 overflow : 0 15:53:50 [15:53:50.205] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.80 MiB) 15:53:50 [15:53:50.289] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.80 MiB) 15:53:50 [15:53:50.704] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.80 MiB) 15:53:50 [15:53:50.773] INFO: ivc-integration:test:native bb - computed opening proof (mem: 851.80 MiB) 15:53:50 finished decider proving. (mem: 851.80 MiB) 15:53:50 [15:53:50.780] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 851.80 MiB) 15:53:50 [15:53:50.840] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.80 MiB) 15:53:50 [15:53:50.846] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 851.80 MiB) 15:53:50 [15:53:50.868] INFO: ivc-integration:test:native bb - populating trace... (mem: 851.80 MiB) 15:53:50 [15:53:50.887] INFO: ivc-integration:test:native bb - time to construct proving key: 45 ms. (mem: 851.80 MiB) 15:53:51 [15:53:51.150] 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-QQw9kM/proof -k /tmp/bb-client-ivc-integration-QQw9kM/vk -v 15:53:51 [15:53:51.162] INFO: ivc-integration:test:native bb command: verify (mem: 153.04 MiB) 15:53:51 Scheme is: client_ivc, num threads: 64 (mem: 153.04 MiB) 15:53:51 --proof_path: /tmp/bb-client-ivc-integration-QQw9kM/proof (mem: 153.04 MiB) 15:53:51 --vk_path: /tmp/bb-client-ivc-integration-QQw9kM/vk (mem: 153.04 MiB) 15:53:51 --verbose: true (mem: 153.04 MiB) 15:53:51 --scheme: client_ivc (mem: 153.04 MiB) 15:53:51 [15:53:51.188] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 153.04 MiB) 15:53:51 [15:53:51.203] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 153.04 MiB) 15:53:51 [15:53:51.204] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 153.04 MiB) 15:53:51 [15:53:51.221] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 153.04 MiB) 15:53:51 [15:53:51.221] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 153.04 MiB) 15:53:51 [15:53:51.222] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 153.04 MiB) 15:53:51 libra_evals_verified: 1 (mem: 153.04 MiB) 15:53:51 pairing_check_verified: 1 (mem: 153.04 MiB) 15:53:51 [15:53:51.222] INFO: ivc-integration:test:native Mega verified: 1 (mem: 153.04 MiB) 15:53:51 [15:53:51.290] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 153.04 MiB) 15:53:51 batch opening verified?: 1 (mem: 153.04 MiB) 15:53:51 eccvm consistency check verified?: 1 (mem: 153.04 MiB) 15:53:51 translation masking consistency checked?: 1 (mem: 153.04 MiB) 15:53:51 [15:53:51.310] INFO: ivc-integration:test:native merge verified?: 1 (mem: 153.04 MiB) 15:53:51 eccvm verified?: 1 (mem: 153.04 MiB) 15:53:51 accumulator construction_verified?: 1 (mem: 153.04 MiB) 15:53:51 translation verified?: 1 (mem: 153.04 MiB) 15:53:51 consistency verified?: 1 (mem: 153.04 MiB) 15:53:51 Goblin verified: 1 (mem: 153.04 MiB) 15:53:51 [15:53:51.312] INFO: ivc-integration:test:native verified: 1 (mem: 153.04 MiB) 15:53:51 PASS src/native_client_ivc_integration.test.ts (64.151 s) 15:53:51 Client IVC Integration 15:53:51 Should generate a verifiable client IVC proof from a simple mock tx (35856 ms) 15:53:51 Should generate a verifiable client IVC proof from a complex mock tx (25991 ms) 15:53:51 15:53:51 Test Suites: 1 passed, 1 total 15:53:51 Tests: 2 passed, 2 total 15:53:51 Snapshots: 0 total 15:53:51 Time: 64.218 s 15:53:51 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 15:53:51 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?