Parent Log: http://ci.aztec-labs.com/e80db4f962749b47 Command: b8c1d88425a02bda-no-avm barretenberg/cpp/scripts/run_test.sh ultra_honk_tests UltraTranscriptTests/0.ProverManifestConsistency Commit: https://github.com/AztecProtocol/aztec-packages/commit/314d7622c6bacc8333ae49fe9583967cab78349b Env: REF_NAME=gh-readonly-queue/next/pr-15000-c51485c507bcf668c6e55129eb2c1794af4a0732 CURRENT_VERSION=0.87.6 CI_FULL=0 Date: Fri Jun 13 11:40:17 UTC 2025 System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-15000_arm64_a1-fast Resources: CPU_LIST=0-63 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_e720b02c41de1c8f_next 11:40:17 Running main() from /home/aztec-dev/aztec-packages/barretenberg/cpp/build/_deps/gtest-src/googletest/src/gtest_main.cc 11:40:17 Note: Google Test filter = UltraTranscriptTests/0.ProverManifestConsistency 11:40:17 [==========] Running 1 test from 1 test suite. 11:40:17 [----------] Global test environment set-up. 11:40:17 [----------] 1 test from UltraTranscriptTests/0, where TypeParam = bb::UltraFlavor 11:40:17 [ RUN ] UltraTranscriptTests/0.ProverManifestConsistency 11:40:17 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 17.50 MiB) 11:40:17 Round: 0 (mem: 17.50 MiB) 11:40:17 challenge: vkey_hash (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 element (1): vkey_field (mem: 17.50 MiB) 11:40:17 Round: 1 (mem: 17.50 MiB) 11:40:17 challenge: eta (mem: 17.50 MiB) 11:40:17 challenge: eta_two (mem: 17.50 MiB) 11:40:17 challenge: eta_three (mem: 17.50 MiB) 11:40:17 element (1): public_input_0 (mem: 17.50 MiB) 11:40:17 element (1): public_input_1 (mem: 17.50 MiB) 11:40:17 element (1): public_input_2 (mem: 17.50 MiB) 11:40:17 element (1): public_input_3 (mem: 17.50 MiB) 11:40:17 element (1): public_input_4 (mem: 17.50 MiB) 11:40:17 element (1): public_input_5 (mem: 17.50 MiB) 11:40:17 element (1): public_input_6 (mem: 17.50 MiB) 11:40:17 element (1): public_input_7 (mem: 17.50 MiB) 11:40:17 element (1): public_input_8 (mem: 17.50 MiB) 11:40:17 element (1): public_input_9 (mem: 17.50 MiB) 11:40:17 element (1): public_input_10 (mem: 17.50 MiB) 11:40:17 element (1): public_input_11 (mem: 17.50 MiB) 11:40:17 element (1): public_input_12 (mem: 17.50 MiB) 11:40:17 element (1): public_input_13 (mem: 17.50 MiB) 11:40:17 element (1): public_input_14 (mem: 17.50 MiB) 11:40:17 element (1): public_input_15 (mem: 17.50 MiB) 11:40:17 element (1): public_input_16 (mem: 17.50 MiB) 11:40:17 element (4): W_L (mem: 17.50 MiB) 11:40:17 element (4): W_R (mem: 17.50 MiB) 11:40:17 element (4): W_O (mem: 17.50 MiB) 11:40:17 Round: 2 (mem: 17.50 MiB) 11:40:17 challenge: beta (mem: 17.50 MiB) 11:40:17 challenge: gamma (mem: 17.50 MiB) 11:40:17 element (4): LOOKUP_READ_COUNTS (mem: 17.50 MiB) 11:40:17 element (4): LOOKUP_READ_TAGS (mem: 17.50 MiB) 11:40:17 element (4): W_4 (mem: 17.50 MiB) 11:40:17 Round: 3 (mem: 17.50 MiB) 11:40:17 challenge: alpha_0 (mem: 17.50 MiB) 11:40:17 challenge: alpha_1 (mem: 17.50 MiB) 11:40:17 challenge: alpha_2 (mem: 17.50 MiB) 11:40:17 challenge: alpha_3 (mem: 17.50 MiB) 11:40:17 challenge: alpha_4 (mem: 17.50 MiB) 11:40:17 challenge: alpha_5 (mem: 17.50 MiB) 11:40:17 challenge: alpha_6 (mem: 17.50 MiB) 11:40:17 challenge: alpha_7 (mem: 17.50 MiB) 11:40:17 challenge: alpha_8 (mem: 17.50 MiB) 11:40:17 challenge: alpha_9 (mem: 17.50 MiB) 11:40:17 challenge: alpha_10 (mem: 17.50 MiB) 11:40:17 challenge: alpha_11 (mem: 17.50 MiB) 11:40:17 challenge: alpha_12 (mem: 17.50 MiB) 11:40:17 challenge: alpha_13 (mem: 17.50 MiB) 11:40:17 challenge: alpha_14 (mem: 17.50 MiB) 11:40:17 challenge: alpha_15 (mem: 17.50 MiB) 11:40:17 challenge: alpha_16 (mem: 17.50 MiB) 11:40:17 challenge: alpha_17 (mem: 17.50 MiB) 11:40:17 challenge: alpha_18 (mem: 17.50 MiB) 11:40:17 challenge: alpha_19 (mem: 17.50 MiB) 11:40:17 challenge: alpha_20 (mem: 17.50 MiB) 11:40:17 challenge: alpha_21 (mem: 17.50 MiB) 11:40:17 challenge: alpha_22 (mem: 17.50 MiB) 11:40:17 challenge: alpha_23 (mem: 17.50 MiB) 11:40:17 challenge: alpha_24 (mem: 17.50 MiB) 11:40:17 element (4): LOOKUP_INVERSES (mem: 17.50 MiB) 11:40:17 element (4): Z_PERM (mem: 17.50 MiB) 11:40:17 Round: 4 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_0 (mem: 17.50 MiB) 11:40:17 Round: 5 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_1 (mem: 17.50 MiB) 11:40:17 Round: 6 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_2 (mem: 17.50 MiB) 11:40:17 Round: 7 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_3 (mem: 17.50 MiB) 11:40:17 Round: 8 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_4 (mem: 17.50 MiB) 11:40:17 Round: 9 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_5 (mem: 17.50 MiB) 11:40:17 Round: 10 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_6 (mem: 17.50 MiB) 11:40:17 Round: 11 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_7 (mem: 17.50 MiB) 11:40:17 Round: 12 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_8 (mem: 17.50 MiB) 11:40:17 Round: 13 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_9 (mem: 17.50 MiB) 11:40:17 Round: 14 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_10 (mem: 17.50 MiB) 11:40:17 Round: 15 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_11 (mem: 17.50 MiB) 11:40:17 Round: 16 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_12 (mem: 17.50 MiB) 11:40:17 Round: 17 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_13 (mem: 17.50 MiB) 11:40:17 Round: 18 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_14 (mem: 17.50 MiB) 11:40:17 Round: 19 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_15 (mem: 17.50 MiB) 11:40:17 Round: 20 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_16 (mem: 17.50 MiB) 11:40:17 Round: 21 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_17 (mem: 17.50 MiB) 11:40:17 Round: 22 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_18 (mem: 17.50 MiB) 11:40:17 Round: 23 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_19 (mem: 17.50 MiB) 11:40:17 Round: 24 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_20 (mem: 17.50 MiB) 11:40:17 Round: 25 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_21 (mem: 17.50 MiB) 11:40:17 Round: 26 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_22 (mem: 17.50 MiB) 11:40:17 Round: 27 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_23 (mem: 17.50 MiB) 11:40:17 Round: 28 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_24 (mem: 17.50 MiB) 11:40:17 Round: 29 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_25 (mem: 17.50 MiB) 11:40:17 Round: 30 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_26 (mem: 17.50 MiB) 11:40:17 Round: 31 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:gate_challenge_27 (mem: 17.50 MiB) 11:40:17 Round: 32 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_0 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_0 (mem: 17.50 MiB) 11:40:17 Round: 33 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_1 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_1 (mem: 17.50 MiB) 11:40:17 Round: 34 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_2 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_2 (mem: 17.50 MiB) 11:40:17 Round: 35 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_3 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_3 (mem: 17.50 MiB) 11:40:17 Round: 36 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_4 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_4 (mem: 17.50 MiB) 11:40:17 Round: 37 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_5 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_5 (mem: 17.50 MiB) 11:40:17 Round: 38 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_6 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_6 (mem: 17.50 MiB) 11:40:17 Round: 39 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_7 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_7 (mem: 17.50 MiB) 11:40:17 Round: 40 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_8 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_8 (mem: 17.50 MiB) 11:40:17 Round: 41 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_9 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_9 (mem: 17.50 MiB) 11:40:17 Round: 42 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_10 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_10 (mem: 17.50 MiB) 11:40:17 Round: 43 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_11 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_11 (mem: 17.50 MiB) 11:40:17 Round: 44 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_12 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_12 (mem: 17.50 MiB) 11:40:17 Round: 45 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_13 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_13 (mem: 17.50 MiB) 11:40:17 Round: 46 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_14 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_14 (mem: 17.50 MiB) 11:40:17 Round: 47 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_15 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_15 (mem: 17.50 MiB) 11:40:17 Round: 48 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_16 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_16 (mem: 17.50 MiB) 11:40:17 Round: 49 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_17 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_17 (mem: 17.50 MiB) 11:40:17 Round: 50 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_18 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_18 (mem: 17.50 MiB) 11:40:17 Round: 51 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_19 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_19 (mem: 17.50 MiB) 11:40:17 Round: 52 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_20 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_20 (mem: 17.50 MiB) 11:40:17 Round: 53 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_21 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_21 (mem: 17.50 MiB) 11:40:17 Round: 54 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_22 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_22 (mem: 17.50 MiB) 11:40:17 Round: 55 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_23 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_23 (mem: 17.50 MiB) 11:40:17 Round: 56 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_24 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_24 (mem: 17.50 MiB) 11:40:17 Round: 57 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_25 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_25 (mem: 17.50 MiB) 11:40:17 Round: 58 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_26 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_26 (mem: 17.50 MiB) 11:40:17 Round: 59 (mem: 17.50 MiB) 11:40:17 challenge: Sumcheck:u_27 (mem: 17.50 MiB) 11:40:17 element (8): Sumcheck:univariate_27 (mem: 17.50 MiB) 11:40:17 Round: 60 (mem: 17.50 MiB) 11:40:17 challenge: rho (mem: 17.50 MiB) 11:40:17 element (40): Sumcheck:evaluations (mem: 17.50 MiB) 11:40:17 Round: 61 (mem: 17.50 MiB) 11:40:17 challenge: Gemini:r (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_1 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_2 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_3 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_4 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_5 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_6 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_7 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_8 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_9 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_10 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_11 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_12 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_13 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_14 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_15 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_16 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_17 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_18 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_19 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_20 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_21 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_22 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_23 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_24 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_25 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_26 (mem: 17.50 MiB) 11:40:17 element (4): Gemini:FOLD_27 (mem: 17.50 MiB) 11:40:17 Round: 62 (mem: 17.50 MiB) 11:40:17 challenge: Shplonk:nu (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_1 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_2 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_3 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_4 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_5 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_6 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_7 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_8 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_9 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_10 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_11 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_12 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_13 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_14 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_15 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_16 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_17 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_18 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_19 (mem: 17.50 MiB) 11:40:17 element (1): Gemini:a_20 (mem: 17.50 MiB)