[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#c387b04bf028733cd561d62128c8a5eee4bc1458+rustflags=-Dtail_expr_drop_order for pr-130930 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnonymous-000%2FCompressed-Sigma-from-Sumchecks" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Anonymous-000/Compressed-Sigma-from-Sumchecks on toolchain c387b04bf028733cd561d62128c8a5eee4bc1458 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "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-0-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" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 336db54faa08c89603e00b836a7b634cd472e84d3e150369c0d60cec60a54502 [INFO] running `Command { std: "docker" "start" "-a" "336db54faa08c89603e00b836a7b634cd472e84d3e150369c0d60cec60a54502", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "336db54faa08c89603e00b836a7b634cd472e84d3e150369c0d60cec60a54502", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "336db54faa08c89603e00b836a7b634cd472e84d3e150369c0d60cec60a54502", kill_on_drop: false }` [INFO] [stdout] 336db54faa08c89603e00b836a7b634cd472e84d3e150369c0d60cec60a54502 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Dtail_expr_drop_order" "-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+c387b04bf028733cd561d62128c8a5eee4bc1458" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 951ce6b3e9cd89c71581c92053b6f5f7112ac525c7e4c620fb4d05c89d7220f6 [INFO] running `Command { std: "docker" "start" "-a" "951ce6b3e9cd89c71581c92053b6f5f7112ac525c7e4c620fb4d05c89d7220f6", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.83 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling autocfg v1.3.0 [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 rayon-core v1.12.1 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Checking either v1.12.0 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [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 byteorder v1.5.0 [INFO] [stderr] Checking powerfmt v0.2.0 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking allocator-api2 v0.2.18 [INFO] [stderr] Checking num-conv v0.1.0 [INFO] [stderr] Checking deranged v0.3.11 [INFO] [stderr] Checking time-core v0.1.2 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking time v0.3.36 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking digest v0.10.7 [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-macros v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling displaydoc v0.2.4 [INFO] [stderr] Checking zeroize v1.7.0 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking merlin v3.0.0 [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: `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: `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: `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 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: `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: 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: 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: 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: 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: 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: 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 `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 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: 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: 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: 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: 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 `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: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/errors.rs:13:10 [INFO] [stdout] | [INFO] [stdout] 13 | #[derive(Display, Debug)] [INFO] [stdout] | ^------ [INFO] [stdout] | | [INFO] [stdout] | `Display` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_Display_FOR_ArithErrors` [INFO] [stdout] 14 | pub enum ArithErrors { [INFO] [stdout] | ----------- `ArithErrors` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Display` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Display` may come from an old version of the `displaydoc` crate, try updating your dependency with `cargo update -p displaydoc` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this lint may become deny-by-default in the edition 2024 and higher, see the tracking issue [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `Display` (in Nightly builds, run with -Z macro-backtrace for more info) [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: 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 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: 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: 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: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/errors.rs:13:10 [INFO] [stdout] | [INFO] [stdout] 13 | #[derive(Display, Debug)] [INFO] [stdout] | ^------ [INFO] [stdout] | | [INFO] [stdout] | `Display` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_Display_FOR_ArithErrors` [INFO] [stdout] 14 | pub enum ArithErrors { [INFO] [stdout] | ----------- `ArithErrors` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Display` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Display` may come from an old version of the `displaydoc` crate, try updating your dependency with `cargo update -p displaydoc` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this lint may become deny-by-default in the edition 2024 and higher, see the tracking issue [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `Display` (in Nightly builds, run with -Z macro-backtrace for more info) [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: 82 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 93 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 33.18s [INFO] running `Command { std: "docker" "inspect" "951ce6b3e9cd89c71581c92053b6f5f7112ac525c7e4c620fb4d05c89d7220f6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "951ce6b3e9cd89c71581c92053b6f5f7112ac525c7e4c620fb4d05c89d7220f6", kill_on_drop: false }` [INFO] [stdout] 951ce6b3e9cd89c71581c92053b6f5f7112ac525c7e4c620fb4d05c89d7220f6