[INFO] cloning repository https://github.com/duguorong009/sumcheck_multilinear_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/sumcheck_multilinear_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 52219d24fc49802cf504fd1ad481a7c868823b71 [INFO] building duguorong009/sumcheck_multilinear_rs against try#8b8eff55bd72abbb57167bc42222a7f91d41cb0d for pr-142134-abi-ast-error [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/duguorong009/sumcheck_multilinear_rs on toolchain 8b8eff55bd72abbb57167bc42222a7f91d41cb0d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/duguorong009/sumcheck_multilinear_rs [INFO] finished tweaking git repo https://github.com/duguorong009/sumcheck_multilinear_rs [INFO] tweaked toml for git repo https://github.com/duguorong009/sumcheck_multilinear_rs written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/duguorong009/sumcheck_multilinear_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" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0a15c294c8f4752ce4a3a051227c6c55981d5ea54e42b03a4948cb9c77492900 [INFO] running `Command { std: "docker" "start" "-a" "0a15c294c8f4752ce4a3a051227c6c55981d5ea54e42b03a4948cb9c77492900", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0a15c294c8f4752ce4a3a051227c6c55981d5ea54e42b03a4948cb9c77492900", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0a15c294c8f4752ce4a3a051227c6c55981d5ea54e42b03a4948cb9c77492900", kill_on_drop: false }` [INFO] [stdout] 0a15c294c8f4752ce4a3a051227c6c55981d5ea54e42b03a4948cb9c77492900 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+8b8eff55bd72abbb57167bc42222a7f91d41cb0d" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cdcb8082bc2fb79776894705de2b7bc804195a0069a7633df620deaab7c2293e [INFO] running `Command { std: "docker" "start" "-a" "cdcb8082bc2fb79776894705de2b7bc804195a0069a7633df620deaab7c2293e", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling funty v2.0.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.17 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling serde_json v1.0.128 [INFO] [stderr] Compiling wyz v0.5.1 [INFO] [stderr] Compiling cpufeatures v0.2.14 [INFO] [stderr] Compiling halo2curves v0.8.0 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling ryu v1.0.18 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling itoa v1.0.11 [INFO] [stderr] Compiling constant_time_eq v0.3.1 [INFO] [stderr] Compiling arrayref v0.3.8 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling bitvec v1.0.1 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling blake2b_simd v1.0.2 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.77 [INFO] [stderr] Compiling crossbeam-deque v0.8.5 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling blake2 v0.10.6 [INFO] [stderr] Compiling sha2 v0.10.8 [INFO] [stderr] Compiling ff v0.13.0 [INFO] [stderr] Compiling group v0.13.0 [INFO] [stderr] Compiling pairing v0.23.0 [INFO] [stderr] Compiling serde_derive v1.0.210 [INFO] [stderr] Compiling is_prime v2.0.9 [INFO] [stderr] Compiling unroll v0.1.5 [INFO] [stderr] Compiling halo2derive v0.1.0 [INFO] [stderr] Compiling sumcheck_multilinear_rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `FromUniformBytes` [INFO] [stdout] --> src/fs_pmf_verifier.rs:3:23 [INFO] [stdout] | [INFO] [stdout] 3 | use halo2curves::ff::{FromUniformBytes, PrimeField}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `max_allowed_soundness_err` [INFO] [stdout] --> src/ip_pmf_verifier.rs:63:9 [INFO] [stdout] | [INFO] [stdout] 63 | max_allowed_soundness_err: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_theorem_and_proof` is never used [INFO] [stdout] --> src/fs_pmf_prover.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn generate_theorem_and_proof( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used [INFO] [stdout] --> src/fs_pmf_verifier.rs:11:7 [INFO] [stdout] | [INFO] [stdout] 11 | const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PseudoRandomGen` is never constructed [INFO] [stdout] --> src/fs_pmf_verifier.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 39 | pub struct PseudoRandomGen [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PseudoRandomGen` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/fs_pmf_verifier.rs:51:12 [INFO] [stdout] | [INFO] [stdout] 47 | / impl PseudoRandomGen [INFO] [stdout] 48 | | where [INFO] [stdout] 49 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated function in this implementation [INFO] [stdout] 50 | { [INFO] [stdout] 51 | pub fn new(poly: PMF) -> PseudoRandomGen { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Theorem` is never constructed [INFO] [stdout] --> src/fs_pmf_verifier.rs:71:12 [INFO] [stdout] | [INFO] [stdout] 71 | pub struct Theorem [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/fs_pmf_verifier.rs:83:12 [INFO] [stdout] | [INFO] [stdout] 79 | / impl Theorem [INFO] [stdout] 80 | | where [INFO] [stdout] 81 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated function in this implementation [INFO] [stdout] 82 | { [INFO] [stdout] 83 | pub fn new(poly: PMF, asserted_sum: F) -> Theorem { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Proof` is never constructed [INFO] [stdout] --> src/fs_pmf_verifier.rs:89:12 [INFO] [stdout] | [INFO] [stdout] 89 | pub struct Proof [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/fs_pmf_verifier.rs:100:12 [INFO] [stdout] | [INFO] [stdout] 96 | / impl Proof [INFO] [stdout] 97 | | where [INFO] [stdout] 98 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated function in this implementation [INFO] [stdout] 99 | { [INFO] [stdout] 100 | pub fn new(prover_message: Vec>) -> Proof { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify_proof` is never used [INFO] [stdout] --> src/fs_pmf_verifier.rs:105:8 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn verify_proof( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GKR` is never constructed [INFO] [stdout] --> src/gkr.rs:12:12 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct GKR { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `GKR` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/gkr.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 19 | / impl GKR [INFO] [stdout] 20 | | where [INFO] [stdout] 21 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated function in this implementation [INFO] [stdout] 22 | { [INFO] [stdout] 23 | pub fn new(f1: HashMap, f2: Vec, f3: Vec, l: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `binary_to_list` is never used [INFO] [stdout] --> src/gkr_prover.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn binary_to_list(b: F, num_variables: usize) -> Vec [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_bits` is never used [INFO] [stdout] --> src/gkr_prover.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn to_bits(num: &[u8]) -> Vec { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `precompute` is never used [INFO] [stdout] --> src/gkr_prover.rs:35:8 [INFO] [stdout] | [INFO] [stdout] 35 | pub fn precompute(g: &[F]) -> Vec [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `initialize_phase_one` is never used [INFO] [stdout] --> src/gkr_prover.rs:73:8 [INFO] [stdout] | [INFO] [stdout] 73 | pub fn initialize_phase_one( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sum_of_gkr` is never used [INFO] [stdout] --> src/gkr_prover.rs:97:8 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn sum_of_gkr(a_hg: &[F], f2: &[F]) -> F [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `initialize_phase_two` is never used [INFO] [stdout] --> src/gkr_prover.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn initialize_phase_two(f1: &HashMap, g: &[F], u: &[F]) -> Vec [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `talk_process` is never used [INFO] [stdout] --> src/gkr_prover.rs:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | fn talk_process( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `talk_to_verifier_phase_one` is never used [INFO] [stdout] --> src/gkr_prover.rs:191:4 [INFO] [stdout] | [INFO] [stdout] 191 | fn talk_to_verifier_phase_one( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `talk_to_verifier_phase_two` is never used [INFO] [stdout] --> src/gkr_prover.rs:219:4 [INFO] [stdout] | [INFO] [stdout] 219 | fn talk_to_verifier_phase_two( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GKRProver` is never constructed [INFO] [stdout] --> src/gkr_prover.rs:247:12 [INFO] [stdout] | [INFO] [stdout] 247 | pub struct GKRProver { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `GKRProver` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `init_and_get_sum`, and `prove_to_verifier` are never used [INFO] [stdout] --> src/gkr_prover.rs:255:12 [INFO] [stdout] | [INFO] [stdout] 251 | / impl GKRProver [INFO] [stdout] 252 | | where [INFO] [stdout] 253 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated items in this implementation [INFO] [stdout] 254 | { [INFO] [stdout] 255 | pub fn new(gkr: GKR) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 261 | pub fn init_and_get_sum(&self, g: &[F]) -> (Vec, Vec, F) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 272 | pub fn prove_to_verifier( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `GKRVerifierState` is never used [INFO] [stdout] --> src/gkr_verifier.rs:14:10 [INFO] [stdout] | [INFO] [stdout] 14 | pub enum GKRVerifierState { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `GKRVerifierState` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GKRVerifier` is never constructed [INFO] [stdout] --> src/gkr_verifier.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 21 | pub struct GKRVerifier { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `talk_phase1`, `talk_phase2`, `get_randomness_u`, and `get_randomness_v` are never used [INFO] [stdout] --> src/gkr_verifier.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 34 | / impl GKRVerifier [INFO] [stdout] 35 | | where [INFO] [stdout] 36 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated items in this implementation [INFO] [stdout] 37 | { [INFO] [stdout] 38 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 67 | pub fn talk_phase1(&mut self, msgs: &[F]) -> (bool, F) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 94 | pub fn talk_phase2(&mut self, msgs: &[F]) -> (bool, F) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | pub fn get_randomness_u(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 156 | pub fn get_randomness_v(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `InteractivePMFProver` is never constructed [INFO] [stdout] --> src/ip_pmf_prover.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct InteractivePMFProver [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `InteractivePMFProver` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `attempt_prove`, `calculate_single_table`, and `calculate_all_bookkeeping_tables` are never used [INFO] [stdout] --> src/ip_pmf_prover.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 17 | / impl InteractivePMFProver [INFO] [stdout] 18 | | where [INFO] [stdout] 19 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated items in this implementation [INFO] [stdout] 20 | { [INFO] [stdout] 21 | pub fn new(poly: PMF) -> InteractivePMFProver { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | pub fn attempt_prove( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 78 | pub fn calculate_single_table(&self, index: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 100 | pub fn calculate_all_bookkeeping_tables(&self) -> (Vec>, F) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used [INFO] [stdout] --> src/ip_pmf_verifier.rs:8:11 [INFO] [stdout] | [INFO] [stdout] 8 | pub const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `RandomGen` is never used [INFO] [stdout] --> src/ip_pmf_verifier.rs:10:11 [INFO] [stdout] | [INFO] [stdout] 10 | pub trait RandomGen [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TrueRandomGen` is never constructed [INFO] [stdout] --> src/ip_pmf_verifier.rs:20:12 [INFO] [stdout] | [INFO] [stdout] 20 | pub struct TrueRandomGen { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TrueRandomGen` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/ip_pmf_verifier.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 24 | impl TrueRandomGen { [INFO] [stdout] | ------------------ associated function in this implementation [INFO] [stdout] 25 | fn new(_seed: u64) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `InteractivePMFVerifier` is never constructed [INFO] [stdout] --> src/ip_pmf_verifier.rs:40:12 [INFO] [stdout] | [INFO] [stdout] 40 | pub struct InteractivePMFVerifier [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `random_r`, `soundness_error`, `required_field_length_bit`, `talk`, and `subclaim` are never used [INFO] [stdout] --> src/ip_pmf_verifier.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 56 | / impl InteractivePMFVerifier [INFO] [stdout] 57 | | where [INFO] [stdout] 58 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- associated items in this implementation [INFO] [stdout] 59 | { [INFO] [stdout] 60 | pub fn new( [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 109 | fn random_r(&mut self) -> F { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | fn soundness_error(&self) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 120 | fn required_field_length_bit(&self, e: f64) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 129 | pub fn talk(&mut self, msgs: &[F]) -> (bool, F) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 187 | pub fn subclaim(&self) -> (Vec, F) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `interpolate` is never used [INFO] [stdout] --> src/ip_pmf_verifier.rs:213:4 [INFO] [stdout] | [INFO] [stdout] 213 | fn interpolate(points: &[F], r: F) -> F { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extend` is never used [INFO] [stdout] --> src/multilinear_extension.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn extend(data: &[F]) -> MVLinear [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extend_sparse` is never used [INFO] [stdout] --> src/multilinear_extension.rs:53:8 [INFO] [stdout] | [INFO] [stdout] 53 | pub fn extend_sparse(data: &[(usize, F)], num_var: usize) -> MVLinear [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluate` is never used [INFO] [stdout] --> src/multilinear_extension.rs:111:8 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn evaluate(data: &[F], arguments: &[F]) -> F [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `evaluate_sparse` is never used [INFO] [stdout] --> src/multilinear_extension.rs:137:8 [INFO] [stdout] | [INFO] [stdout] 137 | pub fn evaluate_sparse(data: &[(usize, F)], arguments: &[F]) -> F [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `num_multiplicands` and `eval` are never used [INFO] [stdout] --> src/pmf.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 18 | / impl PMF [INFO] [stdout] 19 | | where [INFO] [stdout] 20 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 36 | pub fn num_multiplicands(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 40 | pub fn eval(&self, at: &[F]) -> F { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `eval`, `eval_bin`, `eval_part`, `collapse_left`, and `collapse_right` are never used [INFO] [stdout] --> src/polynomial.rs:58:12 [INFO] [stdout] | [INFO] [stdout] 25 | / impl MVLinear [INFO] [stdout] 26 | | where [INFO] [stdout] 27 | | F: PrimeField + Clone, [INFO] [stdout] | |__________________________- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn eval(&self, at: &[F]) -> F { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 82 | pub fn eval_bin(&self, at: usize) -> F { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 98 | pub fn eval_part(&self, args: &[F]) -> MVLinear { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | fn collapse_left(&self, n: usize) -> MVLinear { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 143 | fn collapse_right(&self, n: usize) -> MVLinear { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_mvlinear_constructor` is never used [INFO] [stdout] --> src/polynomial.rs:339:8 [INFO] [stdout] | [INFO] [stdout] 339 | pub fn make_mvlinear_constructor( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `random_prime` is never used [INFO] [stdout] --> src/polynomial.rs:347:8 [INFO] [stdout] | [INFO] [stdout] 347 | pub fn random_prime(bit_length: usize) -> u64 { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `random_mvlinear` is never used [INFO] [stdout] --> src/polynomial.rs:359:8 [INFO] [stdout] | [INFO] [stdout] 359 | pub fn random_mvlinear(num_variables: usize) -> MVLinear [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `As` should have a snake case name [INFO] [stdout] --> src/fs_pmf_prover.rs:23:10 [INFO] [stdout] | [INFO] [stdout] 23 | let (As, s) = pv.calculate_all_bookkeeping_tables(); [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier [INFO] [stdout] | [INFO] [stdout] 23 - let (As, s) = pv.calculate_all_bookkeeping_tables(); [INFO] [stdout] 23 + let (r#as, s) = pv.calculate_all_bookkeeping_tables(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G` should have a snake case name [INFO] [stdout] --> src/gkr_prover.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | let mut G: Vec = vec![F::ZERO; 1 << l]; [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `old_G` should have a snake case name [INFO] [stdout] --> src/gkr_prover.rs:44:13 [INFO] [stdout] | [INFO] [stdout] 44 | let old_G = G.clone(); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `old_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G` should have a snake case name [INFO] [stdout] --> src/gkr_prover.rs:86:9 [INFO] [stdout] | [INFO] [stdout] 86 | let G = precompute(g); [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `U` should have a snake case name [INFO] [stdout] --> src/gkr_prover.rs:121:9 [INFO] [stdout] | [INFO] [stdout] 121 | let U = precompute(u); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `As` should have a snake case name [INFO] [stdout] --> src/ip_pmf_prover.rs:32:13 [INFO] [stdout] | [INFO] [stdout] 32 | mut As: Vec>, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier [INFO] [stdout] | [INFO] [stdout] 32 - mut As: Vec>, [INFO] [stdout] 32 + mut r#as: Vec>, [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/ip_pmf_prover.rs:44:29 [INFO] [stdout] | [INFO] [stdout] 44 | let A = As[j].clone(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/ip_pmf_prover.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | let mut A: Vec = vec![F::ZERO; 2usize.pow(self.poly.num_variables as u32)]; [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/ip_pmf_prover.rs:101:17 [INFO] [stdout] | [INFO] [stdout] 101 | let mut S: Vec = vec![F::ONE; 2usize.pow(self.poly.num_variables as u32)]; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `As` should have a snake case name [INFO] [stdout] --> src/ip_pmf_prover.rs:102:17 [INFO] [stdout] | [INFO] [stdout] 102 | let mut As: Vec> = vec![]; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier [INFO] [stdout] | [INFO] [stdout] 102 - let mut As: Vec> = vec![]; [INFO] [stdout] 102 + let mut r#as: Vec> = vec![]; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/ip_pmf_prover.rs:104:17 [INFO] [stdout] | [INFO] [stdout] 104 | let A = self.calculate_single_table(i); [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device [INFO] [stderr] error: could not compile `halo2curves` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] No space left on device (os error 28) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to parse process output: `/opt/rustwide/rustup-home/toolchains/8b8eff55bd72abbb57167bc42222a7f91d41cb0d/bin/rustc --crate-name halo2curves --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/halo2curves-0.8.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="bits"' --cfg 'feature="default"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("asm", "bits", "bn256-table", "default", "derive_serde", "hex", "print-trace", "serde", "serde_arrays"))' -C metadata=e1c3a34b1b6a21c2 -C extra-filename=-5e3e421d4e37bf98 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern blake2=/opt/rustwide/target/debug/deps/libblake2-be8563cb4002ed3d.rmeta --extern digest=/opt/rustwide/target/debug/deps/libdigest-c6c73454f307399a.rmeta --extern ff=/opt/rustwide/target/debug/deps/libff-b5bbf36d24406587.rmeta --extern group=/opt/rustwide/target/debug/deps/libgroup-6d317e459836b449.rmeta --extern halo2derive=/opt/rustwide/target/debug/deps/libhalo2derive-dd34f68fd33f17b0.so --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-30a961c9c1cd9eba.rmeta --extern num_bigint=/opt/rustwide/target/debug/deps/libnum_bigint-30988b12769c78c6.rmeta --extern num_integer=/opt/rustwide/target/debug/deps/libnum_integer-618c9dcfdd7379b3.rmeta --extern num_traits=/opt/rustwide/target/debug/deps/libnum_traits-ce1a5e94e8de3408.rmeta --extern pairing=/opt/rustwide/target/debug/deps/libpairing-3e24b29cd56c2d3c.rmeta --extern paste=/opt/rustwide/target/debug/deps/libpaste-c439aa31802bef8b.so --extern rand=/opt/rustwide/target/debug/deps/librand-31d28bd0b545207e.rmeta --extern rand_core=/opt/rustwide/target/debug/deps/librand_core-0ee2fcd45ad83656.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-5b5b1b7df97c0e37.rmeta --extern sha2=/opt/rustwide/target/debug/deps/libsha2-124ff21b3e4c75d0.rmeta --extern static_assertions=/opt/rustwide/target/debug/deps/libstatic_assertions-9e16f6c4863825ef.rmeta --extern subtle=/opt/rustwide/target/debug/deps/libsubtle-3f07a152c628da6c.rmeta --extern unroll=/opt/rustwide/target/debug/deps/libunroll-a1a9a4998474bec1.so --cap-lints allow --cap-lints=warn` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "cdcb8082bc2fb79776894705de2b7bc804195a0069a7633df620deaab7c2293e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cdcb8082bc2fb79776894705de2b7bc804195a0069a7633df620deaab7c2293e", kill_on_drop: false }` [INFO] [stdout] cdcb8082bc2fb79776894705de2b7bc804195a0069a7633df620deaab7c2293e