ACI ·

Parent Log: http://ci.aztec-labs.com/2de5c189ff06ed21 Command: 97e7ef9a556fd7e6:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/avm_integration.test.ts Commit: https://github.com/AztecProtocol/aztec-packages/commit/86553a66d6e2c437b435016db7bedec6bd794ed7 Env: REF_NAME=gh-readonly-queue/master/pr-14912-015cb0cadef6a41094c3649f32a735392e1b9693 CURRENT_VERSION=0.87.9 CI_FULL=1 Date: Wed Jun 18 15:14:37 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14912_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9b06efe76336a840_master 15:14:41 [15:14:41.571] INFO: ivc-integration:test:avm-integration inputsPath /tmp/bb-avm-integration-client-ivc-zkkmW3/ivc-inputs.msgpack 15:14:41 [15:14:41.577] INFO: ivc-integration:test:avm-integration bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-avm-integration-client-ivc-zkkmW3 --ivc_inputs_path /tmp/bb-avm-integration-client-ivc-zkkmW3/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 15:14:41 [15:14:41.599] INFO: ivc-integration:test:avm-integration bb - bb command: prove (mem: 193.05 MiB) 15:14:41 [15:14:41.600] INFO: ivc-integration:test:avm-integration bb - Scheme is: client_ivc, num threads: 128 (mem: 193.05 MiB) 15:14:41 --scheme: client_ivc (mem: 193.05 MiB) 15:14:41 --output_path: /tmp/bb-avm-integration-client-ivc-zkkmW3 (mem: 193.05 MiB) 15:14:41 --ivc_inputs_path: /tmp/bb-avm-integration-client-ivc-zkkmW3/ivc-inputs.msgpack (mem: 193.05 MiB) 15:14:41 --verbose: true (mem: 193.05 MiB) 15:14:41 --write_vk: true (mem: 193.05 MiB) 15:14:41 [15:14:41.600] INFO: ivc-integration:test:avm-integration bb - BN254 commitment key size: 262144 (mem: 193.05 MiB) 15:14:41 [15:14:41.712] INFO: ivc-integration:test:avm-integration bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.00 MiB) 15:14:41 [15:14:41.790] INFO: ivc-integration:test:avm-integration bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 298.92 MiB) 15:14:41 [15:14:41.794] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_0 (mem: 298.92 MiB) 15:14:41 Constructing DeciderProvingKey (mem: 298.92 MiB) 15:14:41 [15:14:41.799] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 298.92 MiB) 15:14:41 goblin ecc op : 4/1024 (mem: 298.92 MiB) 15:14:41 busread : 7/6000 (mem: 298.92 MiB) 15:14:41 lookups : 2/15000 (mem: 298.92 MiB) 15:14:41 [15:14:41.801] INFO: ivc-integration:test:avm-integration bb - 15:14:41 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 298.92 MiB) 15:14:41 arithmetic : 1760/56000 (mem: 298.92 MiB) 15:14:41 delta range : 1754/18000 (mem: 298.92 MiB) 15:14:41 elliptic : 2/6000 (mem: 298.92 MiB) 15:14:41 auxiliary : 26/26000 (mem: 298.92 MiB) 15:14:41 poseidon ext : 2/17000 (mem: 298.92 MiB) 15:14:41 poseidon int : 2/92000 (mem: 298.92 MiB) 15:14:41 overflow : 0/0 (mem: 298.92 MiB) 15:14:41 (mem: 298.92 MiB) 15:14:41 Total structured size: 242025 (mem: 298.92 MiB) 15:14:41 allocating polynomials object in proving key... (mem: 298.92 MiB) 15:14:41 [15:14:41.966] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 499.07 MiB) 15:14:42 [15:14:42.003] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 208 ms. (mem: 511.07 MiB) 15:14:42 [15:14:42.115] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x5f3cbc2c6840 (mem: 511.07 MiB) 15:14:42 computing oink proof... (mem: 511.07 MiB) 15:14:42 [15:14:42.338] INFO: ivc-integration:test:avm-integration bb - oink proof constructed (mem: 511.07 MiB) 15:14:42 [15:14:42.358] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_1 (mem: 511.07 MiB) 15:14:42 Constructing DeciderProvingKey (mem: 511.07 MiB) 15:14:42 [15:14:42.361] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 511.07 MiB) 15:14:42 goblin ecc op : 56/1024 (mem: 511.07 MiB) 15:14:42 busread : 12/6000 (mem: 511.07 MiB) 15:14:42 lookups : 2/15000 (mem: 511.07 MiB) 15:14:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 511.07 MiB) 15:14:42 arithmetic : 4225/56000 (mem: 511.07 MiB) 15:14:42 delta range : 2043/18000 (mem: 511.07 MiB) 15:14:42 elliptic : 2/6000 (mem: 511.07 MiB) 15:14:42 auxiliary : 110/26000 (mem: 511.07 MiB) 15:14:42 poseidon ext : 882/17000 (mem: 511.07 MiB) 15:14:42 poseidon int : 5018/92000 (mem: 511.07 MiB) 15:14:42 overflow : 0/0 (mem: 511.07 MiB) 15:14:42 (mem: 511.07 MiB) 15:14:42 Total structured size: 242025 (mem: 511.07 MiB) 15:14:42 allocating polynomials object in proving key... (mem: 511.07 MiB) 15:14:42 [15:14:42.585] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 727.07 MiB) 15:14:42 [15:14:42.628] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 269 ms. (mem: 743.07 MiB) 15:14:42 [15:14:42.777] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x5f3cbc2e0f00 (mem: 743.07 MiB) 15:14:42 computing folding proof (mem: 743.07 MiB) 15:14:43 [15:14:43.005] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 743.07 MiB) 15:14:43 [15:14:43.094] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 781.07 MiB) 15:14:43 [15:14:43.181] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 813.07 MiB) 15:14:43 [15:14:43.662] INFO: ivc-integration:test:avm-integration bb - folded (mem: 813.07 MiB) 15:14:43 constructed folding proof (mem: 813.07 MiB) 15:14:43 [15:14:43.739] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_2 (mem: 813.07 MiB) 15:14:43 Constructing DeciderProvingKey (mem: 813.07 MiB) 15:14:43 [15:14:43.743] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 813.07 MiB) 15:14:43 goblin ecc op : 392/1024 (mem: 813.07 MiB) 15:14:43 busread : 3/6000 (mem: 813.07 MiB) 15:14:43 lookups : 2/15000 (mem: 813.07 MiB) 15:14:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 813.07 MiB) 15:14:43 arithmetic : 6440/56000 (mem: 813.07 MiB) 15:14:43 delta range : 2323/18000 (mem: 813.07 MiB) 15:14:43 elliptic : 2/6000 (mem: 813.07 MiB) 15:14:43 auxiliary : 50/26000 (mem: 813.07 MiB) 15:14:43 [15:14:43.744] INFO: ivc-integration:test:avm-integration bb - poseidon ext : 2042/17000 (mem: 813.07 MiB) 15:14:43 poseidon int : 11630/92000 (mem: 813.07 MiB) 15:14:43 overflow : 0/0 (mem: 813.07 MiB) 15:14:43 (mem: 813.07 MiB) 15:14:43 Total structured size: 242025 (mem: 813.07 MiB) 15:14:43 allocating polynomials object in proving key... (mem: 813.07 MiB) 15:14:43 [15:14:43.866] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 813.07 MiB) 15:14:43 [15:14:43.902] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 163 ms. (mem: 813.07 MiB) 15:14:43 [15:14:43.993] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x5f3cbc2c83c0 (mem: 813.07 MiB) 15:14:43 computing folding proof (mem: 813.07 MiB) 15:14:44 [15:14:44.454] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 813.07 MiB) 15:14:44 [15:14:44.532] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 813.07 MiB) 15:14:44 [15:14:44.577] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 822.38 MiB) 15:14:44 [15:14:44.917] INFO: ivc-integration:test:avm-integration bb - folded (mem: 822.38 MiB) 15:14:44 constructed folding proof (mem: 822.38 MiB) 15:14:44 [15:14:44.918] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 22492 gates. Trace details: (mem: 822.38 MiB) 15:14:44 Minimum required block sizes for structured trace: (mem: 822.38 MiB) 15:14:44 (mem: 822.38 MiB) 15:14:44 prove decider... (mem: 822.38 MiB) 15:14:44 finished decider proving. (mem: 822.38 MiB) 15:14:44 [15:14:44.920] INFO: ivc-integration:test:avm-integration bb - ecc_op : 392 15:14:44 busread : 12 15:14:44 lookup : 2 15:14:44 pub_inputs : 36 15:14:44 arithmetic : 6440 15:14:44 delta_range : 2323 15:14:44 elliptic : 2 15:14:44 aux : 110 15:14:44 poseidon2_external : 2042 15:14:44 poseidon2_internal : 11630 15:14:44 overflow : 0 15:14:45 [15:14:45.087] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 822.38 MiB) 15:14:45 [15:14:45.307] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 822.38 MiB) 15:14:46 [15:14:46.285] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 822.38 MiB) 15:14:46 [15:14:46.351] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 822.38 MiB) 15:14:46 [15:14:46.468] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 822.38 MiB) 15:14:46 [15:14:46.476] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 822.38 MiB) 15:14:46 [15:14:46.565] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 822.38 MiB) 15:14:46 [15:14:46.653] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 184 ms. (mem: 822.38 MiB) 15:14:47 [15:14:47.375] INFO: ivc-integration:test:avm-integration bb - created oink proof (mem: 822.38 MiB) 15:14:47 [15:14:47.704] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 822.38 MiB) 15:14:48 [15:14:48.894] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 822.38 MiB) 15:14:49 [15:14:49.754] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 822.38 MiB) 15:14:49 [15:14:49.779] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 822.38 MiB) 15:14:50 [15:14:50.030] INFO: ivc-integration:test:avm-integration bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 822.38 MiB) 15:14:50 prove eccvm... (mem: 822.38 MiB) 15:14:50 [15:14:50.675] INFO: ivc-integration:test:avm-integration bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 822.38 MiB) 15:14:50 [15:14:50.688] INFO: ivc-integration:test:avm-integration bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 822.38 MiB) 15:14:53 [15:14:53.579] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 822.38 MiB) 15:14:54 [15:14:54.610] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 822.38 MiB) 15:14:58 [15:14:58.328] INFO: ivc-integration:test:avm-integration bb - finished eccvm proving. (mem: 822.38 MiB) 15:14:58 prove translator... (mem: 822.38 MiB) 15:15:00 [15:15:00.328] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 822.38 MiB) 15:15:01 [15:15:01.236] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 822.38 MiB) 15:15:02 [15:15:02.976] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 828.41 MiB) 15:15:02 [15:15:02.977] INFO: ivc-integration:test:avm-integration bb - finished translator proving. (mem: 828.41 MiB) 15:15:03 [15:15:03.000] INFO: ivc-integration:test:avm-integration bb - Mega verified: 1 (mem: 828.41 MiB) 15:15:03 [15:15:03.050] INFO: ivc-integration:test:avm-integration bb - eccvm sumcheck verified?: 1 (mem: 828.41 MiB) 15:15:03 batch opening verified?: 1 (mem: 828.41 MiB) 15:15:03 eccvm consistency check verified?: 1 15:15:03 [15:15:03.051] INFO: ivc-integration:test:avm-integration bb - (mem: 828.41 MiB) 15:15:03 translation masking consistency checked?: 1 (mem: 828.41 MiB) 15:15:03 [15:15:03.070] INFO: ivc-integration:test:avm-integration bb - merge verified?: 1 (mem: 829.41 MiB) 15:15:03 eccvm verified?: 1 (mem: 829.41 MiB) 15:15:03 accumulator construction_verified?: 1 (mem: 829.41 15:15:03 [15:15:03.072] INFO: ivc-integration:test:avm-integration bb - MiB) 15:15:03 translation verified?: 1 (mem: 829.41 MiB) 15:15:03 consistency verified?: 1 (mem: 829.41 MiB) 15:15:03 Goblin verified: 1 (mem: 829.41 MiB) 15:15:03 writing ClientIVC proof in directory "/tmp/bb-avm-integration-client-ivc-zkkmW3" (mem: 829.41 MiB) 15:15:03 writing ClientIVC vk in directory "/tmp/bb-avm-integration-client-ivc-zkkmW3" (mem: 829.41 MiB) 15:15:03 num_public_inputs_in_final_circuit: 4 (mem: 829.41 MiB) 15:15:03 BN254 commitment key size: 262144 (mem: 829.41 MiB) 15:15:03 [15:15:03.073] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 829.41 MiB) 15:15:03 [15:15:03.076] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 829.41 MiB) 15:15:03 goblin ecc op : 4/1024 (mem: 829.41 MiB) 15:15:03 [15:15:03.077] INFO: ivc-integration:test:avm-integration bb - busread : 3/6000 (mem: 829.41 MiB) 15:15:03 lookups : 2/15000 (mem: 829.41 MiB) 15:15:03 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 829.41 MiB) 15:15:03 arithmetic : 1773/56000 (mem: 829.41 MiB) 15:15:03 delta range : 1754/18000 (mem: 829.41 MiB) 15:15:03 elliptic : 2/6000 (mem: 829.41 MiB) 15:15:03 auxiliary : 26/26000 (mem: 829.41 MiB) 15:15:03 poseidon ext : 2/17000 (mem: 829.41 MiB) 15:15:03 poseidon int : 2/92000 (mem: 829.41 MiB) 15:15:03 overflow : 0/0 (mem: 829.41 MiB) 15:15:03 (mem: 829.41 MiB) 15:15:03 Total structured size: 242025 (mem: 829.41 MiB) 15:15:03 allocating polynomials object in proving key... (mem: 829.41 MiB) 15:15:03 [15:15:03.152] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 829.41 MiB) 15:15:03 [15:15:03.202] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 128 ms. (mem: 829.41 MiB) 15:15:03 [15:15:03.301] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 829.41 MiB) 15:15:03 [15:15:03.837] INFO: ivc-integration:test:avm-integration bb - computing oink proof... (mem: 829.41 MiB) 15:15:04 [15:15:04.044] INFO: ivc-integration:test:avm-integration bb - oink proof constructed (mem: 829.41 MiB) 15:15:04 [15:15:04.069] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 829.41 MiB) 15:15:04 [15:15:04.073] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 829.41 MiB) 15:15:04 goblin ecc op : 56/1024 (mem: 829.41 MiB) 15:15:04 busread : 3/6000 (mem: 829.41 MiB) 15:15:04 lookups : 2/15000 (mem: 829.41 MiB) 15:15:04 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 15:15:04 [15:15:04.073] INFO: ivc-integration:test:avm-integration bb - 829.41 MiB) 15:15:04 arithmetic : 4072/56000 (mem: 829.41 MiB) 15:15:04 delta range : 2030/18000 (mem: 829.41 MiB) 15:15:04 elliptic : 2/6000 (mem: 829.41 MiB) 15:15:04 auxiliary : 50/26000 (mem: 829.41 MiB) 15:15:04 poseidon ext : 882/17000 (mem: 829.41 MiB) 15:15:04 poseidon int : 5018/92000 (mem: 829.41 MiB) 15:15:04 overflow : 0/0 (mem: 829.41 MiB) 15:15:04 (mem: 829.41 MiB) 15:15:04 Total structured size: 242025 (mem: 829.41 MiB) 15:15:04 [15:15:04.075] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 829.41 MiB) 15:15:04 [15:15:04.400] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 911.41 MiB) 15:15:04 [15:15:04.421] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 353 ms. (mem: 911.41 MiB) 15:15:04 [15:15:04.514] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 911.41 MiB) 15:15:05 [15:15:05.220] INFO: ivc-integration:test:avm-integration bb - computing folding proof (mem: 911.41 MiB) 15:15:05 [15:15:05.726] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 920.41 MiB) 15:15:05 [15:15:05.805] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 920.41 MiB) 15:15:05 [15:15:05.852] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 952.41 MiB) 15:15:06 [15:15:06.326] INFO: ivc-integration:test:avm-integration bb - folded (mem: 952.41 MiB) 15:15:06 constructed folding proof (mem: 952.41 MiB) 15:15:06 [15:15:06.337] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 12059 gates. Trace details: 15:15:06 [15:15:06.339] INFO: ivc-integration:test:avm-integration bb - (mem: 952.41 MiB) 15:15:06 [15:15:06.340] INFO: ivc-integration:test:avm-integration bb - Minimum required block sizes for structured trace: (mem: 952.41 MiB) 15:15:06 (mem: 952.41 MiB) 15:15:06 prove decider... (mem: 952.41 MiB) 15:15:06 finished decider proving. (mem: 952.41 MiB) 15:15:06 [15:15:06.342] INFO: ivc-integration:test:avm-integration bb - ecc_op : 56 15:15:06 busread : 3 15:15:06 lookup : 2 15:15:06 pub_inputs : 36 15:15:06 arithmetic : 4072 15:15:06 delta_range : 2030 15:15:06 elliptic : 2 15:15:06 aux : 50 15:15:06 poseidon2_external : 882 15:15:06 poseidon2_internal : 5018 15:15:06 overflow : 0 15:15:06 [15:15:06.500] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 952.41 MiB) 15:15:06 [15:15:06.593] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 952.41 MiB) 15:15:07 [15:15:07.650] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 952.41 MiB) 15:15:07 [15:15:07.727] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 952.41 MiB) 15:15:07 [15:15:07.867] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 952.41 MiB) 15:15:07 [15:15:07.873] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 952.41 MiB) 15:15:07 [15:15:07.955] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 952.41 MiB) 15:15:07 [15:15:07.990] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 123 ms. (mem: 952.41 MiB) 15:15:08 [15:15:08.434] INFO: ivc-integration:test:avm-integration Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-avm-integration-client-ivc-zkkmW3/proof -k /tmp/bb-avm-integration-client-ivc-zkkmW3/vk -v 15:15:08 [15:15:08.455] INFO: ivc-integration:test:avm-integration bb command: verify (mem: 193.59 MiB) 15:15:08 [15:15:08.456] INFO: ivc-integration:test:avm-integration Scheme is: client_ivc, num threads: 128 (mem: 193.59 MiB) 15:15:08 --proof_path: /tmp/bb-avm-integration-client-ivc-zkkmW3/proof (mem: 193.59 MiB) 15:15:08 --vk_path: /tmp/bb-avm-integration-client-ivc-zkkmW3/vk (mem: 193.59 MiB) 15:15:08 --verbose: true (mem: 193.59 MiB) 15:15:08 --scheme: client_ivc (mem: 193.59 MiB) 15:15:08 [15:15:08.547] INFO: ivc-integration:test:avm-integration using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 193.59 MiB) 15:15:08 [15:15:08.566] INFO: ivc-integration:test:avm-integration Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 193.59 MiB) 15:15:08 [15:15:08.588] INFO: ivc-integration:test:avm-integration using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 193.59 MiB) 15:15:08 Initialized BN254 CRS from memory with num points = 1025 (mem: 193.59 MiB) 15:15:08 [15:15:08.588] INFO: ivc-integration:test:avm-integration Mega verified: 1 (mem: 193.59 MiB) 15:15:08 [15:15:08.661] INFO: ivc-integration:test:avm-integration eccvm sumcheck verified?: 1 (mem: 193.59 MiB) 15:15:08 batch opening verified?: 1 (mem: 193.59 MiB) 15:15:08 eccvm consistency check verified?: 1 (mem: 193.59 MiB) 15:15:08 translation masking consistency checked?: 1 (mem: 193.59 MiB) 15:15:08 [15:15:08.680] INFO: ivc-integration:test:avm-integration merge verified?: 1 (mem: 193.59 MiB) 15:15:08 eccvm verified?: 1 (mem: 193.59 MiB) 15:15:08 accumulator construction_verified?: 1 (mem: 193.59 MiB) 15:15:08 translation verified?: 1 (mem: 193.59 MiB) 15:15:08 consistency verified?: 1 (mem: 193.59 MiB) 15:15:08 Goblin verified: 1 (mem: 193.59 MiB) 15:15:08 [15:15:08.687] INFO: ivc-integration:test:avm-integration verified: 1 (mem: 193.59 MiB) 15:15:08 [15:15:08.725] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove_tube -o /tmp/bb-avm-integration-client-ivc-zkkmW3 -k /tmp/bb-avm-integration-client-ivc-zkkmW3/vk -v 15:15:08 [15:15:08.750] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - bb command: prove_tube (mem: 193.59 MiB) 15:15:08 Scheme is: ultra_honk, num threads: 128 (mem: 193.59 MiB) 15:15:08 --verbose: true (mem: 193.59 MiB) 15:15:08 --vk_path: /tmp/bb-avm-integration-client-ivc-zkkmW3/vk (mem: 193.59 MiB) 15:15:08 --output_path: /tmp/bb-avm-integration-client-ivc-zkkmW3 (mem: 193.59 MiB) 15:15:08 [15:15:08.852] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 193.59 MiB) 15:15:08 [15:15:08.878] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 193.59 MiB) 15:15:17 [15:15:17.011] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Constructing DeciderProvingKey 15:15:17 [15:15:17.013] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - (mem: 1532.61 MiB) 15:15:18 [15:15:18.336] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1667.51 MiB) 15:15:18 [15:15:18.592] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - populating trace... (mem: 5191.51 MiB) 15:15:20 [15:15:20.211] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - time to construct proving key: 3192 ms. (mem: 5712.51 MiB) 15:15:20 [15:15:20.353] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 7423.55 MiB) 15:15:21 [15:15:21.715] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 8192.47 MiB) 15:15:23 [15:15:23.981] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - created oink proof (mem: 8192.47 MiB) 15:15:25 [15:15:25.128] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - starting sumcheck rounds... (mem: 8274.03 MiB) 15:15:26 [15:15:26.623] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - completed 22 rounds of sumcheck (mem: 8274.03 MiB) 15:15:31 [15:15:31.642] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction (mem: 8967.23 MiB) 15:15:32 [15:15:32.608] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - computed opening proof (mem: 8967.23 MiB) 15:15:37 [15:15:37.550] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8967.23 MiB) 15:15:37 [15:15:37.551] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8967.23 MiB) 15:15:37 [15:15:37.618] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Tube proof verification: 1 (mem: 8967.23 MiB) 15:15:38 [15:15:38.818] INFO: ivc-integration:test:avm-integration Successfully verified proof from key in 251.90205399999832 ms 15:15:38 [15:15:38.829] INFO: world-state:database Creating world state data store at directory /tmp/aztec-world-state-KvRojo/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads. 15:16:04 [15:16:04.475] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --ipa_accumulation --output_format bytes_and_fields --write_vk -o /tmp/bb-avm-integration-U52yJC -b /tmp/bb-avm-integration-U52yJC/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-avm-integration-U52yJC/witness.gz -v --init_kzg_accumulator 15:16:04 [15:16:04.497] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - bb command: prove (mem: 195.90 MiB) 15:16:04 [15:16:04.498] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Scheme is: ultra_honk, num threads: 128 (mem: 195.90 MiB) 15:16:04 --scheme: ultra_honk (mem: 195.90 MiB) 15:16:04 --bytecode_path: /tmp/bb-avm-integration-U52yJC/MockRollupBasePublicCircuit-bytecode (mem: 195.90 MiB) 15:16:04 --witness_path: /tmp/bb-avm-integration-U52yJC/witness.gz (mem: 195.90 MiB) 15:16:04 --output_path: /tmp/bb-avm-integration-U52yJC (mem: 195.90 MiB) 15:16:04 --verbose: true (mem: 195.90 MiB) 15:16:04 --oracle_hash: poseidon2 (mem: 195.90 MiB) 15:16:04 --output_format: bytes_and_fields (mem: 195.90 MiB) 15:16:04 --write_vk: true (mem: 195.90 MiB) 15:16:04 --init_kzg_accumulator: true (mem: 195.90 MiB) 15:16:04 --ipa_accumulation: true (mem: 195.90 MiB) 15:16:08 [15:16:08.430] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1137.83 MiB) 15:16:08 [15:16:08.432] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 (mem: 1137.83 MiB) 15:16:08 [15:16:08.435] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 1 (mem: 1138.83 MiB) 15:16:08 [15:16:08.439] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 2 (mem: 1139.83 MiB) 15:16:08 [15:16:08.440] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 3 (mem: 1139.83 MiB) 15:16:08 [15:16:08.690] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1171.83 MiB) 15:16:08 [15:16:08.697] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 1173.83 MiB) 15:16:08 [15:16:08.979] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 2976.83 MiB) 15:16:09 [15:16:09.573] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 883 ms. (mem: 3048.83 MiB) 15:16:09 [15:16:09.610] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 3458.46 MiB) 15:16:09 [15:16:09.952] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049601 (mem: 3651.39 MiB) 15:16:11 [15:16:11.335] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 3673.22 MiB) 15:16:11 [15:16:11.529] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4111.18 MiB) 15:16:11 [15:16:11.746] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4111.18 MiB) 15:16:12 [15:16:12.776] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4111.18 MiB) 15:16:12 [15:16:12.959] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4111.18 MiB) 15:16:13 [15:16:13.020] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4111.18 MiB) 15:16:13 prove eccvm... (mem: 4111.18 MiB) 15:16:13 [15:16:13.229] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 4111.18 MiB) 15:16:13 [15:16:13.240] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 4111.18 MiB) 15:16:14 [15:16:14.296] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4111.18 MiB) 15:16:14 [15:16:14.705] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4111.18 MiB) 15:16:16 [15:16:16.319] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4111.18 MiB) 15:16:16 prove translator... (mem: 4111.18 MiB) 15:16:17 [15:16:17.440] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4111.18 MiB) 15:16:17 [15:16:17.952] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 18 rounds of sumcheck (mem: 4111.18 MiB) 15:16:18 [15:16:18.752] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4111.18 MiB) 15:16:18 [15:16:18.753] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished translator proving. (mem: 4111.18 MiB) 15:16:29 [15:16:29.104] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created circuit (mem: 4111.18 MiB) 15:16:29 Constructing DeciderProvingKey (mem: 4111.18 MiB) 15:16:30 [15:16:30.954] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 4111.18 MiB) 15:16:31 [15:16:31.089] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 6724.87 MiB) 15:16:32 [15:16:32.893] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 3789 ms. (mem: 6983.87 MiB) 15:16:33 [15:16:33.150] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6983.87 MiB) 15:16:34 [15:16:34.300] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7568.98 MiB) 15:16:36 [15:16:36.451] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 7568.98 MiB) 15:16:37 [15:16:37.048] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 7647.12 MiB) 15:16:37 [15:16:37.876] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 22 rounds of sumcheck (mem: 7647.12 MiB) 15:16:41 [15:16:41.524] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 8220.94 MiB) 15:16:42 [15:16:42.311] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 8220.94 MiB) 15:16:47 [15:16:47.941] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs saved to "/tmp/bb-avm-integration-U52yJC/public_inputs" (mem: 8220.94 MiB) 15:16:47 [15:16:47.941] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs fields saved to "/tmp/bb-avm-integration-U52yJC/public_inputs_fields.json" (mem: 8220.94 MiB) 15:16:47 Proof saved to "/tmp/bb-avm-integration-U52yJC/proof" (mem: 8220.94 MiB) 15:16:47 Proof fields saved to "/tmp/bb-avm-integration-U52yJC/proof_fields.json" (mem: 8220.94 MiB) 15:16:47 VK saved to "/tmp/bb-avm-integration-U52yJC/vk" (mem: 8220.94 MiB) 15:16:47 [15:16:47.942] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - VK fields saved to "/tmp/bb-avm-integration-U52yJC/vk_fields.json" (mem: 8220.94 MiB) 15:16:48 [15:16:48.489] INFO: ivc-integration:test:avm-integration Successfully verified proof from key in 252.3538639999897 ms 15:16:48 PASS src/avm_integration.test.ts (129.939 s) 15:16:48 AVM Integration 15:16:48 ✓ Should generate and verify an ultra honk proof from an AVM verification (69671 ms) 15:16:48 15:16:48 Test Suites: 1 passed, 1 total 15:16:48 Tests: 1 passed, 1 total 15:16:48 Snapshots: 0 total 15:16:48 Time: 130.011 s 15:16:48 Ran all test suites matching /ivc-integration\/src\/avm_integration.test.ts/i. 15:16:48 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?