Parent Log: http://ci.aztec-labs.com/6ab7285ce3a737f1 Command: 4bfd2d3585b9db66:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/avm_integration.test.ts Commit: https://github.com/AztecProtocol/aztec-packages/commit/d6fa5a2d664ee94f0a393b878236e462c424d11f Env: REF_NAME=gh-readonly-queue/master/pr-15002-1338cef09c870378254c56748f972ae827c4d482 CURRENT_VERSION=0.87.8 CI_FULL=1 Date: Thu Jun 12 11:09:19 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15002_amd64_x2-full Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_9b06efe76336a840_master 11:09:23 [11:09:23.092] INFO: ivc-integration:test:avm-integration inputsPath /tmp/bb-avm-integration-client-ivc-lYkNix/ivc-inputs.msgpack 11:09:23 [11:09:23.099] 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-lYkNix --ivc_inputs_path /tmp/bb-avm-integration-client-ivc-lYkNix/ivc-inputs.msgpack -v --scheme client_ivc --write_vk 11:09:23 [11:09:23.123] INFO: ivc-integration:test:avm-integration bb - bb command: prove (mem: 192.59 MiB) 11:09:23 [11:09:23.124] INFO: ivc-integration:test:avm-integration bb - Scheme is: client_ivc, num threads: 128 (mem: 192.59 MiB) 11:09:23 --scheme: client_ivc (mem: 192.59 MiB) 11:09:23 --output_path: /tmp/bb-avm-integration-client-ivc-lYkNix (mem: 192.59 MiB) 11:09:23 --ivc_inputs_path: /tmp/bb-avm-integration-client-ivc-lYkNix/ivc-inputs.msgpack (mem: 192.59 MiB) 11:09:23 --verbose: true (mem: 192.59 MiB) 11:09:23 --write_vk: true (mem: 192.59 MiB) 11:09:23 [11:09:23.125] INFO: ivc-integration:test:avm-integration bb - BN254 commitment key size: 262144 (mem: 192.59 MiB) 11:09:23 [11:09:23.220] 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: 241.00 MiB) 11:09:23 [11:09:23.307] INFO: ivc-integration:test:avm-integration bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 289.27 MiB) 11:09:23 [11:09:23.312] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_0 (mem: 289.27 MiB) 11:09:23 Constructing DeciderProvingKey (mem: 289.27 MiB) 11:09:23 [11:09:23.317] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 289.27 MiB) 11:09:23 goblin ecc op : 4/1024 (mem: 289.27 MiB) 11:09:23 busread : 7/6000 (mem: 289.27 MiB) 11:09:23 [11:09:23.319] INFO: ivc-integration:test:avm-integration bb - 11:09:23 lookups : 2/15000 (mem: 289.27 MiB) 11:09:23 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 289.27 MiB) 11:09:23 arithmetic : 1760/56000 (mem: 289.27 MiB) 11:09:23 delta range : 1754/18000 (mem: 289.27 MiB) 11:09:23 elliptic : 2/6000 (mem: 289.27 MiB) 11:09:23 auxiliary : 26/26000 (mem: 289.27 MiB) 11:09:23 poseidon ext : 2/17000 (mem: 289.27 MiB) 11:09:23 poseidon int : 2/92000 (mem: 289.27 MiB) 11:09:23 overflow : 0/0 (mem: 289.27 MiB) 11:09:23 (mem: 289.27 MiB) 11:09:23 Total structured size: 242025 (mem: 289.27 MiB) 11:09:23 allocating polynomials object in proving key... (mem: 289.27 MiB) 11:09:23 [11:09:23.380] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 497.42 MiB) 11:09:23 [11:09:23.397] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 84 ms. (mem: 507.42 MiB) 11:09:23 [11:09:23.429] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x653580fac840 (mem: 507.42 MiB) 11:09:23 computing oink proof... (mem: 507.42 MiB) 11:09:23 [11:09:23.531] INFO: ivc-integration:test:avm-integration bb - oink proof constructed (mem: 508.42 MiB) 11:09:23 [11:09:23.550] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_1 (mem: 508.42 MiB) 11:09:23 Constructing DeciderProvingKey (mem: 508.42 MiB) 11:09:23 [11:09:23.553] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 508.42 MiB) 11:09:23 goblin ecc op : 56/1024 (mem: 508.42 MiB) 11:09:23 busread : 12/6000 (mem: 508.42 MiB) 11:09:23 lookups : 2/15000 (mem: 508.42 MiB) 11:09:23 [11:09:23.553] INFO: ivc-integration:test:avm-integration bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 508.42 MiB) 11:09:23 arithmetic : 4225/56000 (mem: 508.42 MiB) 11:09:23 delta range : 2043/18000 (mem: 508.42 MiB) 11:09:23 elliptic : 2/6000 (mem: 508.42 MiB) 11:09:23 auxiliary : 110/26000 (mem: 508.42 MiB) 11:09:23 poseidon ext : 882/17000 (mem: 508.42 MiB) 11:09:23 poseidon int : 5018/92000 (mem: 508.42 MiB) 11:09:23 overflow : 0/0 (mem: 508.42 MiB) 11:09:23 (mem: 508.42 MiB) 11:09:23 Total structured size: 242025 (mem: 508.42 MiB) 11:09:23 allocating polynomials object in proving key... (mem: 508.42 MiB) 11:09:23 [11:09:23.610] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 728.42 MiB) 11:09:23 [11:09:23.627] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 77 ms. (mem: 742.42 MiB) 11:09:23 [11:09:23.671] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x653580fc6f00 (mem: 742.42 MiB) 11:09:23 computing folding proof (mem: 742.42 MiB) 11:09:23 [11:09:23.831] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 742.42 MiB) 11:09:23 [11:09:23.907] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 779.42 MiB) 11:09:23 [11:09:23.958] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 812.42 MiB) 11:09:24 [11:09:24.176] INFO: ivc-integration:test:avm-integration bb - folded (mem: 812.42 MiB) 11:09:24 constructed folding proof (mem: 812.42 MiB) 11:09:24 [11:09:24.264] INFO: ivc-integration:test:avm-integration bb - ClientIVC: accumulating unknown_2 (mem: 812.42 MiB) 11:09:24 Constructing DeciderProvingKey (mem: 812.42 MiB) 11:09:24 [11:09:24.272] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 812.42 MiB) 11:09:24 goblin ecc op : 392/1024 (mem: 812.42 MiB) 11:09:24 busread : 3/6000 (mem: 812.42 MiB) 11:09:24 lookups : 2/15000 (mem: 812.42 MiB) 11:09:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 812.42 MiB) 11:09:24 arithmetic : 6440/56000 (mem: 812.42 MiB) 11:09:24 delta range : 2323/18000 (mem: 812.42 MiB) 11:09:24 elliptic : 2/6000 (mem: 812.42 MiB) 11:09:24 auxiliary : 50/26000 (mem: 812.42 MiB) 11:09:24 poseidon ext : 2042/17000 (mem: 812.42 MiB) 11:09:24 poseidon int : 11630/92000 (mem: 812.42 MiB) 11:09:24 overflow : 0/0 (mem: 812.42 MiB) 11:09:24 (mem: 812.42 MiB) 11:09:24 Total structured size: 242025 (mem: 812.42 MiB) 11:09:24 allocating polynomials object in proving key... (mem: 812.42 MiB) 11:09:24 [11:09:24.430] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 812.42 MiB) 11:09:24 [11:09:24.463] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 198 ms. (mem: 812.42 MiB) 11:09:24 [11:09:24.586] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0x653580fae3c0 (mem: 812.42 MiB) 11:09:24 computing folding proof (mem: 812.42 MiB) 11:09:25 [11:09:25.018] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 812.42 MiB) 11:09:25 [11:09:25.104] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 812.42 MiB) 11:09:25 [11:09:25.187] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 825.36 MiB) 11:09:25 [11:09:25.639] INFO: ivc-integration:test:avm-integration bb - folded (mem: 825.36 MiB) 11:09:25 constructed folding proof (mem: 825.36 MiB) 11:09:25 [11:09:25.640] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 22492 gates. Trace details: (mem: 825.36 MiB) 11:09:25 Minimum required block sizes for structured trace: (mem: 825.36 MiB) 11:09:25 (mem: 825.36 MiB) 11:09:25 prove decider... (mem: 825.36 MiB) 11:09:25 finished decider proving. (mem: 825.36 MiB) 11:09:25 [11:09:25.640] INFO: ivc-integration:test:avm-integration bb - ecc_op : 392 11:09:25 busread : 12 11:09:25 lookup : 2 11:09:25 pub_inputs : 36 11:09:25 arithmetic : 6440 11:09:25 delta_range : 2323 11:09:25 elliptic : 2 11:09:25 aux : 110 11:09:25 poseidon2_external : 2042 11:09:25 poseidon2_internal : 11630 11:09:25 overflow : 0 11:09:25 [11:09:25.824] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 825.36 MiB) 11:09:25 [11:09:25.963] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 825.36 MiB) 11:09:26 [11:09:26.879] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 825.36 MiB) 11:09:26 [11:09:26.952] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 825.36 MiB) 11:09:27 [11:09:27.066] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 825.36 MiB) 11:09:27 [11:09:27.073] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 825.36 MiB) 11:09:27 [11:09:27.172] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 825.36 MiB) 11:09:27 [11:09:27.218] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 150 ms. (mem: 825.36 MiB) 11:09:27 [11:09:27.985] INFO: ivc-integration:test:avm-integration bb - created oink proof (mem: 825.36 MiB) 11:09:28 [11:09:28.318] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 825.36 MiB) 11:09:29 [11:09:29.430] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 825.36 MiB) 11:09:30 [11:09:30.276] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 825.36 MiB) 11:09:30 [11:09:30.312] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 825.36 MiB) 11:09:30 [11:09:30.313] INFO: ivc-integration:test:avm-integration bb - 11:09:30 [11:09:30.509] INFO: ivc-integration:test:avm-integration bb - Constructing a Goblin proof with num ultra ops = 1038 11:09:30 [11:09:30.511] INFO: ivc-integration:test:avm-integration bb - (mem: 825.36 MiB) 11:09:30 prove eccvm... (mem: 825.36 MiB) 11:09:31 [11:09:31.076] 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: 825.36 MiB) 11:09:31 [11:09:31.185] INFO: ivc-integration:test:avm-integration bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 825.36 MiB) 11:09:34 [11:09:34.199] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 825.36 MiB) 11:09:35 [11:09:35.607] INFO: ivc-integration:test:avm-integration bb - completed 16 rounds of sumcheck (mem: 825.36 MiB) 11:09:39 [11:09:39.703] INFO: ivc-integration:test:avm-integration bb - finished eccvm proving. (mem: 825.36 MiB) 11:09:39 prove translator... (mem: 825.36 MiB) 11:09:41 [11:09:41.448] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 825.36 MiB) 11:09:42 [11:09:42.727] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck 11:09:42 [11:09:42.728] INFO: ivc-integration:test:avm-integration bb - (mem: 825.36 MiB) 11:09:44 [11:09:44.152] INFO: ivc-integration:test:avm-integration bb - computed opening proof 11:09:44 [11:09:44.154] INFO: ivc-integration:test:avm-integration bb - (mem: 845.53 MiB) 11:09:44 finished translator proving. (mem: 845.53 MiB) 11:09:44 [11:09:44.172] INFO: ivc-integration:test:avm-integration bb - Mega verified: 1 (mem: 845.53 MiB) 11:09:44 [11:09:44.224] INFO: ivc-integration:test:avm-integration bb - eccvm sumcheck verified?: 1 (mem: 845.53 MiB) 11:09:44 batch opening verified?: 1 (mem: 845.53 MiB) 11:09:44 eccvm consistency check verified?: 1 (mem: 845.53 MiB) 11:09:44 translation masking consistency checked?: 1 (mem: 845.53 MiB) 11:09:44 [11:09:44.245] INFO: ivc-integration:test:avm-integration bb - merge verified?: 1 (mem: 845.53 MiB) 11:09:44 eccvm verified?: 1 (mem: 845.53 MiB) 11:09:44 accumulator construction_verified?: 1 (mem: 845.53 MiB) 11:09:44 translation verified?: 1 (mem: 845.53 MiB) 11:09:44 consistency verified?: 1 (mem: 845.53 MiB) 11:09:44 [11:09:44.246] INFO: ivc-integration:test:avm-integration bb - Goblin verified: 1 (mem: 845.53 MiB) 11:09:44 writing ClientIVC proof in directory "/tmp/bb-avm-integration-client-ivc-lYkNix" (mem: 845.53 MiB) 11:09:44 writing ClientIVC vk in directory "/tmp/bb-avm-integration-client-ivc-lYkNix" (mem: 845.53 MiB) 11:09:44 num_public_inputs_in_final_circuit: 4 (mem: 845.53 MiB) 11:09:44 BN254 commitment key size: 262144 (mem: 845.53 MiB) 11:09:44 [11:09:44.248] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 845.53 MiB) 11:09:44 [11:09:44.251] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.53 MiB) 11:09:44 goblin ecc op : 4/1024 (mem: 845.53 MiB) 11:09:44 busread : 3/6000 (mem: 845.53 MiB) 11:09:44 lookups : 2/15000 (mem: 845.53 MiB) 11:09:44 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 845.53 MiB) 11:09:44 arithmetic : 1773/56000 (mem: 845.53 MiB) 11:09:44 delta range : 1754/18000 (mem: 845.53 MiB) 11:09:44 elliptic : 2/6000 (mem: 845.53 MiB) 11:09:44 auxiliary : 26/26000 (mem: 845.53 MiB) 11:09:44 poseidon ext : 2/17000 (mem: 845.53 MiB) 11:09:44 poseidon int : 2/92000 (mem: 845.53 MiB) 11:09:44 overflow : 0/0 (mem: 845.53 MiB) 11:09:44 (mem: 845.53 MiB) 11:09:44 Total structured size: 242025 (mem: 845.53 MiB) 11:09:44 allocating polynomials object in proving key... (mem: 845.53 MiB) 11:09:44 [11:09:44.325] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 845.53 MiB) 11:09:44 [11:09:44.344] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 95 ms. (mem: 845.53 MiB) 11:09:44 [11:09:44.395] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 845.53 MiB) 11:09:44 [11:09:44.990] INFO: ivc-integration:test:avm-integration bb - computing oink proof... (mem: 845.53 MiB) 11:09:45 [11:09:45.172] INFO: ivc-integration:test:avm-integration bb - oink proof constructed (mem: 845.53 MiB) 11:09:45 [11:09:45.189] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 845.53 MiB) 11:09:45 [11:09:45.192] INFO: ivc-integration:test:avm-integration bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.53 MiB) 11:09:45 goblin ecc op : 56/1024 (mem: 845.53 MiB) 11:09:45 busread : 3/6000 (mem: 845.53 MiB) 11:09:45 lookups : 2/15000 (mem: 845.53 MiB) 11:09:45 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.53 MiB) 11:09:45 arithmetic : 4072/56000 (mem: 845.53 MiB) 11:09:45 [11:09:45.193] INFO: ivc-integration:test:avm-integration bb - delta range : 2030/18000 (mem: 845.53 MiB) 11:09:45 elliptic : 2/6000 (mem: 845.53 MiB) 11:09:45 auxiliary : 50/26000 (mem: 845.53 MiB) 11:09:45 poseidon ext : 882/17000 (mem: 845.53 MiB) 11:09:45 poseidon int : 5018/92000 (mem: 845.53 MiB) 11:09:45 overflow : 0/0 (mem: 845.53 MiB) 11:09:45 (mem: 845.53 MiB) 11:09:45 Total structured size: 242025 (mem: 845.53 MiB) 11:09:45 allocating polynomials object in proving key... (mem: 845.53 MiB) 11:09:45 [11:09:45.278] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 919.55 MiB) 11:09:45 [11:09:45.298] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 108 ms. (mem: 919.55 MiB) 11:09:45 [11:09:45.377] INFO: ivc-integration:test:avm-integration bb - getting honk vk... precomputed?: 0 (mem: 919.55 MiB) 11:09:45 [11:09:45.875] INFO: ivc-integration:test:avm-integration bb - computing folding proof (mem: 919.55 MiB) 11:09:46 [11:09:46.216] INFO: ivc-integration:test:avm-integration bb - oink prover on each incomplete key (mem: 927.55 MiB) 11:09:46 [11:09:46.291] INFO: ivc-integration:test:avm-integration bb - perturbator round (mem: 927.55 MiB) 11:09:46 [11:09:46.383] INFO: ivc-integration:test:avm-integration bb - combiner quotient round (mem: 959.55 MiB) 11:09:46 [11:09:46.657] INFO: ivc-integration:test:avm-integration bb - folded (mem: 959.55 MiB) 11:09:46 constructed folding proof (mem: 959.55 MiB) 11:09:46 [11:09:46.670] INFO: ivc-integration:test:avm-integration bb - Largest circuit: 12059 gates. Trace details: (mem: 959.55 MiB) 11:09:46 Minimum required block sizes for structured trace: (mem: 959.55 MiB) 11:09:46 (mem: 959.55 MiB) 11:09:46 prove decider... (mem: 959.55 MiB) 11:09:46 finished decider proving. (mem: 959.55 MiB) 11:09:46 [11:09:46.671] INFO: ivc-integration:test:avm-integration bb - ecc_op : 56 11:09:46 busread : 3 11:09:46 lookup : 2 11:09:46 pub_inputs : 36 11:09:46 arithmetic : 4072 11:09:46 delta_range : 2030 11:09:46 elliptic : 2 11:09:46 aux : 50 11:09:46 poseidon2_external : 882 11:09:46 poseidon2_internal : 5018 11:09:46 overflow : 0 11:09:46 [11:09:46.759] INFO: ivc-integration:test:avm-integration bb - starting sumcheck rounds... (mem: 959.55 MiB) 11:09:46 [11:09:46.954] INFO: ivc-integration:test:avm-integration bb - completed 18 rounds of sumcheck (mem: 959.55 MiB) 11:09:47 [11:09:47.663] INFO: ivc-integration:test:avm-integration bb - executed multivariate-to-univariate reduction (mem: 959.55 MiB) 11:09:47 [11:09:47.712] INFO: ivc-integration:test:avm-integration bb - computed opening proof (mem: 959.55 MiB) 11:09:47 [11:09:47.799] INFO: ivc-integration:test:avm-integration bb - Constructing DeciderProvingKey (mem: 959.55 MiB) 11:09:47 [11:09:47.801] INFO: ivc-integration:test:avm-integration bb - allocating polynomials object in proving key... (mem: 959.55 MiB) 11:09:47 [11:09:47.894] INFO: ivc-integration:test:avm-integration bb - populating trace... (mem: 959.55 MiB) 11:09:47 [11:09:47.929] INFO: ivc-integration:test:avm-integration bb - time to construct proving key: 131 ms. (mem: 959.55 MiB) 11:09:48 [11:09:48.630] 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-lYkNix/proof -k /tmp/bb-avm-integration-client-ivc-lYkNix/vk -v 11:09:48 [11:09:48.659] INFO: ivc-integration:test:avm-integration bb command: verify (mem: 193.13 MiB) 11:09:48 Scheme is: client_ivc, num threads: 128 (mem: 193.13 MiB) 11:09:48 --proof_path: /tmp/bb-avm-integration-client-ivc-lYkNix/proof (mem: 193.13 MiB) 11:09:48 --vk_path: /tmp/bb-avm-integration-client-ivc-lYkNix/vk (mem: 193.13 MiB) 11:09:48 --verbose: true (mem: 193.13 MiB) 11:09:48 --scheme: client_ivc (mem: 193.13 MiB) 11:09:48 [11:09:48.743] 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.13 MiB) 11:09:48 [11:09:48.766] INFO: ivc-integration:test:avm-integration Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 193.13 MiB) 11:09:48 [11:09:48.788] 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.13 MiB) 11:09:48 [11:09:48.789] INFO: ivc-integration:test:avm-integration Initialized BN254 CRS from memory with num points = 1025 (mem: 193.13 MiB) 11:09:48 [11:09:48.789] INFO: ivc-integration:test:avm-integration Mega verified: 1 (mem: 193.13 MiB) 11:09:48 [11:09:48.886] INFO: ivc-integration:test:avm-integration eccvm sumcheck verified?: 1 (mem: 193.13 MiB) 11:09:48 batch opening verified?: 1 (mem: 193.13 MiB) 11:09:48 eccvm consistency check verified?: 1 (mem: 193.13 MiB) 11:09:48 translation masking consistency checked?: 1 (mem: 193.13 MiB) 11:09:48 [11:09:48.903] INFO: ivc-integration:test:avm-integration merge verified?: 1 (mem: 193.13 MiB) 11:09:48 eccvm verified?: 1 (mem: 193.13 MiB) 11:09:48 accumulator construction_verified?: 1 (mem: 193.13 MiB) 11:09:48 [11:09:48.905] INFO: ivc-integration:test:avm-integration translation verified?: 1 (mem: 193.13 MiB) 11:09:48 consistency verified?: 1 (mem: 193.13 MiB) 11:09:48 Goblin verified: 1 (mem: 193.13 MiB) 11:09:48 [11:09:48.908] INFO: ivc-integration:test:avm-integration verified: 1 (mem: 193.13 MiB) 11:09:48 [11:09:48.944] 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-lYkNix -k /tmp/bb-avm-integration-client-ivc-lYkNix/vk -v 11:09:49 [11:09:49.019] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - bb command: prove_tube (mem: 193.13 MiB) 11:09:49 Scheme is: ultra_honk, num threads: 128 (mem: 193.13 MiB) 11:09:49 --verbose: true (mem: 193.13 MiB) 11:09:49 --vk_path: /tmp/bb-avm-integration-client-ivc-lYkNix/vk (mem: 193.13 MiB) 11:09:49 --output_path: /tmp/bb-avm-integration-client-ivc-lYkNix (mem: 193.13 MiB) 11:09:49 [11:09:49.168] 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.13 MiB) 11:09:49 [11:09:49.192] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 193.13 MiB) 11:09:58 [11:09:58.007] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Constructing DeciderProvingKey (mem: 1543.15 MiB) 11:09:59 [11:09:59.537] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1677.04 MiB) 11:09:59 [11:09:59.867] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - populating trace... (mem: 5195.04 MiB) 11:10:01 [11:10:01.783] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - time to construct proving key: 3778 ms. (mem: 5710.04 MiB) 11:10:01 [11:10:01.929] 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: 7413.90 MiB) 11:10:03 [11:10:03.448] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 8182.66 MiB) 11:10:06 [11:10:06.288] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - created oink proof (mem: 8182.66 MiB) 11:10:07 [11:10:07.506] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - starting sumcheck rounds... (mem: 8274.96 MiB) 11:10:08 [11:10:08.877] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - completed 22 rounds of sumcheck 11:10:08 [11:10:08.879] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - (mem: 8275.96 MiB) 11:10:13 [11:10:13.615] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction (mem: 8968.79 MiB) 11:10:14 [11:10:14.562] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - computed opening proof (mem: 8968.79 MiB) 11:10:19 [11:10:19.707] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8968.79 MiB) 11:10:19 [11:10:19.707] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8968.79 MiB) 11:10:19 [11:10:19.763] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - Tube proof verification: 1 11:10:19 [11:10:19.763] INFO: ivc-integration:test:avm-integration TubeCircuit (prove) BB out - (mem: 8968.79 MiB) 11:10:21 [11:10:21.064] INFO: ivc-integration:test:avm-integration Successfully verified proof from key in 212.74633400000312 ms 11:10:21 [11:10:21.075] INFO: world-state:database Creating world state data store at directory /tmp/aztec-world-state-SgHZPW/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads. 11:10:46 [11:10:46.769] 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-wRTLza -b /tmp/bb-avm-integration-wRTLza/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-avm-integration-wRTLza/witness.gz -v --init_kzg_accumulator 11:10:46 [11:10:46.791] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - bb command: prove (mem: 195.71 MiB) 11:10:46 Scheme is: ultra_honk, num threads: 128 (mem: 195.71 MiB) 11:10:46 --scheme: ultra_honk (mem: 195.71 MiB) 11:10:46 --bytecode_path: /tmp/bb-avm-integration-wRTLza/MockRollupBasePublicCircuit-bytecode (mem: 195.71 MiB) 11:10:46 --witness_path: /tmp/bb-avm-integration-wRTLza/witness.gz (mem: 195.71 MiB) 11:10:46 --output_path: /tmp/bb-avm-integration-wRTLza (mem: 195.71 MiB) 11:10:46 --verbose: true (mem: 195.71 MiB) 11:10:46 [11:10:46.792] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - --oracle_hash: poseidon2 (mem: 195.71 MiB) 11:10:46 --output_format: bytes_and_fields (mem: 195.71 MiB) 11:10:46 --write_vk: true (mem: 195.71 MiB) 11:10:46 --init_kzg_accumulator: true (mem: 195.71 MiB) 11:10:46 --ipa_accumulation: true (mem: 195.71 MiB) 11:10:50 [11:10:50.886] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1139.02 MiB) 11:10:50 [11:10:50.887] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 11:10:50 [11:10:50.887] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 11:10:50 [11:10:50.887] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 1140.02 11:10:50 [11:10:50.888] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - MiB) 11:10:50 [11:10:50.891] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 11:10:50 [11:10:50.892] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 1 11:10:50 [11:10:50.893] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 11:10:50 [11:10:50.897] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 1140.02 MiB) 11:10:50 [11:10:50.897] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 2 11:10:50 [11:10:50.898] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 11:10:50 [11:10:50.902] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 1141.02 MiB) 11:10:50 [11:10:50.903] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 3 11:10:50 [11:10:50.903] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - (mem: 11:10:50 [11:10:50.904] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 1141.02 11:10:50 [11:10:50.904] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - MiB) 11:10:50 [11:10:50.905] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - 11:10:51 [11:10:51.180] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1173.02 MiB) 11:10:51 [11:10:51.187] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 1175.02 MiB) 11:10:51 [11:10:51.429] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - populating trace... (mem: 2973.02 MiB) 11:10:51 [11:10:51.973] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - time to construct proving key: 793 ms. (mem: 3046.02 MiB) 11:10:52 [11:10:52.014] 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: 3452.32 MiB) 11:10:52 [11:10:52.325] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049601 (mem: 3644.54 MiB) 11:10:53 [11:10:53.573] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - created oink proof (mem: 3674.61 MiB) 11:10:53 [11:10:53.790] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4108.89 MiB) 11:10:54 [11:10:54.064] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4108.89 MiB) 11:10:55 [11:10:55.220] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4108.89 MiB) 11:10:55 [11:10:55.447] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4108.89 MiB) 11:10:55 [11:10:55.539] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4108.89 MiB) 11:10:55 prove eccvm... (mem: 4108.89 MiB) 11:10:55 [11:10:55.826] 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: 4108.89 MiB) 11:10:55 [11:10:55.838] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 4108.89 MiB) 11:10:57 [11:10:57.026] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4108.89 MiB) 11:10:57 [11:10:57.473] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4108.89 MiB) 11:10:59 [11:10:59.072] INFO: ivc-integration:test:avm-integration MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4108.89 MiB) 11:10:59 prove translator... (mem: 4108.89 MiB)