[INFO] cloning repository https://github.com/wu-s-john/PLONK [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/wu-s-john/PLONK" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwu-s-john%2FPLONK", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwu-s-john%2FPLONK'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] a053983b1b6126b32ddfe0005b9e203498fa5cdb [INFO] checking wu-s-john/PLONK against try#5de9e0e6cf775e94e0de2003f35e183f3f77bfe8 for pr-143808 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwu-s-john%2FPLONK" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/wu-s-john/PLONK [INFO] finished tweaking git repo https://github.com/wu-s-john/PLONK [INFO] tweaked toml for git repo https://github.com/wu-s-john/PLONK written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/wu-s-john/PLONK on toolchain 5de9e0e6cf775e94e0de2003f35e183f3f77bfe8 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5de9e0e6cf775e94e0de2003f35e183f3f77bfe8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/wu-s-john/PLONK 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" "+5de9e0e6cf775e94e0de2003f35e183f3f77bfe8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+5de9e0e6cf775e94e0de2003f35e183f3f77bfe8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4e51cd2b3323db22b7406f581516891c35478557f833fc312cde173387fe359f [INFO] running `Command { std: "docker" "start" "-a" "4e51cd2b3323db22b7406f581516891c35478557f833fc312cde173387fe359f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4e51cd2b3323db22b7406f581516891c35478557f833fc312cde173387fe359f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4e51cd2b3323db22b7406f581516891c35478557f833fc312cde173387fe359f", kill_on_drop: false }` [INFO] [stdout] 4e51cd2b3323db22b7406f581516891c35478557f833fc312cde173387fe359f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+5de9e0e6cf775e94e0de2003f35e183f3f77bfe8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8e149b5d6f829323dbc9b18dc3293beedf3418b8dcf8b08626e5c6758f04d42e [INFO] running `Command { std: "docker" "start" "-a" "8e149b5d6f829323dbc9b18dc3293beedf3418b8dcf8b08626e5c6758f04d42e", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.94 [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 typenum v1.18.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling libc v0.2.170 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Compiling ucd-trie v0.1.7 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking once_cell v1.20.3 [INFO] [stderr] Compiling quote v1.0.39 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling syn v2.0.99 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling rustversion v1.0.20 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling smallvec v1.14.0 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling home v0.5.11 [INFO] [stderr] Compiling siphasher v1.0.1 [INFO] [stderr] Checking pin-project-lite v0.2.16 [INFO] [stderr] Checking either v1.14.0 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling term v1.0.1 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling indexmap v2.7.1 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling fixedbitset v0.5.7 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling log v0.4.26 [INFO] [stderr] Compiling string_cache v0.8.8 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling ena v0.14.3 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling petgraph v0.7.1 [INFO] [stderr] Compiling sha3 v0.10.8 [INFO] [stderr] Compiling ascii-canvas v4.0.0 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling regex-syntax v0.6.29 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Compiling ark-ff-macros v0.3.0 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling ark-ff-asm v0.3.0 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling tracing-attributes v0.1.28 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Compiling pest v2.7.15 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling lalrpop-util v0.22.1 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling logos-derive v0.12.1 [INFO] [stderr] Compiling lalrpop v0.22.1 [INFO] [stderr] Checking ark-std v0.3.0 [INFO] [stderr] Checking ark-serialize v0.3.0 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Compiling semver-parser v0.10.3 [INFO] [stderr] Checking logos v0.12.1 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Compiling ark-ff v0.3.0 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-relations v0.3.0 [INFO] [stderr] Checking ark-ec v0.3.0 [INFO] [stderr] Checking arkworks-utils v1.0.1 [INFO] [stderr] Compiling plonk v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking ark-bn254 v0.4.0 [INFO] [stderr] Checking ark-r1cs-std v0.3.1 [INFO] [stderr] Checking ark-nonnative-field v0.3.0 [INFO] [stderr] Checking ark-sponge v0.3.0 [INFO] [stdout] warning: unused import: `univariate::DensePolynomial` [INFO] [stdout] --> src/execution_trace_polynomial.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Radix2EvaluationDomain [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_direct.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused attribute `allow` [INFO] [stdout] --> src/language_frontend/mod.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | #[allow(clippy::all)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `lalrpop_mod` [INFO] [stdout] --> src/language_frontend/mod.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | lalrpop_mod!(pub parser, "/language_frontend/parser.rs"); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::str::FromStr` [INFO] [stdout] --> /opt/rustwide/target/debug/build/plonk-07e55291c6a284f7/out/language_frontend/parser.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::str::FromStr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/kzg/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Zero` [INFO] [stdout] --> src/kzg/mod.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ff::{Field, Zero}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Polynomial` and `univariate::DensePolynomial` [INFO] [stdout] --> src/kzg/mod.rs:8:16 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_poly::{univariate::DensePolynomial, Polynomial, DenseUVPolynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `univariate::DensePolynomial` [INFO] [stdout] --> src/execution_trace_polynomial.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Radix2EvaluationDomain [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_direct.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused attribute `allow` [INFO] [stdout] --> src/language_frontend/mod.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | #[allow(clippy::all)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `lalrpop_mod` [INFO] [stdout] --> src/language_frontend/mod.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | lalrpop_mod!(pub parser, "/language_frontend/parser.rs"); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::str::FromStr` [INFO] [stdout] --> /opt/rustwide/target/debug/build/plonk-07e55291c6a284f7/out/language_frontend/parser.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::str::FromStr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/kzg/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Zero` [INFO] [stdout] --> src/kzg/mod.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ff::{Field, Zero}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Polynomial` and `univariate::DensePolynomial` [INFO] [stdout] --> src/kzg/mod.rs:8:16 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_poly::{univariate::DensePolynomial, Polynomial, DenseUVPolynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `row` [INFO] [stdout] --> src/execution_trace.rs:561:19 [INFO] [stdout] | [INFO] [stdout] 561 | for (row_idx, row) in gate_operations.iter().enumerate() { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_row` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `coset_domain` [INFO] [stdout] --> src/execution_trace_polynomial.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | coset_domain: &Radix2EvaluationDomain, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_coset_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain_size` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | let domain_size = domain.size(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain_size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/language_frontend/type_checker.rs:140:20 [INFO] [stdout] | [INFO] [stdout] 140 | Expr::Bool(b) => Ok((HashMap::new(), Type::Bool)), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `InlineEnv` is more private than the item `expr_to_plonk` [INFO] [stdout] --> src/ast_to_plonk.rs:246:1 [INFO] [stdout] | [INFO] [stdout] 246 | pub fn expr_to_plonk(expr: &Expr, _env: &InlineEnv) -> PlonkNode<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `expr_to_plonk` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `InlineEnv` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/ast_to_plonk.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | struct InlineEnv { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct BatchKZGVerifier [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_bounds)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but associated type `PairingOp::Output` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | type Output; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_eval_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:410:4 [INFO] [stdout] | [INFO] [stdout] 410 | fn map_eval_value_to_field(val: &EvalValue) -> F { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_plonk_node_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:424:4 [INFO] [stdout] | [INFO] [stdout] 424 | fn map_plonk_node_value_to_field( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> src/plonk_circuit.rs:696:4 [INFO] [stdout] | [INFO] [stdout] 696 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ExecutionTrace`, `build_execution_trace_extended_evaluation_form`, and `build_execution_trace_polynomial` [INFO] [stdout] --> src/polynomial_builder.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | ExecutionTrace, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 25 | build_execution_trace_polynomial, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 26 | build_execution_trace_extended_evaluation_form, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `build_permutation_constraint_polynomial_direct as build_permutation_constraint_polynomial_no_fft` [INFO] [stdout] --> src/polynomial_builder.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | build_permutation_constraint_polynomial_direct as build_permutation_constraint_polynomial_no_fft, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused attribute `allow` [INFO] [stdout] --> src/language_frontend/mod.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | #[allow(clippy::all)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `lalrpop_mod` [INFO] [stdout] --> src/language_frontend/mod.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | lalrpop_mod!(pub parser, "/language_frontend/parser.rs"); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::str::FromStr` [INFO] [stdout] --> /opt/rustwide/target/debug/build/plonk-07e55291c6a284f7/out/language_frontend/parser.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::str::FromStr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Expr` and `Value` [INFO] [stdout] --> src/language_frontend/mod.rs:14:15 [INFO] [stdout] | [INFO] [stdout] 14 | pub use ast::{Expr, Type, Value}; [INFO] [stdout] | ^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `evaluator::eval` [INFO] [stdout] --> src/language_frontend/mod.rs:15:9 [INFO] [stdout] | [INFO] [stdout] 15 | pub use evaluator::eval; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `type_checker::type_check` [INFO] [stdout] --> src/language_frontend/mod.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub use type_checker::type_check; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `univariate::DensePolynomial` [INFO] [stdout] --> src/execution_trace_polynomial.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Radix2EvaluationDomain [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_direct.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/kzg/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Zero` [INFO] [stdout] --> src/kzg/mod.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ff::{Field, Zero}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Polynomial` and `univariate::DensePolynomial` [INFO] [stdout] --> src/kzg/mod.rs:8:16 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_poly::{univariate::DensePolynomial, Polynomial, DenseUVPolynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ExecutionTrace`, `build_execution_trace_extended_evaluation_form`, and `build_execution_trace_polynomial` [INFO] [stdout] --> src/polynomial_builder.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | ExecutionTrace, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 25 | build_execution_trace_polynomial, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 26 | build_execution_trace_extended_evaluation_form, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `build_permutation_constraint_polynomial_direct as build_permutation_constraint_polynomial_no_fft` [INFO] [stdout] --> src/polynomial_builder.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | build_permutation_constraint_polynomial_direct as build_permutation_constraint_polynomial_no_fft, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused attribute `allow` [INFO] [stdout] --> src/language_frontend/mod.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | #[allow(clippy::all)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the built-in attribute `allow` will be ignored, since it's applied to the macro invocation `lalrpop_mod` [INFO] [stdout] --> src/language_frontend/mod.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | lalrpop_mod!(pub parser, "/language_frontend/parser.rs"); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(unused_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::str::FromStr` [INFO] [stdout] --> /opt/rustwide/target/debug/build/plonk-07e55291c6a284f7/out/language_frontend/parser.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::str::FromStr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Expr` [INFO] [stdout] --> src/language_frontend/mod.rs:14:15 [INFO] [stdout] | [INFO] [stdout] 14 | pub use ast::{Expr, Type, Value}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `univariate::DensePolynomial` [INFO] [stdout] --> src/execution_trace_polynomial.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Radix2EvaluationDomain [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_direct.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:2:24 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{FftField, Field}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> src/kzg/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Zero` [INFO] [stdout] --> src/kzg/mod.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ff::{Field, Zero}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Polynomial` and `univariate::DensePolynomial` [INFO] [stdout] --> src/kzg/mod.rs:8:16 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_poly::{univariate::DensePolynomial, Polynomial, DenseUVPolynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `row` [INFO] [stdout] --> src/execution_trace.rs:561:19 [INFO] [stdout] | [INFO] [stdout] 561 | for (row_idx, row) in gate_operations.iter().enumerate() { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_row` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `coset_domain` [INFO] [stdout] --> src/execution_trace_polynomial.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | coset_domain: &Radix2EvaluationDomain, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_coset_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain_size` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | let domain_size = domain.size(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain_size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `row` [INFO] [stdout] --> src/execution_trace.rs:561:19 [INFO] [stdout] | [INFO] [stdout] 561 | for (row_idx, row) in gate_operations.iter().enumerate() { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_row` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/language_frontend/type_checker.rs:140:20 [INFO] [stdout] | [INFO] [stdout] 140 | Expr::Bool(b) => Ok((HashMap::new(), Type::Bool)), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/language_frontend/type_checker.rs:140:20 [INFO] [stdout] | [INFO] [stdout] 140 | Expr::Bool(b) => Ok((HashMap::new(), Type::Bool)), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `typ` [INFO] [stdout] --> src/language_frontend/mod.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | let typ = type_check(&ast) [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_typ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ast` [INFO] [stdout] --> src/language_frontend/mod.rs:88:13 [INFO] [stdout] | [INFO] [stdout] 88 | let ast = parser::ExprParser::new() [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ast` [INFO] [stdout] --> src/language_frontend/mod.rs:105:13 [INFO] [stdout] | [INFO] [stdout] 105 | let ast = parser::ExprParser::new() [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ast` [INFO] [stdout] --> src/language_frontend/mod.rs:128:13 [INFO] [stdout] | [INFO] [stdout] 128 | let ast = parser::ExprParser::new() [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `InlineEnv` is more private than the item `expr_to_plonk` [INFO] [stdout] --> src/ast_to_plonk.rs:246:1 [INFO] [stdout] | [INFO] [stdout] 246 | pub fn expr_to_plonk(expr: &Expr, _env: &InlineEnv) -> PlonkNode<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `expr_to_plonk` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `InlineEnv` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/ast_to_plonk.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | struct InlineEnv { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct BatchKZGVerifier [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_bounds)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but associated type `PairingOp::Output` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | type Output; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_eval_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:410:4 [INFO] [stdout] | [INFO] [stdout] 410 | fn map_eval_value_to_field(val: &EvalValue) -> F { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_plonk_node_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:424:4 [INFO] [stdout] | [INFO] [stdout] 424 | fn map_plonk_node_value_to_field( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> src/plonk_circuit.rs:696:4 [INFO] [stdout] | [INFO] [stdout] 696 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `coset_domain` [INFO] [stdout] --> src/execution_trace_polynomial.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | coset_domain: &Radix2EvaluationDomain, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_coset_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain_size` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | let domain_size = domain.size(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain_size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `row` [INFO] [stdout] --> src/execution_trace.rs:561:19 [INFO] [stdout] | [INFO] [stdout] 561 | for (row_idx, row) in gate_operations.iter().enumerate() { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_row` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `InlineEnv` is more private than the item `expr_to_plonk` [INFO] [stdout] --> src/ast_to_plonk.rs:246:1 [INFO] [stdout] | [INFO] [stdout] 246 | pub fn expr_to_plonk(expr: &Expr, _env: &InlineEnv) -> PlonkNode<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `expr_to_plonk` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `InlineEnv` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/ast_to_plonk.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | struct InlineEnv { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct BatchKZGVerifier [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_bounds)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but associated type `PairingOp::Output` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | type Output; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `EvalValue` is never used [INFO] [stdout] --> src/plonk_circuit.rs:18:10 [INFO] [stdout] | [INFO] [stdout] 18 | pub enum EvalValue { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_eval_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:410:4 [INFO] [stdout] | [INFO] [stdout] 410 | fn map_eval_value_to_field(val: &EvalValue) -> F { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_plonk_node_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:424:4 [INFO] [stdout] | [INFO] [stdout] 424 | fn map_plonk_node_value_to_field( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_to_evaluated_plonk` is never used [INFO] [stdout] --> src/plonk_circuit.rs:517:8 [INFO] [stdout] | [INFO] [stdout] 517 | pub fn parse_to_evaluated_plonk(input: &str) -> EvaluatedPlonk { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> src/plonk_circuit.rs:696:4 [INFO] [stdout] | [INFO] [stdout] 696 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `int` is never used [INFO] [stdout] --> src/plonk_circuit.rs:531:12 [INFO] [stdout] | [INFO] [stdout] 531 | pub fn int(value: i64, node_id: usize) -> PlonkNode> { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bool` is never used [INFO] [stdout] --> src/plonk_circuit.rs:542:12 [INFO] [stdout] | [INFO] [stdout] 542 | pub fn bool(value: bool, node_id: usize) -> PlonkNode> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `add` is never used [INFO] [stdout] --> src/plonk_circuit.rs:554:12 [INFO] [stdout] | [INFO] [stdout] 554 | pub fn add( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sub` is never used [INFO] [stdout] --> src/plonk_circuit.rs:571:12 [INFO] [stdout] | [INFO] [stdout] 571 | pub fn sub( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `mult` is never used [INFO] [stdout] --> src/plonk_circuit.rs:588:12 [INFO] [stdout] | [INFO] [stdout] 588 | pub fn mult( [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `div` is never used [INFO] [stdout] --> src/plonk_circuit.rs:605:12 [INFO] [stdout] | [INFO] [stdout] 605 | pub fn div( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eq` is never used [INFO] [stdout] --> src/plonk_circuit.rs:622:12 [INFO] [stdout] | [INFO] [stdout] 622 | pub fn eq( [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `not` is never used [INFO] [stdout] --> src/plonk_circuit.rs:643:12 [INFO] [stdout] | [INFO] [stdout] 643 | pub fn not( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `var` is never used [INFO] [stdout] --> src/plonk_circuit.rs:662:12 [INFO] [stdout] | [INFO] [stdout] 662 | pub fn var( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `let_` is never used [INFO] [stdout] --> src/plonk_circuit.rs:677:12 [INFO] [stdout] | [INFO] [stdout] 677 | pub fn let_( [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/execution_trace.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct ExecutionTraceTable { [INFO] [stdout] | ------------------- fields in this struct [INFO] [stdout] 47 | pub input1: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 48 | pub input2: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 49 | pub input3: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 50 | pub output: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub permutation_input1: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 54 | pub permutation_input2: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 55 | pub permutation_input3: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 56 | pub permutation_output: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 61 | pub selectors: HashMap>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ExecutionTraceTable` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_to_execution_trace` is never used [INFO] [stdout] --> src/execution_trace.rs:769:8 [INFO] [stdout] | [INFO] [stdout] 769 | pub fn parse_to_execution_trace(input: &str) -> ExecutionTraceTable { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `expand_execution_trace_table` is never used [INFO] [stdout] --> src/execution_trace.rs:778:8 [INFO] [stdout] | [INFO] [stdout] 778 | pub fn expand_execution_trace_table(execution_trace_table: &ExecutionTraceTable, domain_size: usize) -> ExecutionTraceTable<... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_grand_product_evaluation_vector` is never used [INFO] [stdout] --> src/grand_product.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn build_grand_product_evaluation_vector( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluations_to_dense_polynomial` is never used [INFO] [stdout] --> src/polynomial_utils.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn evaluations_to_dense_polynomial( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_and_convert` is never used [INFO] [stdout] --> src/polynomial_utils.rs:47:8 [INFO] [stdout] | [INFO] [stdout] 47 | pub fn build_and_convert( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/language_frontend/type_checker.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | UnboundVariable(String), [INFO] [stdout] | --------------- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 7 - UnboundVariable(String), [INFO] [stdout] 7 + UnboundVariable(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `0` and `1` are never read [INFO] [stdout] --> src/language_frontend/type_checker.rs:9:21 [INFO] [stdout] | [INFO] [stdout] 9 | UnificationFail(Type, Type), [INFO] [stdout] | --------------- ^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 9 - UnificationFail(Type, Type), [INFO] [stdout] 9 + UnificationFail((), ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/language_frontend/evaluator.rs:6:21 [INFO] [stdout] | [INFO] [stdout] 6 | UnboundVariable(String), [INFO] [stdout] | --------------- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `EvalError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 6 - UnboundVariable(String), [INFO] [stdout] 6 + UnboundVariable(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/language_frontend/evaluator.rs:7:15 [INFO] [stdout] | [INFO] [stdout] 7 | TypeError(&'static str), [INFO] [stdout] | --------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `EvalError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 7 - TypeError(&'static str), [INFO] [stdout] 7 + TypeError(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_expr` is never used [INFO] [stdout] --> src/language_frontend/test_utils.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn parse_expr(input: &str) -> Box { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `position_to_id` is never used [INFO] [stdout] --> src/position_cell.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn position_to_id(pos: &PositionCell) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_execution_trace_polynomial` is never used [INFO] [stdout] --> src/execution_trace_polynomial.rs:32:8 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn build_execution_trace_polynomial, D: EvaluationDomain>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_execution_trace_extended_evaluation_form` is never used [INFO] [stdout] --> src/execution_trace_polynomial.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn build_execution_trace_extended_evaluation_form>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_permutation_constraint_polynomial_direct` is never used [INFO] [stdout] --> src/polynomial_constraints_direct.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn build_permutation_constraint_polynomial_direct( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/language_frontend/type_checker.rs:140:20 [INFO] [stdout] | [INFO] [stdout] 140 | Expr::Bool(b) => Ok((HashMap::new(), Type::Bool)), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `typ` [INFO] [stdout] --> src/language_frontend/mod.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | let typ = type_check(&ast) [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_typ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ast` [INFO] [stdout] --> src/language_frontend/mod.rs:88:13 [INFO] [stdout] | [INFO] [stdout] 88 | let ast = parser::ExprParser::new() [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ast` [INFO] [stdout] --> src/language_frontend/mod.rs:105:13 [INFO] [stdout] | [INFO] [stdout] 105 | let ast = parser::ExprParser::new() [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ast` [INFO] [stdout] --> src/language_frontend/mod.rs:128:13 [INFO] [stdout] | [INFO] [stdout] 128 | let ast = parser::ExprParser::new() [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `coset_domain` [INFO] [stdout] --> src/execution_trace_polynomial.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | coset_domain: &Radix2EvaluationDomain, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_coset_domain` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `domain_size` [INFO] [stdout] --> src/polynomial_constraints_fft.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | let domain_size = domain.size(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_domain_size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `InlineEnv` is more private than the item `expr_to_plonk` [INFO] [stdout] --> src/ast_to_plonk.rs:246:1 [INFO] [stdout] | [INFO] [stdout] 246 | pub fn expr_to_plonk(expr: &Expr, _env: &InlineEnv) -> PlonkNode<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `expr_to_plonk` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `InlineEnv` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/ast_to_plonk.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | struct InlineEnv { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct BatchKZGVerifier [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_bounds)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `PairingOp` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but trait `PairingOp` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | trait PairingOp { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier` [INFO] [stdout] --> src/kzg/verifier.rs:35:1 [INFO] [stdout] | [INFO] [stdout] 35 | / impl BatchKZGVerifier [INFO] [stdout] 36 | | where [INFO] [stdout] 37 | | F: Field, [INFO] [stdout] 38 | | P: Polynomial, [INFO] [stdout] ... | [INFO] [stdout] 43 | | E: PairingOp, [INFO] [stdout] 44 | | E::Output: Eq + One, [INFO] [stdout] | |________________________^ implementation `BatchKZGVerifier` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but associated type `PairingOp::Output` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/kzg/verifier.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | type Output; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `EvalValue` is never used [INFO] [stdout] --> src/plonk_circuit.rs:18:10 [INFO] [stdout] | [INFO] [stdout] 18 | pub enum EvalValue { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_eval_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:410:4 [INFO] [stdout] | [INFO] [stdout] 410 | fn map_eval_value_to_field(val: &EvalValue) -> F { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `map_plonk_node_value_to_field` is never used [INFO] [stdout] --> src/plonk_circuit.rs:424:4 [INFO] [stdout] | [INFO] [stdout] 424 | fn map_plonk_node_value_to_field( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `main` is never used [INFO] [stdout] --> src/plonk_circuit.rs:696:4 [INFO] [stdout] | [INFO] [stdout] 696 | fn main() { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bool` is never used [INFO] [stdout] --> src/plonk_circuit.rs:542:12 [INFO] [stdout] | [INFO] [stdout] 542 | pub fn bool(value: bool, node_id: usize) -> PlonkNode> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sub` is never used [INFO] [stdout] --> src/plonk_circuit.rs:571:12 [INFO] [stdout] | [INFO] [stdout] 571 | pub fn sub( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `div` is never used [INFO] [stdout] --> src/plonk_circuit.rs:605:12 [INFO] [stdout] | [INFO] [stdout] 605 | pub fn div( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eq` is never used [INFO] [stdout] --> src/plonk_circuit.rs:622:12 [INFO] [stdout] | [INFO] [stdout] 622 | pub fn eq( [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `not` is never used [INFO] [stdout] --> src/plonk_circuit.rs:643:12 [INFO] [stdout] | [INFO] [stdout] 643 | pub fn not( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluations_to_dense_polynomial` is never used [INFO] [stdout] --> src/polynomial_utils.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn evaluations_to_dense_polynomial( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_and_convert` is never used [INFO] [stdout] --> src/polynomial_utils.rs:47:8 [INFO] [stdout] | [INFO] [stdout] 47 | pub fn build_and_convert( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/language_frontend/type_checker.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | UnboundVariable(String), [INFO] [stdout] | --------------- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 7 - UnboundVariable(String), [INFO] [stdout] 7 + UnboundVariable(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `0` and `1` are never read [INFO] [stdout] --> src/language_frontend/type_checker.rs:9:21 [INFO] [stdout] | [INFO] [stdout] 9 | UnificationFail(Type, Type), [INFO] [stdout] | --------------- ^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `TypeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 9 - UnificationFail(Type, Type), [INFO] [stdout] 9 + UnificationFail((), ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/language_frontend/evaluator.rs:6:21 [INFO] [stdout] | [INFO] [stdout] 6 | UnboundVariable(String), [INFO] [stdout] | --------------- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `EvalError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 6 - UnboundVariable(String), [INFO] [stdout] 6 + UnboundVariable(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/language_frontend/evaluator.rs:7:15 [INFO] [stdout] | [INFO] [stdout] 7 | TypeError(&'static str), [INFO] [stdout] | --------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `EvalError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 7 - TypeError(&'static str), [INFO] [stdout] 7 + TypeError(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 15s [INFO] running `Command { std: "docker" "inspect" "8e149b5d6f829323dbc9b18dc3293beedf3418b8dcf8b08626e5c6758f04d42e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8e149b5d6f829323dbc9b18dc3293beedf3418b8dcf8b08626e5c6758f04d42e", kill_on_drop: false }` [INFO] [stdout] 8e149b5d6f829323dbc9b18dc3293beedf3418b8dcf8b08626e5c6758f04d42e