[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 master#b03b3a7ec92682be2917540b679478d41c95a30c 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-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/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-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/alireza-shirzad/ark-piop on toolchain b03b3a7ec92682be2917540b679478d41c95a30c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "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" "+b03b3a7ec92682be2917540b679478d41c95a30c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/alireza-shirzad/std` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ark-test-curves v0.5.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a9630997e1c64820241439e3c3d6b2053e3b09f7600d12f119b2fb940cba8839 [INFO] running `Command { std: "docker" "start" "-a" "a9630997e1c64820241439e3c3d6b2053e3b09f7600d12f119b2fb940cba8839", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a9630997e1c64820241439e3c3d6b2053e3b09f7600d12f119b2fb940cba8839", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a9630997e1c64820241439e3c3d6b2053e3b09f7600d12f119b2fb940cba8839", kill_on_drop: false }` [INFO] [stdout] a9630997e1c64820241439e3c3d6b2053e3b09f7600d12f119b2fb940cba8839 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4cd9c47d5c99cecea5653e00fb8b4c76c1e51be9e74737dc35c9ef8f867cd895 [INFO] running `Command { std: "docker" "start" "-a" "4cd9c47d5c99cecea5653e00fb8b4c76c1e51be9e74737dc35c9ef8f867cd895", 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 rand_core v0.6.4 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling hashbrown v0.15.2 [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 crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling num-bigint v0.4.6 [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 ark-std v0.5.0 (https://github.com/alireza-shirzad/std#3775f0cf) [INFO] [stderr] Compiling derivative v2.2.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-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 enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling ark-serialize v0.5.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-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 24.63s [INFO] running `Command { std: "docker" "inspect" "4cd9c47d5c99cecea5653e00fb8b4c76c1e51be9e74737dc35c9ef8f867cd895", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4cd9c47d5c99cecea5653e00fb8b4c76c1e51be9e74737dc35c9ef8f867cd895", kill_on_drop: false }` [INFO] [stdout] 4cd9c47d5c99cecea5653e00fb8b4c76c1e51be9e74737dc35c9ef8f867cd895 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 73906b310a2c0714770db8f4501e07f424764982f1c42eeb4965b27e385e08d3 [INFO] running `Command { std: "docker" "start" "-a" "73906b310a2c0714770db8f4501e07f424764982f1c42eeb4965b27e385e08d3", 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 rayon-core v1.12.1 [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 cfg-if v1.0.0 [INFO] [stderr] Compiling once_cell v1.21.3 [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 thiserror v2.0.12 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling keccak v0.1.5 [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 itertools v0.13.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling crossbeam-deque v0.8.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 derivative v2.2.0 [INFO] [stderr] Compiling rand v0.8.5 [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 macros v0.1.0 (/opt/rustwide/workdir/macros) [INFO] [stderr] Compiling thiserror-impl v2.0.12 [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 merlin v3.0.0 [INFO] [stderr] Compiling educe v0.6.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 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: `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 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] Finished `test` profile [optimized + debuginfo] target(s) in 35.98s [INFO] running `Command { std: "docker" "inspect" "73906b310a2c0714770db8f4501e07f424764982f1c42eeb4965b27e385e08d3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "73906b310a2c0714770db8f4501e07f424764982f1c42eeb4965b27e385e08d3", kill_on_drop: false }` [INFO] [stdout] 73906b310a2c0714770db8f4501e07f424764982f1c42eeb4965b27e385e08d3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 00a00c80d657d35a3b74239cd0f293e31943d351c9ffcc0f6a0ebb9a468ed476 [INFO] running `Command { std: "docker" "start" "-a" "00a00c80d657d35a3b74239cd0f293e31943d351c9ffcc0f6a0ebb9a468ed476", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `DeriveInput` [INFO] [stderr] --> macros/src/lib.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | DeriveInput, Expr, ExprLit, ItemFn, Lit, Token, parse_macro_input, punctuated::Punctuated, [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `macros` (lib) generated 1 warning (run `cargo fix --lib -p macros` to apply 1 suggestion) [INFO] [stderr] warning: `macros` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] warning: unused import: `PrimeField` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:1:21 [INFO] [stderr] | [INFO] [stderr] 1 | use ark_ff::{Field, PrimeField, Zero}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::PrimeField` [INFO] [stderr] --> piop/src/errors.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use ark_ff::PrimeField; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::PrimeField` [INFO] [stderr] --> piop/src/pcs/kzg10/srs.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use ark_ff::PrimeField; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::PrimeField` [INFO] [stderr] --> piop/src/pcs/pst13/mod.rs:23:5 [INFO] [stderr] | [INFO] [stderr] 23 | use ark_ff::PrimeField; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `cell::RefCell` and `rc::Rc` [INFO] [stderr] --> piop/src/piop/mod.rs:1:11 [INFO] [stderr] | [INFO] [stderr] 1 | use std::{cell::RefCell, rc::Rc}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `sync::Arc` [INFO] [stderr] --> piop/src/prover/structs/proof.rs:1:34 [INFO] [stderr] | [INFO] [stderr] 1 | use std::{collections::BTreeMap, sync::Arc}; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `BTreeSet` [INFO] [stderr] --> piop/src/prover/structs/mod.rs:8:29 [INFO] [stderr] | [INFO] [stderr] 8 | collections::{BTreeMap, BTreeSet}, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::prover::errors::ProverError::HonestProverError` [INFO] [stderr] --> piop/src/prover/tracker.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use crate::prover::errors::ProverError::HonestProverError; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::prover::tracker::SnarkError::ProverError` [INFO] [stderr] --> piop/src/prover/tracker.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::prover::tracker::SnarkError::ProverError; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `errors::HonestProverError::FalseClaim` [INFO] [stderr] --> piop/src/prover/tracker.rs:7:21 [INFO] [stderr] | [INFO] [stderr] 7 | use crate::prover::{errors::HonestProverError::FalseClaim, structs::TrackerEvalClaim}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `cfg_iter` [INFO] [stderr] --> piop/src/prover/tracker.rs:36:33 [INFO] [stderr] | [INFO] [stderr] 36 | use ark_std::{add_single_trace, cfg_iter, end_timer, start_timer}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `IntoParallelRefIterator` [INFO] [stderr] --> piop/src/prover/tracker.rs:40:19 [INFO] [stderr] | [INFO] [stderr] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `HashSet` [INFO] [stderr] --> piop/src/structs/mod.rs:14:29 [INFO] [stderr] | [INFO] [stderr] 14 | collections::{BTreeMap, HashSet}, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::PrimeField` [INFO] [stderr] --> piop/src/verifier/errors.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use ark_ff::PrimeField; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Add`, `Mul`, and `Sub` [INFO] [stderr] --> piop/src/verifier/structs/oracle.rs:16:11 [INFO] [stderr] | [INFO] [stderr] 16 | ops::{Add, AddAssign, Mul, Neg, Sub, SubAssign}, [INFO] [stderr] | ^^^ ^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `SumCheckSubClaim` [INFO] [stderr] --> piop/src/verifier/tracker.rs:11:31 [INFO] [stderr] | [INFO] [stderr] 11 | sum_check::{SumCheck, SumCheckSubClaim}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `cfg_iter` [INFO] [stderr] --> piop/src/verifier/tracker.rs:21:15 [INFO] [stderr] | [INFO] [stderr] 21 | use ark_std::{cfg_iter, end_timer, start_timer}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Borrow` [INFO] [stderr] --> piop/src/verifier/tracker.rs:25:14 [INFO] [stderr] | [INFO] [stderr] 25 | borrow::{Borrow, BorrowMut}, [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_poly::MultilinearExtension` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/utils.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use ark_poly::MultilinearExtension; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `MultilinearExtension` [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:4:16 [INFO] [stderr] | [INFO] [stderr] 4 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `MultilinearExtension` [INFO] [stderr] --> piop/src/prover/tracker.rs:35:16 [INFO] [stderr] | [INFO] [stderr] 35 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ParallelIterator` [INFO] [stderr] --> piop/src/prover/tracker.rs:40:44 [INFO] [stderr] | [INFO] [stderr] 40 | use rayon::iter::{IntoParallelRefIterator, ParallelIterator}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `MultilinearExtension` [INFO] [stderr] --> piop/src/pcs/pst13/batching.rs:23:16 [INFO] [stderr] | [INFO] [stderr] 23 | use ark_poly::{MultilinearExtension, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Write` [INFO] [stderr] --> piop/src/structs/mod.rs:15:20 [INFO] [stderr] | [INFO] [stderr] 15 | fmt::{Display, Write}, [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:79:44 [INFO] [stderr] | [INFO] [stderr] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:79:58 [INFO] [stderr] | [INFO] [stderr] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `k` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:79:68 [INFO] [stderr] | [INFO] [stderr] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:79:40 [INFO] [stderr] | [INFO] [stderr] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:79:54 [INFO] [stderr] | [INFO] [stderr] 79 | pub fn relabel_in_place(&mut self, mut a: usize, mut b: usize, k: usize) { [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `polys` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:97:19 [INFO] [stderr] | [INFO] [stderr] 97 | pub fn concat(polys: impl IntoIterator> + Clone) -> Self { [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_polys` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:120:23 [INFO] [stderr] | [INFO] [stderr] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:120:33 [INFO] [stderr] | [INFO] [stderr] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `k` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:120:43 [INFO] [stderr] | [INFO] [stderr] 120 | fn relabel(&self, a: usize, b: usize, k: usize) -> Self { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `nv` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:141:18 [INFO] [stderr] | [INFO] [stderr] 141 | Some(nv) => self.iter().cloned().collect::>(), [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_nv` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `other` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:271:30 [INFO] [stderr] | [INFO] [stderr] 271 | fn sub_assign(&mut self, other: Self) { [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_other` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `commitment` [INFO] [stderr] --> piop/src/pcs/kzg10/mod.rs:130:9 [INFO] [stderr] | [INFO] [stderr] 130 | commitment: Option<&Self::Commitment>, [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `commitment` [INFO] [stderr] --> piop/src/pcs/pst13/mod.rs:148:9 [INFO] [stderr] | [INFO] [stderr] 148 | commitment: Option<&Self::Commitment>, [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_commitment` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `evals` [INFO] [stderr] --> piop/src/pcs/pst13/mod.rs:205:9 [INFO] [stderr] | [INFO] [stderr] 205 | evals: &[E::ScalarField], [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_evals` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> piop/src/prover/tracker.rs:973:13 [INFO] [stderr] | [INFO] [stderr] 973 | let mut opening_proof: PCSOpeningProof; [INFO] [stderr] | ----^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> piop/src/prover/tracker.rs:1028:13 [INFO] [stderr] | [INFO] [stderr] 1028 | let mut opening_proof: PCSOpeningProof; [INFO] [stderr] | ----^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stdout] [INFO] [stderr] warning: unused variable: `max_nv` [INFO] [stdout] running 11 tests [INFO] [stderr] --> piop/src/verifier/tracker.rs:683:39 [INFO] [stderr] | [INFO] [stderr] 683 | fn verify_mv_pcs_proof(&mut self, max_nv: usize) -> SnarkResult { [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_nv` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> piop/src/verifier/tracker.rs:695:13 [INFO] [stderr] | [INFO] [stderr] 695 | let mut pcs_res: bool; [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> piop/src/verifier/tracker.rs:760:13 [INFO] [stderr] | [INFO] [stderr] 760 | let mut pcs_res: bool; [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: type `HPVirtualPolynomial` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stderr] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stderr] | [INFO] [stderr] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stderr] | [INFO] [stderr] note: but type `HPVirtualPolynomial` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:41:1 [INFO] [stderr] | [INFO] [stderr] 41 | pub(crate) struct HPVirtualPolynomial { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] = note: `#[warn(private_interfaces)]` on by default [INFO] [stderr] [INFO] [stderr] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prover_init` [INFO] [stderr] --> piop/src/piop/sum_check/prover.rs:28:5 [INFO] [stderr] | [INFO] [stderr] 28 | pub fn prover_init(polynomial: &HPVirtualPolynomial) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::prover::>::prover_init` is reachable at visibility `pub` [INFO] [stdout] test pcs::pst13::batching::tests::setup_commit_verify_constant_polynomial ... ok [INFO] [stderr] | [INFO] [stderr] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/piop/errors.rs:7:1 [INFO] [stderr] | [INFO] [stderr] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stdout] test arithmetic::test::test_get_index ... ok [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type `PolyIOPErrors` is more private than the item `sum_check::prover::>::prove_round_and_update_state` [INFO] [stderr] --> piop/src/piop/sum_check/prover.rs:53:5 [INFO] [stderr] | [INFO] [stderr] 53 | / pub fn prove_round_and_update_state( [INFO] [stderr] 54 | | &mut self, [INFO] [stderr] 55 | | challenge: &Option, [INFO] [stderr] 56 | | ) -> Result, PolyIOPErrors> { [INFO] [stderr] | |________________________________________________________^ method `sum_check::prover::>::prove_round_and_update_state` is reachable at visibility `pub` [INFO] [stderr] | [INFO] [stderr] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/piop/errors.rs:7:1 [INFO] [stderr] | [INFO] [stderr] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type `VPAuxInfo` is more private than the item `sum_check::verifier::>::verifier_init` [INFO] [stderr] --> piop/src/piop/sum_check/verifier.rs:31:5 [INFO] [stderr] | [INFO] [stderr] 31 | pub fn verifier_init(index_info: &VPAuxInfo) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `sum_check::verifier::>::verifier_init` is reachable at visibility `pub` [INFO] [stderr] | [INFO] [stderr] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stderr] | [INFO] [stderr] 55 | pub(crate) struct VPAuxInfo { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type `PolyIOPErrors` is more private than the item `sum_check::verifier::>::verify_round_and_update_state` [INFO] [stderr] --> piop/src/piop/sum_check/verifier.rs:49:5 [INFO] [stderr] | [INFO] [stderr] 49 | / pub fn verify_round_and_update_state( [INFO] [stderr] 50 | | &mut self, [INFO] [stderr] 51 | | prover_msg: &SumcheckProverMessage, [INFO] [stderr] 52 | | transcript: &mut Tr, [INFO] [stderr] 53 | | ) -> Result { [INFO] [stderr] | |_________________________________^ method `sum_check::verifier::>::verify_round_and_update_state` is reachable at visibility `pub` [INFO] [stderr] | [INFO] [stderr] note: but type `PolyIOPErrors` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/piop/errors.rs:7:1 [INFO] [stderr] | [INFO] [stderr] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type `VPAuxInfo` is more private than the item `SumCheck::::verify` [INFO] [stderr] --> piop/src/piop/sum_check/mod.rs:87:5 [INFO] [stderr] | [INFO] [stderr] 87 | / pub fn verify( [INFO] [stderr] 88 | | claimed_sum: F, [INFO] [stderr] 89 | | proof: &SumcheckProof, [INFO] [stderr] 90 | | aux_info: &VPAuxInfo, [INFO] [stderr] 91 | | transcript: &mut Tr, [INFO] [stderr] 92 | | ) -> SnarkResult> { [INFO] [stderr] | |_________________________________________^ associated function `SumCheck::::verify` is reachable at visibility `pub` [INFO] [stderr] | [INFO] [stderr] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stderr] | [INFO] [stderr] 55 | pub(crate) struct VPAuxInfo { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::new` [INFO] [stderr] --> piop/src/structs/mod.rs:63:5 [INFO] [stderr] | [INFO] [stderr] 63 | / pub fn new( [INFO] [stderr] 64 | | sc_proof: SumcheckProof, [INFO] [stderr] 65 | | sc_aux_info: VPAuxInfo, [INFO] [stderr] 66 | | sumcheck_claims: BTreeMap, [INFO] [stderr] 67 | | ) -> Self { [INFO] [stderr] | |_____________^ associated function `SumcheckSubproof::::new` is reachable at visibility `pub` [INFO] [stderr] | [INFO] [stderr] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stderr] | [INFO] [stderr] 55 | pub(crate) struct VPAuxInfo { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type `VPAuxInfo` is more private than the item `SumcheckSubproof::::get_sc_aux_info` [INFO] [stderr] --> piop/src/structs/mod.rs:82:5 [INFO] [stderr] | [INFO] [stderr] 82 | pub fn get_sc_aux_info(&self) -> &VPAuxInfo { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `SumcheckSubproof::::get_sc_aux_info` is reachable at visibility `pub` [INFO] [stderr] | [INFO] [stderr] note: but type `VPAuxInfo` is only usable at visibility `pub(crate)` [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:55:1 [INFO] [stderr] | [INFO] [stderr] 55 | pub(crate) struct VPAuxInfo { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `ShouldNotArrive` is never constructed [INFO] [stderr] --> piop/src/arithmetic/errors.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 6 | pub(crate) enum ArithErrors { [INFO] [stderr] | ----------- variant in this enum [INFO] [stderr] ... [INFO] [stderr] 12 | ShouldNotArrive, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `ArithErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: methods `evaluate`, `print_evals`, and `materialize` are never used [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:166:19 [INFO] [stderr] | [INFO] [stderr] 84 | impl HPVirtualPolynomial { [INFO] [stderr] | ------------------------------------------ methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 166 | pub(crate) fn evaluate(&self, point: &[F]) -> Result { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 196 | pub(crate) fn print_evals(&self) { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 208 | pub(crate) fn materialize(&self) -> MLE { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `bit_decompose` is never used [INFO] [stderr] --> piop/src/arithmetic/virt_poly/hp_interface.rs:231:15 [INFO] [stderr] | [INFO] [stderr] 231 | pub(crate) fn bit_decompose(input: u64, num_var: usize) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variants `InvalidVerifier`, `InvalidProof`, and `InvalidOpening` are never constructed [INFO] [stderr] --> piop/src/pcs/errors.rs:11:5 [INFO] [stderr] | [INFO] [stderr] 7 | pub(crate) enum PCSError { [INFO] [stderr] | -------- variants in this enum [INFO] [stderr] ... [INFO] [stderr] 11 | InvalidVerifier(String), [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] 12 | #[error("Error")] [INFO] [stderr] 13 | InvalidProof(String), [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 23 | InvalidOpening, [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `PCSError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: variants `InvalidChallenge`, `ShouldNotArrive`, and `SerializationErrors` are never constructed [INFO] [stderr] --> piop/src/piop/errors.rs:20:5 [INFO] [stderr] | [INFO] [stderr] 7 | pub(crate) enum PolyIOPErrors { [INFO] [stderr] | ------------- variants in this enum [INFO] [stderr] ... [INFO] [stderr] 20 | InvalidChallenge(String), [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] 21 | #[error("Error")] [INFO] [stderr] 22 | ShouldNotArrive, [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] 23 | #[error("Error `{0}`")] [INFO] [stderr] 24 | SerializationErrors(ark_serialize::SerializationError), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `PolyIOPErrors` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: struct `SumCheckProver` is never constructed [INFO] [stderr] --> piop/src/piop/sum_check/prover.rs:18:12 [INFO] [stderr] | [INFO] [stderr] 18 | pub struct SumCheckProver { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `SumCheckVerifier` is never constructed [INFO] [stderr] --> piop/src/piop/sum_check/verifier.rs:25:12 [INFO] [stderr] | [INFO] [stderr] 25 | pub struct SumCheckVerifier { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `ark-piop` (lib) generated 58 warnings (run `cargo fix --lib -p ark-piop` to apply 24 suggestions) [INFO] [stderr] warning: unused import: `crate::arithmetic::mat_poly::utils::evaluate_opt` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:399:9 [INFO] [stderr] | [INFO] [stderr] 399 | use crate::arithmetic::mat_poly::utils::evaluate_opt; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `super::*` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:401:9 [INFO] [stderr] | [INFO] [stderr] 401 | use super::*; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::UniformRand` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:402:9 [INFO] [stderr] | [INFO] [stderr] 402 | use ark_ff::UniformRand; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_std::test_rng` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:403:9 [INFO] [stderr] | [INFO] [stderr] 403 | use ark_std::test_rng; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_test_curves::bls12_381::Fr` [INFO] [stderr] --> piop/src/arithmetic/mat_poly/mle.rs:404:9 [INFO] [stderr] | [INFO] [stderr] 404 | use ark_test_curves::bls12_381::Fr; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `ark-piop` (lib test) generated 63 warnings (58 duplicates) (run `cargo fix --lib -p ark-piop --tests` to apply 5 suggestions) [INFO] [stderr] Finished `test` profile [optimized + debuginfo] target(s) in 0.13s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/ark_piop-9f9f660bb11c0ab6) [INFO] [stdout] test arithmetic::test::test_decomposition ... ok [INFO] [stdout] test pcs::pst13::tests::setup_commit_verify_constant_polynomial ... ok [INFO] [stdout] test piop::sum_check::verifier::test::test_interpolation ... ok [INFO] [stdout] test pcs::pst13::tests::test_single_commit ... ok [INFO] [stdout] test pcs::pst13::batching::tests::test_single_commit ... ok [INFO] [stdout] test pcs::pst13::srs::tests::test_srs_gen ... ok [INFO] [stdout] test pcs::kzg10::tests::end_to_end_test ... ok [INFO] [stdout] test setup::tests::test_keygen ... FAILED [INFO] [stdout] test pcs::kzg10::tests::linear_polynomial_test ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- setup::tests::test_keygen stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'setup::tests::test_keygen' panicked at piop/src/pcs/utils.rs:37:37: [INFO] [stdout] could not create file for SRS at "/opt/rustwide/workdir/piop/../srs/mv_16.srs" [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x57f673ab7603 - std::backtrace_rs::backtrace::libunwind::trace::hf6dd235ae0786829 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x57f673ab7603 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a5b54e78104e8b2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x57f673ab7603 - std::sys::backtrace::_print_fmt::hca7a5c1644e21919 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x57f673ab7603 - ::fmt::h38110959524b373c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x57f673a5b583 - core::fmt::rt::Argument::fmt::h391eb3fdbf3d4042 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x57f673a5b583 - core::fmt::write::h5b87140645224122 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/mod.rs:1465:25 [INFO] [stdout] 6: 0x57f673ab1c53 - std::io::default_write_fmt::h3039811ce7aea84b [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x57f673ab1c53 - std::io::Write::write_fmt::h2eef262cf4840ab4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x57f673ab7462 - std::sys::backtrace::BacktraceLock::print::hcd755c38f62e4492 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x57f673ab8c02 - std::panicking::default_hook::{{closure}}::h351f33591b26e6e7 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:300:27 [INFO] [stdout] 10: 0x57f673ab87f5 - std::panicking::default_hook::he5bba7bf0a373c6e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:324:9 [INFO] [stdout] 11: 0x57f673b04e52 - as core::ops::function::Fn>::call::he967d9fa26b9957c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 12: 0x57f673b04e52 - test::test_main_with_exit_callback::{{closure}}::h80e1694b81a05381 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x57f673ab942b - as core::ops::function::Fn>::call::h4e924fcf5bc64d70 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 14: 0x57f673ab942b - std::panicking::rust_panic_with_hook::hdf456b43e6535023 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:841:13 [INFO] [stdout] 15: 0x57f673ab910a - std::panicking::begin_panic_handler::{{closure}}::he1c1ab0b84006a97 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:706:13 [INFO] [stdout] 16: 0x57f673ab7ac9 - std::sys::backtrace::__rust_end_short_backtrace::h2a71da996e10b8a0 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 17: 0x57f673ab8dbd - __rustc[92197b79f0fe8095]::rust_begin_unwind [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:697:5 [INFO] [stdout] 18: 0x57f673a5a350 - core::panicking::panic_fmt::h723bf1d52f6dad29 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x57f6739dce2e - ark_piop::pcs::utils::load_or_generate_srs::{{closure}}::{{closure}}::h42801c39666434fc [INFO] [stdout] at /opt/rustwide/workdir/piop/src/pcs/utils.rs:37:37 [INFO] [stdout] 20: 0x57f6739dee11 - core::result::Result::unwrap_or_else::hc805e05d609801c0 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/result.rs:1521:23 [INFO] [stdout] 21: 0x57f6739dee11 - ark_piop::pcs::utils::load_or_generate_srs::{{closure}}::h9c6ab23e0afbe95b [INFO] [stdout] at /opt/rustwide/workdir/piop/src/pcs/utils.rs:37:18 [INFO] [stdout] 22: 0x57f6739dee11 - ark_piop::pcs::utils::load_or_generate_srs::h8e7b2c8bcbf62f81 [INFO] [stdout] at /opt/rustwide/workdir/piop/src/pcs/utils.rs:15:1 [INFO] [stdout] 23: 0x57f6739dee11 - ark_piop::setup::KeyGenerator::gen_keys::{{closure}}::h1a0cca371120a53d [INFO] [stdout] at /opt/rustwide/workdir/piop/src/setup/mod.rs:73:22 [INFO] [stdout] 24: 0x57f6739dee11 - ark_piop::setup::KeyGenerator::gen_keys::hbc7169cab7a82715 [INFO] [stdout] at /opt/rustwide/workdir/piop/src/setup/mod.rs:68:5 [INFO] [stdout] 25: 0x57f673a11bfd - ark_piop::setup::tests::test_keygen::ha45fbe0b1ac0d58c [INFO] [stdout] at /opt/rustwide/workdir/piop/src/setup/mod.rs:150:40 [INFO] [stdout] 26: 0x57f673a2b359 - ark_piop::setup::tests::test_keygen::{{closure}}::h3f8c7de83cae83f2 [INFO] [stdout] at /opt/rustwide/workdir/piop/src/setup/mod.rs:147:21 [INFO] [stdout] 27: 0x57f673a2b359 - core::ops::function::FnOnce::call_once::h2dc00a49a592a058 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 28: 0x57f673b0b06b - core::ops::function::FnOnce::call_once::h0669c8b9c48a7d8a [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 29: 0x57f673b0b06b - test::__rust_begin_short_backtrace::h7b085d6d90a7575c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:648:18 [INFO] [stdout] 30: 0x57f673b099f4 - test::types::RunnableTest::run::h964cba93b11b2e36 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/types.rs:145:40 [INFO] [stdout] 31: 0x57f673b099f4 - test::run_test_in_process::{{closure}}::ha304053f1e1d1fbe [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:74 [INFO] [stdout] 32: 0x57f673b099f4 - as core::ops::function::FnOnce<()>>::call_once::h8e30650eb6723f86 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 33: 0x57f673b099f4 - std::panicking::catch_unwind::do_call::hfe563e330be3fd9d [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 34: 0x57f673b099f4 - std::panicking::catch_unwind::hed40f568f7f44546 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 35: 0x57f673b099f4 - std::panic::catch_unwind::h3bb9c46c11d39dfb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 36: 0x57f673b099f4 - test::run_test_in_process::hd65f1a6e6622ae42 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:27 [INFO] [stdout] 37: 0x57f673b099f4 - test::run_test::{{closure}}::h9e896de936f245ea [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:592:43 [INFO] [stdout] 38: 0x57f673acb864 - test::run_test::{{closure}}::hbb18881f56552c10 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:622:41 [INFO] [stdout] 39: 0x57f673acb864 - std::sys::backtrace::__rust_begin_short_backtrace::hca2387d32733b689 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 40: 0x57f673acf9ae - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9601175bf02a7fb8 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 41: 0x57f673acf9ae - as core::ops::function::FnOnce<()>>::call_once::had8286ad0e1f2528 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 42: 0x57f673acf9ae - std::panicking::catch_unwind::do_call::he4164e9e75841fd6 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 43: 0x57f673acf9ae - std::panicking::catch_unwind::h48ccc52a84ae7300 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 44: 0x57f673acf9ae - std::panic::catch_unwind::h3d97eb787aa35ee4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 45: 0x57f673acf9ae - std::thread::Builder::spawn_unchecked_::{{closure}}::h1019329d11de31fb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 46: 0x57f673acf9ae - core::ops::function::FnOnce::call_once{{vtable.shim}}::h050615be551c6447 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 47: 0x57f673abbea7 - as core::ops::function::FnOnce>::call_once::h23e83c3768c28e74 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 48: 0x57f673abbea7 - as core::ops::function::FnOnce>::call_once::he67b41932d2c126e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 49: 0x57f673abbea7 - std::sys::pal::unix::thread::Thread::new::thread_start::hc05bf0eaa2386caa [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/pal/unix/thread.rs:97:17 [INFO] [stdout] 50: 0x78941946baa4 - [INFO] [stdout] 51: 0x7894194f8a34 - clone [INFO] [stdout] 52: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] setup::tests::test_keygen [INFO] [stdout] [INFO] [stdout] test result: FAILED. 10 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 15.85s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `-p ark-piop --lib` [INFO] running `Command { std: "docker" "inspect" "00a00c80d657d35a3b74239cd0f293e31943d351c9ffcc0f6a0ebb9a468ed476", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "00a00c80d657d35a3b74239cd0f293e31943d351c9ffcc0f6a0ebb9a468ed476", kill_on_drop: false }` [INFO] [stdout] 00a00c80d657d35a3b74239cd0f293e31943d351c9ffcc0f6a0ebb9a468ed476