Parent Log:
http://ci.aztec-labs.com/bac80ed53a95468a
Command: 53e9b8d3e8ba3411:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/rollup_ivc_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/f4ac84d7ac4041d505399edd8819840bb14d6c9d
Env: REF_NAME=gh-readonly-queue/master/pr-15005-b1b65bcdbd44a49fbebe5d2265256dc9466e92be CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Fri Jun 13 17:06:10 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15005_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_4154f0a3efa5fafe_master
17:06:14 [17:06:14.777]
INFO:
ivc-integration:test:rollup-native inputsPath /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/ivc-inputs.msgpack
17:06:14 [17:06:14.785]
INFO:
ivc-integration:test:rollup-native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc --ivc_inputs_path /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:06:14 [17:06:14.814]
INFO:
ivc-integration:test:rollup-native bb - bb command: prove (mem: 194.33 MiB)
17:06:14 Scheme is: client_ivc, num threads: 128 (mem: 194.33 MiB)
17:06:14 --scheme: client_ivc (mem: 194.33 MiB)
17:06:14 --output_path: /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc (mem: 194.33 MiB)
17:06:14 --ivc_inputs_path: /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/ivc-inputs.msgpack (mem: 194.33 MiB)
17:06:14 --verbose: true (mem: 194.33 MiB)
17:06:14 --write_vk: true (mem: 194.33 MiB)
17:06:14 [17:06:14.815]
INFO:
ivc-integration:test:rollup-native bb - BN254 commitment key size: 262144 (mem: 194.33 MiB)
17:06:14 [17:06:14.930]
INFO:
ivc-integration:test:rollup-native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 265.00 MiB)
17:06:15 [17:06:15.024]
INFO:
ivc-integration:test:rollup-native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 312.54 MiB)
17:06:15 [17:06:15.032]
INFO:
ivc-integration:test:rollup-native bb - ClientIVC: accumulating unknown_0 (mem: 312.54 MiB)
17:06:15 Constructing DeciderProvingKey (mem: 312.54 MiB)
17:06:15 [17:06:15.037]
INFO:
ivc-integration:test:rollup-native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 312.54 MiB)
17:06:15 goblin ecc op : 4/1024 (mem: 312.54 MiB)
17:06:15 busread : 7/6000 (mem: 312.54 MiB)
17:06:15 lookups : 2/15000 (mem: 312.54 MiB)
17:06:15 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 312.54 MiB)
17:06:15 arithmetic : 1760/56000 (mem: 312.54 MiB)
17:06:15 delta range : 1754/18000 (mem: 312.54 MiB)
17:06:15 elliptic : 2/6000 (mem: 312.54 MiB)
17:06:15 auxiliary : 26/26000 (mem: 312.54 MiB)
17:06:15 poseidon ext : 2/17000 (mem: 312.54 MiB)
17:06:15 poseidon int : 2/92000 (mem: 312.54 MiB)
17:06:15 overflow : 0/0 (mem: 312.54 MiB)
17:06:15 (mem: 312.54 MiB)
17:06:15 Total structured size: 242025 (mem: 312.54 MiB)
17:06:15 allocating polynomials object in proving key... (mem: 312.54 MiB)
17:06:15 [17:06:15.167]
INFO:
ivc-integration:test:rollup-native bb - populating trace... (mem: 497.70 MiB)
17:06:15 [17:06:15.183]
INFO:
ivc-integration:test:rollup-native bb - time to construct proving key: 154 ms. (mem: 512.70 MiB)
17:06:15 [17:06:15.280]
INFO:
ivc-integration:test:rollup-native bb - getting honk vk... precomputed?: 0x5bb3ef2b2840 (mem: 512.70 MiB)
17:06:15 computing oink proof... (mem: 512.70 MiB)
17:06:15 [17:06:15.528]
INFO:
ivc-integration:test:rollup-native bb - oink proof constructed (mem: 514.70 MiB)
17:06:15 [17:06:15.556]
INFO:
ivc-integration:test:rollup-native bb - ClientIVC: accumulating unknown_1 (mem: 514.70 MiB)
17:06:15 Constructing DeciderProvingKey (mem: 514.70 MiB)
17:06:15 [17:06:15.561]
INFO:
ivc-integration:test:rollup-native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 514.70 MiB)
17:06:15 goblin ecc op : 56/1024 (mem: 514.70 MiB)
17:06:15 busread : 12/6000 (mem: 514.70 MiB)
17:06:15 lookups : 2/15000 (mem: 514.70 MiB)
17:06:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 514.70 MiB)
17:06:15 arithmetic : 4225/56000 (mem: 514.70 MiB)
17:06:15 delta range : 2043/18000 (mem: 514.70 MiB)
17:06:15 elliptic : 2/6000 (mem: 514.70 MiB)
17:06:15 auxiliary : 110/26000 (mem: 514.70 MiB)
17:06:15 poseidon ext : 882/17000 (mem: 514.70 MiB)
17:06:15 poseidon int : 5018/92000 (mem: 514.70 MiB)
17:06:15 overflow : 0/0 (mem: 514.70 MiB)
17:06:15 (mem: 514.70 MiB)
17:06:15 Total structured size: 242025 (mem: 514.70 MiB)
17:06:15 allocating polynomials object in proving key... (mem: 514.70 MiB)
17:06:15 [17:06:15.716]
INFO:
ivc-integration:test:rollup-native bb - populating trace... (mem: 730.70 MiB)
17:06:15 [17:06:15.749]
INFO:
ivc-integration:test:rollup-native bb - time to construct proving key: 191 ms. (mem: 752.70 MiB)
17:06:15 [17:06:15.850]
INFO:
ivc-integration:test:rollup-native bb - getting honk vk... precomputed?: 0x5bb3ef2ca9c0 (mem: 752.70 MiB)
17:06:15 computing folding proof (mem: 752.70 MiB)
17:06:16 [17:06:16.271]
INFO:
ivc-integration:test:rollup-native bb - oink prover on each incomplete key (mem: 752.70 MiB)
17:06:16 [17:06:16.378]
INFO:
ivc-integration:test:rollup-native bb - perturbator round (mem: 789.70 MiB)
17:06:16 [17:06:16.451]
INFO:
ivc-integration:test:rollup-native bb - combiner quotient round (mem: 820.70 MiB)
17:06:16 [17:06:16.828]
INFO:
ivc-integration:test:rollup-native bb - folded (mem:
17:06:16 [17:06:16.829]
INFO:
ivc-integration:test:rollup-native bb - 820.70 MiB)
17:06:16 constructed folding proof (mem: 820.70 MiB)
17:06:16 [17:06:16.911]
INFO:
ivc-integration:test:rollup-native bb - ClientIVC: accumulating unknown_2 (mem: 820.70 MiB)
17:06:16 Constructing DeciderProvingKey (mem: 820.70 MiB)
17:06:16 [17:06:16.913]
INFO:
ivc-integration:test:rollup-native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 820.70 MiB)
17:06:16 goblin ecc op : 392/1024 (mem: 820.70 MiB)
17:06:16 busread : 3/6000 (mem: 820.70 MiB)
17:06:16 lookups : 2/15000 (mem: 820.70 MiB)
17:06:16 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 820.70 MiB)
17:06:16 arithmetic : 6440/56000 (mem: 820.70 MiB)
17:06:16 delta range : 2323/18000 (mem: 820.70 MiB)
17:06:16 elliptic : 2/6000 (mem: 820.70 MiB)
17:06:16 auxiliary : 50/26000 (mem: 820.70 MiB)
17:06:16 poseidon ext : 2042/17000 (mem: 820.70 MiB)
17:06:16 poseidon int : 11630/92000 (mem: 820.70 MiB)
17:06:16 overflow : 0/0 (mem: 820.70 MiB)
17:06:16 (mem: 820.70 MiB)
17:06:16 Total structured size: 242025 (mem: 820.70 MiB)
17:06:16 allocating polynomials object in proving key... (mem: 820.70 MiB)
17:06:17 [17:06:17.030]
INFO:
ivc-integration:test:rollup-native bb - populating trace... (mem: 820.70 MiB)
17:06:17 [17:06:17.049]
INFO:
ivc-integration:test:rollup-native bb - time to construct proving key: 139 ms. (mem: 820.70 MiB)
17:06:17 [17:06:17.272]
INFO:
ivc-integration:test:rollup-native bb - getting honk vk... precomputed?: 0x5bb3ef2ab480 (mem: 820.70 MiB)
17:06:17 computing folding proof (mem: 820.70 MiB)
17:06:17 [17:06:17.764]
INFO:
ivc-integration:test:rollup-native bb - oink prover on each incomplete key (mem: 820.70 MiB)
17:06:17 [17:06:17.884]
INFO:
ivc-integration:test:rollup-native bb - perturbator round (mem: 820.70 MiB)
17:06:17 [17:06:17.948]
INFO:
ivc-integration:test:rollup-native bb - combiner quotient round (mem: 828.84 MiB)
17:06:18 [17:06:18.301]
INFO:
ivc-integration:test:rollup-native bb - folded (mem: 828.84 MiB)
17:06:18 constructed folding proof (mem: 828.84 MiB)
17:06:18 [17:06:18.306]
INFO:
ivc-integration:test:rollup-native bb - Largest circuit: 22492 gates. Trace details: (mem: 828.84 MiB)
17:06:18 Minimum required block sizes for structured trace: (mem: 828.84 MiB)
17:06:18 (mem: 828.84 MiB)
17:06:18 prove decider... (mem: 828.84 MiB)
17:06:18 finished decider proving. (mem: 828.84 MiB)
17:06:18 [17:06:18.307]
INFO:
ivc-integration:test:rollup-native bb - ecc_op : 392
17:06:18 busread : 12
17:06:18 lookup : 2
17:06:18 pub_inputs : 36
17:06:18 arithmetic : 6440
17:06:18 delta_range : 2323
17:06:18 elliptic : 2
17:06:18 aux : 110
17:06:18 poseidon2_external : 2042
17:06:18 poseidon2_internal : 11630
17:06:18 overflow : 0
17:06:18 [17:06:18.545]
INFO:
ivc-integration:test:rollup-native bb - starting sumcheck rounds... (mem: 828.84 MiB)
17:06:18 [17:06:18.681]
INFO:
ivc-integration:test:rollup-native bb - completed 18 rounds of sumcheck (mem: 828.84 MiB)
17:06:19 [17:06:19.695]
INFO:
ivc-integration:test:rollup-native bb - executed multivariate-to-univariate reduction (mem: 828.84 MiB)
17:06:19 [17:06:19.781]
INFO:
ivc-integration:test:rollup-native bb - computed opening proof (mem: 828.84 MiB)
17:06:19 [17:06:19.910]
INFO:
ivc-integration:test:rollup-native bb - Constructing DeciderProvingKey (mem: 828.84 MiB)
17:06:19 [17:06:19.916]
INFO:
ivc-integration:test:rollup-native bb - allocating polynomials object in proving key... (mem: 828.84 MiB)
17:06:20 [17:06:20.088]
INFO:
ivc-integration:test:rollup-native bb - populating trace... (mem: 828.84 MiB)
17:06:20 [17:06:20.174]
INFO:
ivc-integration:test:rollup-native bb - time to construct proving key: 264 ms. (mem: 828.84 MiB)
17:06:21 [17:06:21.115]
INFO:
ivc-integration:test:rollup-native bb - created oink proof (mem:
17:06:21 [17:06:21.117]
INFO:
ivc-integration:test:rollup-native bb - 828.84 MiB)
17:06:21 [17:06:21.517]
INFO:
ivc-integration:test:rollup-native bb - starting sumcheck rounds... (mem: 828.84 MiB)
17:06:22 [17:06:22.730]
INFO:
ivc-integration:test:rollup-native bb - completed 16 rounds of sumcheck (mem:
17:06:22 [17:06:22.731]
INFO:
ivc-integration:test:rollup-native bb - 828.84 MiB)
17:06:23 [17:06:23.712]
INFO:
ivc-integration:test:rollup-native bb - executed multivariate-to-univariate reduction (mem: 828.84 MiB)
17:06:23 [17:06:23.745]
INFO:
ivc-integration:test:rollup-native bb - computed opening proof (mem: 828.84 MiB)
17:06:24 [17:06:24.005]
INFO:
ivc-integration:test:rollup-native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 828.84 MiB)
17:06:24 prove eccvm... (mem: 828.84 MiB)
17:06:24 [17:06:24.498]
INFO:
ivc-integration:test:rollup-native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 828.84 MiB)
17:06:24 [17:06:24.514]
INFO:
ivc-integration:test:rollup-native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 828.84 MiB)
17:06:27 [17:06:27.452]
INFO:
ivc-integration:test:rollup-native bb - starting sumcheck rounds... (mem: 828.84 MiB)
17:06:28 [17:06:28.680]
INFO:
ivc-integration:test:rollup-native bb - completed 16 rounds of sumcheck (mem: 828.84 MiB)
17:06:32 [17:06:32.351]
INFO:
ivc-integration:test:rollup-native bb - finished eccvm proving. (mem: 828.84 MiB)
17:06:32 prove translator... (mem: 828.84 MiB)
17:06:34 [17:06:34.242]
INFO:
ivc-integration:test:rollup-native bb - starting sumcheck rounds... (mem: 828.84 MiB)
17:06:35 [17:06:35.485]
INFO:
ivc-integration:test:rollup-native bb - completed 18 rounds of sumcheck (mem: 828.84 MiB)
17:06:37 [17:06:37.173]
INFO:
ivc-integration:test:rollup-native bb - computed opening proof (mem: 828.84 MiB)
17:06:37 [17:06:37.174]
INFO:
ivc-integration:test:rollup-native bb - finished translator proving. (mem: 828.84 MiB)
17:06:37 [17:06:37.196]
INFO:
ivc-integration:test:rollup-native bb - Mega verified: 1 (mem: 828.84 MiB)
17:06:37 [17:06:37.258]
INFO:
ivc-integration:test:rollup-native bb - eccvm sumcheck verified?: 1 (mem: 828.84 MiB)
17:06:37 batch opening verified?: 1 (mem: 828.84 MiB)
17:06:37 eccvm consistency check verified?: 1 (mem: 828.84 MiB)
17:06:37 translation masking consistency checked?: 1 (mem: 828.84 MiB)
17:06:37 [17:06:37.276]
INFO:
ivc-integration:test:rollup-native bb - merge verified?: 1 (mem: 828.84 MiB)
17:06:37 eccvm verified?: 1 (mem: 828.84 MiB)
17:06:37 accumulator construction_verified?: 1 (mem: 828.84 MiB)
17:06:37 translation verified?: 1 (mem: 828.84 MiB)
17:06:37 consistency verified?: 1 (mem: 828.84 MiB)
17:06:37 [17:06:37.277]
INFO:
ivc-integration:test:rollup-native bb - Goblin verified: 1 (mem: 828.84 MiB)
17:06:37 writing ClientIVC proof in directory "/tmp/bb-rollup-ivc-integration-client-ivc-IERHAc" (mem: 828.84 MiB)
17:06:37 writing ClientIVC vk in directory "/tmp/bb-rollup-ivc-integration-client-ivc-IERHAc" (mem: 828.84 MiB)
17:06:37 [17:06:37.278]
INFO:
ivc-integration:test:rollup-native bb - num_public_inputs_in_final_circuit: 4 (mem: 828.84 MiB)
17:06:37 BN254 commitment key size: 262144 (mem: 828.84 MiB)
17:06:37 [17:06:37.280]
INFO:
ivc-integration:test:rollup-native bb - Constructing DeciderProvingKey (mem: 828.84 MiB)
17:06:37 [17:06:37.283]
INFO:
ivc-integration:test:rollup-native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 828.84 MiB)
17:06:37 goblin ecc op : 4/1024 (mem: 828.84 MiB)
17:06:37 busread : 3/6000 (mem: 828.84 MiB)
17:06:37 lookups : 2/15000 (mem: 828.84 MiB)
17:06:37 [17:06:37.283]
INFO:
ivc-integration:test:rollup-native bb - pub inputs : 17/5000 (populated in decider pk constructor) (mem: 828.84 MiB)
17:06:37 arithmetic : 1773/56000 (mem: 828.84 MiB)
17:06:37 delta range : 1754/18000 (mem: 828.84 MiB)
17:06:37 elliptic : 2/6000 (mem: 828.84 MiB)
17:06:37 auxiliary : 26/26000 (mem: 828.84 MiB)
17:06:37 poseidon ext : 2/17000 (mem: 828.84 MiB)
17:06:37 poseidon int : 2/92000 (mem: 828.84 MiB)
17:06:37 overflow : 0/0 (mem: 828.84 MiB)
17:06:37 (mem: 828.84 MiB)
17:06:37 Total structured size: 242025 (mem: 828.84 MiB)
17:06:37 allocating polynomials object in proving key... (mem: 828.84 MiB)
17:06:37 [17:06:37.449]
INFO:
ivc-integration:test:rollup-native bb - populating trace... (mem: 828.84 MiB)
17:06:37 [17:06:37.476]
INFO:
ivc-integration:test:rollup-native bb - time to construct proving key: 195 ms. (mem: 828.84 MiB)
17:06:37 [17:06:37.544]
INFO:
ivc-integration:test:rollup-native bb - getting honk vk... precomputed?: 0
17:06:37 [17:06:37.546]
INFO:
ivc-integration:test:rollup-native bb - (mem: 828.84 MiB)
17:06:38 [17:06:38.225]
INFO:
ivc-integration:test:rollup-native bb - computing oink proof... (mem: 828.84 MiB)
17:06:38 [17:06:38.689]
INFO:
ivc-integration:test:rollup-native bb - oink proof constructed (mem: 828.84 MiB)
17:06:38 [17:06:38.715]
INFO:
ivc-integration:test:rollup-native bb - Constructing DeciderProvingKey (mem: 828.84 MiB)
17:06:38 [17:06:38.723]
INFO:
ivc-integration:test:rollup-native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 828.84 MiB)
17:06:38 [17:06:38.724]
INFO:
ivc-integration:test:rollup-native bb - goblin ecc op : 56/1024 (mem: 828.84 MiB)
17:06:38 busread : 3/6000 (mem: 828.84 MiB)
17:06:38 lookups : 2/15000 (mem: 828.84 MiB)
17:06:38 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 828.84 MiB)
17:06:38 arithmetic : 4072/56000 (mem: 828.84 MiB)
17:06:38 delta range : 2030/18000 (mem: 828.84 MiB)
17:06:38 elliptic : 2/6000 (mem: 828.84 MiB)
17:06:38 auxiliary : 50/26000 (mem: 828.84 MiB)
17:06:38 poseidon ext : 882/17000 (mem: 828.84 MiB)
17:06:38 poseidon int : 5018/92000 (mem: 828.84 MiB)
17:06:38 overflow : 0/0 (mem: 828.84 MiB)
17:06:38 (mem: 828.84 MiB)
17:06:38 Total structured size: 242025 (mem: 828.84 MiB)
17:06:38 allocating polynomials object in proving key... (mem: 828.84 MiB)
17:06:38 [17:06:38.851]
INFO:
ivc-integration:test:rollup-native bb - populating trace... (mem: 895.37 MiB)
17:06:38 [17:06:38.945]
INFO:
ivc-integration:test:rollup-native bb - time to construct proving key: 231 ms. (mem: 895.37 MiB)
17:06:39 [17:06:39.047]
INFO:
ivc-integration:test:rollup-native bb - getting honk vk... precomputed?: 0 (mem: 895.37 MiB)
17:06:39 [17:06:39.767]
INFO:
ivc-integration:test:rollup-native bb - computing folding proof (mem: 895.37 MiB)
17:06:40 [17:06:40.266]
INFO:
ivc-integration:test:rollup-native bb - oink prover on each incomplete key (mem: 904.37 MiB)
17:06:40 [17:06:40.519]
INFO:
ivc-integration:test:rollup-native bb - perturbator round (mem: 904.37 MiB)
17:06:40 [17:06:40.596]
INFO:
ivc-integration:test:rollup-native bb - combiner quotient round (mem: 936.37 MiB)
17:06:41 [17:06:41.031]
INFO:
ivc-integration:test:rollup-native bb - folded (mem: 936.37 MiB)
17:06:41 constructed folding proof (mem: 936.37 MiB)
17:06:41 [17:06:41.046]
INFO:
ivc-integration:test:rollup-native bb - Largest circuit: 12059 gates. Trace details: (mem: 936.37 MiB)
17:06:41 Minimum required block sizes for structured trace: (mem: 936.37 MiB)
17:06:41 (mem: 936.37 MiB)
17:06:41 prove decider... (mem: 936.37 MiB)
17:06:41 finished decider proving. (mem: 936.37 MiB)
17:06:41 [17:06:41.047]
INFO:
ivc-integration:test:rollup-native bb - ecc_op : 56
17:06:41 busread : 3
17:06:41 lookup : 2
17:06:41 pub_inputs : 36
17:06:41 arithmetic : 4072
17:06:41 delta_range : 2030
17:06:41 elliptic : 2
17:06:41 aux : 50
17:06:41 poseidon2_external : 882
17:06:41 poseidon2_internal : 5018
17:06:41 overflow : 0
17:06:41 [17:06:41.261]
INFO:
ivc-integration:test:rollup-native bb - starting sumcheck rounds... (mem: 936.37 MiB)
17:06:41 [17:06:41.595]
INFO:
ivc-integration:test:rollup-native bb - completed 18 rounds of sumcheck (mem: 936.37 MiB)
17:06:42 [17:06:42.675]
INFO:
ivc-integration:test:rollup-native bb - executed multivariate-to-univariate reduction (mem: 936.37 MiB)
17:06:42 [17:06:42.757]
INFO:
ivc-integration:test:rollup-native bb - computed opening proof (mem: 936.37 MiB)
17:06:42 [17:06:42.891]
INFO:
ivc-integration:test:rollup-native bb - Constructing DeciderProvingKey (mem: 936.37 MiB)
17:06:42 [17:06:42.896]
INFO:
ivc-integration:test:rollup-native bb - allocating polynomials object in proving key... (mem: 936.37 MiB)
17:06:43 [17:06:43.042]
INFO:
ivc-integration:test:rollup-native bb - populating trace... (mem: 936.37 MiB)
17:06:43 [17:06:43.086]
INFO:
ivc-integration:test:rollup-native bb - time to construct proving key: 193 ms. (mem: 936.37 MiB)
17:06:43 [17:06:43.957]
INFO:
ivc-integration:test:rollup-native Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/proof -k /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/vk -v
17:06:43 [17:06:43.987]
INFO:
ivc-integration:test:rollup-native bb command: verify (mem: 194.87 MiB)
17:06:43 [17:06:43.988]
INFO:
ivc-integration:test:rollup-native Scheme is: client_ivc, num threads: 128 (mem: 194.87 MiB)
17:06:43 --proof_path: /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/proof (mem: 194.87 MiB)
17:06:43 --vk_path: /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/vk (mem: 194.87 MiB)
17:06:43 --verbose: true (mem: 194.87 MiB)
17:06:43 --scheme: client_ivc (mem: 194.87 MiB)
17:06:44 [17:06:44.102]
INFO:
ivc-integration:test:rollup-native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 194.87 MiB)
17:06:44 [17:06:44.128]
INFO:
ivc-integration:test:rollup-native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 194.87 MiB)
17:06:44 [17:06:44.146]
INFO:
ivc-integration:test:rollup-native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 194.87 MiB)
17:06:44 [17:06:44.151]
INFO:
ivc-integration:test:rollup-native Initialized BN254 CRS from memory with num points = 1025 (mem: 194.87 MiB)
17:06:44 Mega verified: 1 (mem: 194.87 MiB)
17:06:44 [17:06:44.235]
INFO:
ivc-integration:test:rollup-native eccvm sumcheck verified?: 1 (mem: 194.87 MiB)
17:06:44 batch opening verified?: 1 (mem: 194.87 MiB)
17:06:44 eccvm consistency check verified?: 1 (mem: 194.87 MiB)
17:06:44 translation masking consistency checked?: 1 (mem: 194.87 MiB)
17:06:44 [17:06:44.262]
INFO:
ivc-integration:test:rollup-native merge verified?: 1 (mem: 194.87 MiB)
17:06:44 eccvm verified?: 1 (mem: 194.87 MiB)
17:06:44 accumulator construction_verified?: 1 (mem: 194.87 MiB)
17:06:44 translation verified?: 1 (mem: 194.87 MiB)
17:06:44 consistency verified?: 1 (mem: 194.87 MiB)
17:06:44 Goblin verified: 1 (mem: 194.87 MiB)
17:06:44 [17:06:44.265]
INFO:
ivc-integration:test:rollup-native verified: 1 (mem: 194.87 MiB)
17:06:44 [17:06:44.291]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove_tube -o /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc -k /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/vk -v
17:06:44 [17:06:44.324]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - bb command: prove_tube (mem: 194.48 MiB)
17:06:44 Scheme is: ultra_honk, num threads: 128 (mem: 194.48 MiB)
17:06:44 --verbose: true (mem: 194.48 MiB)
17:06:44 --vk_path: /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc/vk (mem: 194.48 MiB)
17:06:44 --output_path: /tmp/bb-rollup-ivc-integration-client-ivc-IERHAc (mem: 194.48 MiB)
17:06:44 [17:06:44.415]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 194.48 MiB)
17:06:44 [17:06:44.434]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 194.48 MiB)
17:06:53 [17:06:53.515]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - Constructing DeciderProvingKey (mem: 1542.89 MiB)
17:06:55 [17:06:55.070]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - allocating polynomials object in proving key... (mem: 1679.79 MiB)
17:06:55 [17:06:55.323]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - populating trace... (mem: 5211.79 MiB)
17:06:57 [17:06:57.122]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - time to construct proving key: 3606 ms. (mem: 5710.79 MiB)
17:06:57 [17:06:57.281]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 7421.68 MiB)
17:06:58 [17:06:58.691]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 8189.82 MiB)
17:07:01 [17:07:01.261]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - created oink proof (mem: 8189.82 MiB)
17:07:02 [17:07:02.219]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - starting sumcheck rounds...
17:07:02 [17:07:02.220]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - (mem: 8277.09 MiB)
17:07:03 [17:07:03.783]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - completed 22 rounds of sumcheck (mem: 8277.09 MiB)
17:07:08 [17:07:08.829]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - executed multivariate-to-univariate reduction (mem: 8967.27 MiB)
17:07:09 [17:07:09.709]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - computed opening proof (mem: 8967.27 MiB)
17:07:13 [17:07:13.954]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - verificaton key length in fields:113 (mem: 8967.27 MiB)
17:07:13 [17:07:13.954]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - Native verification of the tube_proof (mem: 8967.27 MiB)
17:07:13 [17:07:13.998]
INFO:
ivc-integration:test:rollup-native TubeCircuit (prove) BB out - Tube proof verification: 1 (mem: 8967.27 MiB)
17:07:15 [17:07:15.166]
INFO:
ivc-integration:test:rollup-native Successfully verified proof from key in 193.07021299999906 ms
17:07:15 [17:07:15.176]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-Zf8Su5/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
17:07:40 [17:07:40.836]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit 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-rollup-ivc-integration-JVn1lB -b /tmp/bb-rollup-ivc-integration-JVn1lB/MockRollupBasePrivateCircuit-bytecode -w /tmp/bb-rollup-ivc-integration-JVn1lB/witness.gz -v --init_kzg_accumulator
17:07:40 [17:07:40.859]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - bb command: prove (mem: 197.29 MiB)
17:07:40 Scheme is: ultra_honk, num threads: 128 (mem: 197.29 MiB)
17:07:40 --scheme: ultra_honk (mem: 197.29 MiB)
17:07:40 --bytecode_path: /tmp/bb-rollup-ivc-integration-JVn1lB/MockRollupBasePrivateCircuit-bytecode (mem: 197.29 MiB)
17:07:40 --witness_path: /tmp/bb-rollup-ivc-integration-JVn1lB/witness.gz (mem: 197.29 MiB)
17:07:40 --output_path: /tmp/bb-rollup-ivc-integration-JVn1lB (mem: 197.29 MiB)
17:07:40 --verbose: true (mem: 197.29 MiB)
17:07:40 --oracle_hash: poseidon2 (mem: 197.29 MiB)
17:07:40 --output_format: bytes_and_fields (mem: 197.29 MiB)
17:07:40 --write_vk: true (mem: 197.29 MiB)
17:07:40 --init_kzg_accumulator: true (mem: 197.29 MiB)
17:07:40 --ipa_accumulation: true (mem: 197.29 MiB)
17:07:42 [17:07:42.730]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - created circuit (mem: 395.76 MiB)
17:07:42 [17:07:42.731]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - Constructing DeciderProvingKey (mem: 395.76 MiB)
17:07:43 [17:07:43.066]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - allocating polynomials object in proving key... (mem: 477.10 MiB)
17:07:43 [17:07:43.225]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - populating trace... (mem: 1434.10 MiB)
17:07:43 [17:07:43.613]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - time to construct proving key: 883 ms. (mem: 1560.10 MiB)
17:07:43 [17:07:43.639]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 1917.28 MiB)
17:07:43 [17:07:43.956]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - Initialized BN254 CRS from memory with num points = 1049601 (mem: 2137.28 MiB)
17:07:44 [17:07:44.409]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - created oink proof (mem: 2137.28 MiB)
17:07:44 [17:07:44.668]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - starting sumcheck rounds... (mem: 2137.28 MiB)
17:07:45 [17:07:45.078]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - completed 20 rounds of sumcheck (mem: 2137.28 MiB)
17:07:46 [17:07:46.191]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - executed multivariate-to-univariate reduction
17:07:46 [17:07:46.195]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - (mem: 2159.87 MiB)
17:07:46 [17:07:46.332]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - computed opening proof (mem: 2159.87 MiB)
17:07:47 [17:07:47.448]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - Public inputs saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/public_inputs" (mem: 2159.87 MiB)
17:07:47 [17:07:47.448]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - Public inputs fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/public_inputs_fields.json" (mem: 2159.87 MiB)
17:07:47 Proof saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/proof" (mem: 2159.87 MiB)
17:07:47 Proof fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/proof_fields.json" (mem: 2159.87 MiB)
17:07:47 VK saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/vk" (mem: 2159.87 MiB)
17:07:47 [17:07:47.449]
INFO:
ivc-integration:test:rollup-native MockRollupBasePrivateCircuit BB out - VK fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/vk_fields.json" (mem: 2159.87 MiB)
17:07:47 [17:07:47.819]
INFO:
ivc-integration:test:rollup-native Successfully verified proof from key in 210.65732699999353 ms
17:07:48 [17:07:48.354]
INFO:
ivc-integration:test:rollup-native 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-rollup-ivc-integration-JVn1lB -b /tmp/bb-rollup-ivc-integration-JVn1lB/MockRollupBasePublicCircuit-bytecode -w /tmp/bb-rollup-ivc-integration-JVn1lB/witness.gz -v --init_kzg_accumulator
17:07:48 [17:07:48.375]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - bb command: prove (mem: 197.44 MiB)
17:07:48 Scheme is: ultra_honk, num threads: 128 (mem: 197.44 MiB)
17:07:48 --scheme: ultra_honk (mem: 197.44 MiB)
17:07:48 --bytecode_path: /tmp/bb-rollup-ivc-integration-JVn1lB/MockRollupBasePublicCircuit-bytecode (mem: 197.44 MiB)
17:07:48 --witness_path: /tmp/bb-rollup-ivc-integration-JVn1lB/witness.gz (mem: 197.44 MiB)
17:07:48 --output_path: /tmp/bb-rollup-ivc-integration-JVn1lB (mem: 197.44 MiB)
17:07:48 [17:07:48.376]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - --verbose: true (mem: 197.44 MiB)
17:07:48 --oracle_hash: poseidon2 (mem: 197.44 MiB)
17:07:48 --output_format: bytes_and_fields (mem: 197.44 MiB)
17:07:48 --write_vk: true (mem: 197.44 MiB)
17:07:48 --init_kzg_accumulator: true (mem: 197.44 MiB)
17:07:48 --ipa_accumulation: true (mem: 197.44 MiB)
17:07:51 [17:07:51.888]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - verified sumcheck: 1 (mem: 1146.43 MiB)
17:07:51 [17:07:51.896]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 0 (mem: 1147.43 MiB)
17:07:51 public_input_evaluation failed, public inputs col 1 (mem: 1148.43 MiB)
17:07:51 public_input_evaluation failed, public inputs col 2 (mem: 1148.43 MiB)
17:07:51 [17:07:51.897]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - public_input_evaluation failed, public inputs col 3 (mem: 1149.43 MiB)
17:07:52 [17:07:52.108]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 1181.43 MiB)
17:07:52 [17:07:52.112]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 1183.43 MiB)
17:07:52 [17:07:52.293]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - populating trace... (mem: 2991.43 MiB)
17:07:52 [17:07:52.679]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - time to construct proving key: 570 ms. (mem: 3065.43 MiB)
17:07:52 [17:07:52.697]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 3451.43 MiB)
17:07:53 [17:07:53.039]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 1049601 (mem: 3643.82 MiB)
17:07:54 [17:07:54.538]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - created oink proof (mem: 3669.27 MiB)
17:07:54 [17:07:54.778]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4108.04 MiB)
17:07:54 [17:07:54.977]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - completed 20 rounds of sumcheck (mem: 4108.04 MiB)
17:07:55 [17:07:55.953]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 4108.04 MiB)
17:07:56 [17:07:56.139]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4108.04 MiB)
17:07:56 [17:07:56.198]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Constructing a Goblin proof with num ultra ops = 4748 (mem: 4108.04 MiB)
17:07:56 prove eccvm... (mem: 4108.04 MiB)
17:07:56 [17:07:56.418]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 4108.04 MiB)
17:07:56 [17:07:56.430]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 4108.04 MiB)
17:07:57 [17:07:57.634]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4108.04 MiB)
17:07:58 [17:07:58.150]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - completed 16 rounds of sumcheck (mem: 4108.04 MiB)
17:07:59 [17:07:59.688]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - finished eccvm proving. (mem: 4108.04 MiB)
17:07:59 prove translator... (mem: 4108.04 MiB)
17:08:00 [17:08:00.707]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 4108.04 MiB)
17:08:01 [17:08:01.240]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - completed 18 rounds of sumcheck (mem: 4108.04 MiB)
17:08:02 [17:08:02.149]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - computed opening proof (mem: 4108.04 MiB)
17:08:02 [17:08:02.150]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - finished translator proving. (mem: 4108.04 MiB)
17:08:14 [17:08:14.739]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - created circuit (mem: 4108.04 MiB)
17:08:14 [17:08:14.740]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Constructing DeciderProvingKey (mem: 4108.04 MiB)
17:08:17 [17:08:17.053]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - allocating polynomials object in proving key... (mem: 4108.04 MiB)
17:08:17 [17:08:17.311]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - populating trace... (mem: 6656.44 MiB)
17:08:20 [17:08:20.282]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - time to construct proving key: 5539 ms. (mem: 6940.44 MiB)
17:08:20 [17:08:20.626]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6940.44 MiB)
17:08:21 [17:08:21.991]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7654.63 MiB)
17:08:24 [17:08:24.472]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - created oink proof (mem: 7654.63 MiB)
17:08:25 [17:08:25.101]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - starting sumcheck rounds... (mem: 7663.50 MiB)
17:08:25 [17:08:25.943]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - completed 22 rounds of sumcheck (mem: 7663.50 MiB)
17:08:29 [17:08:29.472]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - executed multivariate-to-univariate reduction (mem: 8277.33 MiB)
17:08:30 [17:08:30.254]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - computed opening proof (mem: 8277.33 MiB)
17:08:35 [17:08:35.038]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Public inputs saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/public_inputs" (mem: 8277.33 MiB)
17:08:35 [17:08:35.038]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Public inputs fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/public_inputs_fields.json" (mem: 8277.33 MiB)
17:08:35 Proof saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/proof" (mem: 8277.33 MiB)
17:08:35 [17:08:35.039]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - Proof fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/proof_fields.json" (mem: 8277.33 MiB)
17:08:35 [17:08:35.039]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - VK saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/vk" (mem: 8277.33 MiB)
17:08:35 [17:08:35.039]
INFO:
ivc-integration:test:rollup-native MockRollupBasePublicCircuit BB out - VK fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/vk_fields.json" (mem: 8277.33 MiB)
17:08:35 [17:08:35.497]
INFO:
ivc-integration:test:rollup-native Successfully verified proof from key in 196.608871000004 ms
17:08:35 [17:08:35.534]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit 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-rollup-ivc-integration-JVn1lB -b /tmp/bb-rollup-ivc-integration-JVn1lB/MockRollupMergeCircuit-bytecode -w /tmp/bb-rollup-ivc-integration-JVn1lB/witness.gz -v --init_kzg_accumulator
17:08:35 [17:08:35.551]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - bb command: prove (mem: 197.44 MiB)
17:08:35 Scheme is: ultra_honk, num threads: 128 (mem: 197.44 MiB)
17:08:35 --scheme: ultra_honk (mem: 197.44 MiB)
17:08:35 --bytecode_path: /tmp/bb-rollup-ivc-integration-JVn1lB/MockRollupMergeCircuit-bytecode (mem: 197.44 MiB)
17:08:35 --witness_path: /tmp/bb-rollup-ivc-integration-JVn1lB/witness.gz (mem: 197.44 MiB)
17:08:35 [17:08:35.552]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - --output_path: /tmp/bb-rollup-ivc-integration-JVn1lB (mem: 197.44 MiB)
17:08:35 --verbose: true (mem: 197.44 MiB)
17:08:35 --oracle_hash: poseidon2 (mem: 197.44 MiB)
17:08:35 --output_format: bytes_and_fields (mem: 197.44 MiB)
17:08:35 --write_vk: true (mem: 197.44 MiB)
17:08:35 --init_kzg_accumulator: true (mem: 197.44 MiB)
17:08:35 --ipa_accumulation: true (mem: 197.44 MiB)
17:08:39 [17:08:39.705]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 849.89 MiB)
17:08:39 [17:08:39.727]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 857.89 MiB)
17:08:40 [17:08:40.929]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - created circuit (mem: 884.89 MiB)
17:08:40 [17:08:40.929]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - Constructing DeciderProvingKey (mem: 884.89 MiB)
17:08:41 [17:08:41.654]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - allocating polynomials object in proving key... (mem: 1088.13 MiB)
17:08:41 [17:08:41.741]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - populating trace... (mem: 2827.13 MiB)
17:08:43 [17:08:43.054]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - time to construct proving key: 2125 ms. (mem: 3114.13 MiB)
17:08:43 [17:08:43.260]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 3877.38 MiB)
17:08:43 [17:08:43.864]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - Initialized BN254 CRS from memory with num points = 2098177 (mem: 4262.30 MiB)
17:08:45 [17:08:45.028]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - created oink proof (mem: 4262.30 MiB)
17:08:45 [17:08:45.378]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - starting sumcheck rounds... (mem: 4262.30 MiB)
17:08:45 [17:08:45.829]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - completed 21 rounds of sumcheck (mem: 4262.30 MiB)
17:08:48 [17:08:48.086]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - executed multivariate-to-univariate reduction (mem: 4523.73 MiB)
17:08:48 [17:08:48.435]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - computed opening proof (mem: 4523.73 MiB)
17:08:51 [17:08:51.260]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - Public inputs saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/public_inputs" (mem: 4523.73 MiB)
17:08:51 [17:08:51.261]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - Public inputs fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/public_inputs_fields.json" (mem: 4523.73 MiB)
17:08:51 Proof saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/proof" (mem: 4523.73 MiB)
17:08:51 Proof fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/proof_fields.json" (mem: 4523.73 MiB)
17:08:51 [17:08:51.261]
INFO:
ivc-integration:test:rollup-native MockRollupMergeCircuit BB out - VK saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/vk" (mem: 4523.73 MiB)
17:08:51 VK fields saved to "/tmp/bb-rollup-ivc-integration-JVn1lB/vk_fields.json" (mem: 4523.73 MiB)
17:08:51 [17:08:51.671]
INFO:
ivc-integration:test:rollup-native Successfully verified proof from key in 227.78238899999997 ms
17:08:51
PASS src/rollup_ivc_integration.test.ts (
160.614 s)
17:08:51 Rollup IVC Integration
17:08:51
✓ Should be able to generate a proof of a 3 transaction rollup (70911 ms)
17:08:51
17:08:51
Test Suites: 1 passed, 1 total
17:08:51
Tests: 1 passed, 1 total
17:08:51
Snapshots: 0 total
17:08:51
Time: 160.688 s
17:08:51
Ran all test suites matching /ivc-integration\/src\/rollup_ivc_integration.test.ts/i
.
17:08:51
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?