[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] 90103548e730283b7ba3bfa4a985013c4c2c570c [INFO] checking alireza-shirzad/ark-piop against master#a33907a7a5381473eec8bcfa0c56e05a856a911c for pr-151539 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falireza-shirzad%2Fark-piop" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/alireza-shirzad/ark-piop [INFO] removed 0 missing tests [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-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/alireza-shirzad/ark-piop on toolchain a33907a7a5381473eec8bcfa0c56e05a856a911c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "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" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/arkworks-rs/algebra` [INFO] [stderr] Updating git repository `https://github.com/arkworks-rs/std` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded tracing-tree v0.4.0 [INFO] [stderr] Downloaded tracing-chrome v0.7.2 [INFO] [stderr] Downloaded tracing-flame v0.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4c6bba48cc94fa7d60632fcfc8a94928a18793f6a69f5f8d3c95b5b95f7991e0 [INFO] running `Command { std: "docker" "start" "-a" "4c6bba48cc94fa7d60632fcfc8a94928a18793f6a69f5f8d3c95b5b95f7991e0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4c6bba48cc94fa7d60632fcfc8a94928a18793f6a69f5f8d3c95b5b95f7991e0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4c6bba48cc94fa7d60632fcfc8a94928a18793f6a69f5f8d3c95b5b95f7991e0", kill_on_drop: false }` [INFO] [stdout] 4c6bba48cc94fa7d60632fcfc8a94928a18793f6a69f5f8d3c95b5b95f7991e0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] df79f1d7d9901d5ba5ac623131f2e170feba665096664f1c82bdf0ce35eade0d [INFO] running `Command { std: "docker" "start" "-a" "df79f1d7d9901d5ba5ac623131f2e170feba665096664f1c82bdf0ce35eade0d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling unicode-ident v1.0.19 [INFO] [stderr] Compiling serde_core v1.0.226 [INFO] [stderr] Compiling serde v1.0.226 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking crossbeam-utils v0.8.21 [INFO] [stderr] Checking zerocopy v0.8.27 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking typenum v1.18.0 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking regex-syntax v0.8.6 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking tracing-core v0.1.34 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Checking log v0.4.28 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Checking memchr v2.7.5 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking rayon-core v1.13.0 [INFO] [stderr] Checking pin-project-lite v0.2.16 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking hashbrown v0.16.1 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking thread_local v1.1.9 [INFO] [stderr] Checking regex-automata v0.4.10 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Checking nu-ansi-term v0.50.1 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking ahash v0.8.12 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking ark-std v0.5.0 (https://github.com/arkworks-rs/std#1693bc56) [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking iana-time-zone v0.1.64 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking equivalent v1.0.2 [INFO] [stderr] Checking indexmap v2.11.4 [INFO] [stderr] Checking chrono v0.4.42 [INFO] [stderr] Checking serde_json v1.0.145 [INFO] [stderr] Checking matchers v0.2.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling serde_derive v1.0.226 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stderr] Compiling ark-ff-macros v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stderr] Compiling ark-ff-asm v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stderr] Compiling thiserror-impl v2.0.16 [INFO] [stderr] Checking ark-serialize v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking thiserror v2.0.16 [INFO] [stderr] Checking ark-ff v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stderr] Checking tracing-serde v0.2.0 [INFO] [stderr] Checking tracing-subscriber v0.3.20 [INFO] [stderr] Checking tracing-tree v0.4.0 [INFO] [stderr] Checking tracing-chrome v0.7.2 [INFO] [stderr] Checking tracing-flame v0.2.0 [INFO] [stderr] Checking ark-poly v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stderr] Checking ark-ec v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stderr] Checking ark-piop v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking ark-bn254 v0.5.0 (https://github.com/arkworks-rs/algebra#598a5fba) [INFO] [stdout] warning: unused imports: `build_eq_x_r` and `mle::MLE` [INFO] [stdout] --> src/pcs/pst13/srs.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | mle::MLE, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 5 | utils::{build_eq_x_r, eq_eval, eq_extension}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sync::Arc` [INFO] [stdout] --> src/pcs/pst13/srs.rs:20:36 [INFO] [stdout] | [INFO] [stdout] 20 | use std::{collections::LinkedList, sync::Arc}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `lde::LDE` and `mle::MLE` [INFO] [stdout] --> src/piop/mod.rs:8:28 [INFO] [stdout] | [INFO] [stdout] 8 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/piop/sum_check/prover.rs:184:35 [INFO] [stdout] | [INFO] [stdout] 184 | .filter(|&(i, _)| (i != j)) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 184 - .filter(|&(i, _)| (i != j)) [INFO] [stdout] 184 + .filter(|&(i, _)| i != j ) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::KeyedSumcheck` [INFO] [stdout] --> src/piop/keyed_sumcheck/honest_prover.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::KeyedSumcheck; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::One` [INFO] [stdout] --> src/piop/keyed_sumcheck/honest_prover.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_ff::One; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::Zero` [INFO] [stdout] --> src/piop/keyed_sumcheck/honest_prover.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ff::Zero; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Oracle`, `lde::LDE`, and `mle::MLE` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:4:28 [INFO] [stdout] | [INFO] [stdout] 4 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 11 | structs::oracle::{Oracle, TrackedOracle}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::One` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use ark_ff::One; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::vec` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use rayon::vec; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `prover::tracker::SnarkError::ProverError` [INFO] [stdout] --> src/prover/tracker.rs:10:52 [INFO] [stdout] | [INFO] [stdout] 10 | arithmetic::mat_poly::utils::evaluate_with_eq, prover::tracker::SnarkError::ProverError, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `errors::HonestProverError::FalseClaim` and `errors::ProverError::HonestProverError` [INFO] [stdout] --> src/prover/tracker.rs:33:14 [INFO] [stdout] | [INFO] [stdout] 33 | prover::{errors::HonestProverError::FalseClaim, structs::TrackerEvalClaim}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 34 | prover::{errors::ProverError::HonestProverError, structs::polynomial::TrackedPoly}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> src/prover/tracker.rs:41:15 [INFO] [stdout] | [INFO] [stdout] 41 | use ark_std::{cfg_iter, cfg_iter_mut}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lde::LDE` [INFO] [stdout] --> src/setup/mod.rs:8:28 [INFO] [stdout] | [INFO] [stdout] 8 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/setup/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `lde::LDE` and `mle::MLE` [INFO] [stdout] --> src/verifier/structs/state.rs:3:28 [INFO] [stdout] | [INFO] [stdout] 3 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `lde::LDE` and `mle::MLE` [INFO] [stdout] --> src/verifier/structs/mod.rs:6:28 [INFO] [stdout] | [INFO] [stdout] 6 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/verifier/structs/mod.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `borrow::BorrowMut` [INFO] [stdout] --> src/verifier/tracker.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | use std::{borrow::BorrowMut, cell::RefCell, collections::BTreeMap, mem::take, rc::{Rc, Weak}}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/verifier/tracker.rs:910:12 [INFO] [stdout] | [INFO] [stdout] 910 | if (num_claims == 0) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 910 - if (num_claims == 0) { [INFO] [stdout] 910 + if num_claims == 0 { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/verifier/tracker.rs:995:12 [INFO] [stdout] | [INFO] [stdout] 995 | if (self.state.mv_pcs_substate.zero_check_claims.is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 995 - if (self.state.mv_pcs_substate.zero_check_claims.is_empty()) { [INFO] [stdout] 995 + if self.state.mv_pcs_substate.zero_check_claims.is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/verifier/tracker.rs:1073:12 [INFO] [stdout] | [INFO] [stdout] 1073 | if (self.state.mv_pcs_substate.sum_check_claims.is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 1073 - if (self.state.mv_pcs_substate.sum_check_claims.is_empty()) { [INFO] [stdout] 1073 + if self.state.mv_pcs_substate.sum_check_claims.is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `build_eq_x_r` and `mle::MLE` [INFO] [stdout] --> src/pcs/pst13/srs.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | mle::MLE, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 5 | utils::{build_eq_x_r, eq_eval, eq_extension}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sync::Arc` [INFO] [stdout] --> src/pcs/pst13/srs.rs:20:36 [INFO] [stdout] | [INFO] [stdout] 20 | use std::{collections::LinkedList, sync::Arc}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `lde::LDE` and `mle::MLE` [INFO] [stdout] --> src/piop/mod.rs:8:28 [INFO] [stdout] | [INFO] [stdout] 8 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/piop/sum_check/prover.rs:184:35 [INFO] [stdout] | [INFO] [stdout] 184 | .filter(|&(i, _)| (i != j)) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 184 - .filter(|&(i, _)| (i != j)) [INFO] [stdout] 184 + .filter(|&(i, _)| i != j ) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::KeyedSumcheck` [INFO] [stdout] --> src/piop/keyed_sumcheck/honest_prover.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::KeyedSumcheck; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::One` [INFO] [stdout] --> src/piop/keyed_sumcheck/honest_prover.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_ff::One; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::Zero` [INFO] [stdout] --> src/piop/keyed_sumcheck/honest_prover.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ff::Zero; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Oracle`, `lde::LDE`, and `mle::MLE` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:4:28 [INFO] [stdout] | [INFO] [stdout] 4 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 11 | structs::oracle::{Oracle, TrackedOracle}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::One` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use ark_ff::One; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::vec` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use rayon::vec; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `prover::tracker::SnarkError::ProverError` [INFO] [stdout] --> src/prover/tracker.rs:10:52 [INFO] [stdout] | [INFO] [stdout] 10 | arithmetic::mat_poly::utils::evaluate_with_eq, prover::tracker::SnarkError::ProverError, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `errors::HonestProverError::FalseClaim` and `errors::ProverError::HonestProverError` [INFO] [stdout] --> src/prover/tracker.rs:33:14 [INFO] [stdout] | [INFO] [stdout] 33 | prover::{errors::HonestProverError::FalseClaim, structs::TrackerEvalClaim}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 34 | prover::{errors::ProverError::HonestProverError, structs::polynomial::TrackedPoly}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cfg_iter` [INFO] [stdout] --> src/prover/tracker.rs:41:15 [INFO] [stdout] | [INFO] [stdout] 41 | use ark_std::{cfg_iter, cfg_iter_mut}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lde::LDE` [INFO] [stdout] --> src/setup/mod.rs:8:28 [INFO] [stdout] | [INFO] [stdout] 8 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/setup/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `kzg10::KZG10` and `pst13::PST13` [INFO] [stdout] --> src/setup/mod.rs:149:15 [INFO] [stdout] | [INFO] [stdout] 149 | pcs::{kzg10::KZG10, pst13::PST13}, [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `lde::LDE` and `mle::MLE` [INFO] [stdout] --> src/verifier/structs/state.rs:3:28 [INFO] [stdout] | [INFO] [stdout] 3 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `lde::LDE` and `mle::MLE` [INFO] [stdout] --> src/verifier/structs/mod.rs:6:28 [INFO] [stdout] | [INFO] [stdout] 6 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/verifier/structs/mod.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `borrow::BorrowMut` [INFO] [stdout] --> src/verifier/tracker.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | use std::{borrow::BorrowMut, cell::RefCell, collections::BTreeMap, mem::take, rc::{Rc, Weak}}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/verifier/tracker.rs:910:12 [INFO] [stdout] | [INFO] [stdout] 910 | if (num_claims == 0) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 910 - if (num_claims == 0) { [INFO] [stdout] 910 + if num_claims == 0 { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/verifier/tracker.rs:995:12 [INFO] [stdout] | [INFO] [stdout] 995 | if (self.state.mv_pcs_substate.zero_check_claims.is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 995 - if (self.state.mv_pcs_substate.zero_check_claims.is_empty()) { [INFO] [stdout] 995 + if self.state.mv_pcs_substate.zero_check_claims.is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/verifier/tracker.rs:1073:12 [INFO] [stdout] | [INFO] [stdout] 1073 | if (self.state.mv_pcs_substate.sum_check_claims.is_empty()) { [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 1073 - if (self.state.mv_pcs_substate.sum_check_claims.is_empty()) { [INFO] [stdout] 1073 + if self.state.mv_pcs_substate.sum_check_claims.is_empty() { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `lde::LDE` and `mle::MLE` [INFO] [stdout] --> src/test_utils.rs:3:28 [INFO] [stdout] | [INFO] [stdout] 3 | arithmetic::mat_poly::{lde::LDE, mle::MLE}, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Field` and `PrimeField` [INFO] [stdout] --> src/test_utils.rs:10:14 [INFO] [stdout] | [INFO] [stdout] 10 | use ark_ff::{Field, PrimeField}; [INFO] [stdout] | ^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> 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: `ark_ff::Zero` [INFO] [stdout] --> src/piop/lookup_check/utils.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use ark_ff::Zero; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `pcs::PCS` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | pcs::PCS, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/piop/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `pcs::PCS` [INFO] [stdout] --> src/piop/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | pcs::PCS, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Zero` [INFO] [stdout] --> src/verifier/structs/oracle.rs:6:20 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_std::{One, Zero}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `MultilinearExtension` [INFO] [stdout] --> 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: `pcs::PCS` [INFO] [stdout] --> src/test_utils.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | pcs::PCS, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::Zero` [INFO] [stdout] --> src/piop/lookup_check/utils.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use ark_ff::Zero; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `pcs::PCS` [INFO] [stdout] --> src/piop/lookup_check/mod.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | pcs::PCS, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/piop/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `pcs::PCS` [INFO] [stdout] --> src/piop/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | pcs::PCS, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Zero` [INFO] [stdout] --> src/verifier/structs/oracle.rs:6:20 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_std::{One, Zero}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VirtualPoly<::F>` is more private than the item `ArgProver::::virt_poly` [INFO] [stdout] --> src/prover/mod.rs:264:5 [INFO] [stdout] | [INFO] [stdout] 264 | pub fn virt_poly(&self, id: TrackerID) -> VirtualPoly { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `ArgProver::::virt_poly` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualPoly<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/arithmetic/virt_poly/mod.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) struct VirtualPoly(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VirtualPoly<::F>` is more private than the item `ProverState::virtual_polys` [INFO] [stdout] --> src/prover/structs/mod.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 69 | pub virtual_polys: BTreeMap>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `ProverState::virtual_polys` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualPoly<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/arithmetic/virt_poly/mod.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) struct VirtualPoly(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VirtualPoly<::F>` is more private than the item `ProverTracker::::virt_poly` [INFO] [stdout] --> src/prover/tracker.rs:303:5 [INFO] [stdout] | [INFO] [stdout] 303 | pub fn virt_poly(&self, id: TrackerID) -> Option<&VirtualPoly> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `ProverTracker::::virt_poly` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualPoly<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/arithmetic/virt_poly/mod.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) struct VirtualPoly(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VirtualOracle<::F>` is more private than the item `VerifierState::virtual_oracles` [INFO] [stdout] --> src/verifier/structs/state.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | pub virtual_oracles: IndexMap>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `VerifierState::virtual_oracles` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualOracle<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/verifier/structs/oracle.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VirtualOracle(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `OracleKind` is more private than the item `VerifierState::oracle_kinds` [INFO] [stdout] --> src/verifier/structs/state.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | pub oracle_kinds: IndexMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `VerifierState::oracle_kinds` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `OracleKind` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/verifier/structs/oracle.rs:45:1 [INFO] [stdout] | [INFO] [stdout] 45 | pub(crate) enum OracleKind { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `evaluate`, `print_evals`, and `materialize` are never used [INFO] [stdout] --> 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] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bit_decompose` is never used [INFO] [stdout] --> 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: variant `HonestProver` is never constructed [INFO] [stdout] --> src/pcs/errors.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 4 | pub(crate) enum PCSError { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 12 | HonestProver(usize), [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: type `VirtualPoly<::F>` is more private than the item `ArgProver::::virt_poly` [INFO] [stdout] --> src/prover/mod.rs:264:5 [INFO] [stdout] | [INFO] [stdout] 264 | pub fn virt_poly(&self, id: TrackerID) -> VirtualPoly { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `ArgProver::::virt_poly` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualPoly<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/arithmetic/virt_poly/mod.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) struct VirtualPoly(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VirtualPoly<::F>` is more private than the item `ProverState::virtual_polys` [INFO] [stdout] --> src/prover/structs/mod.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 69 | pub virtual_polys: BTreeMap>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `ProverState::virtual_polys` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualPoly<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/arithmetic/virt_poly/mod.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) struct VirtualPoly(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VirtualPoly<::F>` is more private than the item `ProverTracker::::virt_poly` [INFO] [stdout] --> src/prover/tracker.rs:303:5 [INFO] [stdout] | [INFO] [stdout] 303 | pub fn virt_poly(&self, id: TrackerID) -> Option<&VirtualPoly> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `ProverTracker::::virt_poly` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualPoly<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/arithmetic/virt_poly/mod.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) struct VirtualPoly(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `VirtualOracle<::F>` is more private than the item `VerifierState::virtual_oracles` [INFO] [stdout] --> src/verifier/structs/state.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | pub virtual_oracles: IndexMap>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `VerifierState::virtual_oracles` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `VirtualOracle<::F>` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/verifier/structs/oracle.rs:55:1 [INFO] [stdout] | [INFO] [stdout] 55 | pub(crate) struct VirtualOracle(Vec<(F, Vec)>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `OracleKind` is more private than the item `VerifierState::oracle_kinds` [INFO] [stdout] --> src/verifier/structs/state.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | pub oracle_kinds: IndexMap, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `VerifierState::oracle_kinds` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `OracleKind` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/verifier/structs/oracle.rs:45:1 [INFO] [stdout] | [INFO] [stdout] 45 | pub(crate) enum OracleKind { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `evaluate`, `print_evals`, and `materialize` are never used [INFO] [stdout] --> 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] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bit_decompose` is never used [INFO] [stdout] --> 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: variant `HonestProver` is never constructed [INFO] [stdout] --> src/pcs/errors.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 4 | pub(crate) enum PCSError { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 12 | HonestProver(usize), [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: function `random_mle_list` is never used [INFO] [stdout] --> src/piop/sum_check/tests.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn random_mle_list( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_logs_dir` is never used [INFO] [stdout] --> src/test_utils.rs:32:4 [INFO] [stdout] | [INFO] [stdout] 32 | fn compute_logs_dir() -> std::path::PathBuf { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_json_log_path` is never used [INFO] [stdout] --> src/test_utils.rs:73:4 [INFO] [stdout] | [INFO] [stdout] 73 | fn compute_json_log_path(level_suffix: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_chrome_trace_path` is never used [INFO] [stdout] --> src/test_utils.rs:89:4 [INFO] [stdout] | [INFO] [stdout] 89 | fn compute_chrome_trace_path(level_suffix: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_flame_path` is never used [INFO] [stdout] --> src/test_utils.rs:103:4 [INFO] [stdout] | [INFO] [stdout] 103 | fn compute_flame_path(level_suffix: &str) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 42.47s [INFO] running `Command { std: "docker" "inspect" "df79f1d7d9901d5ba5ac623131f2e170feba665096664f1c82bdf0ce35eade0d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "df79f1d7d9901d5ba5ac623131f2e170feba665096664f1c82bdf0ce35eade0d", kill_on_drop: false }` [INFO] [stdout] df79f1d7d9901d5ba5ac623131f2e170feba665096664f1c82bdf0ce35eade0d