[INFO] cloning repository https://github.com/2mkat/lwe_zksnark
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/2mkat/lwe_zksnark" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F2mkat%2Flwe_zksnark", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F2mkat%2Flwe_zksnark'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 91ffe87312bec47c629d6983cc51136dbc0220f1
[INFO] testing 2mkat/lwe_zksnark against beta-2026-03-05 for beta-1.95-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F2mkat%2Flwe_zksnark" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/2mkat/lwe_zksnark
[INFO] finished tweaking git repo https://github.com/2mkat/lwe_zksnark
[INFO] tweaked toml for git repo https://github.com/2mkat/lwe_zksnark written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/2mkat/lwe_zksnark on toolchain beta-2026-03-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/2mkat/lwe_zksnark 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-2026-03-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5eb9e8818f9c0a19dad08eb0fe545ceece8073a16ea75349b8bae84c3e50be5a
[INFO] running `Command { std: "docker" "start" "-a" "5eb9e8818f9c0a19dad08eb0fe545ceece8073a16ea75349b8bae84c3e50be5a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5eb9e8818f9c0a19dad08eb0fe545ceece8073a16ea75349b8bae84c3e50be5a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5eb9e8818f9c0a19dad08eb0fe545ceece8073a16ea75349b8bae84c3e50be5a", kill_on_drop: false }`
[INFO] [stdout] 5eb9e8818f9c0a19dad08eb0fe545ceece8073a16ea75349b8bae84c3e50be5a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 28a143e7ea67eb8fee7de337479e5ad6aaf9f638d245865bb958cfd0c426a394
[INFO] running `Command { std: "docker" "start" "-a" "28a143e7ea67eb8fee7de337479e5ad6aaf9f638d245865bb958cfd0c426a394", kill_on_drop: false }`
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] [stderr]    Compiling proc-macro2 v1.0.92
[INFO] [stderr]    Compiling unicode-ident v1.0.14
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling libc v0.2.169
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling helpers v0.11.0 (/opt/rustwide/workdir/helpers)
[INFO] [stderr]    Compiling quote v1.0.38
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling syn v2.0.92
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling zerocopy v0.7.35
[INFO] [stderr]    Compiling ppv-lite86 v0.2.20
[INFO] [stderr]    Compiling lambdaworks-math v0.11.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling zksnark v0.11.0 (/opt/rustwide/workdir/zksnark)
[INFO] [stdout] warning: unused imports: `lwe::*` and `sap::SquareArithmeticProgram as SAP`
[INFO] [stdout]  --> zksnark/src/prover.rs:1:24
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{common::*, lwe::*, sap::SquareArithmeticProgram as SAP, setup::CommonReferenceString};
[INFO] [stdout]   |                        ^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]   --> zksnark/src/verifier.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 |     if ( a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stdout]    |        ^^
[INFO] [stdout] 31 |     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)) {
[INFO] [stdout]    |                                                                                    ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 30 ~     if a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stdout] 31 ~     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)  {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> zksnark/src/setup.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     for i in 1..=deg {
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x`
[INFO] [stdout]   --> zksnark/src/prover.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_x_mid`
[INFO] [stdout]   --> zksnark/src/prover.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let u_x_mid: Polynomial<FEp> = crs.sap.u_polynomials[mid..]
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_x_mid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x_mid`
[INFO] [stdout]   --> zksnark/src/prover.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |     let w_x_mid: Polynomial<FEp> = crs.sap.w_polynomials[mid..]
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_w_x_mid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_x`
[INFO] [stdout]  --> zksnark/src/verifier.rs:7:9
[INFO] [stdout]   |
[INFO] [stdout] 7 |     let u_x: Polynomial<FEp> = crs.sap.u_polynomials[0].clone()
[INFO] [stdout]   |         ^^^ help: if this is intentional, prefix it with an underscore: `_u_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x`
[INFO] [stdout]   --> zksnark/src/verifier.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 16.86s
[INFO] running `Command { std: "docker" "inspect" "28a143e7ea67eb8fee7de337479e5ad6aaf9f638d245865bb958cfd0c426a394", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "28a143e7ea67eb8fee7de337479e5ad6aaf9f638d245865bb958cfd0c426a394", kill_on_drop: false }`
[INFO] [stdout] 28a143e7ea67eb8fee7de337479e5ad6aaf9f638d245865bb958cfd0c426a394
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 92bc705cd0d522e8aadce4b089e3990380d7a8216bc71cc6a64bb51110cd7cce
[INFO] running `Command { std: "docker" "start" "-a" "92bc705cd0d522e8aadce4b089e3990380d7a8216bc71cc6a64bb51110cd7cce", kill_on_drop: false }`
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] [stderr]    Compiling helpers v0.11.0 (/opt/rustwide/workdir/helpers)
[INFO] [stderr]    Compiling zksnark v0.11.0 (/opt/rustwide/workdir/zksnark)
[INFO] [stdout] warning: unused imports: `lwe::*` and `sap::SquareArithmeticProgram as SAP`
[INFO] [stdout]  --> zksnark/src/prover.rs:1:24
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{common::*, lwe::*, sap::SquareArithmeticProgram as SAP, setup::CommonReferenceString};
[INFO] [stdout]   |                        ^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]   --> zksnark/src/verifier.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 |     if ( a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stdout]    |        ^^
[INFO] [stdout] 31 |     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)) {
[INFO] [stdout]    |                                                                                    ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 30 ~     if a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stdout] 31 ~     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)  {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> zksnark/src/setup.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     for i in 1..=deg {
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x`
[INFO] [stdout]   --> zksnark/src/prover.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_x_mid`
[INFO] [stdout]   --> zksnark/src/prover.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let u_x_mid: Polynomial<FEp> = crs.sap.u_polynomials[mid..]
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_x_mid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x_mid`
[INFO] [stdout]   --> zksnark/src/prover.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |     let w_x_mid: Polynomial<FEp> = crs.sap.w_polynomials[mid..]
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_w_x_mid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_x`
[INFO] [stdout]  --> zksnark/src/verifier.rs:7:9
[INFO] [stdout]   |
[INFO] [stdout] 7 |     let u_x: Polynomial<FEp> = crs.sap.u_polynomials[0].clone()
[INFO] [stdout]   |         ^^^ help: if this is intentional, prefix it with an underscore: `_u_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x`
[INFO] [stdout]   --> zksnark/src/verifier.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `lwe::*` and `sap::SquareArithmeticProgram as SAP`
[INFO] [stdout]  --> zksnark/src/prover.rs:1:24
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{common::*, lwe::*, sap::SquareArithmeticProgram as SAP, setup::CommonReferenceString};
[INFO] [stdout]   |                        ^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]   --> zksnark/src/verifier.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 |     if ( a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stdout]    |        ^^
[INFO] [stdout] 31 |     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)) {
[INFO] [stdout]    |                                                                                    ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 30 ~     if a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stdout] 31 ~     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)  {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> zksnark/src/setup.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     for i in 1..=deg {
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x`
[INFO] [stdout]   --> zksnark/src/prover.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_x_mid`
[INFO] [stdout]   --> zksnark/src/prover.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let u_x_mid: Polynomial<FEp> = crs.sap.u_polynomials[mid..]
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_x_mid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x_mid`
[INFO] [stdout]   --> zksnark/src/prover.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |     let w_x_mid: Polynomial<FEp> = crs.sap.w_polynomials[mid..]
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_w_x_mid`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_x`
[INFO] [stdout]  --> zksnark/src/verifier.rs:7:9
[INFO] [stdout]   |
[INFO] [stdout] 7 |     let u_x: Polynomial<FEp> = crs.sap.u_polynomials[0].clone()
[INFO] [stdout]   |         ^^^ help: if this is intentional, prefix it with an underscore: `_u_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `w_x`
[INFO] [stdout]   --> zksnark/src/verifier.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.63s
[INFO] running `Command { std: "docker" "inspect" "92bc705cd0d522e8aadce4b089e3990380d7a8216bc71cc6a64bb51110cd7cce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "92bc705cd0d522e8aadce4b089e3990380d7a8216bc71cc6a64bb51110cd7cce", kill_on_drop: false }`
[INFO] [stdout] 92bc705cd0d522e8aadce4b089e3990380d7a8216bc71cc6a64bb51110cd7cce
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 411fb84646371942f0c65900394b5514eadcc9838066c88b2e71115bdf959778
[INFO] running `Command { std: "docker" "start" "-a" "411fb84646371942f0c65900394b5514eadcc9838066c88b2e71115bdf959778", kill_on_drop: false }`
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] [stderr] warning: unused imports: `lwe::*` and `sap::SquareArithmeticProgram as SAP`
[INFO] [stderr]  --> zksnark/src/prover.rs:1:24
[INFO] [stderr]   |
[INFO] [stderr] 1 | use crate::{common::*, lwe::*, sap::SquareArithmeticProgram as SAP, setup::CommonReferenceString};
[INFO] [stderr]   |                        ^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary parentheses around `if` condition
[INFO] [stderr]   --> zksnark/src/verifier.rs:30:8
[INFO] [stderr]    |
[INFO] [stderr] 30 |     if ( a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stderr]    |        ^^
[INFO] [stderr] 31 |     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)) {
[INFO] [stderr]    |                                                                                    ^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]    |
[INFO] [stderr] 30 ~     if a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stderr] 31 ~     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)  {
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `i`
[INFO] [stderr]   --> zksnark/src/setup.rs:73:9
[INFO] [stderr]    |
[INFO] [stderr] 73 |     for i in 1..=deg {
[INFO] [stderr]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `w_x`
[INFO] [stderr]   --> zksnark/src/prover.rs:19:9
[INFO] [stderr]    |
[INFO] [stderr] 19 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stderr]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `u_x_mid`
[INFO] [stderr]   --> zksnark/src/prover.rs:28:9
[INFO] [stderr]    |
[INFO] [stderr] 28 |     let u_x_mid: Polynomial<FEp> = crs.sap.u_polynomials[mid..]
[INFO] [stderr]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_x_mid`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `w_x_mid`
[INFO] [stderr]   --> zksnark/src/prover.rs:35:9
[INFO] [stderr]    |
[INFO] [stderr] 35 |     let w_x_mid: Polynomial<FEp> = crs.sap.w_polynomials[mid..]
[INFO] [stderr]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_w_x_mid`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `u_x`
[INFO] [stderr]  --> zksnark/src/verifier.rs:7:9
[INFO] [stderr]   |
[INFO] [stderr] 7 |     let u_x: Polynomial<FEp> = crs.sap.u_polynomials[0].clone()
[INFO] [stderr]   |         ^^^ help: if this is intentional, prefix it with an underscore: `_u_x`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `w_x`
[INFO] [stderr]   --> zksnark/src/verifier.rs:15:9
[INFO] [stderr]    |
[INFO] [stderr] 15 |     let w_x: Polynomial<FEp> = crs.sap.w_polynomials[0].clone()
[INFO] [stderr]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_w_x`
[INFO] [stderr] 
[INFO] [stderr] warning: `zksnark` (lib) generated 8 warnings (run `cargo fix --lib -p zksnark` to apply 8 suggestions)
[INFO] [stderr] warning: `zksnark` (lib test) generated 8 warnings (8 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/helpers-8f401d49db61cf2c)
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/zksnark-d4f05a5f0c647306)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test r1cs::tests::verify_bad_solution_because_of_first_constraint_with_new_test_r1cs ... ok
[INFO] [stdout] test r1cs::tests::verify_bad_solution_with_new_test_r1cs ... ok
[INFO] [stdout] test r1cs::tests::verify_bad_solution_with_test_circuit_c5_constraints ... ok
[INFO] [stdout] test r1cs::tests::verify_bad_solution_because_of_second_constraint_with_new_test_r1cs ... ok
[INFO] [stdout] test r1cs::tests::verify_solution_with_new_test_r1cs ... ok
[INFO] [stdout] test r1cs::tests::verify_solution_with_test_circuit_c6_constraints ... ok
[INFO] [stdout] test r1cs::tests::verify_solution_with_test_circuit_c5_constraints ... ok
[INFO] [stdout] test sap::tests::matrix_constraints ... ok
[INFO] [stdout] test r1cs::tests::mul_vectors_3_5_equals_15 ... ok
[INFO] [stdout] test test_ex::tests::run_check_lwe ... ok
[INFO] [stdout] test test_ex::tests::run_gen ... ok
[INFO] [stdout] test r1cs::tests::verify_bad_solution_with_test_circuit_c6_constraints ... ok
[INFO] [stdout] test r1cs::tests::mul_vectors_2_2_3_3_equals_12 ... ok
[INFO] [stdout] test sap::tests::r1cs_to_sap_test_with_evaluation ... ok
[INFO] [stdout] test setup::tests::test_setup ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests zksnark
[INFO] [stderr] warning: unnecessary parentheses around `if` condition
[INFO] [stderr]   --> zksnark/src/verifier.rs:30:8
[INFO] [stderr]    |
[INFO] [stderr] 30 |     if ( a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stderr]    |        ^^
[INFO] [stderr] 31 |     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)) {
[INFO] [stderr]    |                                                                                    ^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]    |
[INFO] [stderr] 30 ~     if a_proof.clone() * (a_proof + FE::from_hex_unchecked(&beta.representative().to_hex())) ==
[INFO] [stderr] 31 ~     FE::from_hex_unchecked(&delta.representative().to_hex()) * (b_proof + w_plus_u)  {
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: 1 warning emitted
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test zksnark/src/r1cs.rs - r1cs::Constraint (line 13) ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- zksnark/src/r1cs.rs - r1cs::Constraint (line 13) stdout ----
[INFO] [stdout] error: expected identifier, found `<`
[INFO] [stdout]   --> zksnark/src/r1cs.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 14 |            < A , X > * < B , X > = < C , X > ,
[INFO] [stdout]    |            ^ expected identifier
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     zksnark/src/r1cs.rs - r1cs::Constraint (line 13)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `-p zksnark --doc`
[INFO] running `Command { std: "docker" "inspect" "411fb84646371942f0c65900394b5514eadcc9838066c88b2e71115bdf959778", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "411fb84646371942f0c65900394b5514eadcc9838066c88b2e71115bdf959778", kill_on_drop: false }`
[INFO] [stdout] 411fb84646371942f0c65900394b5514eadcc9838066c88b2e71115bdf959778
