[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] testing duguorong009/personal-plonk-rs against beta-2025-09-21 for beta-1.91-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fpersonal-plonk-rs" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/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-1-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/duguorong009/personal-plonk-rs on toolchain beta-2025-09-21 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [INFO] testing duguorong009/personal-plonk-rs against beta-2025-09-21 for beta-1.91-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fpersonal-plonk-rs" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/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-1-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/duguorong009/personal-plonk-rs on toolchain beta-2025-09-21 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded proc-macro2 v1.0.53 [INFO] [stderr] Downloaded ark-ed-on-bn254 v0.4.0 [INFO] [stderr] Downloaded zeroize_derive v1.3.3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 7362ede558c74dbd692b9054a426dc5bc992aebea79ae1b95d28b14dc7ba7898 [INFO] running `Command { std: "docker" "start" "-a" "7362ede558c74dbd692b9054a426dc5bc992aebea79ae1b95d28b14dc7ba7898", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7362ede558c74dbd692b9054a426dc5bc992aebea79ae1b95d28b14dc7ba7898", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7362ede558c74dbd692b9054a426dc5bc992aebea79ae1b95d28b14dc7ba7898", kill_on_drop: false }` [INFO] [stdout] 7362ede558c74dbd692b9054a426dc5bc992aebea79ae1b95d28b14dc7ba7898 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b280df05a34507765ea2526fe3124422a17d0091843f6a9a0226267886e2d0e5 [INFO] running `Command { std: "docker" "start" "-a" "b280df05a34507765ea2526fe3124422a17d0091843f6a9a0226267886e2d0e5", kill_on_drop: false }` [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] Compiling ppv-lite86 v0.2.17 [INFO] [stderr] Compiling unicode-xid v0.2.4 [INFO] [stderr] Compiling paste v1.0.12 [INFO] [stderr] Compiling either v1.8.1 [INFO] [stderr] Compiling once_cell v1.17.1 [INFO] [stderr] Compiling num-traits v0.2.15 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling generic-array v0.14.6 [INFO] [stderr] Compiling num-bigint v0.4.3 [INFO] [stderr] Compiling ahash v0.8.3 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling hashbrown v0.13.2 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling ark-std v0.4.0 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling digest v0.10.6 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [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] Compiling zeroize_derive v1.3.3 [INFO] [stderr] Compiling zeroize v1.5.7 [INFO] [stderr] Compiling ark-serialize v0.4.2 [INFO] [stderr] Compiling ark-ff v0.4.2 [INFO] [stderr] Compiling ark-poly v0.4.2 [INFO] [stderr] Compiling ark-ec v0.4.2 [INFO] [stderr] Compiling ark-bn254 v0.4.0 [INFO] [stderr] Compiling ark-ed-on-bn254 v0.4.0 [INFO] [stderr] Compiling 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 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 = (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, Vec, Vec) { [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, b: Vec, c: Vec) { [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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 30.63s [INFO] running `Command { std: "docker" "inspect" "b280df05a34507765ea2526fe3124422a17d0091843f6a9a0226267886e2d0e5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b280df05a34507765ea2526fe3124422a17d0091843f6a9a0226267886e2d0e5", kill_on_drop: false }` [INFO] [stdout] b280df05a34507765ea2526fe3124422a17d0091843f6a9a0226267886e2d0e5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0a76c65ff1d76723ac7f2a4a46b9fd63a02a74a78e0f6c98b778341d42fd95c7 [INFO] running `Command { std: "docker" "start" "-a" "0a76c65ff1d76723ac7f2a4a46b9fd63a02a74a78e0f6c98b778341d42fd95c7", kill_on_drop: false }` [INFO] [stderr] Compiling 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 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 = (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, Vec, Vec) { [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, b: Vec, c: Vec) { [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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, [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 `test` profile [unoptimized + debuginfo] target(s) in 1.73s [INFO] running `Command { std: "docker" "inspect" "0a76c65ff1d76723ac7f2a4a46b9fd63a02a74a78e0f6c98b778341d42fd95c7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0a76c65ff1d76723ac7f2a4a46b9fd63a02a74a78e0f6c98b778341d42fd95c7", kill_on_drop: false }` [INFO] [stdout] 0a76c65ff1d76723ac7f2a4a46b9fd63a02a74a78e0f6c98b778341d42fd95c7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 07db39d162154b4c2d1d2d2a27014b29ede32b959d5a4bc79779c27ab4c9038d [INFO] running `Command { std: "docker" "start" "-a" "07db39d162154b4c2d1d2d2a27014b29ede32b959d5a4bc79779c27ab4c9038d", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `ark_ec::CurveGroup` [INFO] [stderr] --> src/main.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use ark_ec::CurveGroup; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `itertools::izip` [INFO] [stderr] --> src/main.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | use itertools::izip; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/plonk/fft.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | p: F, [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `copy_constraints` [INFO] [stderr] --> src/main.rs:327:64 [INFO] [stderr] | [INFO] [stderr] 327 | let (witness_x_a_perm, witness_x_b_perm, witness_x_c_perm, copy_constraints) = [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_copy_constraints` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `eval_domain` [INFO] [stderr] --> src/main.rs:383:9 [INFO] [stderr] | [INFO] [stderr] 383 | let eval_domain: Vec = (0..3 * a.len()).map(|i| F::from(i as i128)).collect(); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_eval_domain` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `x` [INFO] [stderr] --> src/main.rs:385:10 [INFO] [stderr] | [INFO] [stderr] 385 | let (x, y, px_a, rlc) = copy_constraint_simple( [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_x` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y` [INFO] [stderr] --> src/main.rs:385:13 [INFO] [stderr] | [INFO] [stderr] 385 | let (x, y, px_a, rlc) = copy_constraint_simple( [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_y` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rlc` [INFO] [stderr] --> src/main.rs:385:22 [INFO] [stderr] | [INFO] [stderr] 385 | let (x, y, px_a, rlc) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_rlc` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `x` [INFO] [stderr] --> src/main.rs:393:10 [INFO] [stderr] | [INFO] [stderr] 393 | let (x, y, px_b, rlc) = copy_constraint_simple( [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_x` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y` [INFO] [stderr] --> src/main.rs:393:13 [INFO] [stderr] | [INFO] [stderr] 393 | let (x, y, px_b, rlc) = copy_constraint_simple( [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_y` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rlc` [INFO] [stderr] --> src/main.rs:393:22 [INFO] [stderr] | [INFO] [stderr] 393 | let (x, y, px_b, rlc) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_rlc` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `x` [INFO] [stderr] --> src/main.rs:403:10 [INFO] [stderr] | [INFO] [stderr] 403 | let (x, y, px_c, rlc) = copy_constraint_simple( [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_x` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y` [INFO] [stderr] --> src/main.rs:403:13 [INFO] [stderr] | [INFO] [stderr] 403 | let (x, y, px_c, rlc) = copy_constraint_simple( [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_y` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rlc` [INFO] [stderr] --> src/main.rs:403:22 [INFO] [stderr] | [INFO] [stderr] 403 | let (x, y, px_c, rlc) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_rlc` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `x_1` [INFO] [stderr] --> src/main.rs:414:10 [INFO] [stderr] | [INFO] [stderr] 414 | let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_x_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y_1` [INFO] [stderr] --> src/main.rs:414:15 [INFO] [stderr] | [INFO] [stderr] 414 | let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_y_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rlc_1` [INFO] [stderr] --> src/main.rs:414:32 [INFO] [stderr] | [INFO] [stderr] 414 | let (x_1, y_1, px_a_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `x_1` [INFO] [stderr] --> src/main.rs:422:10 [INFO] [stderr] | [INFO] [stderr] 422 | let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_x_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y_1` [INFO] [stderr] --> src/main.rs:422:15 [INFO] [stderr] | [INFO] [stderr] 422 | let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_y_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rlc_1` [INFO] [stderr] --> src/main.rs:422:32 [INFO] [stderr] | [INFO] [stderr] 422 | let (x_1, y_1, px_b_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `x_1` [INFO] [stderr] --> src/main.rs:432:10 [INFO] [stderr] | [INFO] [stderr] 432 | let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_x_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `y_1` [INFO] [stderr] --> src/main.rs:432:15 [INFO] [stderr] | [INFO] [stderr] 432 | let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_y_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rlc_1` [INFO] [stderr] --> src/main.rs:432:32 [INFO] [stderr] | [INFO] [stderr] 432 | let (x_1, y_1, px_c_prime, rlc_1) = copy_constraint_simple( [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `res` [INFO] [stderr] --> src/main.rs:532:9 [INFO] [stderr] | [INFO] [stderr] 532 | let res = lagrange(&x, &fs_res); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `g2` [INFO] [stderr] --> src/main.rs:872:14 [INFO] [stderr] | [INFO] [stderr] 872 | let (g1, g2) = powers_of_tau(secret, poly.len()); [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_g2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p_commit` [INFO] [stderr] --> src/main.rs:898:9 [INFO] [stderr] | [INFO] [stderr] 898 | let p_commit = poly_commit_g1(&poly, &g1); [INFO] [stderr] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_p_commit` [INFO] [stderr] [INFO] [stderr] warning: function `constaint_polynomial` is never used [INFO] [stderr] --> src/plonk/constraint.rs:4:8 [INFO] [stderr] | [INFO] [stderr] 4 | pub fn constaint_polynomial( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `validate_native` is never used [INFO] [stderr] --> src/plonk/constraint.rs:17:8 [INFO] [stderr] | [INFO] [stderr] 17 | pub fn validate_native( [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `add_add_constraint` is never used [INFO] [stderr] --> src/plonk/constraint.rs:37:8 [INFO] [stderr] | [INFO] [stderr] 37 | pub fn add_add_constraint( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `add_mul_constraint` is never used [INFO] [stderr] --> src/plonk/constraint.rs:51:8 [INFO] [stderr] | [INFO] [stderr] 51 | pub fn add_mul_constraint( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `add_constant_constraint` is never used [INFO] [stderr] --> src/plonk/constraint.rs:65:8 [INFO] [stderr] | [INFO] [stderr] 65 | pub fn add_constant_constraint( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `polynomial_division` is never used [INFO] [stderr] --> src/plonk/poly.rs:13:8 [INFO] [stderr] | [INFO] [stderr] 13 | pub fn polynomial_division() { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `gen_poly` is never used [INFO] [stderr] --> src/plonk/poly.rs:17:8 [INFO] [stderr] | [INFO] [stderr] 17 | pub fn gen_poly() { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `gen_witness` is never used [INFO] [stderr] --> src/plonk/sample_problem.rs:5:8 [INFO] [stderr] | [INFO] [stderr] 5 | pub fn gen_witness(x: F) -> (Vec, Vec, Vec) { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `is_satisfied_witness` is never used [INFO] [stderr] --> src/plonk/sample_problem.rs:20:8 [INFO] [stderr] | [INFO] [stderr] 20 | pub fn is_satisfied_witness(a: Vec, b: Vec, c: Vec) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `Q_l_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | Q_l_i: F, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_l_i` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable `Q_r_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | Q_r_i: F, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_r_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_m_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | Q_m_i: F, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_m_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_o_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | Q_o_i: F, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_o_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_c_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | Q_c_i: F, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_c_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_l` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:18:5 [INFO] [stderr] | [INFO] [stderr] 18 | Q_l: &[F], [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_l` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_r` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:19:5 [INFO] [stderr] | [INFO] [stderr] 19 | Q_r: &[F], [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_r` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_m` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:20:5 [INFO] [stderr] | [INFO] [stderr] 20 | Q_m: &[F], [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_m` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_o` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:21:5 [INFO] [stderr] | [INFO] [stderr] 21 | Q_o: &[F], [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_o` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_c` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:22:5 [INFO] [stderr] | [INFO] [stderr] 22 | Q_c: &[F], [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_c` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_l_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:27:10 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_l_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_r_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:27:17 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_r_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_m_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:27:24 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_m_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_o_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:27:31 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_o_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_c_i` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:27:38 [INFO] [stderr] | [INFO] [stderr] 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] [stderr] | ^^^^^ help: convert the identifier to snake case: `q_c_i` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_l` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:38:5 [INFO] [stderr] | [INFO] [stderr] 38 | Q_l: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_l` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_r` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:39:5 [INFO] [stderr] | [INFO] [stderr] 39 | Q_r: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_r` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_m` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:40:5 [INFO] [stderr] | [INFO] [stderr] 40 | Q_m: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_m` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_o` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:41:5 [INFO] [stderr] | [INFO] [stderr] 41 | Q_o: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_o` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_c` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:42:5 [INFO] [stderr] | [INFO] [stderr] 42 | Q_c: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_c` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_l` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:52:5 [INFO] [stderr] | [INFO] [stderr] 52 | Q_l: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_l` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_r` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:53:5 [INFO] [stderr] | [INFO] [stderr] 53 | Q_r: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_r` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_m` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:54:5 [INFO] [stderr] | [INFO] [stderr] 54 | Q_m: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_m` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_o` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:55:5 [INFO] [stderr] | [INFO] [stderr] 55 | Q_o: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_o` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_c` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:56:5 [INFO] [stderr] | [INFO] [stderr] 56 | Q_c: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_c` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_l` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:66:5 [INFO] [stderr] | [INFO] [stderr] 66 | Q_l: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_l` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_r` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:67:5 [INFO] [stderr] | [INFO] [stderr] 67 | Q_r: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_r` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_m` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:68:5 [INFO] [stderr] | [INFO] [stderr] 68 | Q_m: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_m` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_o` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:69:5 [INFO] [stderr] | [INFO] [stderr] 69 | Q_o: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_o` [INFO] [stderr] [INFO] [stderr] warning: variable `Q_c` should have a snake case name [INFO] [stderr] --> src/plonk/constraint.rs:70:5 [INFO] [stderr] | [INFO] [stderr] 70 | Q_c: &mut Vec, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `q_c` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/plonk/fft.rs:44:9 [INFO] [stderr] | [INFO] [stderr] 44 | let L = fft(p, &domain_positive, &p_even); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `R` should have a snake case name [INFO] [stderr] --> src/plonk/fft.rs:45:9 [INFO] [stderr] | [INFO] [stderr] 45 | let R = fft(p, &domain_positive, &p_odd); [INFO] [stderr] | ^ help: convert the identifier to snake case: `r` [INFO] [stderr] [INFO] [stderr] warning: `personal-plonk-rs` (bin "personal-plonk-rs" test) generated 67 warnings (run `cargo fix --bin "personal-plonk-rs" --tests` to apply 2 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/personal_plonk_rs-573b595476f75143) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test plonk::copy_constraint::test_lagrange ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "07db39d162154b4c2d1d2d2a27014b29ede32b959d5a4bc79779c27ab4c9038d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "07db39d162154b4c2d1d2d2a27014b29ede32b959d5a4bc79779c27ab4c9038d", kill_on_drop: false }` [INFO] [stdout] 07db39d162154b4c2d1d2d2a27014b29ede32b959d5a4bc79779c27ab4c9038d