[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 8006091eb71ae7d9e9bccb66c6122c9d68af4466 for pr-129249-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwu-s-john%2FPLONK" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/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-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/wu-s-john/PLONK on toolchain 8006091eb71ae7d9e9bccb66c6122c9d68af4466
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "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" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "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 v0.12.1
[INFO] [stderr]   Downloaded lalrpop-util v0.22.1
[INFO] [stderr]   Downloaded logos-derive v0.12.1
[INFO] [stderr]   Downloaded term v1.0.1
[INFO] [stderr]   Downloaded ark-ec v0.3.0
[INFO] [stderr]   Downloaded string_cache v0.8.8
[INFO] [stderr]   Downloaded ark-sponge v0.3.0
[INFO] [stderr]   Downloaded ark-relations v0.3.0
[INFO] [stderr]   Downloaded ark-nonnative-field v0.3.0
[INFO] [stderr]   Downloaded ark-r1cs-std v0.3.1
[INFO] [stderr]   Downloaded lalrpop v0.22.1
[INFO] [stderr]   Downloaded arkworks-utils v1.0.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048
[INFO] running `Command { std: "docker" "start" "495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048", 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" "495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048" "/opt/rustwide/cargo-home/bin/cargo" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048", 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" "495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048" "/opt/rustwide/cargo-home/bin/cargo" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling libc v0.2.170
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling rustversion v1.0.20
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[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 generic-array v0.14.7
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]    Compiling home v0.5.11
[INFO] [stderr]     Checking either v1.14.0
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]    Compiling term v1.0.1
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling keccak v0.1.5
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling quote v1.0.39
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling petgraph v0.7.1
[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 syn v2.0.99
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling string_cache v0.8.8
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling sha3 v0.10.8
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]     Checking lalrpop-util v0.22.1
[INFO] [stderr]    Compiling regex v1.11.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-macros v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling logos-derive v0.12.1
[INFO] [stderr]    Compiling lalrpop v0.22.1
[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 zeroize v1.8.1
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking logos v0.12.1
[INFO] [stderr]    Compiling pest v2.7.15
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking ahash v0.8.11
[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 ark-std v0.3.0
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking ark-serialize v0.3.0
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking ark-ff v0.4.2
[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]    Compiling plonk v0.1.0 (/opt/rustwide/workdir)
[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]     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)]` (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: 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: 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: `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: 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 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: 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 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: `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: `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: `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: `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: `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: `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(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: 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: 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: `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 50.59s
[INFO] running `Command { std: "docker" "inspect" "495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048", kill_on_drop: false }`
[INFO] [stdout] 495da559e09d9adc071f52deacc87b90881f7ee551e94bec4d088b6882e20048
