Parent Log: http://ci.aztec-labs.com/62cb07227cb8778b Command: 3cad4e1fd0756a5c:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/avm_integration.test.ts Commit: https://github.com/AztecProtocol/aztec-packages/commit/e9a2301883801edbe36ea8bba05dcca7e714f30a Env: REF_NAME=gh-readonly-queue/master/pr-15131-464e1a9d9b40b5188586643b44bc52bffccbc3e6 CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Wed Jun 18 12:47:41 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15131_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9b06efe76336a840_master 12:47:45 [12:47:45.517] INFO: ivc-integration:test:avm-integration inputsPath /tmp/bb-avm-integration-client-ivc-1c7Ugr/ivc-inputs.msgpack 12:47:45 [12:47:45.523] 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-1c7Ugr --ivc_inputs_path /tmp/bb-avm-integration-client-ivc-1c7Ugr/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:47:45 [12:47:45.545] INFO: ivc-integration:test:avm-integration bb - bb command: prove (mem: 191.89 MiB) 12:47:45 Scheme is: client_ivc, num threads: 128 12:47:45 [12:47:45.546] INFO: ivc-integration:test:avm-integration bb - (mem: 191.89 MiB) 12:47:45 --scheme: client_ivc (mem: 191.89 MiB) 12:47:45 --output_path: /tmp/bb-avm-integration-client-ivc-1c7Ugr (mem: 191.89 MiB) 12:47:45 --ivc_inputs_path: /tmp/bb-avm-integration-client-ivc-1c7Ugr/ivc-inputs.msgpack (mem: 191.89 MiB) 12:47:45 --verbose: true (mem: 191.89 MiB) 12:47:45 --write_vk: true (mem: 191.89 MiB) 12:47:45 BN254 commitment key size: 262144 (mem: 191.89 MiB) 12:47:45 [12:47:45.650] 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: 247.00 MiB) 12:47:45 [12:47:45.736] INFO: ivc-integration:test:avm-integration bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 295.88 MiB) 12:47:45 [12:47:45.741] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_0 (mem: 295.88 MiB) 12:47:45 Constructing DeciderProvingKey (mem: 12:47:45 [12:47:45.741] INFO: ivc-integration:test:avm-integration bb - 295.88 MiB) 12:47:45 [12:47:45.746] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 295.88 MiB) 12:47:45 goblin ecc op : 4/1024 (mem: 295.88 MiB) 12:47:45 busread : 7/6000 (mem: 295.88 MiB) 12:47:45 lookups : 2/15000 (mem: 295.88 MiB) 12:47:45 [12:47:45.749] INFO: ivc-integration:test:avm-integration bb - pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.88 MiB) 12:47:45 arithmetic : 1760/56000 (mem: 295.88 MiB) 12:47:45 delta range : 1754/18000 (mem: 295.88 MiB) 12:47:45 elliptic : 2/6000 (mem: 295.88 MiB) 12:47:45 auxiliary : 26/26000 (mem: 295.88 MiB) 12:47:45 poseidon ext : 2/17000 (mem: 295.88 MiB) 12:47:45 poseidon int : 2/92000 (mem: 295.88 MiB) 12:47:45 overflow : 0/0 (mem: 295.88 MiB) 12:47:45 (mem: 295.88 MiB) 12:47:45 Total structured size: 242025 (mem: 295.88 MiB) 12:47:45 allocating polynomials object in proving key... (mem: 295.88 MiB) 12:47:45 [12:47:45.891] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 492.04 MiB) 12:47:45 [12:47:45.915] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 173 ms. (mem: 509.04 MiB) 12:47:46 [12:47:46.016] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x5941efc37840 (mem: 509.04 MiB) 12:47:46 computing oink proof... (mem: 509.04 MiB) 12:47:46 [12:47:46.348] INFO: ivc-integration:test:avm-integration bb - oink proof constructed (mem: 512.04 MiB) 12:47:46 [12:47:46.376] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_1 (mem: 513.04 MiB) 12:47:46 Constructing DeciderProvingKey (mem: 513.04 MiB) 12:47:46 [12:47:46.379] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 513.04 MiB) 12:47:46 goblin ecc op : 56/1024 (mem: 513.04 MiB) 12:47:46 busread : 12/6000 (mem: 513.04 MiB) 12:47:46 [12:47:46.381] INFO: ivc-integration:test:avm-integration bb - lookups : 2/15000 (mem: 513.04 MiB) 12:47:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 513.04 MiB) 12:47:46 arithmetic : 4225/56000 (mem: 513.04 MiB) 12:47:46 delta range : 2043/18000 (mem: 513.04 MiB) 12:47:46 elliptic : 2/6000 (mem: 513.04 MiB) 12:47:46 auxiliary : 110/26000 (mem: 513.04 MiB) 12:47:46 poseidon ext : 882/17000 (mem: 513.04 MiB) 12:47:46 poseidon int : 5018/92000 (mem: 513.04 MiB) 12:47:46 overflow : 0/0 (mem: 513.04 MiB) 12:47:46 (mem: 513.04 MiB) 12:47:46 Total structured size: 242025 (mem: 513.04 MiB) 12:47:46 allocating polynomials object in proving key... (mem: 513.04 MiB) 12:47:46 [12:47:46.502] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 726.04 MiB) 12:47:46 [12:47:46.526] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 149 ms. (mem: 742.04 MiB) 12:47:46 [12:47:46.624] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x5941efc51f00 (mem: 742.04 MiB) 12:47:46 computing folding proof (mem: 742.04 MiB) 12:47:46 [12:47:46.969] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 742.04 MiB) 12:47:47 [12:47:47.097] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 780.04 MiB) 12:47:47 [12:47:47.156] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 812.04 MiB) 12:47:47 [12:47:47.690] INFO: ivc-integration:test:avm-integration bb - folded (mem: 812.04 MiB) 12:47:47 constructed folding proof (mem: 812.04 MiB) 12:47:47 [12:47:47.772] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_2 (mem: 812.04 MiB) 12:47:47 Constructing DeciderProvingKey (mem: 812.04 MiB) 12:47:47 [12:47:47.780] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 812.04 MiB) 12:47:47 goblin ecc op : 392/1024 (mem: 812.04 MiB) 12:47:47 busread : 3/6000 (mem: 812.04 MiB) 12:47:47 lookups : 2/15000 (mem: 812.04 MiB) 12:47:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 812.04 MiB) 12:47:47 arithmetic : 6440/56000 (mem: 812.04 MiB) 12:47:47 delta range : 2323/18000 (mem: 812.04 MiB) 12:47:47 elliptic : 2/6000 (mem: 812.04 MiB) 12:47:47 auxiliary : 50/26000 (mem: 812.04 MiB) 12:47:47 poseidon ext : 2042/17000 (mem: 812.04 MiB) 12:47:47 poseidon int : 11630/92000 (mem: 812.04 MiB) 12:47:47 overflow : 0/0 (mem: 812.04 MiB) 12:47:47 (mem: 812.04 MiB) 12:47:47 Total structured size: 242025 (mem: 812.04 MiB) 12:47:47 allocating polynomials object in proving key... (mem: 812.04 MiB) 12:47:47 [12:47:47.921] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 812.04 MiB) 12:47:47 [12:47:47.951] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 178 ms. (mem: 812.04 MiB) 12:47:48 [12:47:48.084] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x5941efc393c0 (mem: 812.04 MiB) 12:47:48 computing folding proof (mem: 812.04 MiB) 12:47:48 [12:47:48.518] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 812.04 MiB) 12:47:48 [12:47:48.583] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 812.04 MiB) 12:47:48 [12:47:48.645] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 821.13 MiB) 12:47:48 [12:47:48.973] INFO: ivc-integration:test:avm-integration bb - folded (mem: 821.13 MiB) 12:47:48 constructed folding proof (mem: 821.13 MiB) 12:47:48 [12:47:48.974] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 22492 gates. Trace details: (mem: 821.13 MiB) 12:47:48 Minimum required block sizes for structured trace: (mem: 821.13 MiB) 12:47:48 (mem: 821.13 MiB) 12:47:48 prove decider... (mem: 821.13 MiB) 12:47:48 finished decider proving. (mem: 821.13 MiB) 12:47:48 [12:47:48.975] INFO: ivc-integration:test:avm-integration bb - ecc_op : 392 12:47:48 busread : 12 12:47:48 lookup : 2 12:47:48 pub_inputs : 36 12:47:48 arithmetic : 6440 12:47:48 delta_range : 2323 12:47:48 elliptic : 2 12:47:48 aux : 110 12:47:48 poseidon2_external : 2042 12:47:48 poseidon2_internal : 11630 12:47:48 overflow : 0 12:47:49 [12:47:49.192] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 821.13 MiB) 12:47:49 [12:47:49.384] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 821.13 MiB) 12:47:50 [12:47:50.623] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 821.13 MiB) 12:47:50 [12:47:50.707] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 821.13 MiB) 12:47:50 [12:47:50.838] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 821.13 MiB) 12:47:50 [12:47:50.843] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 821.13 MiB) 12:47:50 [12:47:50.971] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 821.13 MiB) 12:47:51 [12:47:51.054] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 215 ms. (mem: 821.13 MiB) 12:47:52 [12:47:52.083] INFO: ivc-integration:test:avm-integration bb - created oink proof (mem: 821.13 MiB) 12:47:52 [12:47:52.456] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 821.13 MiB) 12:47:53 [12:47:53.438] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 821.13 MiB) 12:47:54 [12:47:54.205] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 821.13 MiB) 12:47:54 [12:47:54.240] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 821.13 MiB) 12:47:54 [12:47:54.370] INFO: ivc-integration:test:avm-integration bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 821.13 MiB) 12:47:54 prove eccvm... (mem: 821.13 MiB) 12:47:54 [12:47:54.687] 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: 821.13 MiB) 12:47:54 [12:47:54.699] INFO: ivc-integration:test:avm-integration bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 821.13 MiB) 12:47:56 [12:47:56.857] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 821.13 MiB) 12:47:57 [12:47:57.893] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 821.13 MiB) 12:48:01 [12:48:01.287] INFO: ivc-integration:test:avm-integration bb - finished eccvm proving. (mem: 821.13 MiB) 12:48:01 prove translator... (mem: 821.13 MiB) 12:48:02 [12:48:02.709] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 821.13 MiB) 12:48:03 [12:48:03.661] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 821.13 MiB) 12:48:04 [12:48:04.877] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 821.13 MiB) 12:48:04 [12:48:04.878] INFO: ivc-integration:test:avm-integration bb - finished translator proving. (mem: 821.13 MiB) 12:48:04 [12:48:04.895] INFO: ivc-integration:test:avm-integration bb - Mega verified: 1 (mem: 821.13 MiB) 12:48:04 [12:48:04.951] INFO: ivc-integration:test:avm-integration bb - eccvm sumcheck verified?: 1 (mem: 821.13 MiB) 12:48:04 batch opening verified?: 1 (mem: 821.13 MiB) 12:48:04 eccvm consistency check verified?: 1 (mem: 821.13 MiB) 12:48:04 translation masking consistency checked?: 1 (mem: 821.13 MiB) 12:48:04 [12:48:04.970] INFO: ivc-integration:test:avm-integration bb - merge verified?: 1 (mem: 822.00 MiB) 12:48:04 eccvm verified?: 1 (mem: 822.00 MiB) 12:48:04 accumulator construction_verified?: 1 (mem: 822.00 MiB) 12:48:04 translation verified?: 1 (mem: 822.00 MiB) 12:48:04 consistency verified?: 1 (mem: 822.00 MiB) 12:48:04 Goblin verified: 1 (mem: 822.00 MiB) 12:48:04 [12:48:04.971] INFO: ivc-integration:test:avm-integration bb - writing ClientIVC proof in directory "/tmp/bb-avm-integration-client-ivc-1c7Ugr" (mem: 822.00 MiB) 12:48:04 writing ClientIVC vk in directory "/tmp/bb-avm-integration-client-ivc-1c7Ugr" (mem: 822.00 MiB) 12:48:04 num_public_inputs_in_final_circuit: 4 (mem: 822.00 MiB) 12:48:04 BN254 commitment key size: 262144 (mem: 822.00 MiB) 12:48:04 [12:48:04.973] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 822.00 MiB) 12:48:04 [12:48:04.975] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.00 MiB) 12:48:04 goblin ecc op : 4/1024 (mem: 822.00 MiB) 12:48:04 [12:48:04.976] INFO: ivc-integration:test:avm-integration bb - busread : 3/6000 (mem: 822.00 MiB) 12:48:04 lookups : 2/15000 (mem: 822.00 MiB) 12:48:04 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 822.00 MiB) 12:48:04 arithmetic : 1773/56000 (mem: 822.00 MiB) 12:48:04 delta range : 1754/18000 (mem: 822.00 MiB) 12:48:04 elliptic : 2/6000 (mem: 822.00 MiB) 12:48:04 auxiliary : 26/26000 (mem: 822.00 MiB) 12:48:04 poseidon ext : 2/17000 (mem: 822.00 MiB) 12:48:04 poseidon int : 2/92000 (mem: 822.00 MiB) 12:48:04 overflow : 0/0 (mem: 822.00 MiB) 12:48:04 (mem: 822.00 MiB) 12:48:04 Total structured size: 242025 (mem: 822.00 MiB) 12:48:04 allocating polynomials object in proving key... (mem: 822.00 MiB) 12:48:05 [12:48:05.090] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 822.00 MiB) 12:48:05 [12:48:05.097] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 124 ms. (mem: 822.00 MiB) 12:48:05 [12:48:05.134] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 822.00 MiB) 12:48:05 [12:48:05.660] INFO: ivc-integration:test:avm-integration bb - computing oink proof... (mem: 822.00 MiB) 12:48:05 [12:48:05.849] INFO: ivc-integration:test:avm-integration bb - oink proof constructed (mem: 822.00 MiB) 12:48:05 [12:48:05.867] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 822.00 MiB) 12:48:05 [12:48:05.873] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.00 MiB) 12:48:05 goblin ecc op : 56/1024 (mem: 822.00 MiB) 12:48:05 busread : 3/6000 (mem: 822.00 MiB) 12:48:05 lookups : 2/15000 (mem: 822.00 MiB) 12:48:05 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 822.00 MiB) 12:48:05 arithmetic : 4072/56000 (mem: 822.00 MiB) 12:48:05 delta range : 2030/18000 (mem: 822.00 MiB) 12:48:05 elliptic : 2/6000 (mem: 822.00 MiB) 12:48:05 auxiliary : 50/26000 (mem: 822.00 MiB) 12:48:05 poseidon ext : 882/17000 (mem: 822.00 MiB) 12:48:05 poseidon int : 5018/92000 (mem: 822.00 MiB) 12:48:05 overflow : 0/0 (mem: 822.00 MiB) 12:48:05 (mem: 822.00 MiB) 12:48:05 Total structured size: 242025 (mem: 822.00 MiB) 12:48:05 allocating polynomials object in proving key... (mem: 822.00 MiB) 12:48:05 [12:48:05.943] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 910.00 MiB) 12:48:05 [12:48:05.965] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 97 ms. (mem: 910.00 MiB) 12:48:06 [12:48:06.037] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 910.00 MiB) 12:48:06 [12:48:06.628] INFO: ivc-integration:test:avm-integration bb - computing folding proof (mem: 910.00 MiB) 12:48:06 [12:48:06.865] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 919.00 MiB) 12:48:06 [12:48:06.928] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 919.00 MiB) 12:48:06 [12:48:06.982] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 951.00 MiB) 12:48:07 [12:48:07.166] INFO: ivc-integration:test:avm-integration bb - folded (mem: 951.00 MiB) 12:48:07 constructed folding proof (mem: 951.00 MiB) 12:48:07 [12:48:07.179] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 12059 gates. Trace details: (mem: 951.00 MiB) 12:48:07 Minimum required block sizes for structured trace: (mem: 951.00 MiB) 12:48:07 [12:48:07.179] INFO: ivc-integration:test:avm-integration bb - (mem: 951.00 MiB) 12:48:07 prove decider... (mem: 951.00 MiB) 12:48:07 finished decider proving. (mem: 951.00 MiB) 12:48:07 [12:48:07.180] INFO: ivc-integration:test:avm-integration bb - ecc_op : 56 12:48:07 busread : 3 12:48:07 lookup : 2 12:48:07 pub_inputs : 36 12:48:07 arithmetic : 4072 12:48:07 delta_range : 2030 12:48:07 elliptic : 2 12:48:07 aux : 50 12:48:07 poseidon2_external : 882 12:48:07 poseidon2_internal : 5018 12:48:07 overflow : 0 12:48:07 [12:48:07.321] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 951.00 MiB) 12:48:07 [12:48:07.450] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 951.00 MiB) 12:48:07 [12:48:07.994] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 951.00 MiB) 12:48:08 [12:48:08.056] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 951.00 MiB) 12:48:08 [12:48:08.169] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 951.00 MiB) 12:48:08 [12:48:08.172] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... 12:48:08 [12:48:08.172] INFO: ivc-integration:test:avm-integration bb - (mem: 12:48:08 [12:48:08.173] INFO: ivc-integration:test:avm-integration bb - 951.00 12:48:08 [12:48:08.173] INFO: ivc-integration:test:avm-integration bb - MiB) 12:48:08 [12:48:08.174] INFO: ivc-integration:test:avm-integration bb - 12:48:08 [12:48:08.327] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 951.00 MiB) 12:48:08 [12:48:08.403] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 235 ms. (mem: 951.00 MiB) 12:48:08 [12:48:08.949] 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-1c7Ugr/proof -k /tmp/bb-avm-integration-client-ivc-1c7Ugr/vk -v 12:48:08 [12:48:08.972] INFO: ivc-integration:test:avm-integration bb command: verify (mem: 192.43 MiB) 12:48:08 Scheme is: client_ivc, num threads: 128 (mem: 192.43 MiB) 12:48:08 --proof_path: /tmp/bb-avm-integration-client-ivc-1c7Ugr/proof (mem: 192.43 MiB) 12:48:08 --vk_path: /tmp/bb-avm-integration-client-ivc-1c7Ugr/vk (mem: 192.43 MiB) 12:48:08 --verbose: true (mem: 192.43 MiB) 12:48:08 --scheme: client_ivc (mem: 192.43 MiB) 12:48:09 [12:48:09.058] 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: 192.43 MiB) 12:48:09 [12:48:09.083] INFO: ivc-integration:test:avm-integration Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 192.43 MiB) 12:48:09 [12:48:09.108] INFO: ivc-integration:test:avm-integration using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 192.43 MiB) 12:48:09 Initialized BN254 CRS from memory with num points = 1025 (mem: 192.43 MiB) 12:48:09 Mega verified: 1 (mem: 192.43 MiB) 12:48:09 [12:48:09.200] INFO: ivc-integration:test:avm-integration eccvm sumcheck verified?: 1 (mem: 192.43 MiB) 12:48:09 batch opening verified?: 1 (mem: 192.43 MiB) 12:48:09 eccvm consistency check verified?: 1 (mem: 192.43 MiB) 12:48:09 translation masking consistency checked?: 1 (mem: 192.43 MiB) 12:48:09 [12:48:09.249] INFO: ivc-integration:test:avm-integration merge verified?: 1 (mem: 192.43 MiB) 12:48:09 eccvm verified?: 1 (mem: 192.43 MiB) 12:48:09 accumulator construction_verified?: 1 (mem: 192.43 MiB) 12:48:09 translation verified?: 1 (mem: 192.43 MiB) 12:48:09 consistency verified?: 1 (mem: 192.43 MiB) 12:48:09 Goblin verified: 1 (mem: 192.43 MiB) 12:48:09 [12:48:09.250] INFO: ivc-integration:test:avm-integration verified: 1 (mem: 192.43 MiB) 12:48:09 [12:48:09.282] 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-1c7Ugr -k /tmp/bb-avm-integration-client-ivc-1c7Ugr/vk -v 12:48:09 [12:48:09.304] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - bb command: prove_tube (mem: 192.43 MiB) 12:48:09 Scheme is: ultra_honk, num threads: 128 (mem: 192.43 MiB) 12:48:09 --verbose: true (mem: 192.43 MiB) 12:48:09 --vk_path: /tmp/bb-avm-integration-client-ivc-1c7Ugr/vk (mem: 192.43 MiB) 12:48:09 --output_path: /tmp/bb-avm-integration-client-ivc-1c7Ugr (mem: 192.43 MiB) 12:48:09 [12:48:09.397] 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: 192.43 MiB) 12:48:09 [12:48:09.419] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 192.43 MiB) 12:48:18 [12:48:18.755] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Constructing DeciderProvingKey (mem: 1521.26 MiB) 12:48:20 [12:48:20.274] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1656.18 MiB) 12:48:20 [12:48:20.490] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - populating trace... (mem: 5191.18 MiB) 12:48:21 [12:48:21.951] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - time to construct proving key: 3191 ms. (mem: 5701.18 MiB) 12:48:22 [12:48:22.080] 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: 7422.35 MiB) 12:48:23 [12:48:23.604] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 8190.10 MiB) 12:48:25 [12:48:25.921] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - created oink proof (mem: 8190.10 MiB) 12:48:26 [12:48:26.632] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - starting sumcheck rounds... (mem: 8276.80 MiB) 12:48:27 [12:48:27.772] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - completed 22 rounds of sumcheck 12:48:27 [12:48:27.773] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - (mem: 12:48:27 [12:48:27.775] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - 8276.80 MiB) 12:48:32 [12:48:32.786] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction (mem: 8970.59 MiB) 12:48:33 [12:48:33.762] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - computed opening proof (mem: 8970.59 MiB) 12:48:38 [12:48:38.520] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8970.59 MiB) 12:48:38 [12:48:38.521] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8970.59 MiB) 12:48:38 [12:48:38.579] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Tube proof verification: 1 (mem: 8970.59 MiB) 12:48:39 [12:48:39.889] INFO: ivc-integration:test:avm-integration Successfully verified proof from key in 218.8469780000014 ms 12:48:39 [12:48:39.901] INFO: world-state:database Creating world state data store at directory /tmp/aztec-world-state-ws8XTI/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads. 12:49:05 [12:49:05.436] 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-nmzzJy -b /tmp/bb-avm-integration-nmzzJy/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-avm-integration-nmzzJy/witness.gz -v --init_kzg_accumulator 12:49:05 [12:49:05.460] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - bb command: prove (mem: 195.04 MiB) 12:49:05 Scheme is: ultra_honk, num threads: 128 (mem: 195.04 MiB) 12:49:05 --scheme: ultra_honk (mem: 195.04 MiB) 12:49:05 --bytecode_path: /tmp/bb-avm-integration-nmzzJy/MockRollupBasePublicCircuit-bytecode (mem: 195.04 MiB) 12:49:05 --witness_path: /tmp/bb-avm-integration-nmzzJy/witness.gz (mem: 195.04 MiB) 12:49:05 --output_path: /tmp/bb-avm-integration-nmzzJy (mem: 195.04 MiB) 12:49:05 --verbose: true (mem: 195.04 MiB) 12:49:05 --oracle_hash: poseidon2 (mem: 195.04 MiB) 12:49:05 --output_format: bytes_and_fields (mem: 195.04 MiB) 12:49:05 --write_vk: true (mem: 195.04 MiB) 12:49:05 --init_kzg_accumulator: true (mem: 195.04 MiB) 12:49:05 --ipa_accumulation: true (mem: 195.04 MiB) 12:49:09 [12:49:09.669] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1135.31 MiB) 12:49:09 [12:49:09.672] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 (mem: 1136.31 MiB) 12:49:09 [12:49:09.676] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 1 (mem: 1136.31 MiB) 12:49:09 [12:49:09.679] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 2 (mem: 1137.31 MiB) 12:49:09 [12:49:09.682] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 3 (mem: 1137.31 MiB) 12:49:09 [12:49:09.979] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1170.31 MiB) 12:49:09 [12:49:09.984] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 1172.31 MiB) 12:49:10 [12:49:10.158] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 2985.31 MiB) 12:49:10 [12:49:10.629] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 650 ms. (mem: 3058.31 MiB) 12:49:10 [12:49:10.660] 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: 3467.20 MiB) 12:49:10 [12:49:10.991] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049601 (mem: 3659.20 MiB) 12:49:12 [12:49:12.600] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 3673.25 MiB) 12:49:12 [12:49:12.859] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4111.34 MiB) 12:49:13 [12:49:13.186] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4111.34 MiB) 12:49:14 [12:49:14.513] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4111.34 MiB) 12:49:14 [12:49:14.759] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4111.34 MiB) 12:49:14 [12:49:14.840] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4111.34 MiB) 12:49:14 prove eccvm... (mem: 4111.34 MiB) 12:49:15 [12:49:15.079] 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.34 MiB) 12:49:15 [12:49:15.090] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 4111.34 MiB) 12:49:16 [12:49:16.192] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4111.34 MiB) 12:49:16 [12:49:16.623] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4111.34 MiB) 12:49:18 [12:49:18.029] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4111.34 MiB) 12:49:18 prove translator... (mem: 4111.34 MiB) 12:49:18 [12:49:18.758] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4111.34 MiB) 12:49:19 [12:49:19.224] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 18 rounds of sumcheck (mem: 4111.34 MiB) 12:49:19 [12:49:19.914] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4111.34 MiB) 12:49:19 [12:49:19.915] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished translator proving. (mem: 4111.34 MiB) 12:49:30 [12:49:30.612] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created circuit (mem: 4111.34 MiB) 12:49:30 [12:49:30.612] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 4111.34 MiB) 12:49:32 [12:49:32.481] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 4111.34 MiB) 12:49:32 [12:49:32.595] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 6710.95 MiB) 12:49:34 [12:49:34.252] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 3637 ms. (mem: 6950.95 MiB) 12:49:34 [12:49:34.655] 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: 6950.95 MiB) 12:49:35 [12:49:35.819] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7613.47 MiB) 12:49:38 [12:49:38.037] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 7613.47 MiB) 12:49:38 [12:49:38.663] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 7621.84 MiB) 12:49:39 [12:49:39.573] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 22 rounds of sumcheck (mem: 7621.84 MiB) 12:49:43 [12:49:43.231] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 8237.25 MiB) 12:49:44 [12:49:44.123] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof 12:49:44 [12:49:44.124] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 8237.25 MiB) 12:49:48 [12:49:48.937] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs saved to "/tmp/bb-avm-integration-nmzzJy/public_inputs" (mem: 8237.25 MiB) 12:49:48 Public inputs fields saved to "/tmp/bb-avm-integration-nmzzJy/public_inputs_fields.json" (mem: 8237.25 MiB) 12:49:48 Proof saved to "/tmp/bb-avm-integration-nmzzJy/proof" (mem: 8237.25 MiB) 12:49:48 Proof fields saved to "/tmp/bb-avm-integration-nmzzJy/proof_fields.json" (mem: 8237.25 MiB) 12:49:48 VK saved to "/tmp/bb-avm-integration-nmzzJy/vk" (mem: 8237.25 MiB) 12:49:48 VK fields saved to "/tmp/bb-avm-integration-nmzzJy/vk_fields.json" (mem: 8237.25 MiB) 12:49:49 [12:49:49.541] INFO: ivc-integration:test:avm-integration Successfully verified proof from key in 288.17618599999696 ms 12:49:49 PASS src/avm_integration.test.ts (127.628 s) 12:49:49 AVM Integration 12:49:49 ✓ Should generate and verify an ultra honk proof from an AVM verification (69652 ms) 12:49:49 12:49:49 Test Suites: 1 passed, 1 total 12:49:49 Tests: 1 passed, 1 total 12:49:49 Snapshots: 0 total 12:49:49 Time: 127.712 s 12:49:49 Ran all test suites matching /ivc-integration\/src\/avm_integration.test.ts/i. 12:49:49 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?