ACI ·

Parent Log: http://ci.aztec-labs.com/e0a41d634b82744d Command: 6d103549f0f4c9d2: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/534f06e45f48274efd53a2204c90cb0b91a53efb Env: REF_NAME=gh-readonly-queue/next/pr-15230-ad85cda24c2f9b5b4b17d4921f8597b71949bb6c CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Tue Jun 24 20:44:40 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15230_amd64_x3-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_727c530b0d162492_next 20:44:45 [20:44:45.012] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-7gKmrK/ivc-inputs.msgpack 20:44:45 [20:44:45.018] INFO: ivc-integration:test:native bb - BB concurrency: undefined 20:44:45 [20:44:45.019] 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-7gKmrK --ivc_inputs_path /tmp/bb-client-ivc-integration-7gKmrK/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:44:45 [20:44:45.054] INFO: ivc-integration:test:native bb - bb command: prove (mem: 236.61 MiB) 20:44:45 Scheme is: client_ivc, num threads: 128 (mem: 236.61 MiB) 20:44:45 --scheme: client_ivc (mem: 236.61 MiB) 20:44:45 --output_path: /tmp/bb-client-ivc-integration-7gKmrK (mem: 236.61 MiB) 20:44:45 --ivc_inputs_path: /tmp/bb-client-ivc-integration-7gKmrK/ivc-inputs.msgpack (mem: 236.61 MiB) 20:44:45 --verbose: true (mem: 236.61 MiB) 20:44:45 --write_vk: true (mem: 236.61 MiB) 20:44:45 [20:44:45.056] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 236.61 MiB) 20:44:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.61 MiB) 20:44:45 [20:44:45.119] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 236.61 MiB) 20:44:45 [20:44:45.123] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 236.61 MiB) 20:44:45 Constructing DeciderProvingKey (mem: 236.61 MiB) 20:44:45 [20:44:45.130] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 236.61 MiB) 20:44:45 goblin ecc op : 4/1024 (mem: 236.61 MiB) 20:44:45 busread : 7/6000 (mem: 236.61 MiB) 20:44:45 lookups : 2/15000 (mem: 236.61 MiB) 20:44:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 236.61 MiB) 20:44:45 arithmetic : 1760/56000 (mem: 236.61 MiB) 20:44:45 delta range : 1754/18000 (mem: 236.61 MiB) 20:44:45 elliptic : 2/6000 (mem: 236.61 MiB) 20:44:45 auxiliary : 26/26000 (mem: 236.61 MiB) 20:44:45 poseidon ext : 2/17000 (mem: 236.61 MiB) 20:44:45 poseidon int : 2/92000 (mem: 236.61 MiB) 20:44:45 overflow : 0/0 (mem: 236.61 MiB) 20:44:45 (mem: 236.61 MiB) 20:44:45 Total structured size: 242025 (mem: 236.61 MiB) 20:44:45 allocating polynomials object in proving key... (mem: 236.61 MiB) 20:44:45 [20:44:45.312] INFO: ivc-integration:test:native bb - populating trace... (mem: 342.12 MiB) 20:44:45 [20:44:45.326] INFO: ivc-integration:test:native bb - time to construct proving key: 202 ms. (mem: 359.12 MiB) 20:44:45 [20:44:45.441] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56c86c043e00 (mem: 360.12 MiB) 20:44:45 computing oink proof... (mem: 360.12 MiB) 20:44:45 [20:44:45.444] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 360.12 MiB) 20:44:45 [20:44:45.736] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 370.12 MiB) 20:44:45 [20:44:45.747] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 370.12 MiB) 20:44:45 [20:44:45.770] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 370.12 MiB) 20:44:45 Constructing DeciderProvingKey (mem: 370.12 MiB) 20:44:45 [20:44:45.775] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 370.12 MiB) 20:44:45 goblin ecc op : 56/1024 (mem: 370.12 MiB) 20:44:45 busread : 12/6000 (mem: 370.12 MiB) 20:44:45 lookups : 2/15000 (mem: 370.12 MiB) 20:44:45 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 370.12 MiB) 20:44:45 arithmetic : 4676/56000 (mem: 370.12 MiB) 20:44:45 delta range : 2073/18000 (mem: 370.12 MiB) 20:44:45 elliptic : 2/6000 (mem: 370.12 MiB) 20:44:45 auxiliary : 110/26000 (mem: 370.12 MiB) 20:44:45 poseidon ext : 1322/17000 (mem: 370.12 MiB) 20:44:45 poseidon int : 7526/92000 (mem: 370.12 MiB) 20:44:45 overflow : 0/0 (mem: 370.12 MiB) 20:44:45 (mem: 370.12 MiB) 20:44:45 Total structured size: 242025 (mem: 370.12 MiB) 20:44:45 allocating polynomials object in proving key... (mem: 370.12 MiB) 20:44:45 [20:44:45.876] INFO: ivc-integration:test:native bb - populating trace... (mem: 575.12 MiB) 20:44:45 [20:44:45.919] INFO: ivc-integration:test:native bb - time to construct proving key: 148 ms. (mem: 590.12 MiB) 20:44:46 [20:44:46.136] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56c86c050b00 (mem: 590.12 MiB) 20:44:46 computing folding proof (mem: 590.12 MiB) 20:44:46 [20:44:46.138] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 590.12 MiB) 20:44:46 [20:44:46.523] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 591.12 MiB) 20:44:46 [20:44:46.627] INFO: ivc-integration:test:native bb - perturbator round (mem: 628.12 MiB) 20:44:46 [20:44:46.685] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 661.12 MiB) 20:44:47 [20:44:47.184] INFO: ivc-integration:test:native bb - folded (mem: 661.12 MiB) 20:44:47 [20:44:47.186] INFO: ivc-integration:test:native bb - constructed folding proof (mem: 661.12 MiB) 20:44:47 [20:44:47.202] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 661.12 MiB) 20:44:47 [20:44:47.284] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 661.12 MiB) 20:44:47 Constructing DeciderProvingKey (mem: 661.12 MiB) 20:44:47 Gate blocks summary: (actual gates / fixed capacity) (mem: 661.12 MiB) 20:44:47 goblin ecc op : 392/1024 (mem: 661.12 MiB) 20:44:47 busread : 3/6000 (mem: 661.12 MiB) 20:44:47 lookups : 2/15000 (mem: 661.12 MiB) 20:44:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 661.12 MiB) 20:44:47 arithmetic : 6912/56000 (mem: 661.12 MiB) 20:44:47 delta range : 2353/18000 (mem: 661.12 MiB) 20:44:47 elliptic : 2/6000 (mem: 661.12 MiB) 20:44:47 auxiliary : 50/26000 (mem: 661.12 MiB) 20:44:47 poseidon ext : 2492/17000 (mem: 661.12 MiB) 20:44:47 poseidon int : 14195/92000 (mem: 661.12 MiB) 20:44:47 overflow : 0/0 (mem: 661.12 MiB) 20:44:47 (mem: 661.12 MiB) 20:44:47 Total structured size: 242025 (mem: 661.12 MiB) 20:44:47 allocating polynomials object in proving key... (mem: 661.12 MiB) 20:44:47 [20:44:47.523] INFO: ivc-integration:test:native bb - populating trace... (mem: 661.12 MiB) 20:44:47 [20:44:47.584] INFO: ivc-integration:test:native bb - time to construct proving key: 304 ms. (mem: 661.12 MiB) 20:44:47 [20:44:47.789] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56c86c05bfc0 (mem: 661.12 MiB) 20:44:47 computing folding proof (mem: 661.12 MiB) 20:44:47 [20:44:47.791] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 661.12 MiB) 20:44:48 [20:44:48.108] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.12 MiB) 20:44:48 [20:44:48.233] INFO: ivc-integration:test:native bb - perturbator round (mem: 661.12 MiB) 20:44:48 [20:44:48.293] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 671.45 MiB) 20:44:48 [20:44:48.581] INFO: ivc-integration:test:native bb - folded (mem: 671.45 MiB) 20:44:48 constructed folding proof (mem: 671.45 MiB) 20:44:48 Largest circuit: 26009 gates. Trace details: (mem: 671.45 MiB) 20:44:48 Minimum required block sizes for structured trace: (mem: 671.45 MiB) 20:44:48 (mem: 671.45 MiB) 20:44:48 prove decider... (mem: 671.45 MiB) 20:44:48 [20:44:48.582] INFO: ivc-integration:test:native bb - ecc_op : 392 20:44:48 busread : 12 20:44:48 lookup : 2 20:44:48 pub_inputs : 36 20:44:48 arithmetic : 6912 20:44:48 delta_range : 2353 20:44:48 elliptic : 2 20:44:48 aux : 110 20:44:48 poseidon2_external : 2492 20:44:48 poseidon2_internal : 14195 20:44:48 overflow : 0 20:44:48 [20:44:48.805] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.45 MiB) 20:44:48 [20:44:48.957] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 671.45 MiB) 20:44:50 [20:44:50.523] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.45 MiB) 20:44:50 [20:44:50.680] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.45 MiB) 20:44:50 [20:44:50.680] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 671.45 MiB) 20:44:50 [20:44:50.698] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 671.45 MiB) 20:44:50 [20:44:50.894] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 671.45 MiB) 20:44:50 [20:44:50.896] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 671.45 MiB) 20:44:51 [20:44:51.138] INFO: ivc-integration:test:native bb - populating trace... (mem: 671.45 MiB) 20:44:51 [20:44:51.221] INFO: ivc-integration:test:native bb - time to construct proving key: 327 ms. (mem: 671.45 MiB) 20:44:52 [20:44:52.721] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 671.45 MiB) 20:44:53 [20:44:53.527] INFO: ivc-integration:test:native bb - created oink proof (mem: 671.45 MiB) 20:44:53 [20:44:53.793] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.45 MiB) 20:44:55 [20:44:55.245] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.45 MiB) 20:44:56 [20:44:56.602] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 671.45 MiB) 20:44:56 [20:44:56.687] INFO: ivc-integration:test:native bb - computed opening proof (mem: 671.45 MiB) 20:44:56 finished decider proving. (mem: 671.45 MiB) 20:44:56 Constructing a Goblin proof with num ultra ops = 1038 (mem: 671.45 MiB) 20:44:57 [20:44:57.017] INFO: ivc-integration:test:native bb - prove eccvm... 20:44:57 [20:44:57.017] INFO: ivc-integration:test:native bb - (mem: 671.45 MiB) 20:44:57 [20:44:57.385] 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: 671.45 MiB) 20:44:57 [20:44:57.394] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 671.45 MiB) 20:44:59 [20:44:59.430] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 671.45 MiB) 20:45:01 [20:45:01.983] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 671.45 MiB) 20:45:07 [20:45:07.191] INFO: ivc-integration:test:native bb - finished eccvm proving. (mem: 671.45 MiB) 20:45:07 prove translator... (mem: 671.45 MiB) 20:45:09 [20:45:09.711] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 703.50 MiB) 20:45:13 [20:45:13.305] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 704.50 MiB) 20:45:16 [20:45:16.285] INFO: ivc-integration:test:native bb - computed opening proof 20:45:16 [20:45:16.288] INFO: ivc-integration:test:native bb - (mem: 704.50 MiB) 20:45:16 finished translator proving. (mem: 704.50 MiB) 20:45:16 vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 704.50 MiB) 20:45:16 [20:45:16.311] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 20:45:16 [20:45:16.312] INFO: ivc-integration:test:native bb - (mem: 704.50 MiB) 20:45:16 libra_evals_verified: 1 (mem: 704.50 MiB) 20:45:16 pairing_check_verified: 1 (mem: 704.50 MiB) 20:45:16 Mega verified: 1 (mem: 704.50 MiB) 20:45:16 [20:45:16.426] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 704.50 MiB) 20:45:16 batch opening verified?: 1 (mem: 704.50 MiB) 20:45:16 eccvm consistency check verified?: 1 (mem: 704.50 MiB) 20:45:16 translation masking consistency checked?: 1 (mem: 704.50 MiB) 20:45:16 [20:45:16.454] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 704.50 MiB) 20:45:16 eccvm verified?: 1 (mem: 704.50 MiB) 20:45:16 accumulator construction_verified?: 1 (mem: 704.50 MiB) 20:45:16 translation verified?: 1 (mem: 704.50 MiB) 20:45:16 consistency verified?: 1 (mem: 704.50 MiB) 20:45:16 Goblin verified: 1 (mem: 704.50 MiB) 20:45:16 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-7gKmrK" (mem: 704.50 MiB) 20:45:16 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-7gKmrK" (mem: 704.50 MiB) 20:45:16 BN254 commitment key size: 262144 (mem: 704.50 MiB) 20:45:16 Constructing DeciderProvingKey (mem: 704.50 MiB) 20:45:16 [20:45:16.455] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 704.50 MiB) 20:45:16 goblin ecc op : 4/1024 (mem: 704.50 MiB) 20:45:16 busread : 3/6000 (mem: 704.50 MiB) 20:45:16 lookups : 2/15000 (mem: 704.50 MiB) 20:45:16 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 704.50 MiB) 20:45:16 arithmetic : 1773/56000 (mem: 704.50 MiB) 20:45:16 delta range : 1754/18000 (mem: 704.50 MiB) 20:45:16 elliptic : 2/6000 (mem: 704.50 MiB) 20:45:16 auxiliary : 26/26000 (mem: 704.50 MiB) 20:45:16 poseidon ext : 2/17000 (mem: 704.50 MiB) 20:45:16 poseidon int : 2/92000 (mem: 704.50 MiB) 20:45:16 overflow : 0/0 (mem: 704.50 MiB) 20:45:16 (mem: 704.50 MiB) 20:45:16 Total structured size: 242025 (mem: 704.50 MiB) 20:45:16 allocating polynomials object in proving key... (mem: 704.50 MiB) 20:45:16 [20:45:16.985] INFO: ivc-integration:test:native bb - populating trace... (mem: 704.50 MiB) 20:45:17 [20:45:17.012] INFO: ivc-integration:test:native bb - time to construct proving key: 560 ms. (mem: 704.50 MiB) 20:45:17 [20:45:17.181] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 704.50 MiB) 20:45:17 [20:45:17.571] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 704.50 MiB) 20:45:17 [20:45:17.572] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 704.50 MiB) 20:45:18 [20:45:18.097] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 704.50 MiB) 20:45:18 [20:45:18.104] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 704.50 MiB) 20:45:18 [20:45:18.121] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 704.50 MiB) 20:45:18 [20:45:18.124] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 704.50 MiB) 20:45:18 goblin ecc op : 56/1024 (mem: 704.50 MiB) 20:45:18 busread : 3/6000 (mem: 20:45:18 [20:45:18.125] INFO: ivc-integration:test:native bb - 704.50 MiB) 20:45:18 lookups : 2/15000 (mem: 704.50 MiB) 20:45:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 704.50 MiB) 20:45:18 arithmetic : 4532/56000 (mem: 704.50 MiB) 20:45:18 delta range : 2060/18000 (mem: 704.50 MiB) 20:45:18 elliptic : 2/6000 (mem: 704.50 MiB) 20:45:18 auxiliary : 50/26000 (mem: 704.50 MiB) 20:45:18 poseidon ext : 1332/17000 (mem: 704.50 MiB) 20:45:18 poseidon int : 7583/92000 (mem: 704.50 MiB) 20:45:18 overflow : 0/0 (mem: 704.50 MiB) 20:45:18 (mem: 704.50 MiB) 20:45:18 Total structured size: 242025 (mem: 704.50 MiB) 20:45:18 allocating polynomials object in proving key... (mem: 704.50 MiB) 20:45:18 [20:45:18.403] INFO: ivc-integration:test:native bb - populating trace... (mem: 704.50 MiB) 20:45:18 [20:45:18.439] INFO: ivc-integration:test:native bb - time to construct proving key: 318 ms. (mem: 704.50 MiB) 20:45:18 [20:45:18.810] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 704.50 MiB) 20:45:19 [20:45:19.258] INFO: ivc-integration:test:native bb - computing folding proof (mem: 704.50 MiB) 20:45:19 [20:45:19.259] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 704.50 MiB) 20:45:19 [20:45:19.889] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 704.50 MiB) 20:45:20 [20:45:20.015] INFO: ivc-integration:test:native bb - perturbator round (mem: 704.50 MiB) 20:45:20 [20:45:20.164] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 738.50 MiB) 20:45:20 [20:45:20.831] INFO: ivc-integration:test:native bb - folded (mem: 738.50 MiB) 20:45:20 constructed folding proof (mem: 738.50 MiB) 20:45:20 [20:45:20.832] INFO: ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 738.50 MiB) 20:45:20 Minimum required block sizes for structured trace: (mem: 738.50 MiB) 20:45:20 (mem: 738.50 MiB) 20:45:20 prove decider... (mem: 738.50 MiB) 20:45:20 [20:45:20.832] INFO: ivc-integration:test:native bb - ecc_op : 56 20:45:20 busread : 3 20:45:20 lookup : 2 20:45:20 pub_inputs : 36 20:45:20 arithmetic : 4532 20:45:20 delta_range : 2060 20:45:20 elliptic : 2 20:45:20 aux : 50 20:45:20 poseidon2_external : 1332 20:45:20 poseidon2_internal : 7583 20:45:20 overflow : 0 20:45:21 [20:45:21.018] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 738.50 MiB) 20:45:21 [20:45:21.238] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 738.50 MiB) 20:45:22 [20:45:22.834] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 738.50 MiB) 20:45:22 [20:45:22.944] INFO: ivc-integration:test:native bb - computed opening proof (mem: 738.50 MiB) 20:45:22 finished decider proving. (mem: 738.50 MiB) 20:45:22 [20:45:22.957] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 738.50 MiB) 20:45:23 [20:45:23.092] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 738.50 MiB) 20:45:23 [20:45:23.099] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 738.50 MiB) 20:45:23 [20:45:23.335] INFO: ivc-integration:test:native bb - populating trace... (mem: 738.50 MiB) 20:45:23 [20:45:23.395] INFO: ivc-integration:test:native bb - time to construct proving key: 302 ms. (mem: 738.50 MiB) 20:45:24 [20:45:24.461] INFO: ivc-integration:test:native BB concurrency: 1 20:45:24 [20:45:24.461] 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-7gKmrK/proof -k /tmp/bb-client-ivc-integration-7gKmrK/vk -v 20:45:24 [20:45:24.501] INFO: ivc-integration:test:native bb command: verify (mem: 237.14 MiB) 20:45:24 Scheme is: client_ivc, num threads: 1 (mem: 237.14 MiB) 20:45:24 --proof_path: /tmp/bb-client-ivc-integration-7gKmrK/proof (mem: 237.14 MiB) 20:45:24 --vk_path: /tmp/bb-client-ivc-integration-7gKmrK/vk (mem: 237.14 MiB) 20:45:24 --verbose: true (mem: 237.14 MiB) 20:45:24 --scheme: client_ivc (mem: 237.14 MiB) 20:45:24 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 237.14 MiB) 20:45:24 [20:45:24.519] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 237.14 MiB) 20:45:24 [20:45:24.521] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 237.14 MiB) 20:45:24 [20:45:24.540] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 237.14 MiB) 20:45:24 Initialized BN254 CRS from memory with num points = 1 (mem: 237.14 MiB) 20:45:24 sumcheck_verified: 1 (mem: 237.14 MiB) 20:45:24 libra_evals_verified: 1 (mem: 237.14 MiB) 20:45:24 pairing_check_verified: 1 (mem: 237.14 MiB) 20:45:24 Mega verified: 1 (mem: 237.14 MiB) 20:45:25 [20:45:25.105] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 237.14 MiB) 20:45:25 batch opening verified?: 1 (mem: 237.14 MiB) 20:45:25 eccvm consistency check verified?: 1 (mem: 237.14 MiB) 20:45:25 translation masking consistency checked?: 1 (mem: 237.14 MiB) 20:45:25 [20:45:25.124] INFO: ivc-integration:test:native merge verified?: 1 (mem: 237.14 MiB) 20:45:25 eccvm verified?: 1 (mem: 237.14 MiB) 20:45:25 accumulator construction_verified?: 1 (mem: 237.14 MiB) 20:45:25 translation verified?: 1 (mem: 237.14 MiB) 20:45:25 consistency verified?: 1 (mem: 237.14 MiB) 20:45:25 Goblin verified: 1 (mem: 237.14 MiB) 20:45:25 verified: 1 (mem: 237.14 MiB) 20:45:25 [20:45:25.221] INFO: ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-rvZpfu/ivc-inputs.msgpack 20:45:25 [20:45:25.222] INFO: ivc-integration:test:native bb - BB concurrency: undefined 20:45:25 [20:45:25.222] 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-rvZpfu --ivc_inputs_path /tmp/bb-client-ivc-integration-rvZpfu/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 20:45:25 [20:45:25.254] INFO: ivc-integration:test:native bb - bb command: prove (mem: 237.20 MiB) 20:45:25 Scheme is: client_ivc, num threads: 128 (mem: 237.20 MiB) 20:45:25 --scheme: client_ivc (mem: 237.20 MiB) 20:45:25 --output_path: /tmp/bb-client-ivc-integration-rvZpfu (mem: 237.20 MiB) 20:45:25 --ivc_inputs_path: /tmp/bb-client-ivc-integration-rvZpfu/ivc-inputs.msgpack (mem: 237.20 MiB) 20:45:25 --verbose: true (mem: 237.20 MiB) 20:45:25 --write_vk: true (mem: 237.20 MiB) 20:45:25 [20:45:25.259] INFO: ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 237.20 MiB) 20:45:25 [20:45:25.260] INFO: ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 237.20 MiB) 20:45:25 [20:45:25.336] INFO: ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 237.20 MiB) 20:45:25 [20:45:25.345] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 237.20 MiB) 20:45:25 Constructing DeciderProvingKey (mem: 237.20 MiB) 20:45:25 [20:45:25.358] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 237.20 MiB) 20:45:25 goblin ecc op : 4/1024 (mem: 237.20 MiB) 20:45:25 busread : 7/6000 (mem: 237.20 MiB) 20:45:25 [20:45:25.359] INFO: ivc-integration:test:native bb - 20:45:25 lookups : 2/15000 (mem: 237.20 MiB) 20:45:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 237.20 MiB) 20:45:25 arithmetic : 1760/56000 (mem: 237.20 MiB) 20:45:25 delta range : 1754/18000 (mem: 237.20 MiB) 20:45:25 elliptic : 2/6000 (mem: 237.20 MiB) 20:45:25 auxiliary : 26/26000 (mem: 237.20 MiB) 20:45:25 poseidon ext : 2/17000 (mem: 237.20 MiB) 20:45:25 poseidon int : 2/92000 (mem: 237.20 MiB) 20:45:25 overflow : 0/0 (mem: 237.20 MiB) 20:45:25 (mem: 237.20 MiB) 20:45:25 Total structured size: 242025 (mem: 237.20 MiB) 20:45:25 allocating polynomials object in proving key... (mem: 237.20 MiB) 20:45:25 [20:45:25.887] INFO: ivc-integration:test:native bb - populating trace... (mem: 371.84 MiB) 20:45:25 [20:45:25.918] INFO: ivc-integration:test:native bb - time to construct proving key: 573 ms. (mem: 378.84 MiB) 20:45:26 [20:45:26.094] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63b6bf873c00 (mem: 378.84 MiB) 20:45:26 [20:45:26.095] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 378.84 MiB) 20:45:26 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 20:45:26 [20:45:26.095] INFO: ivc-integration:test:native bb - 378.84 MiB) 20:45:26 [20:45:26.481] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 387.84 MiB) 20:45:26 [20:45:26.488] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 387.84 MiB) 20:45:26 [20:45:26.516] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 387.84 MiB) 20:45:26 Constructing DeciderProvingKey (mem: 387.84 MiB) 20:45:26 [20:45:26.527] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 387.84 MiB) 20:45:26 goblin ecc op : 56/1024 (mem: 387.84 MiB) 20:45:26 busread : 12/6000 (mem: 387.84 MiB) 20:45:26 lookups : 2/15000 (mem: 387.84 MiB) 20:45:26 [20:45:26.528] INFO: ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 387.84 MiB) 20:45:26 arithmetic : 4676/56000 (mem: 387.84 MiB) 20:45:26 delta range : 2073/18000 (mem: 387.84 MiB) 20:45:26 elliptic : 2/6000 (mem: 387.84 MiB) 20:45:26 auxiliary : 110/26000 (mem: 387.84 MiB) 20:45:26 poseidon ext : 1322/17000 (mem: 387.84 MiB) 20:45:26 poseidon int : 7526/92000 (mem: 387.84 MiB) 20:45:26 overflow : 0/0 (mem: 387.84 MiB) 20:45:26 (mem: 387.84 MiB) 20:45:26 Total structured size: 242025 (mem: 387.84 MiB) 20:45:26 allocating polynomials object in proving key... (mem: 387.84 MiB) 20:45:26 [20:45:26.720] INFO: ivc-integration:test:native bb - populating trace... (mem: 583.84 MiB) 20:45:26 [20:45:26.763] INFO: ivc-integration:test:native bb - time to construct proving key: 247 ms. (mem: 597.84 MiB) 20:45:26 [20:45:26.911] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63b6bf87cec0 (mem: 597.84 MiB) 20:45:26 computing folding proof (mem: 597.84 MiB) 20:45:26 vkey hash in Oink prover: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 597.84 MiB) 20:45:27 [20:45:27.221] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 598.84 MiB) 20:45:27 [20:45:27.325] INFO: ivc-integration:test:native bb - perturbator round (mem: 635.84 MiB) 20:45:27 [20:45:27.382] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 667.84 MiB) 20:45:27 [20:45:27.868] INFO: ivc-integration:test:native bb - folded (mem: 667.84 MiB) 20:45:27 constructed folding proof (mem: 667.84 MiB) 20:45:27 [20:45:27.871] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 667.84 MiB) 20:45:27 Constructing DeciderProvingKey (mem: 20:45:27 [20:45:27.872] INFO: ivc-integration:test:native bb - 667.84 MiB) 20:45:27 [20:45:27.874] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 667.84 MiB) 20:45:27 [20:45:27.875] INFO: ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 667.84 MiB) 20:45:27 busread : 7/6000 (mem: 667.84 MiB) 20:45:27 lookups : 2/15000 (mem: 667.84 MiB) 20:45:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 667.84 MiB) 20:45:27 arithmetic : 1760/56000 (mem: 667.84 MiB) 20:45:27 delta range : 1754/18000 (mem: 667.84 MiB) 20:45:27 elliptic : 2/6000 (mem: 667.84 MiB) 20:45:27 auxiliary : 26/26000 (mem: 667.84 MiB) 20:45:27 poseidon ext : 2/17000 (mem: 667.84 MiB) 20:45:27 poseidon int : 2/92000 (mem: 667.84 MiB) 20:45:27 overflow : 0/0 (mem: 667.84 MiB) 20:45:27 (mem: 667.84 MiB) 20:45:27 Total structured size: 242025 (mem: 667.84 MiB) 20:45:27 allocating polynomials object in proving key... (mem: 667.84 MiB) 20:45:27 [20:45:27.986] INFO: ivc-integration:test:native bb - populating trace... (mem: 667.84 MiB) 20:45:28 [20:45:28.009] INFO: ivc-integration:test:native bb - time to construct proving key: 137 ms. (mem: 667.84 MiB) 20:45:28 [20:45:28.161] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63b6bf878b80 (mem: 667.84 MiB) 20:45:28 computing folding proof (mem: 20:45:28 [20:45:28.162] INFO: ivc-integration:test:native bb - 667.84 MiB) 20:45:28 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 667.84 MiB) 20:45:28 [20:45:28.474] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 667.84 MiB) 20:45:28 [20:45:28.564] INFO: ivc-integration:test:native bb - perturbator round (mem: 667.84 MiB) 20:45:28 [20:45:28.633] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 670.07 MiB) 20:45:28 [20:45:28.911] INFO: ivc-integration:test:native bb - folded (mem: 670.07 MiB) 20:45:28 constructed folding proof (mem: 670.07 MiB) 20:45:28 [20:45:28.925] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000095b70de3a114df0b9348d4d20014d005 (mem: 670.07 MiB) 20:45:28 [20:45:28.991] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 20:45:28 [20:45:28.992] INFO: ivc-integration:test:native bb - (mem: 20:45:28 [20:45:28.993] INFO: ivc-integration:test:native bb - 670.07 20:45:28 [20:45:28.993] INFO: ivc-integration:test:native bb - MiB) 20:45:29 [20:45:29.057] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 670.07 MiB) 20:45:29 Constructing DeciderProvingKey (mem: 670.07 MiB) 20:45:29 [20:45:29.062] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) 20:45:29 [20:45:29.064] INFO: ivc-integration:test:native bb - (mem: 670.07 MiB) 20:45:29 goblin ecc op : 792/1024 (mem: 670.07 MiB) 20:45:29 busread : 12/6000 (mem: 670.07 MiB) 20:45:29 lookups : 2/15000 (mem: 670.07 MiB) 20:45:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 670.07 MiB) 20:45:29 arithmetic : 12206/56000 (mem: 670.07 MiB) 20:45:29 delta range : 2981/18000 (mem: 670.07 MiB) 20:45:29 elliptic : 2/6000 (mem: 670.07 MiB) 20:45:29 auxiliary : 350/26000 (mem: 670.07 MiB) 20:45:29 poseidon ext : 4982/17000 (mem: 670.07 MiB) 20:45:29 poseidon int : 28388/92000 (mem: 670.07 MiB) 20:45:29 overflow : 0/0 (mem: 670.07 MiB) 20:45:29 (mem: 670.07 MiB) 20:45:29 Total structured size: 242025 (mem: 670.07 MiB) 20:45:29 allocating polynomials object in proving key... (mem: 670.07 MiB) 20:45:29 [20:45:29.185] INFO: ivc-integration:test:native bb - populating trace... (mem: 670.07 MiB) 20:45:29 [20:45:29.241] INFO: ivc-integration:test:native bb - time to construct proving key: 185 ms. (mem: 670.07 MiB) 20:45:29 [20:45:29.566] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63b6bf8f0c40 (mem: 670.07 MiB) 20:45:29 computing folding proof (mem: 670.07 MiB) 20:45:29 [20:45:29.567] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 670.07 MiB) 20:45:30 [20:45:30.062] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 670.07 MiB) 20:45:30 [20:45:30.146] INFO: ivc-integration:test:native bb - perturbator round (mem: 678.35 MiB) 20:45:30 [20:45:30.186] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.35 MiB) 20:45:30 [20:45:30.372] INFO: ivc-integration:test:native bb - folded (mem: 710.35 MiB) 20:45:30 constructed folding proof (mem: 710.35 MiB) 20:45:30 [20:45:30.379] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9003155b428f9681147a7ce9d97a9ea (mem: 710.35 MiB) 20:45:30 [20:45:30.434] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 710.35 MiB) 20:45:30 Constructing DeciderProvingKey (mem: 710.35 MiB) 20:45:30 [20:45:30.437] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 710.35 MiB) 20:45:30 goblin ecc op : 392/1024 (mem: 710.35 20:45:30 [20:45:30.438] INFO: ivc-integration:test:native bb - MiB) 20:45:30 busread : 16/6000 (mem: 710.35 MiB) 20:45:30 lookups : 2/15000 (mem: 710.35 MiB) 20:45:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 710.35 MiB) 20:45:30 arithmetic : 6977/56000 (mem: 710.35 MiB) 20:45:30 delta range : 2367/18000 (mem: 710.35 MiB) 20:45:30 elliptic : 2/6000 (mem: 710.35 MiB) 20:45:30 auxiliary : 77/26000 (mem: 710.35 MiB) 20:45:30 poseidon ext : 2492/17000 (mem: 710.35 MiB) 20:45:30 poseidon int : 14195/92000 (mem: 710.35 MiB) 20:45:30 overflow : 0/0 (mem: 710.35 MiB) 20:45:30 (mem: 710.35 MiB) 20:45:30 Total structured size: 242025 (mem: 710.35 MiB) 20:45:30 allocating polynomials object in proving key... (mem: 710.35 MiB) 20:45:30 [20:45:30.508] INFO: ivc-integration:test:native bb - populating trace... (mem: 710.35 MiB) 20:45:30 [20:45:30.538] INFO: ivc-integration:test:native bb - time to construct proving key: 104 ms. (mem: 710.35 MiB) 20:45:30 [20:45:30.717] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63b6bf8da1c0 (mem: 710.35 MiB) 20:45:30 computing folding proof (mem: 710.35 MiB) 20:45:30 [20:45:30.719] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 710.35 MiB) 20:45:30 [20:45:30.993] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.35 MiB) 20:45:31 [20:45:31.066] INFO: ivc-integration:test:native bb - perturbator round (mem: 710.35 MiB) 20:45:31 [20:45:31.125] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.60 MiB) 20:45:31 [20:45:31.281] INFO: ivc-integration:test:native bb - folded (mem: 710.60 MiB) 20:45:31 constructed folding proof (mem: 710.60 MiB) 20:45:31 [20:45:31.287] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000056b20d8f6b456fce143af179b3fbbd9c (mem: 710.60 MiB) 20:45:31 [20:45:31.345] INFO: ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 710.60 MiB) 20:45:31 Constructing DeciderProvingKey (mem: 710.60 MiB) 20:45:31 [20:45:31.349] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 710.60 MiB) 20:45:31 goblin ecc op : 392/1024 (mem: 710.60 MiB) 20:45:31 busread : 3/6000 (mem: 710.60 MiB) 20:45:31 lookups : 2/15000 (mem: 710.60 MiB) 20:45:31 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 710.60 MiB) 20:45:31 arithmetic : 6912/56000 (mem: 710.60 MiB) 20:45:31 delta range : 2353/18000 (mem: 710.60 MiB) 20:45:31 elliptic : 2/6000 (mem: 710.60 MiB) 20:45:31 auxiliary : 50/26000 (mem: 710.60 MiB) 20:45:31 poseidon ext : 2492/17000 (mem: 710.60 MiB) 20:45:31 poseidon int : 14195/92000 (mem: 710.60 MiB) 20:45:31 overflow : 0/0 (mem: 710.60 MiB) 20:45:31 (mem: 710.60 MiB) 20:45:31 Total structured size: 242025 (mem: 710.60 20:45:31 [20:45:31.349] INFO: ivc-integration:test:native bb - MiB) 20:45:31 allocating polynomials object in proving key... (mem: 710.60 MiB) 20:45:31 [20:45:31.390] INFO: ivc-integration:test:native bb - populating trace... (mem: 710.60 MiB) 20:45:31 [20:45:31.422] INFO: ivc-integration:test:native bb - time to construct proving key: 76 ms. (mem: 710.60 MiB) 20:45:31 [20:45:31.518] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63b6bf8eb480 (mem: 710.60 MiB) 20:45:31 computing folding proof (mem: 710.60 MiB) 20:45:31 [20:45:31.519] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 710.60 MiB) 20:45:31 [20:45:31.799] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.60 MiB) 20:45:31 [20:45:31.879] INFO: ivc-integration:test:native bb - perturbator round (mem: 710.60 MiB) 20:45:31 [20:45:31.935] INFO: ivc-integration:test:native bb - combiner quotient round (mem: 710.87 MiB) 20:45:32 [20:45:32.127] INFO: ivc-integration:test:native bb - folded (mem: 710.87 MiB) 20:45:32 constructed folding proof (mem: 710.87 MiB) 20:45:32 Largest circuit: 48923 gates. Trace details: (mem: 710.87 MiB) 20:45:32 Minimum required block sizes for structured trace: (mem: 710.87 MiB) 20:45:32 (mem: 710.87 MiB) 20:45:32 prove decider... (mem: 710.87 MiB) 20:45:32 [20:45:32.128] INFO: ivc-integration:test:native bb - ecc_op : 792 20:45:32 busread : 16 20:45:32 lookup : 2 20:45:32 pub_inputs : 36 20:45:32 arithmetic : 12206 20:45:32 delta_range : 2981 20:45:32 elliptic : 2 20:45:32 aux : 350 20:45:32 poseidon2_external : 4982 20:45:32 poseidon2_internal : 28388 20:45:32 overflow : 0 20:45:32 [20:45:32.264] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 710.87 MiB) 20:45:32 [20:45:32.426] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 710.87 MiB) 20:45:33 [20:45:33.195] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 710.87 MiB) 20:45:33 [20:45:33.305] INFO: ivc-integration:test:native bb - computed opening proof (mem: 710.87 MiB) 20:45:33 finished decider proving. (mem: 710.87 MiB) 20:45:33 [20:45:33.329] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000060d56fcadfd5a121559e56afa57cfcdb (mem: 710.87 MiB) 20:45:33 [20:45:33.441] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey 20:45:33 [20:45:33.443] INFO: ivc-integration:test:native bb - (mem: 20:45:33 [20:45:33.446] INFO: ivc-integration:test:native bb - 710.87 MiB) 20:45:33 [20:45:33.453] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 710.87 MiB) 20:45:33 [20:45:33.533] INFO: ivc-integration:test:native bb - populating trace... (mem: 710.87 MiB) 20:45:33 [20:45:33.565] INFO: ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 710.87 MiB) 20:45:33 [20:45:33.949] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 710.87 MiB) 20:45:34 [20:45:34.199] INFO: ivc-integration:test:native bb - created oink proof (mem: 710.87 MiB) 20:45:34 [20:45:34.357] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 710.87 MiB) 20:45:35 [20:45:35.067] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 710.87 MiB) 20:45:35 [20:45:35.669] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 710.87 MiB) 20:45:35 [20:45:35.715] INFO: ivc-integration:test:native bb - computed opening proof (mem: 710.87 MiB) 20:45:35 [20:45:35.715] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 710.87 MiB) 20:45:35 Constructing a Goblin proof with num ultra ops = 2226 (mem: 710.87 MiB) 20:45:35 [20:45:35.801] INFO: ivc-integration:test:native bb - prove eccvm... (mem: 710.87 MiB) 20:45:36 [20:45:36.031] 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: 710.87 MiB) 20:45:36 [20:45:36.042] INFO: ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 710.87 MiB) 20:45:36 [20:45:36.905] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 710.87 MiB) 20:45:38 [20:45:38.421] INFO: ivc-integration:test:native bb - completed 16 rounds of sumcheck 20:45:38 [20:45:38.425] INFO: ivc-integration:test:native bb - (mem: 710.87 MiB) 20:45:41 [20:45:41.855] INFO: ivc-integration:test:native bb - finished eccvm proving. 20:45:41 [20:45:41.860] INFO: ivc-integration:test:native bb - (mem: 20:45:41 [20:45:41.870] INFO: ivc-integration:test:native bb - 710.87 MiB) 20:45:41 prove translator... (mem: 710.87 MiB) 20:45:44 [20:45:44.863] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 733.31 MiB) 20:45:47 [20:45:47.899] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 734.31 MiB) 20:45:49 [20:45:49.662] INFO: ivc-integration:test:native bb - computed opening proof (mem: 734.31 MiB) 20:45:49 [20:45:49.662] INFO: ivc-integration:test:native bb - finished translator proving. (mem: 734.31 MiB) 20:45:49 [20:45:49.663] INFO: ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 734.31 MiB) 20:45:49 [20:45:49.680] INFO: ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 734.31 MiB) 20:45:49 [20:45:49.680] INFO: ivc-integration:test:native bb - libra_evals_verified: 1 (mem: 734.31 MiB) 20:45:49 pairing_check_verified: 1 (mem: 734.31 MiB) 20:45:49 Mega verified: 1 (mem: 734.31 MiB) 20:45:49 [20:45:49.753] INFO: ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 734.31 MiB) 20:45:49 batch opening verified?: 1 (mem: 734.31 MiB) 20:45:49 eccvm consistency check verified?: 1 (mem: 734.31 MiB) 20:45:49 translation masking consistency checked?: 1 (mem: 734.31 MiB) 20:45:49 [20:45:49.781] INFO: ivc-integration:test:native bb - merge verified?: 1 (mem: 734.31 MiB) 20:45:49 eccvm verified?: 1 (mem: 734.31 MiB) 20:45:49 accumulator construction_verified?: 1 (mem: 734.31 MiB) 20:45:49 translation verified?: 1 (mem: 734.31 MiB) 20:45:49 consistency verified?: 1 (mem: 734.31 MiB) 20:45:49 Goblin verified: 1 (mem: 734.31 MiB) 20:45:49 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-rvZpfu" (mem: 734.31 MiB) 20:45:49 [20:45:49.782] INFO: ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-rvZpfu" (mem: 734.31 MiB) 20:45:49 BN254 commitment key size: 262144 (mem: 734.31 MiB) 20:45:49 [20:45:49.785] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 734.31 MiB) 20:45:49 [20:45:49.787] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 734.31 MiB) 20:45:49 goblin ecc op : 4/1024 (mem: 734.31 MiB) 20:45:49 busread : 3/6000 (mem: 734.31 MiB) 20:45:49 lookups : 2/15000 (mem: 734.31 MiB) 20:45:49 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 734.31 MiB) 20:45:49 arithmetic : 1773/56000 (mem: 734.31 MiB) 20:45:49 delta range : 1754/18000 (mem: 734.31 MiB) 20:45:49 elliptic : 2/6000 (mem: 734.31 MiB) 20:45:49 auxiliary : 26/26000 (mem: 734.31 MiB) 20:45:49 poseidon ext : 2/17000 (mem: 734.31 MiB) 20:45:49 poseidon int : 2/92000 (mem: 734.31 MiB) 20:45:49 overflow : 0/0 (mem: 734.31 MiB) 20:45:49 (mem: 734.31 MiB) 20:45:49 Total structured size: 242025 (mem: 734.31 MiB) 20:45:49 allocating polynomials object in proving key... (mem: 734.31 MiB) 20:45:49 [20:45:49.868] INFO: ivc-integration:test:native bb - populating trace... (mem: 734.31 MiB) 20:45:49 [20:45:49.878] INFO: ivc-integration:test:native bb - time to construct proving key: 93 ms. (mem: 734.31 MiB) 20:45:49 [20:45:49.981] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 734.31 MiB) 20:45:50 [20:45:50.222] INFO: ivc-integration:test:native bb - computing oink proof... (mem: 734.31 MiB) 20:45:50 [20:45:50.222] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 734.31 MiB) 20:45:50 [20:45:50.439] INFO: ivc-integration:test:native bb - oink proof constructed (mem: 734.31 MiB) 20:45:50 [20:45:50.462] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 734.31 MiB) 20:45:50 [20:45:50.509] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 734.31 MiB) 20:45:50 [20:45:50.518] INFO: ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 734.31 MiB) 20:45:50 goblin ecc op : 56/1024 (mem: 734.31 MiB) 20:45:50 busread : 3/6000 (mem: 734.31 MiB) 20:45:50 lookups : 2/15000 (mem: 734.31 MiB) 20:45:50 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 734.31 MiB) 20:45:50 arithmetic : 4532/56000 (mem: 734.31 MiB) 20:45:50 delta range : 2060/18000 (mem: 734.31 MiB) 20:45:50 elliptic : 2/6000 (mem: 734.31 MiB) 20:45:50 auxiliary : 50/26000 (mem: 734.31 MiB) 20:45:50 poseidon ext : 1332/17000 (mem: 734.31 MiB) 20:45:50 poseidon int : 7583/92000 (mem: 734.31 MiB) 20:45:50 overflow : 0/0 (mem: 734.31 MiB) 20:45:50 (mem: 734.31 MiB) 20:45:50 Total structured size: 242025 (mem: 734.31 MiB) 20:45:50 [20:45:50.519] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 734.31 MiB) 20:45:51 [20:45:51.062] INFO: ivc-integration:test:native bb - populating trace... (mem: 734.31 MiB) 20:45:51 [20:45:51.111] INFO: ivc-integration:test:native bb - time to construct proving key: 601 ms. (mem: 734.31 MiB) 20:45:51 [20:45:51.277] INFO: ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 734.31 MiB) 20:45:51 [20:45:51.444] INFO: ivc-integration:test:native bb - computing folding proof (mem: 734.31 MiB) 20:45:51 [20:45:51.445] INFO: ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 734.31 MiB) 20:45:51 [20:45:51.643] INFO: ivc-integration:test:native bb - oink prover on each incomplete key (mem: 734.31 MiB) 20:45:51 [20:45:51.797] INFO: ivc-integration:test:native bb - perturbator round (mem: 734.31 MiB) 20:45:51 [20:45:51.905] INFO: ivc-integration:test:native bb - combiner quotient round 20:45:51 [20:45:51.906] INFO: ivc-integration:test:native bb - (mem: 20:45:51 [20:45:51.907] INFO: ivc-integration:test:native bb - 766.31 20:45:51 [20:45:51.908] INFO: ivc-integration:test:native bb - MiB) 20:45:51 [20:45:51.910] INFO: ivc-integration:test:native bb - 20:45:52 [20:45:52.586] INFO: ivc-integration:test:native bb - folded 20:45:52 [20:45:52.586] INFO: ivc-integration:test:native bb - (mem: 766.31 MiB) 20:45:52 constructed folding proof (mem: 766.31 MiB) 20:45:52 [20:45:52.587] INFO: ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 766.31 MiB) 20:45:52 Minimum required block sizes for structured trace: (mem: 766.31 MiB) 20:45:52 (mem: 766.31 MiB) 20:45:52 prove decider... (mem: 766.31 MiB) 20:45:52 [20:45:52.587] INFO: ivc-integration:test:native bb - ecc_op : 56 20:45:52 busread : 3 20:45:52 lookup : 2 20:45:52 pub_inputs : 36 20:45:52 arithmetic : 4532 20:45:52 delta_range : 2060 20:45:52 elliptic : 2 20:45:52 aux : 50 20:45:52 poseidon2_external : 1332 20:45:52 poseidon2_internal : 7583 20:45:52 overflow : 0 20:45:52 [20:45:52.765] INFO: ivc-integration:test:native bb - starting sumcheck rounds... (mem: 766.31 MiB) 20:45:52 [20:45:52.887] INFO: ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 766.31 MiB) 20:45:53 [20:45:53.781] INFO: ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 766.31 MiB) 20:45:53 [20:45:53.870] INFO: ivc-integration:test:native bb - computed opening proof (mem: 766.31 MiB) 20:45:53 [20:45:53.871] INFO: ivc-integration:test:native bb - finished decider proving. (mem: 766.31 MiB) 20:45:53 [20:45:53.882] INFO: ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6ac2261e76bc1de8c7956f63e96f4ab (mem: 766.31 MiB) 20:45:53 [20:45:53.982] INFO: ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 766.31 MiB) 20:45:53 [20:45:53.985] INFO: ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 766.31 MiB) 20:45:54 [20:45:54.084] INFO: ivc-integration:test:native bb - populating trace... (mem: 766.31 MiB) 20:45:54 [20:45:54.129] INFO: ivc-integration:test:native bb - time to construct proving key: 146 ms. (mem: 766.31 MiB) 20:45:54 [20:45:54.578] INFO: ivc-integration:test:native BB concurrency: 1 20:45:54 [20:45:54.579] 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-rvZpfu/proof -k /tmp/bb-client-ivc-integration-rvZpfu/vk -v 20:45:54 [20:45:54.604] INFO: ivc-integration:test:native bb command: verify (mem: 241.07 MiB) 20:45:54 Scheme is: client_ivc, num threads: 1 (mem: 241.07 MiB) 20:45:54 --proof_path: /tmp/bb-client-ivc-integration-rvZpfu/proof (mem: 241.07 MiB) 20:45:54 --vk_path: /tmp/bb-client-ivc-integration-rvZpfu/vk (mem: 241.07 MiB) 20:45:54 --verbose: true (mem: 241.07 MiB) 20:45:54 --scheme: client_ivc (mem: 241.07 MiB) 20:45:54 [20:45:54.604] INFO: ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 241.07 MiB) 20:45:54 [20:45:54.623] INFO: ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 241.07 MiB) 20:45:54 [20:45:54.627] INFO: ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000439bb8d8d0e354bc9c2502ad8348c186 (mem: 241.07 MiB) 20:45:54 [20:45:54.645] INFO: ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 20:45:54 [20:45:54.647] INFO: ivc-integration:test:native (mem: 241.07 MiB) 20:45:54 Initialized BN254 CRS from memory with num points = 1 (mem: 241.07 MiB) 20:45:54 [20:45:54.650] INFO: ivc-integration:test:native sumcheck_verified: 1 (mem: 241.07 MiB) 20:45:54 libra_evals_verified: 1 (mem: 241.07 MiB) 20:45:54 pairing_check_verified: 1 (mem: 241.07 MiB) 20:45:54 Mega verified: 1 (mem: 241.07 MiB) 20:45:55 [20:45:55.111] INFO: ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 241.07 MiB) 20:45:55 batch opening verified?: 1 (mem: 241.07 MiB) 20:45:55 eccvm consistency check verified?: 1 (mem: 241.07 MiB) 20:45:55 translation masking consistency checked?: 1 (mem: 241.07 MiB) 20:45:55 [20:45:55.132] INFO: ivc-integration:test:native merge verified?: 1 (mem: 241.07 MiB) 20:45:55 eccvm verified?: 1 (mem: 241.07 MiB) 20:45:55 accumulator construction_verified?: 1 (mem: 241.07 MiB) 20:45:55 translation verified?: 1 (mem: 241.07 MiB) 20:45:55 consistency verified?: 1 (mem: 241.07 MiB) 20:45:55 Goblin verified: 1 (mem: 241.07 MiB) 20:45:55 verified: 1 (mem: 241.07 MiB) 20:45:55 PASS src/native_client_ivc_integration.test.ts (74.124 s) 20:45:55 Client IVC Integration 20:45:55 ✓ Should generate a verifiable client IVC proof from a simple mock tx (40436 ms) 20:45:55 ✓ Should generate a verifiable client IVC proof from a complex mock tx (30003 ms) 20:45:55 20:45:55 Test Suites: 1 passed, 1 total 20:45:55 Tests: 2 passed, 2 total 20:45:55 Snapshots: 0 total 20:45:55 Time: 74.215 s 20:45:55 Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts. 20:45:55 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?