ACI ·

Parent Log: http://ci.aztec-labs.com/85053317e22df949 Command: e64362a187b98198: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/082468f0c1e7e5424b3654b5be0f3560eed7e487 Env: REF_NAME=gh-readonly-queue/next/pr-15001-a907d3a9f40aa473deec5c77c658a80089184fa8 CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Thu Jun 12 11:16:10 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15001_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 11:16:14 [11:16:14.808] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-JsV3Dg/ivc-inputs.msgpack 11:16:14 [11:16:14.814] 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-JsV3Dg --ivc_inputs_path /tmp/bb-client-ivc-integration-JsV3Dg/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:16:14 [11:16:14.833] INFO: ivc-integration:test:native bb - bb command: prove (mem: 156.23 MiB) 11:16:14 [11:16:14.834] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 156.23 MiB) 11:16:14 --scheme: client_ivc (mem: 156.23 MiB) 11:16:14 --output_path: /tmp/bb-client-ivc-integration-JsV3Dg (mem: 156.23 MiB) 11:16:14 --ivc_inputs_path: /tmp/bb-client-ivc-integration-JsV3Dg/ivc-inputs.msgpack (mem: 156.23 MiB) 11:16:14 --verbose: true (mem: 156.23 MiB) 11:16:14 --write_vk: true (mem: 156.23 MiB) 11:16:14 BN254 commitment key size: 262144 (mem: 156.23 MiB) 11:16:14 [11:16:14.930] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.00 MiB) 11:16:15 [11:16:15.008] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 300.91 MiB) 11:16:15 [11:16:15.013] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 300.91 MiB) 11:16:15 Constructing DeciderProvingKey (mem: 300.91 MiB) 11:16:15 [11:16:15.017] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 300.91 MiB) 11:16:15 goblin ecc op : 4/1024 (mem: 300.91 MiB) 11:16:15 busread : 7/6000 (mem: 300.91 MiB) 11:16:15 lookups : 2/15000 (mem: 300.91 MiB) 11:16:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 300.91 MiB) 11:16:15 [11:16:15.019] INFO: ivc-integration:test:native bb - arithmetic : 1760/56000 (mem: 300.91 MiB) 11:16:15 delta range : 1754/18000 (mem: 300.91 MiB) 11:16:15 elliptic : 2/6000 (mem: 300.91 MiB) 11:16:15 auxiliary : 26/26000 (mem: 300.91 MiB) 11:16:15 poseidon ext : 2/17000 (mem: 300.91 MiB) 11:16:15 poseidon int : 2/92000 (mem: 300.91 MiB) 11:16:15 overflow : 0/0 (mem: 300.91 MiB) 11:16:15 (mem: 300.91 MiB) 11:16:15 Total structured size: 242025 (mem: 300.91 MiB) 11:16:15 allocating polynomials object in proving key... (mem: 300.91 MiB) 11:16:15 [11:16:15.104] INFO: ivc-integration:test:native bb - populating trace... (mem: 496.07 MiB) 11:16:15 [11:16:15.120] INFO: ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 512.07 MiB) 11:16:15 [11:16:15.171] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x588c5fa63f00 (mem: 512.07 MiB) 11:16:15 [11:16:15.174] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 512.07 MiB) 11:16:15 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 512.07 MiB) 11:16:15 [11:16:15.704] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.07 MiB) 11:16:15 [11:16:15.951] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 523.07 MiB) 11:16:15 [11:16:15.962] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.07 MiB) 11:16:15 [11:16:15.977] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.07 MiB) 11:16:15 Constructing DeciderProvingKey (mem: 524.07 MiB) 11:16:15 [11:16:15.981] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.07 MiB) 11:16:15 goblin ecc op : 56/1024 (mem: 524.07 MiB) 11:16:15 busread : 12/6000 (mem: 524.07 MiB) 11:16:15 lookups : 2/15000 (mem: 524.07 MiB) 11:16:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.07 MiB) 11:16:15 arithmetic : 4625/56000 (mem: 524.07 MiB) 11:16:15 delta range : 2054/18000 (mem: 524.07 MiB) 11:16:15 elliptic : 2/6000 (mem: 524.07 MiB) 11:16:15 auxiliary : 110/26000 (mem: 524.07 MiB) 11:16:15 poseidon ext : 1302/17000 (mem: 524.07 MiB) 11:16:15 poseidon int : 7412/92000 (mem: 524.07 MiB) 11:16:15 overflow : 0/0 (mem: 524.07 MiB) 11:16:15 (mem: 524.07 MiB) 11:16:15 Total structured size: 242025 (mem: 524.07 MiB) 11:16:15 allocating polynomials object in proving key... (mem: 524.07 MiB) 11:16:16 [11:16:16.080] INFO: ivc-integration:test:native bb - populating trace... (mem: 728.07 MiB) 11:16:16 [11:16:16.105] INFO: ivc-integration:test:native bb - time to construct proving key: 127 ms. (mem: 742.07 MiB) 11:16:16 [11:16:16.181] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x588c5fa70b80 (mem: 742.07 MiB) 11:16:16 [11:16:16.182] INFO: ivc-integration:test:native bb - computing folding proof (mem: 742.07 MiB) 11:16:16 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 742.07 MiB) 11:16:16 [11:16:16.765] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 742.07 MiB) 11:16:17 [11:16:17.422] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.07 MiB) 11:16:17 [11:16:17.541] INFO: ivc-integration:test:native bb - perturbator round (mem: 778.07 MiB) 11:16:17 [11:16:17.612] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 810.07 MiB) 11:16:18 [11:16:18.085] INFO: ivc-integration:test:native bb - folded (mem: 810.07 MiB) 11:16:18 constructed folding proof (mem: 810.07 MiB) 11:16:18 [11:16:18.104] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 810.07 MiB) 11:16:18 [11:16:18.171] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 810.07 MiB) 11:16:18 Constructing DeciderProvingKey (mem: 810.07 MiB) 11:16:18 [11:16:18.175] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 810.07 MiB) 11:16:18 goblin ecc op : 392/1024 (mem: 810.07 MiB) 11:16:18 busread : 3/6000 (mem: 810.07 MiB) 11:16:18 lookups : 2/15000 (mem: 810.07 MiB) 11:16:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 810.07 MiB) 11:16:18 arithmetic : 6849/56000 (mem: 810.07 MiB) 11:16:18 delta range : 2333/18000 (mem: 810.07 MiB) 11:16:18 elliptic : 2/6000 (mem: 810.07 MiB) 11:16:18 auxiliary : 50/26000 (mem: 810.07 MiB) 11:16:18 poseidon ext : 2472/17000 (mem: 810.07 MiB) 11:16:18 poseidon int : 14081/92000 (mem: 810.07 MiB) 11:16:18 overflow : 0/0 (mem: 810.07 MiB) 11:16:18 (mem: 810.07 MiB) 11:16:18 Total structured size: 242025 (mem: 810.07 MiB) 11:16:18 allocating polynomials object in proving key... (mem: 810.07 MiB) 11:16:18 [11:16:18.265] INFO: ivc-integration:test:native bb - populating trace... (mem: 810.07 MiB) 11:16:18 [11:16:18.300] INFO: ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 810.07 MiB) 11:16:18 [11:16:18.417] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x588c5fa66540 (mem: 810.07 MiB) 11:16:18 computing folding proof (mem: 810.07 MiB) 11:16:18 [11:16:18.418] 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: 810.07 MiB) 11:16:19 [11:16:19.044] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 810.07 MiB) 11:16:19 [11:16:19.583] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 810.07 MiB) 11:16:19 [11:16:19.712] INFO: ivc-integration:test:native bb - perturbator round (mem: 810.07 MiB) 11:16:19 [11:16:19.776] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 821.43 MiB) 11:16:20 [11:16:20.083] INFO: ivc-integration:test:native bb - folded (mem: 821.43 MiB) 11:16:20 constructed folding proof (mem: 821.43 MiB) 11:16:20 [11:16:20.085] INFO: ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 821.43 MiB) 11:16:20 Minimum required block sizes for structured trace: (mem: 821.43 MiB) 11:16:20 (mem: 821.43 MiB) 11:16:20 prove decider... (mem: 821.43 MiB) 11:16:20 [11:16:20.089] INFO: ivc-integration:test:native bb - ecc_op : 392 11:16:20 busread : 12 11:16:20 lookup : 2 11:16:20 pub_inputs : 36 11:16:20 arithmetic : 6849 11:16:20 delta_range : 2333 11:16:20 elliptic : 2 11:16:20 aux : 110 11:16:20 poseidon2_external : 2472 11:16:20 poseidon2_internal : 14081 11:16:20 overflow : 0 11:16:20 [11:16:20.341] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.43 MiB) 11:16:20 [11:16:20.487] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 821.43 MiB) 11:16:21 [11:16:21.662] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 821.43 MiB) 11:16:21 [11:16:21.750] INFO: ivc-integration:test:native bb - computed opening proof (mem: 821.43 MiB) 11:16:21 finished decider proving. (mem: 821.43 MiB) 11:16:21 [11:16:21.769] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 821.43 MiB) 11:16:21 [11:16:21.870] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 11:16:21 [11:16:21.871] INFO: ivc-integration:test:native bb - (mem: 11:16:21 [11:16:21.872] INFO: ivc-integration:test:native bb - 821.43 11:16:21 [11:16:21.874] INFO: ivc-integration:test:native bb - MiB) 11:16:21 [11:16:21.879] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 11:16:21 [11:16:21.881] INFO: ivc-integration:test:native bb - (mem: 821.43 MiB) 11:16:22 [11:16:22.168] INFO: ivc-integration:test:native bb - populating trace... (mem: 821.43 MiB) 11:16:22 [11:16:22.223] INFO: ivc-integration:test:native bb - time to construct proving key: 349 ms. (mem: 821.43 MiB) 11:16:22 [11:16:22.814] 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. 11:16:22 [11:16:22.815] INFO: ivc-integration:test:native bb - (mem: 821.43 MiB) 11:16:23 [11:16:23.367] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 821.43 MiB) 11:16:23 [11:16:23.947] INFO: ivc-integration:test:native bb - created oink proof (mem: 821.43 MiB) 11:16:24 [11:16:24.224] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.43 MiB) 11:16:25 [11:16:25.551] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 821.43 MiB) 11:16:26 [11:16:26.250] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 821.43 MiB) 11:16:26 [11:16:26.285] INFO: ivc-integration:test:native bb - computed opening proof (mem: 821.43 MiB) 11:16:26 finished decider proving. (mem: 821.43 MiB) 11:16:26 Constructing a Goblin proof with num ultra ops = 1038 (mem: 821.43 MiB) 11:16:26 [11:16:26.377] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 821.43 MiB) 11:16:26 [11:16:26.644] 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: 821.43 MiB) 11:16:26 [11:16:26.664] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 821.43 MiB) 11:16:28 [11:16:28.149] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.43 MiB) 11:16:29 [11:16:29.764] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 11:16:29 [11:16:29.765] INFO: ivc-integration:test:native bb - (mem: 821.43 MiB) 11:16:35 [11:16:35.315] INFO: ivc-integration:test:native bb - finished eccvm proving. 11:16:35 [11:16:35.316] INFO: ivc-integration:test:native bb - (mem: 11:16:35 [11:16:35.317] INFO: ivc-integration:test:native bb - 821.43 11:16:35 [11:16:35.317] INFO: ivc-integration:test:native bb - MiB) 11:16:35 [11:16:35.319] INFO: ivc-integration:test:native bb - 11:16:35 prove translator... (mem: 821.43 MiB) 11:16:38 [11:16:38.220] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.57 MiB) 11:16:39 [11:16:39.979] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 844.57 MiB) 11:16:42 [11:16:41.999] INFO: ivc-integration:test:native bb - computed opening proof (mem: 844.57 MiB) 11:16:42 [11:16:42.001] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 844.57 MiB) 11:16:42 [11:16:42.009] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 844.57 MiB) 11:16:42 [11:16:42.024] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 844.57 MiB) 11:16:42 libra_evals_verified: 1 (mem: 844.57 MiB) 11:16:42 [11:16:42.025] INFO: ivc-integration:test:native bb - 11:16:42 pairing_check_verified: 1 (mem: 844.57 MiB) 11:16:42 Mega verified: 1 (mem: 844.57 MiB) 11:16:42 [11:16:42.133] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 11:16:42 [11:16:42.135] INFO: ivc-integration:test:native bb - (mem: 845.57 MiB) 11:16:42 batch opening verified?: 1 (mem: 845.57 MiB) 11:16:42 eccvm consistency check verified?: 1 (mem: 845.57 MiB) 11:16:42 translation masking consistency checked?: 1 (mem: 845.57 MiB) 11:16:42 [11:16:42.152] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 845.57 MiB) 11:16:42 eccvm verified?: 1 (mem: 845.57 MiB) 11:16:42 accumulator construction_verified?: 1 (mem: 845.57 MiB) 11:16:42 [11:16:42.153] INFO: ivc-integration:test:native bb - 11:16:42 translation verified?: 1 (mem: 845.57 MiB) 11:16:42 consistency verified?: 1 (mem: 845.57 MiB) 11:16:42 Goblin verified: 1 (mem: 845.57 MiB) 11:16:42 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-JsV3Dg" (mem: 845.57 MiB) 11:16:42 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-JsV3Dg" (mem: 845.57 MiB) 11:16:42 BN254 commitment key size: 262144 (mem: 845.57 MiB) 11:16:42 [11:16:42.156] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.57 MiB) 11:16:42 [11:16:42.160] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.57 MiB) 11:16:42 goblin ecc op : 4/1024 (mem: 845.57 MiB) 11:16:42 busread : 3/6000 (mem: 845.57 MiB) 11:16:42 lookups : 2/15000 (mem: 845.57 MiB) 11:16:42 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 845.57 MiB) 11:16:42 arithmetic : 1773/56000 (mem: 845.57 MiB) 11:16:42 delta range : 1754/18000 (mem: 845.57 MiB) 11:16:42 elliptic : 2/6000 (mem: 845.57 MiB) 11:16:42 auxiliary : 26/26000 (mem: 845.57 MiB) 11:16:42 poseidon ext : 2/17000 (mem: 845.57 MiB) 11:16:42 poseidon int : 2/92000 (mem: 845.57 MiB) 11:16:42 overflow : 0/0 (mem: 845.57 MiB) 11:16:42 (mem: 845.57 MiB) 11:16:42 Total structured size: 242025 (mem: 845.57 MiB) 11:16:42 allocating polynomials object in proving key... (mem: 845.57 MiB) 11:16:42 [11:16:42.348] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.57 MiB) 11:16:42 [11:16:42.369] INFO: ivc-integration:test:native bb - time to construct proving key: 212 ms. (mem: 845.57 MiB) 11:16:42 [11:16:42.456] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.57 MiB) 11:16:43 [11:16:43.375] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 845.57 MiB) 11:16:43 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 845.57 MiB) 11:16:44 [11:16:44.216] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.57 MiB) 11:16:44 [11:16:44.633] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 845.57 MiB) 11:16:44 [11:16:44.645] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.57 MiB) 11:16:44 [11:16:44.665] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 11:16:44 [11:16:44.667] INFO: ivc-integration:test:native bb - (mem: 11:16:44 [11:16:44.668] INFO: ivc-integration:test:native bb - 845.57 MiB) 11:16:44 [11:16:44.671] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.57 MiB) 11:16:44 goblin ecc op : 56/1024 (mem: 845.57 MiB) 11:16:44 busread : 3/6000 (mem: 845.57 MiB) 11:16:44 lookups : 2/15000 (mem: 845.57 MiB) 11:16:44 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.57 MiB) 11:16:44 arithmetic : 4481/56000 (mem: 845.57 MiB) 11:16:44 [11:16:44.674] INFO: ivc-integration:test:native bb - delta range : 2041/18000 (mem: 845.57 MiB) 11:16:44 elliptic : 2/6000 (mem: 845.57 MiB) 11:16:44 auxiliary : 50/26000 (mem: 845.57 MiB) 11:16:44 poseidon ext : 1312/17000 (mem: 845.57 MiB) 11:16:44 poseidon int : 7469/92000 (mem: 845.57 MiB) 11:16:44 overflow : 0/0 (mem: 845.57 MiB) 11:16:44 (mem: 845.57 MiB) 11:16:44 Total structured size: 242025 (mem: 845.57 MiB) 11:16:44 allocating polynomials object in proving key... (mem: 845.57 MiB) 11:16:44 [11:16:44.870] INFO: ivc-integration:test:native bb - populating trace... (mem: 845.57 MiB) 11:16:44 [11:16:44.982] INFO: ivc-integration:test:native bb - time to construct proving key: 313 ms. (mem: 845.57 MiB) 11:16:45 [11:16:45.126] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.57 MiB) 11:16:45 [11:16:45.895] INFO: ivc-integration:test:native bb - computing folding proof (mem: 845.57 MiB) 11:16:45 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 845.57 MiB) 11:16:46 [11:16:46.858] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 11:16:46 [11:16:46.859] INFO: ivc-integration:test:native bb - (mem: 845.57 MiB) 11:16:47 [11:16:47.634] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.57 MiB) 11:16:47 [11:16:47.809] INFO: ivc-integration:test:native bb - perturbator round (mem: 847.57 MiB) 11:16:47 [11:16:47.905] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 879.57 MiB) 11:16:48 [11:16:48.256] INFO: ivc-integration:test:native bb - folded (mem: 879.57 MiB) 11:16:48 constructed folding proof (mem: 879.57 MiB) 11:16:48 Largest circuit: 15360 gates. Trace details: (mem: 879.57 MiB) 11:16:48 Minimum required block sizes for structured trace: (mem: 879.57 MiB) 11:16:48 (mem: 879.57 MiB) 11:16:48 prove decider... (mem: 879.57 MiB) 11:16:48 [11:16:48.257] INFO: ivc-integration:test:native bb - ecc_op : 56 11:16:48 busread : 3 11:16:48 lookup : 2 11:16:48 pub_inputs : 36 11:16:48 arithmetic : 4481 11:16:48 delta_range : 2041 11:16:48 elliptic : 2 11:16:48 aux : 50 11:16:48 poseidon2_external : 1312 11:16:48 poseidon2_internal : 7469 11:16:48 overflow : 0 11:16:48 [11:16:48.488] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 879.57 MiB) 11:16:48 [11:16:48.590] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 879.57 MiB) 11:16:50 [11:16:50.160] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction 11:16:50 [11:16:50.161] INFO: ivc-integration:test:native bb - (mem: 11:16:50 [11:16:50.161] INFO: ivc-integration:test:native bb - 879.57 MiB) 11:16:50 [11:16:50.233] INFO: ivc-integration:test:native bb - computed opening proof (mem: 879.57 MiB) 11:16:50 finished decider proving. (mem: 879.57 MiB) 11:16:50 [11:16:50.245] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 879.57 MiB) 11:16:50 [11:16:50.352] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 879.57 MiB) 11:16:50 [11:16:50.357] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 11:16:50 [11:16:50.359] INFO: ivc-integration:test:native bb - (mem: 879.57 MiB) 11:16:50 [11:16:50.586] INFO: ivc-integration:test:native bb - populating trace... (mem: 879.57 MiB) 11:16:50 [11:16:50.684] INFO: ivc-integration:test:native bb - time to construct proving key: 333 ms. 11:16:50 [11:16:50.685] INFO: ivc-integration:test:native bb - (mem: 879.57 MiB) 11:16:51 [11:16:51.319] 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-JsV3Dg/proof -k /tmp/bb-client-ivc-integration-JsV3Dg/vk -v 11:16:51 [11:16:51.341] INFO: ivc-integration:test:native bb command: verify (mem: 11:16:51 [11:16:51.342] INFO: ivc-integration:test:native 156.23 MiB) 11:16:51 Scheme is: client_ivc, num threads: 128 (mem: 156.23 MiB) 11:16:51 --proof_path: /tmp/bb-client-ivc-integration-JsV3Dg/proof (mem: 156.23 MiB) 11:16:51 --vk_path: /tmp/bb-client-ivc-integration-JsV3Dg/vk (mem: 156.23 MiB) 11:16:51 --verbose: true (mem: 156.23 MiB) 11:16:51 --scheme: client_ivc (mem: 156.23 MiB) 11:16:51 [11:16:51.459] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 156.23 MiB) 11:16:51 [11:16:51.483] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 169.38 MiB) 11:16:51 [11:16:51.487] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 11:16:51 [11:16:51.490] INFO: ivc-integration:test:native (mem: 169.38 MiB) 11:16:51 [11:16:51.511] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 11:16:51 [11:16:51.514] INFO: ivc-integration:test:native (mem: 169.38 MiB) 11:16:51 Initialized BN254 CRS from memory with num points = 1025 (mem: 169.38 MiB) 11:16:51 [11:16:51.515] INFO: ivc-integration:test:native sumcheck_verified: 1 11:16:51 [11:16:51.518] INFO: ivc-integration:test:native (mem: 169.38 MiB) 11:16:51 libra_evals_verified: 1 (mem: 169.38 MiB) 11:16:51 pairing_check_verified: 1 (mem: 169.38 MiB) 11:16:51 Mega verified: 1 (mem: 169.38 MiB) 11:16:51 [11:16:51.609] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 185.51 MiB) 11:16:51 batch opening verified?: 1 (mem: 185.51 MiB) 11:16:51 eccvm consistency check verified?: 1 (mem: 185.51 MiB) 11:16:51 translation masking consistency checked?: 1 (mem: 185.51 MiB) 11:16:51 [11:16:51.634] INFO: ivc-integration:test:native merge verified?: 1 (mem: 185.51 MiB) 11:16:51 eccvm verified?: 1 (mem: 185.51 MiB) 11:16:51 accumulator construction_verified?: 1 (mem: 185.51 MiB) 11:16:51 translation verified?: 1 (mem: 185.51 MiB) 11:16:51 consistency verified?: 1 (mem: 185.51 MiB) 11:16:51 [11:16:51.635] INFO: ivc-integration:test:native Goblin verified: 1 (mem: 185.51 MiB) 11:16:51 [11:16:51.646] INFO: ivc-integration:test:native verified: 1 (mem: 185.51 MiB) 11:16:51 [11:16:51.784] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-KVVWYK/ivc-inputs.msgpack 11:16:51 [11:16:51.786] 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-KVVWYK --ivc_inputs_path /tmp/bb-client-ivc-integration-KVVWYK/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:16:51 [11:16:51.807] INFO: ivc-integration:test:native bb - bb command: prove (mem: 160.75 MiB) 11:16:51 [11:16:51.808] INFO: ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 160.75 MiB) 11:16:51 --scheme: client_ivc (mem: 160.75 MiB) 11:16:51 --output_path: /tmp/bb-client-ivc-integration-KVVWYK (mem: 160.75 MiB) 11:16:51 --ivc_inputs_path: /tmp/bb-client-ivc-integration-KVVWYK/ivc-inputs.msgpack (mem: 160.75 MiB) 11:16:51 --verbose: true (mem: 160.75 MiB) 11:16:51 --write_vk: true (mem: 160.75 MiB) 11:16:51 [11:16:51.814] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 160.75 MiB) 11:16:51 [11:16:51.998] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 262.00 MiB) 11:16:52 [11:16:52.124] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 310.00 MiB) 11:16:52 [11:16:52.132] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 11:16:52 [11:16:52.133] INFO: ivc-integration:test:native bb - (mem: 11:16:52 [11:16:52.133] INFO: ivc-integration:test:native bb - 310.00 11:16:52 [11:16:52.133] INFO: ivc-integration:test:native bb - MiB) 11:16:52 [11:16:52.134] INFO: ivc-integration:test:native bb - 11:16:52 [11:16:52.134] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 11:16:52 [11:16:52.134] INFO: ivc-integration:test:native bb - (mem: 11:16:52 [11:16:52.135] INFO: ivc-integration:test:native bb - 310.00 MiB) 11:16:52 [11:16:52.140] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.00 MiB) 11:16:52 goblin ecc op : 4/1024 (mem: 310.00 MiB) 11:16:52 busread : 7/6000 (mem: 310.00 MiB) 11:16:52 lookups : 2/15000 (mem: 310.00 MiB) 11:16:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.00 MiB) 11:16:52 arithmetic : 1760/56000 (mem: 310.00 MiB) 11:16:52 delta range : 1754/18000 (mem: 310.00 MiB) 11:16:52 elliptic : 2/6000 (mem: 310.00 MiB) 11:16:52 auxiliary : 26/26000 (mem: 310.00 MiB) 11:16:52 poseidon ext : 2/17000 (mem: 310.00 MiB) 11:16:52 poseidon int : 2/92000 (mem: 310.00 MiB) 11:16:52 overflow : 0/0 (mem: 310.00 MiB) 11:16:52 (mem: 310.00 MiB) 11:16:52 Total structured size: 242025 (mem: 310.00 MiB) 11:16:52 allocating polynomials object in proving key... (mem: 310.00 MiB) 11:16:52 [11:16:52.460] INFO: ivc-integration:test:native bb - populating trace... (mem: 497.86 MiB) 11:16:52 [11:16:52.511] INFO: ivc-integration:test:native bb - time to construct proving key: 375 ms. (mem: 512.86 MiB) 11:16:52 [11:16:52.732] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cd0ae175d40 (mem: 512.86 MiB) 11:16:52 computing oink proof... (mem: 512.86 MiB) 11:16:52 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 512.86 MiB) 11:16:53 [11:16:53.556] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.86 MiB) 11:16:53 [11:16:53.919] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 521.86 MiB) 11:16:53 [11:16:53.927] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.86 MiB) 11:16:53 [11:16:53.946] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 521.86 MiB) 11:16:53 Constructing DeciderProvingKey (mem: 521.86 MiB) 11:16:53 [11:16:53.948] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.86 MiB) 11:16:53 goblin ecc op : 56/1024 (mem: 521.86 MiB) 11:16:53 busread : 12/6000 (mem: 521.86 MiB) 11:16:53 lookups : 2/15000 (mem: 521.86 MiB) 11:16:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.86 MiB) 11:16:53 arithmetic : 4625/56000 (mem: 521.86 MiB) 11:16:53 delta range : 2054/18000 (mem: 521.86 MiB) 11:16:53 elliptic : 2/6000 (mem: 521.86 MiB) 11:16:53 auxiliary : 110/26000 (mem: 521.86 MiB) 11:16:53 poseidon ext : 1302/17000 (mem: 521.86 MiB) 11:16:53 poseidon int : 7412/92000 (mem: 521.86 MiB) 11:16:53 overflow : 0/0 (mem: 521.86 MiB) 11:16:53 (mem: 521.86 MiB) 11:16:53 Total structured size: 242025 (mem: 521.86 MiB) 11:16:53 allocating polynomials object in proving key... (mem: 521.86 MiB) 11:16:54 [11:16:54.079] INFO: ivc-integration:test:native bb - populating trace... (mem: 723.86 MiB) 11:16:54 [11:16:54.101] INFO: ivc-integration:test:native bb - time to construct proving key: 156 ms. (mem: 740.86 MiB) 11:16:54 [11:16:54.232] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cd0ae17efc0 (mem: 740.86 MiB) 11:16:54 computing folding proof (mem: 740.86 MiB) 11:16:54 [11:16:54.234] 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: 740.86 MiB) 11:16:55 [11:16:55.041] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 740.86 MiB) 11:16:55 [11:16:55.758] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.86 MiB) 11:16:55 [11:16:55.917] INFO: ivc-integration:test:native bb - perturbator round (mem: 777.86 MiB) 11:16:55 [11:16:55.996] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.86 MiB) 11:16:56 [11:16:56.343] INFO: ivc-integration:test:native bb - folded (mem: 811.86 MiB) 11:16:56 constructed folding proof (mem: 811.86 MiB) 11:16:56 [11:16:56.344] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 811.86 MiB) 11:16:56 Constructing DeciderProvingKey (mem: 811.86 MiB) 11:16:56 [11:16:56.347] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.86 MiB) 11:16:56 goblin ecc op : 4/1024 (mem: 811.86 11:16:56 [11:16:56.348] INFO: ivc-integration:test:native bb - MiB) 11:16:56 busread : 7/6000 (mem: 811.86 MiB) 11:16:56 lookups : 2/15000 (mem: 811.86 MiB) 11:16:56 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 811.86 MiB) 11:16:56 arithmetic : 1760/56000 (mem: 811.86 MiB) 11:16:56 delta range : 1754/18000 (mem: 811.86 MiB) 11:16:56 elliptic : 2/6000 (mem: 811.86 MiB) 11:16:56 auxiliary : 26/26000 (mem: 811.86 MiB) 11:16:56 poseidon ext : 2/17000 (mem: 811.86 MiB) 11:16:56 poseidon int : 2/92000 (mem: 811.86 MiB) 11:16:56 overflow : 0/0 (mem: 811.86 MiB) 11:16:56 (mem: 811.86 MiB) 11:16:56 Total structured size: 242025 (mem: 811.86 MiB) 11:16:56 allocating polynomials object in proving key... (mem: 811.86 MiB) 11:16:56 [11:16:56.424] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.86 MiB) 11:16:56 [11:16:56.436] INFO: ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 811.86 MiB) 11:16:56 [11:16:56.488] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cd0ae176580 (mem: 811.86 MiB) 11:16:56 computing folding proof (mem: 811.86 MiB) 11:16:56 [11:16:56.488] 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: 811.86 MiB) 11:16:57 [11:16:57.413] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 811.86 MiB) 11:16:57 [11:16:57.864] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.86 MiB) 11:16:57 [11:16:57.984] INFO: ivc-integration:test:native bb - perturbator round (mem: 811.86 MiB) 11:16:58 [11:16:58.045] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 811.91 MiB) 11:16:58 [11:16:58.519] INFO: ivc-integration:test:native bb - folded (mem: 811.91 MiB) 11:16:58 constructed folding proof (mem: 811.91 MiB) 11:16:58 [11:16:58.531] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 811.91 MiB) 11:16:58 [11:16:58.594] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 811.91 MiB) 11:16:58 [11:16:58.658] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 811.91 MiB) 11:16:58 Constructing DeciderProvingKey (mem: 811.91 MiB) 11:16:58 [11:16:58.663] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.91 MiB) 11:16:58 goblin ecc op : 792/1024 (mem: 811.91 MiB) 11:16:58 busread : 12/6000 (mem: 811.91 MiB) 11:16:58 lookups : 2/15000 (mem: 811.91 MiB) 11:16:58 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 811.91 MiB) 11:16:58 arithmetic : 12080/56000 (mem: 811.91 MiB) 11:16:58 delta range : 2942/18000 (mem: 811.91 MiB) 11:16:58 elliptic : 2/6000 (mem: 811.91 MiB) 11:16:58 auxiliary : 350/26000 (mem: 811.91 MiB) 11:16:58 poseidon ext : 4942/17000 (mem: 811.91 MiB) 11:16:58 poseidon int : 28160/92000 (mem: 811.91 MiB) 11:16:58 overflow : 0/0 (mem: 811.91 MiB) 11:16:58 (mem: 811.91 MiB) 11:16:58 Total structured size: 242025 (mem: 811.91 MiB) 11:16:58 allocating polynomials object in proving key... (mem: 811.91 MiB) 11:16:58 [11:16:58.791] INFO: ivc-integration:test:native bb - populating trace... (mem: 811.91 MiB) 11:16:58 [11:16:58.852] INFO: ivc-integration:test:native bb - time to construct proving key: 194 ms. (mem: 811.91 MiB) 11:16:59 [11:16:59.019] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cd0ae170000 (mem: 811.91 MiB) 11:16:59 computing folding proof (mem: 811.91 MiB) 11:16:59 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 811.91 MiB) 11:16:59 [11:16:59.905] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 811.91 MiB) 11:17:00 [11:17:00.468] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.91 MiB) 11:17:00 [11:17:00.570] INFO: ivc-integration:test:native bb - perturbator round (mem: 811.91 MiB) 11:17:00 [11:17:00.620] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 839.97 MiB) 11:17:00 [11:17:00.847] INFO: ivc-integration:test:native bb - folded (mem: 839.97 MiB) 11:17:00 constructed folding proof (mem: 839.97 MiB) 11:17:00 [11:17:00.857] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 839.97 MiB) 11:17:00 [11:17:00.932] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 839.97 MiB) 11:17:00 Constructing DeciderProvingKey (mem: 839.97 MiB) 11:17:00 [11:17:00.938] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 839.97 MiB) 11:17:00 goblin ecc op : 392/1024 (mem: 839.97 MiB) 11:17:00 [11:17:00.938] INFO: ivc-integration:test:native bb - busread : 16/6000 (mem: 839.97 MiB) 11:17:00 lookups : 2/15000 (mem: 839.97 MiB) 11:17:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 839.97 MiB) 11:17:00 arithmetic : 6914/56000 (mem: 839.97 MiB) 11:17:00 delta range : 2347/18000 (mem: 839.97 MiB) 11:17:00 elliptic : 2/6000 (mem: 839.97 MiB) 11:17:00 auxiliary : 77/26000 (mem: 839.97 MiB) 11:17:00 poseidon ext : 2472/17000 (mem: 839.97 MiB) 11:17:00 poseidon int : 14081/92000 (mem: 839.97 MiB) 11:17:00 overflow : 0/0 (mem: 839.97 MiB) 11:17:00 (mem: 839.97 MiB) 11:17:00 Total structured size: 242025 (mem: 839.97 MiB) 11:17:00 allocating polynomials object in proving key... (mem: 839.97 MiB) 11:17:01 [11:17:01.018] INFO: ivc-integration:test:native bb - populating trace... (mem: 839.97 MiB) 11:17:01 [11:17:01.041] INFO: ivc-integration:test:native bb - time to construct proving key: 108 ms. (mem: 839.97 MiB) 11:17:01 [11:17:01.102] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cd0ae1f2ec0 (mem: 839.97 MiB) 11:17:01 computing folding proof (mem: 839.97 MiB) 11:17:01 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 839.97 MiB) 11:17:01 [11:17:01.582] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 839.97 MiB) 11:17:02 [11:17:01.997] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 839.97 MiB) 11:17:02 [11:17:02.089] INFO: ivc-integration:test:native bb - perturbator round (mem: 839.97 MiB) 11:17:02 [11:17:02.149] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 840.48 MiB) 11:17:02 [11:17:02.383] INFO: ivc-integration:test:native bb - folded 11:17:02 [11:17:02.384] INFO: ivc-integration:test:native bb - (mem: 840.48 MiB) 11:17:02 constructed folding proof (mem: 840.48 MiB) 11:17:02 [11:17:02.399] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 840.48 MiB) 11:17:02 [11:17:02.505] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 840.48 MiB) 11:17:02 Constructing DeciderProvingKey (mem: 840.48 MiB) 11:17:02 [11:17:02.510] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 840.48 MiB) 11:17:02 goblin ecc op : 392/1024 (mem: 840.48 MiB) 11:17:02 busread : 3/6000 (mem: 840.48 MiB) 11:17:02 lookups : 2/15000 (mem: 840.48 MiB) 11:17:02 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 840.48 MiB) 11:17:02 arithmetic : 6849/56000 (mem: 840.48 MiB) 11:17:02 delta range : 2333/18000 (mem: 840.48 MiB) 11:17:02 elliptic : 2/6000 (mem: 840.48 MiB) 11:17:02 auxiliary : 50/26000 (mem: 840.48 MiB) 11:17:02 poseidon ext : 2472/17000 (mem: 840.48 MiB) 11:17:02 poseidon int : 14081/92000 (mem: 840.48 MiB) 11:17:02 overflow : 0/0 (mem: 840.48 MiB) 11:17:02 (mem: 840.48 MiB) 11:17:02 Total structured size: 242025 (mem: 840.48 MiB) 11:17:02 allocating polynomials object in proving key... (mem: 840.48 MiB) 11:17:02 [11:17:02.647] INFO: ivc-integration:test:native bb - populating trace... (mem: 840.48 MiB) 11:17:02 [11:17:02.677] INFO: ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 840.48 MiB) 11:17:02 [11:17:02.962] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cd0ae1897c0 (mem: 840.48 MiB) 11:17:02 computing folding proof (mem: 840.48 MiB) 11:17:02 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 840.48 MiB) 11:17:03 [11:17:03.543] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 840.48 MiB) 11:17:04 [11:17:04.086] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 840.48 MiB) 11:17:04 [11:17:04.209] INFO: ivc-integration:test:native bb - perturbator round (mem: 840.48 MiB) 11:17:04 [11:17:04.283] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 840.88 MiB) 11:17:04 [11:17:04.804] INFO: ivc-integration:test:native bb - folded (mem: 840.88 MiB) 11:17:04 [11:17:04.805] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 840.88 MiB) 11:17:04 [11:17:04.805] INFO: ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 840.88 MiB) 11:17:04 Minimum required block sizes for structured trace: (mem: 840.88 MiB) 11:17:04 [11:17:04.805] INFO: ivc-integration:test:native bb - (mem: 840.88 MiB) 11:17:04 prove decider... (mem: 840.88 MiB) 11:17:04 [11:17:04.806] INFO: ivc-integration:test:native bb - ecc_op : 792 11:17:04 busread : 16 11:17:04 lookup : 2 11:17:04 pub_inputs : 36 11:17:04 arithmetic : 12080 11:17:04 delta_range : 2942 11:17:04 elliptic : 2 11:17:04 aux : 350 11:17:04 poseidon2_external : 4942 11:17:04 poseidon2_internal : 28160 11:17:04 overflow : 0 11:17:04 [11:17:04.993] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 840.88 MiB) 11:17:05 [11:17:05.110] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 840.88 MiB) 11:17:05 [11:17:05.746] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 840.88 MiB) 11:17:05 [11:17:05.829] INFO: ivc-integration:test:native bb - computed opening proof (mem: 840.88 MiB) 11:17:05 finished decider proving. (mem: 840.88 MiB) 11:17:05 [11:17:05.848] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 840.88 MiB) 11:17:05 [11:17:05.951] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 840.88 MiB) 11:17:05 [11:17:05.955] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... 11:17:05 [11:17:05.956] INFO: ivc-integration:test:native bb - (mem: 11:17:05 [11:17:05.957] INFO: ivc-integration:test:native bb - 840.88 11:17:05 [11:17:05.958] INFO: ivc-integration:test:native bb - MiB) 11:17:06 [11:17:06.098] INFO: ivc-integration:test:native bb - populating trace... 11:17:06 [11:17:06.101] INFO: ivc-integration:test:native bb - (mem: 840.88 MiB) 11:17:06 [11:17:06.166] INFO: ivc-integration:test:native bb - time to construct proving key: 217 ms. (mem: 840.88 MiB) 11:17:06 [11:17:06.592] 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: 840.88 MiB) 11:17:06 [11:17:06.974] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 840.88 MiB) 11:17:07 [11:17:07.327] INFO: ivc-integration:test:native bb - created oink proof (mem: 840.88 MiB) 11:17:07 [11:17:07.474] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 840.88 MiB) 11:17:08 [11:17:08.541] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 840.88 MiB) 11:17:09 [11:17:09.188] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 840.88 MiB) 11:17:09 [11:17:09.210] INFO: ivc-integration:test:native bb - computed opening proof (mem: 840.88 MiB) 11:17:09 finished decider proving. (mem: 840.88 MiB) 11:17:09 [11:17:09.211] INFO: ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 840.88 MiB) 11:17:09 [11:17:09.365] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 840.88 MiB) 11:17:09 [11:17:09.622] 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: 840.88 MiB) 11:17:09 [11:17:09.639] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 840.88 MiB) 11:17:10 [11:17:10.922] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 840.88 MiB) 11:17:13 [11:17:13.136] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 840.88 MiB) 11:17:19 [11:17:19.199] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 840.88 MiB) 11:17:19 prove translator... (mem: 840.88 MiB) 11:17:23 [11:17:23.296] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 869.20 MiB) 11:17:24 [11:17:24.492] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 870.20 MiB) 11:17:25 [11:17:25.236] INFO: ivc-integration:test:native bb - computed opening proof (mem: 870.20 MiB) 11:17:25 [11:17:25.237] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 870.20 MiB) 11:17:25 [11:17:25.239] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 870.20 MiB) 11:17:25 [11:17:25.252] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 870.20 MiB) 11:17:25 libra_evals_verified: 1 (mem: 870.20 MiB) 11:17:25 pairing_check_verified: 1 (mem: 870.20 MiB) 11:17:25 [11:17:25.253] INFO: ivc-integration:test:native bb - Mega verified: 1 (mem: 870.20 MiB) 11:17:25 [11:17:25.319] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 871.20 MiB) 11:17:25 batch opening verified?: 1 (mem: 871.20 MiB) 11:17:25 eccvm consistency check verified?: 1 (mem: 871.20 MiB) 11:17:25 translation masking consistency checked?: 1 (mem: 871.20 MiB) 11:17:25 [11:17:25.335] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 871.20 MiB) 11:17:25 eccvm verified?: 1 (mem: 871.20 MiB) 11:17:25 accumulator construction_verified?: 1 (mem: 871.20 MiB) 11:17:25 translation verified?: 1 (mem: 871.20 MiB) 11:17:25 consistency verified?: 1 (mem: 871.20 MiB) 11:17:25 Goblin verified: 1 (mem: 871.20 MiB) 11:17:25 [11:17:25.336] INFO: ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-KVVWYK" (mem: 871.20 MiB) 11:17:25 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-KVVWYK" (mem: 871.20 MiB) 11:17:25 BN254 commitment key size: 262144 (mem: 871.20 MiB) 11:17:25 [11:17:25.338] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.20 MiB) 11:17:25 [11:17:25.340] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.20 MiB) 11:17:25 goblin ecc op : 4/1024 (mem: 871.20 MiB) 11:17:25 busread : 3/6000 (mem: 871.20 MiB) 11:17:25 [11:17:25.341] INFO: ivc-integration:test:native bb - lookups : 2/15000 (mem: 871.20 MiB) 11:17:25 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 871.20 MiB) 11:17:25 arithmetic : 1773/56000 (mem: 871.20 MiB) 11:17:25 delta range : 1754/18000 (mem: 871.20 MiB) 11:17:25 elliptic : 2/6000 (mem: 871.20 MiB) 11:17:25 auxiliary : 26/26000 (mem: 871.20 MiB) 11:17:25 poseidon ext : 2/17000 (mem: 871.20 MiB) 11:17:25 poseidon int : 2/92000 (mem: 871.20 MiB) 11:17:25 overflow : 0/0 (mem: 871.20 MiB) 11:17:25 (mem: 871.20 MiB) 11:17:25 Total structured size: 242025 (mem: 871.20 MiB) 11:17:25 allocating polynomials object in proving key... (mem: 871.20 MiB) 11:17:25 [11:17:25.418] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.20 MiB) 11:17:25 [11:17:25.426] INFO: ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 871.20 MiB) 11:17:25 [11:17:25.675] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.20 MiB) 11:17:26 [11:17:26.088] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 871.20 MiB) 11:17:26 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 871.20 MiB) 11:17:26 [11:17:26.927] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.20 MiB) 11:17:27 [11:17:27.068] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 871.20 MiB) 11:17:27 [11:17:27.075] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 871.20 MiB) 11:17:27 [11:17:27.090] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 871.20 MiB) 11:17:27 [11:17:27.093] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 871.20 MiB) 11:17:27 goblin ecc op : 56/1024 (mem: 871.20 MiB) 11:17:27 busread : 3/6000 (mem: 871.20 MiB) 11:17:27 lookups : 2/15000 (mem: 871.20 MiB) 11:17:27 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 871.20 MiB) 11:17:27 [11:17:27.094] INFO: ivc-integration:test:native bb - 11:17:27 arithmetic : 4481/56000 (mem: 871.20 MiB) 11:17:27 delta range : 2041/18000 (mem: 871.20 MiB) 11:17:27 elliptic : 2/6000 (mem: 871.20 MiB) 11:17:27 auxiliary : 50/26000 (mem: 871.20 MiB) 11:17:27 poseidon ext : 1312/17000 (mem: 871.20 MiB) 11:17:27 poseidon int : 7469/92000 (mem: 871.20 MiB) 11:17:27 overflow : 0/0 (mem: 871.20 MiB) 11:17:27 (mem: 871.20 MiB) 11:17:27 Total structured size: 242025 (mem: 871.20 MiB) 11:17:27 allocating polynomials object in proving key... (mem: 871.20 MiB) 11:17:27 [11:17:27.185] INFO: ivc-integration:test:native bb - populating trace... (mem: 871.20 MiB) 11:17:27 [11:17:27.210] INFO: ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 871.20 MiB) 11:17:27 [11:17:27.277] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 871.20 MiB) 11:17:27 [11:17:27.954] INFO: ivc-integration:test:native bb - computing folding proof (mem: 871.20 MiB) 11:17:27 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 871.20 MiB) 11:17:28 [11:17:28.555] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 871.20 MiB) 11:17:29 [11:17:29.005] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 871.20 MiB) 11:17:29 [11:17:29.093] INFO: ivc-integration:test:native bb - perturbator round (mem: 871.20 MiB) 11:17:29 [11:17:29.177] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 903.20 MiB) 11:17:29 [11:17:29.421] INFO: ivc-integration:test:native bb - folded (mem: 903.20 MiB) 11:17:29 constructed folding proof (mem: 903.20 MiB) 11:17:29 [11:17:29.421] INFO: ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 903.20 MiB) 11:17:29 Minimum required block sizes for structured trace: (mem: 903.20 MiB) 11:17:29 (mem: 903.20 MiB) 11:17:29 prove decider... (mem: 903.20 MiB) 11:17:29 [11:17:29.422] INFO: ivc-integration:test:native bb - ecc_op : 56 11:17:29 busread : 3 11:17:29 lookup : 2 11:17:29 pub_inputs : 36 11:17:29 arithmetic : 4481 11:17:29 delta_range : 2041 11:17:29 elliptic : 2 11:17:29 aux : 50 11:17:29 poseidon2_external : 1312 11:17:29 poseidon2_internal : 7469 11:17:29 overflow : 0 11:17:29 [11:17:29.526] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 903.20 MiB) 11:17:29 [11:17:29.652] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 903.20 MiB) 11:17:30 [11:17:30.483] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 903.20 MiB) 11:17:30 [11:17:30.546] INFO: ivc-integration:test:native bb - computed opening proof (mem: 903.20 MiB) 11:17:30 finished decider proving. (mem: 903.20 MiB) 11:17:30 [11:17:30.560] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 903.20 MiB) 11:17:30 [11:17:30.680] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 903.20 MiB) 11:17:30 [11:17:30.696] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 903.20 MiB) 11:17:30 [11:17:30.844] INFO: ivc-integration:test:native bb - populating trace... (mem: 903.20 MiB) 11:17:30 [11:17:30.945] INFO: ivc-integration:test:native bb - time to construct proving key: 268 ms. (mem: 903.20 MiB) 11:17:31 [11:17:31.446] 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-KVVWYK/proof -k /tmp/bb-client-ivc-integration-KVVWYK/vk -v 11:17:31 [11:17:31.467] INFO: ivc-integration:test:native bb command: verify (mem: 164.93 MiB) 11:17:31 [11:17:31.469] INFO: ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 164.93 MiB) 11:17:31 --proof_path: /tmp/bb-client-ivc-integration-KVVWYK/proof (mem: 164.93 MiB) 11:17:31 --vk_path: /tmp/bb-client-ivc-integration-KVVWYK/vk (mem: 164.93 MiB) 11:17:31 --verbose: true (mem: 164.93 MiB) 11:17:31 --scheme: client_ivc (mem: 164.93 MiB) 11:17:31 [11:17:31.589] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 164.93 MiB) 11:17:31 [11:17:31.613] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 168.01 MiB) 11:17:31 [11:17:31.615] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 168.01 MiB) 11:17:31 [11:17:31.632] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 168.01 MiB) 11:17:31 [11:17:31.634] INFO: ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 168.01 MiB) 11:17:31 sumcheck_verified: 1 (mem: 168.01 MiB) 11:17:31 libra_evals_verified: 1 (mem: 168.01 MiB) 11:17:31 pairing_check_verified: 1 (mem: 168.01 MiB) 11:17:31 Mega verified: 1 (mem: 168.01 MiB) 11:17:31 [11:17:31.702] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.13 MiB) 11:17:31 batch opening verified?: 1 (mem: 183.13 MiB) 11:17:31 eccvm consistency check verified?: 1 (mem: 183.13 MiB) 11:17:31 translation masking consistency checked?: 1 (mem: 183.13 MiB) 11:17:31 [11:17:31.727] INFO: ivc-integration:test:native merge verified?: 1 (mem: 183.13 MiB) 11:17:31 eccvm verified?: 1 (mem: 183.13 MiB) 11:17:31 accumulator construction_verified?: 1 (mem: 183.13 MiB) 11:17:31 translation verified?: 1 (mem: 183.13 MiB) 11:17:31 consistency verified?: 1 (mem: 183.13 MiB) 11:17:31 Goblin verified: 1 (mem: 183.13 MiB) 11:17:31 [11:17:31.733] INFO: ivc-integration:test:native verified: 1 (mem: 183.13 MiB) 11:17:31 PASS src/native_client_ivc_integration.test.ts (80.326 s) 11:17:31 Client IVC Integration 11:17:31 ✓ Should generate a verifiable client IVC proof from a simple mock tx (36940 ms) 11:17:31 ✓ Should generate a verifiable client IVC proof from a complex mock tx (40067 ms) 11:17:31 11:17:31 Test Suites: 1 passed, 1 total 11:17:31 Tests: 2 passed, 2 total 11:17:31 Snapshots: 0 total 11:17:31 Time: 80.4 s 11:17:31 Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i. 11:17:31 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?