Parent Log: http://ci.aztec-labs.com/7ea8a95c2d722890 Command: e49a94ea893520f8: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=0 Date: Wed Jun 18 12:51:22 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15131_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9b06efe76336a840_master 12:51:25 [12:51:25.614] INFO: ivc-integration:test:avm-integration inputsPath /tmp/bb-avm-integration-client-ivc-dXfwQT/ivc-inputs.msgpack 12:51:25 [12:51:25.618] 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-dXfwQT --ivc_inputs_path /tmp/bb-avm-integration-client-ivc-dXfwQT/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 12:51:25 [12:51:25.634] INFO: ivc-integration:test:avm-integration bb - bb command: prove (mem: 198.62 MiB) 12:51:25 [12:51:25.634] INFO: ivc-integration:test:avm-integration bb - Scheme is: client_ivc, num threads: 64 (mem: 198.62 MiB) 12:51:25 --scheme: client_ivc (mem: 198.62 MiB) 12:51:25 --output_path: /tmp/bb-avm-integration-client-ivc-dXfwQT (mem: 198.62 MiB) 12:51:25 --ivc_inputs_path: /tmp/bb-avm-integration-client-ivc-dXfwQT/ivc-inputs.msgpack (mem: 198.62 MiB) 12:51:25 --verbose: true (mem: 198.62 MiB) 12:51:25 --write_vk: true (mem: 198.62 MiB) 12:51:25 [12:51:25.635] INFO: ivc-integration:test:avm-integration bb - BN254 commitment key size: 262144 (mem: 198.62 MiB) 12:51:25 [12:51:25.667] 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: 198.62 MiB) 12:51:25 [12:51:25.734] INFO: ivc-integration:test:avm-integration bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 245.02 MiB) 12:51:25 ClientIVC: accumulating unknown_0 (mem: 245.02 MiB) 12:51:25 Constructing DeciderProvingKey (mem: 245.02 MiB) 12:51:25 [12:51:25.738] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 245.02 MiB) 12:51:25 goblin ecc op : 4/1024 (mem: 245.02 MiB) 12:51:25 busread : 7/6000 (mem: 245.02 MiB) 12:51:25 lookups : 2/15000 (mem: 245.02 MiB) 12:51:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 245.02 MiB) 12:51:25 arithmetic : 1760/56000 (mem: 245.02 MiB) 12:51:25 delta range : 1754/18000 (mem: 245.02 MiB) 12:51:25 elliptic : 2/6000 (mem: 245.02 MiB) 12:51:25 auxiliary : 26/26000 (mem: 245.02 MiB) 12:51:25 poseidon ext : 2/17000 (mem: 245.02 MiB) 12:51:25 poseidon int : 2/92000 (mem: 245.02 MiB) 12:51:25 overflow : 0/0 (mem: 245.02 MiB) 12:51:25 (mem: 245.02 MiB) 12:51:25 Total structured size: 242025 (mem: 245.02 MiB) 12:51:25 allocating polynomials object in proving key... (mem: 245.02 MiB) 12:51:25 [12:51:25.821] INFO: ivc-integration:test:avm-integration bb - populating trace... 12:51:25 [12:51:25.822] INFO: ivc-integration:test:avm-integration bb - (mem: 452.11 MiB) 12:51:25 [12:51:25.843] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 108 ms. (mem: 466.61 MiB) 12:51:25 [12:51:25.873] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xacac77289800 12:51:25 [12:51:25.874] INFO: ivc-integration:test:avm-integration bb - (mem: 12:51:25 [12:51:25.875] INFO: ivc-integration:test:avm-integration bb - 466.61 MiB) 12:51:25 computing oink proof... (mem: 466.61 MiB) 12:51:26 [12:51:26.091] INFO: ivc-integration:test:avm-integration bb - oink proof constructed 12:51:26 [12:51:26.092] INFO: ivc-integration:test:avm-integration bb - (mem: 12:51:26 [12:51:26.093] INFO: ivc-integration:test:avm-integration bb - 466.61 MiB) 12:51:26 [12:51:26.110] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_1 (mem: 467.61 MiB) 12:51:26 Constructing DeciderProvingKey (mem: 467.61 MiB) 12:51:26 Gate blocks summary: (actual gates / fixed capacity) (mem: 467.61 MiB) 12:51:26 goblin ecc op : 56/1024 (mem: 467.61 MiB) 12:51:26 busread : 12/6000 (mem: 467.61 MiB) 12:51:26 lookups : 2/15000 (mem: 467.61 MiB) 12:51:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 467.61 MiB) 12:51:26 arithmetic : 4225/56000 (mem: 467.61 MiB) 12:51:26 delta range : 2043/18000 (mem: 467.61 MiB) 12:51:26 elliptic : 2/6000 (mem: 467.61 MiB) 12:51:26 auxiliary : 110/26000 (mem: 467.61 MiB) 12:51:26 poseidon ext : 882/17000 (mem: 467.61 MiB) 12:51:26 poseidon int : 5018/92000 (mem: 467.61 MiB) 12:51:26 overflow : 0/0 (mem: 467.61 MiB) 12:51:26 (mem: 467.61 MiB) 12:51:26 Total structured size: 242025 (mem: 467.61 MiB) 12:51:26 allocating polynomials object in proving key... (mem: 467.61 MiB) 12:51:26 [12:51:26.166] INFO: ivc-integration:test:avm-integration bb - populating trace... 12:51:26 [12:51:26.166] INFO: ivc-integration:test:avm-integration bb - (mem: 12:51:26 [12:51:26.168] INFO: ivc-integration:test:avm-integration bb - 688.11 MiB) 12:51:26 [12:51:26.180] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 71 ms. (mem: 705.61 MiB) 12:51:26 [12:51:26.223] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xacac772a19c0 (mem: 705.61 MiB) 12:51:26 computing folding proof (mem: 705.61 MiB) 12:51:26 [12:51:26.446] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 705.61 MiB) 12:51:26 [12:51:26.535] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 743.11 MiB) 12:51:26 [12:51:26.583] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 775.11 MiB) 12:51:26 [12:51:26.894] INFO: ivc-integration:test:avm-integration bb - folded (mem: 775.11 MiB) 12:51:26 constructed folding proof (mem: 775.11 MiB) 12:51:26 [12:51:26.947] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_2 (mem: 775.11 MiB) 12:51:26 Constructing DeciderProvingKey (mem: 775.11 MiB) 12:51:26 [12:51:26.949] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 775.11 MiB) 12:51:26 goblin ecc op : 392/1024 (mem: 775.11 MiB) 12:51:26 busread : 3/6000 (mem: 775.11 MiB) 12:51:26 lookups : 2/15000 (mem: 775.11 MiB) 12:51:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 775.11 MiB) 12:51:26 arithmetic : 6440/56000 (mem: 775.11 MiB) 12:51:26 delta range : 2323/18000 (mem: 775.11 MiB) 12:51:26 elliptic : 2/6000 (mem: 775.11 MiB) 12:51:26 auxiliary : 50/26000 (mem: 775.11 MiB) 12:51:26 poseidon ext : 2042/17000 (mem: 775.11 MiB) 12:51:26 poseidon int : 11630/92000 (mem: 775.11 MiB) 12:51:26 overflow : 0/0 (mem: 775.11 MiB) 12:51:26 (mem: 775.11 MiB) 12:51:26 Total structured size: 242025 (mem: 775.11 MiB) 12:51:26 allocating polynomials object in proving key... (mem: 775.11 MiB) 12:51:26 [12:51:26.996] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 775.11 MiB) 12:51:27 [12:51:27.010] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 62 ms. (mem: 775.11 MiB) 12:51:27 [12:51:27.063] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0xacac77282480 (mem: 775.11 MiB) 12:51:27 computing folding proof (mem: 775.11 MiB) 12:51:27 [12:51:27.360] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 775.11 MiB) 12:51:27 [12:51:27.405] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 775.11 MiB) 12:51:27 [12:51:27.453] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 784.46 MiB) 12:51:27 [12:51:27.664] INFO: ivc-integration:test:avm-integration bb - folded (mem: 784.46 MiB) 12:51:27 constructed folding proof (mem: 784.46 MiB) 12:51:27 [12:51:27.664] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 22492 gates. Trace details: (mem: 784.46 MiB) 12:51:27 Minimum required block sizes for structured trace: (mem: 784.46 MiB) 12:51:27 (mem: 784.46 MiB) 12:51:27 prove decider... (mem: 784.46 MiB) 12:51:27 finished decider proving. (mem: 784.46 MiB) 12:51:27 [12:51:27.665] INFO: ivc-integration:test:avm-integration bb - ecc_op : 392 12:51:27 busread : 12 12:51:27 lookup : 2 12:51:27 pub_inputs : 36 12:51:27 arithmetic : 6440 12:51:27 delta_range : 2323 12:51:27 elliptic : 2 12:51:27 aux : 110 12:51:27 poseidon2_external : 2042 12:51:27 poseidon2_internal : 11630 12:51:27 overflow : 0 12:51:27 [12:51:27.756] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.46 MiB) 12:51:27 [12:51:27.857] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 784.46 MiB) 12:51:28 [12:51:28.470] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 784.46 MiB) 12:51:28 [12:51:28.557] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 784.46 MiB) 12:51:28 [12:51:28.629] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey 12:51:28 [12:51:28.631] INFO: ivc-integration:test:avm-integration bb - (mem: 784.46 MiB) 12:51:28 [12:51:28.634] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 784.46 MiB) 12:51:28 [12:51:28.721] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 784.46 MiB) 12:51:28 [12:51:28.754] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 121 ms. (mem: 784.46 MiB) 12:51:29 [12:51:29.467] INFO: ivc-integration:test:avm-integration bb - created oink proof (mem: 784.46 MiB) 12:51:29 [12:51:29.590] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.46 MiB) 12:51:29 [12:51:29.973] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 784.46 MiB) 12:51:30 [12:51:30.353] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 784.46 MiB) 12:51:30 [12:51:30.382] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 784.46 MiB) 12:51:30 [12:51:30.535] INFO: ivc-integration:test:avm-integration bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 784.46 MiB) 12:51:30 prove eccvm... (mem: 784.46 MiB) 12:51:30 [12:51:30.647] 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: 784.46 MiB) 12:51:30 [12:51:30.659] INFO: ivc-integration:test:avm-integration bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 784.46 MiB) 12:51:32 [12:51:32.078] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.46 MiB) 12:51:32 [12:51:32.684] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 784.46 MiB) 12:51:34 [12:51:34.248] INFO: ivc-integration:test:avm-integration bb - finished eccvm proving. (mem: 784.46 MiB) 12:51:34 prove translator... (mem: 784.46 MiB) 12:51:35 [12:51:35.251] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 784.46 MiB) 12:51:35 [12:51:35.591] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 784.46 MiB) 12:51:36 [12:51:36.550] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 784.46 MiB) 12:51:36 [12:51:36.550] INFO: ivc-integration:test:avm-integration bb - finished translator proving. (mem: 784.46 MiB) 12:51:36 [12:51:36.566] INFO: ivc-integration:test:avm-integration bb - Mega verified: 1 (mem: 784.46 MiB) 12:51:36 [12:51:36.606] INFO: ivc-integration:test:avm-integration bb - eccvm sumcheck verified?: 1 (mem: 784.46 MiB) 12:51:36 batch opening verified?: 1 (mem: 784.46 MiB) 12:51:36 eccvm consistency check verified?: 1 (mem: 784.46 MiB) 12:51:36 translation masking consistency checked?: 1 (mem: 784.46 MiB) 12:51:36 [12:51:36.625] INFO: ivc-integration:test:avm-integration bb - merge verified?: 1 (mem: 784.46 MiB) 12:51:36 eccvm verified?: 1 (mem: 784.46 MiB) 12:51:36 accumulator construction_verified?: 1 (mem: 784.46 MiB) 12:51:36 translation verified?: 1 (mem: 784.46 MiB) 12:51:36 consistency verified?: 1 (mem: 784.46 MiB) 12:51:36 [12:51:36.625] INFO: ivc-integration:test:avm-integration bb - Goblin verified: 1 (mem: 784.46 MiB) 12:51:36 writing ClientIVC proof in directory "/tmp/bb-avm-integration-client-ivc-dXfwQT" (mem: 784.46 MiB) 12:51:36 writing ClientIVC vk in directory "/tmp/bb-avm-integration-client-ivc-dXfwQT" (mem: 784.46 MiB) 12:51:36 [12:51:36.626] INFO: ivc-integration:test:avm-integration bb - num_public_inputs_in_final_circuit: 4 (mem: 784.46 MiB) 12:51:36 BN254 commitment key size: 262144 (mem: 784.46 MiB) 12:51:36 [12:51:36.626] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 784.46 MiB) 12:51:36 [12:51:36.628] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 784.46 MiB) 12:51:36 goblin ecc op : 4/1024 (mem: 784.46 MiB) 12:51:36 [12:51:36.629] INFO: ivc-integration:test:avm-integration bb - busread : 3/6000 (mem: 784.46 MiB) 12:51:36 lookups : 2/15000 (mem: 784.46 MiB) 12:51:36 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 784.46 MiB) 12:51:36 arithmetic : 1773/56000 (mem: 784.46 MiB) 12:51:36 delta range : 1754/18000 (mem: 784.46 MiB) 12:51:36 elliptic : 2/6000 (mem: 784.46 MiB) 12:51:36 auxiliary : 26/26000 (mem: 784.46 MiB) 12:51:36 poseidon ext : 2/17000 (mem: 784.46 MiB) 12:51:36 poseidon int : 2/92000 (mem: 784.46 MiB) 12:51:36 overflow : 0/0 (mem: 784.46 MiB) 12:51:36 (mem: 784.46 MiB) 12:51:36 Total structured size: 242025 (mem: 784.46 MiB) 12:51:36 allocating polynomials object in proving key... (mem: 784.46 MiB) 12:51:36 [12:51:36.641] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 784.46 MiB) 12:51:36 [12:51:36.644] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 17 ms. (mem: 784.46 MiB) 12:51:36 [12:51:36.650] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 784.46 MiB) 12:51:37 [12:51:37.107] INFO: ivc-integration:test:avm-integration bb - computing oink proof... (mem: 784.46 MiB) 12:51:37 [12:51:37.163] INFO: ivc-integration:test:avm-integration bb - oink proof constructed (mem: 784.46 MiB) 12:51:37 [12:51:37.172] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 784.46 MiB) 12:51:37 [12:51:37.174] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 784.46 MiB) 12:51:37 goblin ecc op : 56/1024 (mem: 784.46 MiB) 12:51:37 busread : 3/6000 (mem: 784.46 MiB) 12:51:37 lookups : 2/15000 (mem: 784.46 MiB) 12:51:37 [12:51:37.174] INFO: ivc-integration:test:avm-integration bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 784.46 MiB) 12:51:37 arithmetic : 4072/56000 (mem: 784.46 MiB) 12:51:37 delta range : 2030/18000 (mem: 784.46 MiB) 12:51:37 elliptic : 2/6000 (mem: 784.46 MiB) 12:51:37 auxiliary : 50/26000 (mem: 784.46 MiB) 12:51:37 poseidon ext : 882/17000 (mem: 784.46 MiB) 12:51:37 poseidon int : 5018/92000 (mem: 784.46 MiB) 12:51:37 overflow : 0/0 (mem: 784.46 MiB) 12:51:37 (mem: 784.46 MiB) 12:51:37 Total structured size: 242025 (mem: 784.46 MiB) 12:51:37 allocating polynomials object in proving key... (mem: 784.46 MiB) 12:51:37 [12:51:37.199] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 852.70 MiB) 12:51:37 [12:51:37.208] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 36 ms. (mem: 852.70 MiB) 12:51:37 [12:51:37.222] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 852.70 MiB) 12:51:37 [12:51:37.676] INFO: ivc-integration:test:avm-integration bb - computing folding proof (mem: 852.70 MiB) 12:51:37 [12:51:37.906] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 861.70 MiB) 12:51:37 [12:51:37.963] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 861.70 MiB) 12:51:38 [12:51:38.001] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 893.70 MiB) 12:51:38 [12:51:38.114] INFO: ivc-integration:test:avm-integration bb - folded (mem: 893.70 MiB) 12:51:38 constructed folding proof (mem: 893.70 MiB) 12:51:38 [12:51:38.120] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 12059 gates. Trace details: 12:51:38 [12:51:38.121] INFO: ivc-integration:test:avm-integration bb - (mem: 893.70 MiB) 12:51:38 Minimum required block sizes for structured trace: (mem: 893.70 MiB) 12:51:38 (mem: 893.70 MiB) 12:51:38 prove decider... (mem: 893.70 MiB) 12:51:38 finished decider proving. (mem: 893.70 MiB) 12:51:38 [12:51:38.122] INFO: ivc-integration:test:avm-integration bb - ecc_op : 56 12:51:38 busread : 3 12:51:38 lookup : 2 12:51:38 pub_inputs : 36 12:51:38 arithmetic : 4072 12:51:38 delta_range : 2030 12:51:38 elliptic : 2 12:51:38 aux : 50 12:51:38 poseidon2_external : 882 12:51:38 poseidon2_internal : 5018 12:51:38 overflow : 0 12:51:38 [12:51:38.197] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 893.70 MiB) 12:51:38 [12:51:38.277] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 893.70 MiB) 12:51:38 [12:51:38.612] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 893.70 MiB) 12:51:38 [12:51:38.684] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 893.70 MiB) 12:51:38 [12:51:38.751] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 893.70 MiB) 12:51:38 [12:51:38.752] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 893.70 MiB) 12:51:38 [12:51:38.788] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 893.70 MiB) 12:51:38 [12:51:38.805] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 55 ms. (mem: 893.70 MiB) 12:51:39 [12:51:39.131] 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-dXfwQT/proof -k /tmp/bb-avm-integration-client-ivc-dXfwQT/vk -v 12:51:39 [12:51:39.144] INFO: ivc-integration:test:avm-integration bb command: verify (mem: 199.16 MiB) 12:51:39 Scheme is: client_ivc, num threads: 64 (mem: 199.16 MiB) 12:51:39 --proof_path: /tmp/bb-avm-integration-client-ivc-dXfwQT/proof (mem: 199.16 MiB) 12:51:39 --vk_path: /tmp/bb-avm-integration-client-ivc-dXfwQT/vk (mem: 199.16 MiB) 12:51:39 --verbose: true (mem: 199.16 MiB) 12:51:39 --scheme: client_ivc (mem: 199.16 MiB) 12:51:39 [12:51:39.169] 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: 199.16 MiB) 12:51:39 [12:51:39.184] INFO: ivc-integration:test:avm-integration Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 199.16 MiB) 12:51:39 [12:51:39.200] INFO: ivc-integration:test:avm-integration using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 199.16 MiB) 12:51:39 [12:51:39.201] INFO: ivc-integration:test:avm-integration Initialized BN254 CRS from memory with num points = 513 (mem: 199.16 MiB) 12:51:39 [12:51:39.202] INFO: ivc-integration:test:avm-integration Mega verified: 1 (mem: 199.16 MiB) 12:51:39 [12:51:39.255] INFO: ivc-integration:test:avm-integration eccvm sumcheck verified?: 1 (mem: 199.16 MiB) 12:51:39 batch opening verified?: 1 (mem: 199.16 MiB) 12:51:39 eccvm consistency check verified?: 1 (mem: 199.16 MiB) 12:51:39 translation masking consistency checked?: 1 (mem: 199.16 MiB) 12:51:39 [12:51:39.273] INFO: ivc-integration:test:avm-integration merge verified?: 1 (mem: 199.16 MiB) 12:51:39 eccvm verified?: 1 (mem: 199.16 MiB) 12:51:39 accumulator construction_verified?: 1 (mem: 199.16 MiB) 12:51:39 translation verified?: 1 (mem: 199.16 MiB) 12:51:39 consistency verified?: 1 (mem: 199.16 MiB) 12:51:39 [12:51:39.274] INFO: ivc-integration:test:avm-integration Goblin verified: 1 (mem: 199.16 MiB) 12:51:39 [12:51:39.276] INFO: ivc-integration:test:avm-integration verified: 1 (mem: 199.16 MiB) 12:51:39 [12:51:39.292] 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-dXfwQT -k /tmp/bb-avm-integration-client-ivc-dXfwQT/vk -v 12:51:39 [12:51:39.306] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - bb command: prove_tube (mem: 199.16 MiB) 12:51:39 [12:51:39.307] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Scheme is: ultra_honk, num threads: 64 (mem: 199.16 MiB) 12:51:39 --verbose: true (mem: 199.16 MiB) 12:51:39 --vk_path: /tmp/bb-avm-integration-client-ivc-dXfwQT/vk (mem: 199.16 MiB) 12:51:39 --output_path: /tmp/bb-avm-integration-client-ivc-dXfwQT (mem: 199.16 MiB) 12:51:39 [12:51:39.333] 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: 199.16 MiB) 12:51:39 [12:51:39.347] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 199.16 MiB) 12:51:43 [12:51:43.087] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Constructing DeciderProvingKey (mem: 1514.74 MiB) 12:51:43 [12:51:43.688] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1645.29 MiB) 12:51:43 [12:51:43.941] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - populating trace... (mem: 5159.59 MiB) 12:51:44 [12:51:44.745] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - time to construct proving key: 1657 ms. (mem: 5683.09 MiB) 12:51:44 [12:51:44.842] 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: 7263.56 MiB) 12:51:45 [12:51:45.752] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 8032.04 MiB) 12:51:48 [12:51:48.208] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - created oink proof (mem: 8032.04 MiB) 12:51:49 [12:51:49.015] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - starting sumcheck rounds... (mem: 8284.92 MiB) 12:51:49 [12:51:49.837] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - completed 22 rounds of sumcheck (mem: 8285.42 MiB) 12:51:52 [12:51:52.933] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction (mem: 8813.08 MiB) 12:51:53 [12:51:53.739] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - computed opening proof (mem: 8813.08 MiB) 12:51:58 [12:51:58.234] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8813.08 MiB) 12:51:58 [12:51:58.235] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8813.08 MiB) 12:51:58 [12:51:58.268] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Tube proof verification: 1 (mem: 8813.08 MiB) 12:51:59 [12:51:59.074] INFO: ivc-integration:test:avm-integration Successfully verified proof from key in 117.50843599999644 ms 12:51:59 [12:51:59.080] INFO: world-state:database Creating world state data store at directory /tmp/aztec-world-state-Gejcob/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads. 12:52:15 [12:52:15.292] 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-JBm9ka -b /tmp/bb-avm-integration-JBm9ka/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-avm-integration-JBm9ka/witness.gz -v --init_kzg_accumulator 12:52:15 [12:52:15.308] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - bb command: prove (mem: 204.73 MiB) 12:52:15 Scheme is: ultra_honk, num threads: 64 (mem: 204.73 MiB) 12:52:15 --scheme: ultra_honk (mem: 204.73 MiB) 12:52:15 --bytecode_path: /tmp/bb-avm-integration-JBm9ka/MockRollupBasePublicCircuit-bytecode (mem: 204.73 MiB) 12:52:15 --witness_path: /tmp/bb-avm-integration-JBm9ka/witness.gz (mem: 204.73 MiB) 12:52:15 --output_path: /tmp/bb-avm-integration-JBm9ka (mem: 204.73 MiB) 12:52:15 --verbose: true (mem: 204.73 MiB) 12:52:15 --oracle_hash: poseidon2 (mem: 204.73 MiB) 12:52:15 --output_format: bytes_and_fields (mem: 204.73 MiB) 12:52:15 --write_vk: true (mem: 204.73 MiB) 12:52:15 --init_kzg_accumulator: true (mem: 204.73 MiB) 12:52:15 --ipa_accumulation: true (mem: 204.73 MiB) 12:52:17 [12:52:17.174] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1151.87 MiB) 12:52:17 [12:52:17.176] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 (mem: 1152.87 MiB) 12:52:17 [12:52:17.178] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 1 (mem: 1153.37 MiB) 12:52:17 [12:52:17.179] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 2 (mem: 1153.87 MiB) 12:52:17 [12:52:17.183] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 3 (mem: 1154.37 MiB) 12:52:17 [12:52:17.353] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1186.37 MiB) 12:52:17 [12:52:17.353] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 1187.37 MiB) 12:52:17 [12:52:17.537] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 2968.37 MiB) 12:52:17 [12:52:17.860] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 509 ms. (mem: 3041.37 MiB) 12:52:17 [12:52:17.878] 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: 3414.86 MiB) 12:52:18 [12:52:18.112] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049089 (mem: 3606.89 MiB) 12:52:19 [12:52:19.500] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 3629.12 MiB) 12:52:19 [12:52:19.693] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4083.95 MiB) 12:52:19 [12:52:19.882] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4083.95 MiB) 12:52:20 [12:52:20.700] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4083.95 MiB) 12:52:20 [12:52:20.884] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4083.95 MiB) 12:52:20 [12:52:20.921] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4083.95 MiB) 12:52:20 prove eccvm... (mem: 4083.95 MiB) 12:52:21 [12:52:21.072] 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: 4083.95 MiB) 12:52:21 [12:52:21.081] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 4083.95 MiB) 12:52:21 [12:52:21.831] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4083.95 MiB) 12:52:22 [12:52:22.108] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4083.95 MiB) 12:52:22 [12:52:22.994] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4083.95 MiB) 12:52:22 prove translator... (mem: 4083.95 MiB) 12:52:23 [12:52:23.789] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4083.95 MiB) 12:52:24 [12:52:24.067] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 18 rounds of sumcheck (mem: 4083.95 MiB) 12:52:24 [12:52:24.741] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof 12:52:24 [12:52:24.742] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 12:52:24 [12:52:24.746] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 4083.95 MiB) 12:52:24 finished translator proving. (mem: 4083.95 MiB) 12:52:31 [12:52:31.285] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created circuit (mem: 4083.95 MiB) 12:52:31 [12:52:31.285] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 4083.95 MiB) 12:52:32 [12:52:32.385] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 4083.95 MiB) 12:52:32 [12:52:32.586] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 6712.27 MiB) 12:52:33 [12:52:33.745] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 2460 ms. (mem: 6951.77 MiB) 12:52:33 [12:52:33.997] 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: 6951.77 MiB) 12:52:34 [12:52:34.895] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 4194817 (mem: 7307.29 MiB) 12:52:37 [12:52:37.131] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 7307.29 MiB) 12:52:37 [12:52:37.811] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... 12:52:37 [12:52:37.812] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 7562.16 MiB) 12:52:38 [12:52:38.544] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 22 rounds of sumcheck (mem: 7562.16 MiB) 12:52:41 [12:52:41.553] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 7993.97 MiB) 12:52:42 [12:52:42.594] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 7993.97 MiB) 12:52:48 [12:52:48.538] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs saved to "/tmp/bb-avm-integration-JBm9ka/public_inputs" (mem: 7993.97 MiB) 12:52:48 [12:52:48.538] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Public inputs fields saved to "/tmp/bb-avm-integration-JBm9ka/public_inputs_fields.json" (mem: 7993.97 MiB) 12:52:48 Proof saved to "/tmp/bb-avm-integration-JBm9ka/proof" (mem: 7993.97 MiB) 12:52:48 [12:52:48.539] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Proof fields saved to "/tmp/bb-avm-integration-JBm9ka/proof_fields.json" (mem: 7993.97 MiB) 12:52:48 VK saved to "/tmp/bb-avm-integration-JBm9ka/vk" (mem: 7993.97 MiB) 12:52:48 [12:52:48.539] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - VK fields saved to "/tmp/bb-avm-integration-JBm9ka/vk_fields.json" (mem: 7993.97 MiB) 12:52:48 [12:52:48.844] INFO: ivc-integration:test:avm-integration Successfully verified proof from key in 134.80627200000163 ms 12:52:48 PASS src/avm_integration.test.ts (85.652 s) 12:52:48 AVM Integration 12:52:48 ✓ Should generate and verify an ultra honk proof from an AVM verification (49769 ms) 12:52:48 12:52:48 Test Suites: 1 passed, 1 total 12:52:48 Tests: 1 passed, 1 total 12:52:48 Snapshots: 0 total 12:52:48 Time: 85.71 s 12:52:48 Ran all test suites matching /ivc-integration\/src\/avm_integration.test.ts/i. 12:52:48 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?