[INFO] cloning repository https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnonymous-000%2FCompressed-Sigma-from-Sumchecks", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnonymous-000%2FCompressed-Sigma-from-Sumchecks'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 722971477ceff342c489a0e21088070244db039a
[INFO] checking Anonymous-000/Compressed-Sigma-from-Sumchecks/722971477ceff342c489a0e21088070244db039a against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnonymous-000%2FCompressed-Sigma-from-Sumchecks" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks on toolchain ccf408f4326a858c00dd845a64a86b16f360a801
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks
[INFO] finished tweaking git repo https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks
[INFO] tweaked toml for git repo https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f72c294e57af2120ac4d77dee47d5f908c26a2608172481ef46687d86f4ed892
[INFO] running `Command { std: "docker" "start" "-a" "f72c294e57af2120ac4d77dee47d5f908c26a2608172481ef46687d86f4ed892", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f72c294e57af2120ac4d77dee47d5f908c26a2608172481ef46687d86f4ed892", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f72c294e57af2120ac4d77dee47d5f908c26a2608172481ef46687d86f4ed892", kill_on_drop: false }`
[INFO] [stdout] f72c294e57af2120ac4d77dee47d5f908c26a2608172481ef46687d86f4ed892
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 17ec598e6e350fceb93eea353d6a87ae1a153efd92edb2aee6904cdffca57226
[INFO] running `Command { std: "docker" "start" "-a" "17ec598e6e350fceb93eea353d6a87ae1a153efd92edb2aee6904cdffca57226", kill_on_drop: false }`
[INFO] [stderr] Copying to /tmp/fixit
[INFO] [stderr] Running `cargo fix --edition`
[INFO] [stderr]    Migrating Cargo.toml from 2021 edition to 2024
[INFO] [stderr]    Compiling proc-macro2 v1.0.83
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking either v1.12.0
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]     Checking once_cell v1.19.0
[INFO] [stderr]     Checking zerocopy v0.7.34
[INFO] [stderr]     Checking keccak v0.1.5
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking itertools v0.11.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rayon-core v1.12.1
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking num-bigint v0.4.5
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking util v0.1.0 (https://github.com/EspressoSystems/hyperplonk#8698369e)
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling displaydoc v0.2.4
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking zeroize v1.7.0
[INFO] [stderr]     Checking merlin v3.0.0
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking transcript v0.1.0 (https://github.com/EspressoSystems/hyperplonk#8698369e)
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-bls12-381 v0.4.0
[INFO] [stderr]     Checking ark-test-curves v0.4.2
[INFO] [stderr]     Checking arithmetic v0.1.0 (https://github.com/EspressoSystems/hyperplonk#8698369e)
[INFO] [stderr]     Checking subroutines v0.1.0 (https://github.com/EspressoSystems/hyperplonk#8698369e)
[INFO] [stderr]     Checking my_poly v0.1.0 (https://github.com/FranklinZty/my-poly#4153fb53)
[INFO] [stderr]     Checking sumcheck-on-g v0.1.0 (/tmp/fixit)
[INFO] [stderr]    Migrating src/main.rs from 2021 edition to 2024
[INFO] [stderr]        Fixed src/utils/mle.rs (5 fixes)
[INFO] [stderr]        Fixed src/sumcheckg/structs.rs (1 fix)
[INFO] [stderr]        Fixed src/utils/mleg.rs (7 fixes)
[INFO] [stderr]        Fixed src/main.rs (2 fixes)
[INFO] [stderr]        Fixed src/sumcheckg/prover.rs (3 fixes)
[INFO] [stderr]        Fixed src/virtual_group_polynomial.rs (1 fix)
[INFO] [stderr]        Fixed src/utils/vecg.rs (3 fixes)
[INFO] [stdout] warning: unused import: `rayon::iter::IndexedParallelIterator`
[INFO] [stdout]  --> src/utils/vecg.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use rayon::iter::IndexedParallelIterator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_std::ops::Mul`
[INFO] [stdout]  --> src/utils/vecg.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_std::ops::Mul;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `my_poly::evaluations::multivariate::multilinear::GroupMultilinearExtension`
[INFO] [stdout]   --> src/virtual_group_polynomial.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use my_poly::evaluations::multivariate::multilinear::GroupMultilinearExtension;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `temp`
[INFO] [stdout]    --> src/sumcheckg/prover.rs:136:29
[INFO] [stdout]     |
[INFO] [stdout] 136 |                         let temp = acc.clone();
[INFO] [stdout]     |                             ^^^^ help: if this is intentional, prefix it with an underscore: `_temp`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r_y`
[INFO] [stdout]    --> src/main.rs:116:9
[INFO] [stdout]     |
[INFO] [stdout] 116 |     let r_y = sumcheck_proof_y.point.clone();
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_r_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |     let sumcheck_subclaim = <PolyIOP<Fr> as SumCheck<Fr>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |     let sumcheck_subclaim = <PolyIOP<Fr> as SumCheck<Fr>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eval`
[INFO] [stdout]    --> src/main.rs:240:9
[INFO] [stdout]     |
[INFO] [stdout] 240 |     let eval = GM_y_virtual.evaluate(&r_x);
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_eval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:281:9
[INFO] [stdout]     |
[INFO] [stdout] 281 |     let sumcheck_subclaim = <PolyIOP<Fr> as GroupSumCheck<G1Projective>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:297:9
[INFO] [stdout]     |
[INFO] [stdout] 297 |     let sumcheck_subclaim = <PolyIOP<Fr> as GroupSumCheck<G1Projective>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eval`
[INFO] [stdout]    --> src/main.rs:305:9
[INFO] [stdout]     |
[INFO] [stdout] 305 |     let eval = GM_y_virtual.evaluate(&r_y);
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_eval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `num_x` should have an upper case name
[INFO] [stdout]   --> src/main.rs:31:7
[INFO] [stdout]    |
[INFO] [stdout] 31 | const num_x:usize = 8;
[INFO] [stdout]    |       ^^^^^ help: convert the identifier to upper case: `NUM_X`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `num_y` should have an upper case name
[INFO] [stdout]   --> src/main.rs:32:7
[INFO] [stdout]    |
[INFO] [stdout] 32 | const num_y:usize = 4;
[INFO] [stdout]    |       ^^^^^ help: convert the identifier to upper case: `NUM_Y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `deg_x` should have an upper case name
[INFO] [stdout]   --> src/main.rs:34:7
[INFO] [stdout]    |
[INFO] [stdout] 34 | const deg_x:usize = 2;
[INFO] [stdout]    |       ^^^^^ help: convert the identifier to upper case: `DEG_X`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `deg_y` should have an upper case name
[INFO] [stdout]   --> src/main.rs:35:7
[INFO] [stdout]    |
[INFO] [stdout] 35 | const deg_y:usize = deg_x+1;
[INFO] [stdout]    |       ^^^^^ help: convert the identifier to upper case: `DEG_Y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G_raw` should have a snake case name
[INFO] [stdout]   --> src/main.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |     let G_raw: Vec<usize> = (0..col_num).map(|_| rng.gen_range(0..99)).collect();
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `g_raw`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_raw` should have a snake case name
[INFO] [stdout]   --> src/main.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let M_raw = vec![G_raw.clone(); row_num];
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `m_raw`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/main.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |     let G = to_F_vec::<Fr>(G_raw);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M` should have a snake case name
[INFO] [stdout]   --> src/main.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 |     let M = to_F_matrix::<Fr>(M_raw);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sumcheck_on_F` should have a snake case name
[INFO] [stdout]   --> src/main.rs:52:4
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn sumcheck_on_F(
[INFO] [stdout]    |    ^^^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `sumcheck_on_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M` should have a snake case name
[INFO] [stdout]   --> src/main.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 |     M : Vec<Vec<Fr>>,
[INFO] [stdout]    |     ^ help: convert the identifier to snake case: `m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/main.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     G : Vec<Fr>,
[INFO] [stdout]    |     ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_xy_mle` should have a snake case name
[INFO] [stdout]   --> src/main.rs:57:9
[INFO] [stdout]    |
[INFO] [stdout] 57 |     let M_xy_mle: DenseMultilinearExtension<Fr> = matrix_to_mle(M.clone());
[INFO] [stdout]    |         ^^^^^^^^ help: convert the identifier to snake case: `m_xy_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G_y_mle` should have a snake case name
[INFO] [stdout]   --> src/main.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let G_y_mle: DenseMultilinearExtension<Fr> = vec_to_mle(num_y, &G.clone());
[INFO] [stdout]    |         ^^^^^^^ help: convert the identifier to snake case: `g_y_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G_y_virtual` should have a snake case name
[INFO] [stdout]   --> src/main.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let G_y_virtual =
[INFO] [stdout]    |         ^^^^^^^^^^^ help: convert the identifier to snake case: `g_y_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_x_mle` should have a snake case name
[INFO] [stdout]   --> src/main.rs:63:13
[INFO] [stdout]    |
[INFO] [stdout] 63 |     let mut M_x_mle: DenseMultilinearExtension<Fr> = vec_to_mle(num_x, &vec![Fr::zero();  M.len()]);
[INFO] [stdout]    |             ^^^^^^^ help: convert the identifier to snake case: `m_x_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `sum_GM` should have a snake case name
[INFO] [stdout]   --> src/main.rs:72:13
[INFO] [stdout]    |
[INFO] [stdout] 72 |     let mut sum_GM = DenseMultilinearExtension::<Fr> {
[INFO] [stdout]    |             ^^^^^^ help: convert the identifier to snake case: `sum_gm`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_j_y` should have a snake case name
[INFO] [stdout]   --> src/main.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |         let M_j_y = fix_variables(&M_xy_mle, &y);
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `m_j_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G_y` should have a snake case name
[INFO] [stdout]   --> src/main.rs:81:13
[INFO] [stdout]    |
[INFO] [stdout] 81 |         let G_y = G_y_virtual.evaluate(&y).unwrap();
[INFO] [stdout]    |             ^^^ help: convert the identifier to snake case: `g_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_j_z` should have a snake case name
[INFO] [stdout]   --> src/main.rs:82:13
[INFO] [stdout]    |
[INFO] [stdout] 82 |         let M_j_z = scalar_mul(&M_j_y, &G_y);
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `m_j_z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_x_virtual` should have a snake case name
[INFO] [stdout]   --> src/main.rs:87:13
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let mut GM_x_virtual =
[INFO] [stdout]    |             ^^^^^^^^^^^^ help: convert the identifier to snake case: `gm_x_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_y_mle` should have a snake case name
[INFO] [stdout]    --> src/main.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |     let M_y_mle = fix_variables(&M_xy_mle, &r_x);
[INFO] [stdout]     |         ^^^^^^^ help: convert the identifier to snake case: `m_y_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_y_virtual` should have a snake case name
[INFO] [stdout]    --> src/main.rs:104:9
[INFO] [stdout]     |
[INFO] [stdout] 104 |     let M_y_virtual =
[INFO] [stdout]     |         ^^^^^^^^^^^ help: convert the identifier to snake case: `m_y_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_y_virtual` should have a snake case name
[INFO] [stdout]    --> src/main.rs:107:13
[INFO] [stdout]     |
[INFO] [stdout] 107 |     let mut GM_y_virtual= M_y_virtual.clone();
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: convert the identifier to snake case: `gm_y_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_j_x` should have a snake case name
[INFO] [stdout]    --> src/main.rs:128:13
[INFO] [stdout]     |
[INFO] [stdout] 128 |         let GM_j_x = GM_x_virtual.evaluate(&x).unwrap();
[INFO] [stdout]     |             ^^^^^^ help: convert the identifier to snake case: `gm_j_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_j_y` should have a snake case name
[INFO] [stdout]    --> src/main.rs:138:13
[INFO] [stdout]     |
[INFO] [stdout] 138 |         let GM_j_y = GM_y_virtual.evaluate(&y).unwrap();
[INFO] [stdout]     |             ^^^^^^ help: convert the identifier to snake case: `gm_j_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sumcheck_on_G` should have a snake case name
[INFO] [stdout]    --> src/main.rs:183:4
[INFO] [stdout]     |
[INFO] [stdout] 183 | fn sumcheck_on_G(
[INFO] [stdout]     |    ^^^^^^^^^^^^^ help: convert the identifier to snake case: `sumcheck_on_g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M` should have a snake case name
[INFO] [stdout]    --> src/main.rs:184:5
[INFO] [stdout]     |
[INFO] [stdout] 184 |     M : Vec<Vec<Fr>>,
[INFO] [stdout]     |     ^ help: convert the identifier to snake case: `m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]    --> src/main.rs:185:5
[INFO] [stdout]     |
[INFO] [stdout] 185 |     G : Vec<Fr>,
[INFO] [stdout]     |     ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_xy_mle` should have a snake case name
[INFO] [stdout]    --> src/main.rs:190:9
[INFO] [stdout]     |
[INFO] [stdout] 190 |     let M_xy_mle: DenseMultilinearExtension<Fr> = matrix_to_mle(M.clone());
[INFO] [stdout]     |         ^^^^^^^^ help: convert the identifier to snake case: `m_xy_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G_y_mle` should have a snake case name
[INFO] [stdout]    --> src/main.rs:191:9
[INFO] [stdout]     |
[INFO] [stdout] 191 |     let G_y_mle: DenseMultilinearExtension<Fr> = vec_to_mle(num_y, &G);
[INFO] [stdout]     |         ^^^^^^^ help: convert the identifier to snake case: `g_y_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G_y_virtual` should have a snake case name
[INFO] [stdout]    --> src/main.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 192 |     let G_y_virtual =
[INFO] [stdout]     |         ^^^^^^^^^^^ help: convert the identifier to snake case: `g_y_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_x_mle` should have a snake case name
[INFO] [stdout]    --> src/main.rs:195:13
[INFO] [stdout]     |
[INFO] [stdout] 195 |     let mut M_x_mle: DenseMultilinearExtension<Fr> = vec_to_mle(num_x, &vec![Fr::zero();  M.len()]);
[INFO] [stdout]     |             ^^^^^^^ help: convert the identifier to snake case: `m_x_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `sum_Mz` should have a snake case name
[INFO] [stdout]    --> src/main.rs:203:13
[INFO] [stdout]     |
[INFO] [stdout] 203 |     let mut sum_Mz = DenseMultilinearExtension::<Fr> {
[INFO] [stdout]     |             ^^^^^^ help: convert the identifier to snake case: `sum_mz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_j_y` should have a snake case name
[INFO] [stdout]    --> src/main.rs:211:13
[INFO] [stdout]     |
[INFO] [stdout] 211 |         let M_j_y = fix_variables(&M_xy_mle, &y);
[INFO] [stdout]     |             ^^^^^ help: convert the identifier to snake case: `m_j_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G_y` should have a snake case name
[INFO] [stdout]    --> src/main.rs:212:13
[INFO] [stdout]     |
[INFO] [stdout] 212 |         let G_y = G_y_virtual.evaluate(&y).unwrap();
[INFO] [stdout]     |             ^^^ help: convert the identifier to snake case: `g_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_j_z` should have a snake case name
[INFO] [stdout]    --> src/main.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |         let M_j_z = scalar_mul(&M_j_y, &G_y);
[INFO] [stdout]     |             ^^^^^ help: convert the identifier to snake case: `m_j_z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_x_virtual` should have a snake case name
[INFO] [stdout]    --> src/main.rs:217:13
[INFO] [stdout]     |
[INFO] [stdout] 217 |     let mut GM_x_virtual =
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: convert the identifier to snake case: `gm_x_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_y_mle` should have a snake case name
[INFO] [stdout]    --> src/main.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |     let M_y_mle = fix_variables(&M_xy_mle, &r_x);
[INFO] [stdout]     |         ^^^^^^^ help: convert the identifier to snake case: `m_y_mle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_y_virtual` should have a snake case name
[INFO] [stdout]    --> src/main.rs:232:9
[INFO] [stdout]     |
[INFO] [stdout] 232 |     let M_y_virtual =
[INFO] [stdout]     |         ^^^^^^^^^^^ help: convert the identifier to snake case: `m_y_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_y_virtual` should have a snake case name
[INFO] [stdout]    --> src/main.rs:235:13
[INFO] [stdout]     |
[INFO] [stdout] 235 |     let mut GM_y_virtual= M_y_virtual.clone();
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: convert the identifier to snake case: `gm_y_virtual`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_j_x` should have a snake case name
[INFO] [stdout]    --> src/main.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 |         let GM_j_x = GM_x_virtual.evaluate(&x).unwrap();
[INFO] [stdout]     |             ^^^^^^ help: convert the identifier to snake case: `gm_j_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `GM_j_y` should have a snake case name
[INFO] [stdout]    --> src/main.rs:266:13
[INFO] [stdout]     |
[INFO] [stdout] 266 |         let GM_j_y = GM_y_virtual.evaluate(&y).unwrap();
[INFO] [stdout]     |             ^^^^^^ help: convert the identifier to snake case: `gm_j_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M_evals` should have a snake case name
[INFO] [stdout]   --> src/utils/mle.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |     let M_evals: Vec<F> = padded_matrix.into_iter().flatten().collect();
[INFO] [stdout]    |         ^^^^^^^ help: convert the identifier to snake case: `m_evals`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_F_matrix` should have a snake case name
[INFO] [stdout]   --> src/utils/vec.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 | pub fn to_F_matrix<F: PrimeField>(M: Vec<Vec<usize>>) -> Vec<Vec<F>> {
[INFO] [stdout]    |        ^^^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `to_f_matrix`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `M` should have a snake case name
[INFO] [stdout]   --> src/utils/vec.rs:83:35
[INFO] [stdout]    |
[INFO] [stdout] 83 | pub fn to_F_matrix<F: PrimeField>(M: Vec<Vec<usize>>) -> Vec<Vec<F>> {
[INFO] [stdout]    |                                   ^ help: convert the identifier to snake case: `m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `R` should have a snake case name
[INFO] [stdout]   --> src/utils/vec.rs:84:13
[INFO] [stdout]    |
[INFO] [stdout] 84 |     let mut R: Vec<Vec<F>> = vec![Vec::new(); M.len()];
[INFO] [stdout]    |             ^ help: convert the identifier to snake case: `r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_F_vec` should have a snake case name
[INFO] [stdout]   --> src/utils/vec.rs:94:8
[INFO] [stdout]    |
[INFO] [stdout] 94 | pub fn to_F_vec<F: PrimeField>(z: Vec<usize>) -> Vec<F> {
[INFO] [stdout]    |        ^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `to_f_vec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_G_vec` should have a snake case name
[INFO] [stdout]   --> src/utils/vecg.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub fn to_G_vec<G: CurveGroup>(z: Vec<usize>, g: &G) -> Vec<G> {
[INFO] [stdout]    |        ^^^^^^^^ help: convert the identifier to snake case: `to_g_vec`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 59 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `to_F_matrix` in this scope
[INFO] [stdout]   --> src/utils/mle.rs:65:17
[INFO] [stdout]    |
[INFO] [stdout] 65 |         let A = to_F_matrix::<Fr>(vec![
[INFO] [stdout]    |                 ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this function through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::to_F_matrix;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Fr` in this scope
[INFO] [stdout]   --> src/utils/mle.rs:65:31
[INFO] [stdout]    |
[INFO] [stdout] 65 |         let A = to_F_matrix::<Fr>(vec![
[INFO] [stdout]    |                               ^^
[INFO] [stdout]   --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/ops/function.rs:76:1
[INFO] [stdout]    |
[INFO] [stdout]    = note: similarly named trait `Fn` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 65 |         let A = to_F_matrix::<Fn>(vec![
[INFO] [stdout]    |                               ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `matrix_to_mle` in this scope
[INFO] [stdout]   --> src/utils/mle.rs:72:21
[INFO] [stdout]    |
[INFO] [stdout] 72 |         let A_mle = matrix_to_mle(A);
[INFO] [stdout]    |                     ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this function through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::matrix_to_mle;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `to_F_matrix` in this scope
[INFO] [stdout]   --> src/utils/mle.rs:75:17
[INFO] [stdout]    |
[INFO] [stdout] 75 |         let A = to_F_matrix::<Fr>(vec![
[INFO] [stdout]    |                 ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this function through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::to_F_matrix;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Fr` in this scope
[INFO] [stdout]   --> src/utils/mle.rs:75:31
[INFO] [stdout]    |
[INFO] [stdout] 75 |         let A = to_F_matrix::<Fr>(vec![
[INFO] [stdout]    |                               ^^
[INFO] [stdout]   --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/ops/function.rs:76:1
[INFO] [stdout]    |
[INFO] [stdout]    = note: similarly named trait `Fn` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 75 |         let A = to_F_matrix::<Fn>(vec![
[INFO] [stdout]    |                               ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `matrix_to_mle` in this scope
[INFO] [stdout]   --> src/utils/mle.rs:82:21
[INFO] [stdout]    |
[INFO] [stdout] 82 |         let A_mle = matrix_to_mle(A.clone());
[INFO] [stdout]    |                     ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this function through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::matrix_to_mle;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BooleanHypercube`
[INFO] [stdout]   --> src/utils/mle.rs:86:19
[INFO] [stdout]    |
[INFO] [stdout] 86 |         let bhc = BooleanHypercube::new(A_mle.num_vars);
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^ use of undeclared type `BooleanHypercube`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::BooleanHypercube;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `pad_matrix` in this scope
[INFO] [stdout]   --> src/utils/mle.rs:87:24
[INFO] [stdout]    |
[INFO] [stdout] 87 |         let A_padded = pad_matrix(&A);
[INFO] [stdout]    |                        ^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this function
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::utils::mle::pad_matrix;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fr`
[INFO] [stdout]   --> src/utils/mle.rs:98:22
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let z = vec![Fr::from(1), Fr::from(2), Fr::from(3)];
[INFO] [stdout]    |                      ^^ use of undeclared type `Fr`
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let z = vec![Fn::from(1), Fr::from(2), Fr::from(3)];
[INFO] [stdout]    |                      ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fr`
[INFO] [stdout]   --> src/utils/mle.rs:98:35
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let z = vec![Fr::from(1), Fr::from(2), Fr::from(3)];
[INFO] [stdout]    |                                   ^^ use of undeclared type `Fr`
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let z = vec![Fr::from(1), Fn::from(2), Fr::from(3)];
[INFO] [stdout]    |                                   ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fr`
[INFO] [stdout]   --> src/utils/mle.rs:98:48
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let z = vec![Fr::from(1), Fr::from(2), Fr::from(3)];
[INFO] [stdout]    |                                                ^^ use of undeclared type `Fr`
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let z = vec![Fr::from(1), Fr::from(2), Fn::from(3)];
[INFO] [stdout]    |                                                ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 63 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `vec_to_mle` in this scope
[INFO] [stdout]    --> src/utils/mle.rs:100:21
[INFO] [stdout]     |
[INFO] [stdout] 100 |         let z_mle = vec_to_mle(n_vars, &z);
[INFO] [stdout]     |                     ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this function through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::vec_to_mle;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BooleanHypercube`
[INFO] [stdout]    --> src/utils/mle.rs:103:19
[INFO] [stdout]     |
[INFO] [stdout] 103 |         let bhc = BooleanHypercube::new(z_mle.num_vars);
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^ use of undeclared type `BooleanHypercube`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::BooleanHypercube;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fr`
[INFO] [stdout]    --> src/utils/mle.rs:111:55
[INFO] [stdout]     |
[INFO] [stdout] 111 |             assert_eq!(z_mle.evaluate(&s_i).unwrap(), Fr::zero());
[INFO] [stdout]     |                                                       ^^ use of undeclared type `Fr`
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 111 |             assert_eq!(z_mle.evaluate(&s_i).unwrap(), Fn::zero());
[INFO] [stdout]     |                                                       ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_bls12_381::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]     |
[INFO] [stdout]       and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `to_F_matrix` in this scope
[INFO] [stdout]    --> src/utils/mle.rs:117:17
[INFO] [stdout]     |
[INFO] [stdout] 117 |         let A = to_F_matrix(vec![
[INFO] [stdout]     |                 ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this function through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::to_F_matrix;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `matrix_to_mle` in this scope
[INFO] [stdout]    --> src/utils/mle.rs:124:21
[INFO] [stdout]     |
[INFO] [stdout] 124 |         let A_mle = matrix_to_mle(A.clone());
[INFO] [stdout]     |                     ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this function through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::matrix_to_mle;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BooleanHypercube`
[INFO] [stdout]    --> src/utils/mle.rs:125:19
[INFO] [stdout]     |
[INFO] [stdout] 125 |         let bhc = BooleanHypercube::new(2);
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^ use of undeclared type `BooleanHypercube`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::BooleanHypercube;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `fix_variables` in this scope
[INFO] [stdout]    --> src/utils/mle.rs:129:28
[INFO] [stdout]     |
[INFO] [stdout] 129 |             let fix_left = fix_variables(&A_mle, &y); // try espresso fix_variables
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these functions
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::fix_variables;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::multilinear_group_polynomial::fix_variables;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Fr` in this scope
[INFO] [stdout]    --> src/utils/mle.rs:136:31
[INFO] [stdout]     |
[INFO] [stdout] 136 |             let column_i: Vec<Fr> = A.clone().iter().map(|x| x[i]).collect();
[INFO] [stdout]     |                               ^^
[INFO] [stdout]    --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/ops/function.rs:76:1
[INFO] [stdout]     |
[INFO] [stdout]     = note: similarly named trait `Fn` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 136 |             let column_i: Vec<Fn> = A.clone().iter().map(|x| x[i]).collect();
[INFO] [stdout]     |                               ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_bls12_381::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]     |
[INFO] [stdout]       and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Fr` in this scope
[INFO] [stdout]    --> src/utils/mle.rs:142:28
[INFO] [stdout]     |
[INFO] [stdout] 142 |             let row_i: Vec<Fr> = A[i].clone();
[INFO] [stdout]     |                            ^^
[INFO] [stdout]    --> /rustc/ccf408f4326a858c00dd845a64a86b16f360a801/library/core/src/ops/function.rs:76:1
[INFO] [stdout]     |
[INFO] [stdout]     = note: similarly named trait `Fn` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 142 |             let row_i: Vec<Fn> = A[i].clone();
[INFO] [stdout]     |                            ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_bls12_381::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]     |
[INFO] [stdout]       and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `fix_last_variables` in this scope
[INFO] [stdout]    --> src/utils/mle.rs:143:29
[INFO] [stdout]     |
[INFO] [stdout] 143 |             let fix_right = fix_last_variables(&A_mle, &y);
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these functions
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::multilinear_group_polynomial::fix_last_variables;
[INFO] [stdout]     |
[INFO] [stdout] 63  +     use crate::multilinear_polynomial::fix_last_variables;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `G1Projective`
[INFO] [stdout]   --> src/utils/mleg.rs:30:17
[INFO] [stdout]    |
[INFO] [stdout] 30 |         let g = G1Projective::rand(&mut rng);
[INFO] [stdout]    |                 ^^^^^^^^^^^^ use of undeclared type `G1Projective`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use crate::G1Projective;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_bls12_381::G1Projective;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_ec::bls12::G1Projective;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_ec::bn::G1Projective;
[INFO] [stdout]    |
[INFO] [stdout]      and 12 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DenseGroupMultilinearExtension`
[INFO] [stdout]   --> src/utils/mleg.rs:31:19
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let mle = DenseGroupMultilinearExtension::from_evaluations_vec(
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ use of undeclared type `DenseGroupMultilinearExtension`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing one of these structs
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use crate::utils::mleg::DenseGroupMultilinearExtension;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use my_poly::evaluations::multivariate::multilinear::DenseGroupMultilinearExtension;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fr`
[INFO] [stdout]   --> src/utils/mleg.rs:34:28
[INFO] [stdout]    |
[INFO] [stdout] 34 |             .map(|x| g.mul(Fr::from(*x as u64)))
[INFO] [stdout]    |                            ^^ use of undeclared type `Fr`
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 34 |             .map(|x| g.mul(Fn::from(*x as u64)))
[INFO] [stdout]    |                            ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BooleanHypercube`
[INFO] [stdout]   --> src/utils/mleg.rs:38:19
[INFO] [stdout]    |
[INFO] [stdout] 38 |         let bhc = BooleanHypercube::new(mle.num_vars);
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^ use of undeclared type `BooleanHypercube`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use crate::BooleanHypercube;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fr`
[INFO] [stdout]   --> src/utils/mleg.rs:41:50
[INFO] [stdout]    |
[INFO] [stdout] 41 |             assert_eq!(mle.evaluate(&s_i), g.mul(Fr::from(eval[i])));
[INFO] [stdout]    |                                                  ^^ use of undeclared type `Fr`
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 41 |             assert_eq!(mle.evaluate(&s_i), g.mul(Fn::from(eval[i])));
[INFO] [stdout]    |                                                  ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fr`
[INFO] [stdout]   --> src/utils/mleg.rs:46:50
[INFO] [stdout]    |
[INFO] [stdout] 46 |             assert_eq!(mle.evaluate(&s_i), g.mul(Fr::zero()));
[INFO] [stdout]    |                                                  ^^ use of undeclared type `Fr`
[INFO] [stdout]    |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 46 |             assert_eq!(mle.evaluate(&s_i), g.mul(Fn::zero()));
[INFO] [stdout]    |                                                  ~~
[INFO] [stdout] help: consider importing one of these type aliases
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use crate::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use ark_test_curves::bn384_small_two_adicity::Fr;
[INFO] [stdout]    |
[INFO] [stdout]      and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rayon::iter::IndexedParallelIterator`
[INFO] [stdout]  --> src/utils/vecg.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use rayon::iter::IndexedParallelIterator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `my_poly::evaluations::multivariate::multilinear::GroupMultilinearExtension`
[INFO] [stdout]   --> src/virtual_group_polynomial.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use my_poly::evaluations::multivariate::multilinear::GroupMultilinearExtension;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]   --> src/utils/vecg.rs:57:13
[INFO] [stdout]    |
[INFO] [stdout] 57 |         let result = group_vec_scalar_mul(&vecg_1, &scalar);
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `target`
[INFO] [stdout]   --> src/utils/vecg.rs:58:13
[INFO] [stdout]    |
[INFO] [stdout] 58 |         let target = to_G_vec(vec![3, 6, 9], &g);
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_target`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]   --> src/utils/vecg.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 |         let result = group_vec_add(&vecg_1,&vecg_2);
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `target`
[INFO] [stdout]   --> src/utils/vecg.rs:62:13
[INFO] [stdout]    |
[INFO] [stdout] 62 |         let target = to_G_vec(vec![2, 4, 6], &g);
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_target`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `temp`
[INFO] [stdout]    --> src/sumcheckg/prover.rs:136:29
[INFO] [stdout]     |
[INFO] [stdout] 136 |                         let temp = acc.clone();
[INFO] [stdout]     |                             ^^^^ help: if this is intentional, prefix it with an underscore: `_temp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r_y`
[INFO] [stdout]    --> src/main.rs:116:9
[INFO] [stdout]     |
[INFO] [stdout] 116 |     let r_y = sumcheck_proof_y.point.clone();
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_r_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:154:9
[INFO] [stdout]     |
[INFO] [stdout] 154 |     let sumcheck_subclaim = <PolyIOP<Fr> as SumCheck<Fr>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |     let sumcheck_subclaim = <PolyIOP<Fr> as SumCheck<Fr>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eval`
[INFO] [stdout]    --> src/main.rs:240:9
[INFO] [stdout]     |
[INFO] [stdout] 240 |     let eval = GM_y_virtual.evaluate(&r_x);
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_eval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:281:9
[INFO] [stdout]     |
[INFO] [stdout] 281 |     let sumcheck_subclaim = <PolyIOP<Fr> as GroupSumCheck<G1Projective>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sumcheck_subclaim`
[INFO] [stdout]    --> src/main.rs:297:9
[INFO] [stdout]     |
[INFO] [stdout] 297 |     let sumcheck_subclaim = <PolyIOP<Fr> as GroupSumCheck<G1Projective>>::verify(
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eval`
[INFO] [stdout]    --> src/main.rs:305:9
[INFO] [stdout]     |
[INFO] [stdout] 305 |     let eval = GM_y_virtual.evaluate(&r_y);
[INFO] [stdout]     |         ^^^^ help: if this is intentional, prefix it with an underscore: `_eval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 27 previous errors; 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `sumcheck-on-g` (bin "sumcheck-on-g" test) due to 28 previous errors; 14 warnings emitted
[INFO] [stderr] error: failed to migrate to next edition
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101)
[INFO] running `Command { std: "docker" "inspect" "17ec598e6e350fceb93eea353d6a87ae1a153efd92edb2aee6904cdffca57226", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "17ec598e6e350fceb93eea353d6a87ae1a153efd92edb2aee6904cdffca57226", kill_on_drop: false }`
[INFO] [stdout] 17ec598e6e350fceb93eea353d6a87ae1a153efd92edb2aee6904cdffca57226