[INFO] cloning repository https://github.com/gerau/halo [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/gerau/halo" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgerau%2Fhalo", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgerau%2Fhalo'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0efb7fe680cd092aafa8ec86fc07a01fba7f3acc [INFO] testing gerau/halo against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fgerau%2Fhalo" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/gerau/halo [INFO] finished tweaking git repo https://github.com/gerau/halo [INFO] tweaked toml for git repo https://github.com/gerau/halo written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/gerau/halo on toolchain 1.99.0-beta.8 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/gerau/halo already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd [INFO] running `Command { std: "docker" "start" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.178 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling cfg-if v1.0.4 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.7 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling sha3 v0.10.8 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling halo v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `sha3::digest::typenum::Quot` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use sha3::digest::typenum::Quot; [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: `Modulus` [INFO] [stdout] --> src/main.rs:8:15 [INFO] [stdout] | [INFO] [stdout] 8 | modulus::{Modulus, OrderP}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/poly.rs:2:13 [INFO] [stdout] | [INFO] [stdout] 2 | field::{self, Field}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::default` [INFO] [stdout] --> src/proof.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::default; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rand::Rng` [INFO] [stdout] --> src/proof.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use rand::Rng; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/proof.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | field::{self, Field}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/utils.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | field::{self, Field}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> src/utils.rs:484:29 [INFO] [stdout] | [INFO] [stdout] 484 | *acc += (coeff * &pwr_y); [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] 484 - *acc += (coeff * &pwr_y); [INFO] [stdout] 484 + *acc += coeff * &pwr_y; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num_traits::ConstZero` [INFO] [stdout] --> src/field.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use num_traits::ConstZero; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rand::prelude` [INFO] [stdout] --> src/proof.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use rand::prelude::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g_old` [INFO] [stdout] --> src/proof.rs:871:9 [INFO] [stdout] | [INFO] [stdout] 871 | g_old: &CurvePoint, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_g_old` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/utils.rs:222:13 [INFO] [stdout] | [INFO] [stdout] 222 | let mut eval_s = &self.evaluate_s_at_y(y) * &y.pow(self.n as u64); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/utils.rs:273:19 [INFO] [stdout] | [INFO] [stdout] 273 | .map(|(y, k)| y) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `final_g` and `open_value` are never read [INFO] [stdout] --> src/proof.rs:213:9 [INFO] [stdout] | [INFO] [stdout] 207 | pub struct ZkProof { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 213 | pub final_g: CurvePoint, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 214 | pub open_value: Field, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ZkProof` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `k` is never read [INFO] [stdout] --> src/proof.rs:617:9 [INFO] [stdout] | [INFO] [stdout] 613 | pub struct Verifier { [INFO] [stdout] | -------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 617 | pub k: usize, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `evaluate_ss_at_x`, `evaluate_t_at_x`, and `evaluate_k` are never used [INFO] [stdout] --> src/utils.rs:195:12 [INFO] [stdout] | [INFO] [stdout] 41 | impl ProoverHelper { [INFO] [stdout] | --------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 195 | pub fn evaluate_ss_at_x(&self, x: &Field) -> Polynomial { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 246 | pub fn evaluate_t_at_x(&self, x: &Field) -> Polynomial { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 284 | pub fn evaluate_k(&self, x: &Field) -> Field { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluate_r` is never used [INFO] [stdout] --> src/utils.rs:430:8 [INFO] [stdout] | [INFO] [stdout] 430 | pub fn evaluate_r( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluate_s` is never used [INFO] [stdout] --> src/utils.rs:461:8 [INFO] [stdout] | [INFO] [stdout] 461 | pub fn evaluate_s( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluate_ss` is never used [INFO] [stdout] --> src/utils.rs:511:8 [INFO] [stdout] | [INFO] [stdout] 511 | pub fn evaluate_ss( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluate_t` is never used [INFO] [stdout] --> src/utils.rs:545:8 [INFO] [stdout] | [INFO] [stdout] 545 | pub fn evaluate_t( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluate_poly` is never used [INFO] [stdout] --> src/utils.rs:600:8 [INFO] [stdout] | [INFO] [stdout] 600 | pub fn evaluate_poly(n: usize, poly: &[Field], x: &Field) -> Field { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `release` profile [optimized + debuginfo] target(s) in 17.01s [INFO] running `Command { std: "docker" "inspect" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }` [INFO] [stderr] Compiling halo v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `sha3::digest::typenum::Quot` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use sha3::digest::typenum::Quot; [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: `Modulus` [INFO] [stdout] --> src/main.rs:8:15 [INFO] [stdout] | [INFO] [stdout] 8 | modulus::{Modulus, OrderP}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/poly.rs:2:13 [INFO] [stdout] | [INFO] [stdout] 2 | field::{self, Field}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::default` [INFO] [stdout] --> src/proof.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::default; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rand::Rng` [INFO] [stdout] --> src/proof.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use rand::Rng; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/proof.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | field::{self, Field}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/utils.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | field::{self, Field}, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around assigned value [INFO] [stdout] --> src/utils.rs:484:29 [INFO] [stdout] | [INFO] [stdout] 484 | *acc += (coeff * &pwr_y); [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] 484 - *acc += (coeff * &pwr_y); [INFO] [stdout] 484 + *acc += coeff * &pwr_y; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `transpose` [INFO] [stdout] --> src/utils.rs:617:32 [INFO] [stdout] | [INFO] [stdout] 617 | utils::{ProoverHelper, transpose}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num_bigint::BigUint` [INFO] [stdout] --> src/utils.rs:661:9 [INFO] [stdout] | [INFO] [stdout] 661 | use num_bigint::BigUint; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `OrderP` [INFO] [stdout] --> src/utils.rs:665:25 [INFO] [stdout] | [INFO] [stdout] 665 | modulus::{self, OrderP}, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rand::prelude` [INFO] [stdout] --> src/proof.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use rand::prelude::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num_traits::ConstZero` [INFO] [stdout] --> src/field.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use num_traits::ConstZero; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g_old` [INFO] [stdout] --> src/proof.rs:871:9 [INFO] [stdout] | [INFO] [stdout] 871 | g_old: &CurvePoint, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_g_old` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/utils.rs:222:13 [INFO] [stdout] | [INFO] [stdout] 222 | let mut eval_s = &self.evaluate_s_at_y(y) * &y.pow(self.n as u64); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/utils.rs:273:19 [INFO] [stdout] | [INFO] [stdout] 273 | .map(|(y, k)| y) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `final_g` and `open_value` are never read [INFO] [stdout] --> src/proof.rs:213:9 [INFO] [stdout] | [INFO] [stdout] 207 | pub struct ZkProof { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 213 | pub final_g: CurvePoint, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 214 | pub open_value: Field, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ZkProof` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `k` is never read [INFO] [stdout] --> src/proof.rs:617:9 [INFO] [stdout] | [INFO] [stdout] 613 | pub struct Verifier { [INFO] [stdout] | -------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 617 | pub k: usize, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `evaluate_k` is never used [INFO] [stdout] --> src/utils.rs:284:12 [INFO] [stdout] | [INFO] [stdout] 41 | impl ProoverHelper { [INFO] [stdout] | --------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 284 | pub fn evaluate_k(&self, x: &Field) -> Field { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `release` profile [optimized + debuginfo] target(s) in 3.55s [INFO] running `Command { std: "docker" "inspect" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `sha3::digest::typenum::Quot` [INFO] [stderr] --> src/main.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use sha3::digest::typenum::Quot; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `Modulus` [INFO] [stderr] --> src/main.rs:8:15 [INFO] [stderr] | [INFO] [stderr] 8 | modulus::{Modulus, OrderP}, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `self` [INFO] [stderr] --> src/poly.rs:2:13 [INFO] [stderr] | [INFO] [stderr] 2 | field::{self, Field}, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::default` [INFO] [stderr] --> src/proof.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use std::default; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `rand::Rng` [INFO] [stderr] --> src/proof.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use rand::Rng; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `self` [INFO] [stderr] --> src/proof.rs:14:13 [INFO] [stderr] | [INFO] [stderr] 14 | field::{self, Field}, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `self` [INFO] [stderr] --> src/utils.rs:4:13 [INFO] [stderr] | [INFO] [stderr] 4 | field::{self, Field}, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around assigned value [INFO] [stderr] --> src/utils.rs:484:29 [INFO] [stderr] | [INFO] [stderr] 484 | *acc += (coeff * &pwr_y); [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] 484 - *acc += (coeff * &pwr_y); [INFO] [stderr] 484 + *acc += coeff * &pwr_y; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: unused import: `transpose` [INFO] [stderr] --> src/utils.rs:617:32 [INFO] [stderr] | [INFO] [stderr] 617 | utils::{ProoverHelper, transpose}, [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `num_bigint::BigUint` [INFO] [stderr] --> src/utils.rs:661:9 [INFO] [stderr] | [INFO] [stderr] 661 | use num_bigint::BigUint; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `OrderP` [INFO] [stderr] --> src/utils.rs:665:25 [INFO] [stderr] | [INFO] [stderr] 665 | modulus::{self, OrderP}, [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `rand::prelude` [INFO] [stderr] --> src/proof.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use rand::prelude::*; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `num_traits::ConstZero` [INFO] [stderr] --> src/field.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | use num_traits::ConstZero; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `g_old` [INFO] [stderr] --> src/proof.rs:871:9 [INFO] [stderr] | [INFO] [stderr] 871 | g_old: &CurvePoint, [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_g_old` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/utils.rs:222:13 [INFO] [stderr] | [INFO] [stderr] 222 | let mut eval_s = &self.evaluate_s_at_y(y) * &y.pow(self.n as u64); [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `k` [INFO] [stderr] --> src/utils.rs:273:19 [INFO] [stderr] | [INFO] [stderr] 273 | .map(|(y, k)| y) [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stderr] [INFO] [stderr] warning: fields `final_g` and `open_value` are never read [INFO] [stderr] --> src/proof.rs:213:9 [INFO] [stderr] | [INFO] [stderr] 207 | pub struct ZkProof { [INFO] [stderr] | ------- fields in this struct [INFO] [stderr] ... [INFO] [stderr] 213 | pub final_g: CurvePoint, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] 214 | pub open_value: Field, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `ZkProof` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: field `k` is never read [INFO] [stderr] --> src/proof.rs:617:9 [INFO] [stderr] | [INFO] [stderr] 613 | pub struct Verifier { [INFO] [stderr] | -------- field in this struct [INFO] [stderr] ... [INFO] [stderr] 617 | pub k: usize, [INFO] [stderr] | ^ [INFO] [stderr] [INFO] [stderr] warning: method `evaluate_k` is never used [INFO] [stderr] --> src/utils.rs:284:12 [INFO] [stderr] | [INFO] [stderr] 41 | impl ProoverHelper { [INFO] [stderr] | --------------------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 284 | pub fn evaluate_k(&self, x: &Field) -> Field { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `halo` (bin "halo" test) generated 19 warnings (run `cargo fix --bin "halo" -p halo --tests` to apply 14 suggestions) [INFO] [stderr] Finished `release` profile [optimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/release/deps/halo-8995cd3f1f74db26) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] test utils::utils_tests::evaluate_r_test ... ok [INFO] [stdout] test utils::utils_tests::evaluate_s_test ... ok [INFO] [stdout] test utils::utils_tests::evaluate_t_test ... ok [INFO] [stdout] test elliptic_curve::elliptic_curve_tests::addition_test_fp ... ok [INFO] [stdout] test poly::tests::test_polynomial_addition ... ok [INFO] [stdout] test utils::utils_tests::evaluate_ss_test ... ok [INFO] [stdout] test poly::tests::test_math_and_evaluation ... ok [INFO] [stdout] test elliptic_curve::elliptic_curve_tests::addition_test_with_infinity ... ok [INFO] [stdout] test utils::utils_tests::evaluate_k_test ... ok [INFO] [stdout] test elliptic_curve::elliptic_curve_tests::doubling_test_fp ... ok [INFO] [stdout] test elliptic_curve::elliptic_curve_tests::addition_test_fq ... ok [INFO] [stdout] test poly::tests::test_polynomial_multiplication ... ok [INFO] [stdout] test utils::poly_test::s_test ... ok [INFO] [stdout] test utils::utils_tests::evaluate_g_test ... ok [INFO] [stdout] test elliptic_curve::elliptic_curve_tests::multiply ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd", kill_on_drop: false }` [INFO] [stdout] d150f1ee2e06d4d0ce5f908cff68f0f497bfa2818b0a2db1f75537a59e2257cd