[INFO] cloning repository https://github.com/alireza-shirzad/ark-piop [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/alireza-shirzad/ark-piop" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falireza-shirzad%2Fark-piop", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falireza-shirzad%2Fark-piop'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b9fa2be2db5c5f46eef24714098746e7da96b107 [INFO] testing alireza-shirzad/ark-piop against try#0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 for pr-137122-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falireza-shirzad%2Fark-piop" "/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/alireza-shirzad/ark-piop [INFO] finished tweaking git repo https://github.com/alireza-shirzad/ark-piop [INFO] tweaked toml for git repo https://github.com/alireza-shirzad/ark-piop written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/alireza-shirzad/ark-piop on toolchain 0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/alireza-shirzad/ark-piop 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" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e35d403b2ff3af502a4b4b1a06c618720b858bceb3c33b5863c25799ae219ff1 [INFO] running `Command { std: "docker" "start" "-a" "e35d403b2ff3af502a4b4b1a06c618720b858bceb3c33b5863c25799ae219ff1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e35d403b2ff3af502a4b4b1a06c618720b858bceb3c33b5863c25799ae219ff1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e35d403b2ff3af502a4b4b1a06c618720b858bceb3c33b5863c25799ae219ff1", kill_on_drop: false }` [INFO] [stdout] e35d403b2ff3af502a4b4b1a06c618720b858bceb3c33b5863c25799ae219ff1 [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dfd81874fd3d64e80d75191f83a482105f620ebd00d70bc78d6bea18d6544fe6 [INFO] running `Command { std: "docker" "start" "-a" "dfd81874fd3d64e80d75191f83a482105f620ebd00d70bc78d6bea18d6544fe6", kill_on_drop: false }` [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 version_check v0.9.5 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling zerocopy v0.8.25 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-std v0.5.0 (https://github.com/alireza-shirzad/std#3775f0cf) [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling macros v0.1.0 (/opt/rustwide/workdir/macros) [INFO] [stdout] warning: unused import: `DeriveInput` [INFO] [stdout] --> macros/src/lib.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | DeriveInput, Expr, ExprLit, ItemFn, Lit, Token, parse_macro_input, punctuated::Punctuated, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling ark-serialize v0.5.0 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling merlin v3.0.0 [INFO] [stderr] Compiling ark-ff v0.5.0 [INFO] [stderr] Compiling ark-poly v0.5.0 [INFO] [stderr] Compiling ark-ec v0.5.0 [INFO] [stderr] Compiling ark-piop v0.1.0 (/opt/rustwide/workdir/piop) [INFO] [stdout] warning: unused import: `PrimeField` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:1:21 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_ff::{Field, PrimeField, Zero}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/errors.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/pcs/kzg10/srs.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `cell::RefCell` and `rc::Rc` [INFO] [stdout] --> piop/src/piop/mod.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{cell::RefCell, rc::Rc}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sync::Arc` [INFO] [stdout] --> piop/src/prover/structs/proof.rs:1:34 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::BTreeMap, sync::Arc}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BTreeSet` [INFO] [stdout] --> piop/src/prover/structs/mod.rs:8:29 [INFO] [stdout] | [INFO] [stdout] 8 | collections::{BTreeMap, BTreeSet}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::prover::errors::ProverError::HonestProverError` [INFO] [stdout] --> piop/src/prover/tracker.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::prover::errors::ProverError::HonestProverError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::prover::tracker::SnarkError::ProverError` [INFO] [stdout] --> piop/src/prover/tracker.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::prover::tracker::SnarkError::ProverError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `errors::HonestProverError::FalseClaim` [INFO] [stdout] --> piop/src/prover/tracker.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::prover::{errors::HonestProverError::FalseClaim, structs::TrackerEvalClaim}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> piop/src/prover/tracker.rs:36:33 [INFO] [stdout] | [INFO] [stdout] 36 | use ark_std::{add_single_trace, cfg_iter, end_timer, start_timer}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoParallelRefIterator` [INFO] [stdout] --> piop/src/prover/tracker.rs:40:19 [INFO] [stdout] | [INFO] [stdout] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> piop/src/structs/mod.rs:14:29 [INFO] [stdout] | [INFO] [stdout] 14 | collections::{BTreeMap, HashSet}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/verifier/errors.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Add`, `Mul`, and `Sub` [INFO] [stdout] --> piop/src/verifier/structs/oracle.rs:16:11 [INFO] [stdout] | [INFO] [stdout] 16 | ops::{Add, AddAssign, Mul, Neg, Sub, SubAssign}, [INFO] [stdout] | ^^^ ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SumCheckSubClaim` [INFO] [stdout] --> piop/src/verifier/tracker.rs:11:31 [INFO] [stdout] | [INFO] [stdout] 11 | sum_check::{SumCheck, SumCheckSubClaim}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> piop/src/verifier/tracker.rs:21:15 [INFO] [stdout] | [INFO] [stdout] 21 | use ark_std::{cfg_iter, end_timer, start_timer}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Borrow` [INFO] [stdout] --> piop/src/verifier/tracker.rs:25:14 [INFO] [stdout] | [INFO] [stdout] 25 | borrow::{Borrow, BorrowMut}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_poly::MultilinearExtension` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/utils.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_poly::MultilinearExtension; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:4:16 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/prover/tracker.rs:35:16 [INFO] [stdout] | [INFO] [stdout] 35 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ParallelIterator` [INFO] [stdout] --> piop/src/prover/tracker.rs:40:44 [INFO] [stdout] | [INFO] [stdout] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/pcs/pst13/batching.rs:23:16 [INFO] [stdout] | [INFO] [stdout] 23 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> piop/src/structs/mod.rs:15:20 [INFO] [stdout] | [INFO] [stdout] 15 | fmt::{Display, Write}, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:44 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:58 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:68 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:40 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [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] --> piop/src/arithmetic/mat_poly/mle.rs:79:54 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `polys` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:97:19 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn concat(polys: impl IntoIterator> + Clone) -> Self { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_polys` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:23 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:33 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:43 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nv` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:141:18 [INFO] [stdout] | [INFO] [stdout] 141 | Some(nv) => self.iter().cloned().collect::>(), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_nv` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `other` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:271:30 [INFO] [stdout] | [INFO] [stdout] 271 | fn sub_assign(&mut self, other: Self) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_other` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `commitment` [INFO] [stdout] --> piop/src/pcs/kzg10/mod.rs:130:9 [INFO] [stdout] | [INFO] [stdout] 130 | commitment: Option<&Self::Commitment>, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `commitment` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:148:9 [INFO] [stdout] | [INFO] [stdout] 148 | commitment: Option<&Self::Commitment>, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `evals` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | evals: &[E::ScalarField], [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_evals` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/prover/tracker.rs:973:13 [INFO] [stdout] | [INFO] [stdout] 973 | let mut opening_proof: PCSOpeningProof; [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] --> piop/src/prover/tracker.rs:1028:13 [INFO] [stdout] | [INFO] [stdout] 1028 | let mut opening_proof: PCSOpeningProof; [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `max_nv` [INFO] [stdout] --> piop/src/verifier/tracker.rs:683:39 [INFO] [stdout] | [INFO] [stdout] 683 | fn verify_mv_pcs_proof(&mut self, max_nv: usize) -> SnarkResult { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_nv` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/verifier/tracker.rs:695:13 [INFO] [stdout] | [INFO] [stdout] 695 | let mut pcs_res: bool; [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] --> piop/src/verifier/tracker.rs:760:13 [INFO] [stdout] | [INFO] [stdout] 760 | let mut pcs_res: bool; [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `HPVirtualPolynomial` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `HPVirtualPolynomial` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | pub(crate) struct HPVirtualPolynomial { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prove_round_and_update_state` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | / pub fn prove_round_and_update_state( [INFO] [stdout] 54 | | &mut self, [INFO] [stdout] 55 | | challenge: &Option, [INFO] [stdout] 56 | | ) -> Result, PolyIOPErrors> { [INFO] [stdout] | |________________________________________________________^ method `sum_check::prover::>::prove_round_and_update_state` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `sum_check::verifier::>::verifier_init` [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn verifier_init(index_info: &VPAuxInfo) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::verifier::>::verifier_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::verifier::>::verify_round_and_update_state` [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | / pub fn verify_round_and_update_state( [INFO] [stdout] 50 | | &mut self, [INFO] [stdout] 51 | | prover_msg: &SumcheckProverMessage, [INFO] [stdout] 52 | | transcript: &mut Tr, [INFO] [stdout] 53 | | ) -> Result { [INFO] [stdout] | |_________________________________^ method `sum_check::verifier::>::verify_round_and_update_state` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumCheck::::verify` [INFO] [stdout] --> piop/src/piop/sum_check/mod.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 87 | / pub fn verify( [INFO] [stdout] 88 | | claimed_sum: F, [INFO] [stdout] 89 | | proof: &SumcheckProof, [INFO] [stdout] 90 | | aux_info: &VPAuxInfo, [INFO] [stdout] 91 | | transcript: &mut Tr, [INFO] [stdout] 92 | | ) -> SnarkResult> { [INFO] [stdout] | |_________________________________________^ associated function `SumCheck::::verify` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::new` [INFO] [stdout] --> piop/src/structs/mod.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | / pub fn new( [INFO] [stdout] 64 | | sc_proof: SumcheckProof, [INFO] [stdout] 65 | | sc_aux_info: VPAuxInfo, [INFO] [stdout] 66 | | sumcheck_claims: BTreeMap, [INFO] [stdout] 67 | | ) -> Self { [INFO] [stdout] | |_____________^ associated function `SumcheckSubproof::::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::get_sc_aux_info` [INFO] [stdout] --> piop/src/structs/mod.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn get_sc_aux_info(&self) -> &VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `SumcheckSubproof::::get_sc_aux_info` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `ShouldNotArrive` is never constructed [INFO] [stdout] --> piop/src/arithmetic/errors.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) enum ArithErrors { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 12 | ShouldNotArrive, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ArithErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `evaluate`, `print_evals`, and `materialize` are never used [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:166:19 [INFO] [stdout] | [INFO] [stdout] 84 | impl HPVirtualPolynomial { [INFO] [stdout] | ------------------------------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 166 | pub(crate) fn evaluate(&self, point: &[F]) -> Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 196 | pub(crate) fn print_evals(&self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 208 | pub(crate) fn materialize(&self) -> MLE { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bit_decompose` is never used [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:231:15 [INFO] [stdout] | [INFO] [stdout] 231 | pub(crate) fn bit_decompose(input: u64, num_var: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidVerifier`, `InvalidProof`, and `InvalidOpening` are never constructed [INFO] [stdout] --> piop/src/pcs/errors.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PCSError { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 11 | InvalidVerifier(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 12 | #[error("Error")] [INFO] [stdout] 13 | InvalidProof(String), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | InvalidOpening, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PCSError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidChallenge`, `ShouldNotArrive`, and `SerializationErrors` are never constructed [INFO] [stdout] --> piop/src/piop/errors.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 20 | InvalidChallenge(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 21 | #[error("Error")] [INFO] [stdout] 22 | ShouldNotArrive, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 23 | #[error("Error `{0}`")] [INFO] [stdout] 24 | SerializationErrors(ark_serialize::SerializationError), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PolyIOPErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SumCheckProver` is never constructed [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct SumCheckProver { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SumCheckVerifier` is never constructed [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub struct SumCheckVerifier { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 27.96s [INFO] running `Command { std: "docker" "inspect" "dfd81874fd3d64e80d75191f83a482105f620ebd00d70bc78d6bea18d6544fe6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dfd81874fd3d64e80d75191f83a482105f620ebd00d70bc78d6bea18d6544fe6", kill_on_drop: false }` [INFO] [stdout] dfd81874fd3d64e80d75191f83a482105f620ebd00d70bc78d6bea18d6544fe6 [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8447a22800aea3fc79e3cb0dbbd40d4669c669ac72f2ba9c8036160fb85a10b3 [INFO] running `Command { std: "docker" "start" "-a" "8447a22800aea3fc79e3cb0dbbd40d4669c669ac72f2ba9c8036160fb85a10b3", kill_on_drop: false }` [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 version_check v0.9.5 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling zerocopy v0.8.25 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling itertools v0.14.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] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-std v0.5.0 (https://github.com/alireza-shirzad/std#3775f0cf) [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] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling macros v0.1.0 (/opt/rustwide/workdir/macros) [INFO] [stdout] warning: unused import: `DeriveInput` [INFO] [stdout] --> macros/src/lib.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | DeriveInput, Expr, ExprLit, ItemFn, Lit, Token, parse_macro_input, punctuated::Punctuated, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `DeriveInput` [INFO] [stdout] --> macros/src/lib.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | DeriveInput, Expr, ExprLit, ItemFn, Lit, Token, parse_macro_input, punctuated::Punctuated, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling ark-serialize v0.5.0 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Compiling merlin v3.0.0 [INFO] [stderr] Compiling ark-ff v0.5.0 [INFO] [stderr] Compiling ark-poly v0.5.0 [INFO] [stderr] Compiling ark-ec v0.5.0 [INFO] [stderr] Compiling ark-test-curves v0.5.0 [INFO] [stderr] Compiling ark-piop v0.1.0 (/opt/rustwide/workdir/piop) [INFO] [stdout] warning: unused import: `PrimeField` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:1:21 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_ff::{Field, PrimeField, Zero}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/errors.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/pcs/kzg10/srs.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `cell::RefCell` and `rc::Rc` [INFO] [stdout] --> piop/src/piop/mod.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{cell::RefCell, rc::Rc}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sync::Arc` [INFO] [stdout] --> piop/src/prover/structs/proof.rs:1:34 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::BTreeMap, sync::Arc}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BTreeSet` [INFO] [stdout] --> piop/src/prover/structs/mod.rs:8:29 [INFO] [stdout] | [INFO] [stdout] 8 | collections::{BTreeMap, BTreeSet}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::prover::errors::ProverError::HonestProverError` [INFO] [stdout] --> piop/src/prover/tracker.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::prover::errors::ProverError::HonestProverError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::prover::tracker::SnarkError::ProverError` [INFO] [stdout] --> piop/src/prover/tracker.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::prover::tracker::SnarkError::ProverError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `errors::HonestProverError::FalseClaim` [INFO] [stdout] --> piop/src/prover/tracker.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::prover::{errors::HonestProverError::FalseClaim, structs::TrackerEvalClaim}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> piop/src/prover/tracker.rs:36:33 [INFO] [stdout] | [INFO] [stdout] 36 | use ark_std::{add_single_trace, cfg_iter, end_timer, start_timer}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoParallelRefIterator` [INFO] [stdout] --> piop/src/prover/tracker.rs:40:19 [INFO] [stdout] | [INFO] [stdout] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> piop/src/structs/mod.rs:14:29 [INFO] [stdout] | [INFO] [stdout] 14 | collections::{BTreeMap, HashSet}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/verifier/errors.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Add`, `Mul`, and `Sub` [INFO] [stdout] --> piop/src/verifier/structs/oracle.rs:16:11 [INFO] [stdout] | [INFO] [stdout] 16 | ops::{Add, AddAssign, Mul, Neg, Sub, SubAssign}, [INFO] [stdout] | ^^^ ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SumCheckSubClaim` [INFO] [stdout] --> piop/src/verifier/tracker.rs:11:31 [INFO] [stdout] | [INFO] [stdout] 11 | sum_check::{SumCheck, SumCheckSubClaim}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> piop/src/verifier/tracker.rs:21:15 [INFO] [stdout] | [INFO] [stdout] 21 | use ark_std::{cfg_iter, end_timer, start_timer}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Borrow` [INFO] [stdout] --> piop/src/verifier/tracker.rs:25:14 [INFO] [stdout] | [INFO] [stdout] 25 | borrow::{Borrow, BorrowMut}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_poly::MultilinearExtension` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/utils.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_poly::MultilinearExtension; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:4:16 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/prover/tracker.rs:35:16 [INFO] [stdout] | [INFO] [stdout] 35 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ParallelIterator` [INFO] [stdout] --> piop/src/prover/tracker.rs:40:44 [INFO] [stdout] | [INFO] [stdout] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/pcs/pst13/batching.rs:23:16 [INFO] [stdout] | [INFO] [stdout] 23 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> piop/src/structs/mod.rs:15:20 [INFO] [stdout] | [INFO] [stdout] 15 | fmt::{Display, Write}, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:44 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:58 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:68 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:40 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [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] --> piop/src/arithmetic/mat_poly/mle.rs:79:54 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `polys` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:97:19 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn concat(polys: impl IntoIterator> + Clone) -> Self { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_polys` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:23 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:33 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:43 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nv` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:141:18 [INFO] [stdout] | [INFO] [stdout] 141 | Some(nv) => self.iter().cloned().collect::>(), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_nv` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `other` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:271:30 [INFO] [stdout] | [INFO] [stdout] 271 | fn sub_assign(&mut self, other: Self) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_other` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `commitment` [INFO] [stdout] --> piop/src/pcs/kzg10/mod.rs:130:9 [INFO] [stdout] | [INFO] [stdout] 130 | commitment: Option<&Self::Commitment>, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `commitment` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:148:9 [INFO] [stdout] | [INFO] [stdout] 148 | commitment: Option<&Self::Commitment>, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `evals` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | evals: &[E::ScalarField], [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_evals` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/prover/tracker.rs:973:13 [INFO] [stdout] | [INFO] [stdout] 973 | let mut opening_proof: PCSOpeningProof; [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] --> piop/src/prover/tracker.rs:1028:13 [INFO] [stdout] | [INFO] [stdout] 1028 | let mut opening_proof: PCSOpeningProof; [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PrimeField` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:1:21 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_ff::{Field, PrimeField, Zero}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::arithmetic::mat_poly::utils::evaluate_opt` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:399:9 [INFO] [stdout] | [INFO] [stdout] 399 | use crate::arithmetic::mat_poly::utils::evaluate_opt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:401:9 [INFO] [stdout] | [INFO] [stdout] 401 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::UniformRand` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:402:9 [INFO] [stdout] | [INFO] [stdout] 402 | use ark_ff::UniformRand; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::test_rng` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:403:9 [INFO] [stdout] | [INFO] [stdout] 403 | use ark_std::test_rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:404:9 [INFO] [stdout] | [INFO] [stdout] 404 | use ark_test_curves::bls12_381::Fr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/errors.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/pcs/kzg10/srs.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `cell::RefCell` and `rc::Rc` [INFO] [stdout] --> piop/src/piop/mod.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{cell::RefCell, rc::Rc}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sync::Arc` [INFO] [stdout] --> piop/src/prover/structs/proof.rs:1:34 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::BTreeMap, sync::Arc}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BTreeSet` [INFO] [stdout] --> piop/src/prover/structs/mod.rs:8:29 [INFO] [stdout] | [INFO] [stdout] 8 | collections::{BTreeMap, BTreeSet}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::prover::errors::ProverError::HonestProverError` [INFO] [stdout] --> piop/src/prover/tracker.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::prover::errors::ProverError::HonestProverError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::prover::tracker::SnarkError::ProverError` [INFO] [stdout] --> piop/src/prover/tracker.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::prover::tracker::SnarkError::ProverError; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `errors::HonestProverError::FalseClaim` [INFO] [stdout] --> piop/src/prover/tracker.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::prover::{errors::HonestProverError::FalseClaim, structs::TrackerEvalClaim}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> piop/src/prover/tracker.rs:36:33 [INFO] [stdout] | [INFO] [stdout] 36 | use ark_std::{add_single_trace, cfg_iter, end_timer, start_timer}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoParallelRefIterator` [INFO] [stdout] --> piop/src/prover/tracker.rs:40:19 [INFO] [stdout] | [INFO] [stdout] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> piop/src/structs/mod.rs:14:29 [INFO] [stdout] | [INFO] [stdout] 14 | collections::{BTreeMap, HashSet}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> piop/src/verifier/errors.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Add`, `Mul`, and `Sub` [INFO] [stdout] --> piop/src/verifier/structs/oracle.rs:16:11 [INFO] [stdout] | [INFO] [stdout] 16 | ops::{Add, AddAssign, Mul, Neg, Sub, SubAssign}, [INFO] [stdout] | ^^^ ^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SumCheckSubClaim` [INFO] [stdout] --> piop/src/verifier/tracker.rs:11:31 [INFO] [stdout] | [INFO] [stdout] 11 | sum_check::{SumCheck, SumCheckSubClaim}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> piop/src/verifier/tracker.rs:21:15 [INFO] [stdout] | [INFO] [stdout] 21 | use ark_std::{cfg_iter, end_timer, start_timer}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Borrow` [INFO] [stdout] --> piop/src/verifier/tracker.rs:25:14 [INFO] [stdout] | [INFO] [stdout] 25 | borrow::{Borrow, BorrowMut}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `max_nv` [INFO] [stdout] --> piop/src/verifier/tracker.rs:683:39 [INFO] [stdout] | [INFO] [stdout] 683 | fn verify_mv_pcs_proof(&mut self, max_nv: usize) -> SnarkResult { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_nv` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/verifier/tracker.rs:695:13 [INFO] [stdout] | [INFO] [stdout] 695 | let mut pcs_res: bool; [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] --> piop/src/verifier/tracker.rs:760:13 [INFO] [stdout] | [INFO] [stdout] 760 | let mut pcs_res: bool; [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `HPVirtualPolynomial` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `HPVirtualPolynomial` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | pub(crate) struct HPVirtualPolynomial { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prove_round_and_update_state` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | / pub fn prove_round_and_update_state( [INFO] [stdout] 54 | | &mut self, [INFO] [stdout] 55 | | challenge: &Option, [INFO] [stdout] 56 | | ) -> Result, PolyIOPErrors> { [INFO] [stdout] | |________________________________________________________^ method `sum_check::prover::>::prove_round_and_update_state` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `sum_check::verifier::>::verifier_init` [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn verifier_init(index_info: &VPAuxInfo) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::verifier::>::verifier_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::verifier::>::verify_round_and_update_state` [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | / pub fn verify_round_and_update_state( [INFO] [stdout] 50 | | &mut self, [INFO] [stdout] 51 | | prover_msg: &SumcheckProverMessage, [INFO] [stdout] 52 | | transcript: &mut Tr, [INFO] [stdout] 53 | | ) -> Result { [INFO] [stdout] | |_________________________________^ method `sum_check::verifier::>::verify_round_and_update_state` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumCheck::::verify` [INFO] [stdout] --> piop/src/piop/sum_check/mod.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 87 | / pub fn verify( [INFO] [stdout] 88 | | claimed_sum: F, [INFO] [stdout] 89 | | proof: &SumcheckProof, [INFO] [stdout] 90 | | aux_info: &VPAuxInfo, [INFO] [stdout] 91 | | transcript: &mut Tr, [INFO] [stdout] 92 | | ) -> SnarkResult> { [INFO] [stdout] | |_________________________________________^ associated function `SumCheck::::verify` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::new` [INFO] [stdout] --> piop/src/structs/mod.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | / pub fn new( [INFO] [stdout] 64 | | sc_proof: SumcheckProof, [INFO] [stdout] 65 | | sc_aux_info: VPAuxInfo, [INFO] [stdout] 66 | | sumcheck_claims: BTreeMap, [INFO] [stdout] 67 | | ) -> Self { [INFO] [stdout] | |_____________^ associated function `SumcheckSubproof::::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::get_sc_aux_info` [INFO] [stdout] --> piop/src/structs/mod.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn get_sc_aux_info(&self) -> &VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `SumcheckSubproof::::get_sc_aux_info` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `ShouldNotArrive` is never constructed [INFO] [stdout] --> piop/src/arithmetic/errors.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) enum ArithErrors { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 12 | ShouldNotArrive, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ArithErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `evaluate`, `print_evals`, and `materialize` are never used [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:166:19 [INFO] [stdout] | [INFO] [stdout] 84 | impl HPVirtualPolynomial { [INFO] [stdout] | ------------------------------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 166 | pub(crate) fn evaluate(&self, point: &[F]) -> Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 196 | pub(crate) fn print_evals(&self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 208 | pub(crate) fn materialize(&self) -> MLE { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bit_decompose` is never used [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:231:15 [INFO] [stdout] | [INFO] [stdout] 231 | pub(crate) fn bit_decompose(input: u64, num_var: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidVerifier`, `InvalidProof`, and `InvalidOpening` are never constructed [INFO] [stdout] --> piop/src/pcs/errors.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PCSError { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 11 | InvalidVerifier(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 12 | #[error("Error")] [INFO] [stdout] 13 | InvalidProof(String), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | InvalidOpening, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PCSError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidChallenge`, `ShouldNotArrive`, and `SerializationErrors` are never constructed [INFO] [stdout] --> piop/src/piop/errors.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 20 | InvalidChallenge(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 21 | #[error("Error")] [INFO] [stdout] 22 | ShouldNotArrive, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 23 | #[error("Error `{0}`")] [INFO] [stdout] 24 | SerializationErrors(ark_serialize::SerializationError), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PolyIOPErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SumCheckProver` is never constructed [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct SumCheckProver { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SumCheckVerifier` is never constructed [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub struct SumCheckVerifier { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_poly::MultilinearExtension` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/utils.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_poly::MultilinearExtension; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:4:16 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/pcs/pst13/batching.rs:23:16 [INFO] [stdout] | [INFO] [stdout] 23 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> piop/src/structs/mod.rs:15:20 [INFO] [stdout] | [INFO] [stdout] 15 | fmt::{Display, Write}, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> piop/src/prover/tracker.rs:35:16 [INFO] [stdout] | [INFO] [stdout] 35 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ParallelIterator` [INFO] [stdout] --> piop/src/prover/tracker.rs:40:44 [INFO] [stdout] | [INFO] [stdout] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:44 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:58 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:68 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:79:40 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [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] --> piop/src/arithmetic/mat_poly/mle.rs:79:54 [INFO] [stdout] | [INFO] [stdout] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `polys` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:97:19 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn concat(polys: impl IntoIterator> + Clone) -> Self { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_polys` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:23 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:33 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:120:43 [INFO] [stdout] | [INFO] [stdout] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `nv` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:141:18 [INFO] [stdout] | [INFO] [stdout] 141 | Some(nv) => self.iter().cloned().collect::>(), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_nv` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `other` [INFO] [stdout] --> piop/src/arithmetic/mat_poly/mle.rs:271:30 [INFO] [stdout] | [INFO] [stdout] 271 | fn sub_assign(&mut self, other: Self) { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_other` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `commitment` [INFO] [stdout] --> piop/src/pcs/kzg10/mod.rs:130:9 [INFO] [stdout] | [INFO] [stdout] 130 | commitment: Option<&Self::Commitment>, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `commitment` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:148:9 [INFO] [stdout] | [INFO] [stdout] 148 | commitment: Option<&Self::Commitment>, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `evals` [INFO] [stdout] --> piop/src/pcs/pst13/mod.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | evals: &[E::ScalarField], [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_evals` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/prover/tracker.rs:973:13 [INFO] [stdout] | [INFO] [stdout] 973 | let mut opening_proof: PCSOpeningProof; [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] --> piop/src/prover/tracker.rs:1028:13 [INFO] [stdout] | [INFO] [stdout] 1028 | let mut opening_proof: PCSOpeningProof; [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `max_nv` [INFO] [stdout] --> piop/src/verifier/tracker.rs:683:39 [INFO] [stdout] | [INFO] [stdout] 683 | fn verify_mv_pcs_proof(&mut self, max_nv: usize) -> SnarkResult { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_nv` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> piop/src/verifier/tracker.rs:695:13 [INFO] [stdout] | [INFO] [stdout] 695 | let mut pcs_res: bool; [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] --> piop/src/verifier/tracker.rs:760:13 [INFO] [stdout] | [INFO] [stdout] 760 | let mut pcs_res: bool; [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `HPVirtualPolynomial` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `HPVirtualPolynomial` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | pub(crate) struct HPVirtualPolynomial { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prove_round_and_update_state` [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | / pub fn prove_round_and_update_state( [INFO] [stdout] 54 | | &mut self, [INFO] [stdout] 55 | | challenge: &Option, [INFO] [stdout] 56 | | ) -> Result, PolyIOPErrors> { [INFO] [stdout] | |________________________________________________________^ method `sum_check::prover::>::prove_round_and_update_state` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `sum_check::verifier::>::verifier_init` [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn verifier_init(index_info: &VPAuxInfo) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::verifier::>::verifier_init` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `PolyIOPErrors` is more private than the item `sum_check::verifier::>::verify_round_and_update_state` [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | / pub fn verify_round_and_update_state( [INFO] [stdout] 50 | | &mut self, [INFO] [stdout] 51 | | prover_msg: &SumcheckProverMessage, [INFO] [stdout] 52 | | transcript: &mut Tr, [INFO] [stdout] 53 | | ) -> Result { [INFO] [stdout] | |_________________________________^ method `sum_check::verifier::>::verify_round_and_update_state` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/piop/errors.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumCheck::::verify` [INFO] [stdout] --> piop/src/piop/sum_check/mod.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 87 | / pub fn verify( [INFO] [stdout] 88 | | claimed_sum: F, [INFO] [stdout] 89 | | proof: &SumcheckProof, [INFO] [stdout] 90 | | aux_info: &VPAuxInfo, [INFO] [stdout] 91 | | transcript: &mut Tr, [INFO] [stdout] 92 | | ) -> SnarkResult> { [INFO] [stdout] | |_________________________________________^ associated function `SumCheck::::verify` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::new` [INFO] [stdout] --> piop/src/structs/mod.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | / pub fn new( [INFO] [stdout] 64 | | sc_proof: SumcheckProof, [INFO] [stdout] 65 | | sc_aux_info: VPAuxInfo, [INFO] [stdout] 66 | | sumcheck_claims: BTreeMap, [INFO] [stdout] 67 | | ) -> Self { [INFO] [stdout] | |_____________^ associated function `SumcheckSubproof::::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::get_sc_aux_info` [INFO] [stdout] --> piop/src/structs/mod.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn get_sc_aux_info(&self) -> &VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `SumcheckSubproof::::get_sc_aux_info` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VPAuxInfo { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `ShouldNotArrive` is never constructed [INFO] [stdout] --> piop/src/arithmetic/errors.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) enum ArithErrors { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 12 | ShouldNotArrive, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ArithErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `evaluate`, `print_evals`, and `materialize` are never used [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:166:19 [INFO] [stdout] | [INFO] [stdout] 84 | impl HPVirtualPolynomial { [INFO] [stdout] | ------------------------------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 166 | pub(crate) fn evaluate(&self, point: &[F]) -> Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 196 | pub(crate) fn print_evals(&self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 208 | pub(crate) fn materialize(&self) -> MLE { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bit_decompose` is never used [INFO] [stdout] --> piop/src/arithmetic/virt_poly/hp_interface.rs:231:15 [INFO] [stdout] | [INFO] [stdout] 231 | pub(crate) fn bit_decompose(input: u64, num_var: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidVerifier`, `InvalidProof`, and `InvalidOpening` are never constructed [INFO] [stdout] --> piop/src/pcs/errors.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PCSError { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 11 | InvalidVerifier(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 12 | #[error("Error")] [INFO] [stdout] 13 | InvalidProof(String), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | InvalidOpening, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PCSError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `InvalidChallenge`, `ShouldNotArrive`, and `SerializationErrors` are never constructed [INFO] [stdout] --> piop/src/piop/errors.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 20 | InvalidChallenge(String), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 21 | #[error("Error")] [INFO] [stdout] 22 | ShouldNotArrive, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 23 | #[error("Error `{0}`")] [INFO] [stdout] 24 | SerializationErrors(ark_serialize::SerializationError), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PolyIOPErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SumCheckProver` is never constructed [INFO] [stdout] --> piop/src/piop/sum_check/prover.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct SumCheckProver { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SumCheckVerifier` is never constructed [INFO] [stdout] --> piop/src/piop/sum_check/verifier.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 25 | pub struct SumCheckVerifier { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device [INFO] [stderr] error: could not compile `ark-piop` (lib test); 63 warnings emitted [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6/bin/rustc --crate-name ark_piop --edition=2024 piop/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C opt-level=3 -C lto=thin -C debuginfo=2 -C debug-assertions=on --test --cfg 'feature="default"' --cfg 'feature="parallel"' --cfg 'feature="rayon"' --cfg 'feature="std"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("default", "honest-prover", "parallel", "print-trace", "rayon", "std"))' -C metadata=efde6b8b1a33bad9 -C extra-filename=-9f9f660bb11c0ab6 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern ark_ec=/opt/rustwide/target/debug/deps/libark_ec-87e1b2c5b59219cc.rlib --extern ark_ff=/opt/rustwide/target/debug/deps/libark_ff-941d83bd99c8f6a7.rlib --extern ark_poly=/opt/rustwide/target/debug/deps/libark_poly-e2a522cad4f37d92.rlib --extern ark_serialize=/opt/rustwide/target/debug/deps/libark_serialize-0dd5dcd7d54d9d88.rlib --extern ark_std=/opt/rustwide/target/debug/deps/libark_std-171caa02de782171.rlib --extern ark_test_curves=/opt/rustwide/target/debug/deps/libark_test_curves-dd5560c7333a70f1.rlib --extern derivative=/opt/rustwide/target/debug/deps/libderivative-867b47c4f4534b57.so --extern itertools=/opt/rustwide/target/debug/deps/libitertools-65d3fe4521084838.rlib --extern macros=/opt/rustwide/target/debug/deps/libmacros-c762323d44e7b4c0.so --extern merlin=/opt/rustwide/target/debug/deps/libmerlin-0dd9015ab76334d8.rlib --extern rayon=/opt/rustwide/target/debug/deps/librayon-d0d45892b1f15329.rlib --extern thiserror=/opt/rustwide/target/debug/deps/libthiserror-1730b841f1f2930c.rlib --cap-lints=forbid` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "8447a22800aea3fc79e3cb0dbbd40d4669c669ac72f2ba9c8036160fb85a10b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8447a22800aea3fc79e3cb0dbbd40d4669c669ac72f2ba9c8036160fb85a10b3", kill_on_drop: false }` [INFO] [stdout] 8447a22800aea3fc79e3cb0dbbd40d4669c669ac72f2ba9c8036160fb85a10b3