[INFO] cloning repository https://github.com/duguorong009/personal-plonk-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/duguorong009/personal-plonk-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fpersonal-plonk-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fpersonal-plonk-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 6644eb5511a00731f7318e99fab8907c12015633
[INFO] checking duguorong009/personal-plonk-rs against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fpersonal-plonk-rs" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/duguorong009/personal-plonk-rs
[INFO] finished tweaking git repo https://github.com/duguorong009/personal-plonk-rs
[INFO] tweaked toml for git repo https://github.com/duguorong009/personal-plonk-rs written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/duguorong009/personal-plonk-rs on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/duguorong009/personal-plonk-rs 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded either v1.8.1
[INFO] [stderr]   Downloaded quote v1.0.26
[INFO] [stderr]   Downloaded proc-macro2 v1.0.53
[INFO] [stderr]   Downloaded zeroize_derive v1.3.3
[INFO] [stderr]   Downloaded digest v0.10.6
[INFO] [stderr]   Downloaded ark-ed-on-bn254 v0.4.0
[INFO] [stderr]   Downloaded typenum v1.16.0
[INFO] [stderr]   Downloaded once_cell v1.17.1
[INFO] [stderr]   Downloaded unicode-ident v1.0.8
[INFO] [stderr]   Downloaded ahash v0.8.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 811f0f95d0c84fa8b1a2ac8f05286a3910044644f53819c14edeb4c8f57e5372
[INFO] running `Command { std: "docker" "start" "-a" "811f0f95d0c84fa8b1a2ac8f05286a3910044644f53819c14edeb4c8f57e5372", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "811f0f95d0c84fa8b1a2ac8f05286a3910044644f53819c14edeb4c8f57e5372", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "811f0f95d0c84fa8b1a2ac8f05286a3910044644f53819c14edeb4c8f57e5372", kill_on_drop: false }`
[INFO] [stdout] 811f0f95d0c84fa8b1a2ac8f05286a3910044644f53819c14edeb4c8f57e5372
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cb96849cf3b63d04b227cd5ea123492aca39952b0d9de92f26c932eb1444e663
[INFO] running `Command { std: "docker" "start" "-a" "cb96849cf3b63d04b227cd5ea123492aca39952b0d9de92f26c932eb1444e663", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.53
[INFO] [stderr]    Compiling quote v1.0.26
[INFO] [stderr]    Compiling unicode-ident v1.0.8
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling typenum v1.16.0
[INFO] [stderr]     Checking ppv-lite86 v0.2.17
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling paste v1.0.12
[INFO] [stderr]     Checking either v1.8.1
[INFO] [stderr]     Checking once_cell v1.17.1
[INFO] [stderr]    Compiling generic-array v0.14.6
[INFO] [stderr]    Compiling ahash v0.8.3
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.10.6
[INFO] [stderr]    Compiling synstructure v0.12.6
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling zeroize_derive v1.3.3
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking zeroize v1.5.7
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-bn254 v0.4.0
[INFO] [stderr]     Checking ark-ed-on-bn254 v0.4.0
[INFO] [stderr]     Checking personal-plonk-rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `ark_ec::CurveGroup`
[INFO] [stdout]  --> src/main.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_ec::CurveGroup;
[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: `itertools::izip`
[INFO] [stdout]  --> src/main.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use itertools::izip;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ec::CurveGroup`
[INFO] [stdout]  --> src/main.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_ec::CurveGroup;
[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: `itertools::izip`
[INFO] [stdout]  --> src/main.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use itertools::izip;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]  --> src/plonk/fft.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     p: F,
[INFO] [stdout]   |     ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `copy_constraints`
[INFO] [stdout]    --> src/main.rs:327:64
[INFO] [stdout]     |
[INFO] [stdout] 327 |     let (witness_x_a_perm, witness_x_b_perm, witness_x_c_perm, copy_constraints) =
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_copy_constraints`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eval_domain`
[INFO] [stdout]    --> src/main.rs:383:9
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let eval_domain: Vec<F> = (0..3 * a.len()).map(|i| F::from(i as i128)).collect();
[INFO] [stdout]     |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_eval_domain`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]  --> src/plonk/fft.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     p: F,
[INFO] [stdout]   |     ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/main.rs:385:10
[INFO] [stdout]     |
[INFO] [stdout] 385 |     let (x, y, px_a, rlc) = copy_constraint_simple(
[INFO] [stdout]     |          ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> src/main.rs:385:13
[INFO] [stdout]     |
[INFO] [stdout] 385 |     let (x, y, px_a, rlc) = copy_constraint_simple(
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc`
[INFO] [stdout]    --> src/main.rs:385:22
[INFO] [stdout]     |
[INFO] [stdout] 385 |     let (x, y, px_a, rlc) = copy_constraint_simple(
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_rlc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/main.rs:393:10
[INFO] [stdout]     |
[INFO] [stdout] 393 |     let (x, y, px_b, rlc) = copy_constraint_simple(
[INFO] [stdout]     |          ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> src/main.rs:393:13
[INFO] [stdout]     |
[INFO] [stdout] 393 |     let (x, y, px_b, rlc) = copy_constraint_simple(
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc`
[INFO] [stdout]    --> src/main.rs:393:22
[INFO] [stdout]     |
[INFO] [stdout] 393 |     let (x, y, px_b, rlc) = copy_constraint_simple(
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_rlc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/main.rs:403:10
[INFO] [stdout]     |
[INFO] [stdout] 403 |     let (x, y, px_c, rlc) = copy_constraint_simple(
[INFO] [stdout]     |          ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> src/main.rs:403:13
[INFO] [stdout]     |
[INFO] [stdout] 403 |     let (x, y, px_c, rlc) = copy_constraint_simple(
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc`
[INFO] [stdout]    --> src/main.rs:403:22
[INFO] [stdout]     |
[INFO] [stdout] 403 |     let (x, y, px_c, rlc) = copy_constraint_simple(
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_rlc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_1`
[INFO] [stdout]    --> src/main.rs:414:10
[INFO] [stdout]     |
[INFO] [stdout] 414 |     let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |          ^^^ help: if this is intentional, prefix it with an underscore: `_x_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y_1`
[INFO] [stdout]    --> src/main.rs:414:15
[INFO] [stdout]     |
[INFO] [stdout] 414 |     let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_y_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]    --> src/main.rs:414:32
[INFO] [stdout]     |
[INFO] [stdout] 414 |     let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_1`
[INFO] [stdout]    --> src/main.rs:422:10
[INFO] [stdout]     |
[INFO] [stdout] 422 |     let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |          ^^^ help: if this is intentional, prefix it with an underscore: `_x_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y_1`
[INFO] [stdout]    --> src/main.rs:422:15
[INFO] [stdout]     |
[INFO] [stdout] 422 |     let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_y_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]    --> src/main.rs:422:32
[INFO] [stdout]     |
[INFO] [stdout] 422 |     let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_1`
[INFO] [stdout]    --> src/main.rs:432:10
[INFO] [stdout]     |
[INFO] [stdout] 432 |     let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |          ^^^ help: if this is intentional, prefix it with an underscore: `_x_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y_1`
[INFO] [stdout]    --> src/main.rs:432:15
[INFO] [stdout]     |
[INFO] [stdout] 432 |     let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_y_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]    --> src/main.rs:432:32
[INFO] [stdout]     |
[INFO] [stdout] 432 |     let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> src/main.rs:532:9
[INFO] [stdout]     |
[INFO] [stdout] 532 |     let res = lagrange(&x, &fs_res);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]    --> src/main.rs:872:14
[INFO] [stdout]     |
[INFO] [stdout] 872 |     let (g1, g2) = powers_of_tau(secret, poly.len());
[INFO] [stdout]     |              ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p_commit`
[INFO] [stdout]    --> src/main.rs:898:9
[INFO] [stdout]     |
[INFO] [stdout] 898 |     let p_commit = poly_commit_g1(&poly, &g1);
[INFO] [stdout]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_p_commit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `constaint_polynomial` is never used
[INFO] [stdout]  --> src/plonk/constraint.rs:4:8
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constaint_polynomial(
[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 `validate_native` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn validate_native(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_add_constraint` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:37:8
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub fn add_add_constraint(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_mul_constraint` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn add_mul_constraint(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_constant_constraint` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:65:8
[INFO] [stdout]    |
[INFO] [stdout] 65 | pub fn add_constant_constraint(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `polynomial_division` is never used
[INFO] [stdout]   --> src/plonk/poly.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub fn polynomial_division() {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `gen_poly` is never used
[INFO] [stdout]   --> src/plonk/poly.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn gen_poly() {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `gen_witness` is never used
[INFO] [stdout]  --> src/plonk/sample_problem.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn gen_witness(x: F) -> (Vec<F>, Vec<F>, Vec<F>) {
[INFO] [stdout]   |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_satisfied_witness` is never used
[INFO] [stdout]   --> src/plonk/sample_problem.rs:20:8
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn is_satisfied_witness(a: Vec<F>, b: Vec<F>, c: Vec<F>) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Q_l_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_l_i`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Q_r_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_r_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     Q_m_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_m_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Q_o_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_o_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Q_c_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_c_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     Q_l: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     Q_r: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     Q_m: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     Q_o: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Q_c: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:10
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |          ^^^^^ help: convert the identifier to snake case: `q_l_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:17
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                 ^^^^^ help: convert the identifier to snake case: `q_r_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:24
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                        ^^^^^ help: convert the identifier to snake case: `q_m_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:31
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                               ^^^^^ help: convert the identifier to snake case: `q_o_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:38
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                                      ^^^^^ help: convert the identifier to snake case: `q_c_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     Q_l: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     Q_r: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     Q_m: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     Q_o: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     Q_c: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 |     Q_l: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 |     Q_r: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     Q_m: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:55:5
[INFO] [stdout]    |
[INFO] [stdout] 55 |     Q_o: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:56:5
[INFO] [stdout]    |
[INFO] [stdout] 56 |     Q_c: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:66:5
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Q_l: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:67:5
[INFO] [stdout]    |
[INFO] [stdout] 67 |     Q_r: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:68:5
[INFO] [stdout]    |
[INFO] [stdout] 68 |     Q_m: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 69 |     Q_o: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     Q_c: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/plonk/fft.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let L = fft(p, &domain_positive, &p_even);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `R` should have a snake case name
[INFO] [stdout]   --> src/plonk/fft.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |     let R = fft(p, &domain_positive, &p_odd);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `copy_constraints`
[INFO] [stdout]    --> src/main.rs:327:64
[INFO] [stdout]     |
[INFO] [stdout] 327 |     let (witness_x_a_perm, witness_x_b_perm, witness_x_c_perm, copy_constraints) =
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_copy_constraints`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `eval_domain`
[INFO] [stdout]    --> src/main.rs:383:9
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let eval_domain: Vec<F> = (0..3 * a.len()).map(|i| F::from(i as i128)).collect();
[INFO] [stdout]     |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_eval_domain`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/main.rs:385:10
[INFO] [stdout]     |
[INFO] [stdout] 385 |     let (x, y, px_a, rlc) = copy_constraint_simple(
[INFO] [stdout]     |          ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> src/main.rs:385:13
[INFO] [stdout]     |
[INFO] [stdout] 385 |     let (x, y, px_a, rlc) = copy_constraint_simple(
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc`
[INFO] [stdout]    --> src/main.rs:385:22
[INFO] [stdout]     |
[INFO] [stdout] 385 |     let (x, y, px_a, rlc) = copy_constraint_simple(
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_rlc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/main.rs:393:10
[INFO] [stdout]     |
[INFO] [stdout] 393 |     let (x, y, px_b, rlc) = copy_constraint_simple(
[INFO] [stdout]     |          ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> src/main.rs:393:13
[INFO] [stdout]     |
[INFO] [stdout] 393 |     let (x, y, px_b, rlc) = copy_constraint_simple(
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc`
[INFO] [stdout]    --> src/main.rs:393:22
[INFO] [stdout]     |
[INFO] [stdout] 393 |     let (x, y, px_b, rlc) = copy_constraint_simple(
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_rlc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/main.rs:403:10
[INFO] [stdout]     |
[INFO] [stdout] 403 |     let (x, y, px_c, rlc) = copy_constraint_simple(
[INFO] [stdout]     |          ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> src/main.rs:403:13
[INFO] [stdout]     |
[INFO] [stdout] 403 |     let (x, y, px_c, rlc) = copy_constraint_simple(
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc`
[INFO] [stdout]    --> src/main.rs:403:22
[INFO] [stdout]     |
[INFO] [stdout] 403 |     let (x, y, px_c, rlc) = copy_constraint_simple(
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_rlc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_1`
[INFO] [stdout]    --> src/main.rs:414:10
[INFO] [stdout]     |
[INFO] [stdout] 414 |     let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |          ^^^ help: if this is intentional, prefix it with an underscore: `_x_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y_1`
[INFO] [stdout]    --> src/main.rs:414:15
[INFO] [stdout]     |
[INFO] [stdout] 414 |     let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_y_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]    --> src/main.rs:414:32
[INFO] [stdout]     |
[INFO] [stdout] 414 |     let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_1`
[INFO] [stdout]    --> src/main.rs:422:10
[INFO] [stdout]     |
[INFO] [stdout] 422 |     let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |          ^^^ help: if this is intentional, prefix it with an underscore: `_x_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y_1`
[INFO] [stdout]    --> src/main.rs:422:15
[INFO] [stdout]     |
[INFO] [stdout] 422 |     let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_y_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]    --> src/main.rs:422:32
[INFO] [stdout]     |
[INFO] [stdout] 422 |     let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_1`
[INFO] [stdout]    --> src/main.rs:432:10
[INFO] [stdout]     |
[INFO] [stdout] 432 |     let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |          ^^^ help: if this is intentional, prefix it with an underscore: `_x_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y_1`
[INFO] [stdout]    --> src/main.rs:432:15
[INFO] [stdout]     |
[INFO] [stdout] 432 |     let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_y_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]    --> src/main.rs:432:32
[INFO] [stdout]     |
[INFO] [stdout] 432 |     let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple(
[INFO] [stdout]     |                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `res`
[INFO] [stdout]    --> src/main.rs:532:9
[INFO] [stdout]     |
[INFO] [stdout] 532 |     let res = lagrange(&x, &fs_res);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_res`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g2`
[INFO] [stdout]    --> src/main.rs:872:14
[INFO] [stdout]     |
[INFO] [stdout] 872 |     let (g1, g2) = powers_of_tau(secret, poly.len());
[INFO] [stdout]     |              ^^ help: if this is intentional, prefix it with an underscore: `_g2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p_commit`
[INFO] [stdout]    --> src/main.rs:898:9
[INFO] [stdout]     |
[INFO] [stdout] 898 |     let p_commit = poly_commit_g1(&poly, &g1);
[INFO] [stdout]     |         ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_p_commit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `constaint_polynomial` is never used
[INFO] [stdout]  --> src/plonk/constraint.rs:4:8
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub fn constaint_polynomial(
[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 `validate_native` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn validate_native(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_add_constraint` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:37:8
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub fn add_add_constraint(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_mul_constraint` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn add_mul_constraint(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_constant_constraint` is never used
[INFO] [stdout]   --> src/plonk/constraint.rs:65:8
[INFO] [stdout]    |
[INFO] [stdout] 65 | pub fn add_constant_constraint(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `polynomial_division` is never used
[INFO] [stdout]   --> src/plonk/poly.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub fn polynomial_division() {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `gen_poly` is never used
[INFO] [stdout]   --> src/plonk/poly.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn gen_poly() {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `gen_witness` is never used
[INFO] [stdout]  --> src/plonk/sample_problem.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn gen_witness(x: F) -> (Vec<F>, Vec<F>, Vec<F>) {
[INFO] [stdout]   |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_satisfied_witness` is never used
[INFO] [stdout]   --> src/plonk/sample_problem.rs:20:8
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn is_satisfied_witness(a: Vec<F>, b: Vec<F>, c: Vec<F>) {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Q_l_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_l_i`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Q_r_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_r_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     Q_m_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_m_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Q_o_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_o_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c_i` should have a snake case name
[INFO] [stdout]  --> src/plonk/constraint.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Q_c_i: F,
[INFO] [stdout]   |     ^^^^^ help: convert the identifier to snake case: `q_c_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     Q_l: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     Q_r: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     Q_m: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     Q_o: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Q_c: &[F],
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:10
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |          ^^^^^ help: convert the identifier to snake case: `q_l_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:17
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                 ^^^^^ help: convert the identifier to snake case: `q_r_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:24
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                        ^^^^^ help: convert the identifier to snake case: `q_m_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:31
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                               ^^^^^ help: convert the identifier to snake case: `q_o_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c_i` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:27:38
[INFO] [stdout]    |
[INFO] [stdout] 27 |     for (Q_l_i, Q_r_i, Q_m_i, Q_o_i, Q_c_i, a_i, b_i, c_i) in
[INFO] [stdout]    |                                      ^^^^^ help: convert the identifier to snake case: `q_c_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     Q_l: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     Q_r: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     Q_m: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     Q_o: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     Q_c: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 |     Q_l: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 |     Q_r: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     Q_m: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:55:5
[INFO] [stdout]    |
[INFO] [stdout] 55 |     Q_o: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:56:5
[INFO] [stdout]    |
[INFO] [stdout] 56 |     Q_c: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_l` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:66:5
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Q_l: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_r` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:67:5
[INFO] [stdout]    |
[INFO] [stdout] 67 |     Q_r: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_m` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:68:5
[INFO] [stdout]    |
[INFO] [stdout] 68 |     Q_m: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_o` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 69 |     Q_o: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_o`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Q_c` should have a snake case name
[INFO] [stdout]   --> src/plonk/constraint.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     Q_c: &mut Vec<F>,
[INFO] [stdout]    |     ^^^ help: convert the identifier to snake case: `q_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/plonk/fft.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let L = fft(p, &domain_positive, &p_even);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `R` should have a snake case name
[INFO] [stdout]   --> src/plonk/fft.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |     let R = fft(p, &domain_positive, &p_odd);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.76s
[INFO] running `Command { std: "docker" "inspect" "cb96849cf3b63d04b227cd5ea123492aca39952b0d9de92f26c932eb1444e663", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cb96849cf3b63d04b227cd5ea123492aca39952b0d9de92f26c932eb1444e663", kill_on_drop: false }`
[INFO] [stdout] cb96849cf3b63d04b227cd5ea123492aca39952b0d9de92f26c932eb1444e663
