[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 master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnonymous-000%2FCompressed-Sigma-from-Sumchecks" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "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-6-tc1/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" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/FranklinZty/my-poly` [INFO] [stderr] Updating git repository `https://github.com/EspressoSystems/hyperplonk` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ark-test-curves v0.4.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] fbc26647cc501d7c9ad0dafbf4e5dda976f7d41c27b4c91d096e8e39e07b6bc7 [INFO] running `Command { std: "docker" "start" "-a" "fbc26647cc501d7c9ad0dafbf4e5dda976f7d41c27b4c91d096e8e39e07b6bc7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "fbc26647cc501d7c9ad0dafbf4e5dda976f7d41c27b4c91d096e8e39e07b6bc7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fbc26647cc501d7c9ad0dafbf4e5dda976f7d41c27b4c91d096e8e39e07b6bc7", kill_on_drop: false }` [INFO] [stdout] fbc26647cc501d7c9ad0dafbf4e5dda976f7d41c27b4c91d096e8e39e07b6bc7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 01f1a19e080acef30126537529ad75eddae4f4affdf1a4576a746883cd24ca61 [INFO] running `Command { std: "docker" "start" "-a" "01f1a19e080acef30126537529ad75eddae4f4affdf1a4576a746883cd24ca61", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.83 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking either v1.12.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rayon-core v1.12.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking powerfmt v0.2.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking num-bigint v0.4.5 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking deranged v0.3.11 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking allocator-api2 v0.2.18 [INFO] [stderr] Checking num-conv v0.1.0 [INFO] [stderr] Checking time-core v0.1.2 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking time v0.3.36 [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-macros v0.4.2 [INFO] [stderr] Compiling ark-ff-asm 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 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/utils/mle.rs:56:9 [INFO] [stdout] | [INFO] [stdout] 56 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `hypercube::BooleanHypercube`, `multilinear_polynomial::fix_last_variables`, `multilinear_polynomial::fix_variables`, and `vec::to_F_matrix` [INFO] [stdout] --> src/utils/mle.rs:58:9 [INFO] [stdout] | [INFO] [stdout] 58 | multilinear_polynomial::fix_variables, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 59 | multilinear_polynomial::fix_last_variables, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 60 | utils::{hypercube::BooleanHypercube, vec::to_F_matrix}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_poly::MultilinearExtension` [INFO] [stdout] --> src/utils/mle.rs:62:9 [INFO] [stdout] | [INFO] [stdout] 62 | use ark_poly::MultilinearExtension; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::Zero` [INFO] [stdout] --> src/utils/mle.rs:63:9 [INFO] [stdout] | [INFO] [stdout] 63 | use ark_std::Zero; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Fr` [INFO] [stdout] --> src/utils/mle.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | use ark_bls12_381::Fr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::log2` [INFO] [stdout] --> src/utils/mleg.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_std::log2; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::vec::Matrix` [INFO] [stdout] --> src/utils/mleg.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use super::vec::Matrix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `hypercube::BooleanHypercube` and `vec::to_F_matrix` [INFO] [stdout] --> src/utils/mleg.rs:21:24 [INFO] [stdout] | [INFO] [stdout] 21 | use crate::utils::{hypercube::BooleanHypercube, vec::to_F_matrix}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DenseGroupMultilinearExtension` and `GroupMultilinearExtension` [INFO] [stdout] --> src/utils/mleg.rs:22:59 [INFO] [stdout] | [INFO] [stdout] 22 | use my_poly::evaluations::multivariate::multilinear::{GroupMultilinearExtension, DenseGroupMultilinearExtension}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `my_poly::GroupPolynomial` [INFO] [stdout] --> src/utils/mleg.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | use my_poly::GroupPolynomial; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UniformRand`, `Zero`, `ops::Mul`, and `rand::Rng` [INFO] [stdout] --> src/utils/mleg.rs:24:19 [INFO] [stdout] | [INFO] [stdout] 24 | use ark_std::{rand::Rng, UniformRand, ops::Mul, Zero}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Fr` and `G1Projective` [INFO] [stdout] --> src/utils/mleg.rs:26:25 [INFO] [stdout] | [INFO] [stdout] 26 | use ark_bls12_381::{Fr, G1Projective}; [INFO] [stdout] | ^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> src/utils/vecg.rs:6:15 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_std::{cfg_iter, ops::Mul}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::iter::IntoParallelRefIterator` [INFO] [stdout] --> src/utils/vecg.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use rayon::iter::IntoParallelRefIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::iter::ParallelIterator` [INFO] [stdout] --> src/utils/vecg.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use rayon::iter::ParallelIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `DenseGroupMultilinearExtension` [INFO] [stdout] --> src/virtual_group_polynomial.rs:13:55 [INFO] [stdout] | [INFO] [stdout] 13 | use my_poly::evaluations::multivariate::multilinear::{DenseGroupMultilinearExtension, GroupMultilinearExtension}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `my_poly::evaluations::multivariate::multilinear::DenseGroupMultilinearExtension` [INFO] [stdout] --> src/sumcheckg/prover.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use my_poly::evaluations::multivariate::multilinear::DenseGroupMultilinearExtension; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/sumcheckg/structs.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::log2` [INFO] [stdout] --> src/utils/mleg.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_std::log2; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::vec::Matrix` [INFO] [stdout] --> src/utils/mleg.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use super::vec::Matrix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `vec::to_F_matrix` [INFO] [stdout] --> src/utils/mleg.rs:21:53 [INFO] [stdout] | [INFO] [stdout] 21 | use crate::utils::{hypercube::BooleanHypercube, vec::to_F_matrix}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rand::Rng` [INFO] [stdout] --> src/utils/mleg.rs:24:19 [INFO] [stdout] | [INFO] [stdout] 24 | use ark_std::{rand::Rng, UniformRand, ops::Mul, Zero}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> src/utils/vecg.rs:6:15 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_std::{cfg_iter, ops::Mul}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::iter::IntoParallelRefIterator` [INFO] [stdout] --> src/utils/vecg.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use rayon::iter::IntoParallelRefIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `DenseGroupMultilinearExtension` [INFO] [stdout] --> src/virtual_group_polynomial.rs:13:55 [INFO] [stdout] | [INFO] [stdout] 13 | use my_poly::evaluations::multivariate::multilinear::{DenseGroupMultilinearExtension, GroupMultilinearExtension}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `my_poly::evaluations::multivariate::multilinear::DenseGroupMultilinearExtension` [INFO] [stdout] --> src/sumcheckg/prover.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use my_poly::evaluations::multivariate::multilinear::DenseGroupMultilinearExtension; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/sumcheckg/structs.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [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] [INFO] [stdout] warning: unused import: `ops::Mul` [INFO] [stdout] --> src/utils/vecg.rs:6:25 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_std::{cfg_iter, ops::Mul}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GroupMultilinearExtension` [INFO] [stdout] --> src/virtual_group_polynomial.rs:13:87 [INFO] [stdout] | [INFO] [stdout] 13 | use my_poly::evaluations::multivariate::multilinear::{DenseGroupMultilinearExtension, GroupMultilinearExtension}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `temp` [INFO] [stdout] --> src/sumcheckg/prover.rs:137:29 [INFO] [stdout] | [INFO] [stdout] 137 | 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: variable does not need to be mutable [INFO] [stdout] --> src/sumcheckg/prover.rs:126:21 [INFO] [stdout] | [INFO] [stdout] 126 | let (_, mut eval) = (0..1 << (self.poly.aux_info.num_variables - self.round)).into_iter() [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/sumcheckg/prover.rs:146:21 [INFO] [stdout] | [INFO] [stdout] 146 | let mut sum: Vec<_> = eval.iter().map(|eval| coefficient.mul(*eval)).collect::>(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GroupMultilinearExtension` [INFO] [stdout] --> src/utils/mleg.rs:22:59 [INFO] [stdout] | [INFO] [stdout] 22 | use my_poly::evaluations::multivariate::multilinear::{GroupMultilinearExtension, DenseGroupMultilinearExtension}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [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] [INFO] [stdout] warning: unused import: `rayon::iter::ParallelIterator` [INFO] [stdout] --> src/utils/vecg.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use rayon::iter::ParallelIterator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GroupMultilinearExtension` [INFO] [stdout] --> src/virtual_group_polynomial.rs:13:87 [INFO] [stdout] | [INFO] [stdout] 13 | use my_poly::evaluations::multivariate::multilinear::{DenseGroupMultilinearExtension, GroupMultilinearExtension}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [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 = as SumCheck>::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 = as SumCheck>::verify( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:60:9 [INFO] [stdout] | [INFO] [stdout] 60 | let mut G_y_virtual = [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [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 = as GroupSumCheck>::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 = as GroupSumCheck>::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: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:192:9 [INFO] [stdout] | [INFO] [stdout] 192 | let mut G_y_virtual = [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [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 = (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::(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::(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>, [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, [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 = 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 = 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:13 [INFO] [stdout] | [INFO] [stdout] 60 | let mut 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 = 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:: { [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>, [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, [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 = 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 = 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:13 [INFO] [stdout] | [INFO] [stdout] 192 | let mut 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 = 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:: { [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 = padded_matrix.into_iter().flatten().collect(); [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `m_evals` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/utils/vecg.rs:59:13 [INFO] [stdout] | [INFO] [stdout] 59 | 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:60:13 [INFO] [stdout] | [INFO] [stdout] 60 | 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:63:13 [INFO] [stdout] | [INFO] [stdout] 63 | 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:64:13 [INFO] [stdout] | [INFO] [stdout] 64 | 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: 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(M: Vec>) -> Vec> { [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(M: Vec>) -> Vec> { [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![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(z: Vec) -> Vec { [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:32:8 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn to_G_vec(z: Vec, g: &G) -> Vec { [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `to_g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 81 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `temp` [INFO] [stdout] --> src/sumcheckg/prover.rs:137:29 [INFO] [stdout] | [INFO] [stdout] 137 | let temp = acc.clone(); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_temp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/sumcheckg/prover.rs:126:21 [INFO] [stdout] | [INFO] [stdout] 126 | let (_, mut eval) = (0..1 << (self.poly.aux_info.num_variables - self.round)).into_iter() [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/sumcheckg/prover.rs:146:21 [INFO] [stdout] | [INFO] [stdout] 146 | let mut sum: Vec<_> = eval.iter().map(|eval| coefficient.mul(*eval)).collect::>(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [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 = as SumCheck>::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 = as SumCheck>::verify( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sumcheck_subclaim` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:60:9 [INFO] [stdout] | [INFO] [stdout] 60 | let mut G_y_virtual = [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [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 = as GroupSumCheck>::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 = as GroupSumCheck>::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: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:192:9 [INFO] [stdout] | [INFO] [stdout] 192 | let mut G_y_virtual = [INFO] [stdout] | ----^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [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 = (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::(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::(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>, [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, [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 = 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 = 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:13 [INFO] [stdout] | [INFO] [stdout] 60 | let mut 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 = 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:: { [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>, [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, [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 = 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 = 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:13 [INFO] [stdout] | [INFO] [stdout] 192 | let mut 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 = 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:: { [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 = padded_matrix.into_iter().flatten().collect(); [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `m_evals` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:69:13 [INFO] [stdout] | [INFO] [stdout] 69 | let A = to_F_matrix::(vec![ [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A_mle` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:76:13 [INFO] [stdout] | [INFO] [stdout] 76 | let A_mle = matrix_to_mle(A); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `a_mle` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:79:13 [INFO] [stdout] | [INFO] [stdout] 79 | let A = to_F_matrix::(vec![ [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A_mle` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:86:13 [INFO] [stdout] | [INFO] [stdout] 86 | let A_mle = matrix_to_mle(A.clone()); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `a_mle` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A_padded` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:91:13 [INFO] [stdout] | [INFO] [stdout] 91 | let A_padded = pad_matrix(&A); [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `a_padded` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A_i` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:92:17 [INFO] [stdout] | [INFO] [stdout] 92 | for (i, A_i) in A_padded.iter().enumerate() { [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `a_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:121:13 [INFO] [stdout] | [INFO] [stdout] 121 | let A = to_F_matrix(vec![ [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A_mle` should have a snake case name [INFO] [stdout] --> src/utils/mle.rs:128:13 [INFO] [stdout] | [INFO] [stdout] 128 | let A_mle = matrix_to_mle(A.clone()); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `a_mle` [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(M: Vec>) -> Vec> { [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(M: Vec>) -> Vec> { [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![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(z: Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `to_f_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/utils/vec.rs:109:13 [INFO] [stdout] | [INFO] [stdout] 109 | let A = vec![ [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `B` should have a snake case name [INFO] [stdout] --> src/utils/vec.rs:118:13 [INFO] [stdout] | [INFO] [stdout] 118 | let B = vec![ [INFO] [stdout] | ^ help: convert the identifier to snake case: `b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/utils/vec.rs:127:13 [INFO] [stdout] | [INFO] [stdout] 127 | let C = hadamard(&A, &B); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/utils/vec.rs:143:13 [INFO] [stdout] | [INFO] [stdout] 143 | let A = vec![ [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/utils/vec.rs:164:13 [INFO] [stdout] | [INFO] [stdout] 164 | let A = vec![ [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A1` should have a snake case name [INFO] [stdout] --> src/utils/vec.rs:184:13 [INFO] [stdout] | [INFO] [stdout] 184 | let A1 = vec![ [INFO] [stdout] | ^^ help: convert the identifier to snake case: `a1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A2` should have a snake case name [INFO] [stdout] --> src/utils/vec.rs:190:13 [INFO] [stdout] | [INFO] [stdout] 190 | let A2 = vec![ [INFO] [stdout] | ^^ help: convert the identifier to snake case: `a2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_G_vec` should have a snake case name [INFO] [stdout] --> src/utils/vecg.rs:32:8 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn to_G_vec(z: Vec, g: &G) -> Vec { [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `to_g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 92 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.45s [INFO] running `Command { std: "docker" "inspect" "01f1a19e080acef30126537529ad75eddae4f4affdf1a4576a746883cd24ca61", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "01f1a19e080acef30126537529ad75eddae4f4affdf1a4576a746883cd24ca61", kill_on_drop: false }` [INFO] [stdout] 01f1a19e080acef30126537529ad75eddae4f4affdf1a4576a746883cd24ca61