[INFO] cloning repository https://github.com/guo-yanpei/sumcheck [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/guo-yanpei/sumcheck" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fguo-yanpei%2Fsumcheck", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fguo-yanpei%2Fsumcheck'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7b11ee3265368dc1fdab613045609854e5a5bff4 [INFO] checking guo-yanpei/sumcheck against try#c659ee110de67e82444e4b6c8407c1a9af9c2cf6 for pr-145608-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fguo-yanpei%2Fsumcheck" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/guo-yanpei/sumcheck [INFO] finished tweaking git repo https://github.com/guo-yanpei/sumcheck [INFO] tweaked toml for git repo https://github.com/guo-yanpei/sumcheck written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/guo-yanpei/sumcheck on toolchain c659ee110de67e82444e4b6c8407c1a9af9c2cf6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/guo-yanpei/sumcheck 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" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2024 which implies `resolver = "3"` [INFO] [stderr] note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] note: to use the edition 2024 resolver, specify `workspace.resolver = "3"` in the workspace root's manifest [INFO] [stderr] note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d3c43dec28543f0a8b6467d38fe012b7a64a20027553bceb37eb7d087751c0aa [INFO] running `Command { std: "docker" "start" "-a" "d3c43dec28543f0a8b6467d38fe012b7a64a20027553bceb37eb7d087751c0aa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d3c43dec28543f0a8b6467d38fe012b7a64a20027553bceb37eb7d087751c0aa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d3c43dec28543f0a8b6467d38fe012b7a64a20027553bceb37eb7d087751c0aa", kill_on_drop: false }` [INFO] [stdout] d3c43dec28543f0a8b6467d38fe012b7a64a20027553bceb37eb7d087751c0aa [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+c659ee110de67e82444e4b6c8407c1a9af9c2cf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 55d7629002952f178948e1b7d6897368a83f8db1619537dcc29d38c0862ef1e0 [INFO] running `Command { std: "docker" "start" "-a" "55d7629002952f178948e1b7d6897368a83f8db1619537dcc29d38c0862ef1e0", kill_on_drop: false }` [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2024 which implies `resolver = "3"` [INFO] [stderr] note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] note: to use the edition 2024 resolver, specify `workspace.resolver = "3"` in the workspace root's manifest [INFO] [stderr] note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling zerocopy v0.8.25 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking cfg-if v1.0.1 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking hashbrown v0.15.4 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.103 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-ec v0.5.0 [INFO] [stderr] Checking ark-bn254 v0.5.0 [INFO] [stderr] Checking uni_sumcheck v0.1.0 (/opt/rustwide/workdir/uni_sumcheck) [INFO] [stderr] Checking mv_sumcheck v0.1.0 (/opt/rustwide/workdir/mv_sumcheck) [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:39 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:50 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:20 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [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] --> uni_sumcheck/src/lib.rs:8:35 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_f` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:21 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_g` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:39 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:57 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `claim` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:63 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_claim` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proof` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:73 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_proof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `point` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:19:26 [INFO] [stdout] | [INFO] [stdout] 19 | fn evaluation(&self, point: F) -> F { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Proof` is never constructed [INFO] [stdout] --> uni_sumcheck/src/lib.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | struct Proof { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `prove` is never used [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:4 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify` is never used [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:4 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Commit` is never constructed [INFO] [stdout] --> uni_sumcheck/src/lib.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | struct Commit(Vec); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `evaluation` is never used [INFO] [stdout] --> uni_sumcheck/src/lib.rs:19:8 [INFO] [stdout] | [INFO] [stdout] 18 | impl Commit { [INFO] [stdout] | ------------------------ method in this implementation [INFO] [stdout] 19 | fn evaluation(&self, point: F) -> F { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bn254::Fr` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_bn254::Fr; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `UniformRand` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:2:36 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{AdditiveGroup, Field, UniformRand}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:39 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:50 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:20 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [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] --> uni_sumcheck/src/lib.rs:8:35 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_f` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:21 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_g` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:39 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:57 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `claim` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:63 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_claim` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `proof` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:73 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_proof` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `point` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:19:26 [INFO] [stdout] | [INFO] [stdout] 19 | fn evaluation(&self, point: F) -> F { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f_ext_evals` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | let f_ext_evals = ext_domain.fft(&f_coeff); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_f_ext_evals` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g_ext_evals` [INFO] [stdout] --> uni_sumcheck/src/lib.rs:46:13 [INFO] [stdout] | [INFO] [stdout] 46 | let g_ext_evals = ext_domain.fft(&g_coeff); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_g_ext_evals` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Proof` is never constructed [INFO] [stdout] --> uni_sumcheck/src/lib.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | struct Proof { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `prove` is never used [INFO] [stdout] --> uni_sumcheck/src/lib.rs:8:4 [INFO] [stdout] | [INFO] [stdout] 8 | fn prove(mut f: Vec, mut g: Vec, r: F) -> Proof { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify` is never used [INFO] [stdout] --> uni_sumcheck/src/lib.rs:12:4 [INFO] [stdout] | [INFO] [stdout] 12 | fn verify(com_f: Commit, com_g: Commit, r: F, claim: F, proof: Proof) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Commit` is never constructed [INFO] [stdout] --> uni_sumcheck/src/lib.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | struct Commit(Vec); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `evaluation` is never used [INFO] [stdout] --> uni_sumcheck/src/lib.rs:19:8 [INFO] [stdout] | [INFO] [stdout] 18 | impl Commit { [INFO] [stdout] | ------------------------ method in this implementation [INFO] [stdout] 19 | fn evaluation(&self, point: F) -> F { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `AdditiveGroup` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:2:14 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{AdditiveGroup, Field, UniformRand}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | for i in 0..l { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:4:24 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:4:39 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> mv_sumcheck/src/lib.rs:4:20 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [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] --> mv_sumcheck/src/lib.rs:4:35 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [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] --> mv_sumcheck/src/lib.rs:9:13 [INFO] [stdout] | [INFO] [stdout] 9 | let mut prover_msg = [F::ZERO; 3]; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | for i in 0..l {} [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `messages` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:18:80 [INFO] [stdout] | [INFO] [stdout] 18 | fn verifer(com_f: Commit, com_g: Commit, r: &Vec, claim: F, messages: Vec) { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_messages` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> mv_sumcheck/src/lib.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | let mut current_claim = claim; [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:36:13 [INFO] [stdout] | [INFO] [stdout] 36 | let l = point.len(); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> mv_sumcheck/src/lib.rs:37:13 [INFO] [stdout] | [INFO] [stdout] 37 | let mut res = F::ZERO; [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `prove` is never used [INFO] [stdout] --> mv_sumcheck/src/lib.rs:4:4 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verifer` is never used [INFO] [stdout] --> mv_sumcheck/src/lib.rs:18:4 [INFO] [stdout] | [INFO] [stdout] 18 | fn verifer(com_f: Commit, com_g: Commit, r: &Vec, claim: F, messages: Vec) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Commit` is never constructed [INFO] [stdout] --> mv_sumcheck/src/lib.rs:32:8 [INFO] [stdout] | [INFO] [stdout] 32 | struct Commit(Vec); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `evaluation` is never used [INFO] [stdout] --> mv_sumcheck/src/lib.rs:35:8 [INFO] [stdout] | [INFO] [stdout] 34 | impl Commit { [INFO] [stdout] | ------------------------ method in this implementation [INFO] [stdout] 35 | fn evaluation(&self, point: Vec) -> F { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | for i in 0..l { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:4:24 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:4:39 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> mv_sumcheck/src/lib.rs:4:20 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [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] --> mv_sumcheck/src/lib.rs:4:35 [INFO] [stdout] | [INFO] [stdout] 4 | fn prove(mut f: Vec, mut g: Vec, r: &Vec) -> Vec { [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] --> mv_sumcheck/src/lib.rs:9:13 [INFO] [stdout] | [INFO] [stdout] 9 | let mut prover_msg = [F::ZERO; 3]; [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | for i in 0..l {} [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `messages` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:18:80 [INFO] [stdout] | [INFO] [stdout] 18 | fn verifer(com_f: Commit, com_g: Commit, r: &Vec, claim: F, messages: Vec) { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_messages` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> mv_sumcheck/src/lib.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | let mut current_claim = claim; [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> mv_sumcheck/src/lib.rs:36:13 [INFO] [stdout] | [INFO] [stdout] 36 | let l = point.len(); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> mv_sumcheck/src/lib.rs:37:13 [INFO] [stdout] | [INFO] [stdout] 37 | let mut res = F::ZERO; [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> mv_sumcheck/src/lib.rs:32:25 [INFO] [stdout] | [INFO] [stdout] 32 | struct Commit(Vec); [INFO] [stdout] | ------ ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this struct [INFO] [stdout] | [INFO] [stdout] = help: consider removing this field [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 25.56s [INFO] running `Command { std: "docker" "inspect" "55d7629002952f178948e1b7d6897368a83f8db1619537dcc29d38c0862ef1e0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "55d7629002952f178948e1b7d6897368a83f8db1619537dcc29d38c0862ef1e0", kill_on_drop: false }` [INFO] [stdout] 55d7629002952f178948e1b7d6897368a83f8db1619537dcc29d38c0862ef1e0