[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 a7c37f9f0ee5e93396106e9de20f4a86b4154e63 for pr-129249-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwu-s-john%2FPLONK" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/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-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/wu-s-john/PLONK on toolchain a7c37f9f0ee5e93396106e9de20f4a86b4154e63
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "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" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded logos-derive v0.12.1
[INFO] [stderr]   Downloaded quote v1.0.39
[INFO] [stderr]   Downloaded logos v0.12.1
[INFO] [stderr]   Downloaded ascii-canvas v4.0.0
[INFO] [stderr]   Downloaded string_cache v0.8.8
[INFO] [stderr]   Downloaded ark-ec v0.3.0
[INFO] [stderr]   Downloaded ark-sponge v0.3.0
[INFO] [stderr]   Downloaded ark-nonnative-field v0.3.0
[INFO] [stderr]   Downloaded lalrpop-util v0.22.1
[INFO] [stderr]   Downloaded either v1.14.0
[INFO] [stderr]   Downloaded term v1.0.1
[INFO] [stderr]   Downloaded ark-relations v0.3.0
[INFO] [stderr]   Downloaded ark-r1cs-std v0.3.1
[INFO] [stderr]   Downloaded syn v2.0.99
[INFO] [stderr]   Downloaded arkworks-utils v1.0.1
[INFO] [stderr]   Downloaded lalrpop v0.22.1
[INFO] [stderr]   Downloaded libc v0.2.170
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:c0af3998e971868164375a7dfb646c9933ddd1a3bdb00fa2041266763dc1eeab" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0
[INFO] running `Command { std: "docker" "start" "44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0" "/opt/rustwide/cargo-home/bin/cargo" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0" "/opt/rustwide/cargo-home/bin/cargo" "+a7c37f9f0ee5e93396106e9de20f4a86b4154e63" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]    Compiling typenum v1.18.0
[INFO] [stderr]    Compiling libc v0.2.170
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]     Checking once_cell v1.20.3
[INFO] [stderr]    Compiling rustversion v1.0.20
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling smallvec v1.14.0
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling home v0.5.11
[INFO] [stderr]    Compiling siphasher v1.0.1
[INFO] [stderr]     Checking either v1.14.0
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]    Compiling term v1.0.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling log v0.4.26
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling keccak v0.1.5
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling quote v1.0.39
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling indexmap v2.7.1
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling syn v2.0.99
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]    Compiling string_cache v0.8.8
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling sha3 v0.10.8
[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 tracing-attributes v0.1.28
[INFO] [stderr]     Checking lalrpop-util v0.22.1
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]    Compiling pest v2.7.15
[INFO] [stderr]    Compiling lalrpop v0.22.1
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-macros v0.3.0
[INFO] [stderr]    Compiling ark-ff-asm v0.3.0
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling logos-derive v0.12.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[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 semver-parser v0.10.3
[INFO] [stderr]     Checking logos v0.12.1
[INFO] [stderr]     Checking ark-std v0.3.0
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking ark-serialize v0.3.0
[INFO] [stderr]    Compiling semver v0.11.0
[INFO] [stderr]     Checking ark-ff v0.4.2
[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-ec v0.3.0
[INFO] [stderr]     Checking ark-relations 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-r1cs-std v0.3.1
[INFO] [stderr]     Checking ark-bn254 v0.4.0
[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)]` (part of `#[warn(unused)]`) 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: the `allow` attribute cannot be used on macro calls
[INFO] [stdout]   --> src/language_frontend/mod.rs:10:3
[INFO] [stdout]    |
[INFO] [stdout] 10 | #[allow(clippy::all)]
[INFO] [stdout]    |   ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: the `allow` attribute can be applied to associated consts, associated types, break expressions, const parameters, constants, crates, data types, enum variants, extern crates, for loops, foreign modules, foreign statics, function params, functions, global asms, impl blocks, lifetime parameters, loops, macro defs, match arms, modules, pattern fields, statics, struct fields, trait aliases, traits, type aliases, type parameters, use statements, and while loops
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: placing this attribute on a macro invocation does nothing even if the macro expands to what would be a valid target for the attribute
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str::FromStr`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/plonk/b9ed447044181d37/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)]` (part of `#[warn(unused)]`) 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: the `allow` attribute cannot be used on macro calls
[INFO] [stdout]   --> src/language_frontend/mod.rs:10:3
[INFO] [stdout]    |
[INFO] [stdout] 10 | #[allow(clippy::all)]
[INFO] [stdout]    |   ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: the `allow` attribute can be applied to associated consts, associated types, break expressions, const parameters, constants, crates, data types, enum variants, extern crates, for loops, foreign modules, foreign statics, function params, functions, global asms, impl blocks, lifetime parameters, loops, macro defs, match arms, modules, pattern fields, statics, struct fields, trait aliases, traits, type aliases, type parameters, use statements, and while loops
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: placing this attribute on a macro invocation does nothing even if the macro expands to what would be a valid target for the attribute
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str::FromStr`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/plonk/b9ed447044181d37/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)]` (part of `#[warn(unused)]`) 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<F>,
[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<G1, G2>` is more private than the item `BatchKZGVerifier`
[INFO] [stdout]   --> src/kzg/verifier.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub struct BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PairingOp<G1, G2>` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` 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<F: Field>(val: &EvalValue) -> F {
[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 `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<F: 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: `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)]` (part of `#[warn(unused)]`) on by default
[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)]` (part of `#[warn(unused)]`) 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: the `allow` attribute cannot be used on macro calls
[INFO] [stdout]   --> src/language_frontend/mod.rs:10:3
[INFO] [stdout]    |
[INFO] [stdout] 10 | #[allow(clippy::all)]
[INFO] [stdout]    |   ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: the `allow` attribute can be applied to associated consts, associated types, break expressions, const parameters, constants, crates, data types, enum variants, extern crates, for loops, foreign modules, foreign statics, function params, functions, global asms, impl blocks, lifetime parameters, loops, macro defs, match arms, modules, pattern fields, statics, struct fields, trait aliases, traits, type aliases, type parameters, use statements, and while loops
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: placing this attribute on a macro invocation does nothing even if the macro expands to what would be a valid target for the attribute
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str::FromStr`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/plonk/b9ed447044181d37/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 variable: `coset_domain`
[INFO] [stdout]    --> src/execution_trace_polynomial.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     coset_domain: &Radix2EvaluationDomain<F>,
[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 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)]` (part of `#[warn(unused)]`) 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: the `allow` attribute cannot be used on macro calls
[INFO] [stdout]   --> src/language_frontend/mod.rs:10:3
[INFO] [stdout]    |
[INFO] [stdout] 10 | #[allow(clippy::all)]
[INFO] [stdout]    |   ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: the `allow` attribute can be applied to associated consts, associated types, break expressions, const parameters, constants, crates, data types, enum variants, extern crates, for loops, foreign modules, foreign statics, function params, functions, global asms, impl blocks, lifetime parameters, loops, macro defs, match arms, modules, pattern fields, statics, struct fields, trait aliases, traits, type aliases, type parameters, use statements, and while loops
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: placing this attribute on a macro invocation does nothing even if the macro expands to what would be a valid target for the attribute
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::str::FromStr`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/plonk/b9ed447044181d37/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: `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<G1, G2>` is more private than the item `BatchKZGVerifier`
[INFO] [stdout]   --> src/kzg/verifier.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub struct BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PairingOp<G1, G2>` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` 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<F: Field>(val: &EvalValue) -> F {
[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 `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<F: 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: `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)]` (part of `#[warn(unused)]`) 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: `coset_domain`
[INFO] [stdout]    --> src/execution_trace_polynomial.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     coset_domain: &Radix2EvaluationDomain<F>,
[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<G1, G2>` is more private than the item `BatchKZGVerifier`
[INFO] [stdout]   --> src/kzg/verifier.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub struct BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PairingOp<G1, G2>` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` 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)]` (part of `#[warn(unused)]`) 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<F: 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<F: 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<F: Field>(input: &str) -> EvaluatedPlonk<F> {
[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<F: Field>(value: i64, node_id: usize) -> PlonkNode<NodeMeta<F>> {
[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<F: Field>(value: bool, node_id: usize) -> PlonkNode<NodeMeta<F>> {
[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<F: Field>(
[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<F: Field>(
[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<F: Field>(
[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<F: Field>(
[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<F: Field>(
[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<F: Field>(
[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<F: Field>(
[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_<F: Field>(
[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<F> {
[INFO] [stdout]    |            ------------------- fields in this struct
[INFO] [stdout] 47 |     pub input1: Vec<F>,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout] 48 |     pub input2: Vec<F>,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout] 49 |     pub input3: Vec<F>,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout] 50 |     pub output: Vec<F>,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub permutation_input1: Vec<F>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 54 |     pub permutation_input2: Vec<F>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 55 |     pub permutation_input3: Vec<F>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 56 |     pub permutation_output: Vec<F>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 61 |     pub selectors: HashMap<PlonkNodeKind, Vec<F>>,
[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<F: Field>(input: &str) -> ExecutionTraceTable<F> {
[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<F: Field>(execution_trace_table: &ExecutionTraceTable<F>, domain_size: usize) -> ExecutionTrace...
[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<F: Field>(
[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<F: FftField>(
[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<F, Builder>(
[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<crate::language_frontend::ast::Expr> {
[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<F: FftField, P: DenseUVPolynomial<F>, D: EvaluationDomain<F>>(
[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<F: FftField, P: DenseUVPolynomial<F>>(
[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)]` (part of `#[warn(unused)]`) 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: `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<F>,
[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<G1, G2>` is more private than the item `BatchKZGVerifier`
[INFO] [stdout]   --> src/kzg/verifier.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub struct BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ struct `BatchKZGVerifier` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_bounds)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PairingOp<G1, G2>` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but trait `PairingOp<G1, G2>` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/kzg/verifier.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | trait PairingOp<G1, G2> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated type `PairingOp::Output` is more private than the item `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>`
[INFO] [stdout]   --> src/kzg/verifier.rs:35:1
[INFO] [stdout]    |
[INFO] [stdout] 35 | / impl<F, P, G1Proj, G2Proj, G1, G2, E> BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>
[INFO] [stdout] 36 | | where
[INFO] [stdout] 37 | |     F: Field,
[INFO] [stdout] 38 | |     P: Polynomial<F>,
[INFO] [stdout] ...  |
[INFO] [stdout] 43 | |     E: PairingOp<G1, G2>,
[INFO] [stdout] 44 | |     E::Output: Eq + One,
[INFO] [stdout]    | |________________________^ implementation `BatchKZGVerifier<F, P, G1Proj, G2Proj, G1, G2, E>` 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)]` (part of `#[warn(unused)]`) 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<F: 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<F: 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<F: Field>(value: bool, node_id: usize) -> PlonkNode<NodeMeta<F>> {
[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<F: Field>(
[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<F: Field>(
[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<F: Field>(
[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<F: Field>(
[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<F: FftField>(
[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<F, Builder>(
[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] warning: unused dependency `ark-sponge`
[INFO] [stderr]   --> Cargo.toml:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | ark-sponge = "0.3.0"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `ark-sponge`
[INFO] [stderr] warning: unused dependency `arkworks-utils`
[INFO] [stderr]   --> Cargo.toml:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | arkworks-utils = "1.0.1"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `arkworks-utils`
[INFO] [stderr] warning: `plonk` (manifest) generated 2 warnings
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 02s
[INFO] running `Command { std: "docker" "inspect" "44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0", kill_on_drop: false }`
[INFO] [stdout] 44883beed3105ed1627a201313e703699ca1912da06a555a904fd8f273d85fc0
