[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] e9abd089798e1876e9ede91e64c0f283ebb6f9e8
[INFO] checking duguorong009/sumcheck_multilinear_rs against try#4e55a504843955c97eb06907c71f6f3e99208021 for pr-146978
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[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-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/duguorong009/sumcheck_multilinear_rs on toolchain 4e55a504843955c97eb06907c71f6f3e99208021
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4e55a504843955c97eb06907c71f6f3e99208021" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+4e55a504843955c97eb06907c71f6f3e99208021" "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] checking duguorong009/sumcheck_multilinear_rs against try#4e55a504843955c97eb06907c71f6f3e99208021 for pr-146978
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[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-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/duguorong009/sumcheck_multilinear_rs on toolchain 4e55a504843955c97eb06907c71f6f3e99208021
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4e55a504843955c97eb06907c71f6f3e99208021" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+4e55a504843955c97eb06907c71f6f3e99208021" "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 pairing v0.23.0
[INFO] [stderr]   Downloaded is_prime v2.0.9
[INFO] [stderr]   Downloaded blake2b_simd v1.0.2
[INFO] [stderr]   Downloaded unroll v0.1.5
[INFO] [stderr]   Downloaded halo2derive v0.1.0
[INFO] [stderr]   Downloaded halo2curves v0.8.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+4e55a504843955c97eb06907c71f6f3e99208021" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b1ad99d1aa01c3d139acebf347f14e638012f6d7fcc738fa726c99637172baf5
[INFO] running `Command { std: "docker" "start" "-a" "b1ad99d1aa01c3d139acebf347f14e638012f6d7fcc738fa726c99637172baf5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b1ad99d1aa01c3d139acebf347f14e638012f6d7fcc738fa726c99637172baf5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b1ad99d1aa01c3d139acebf347f14e638012f6d7fcc738fa726c99637172baf5", kill_on_drop: false }`
[INFO] [stdout] b1ad99d1aa01c3d139acebf347f14e638012f6d7fcc738fa726c99637172baf5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+4e55a504843955c97eb06907c71f6f3e99208021" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 273200191b6fd37032a37d6857ae9ca8de6ae6904a3a270f2408fde85dd25478
[INFO] running `Command { std: "docker" "start" "-a" "273200191b6fd37032a37d6857ae9ca8de6ae6904a3a270f2408fde85dd25478", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling halo2curves v0.8.0
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]     Checking constant_time_eq v0.3.1
[INFO] [stderr]     Checking arrayref v0.3.8
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking arrayvec v0.7.6
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking blake2b_simd v1.0.2
[INFO] [stderr]    Compiling syn v2.0.77
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking sha2 v0.10.8
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling serde_derive v1.0.210
[INFO] [stderr]     Checking ff v0.13.0
[INFO] [stderr]     Checking group v0.13.0
[INFO] [stderr]     Checking pairing v0.23.0
[INFO] [stderr]     Checking is_prime v2.0.9
[INFO] [stderr]    Compiling unroll v0.1.5
[INFO] [stderr]    Compiling halo2derive v0.1.0
[INFO] [stderr]     Checking serde v1.0.210
[INFO] [stderr]     Checking serde_json v1.0.128
[INFO] [stderr]     Checking 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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::polynomial::random_prime`
[INFO] [stdout]    --> src/multilinear_extension.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     use crate::polynomial::random_prime;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> src/gkr_prover.rs:449:17
[INFO] [stdout]     |
[INFO] [stdout] 449 |             let p = random_prime(32);
[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: `max_allowed_soundness_err`
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:63:9
[INFO] [stdout]    |
[INFO] [stdout] 63 |         max_allowed_soundness_err: Option<f64>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `poly` is never read
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:43:16
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct PseudoRandomGen<F>
[INFO] [stdout]    |            --------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 43 |     pub(crate) poly: PMF<F>,
[INFO] [stdout]    |                ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `PseudoRandomGen` has derived impls for the traits `Clone` and `Debug`, 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: associated function `new` is never used
[INFO] [stdout]   --> src/gkr.rs:23:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | / impl<F> GKR<F>
[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<usize, F>, f2: Vec<F>, f3: Vec<F>, l: usize) -> Self {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_randomness_v` is never used
[INFO] [stdout]    --> src/gkr_verifier.rs:156:12
[INFO] [stdout]     |
[INFO] [stdout]  34 | / impl<F> GKRVerifier<F>
[INFO] [stdout]  35 | | where
[INFO] [stdout]  36 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 156 |       pub fn get_randomness_v(&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: field `asserted_sum` is never read
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:47:5
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub struct InteractivePMFVerifier<F>
[INFO] [stdout]    |            ---------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 47 |     asserted_sum: F,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `soundness_error` and `required_field_length_bit` are never used
[INFO] [stdout]    --> src/ip_pmf_verifier.rs:113:8
[INFO] [stdout]     |
[INFO] [stdout]  56 | / impl<F> InteractivePMFVerifier<F>
[INFO] [stdout]  57 | | where
[INFO] [stdout]  58 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- methods in this implementation
[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] 
[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)]` (part of `#[warn(nonstandard_style)]`) 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<F> = 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 `G` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:382:27
[INFO] [stdout]     |
[INFO] [stdout] 382 |         let (a_hg_actual, G) = initialize_phase_one(&d_f1, l, &a_f3, &g);
[INFO] [stdout]     |                           ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:409:13
[INFO] [stdout]     |
[INFO] [stdout] 409 |         let L = 7;
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A_hg` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:413:14
[INFO] [stdout]     |
[INFO] [stdout] 413 |         let (A_hg, G) = initialize_phase_one(&gkr.f1, L, &gkr.f3, &g);
[INFO] [stdout]     |              ^^^^ help: convert the identifier to snake case: `a_hg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:413:20
[INFO] [stdout]     |
[INFO] [stdout] 413 |         let (A_hg, G) = initialize_phase_one(&gkr.f1, L, &gkr.f3, &g);
[INFO] [stdout]     |                    ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A_f1` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 |         let A_f1 = initialize_phase_two(&gkr.f1, &G, &u);
[INFO] [stdout]     |             ^^^^ help: convert the identifier to snake case: `a_f1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Ls` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:446:13
[INFO] [stdout]     |
[INFO] [stdout] 446 |         let Ls = vec![10, 11, 12];
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case: `ls`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:450:17
[INFO] [stdout]     |
[INFO] [stdout] 450 |             let L = Ls[i % Ls.len()];
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A_hg` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:456:18
[INFO] [stdout]     |
[INFO] [stdout] 456 |             let (A_hg, G, s) = pv.init_and_get_sum(&g);
[INFO] [stdout]     |                  ^^^^ help: convert the identifier to snake case: `a_hg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:456:24
[INFO] [stdout]     |
[INFO] [stdout] 456 |             let (A_hg, G, s) = pv.init_and_get_sum(&g);
[INFO] [stdout]     |                        ^ help: convert the identifier to snake case: `g`
[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<Vec<F>>,
[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<Vec<F>>,
[INFO] [stdout] 32 +         mut r#as: Vec<Vec<F>>,
[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<F> = 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<F> = 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<F>> = 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<F>> = vec![];
[INFO] [stdout] 102 +         let mut r#as: Vec<Vec<F>> = 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] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |             let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]     |                  ^^
[INFO] [stdout]     |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]     |
[INFO] [stdout] 127 -             let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout] 127 +             let (r#as, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_PMF_eval` should have a snake case name
[INFO] [stdout]   --> src/pmf.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 |     fn test_PMF_eval() {
[INFO] [stdout]    |        ^^^^^^^^^^^^^ help: convert the identifier to snake case: `test_pmf_eval`
[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<f64>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) 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<F>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) 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<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[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<F> PseudoRandomGen<F>
[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<F>) -> PseudoRandomGen<F> {
[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<F>
[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<F> Theorem<F>
[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<F>, asserted_sum: F) -> Theorem<F> {
[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<F>
[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<F> Proof<F>
[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<Vec<F>>) -> Proof<F> {
[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<F>(
[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<F: PrimeField + Clone> {
[INFO] [stdout]    |            ^^^
[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<F> GKR<F>
[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<usize, F>, f2: Vec<F>, f3: Vec<F>, 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<F>(b: F, num_variables: usize) -> Vec<F>
[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<bool> {
[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<F>(g: &[F]) -> Vec<F>
[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<F>(
[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<F>(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<F>(f1: &HashMap<usize, F>, g: &[F], u: &[F]) -> Vec<F>
[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<F, Talker>(
[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<F>(
[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<F>(
[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<F: PrimeField + Clone> {
[INFO] [stdout]     |            ^^^^^^^^^
[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<F> GKRProver<F>
[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<F>) -> Self {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 |       pub fn init_and_get_sum(&self, g: &[F]) -> (Vec<F>, Vec<F>, 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] 
[INFO] [stdout] warning: struct `GKRVerifier` is never constructed
[INFO] [stdout]   --> src/gkr_verifier.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub struct GKRVerifier<F: PrimeField + Clone> {
[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<F> GKRVerifier<F>
[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<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |       pub fn get_randomness_v(&self) -> Vec<F> {
[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<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[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<F> InteractivePMFProver<F>
[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<F>) -> InteractivePMFProver<F> {
[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<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |       pub fn calculate_all_bookkeeping_tables(&self) -> (Vec<Vec<F>>, 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<F>
[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] 
[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<F>
[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<F> InteractivePMFVerifier<F>
[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>, 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<F: PrimeField + Clone>(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<F>(data: &[F]) -> MVLinear<F>
[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<F>(data: &[(usize, F)], num_var: usize) -> MVLinear<F>
[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<F>(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<F>(data: &[(usize, F)], arguments: &[F]) -> F
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PMF` is never constructed
[INFO] [stdout]   --> src/pmf.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct PMF<F>
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `num_multiplicands`, and `eval` are never used
[INFO] [stdout]   --> src/pmf.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 18 | / impl<F> PMF<F>
[INFO] [stdout] 19 | | where
[INFO] [stdout] 20 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated items in this implementation
[INFO] [stdout] 21 |   {
[INFO] [stdout] 22 |       pub fn new(multiplicands: Vec<MVLinear<F>>) -> PMF<F> {
[INFO] [stdout]    |              ^^^
[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: struct `MVLinear` is never constructed
[INFO] [stdout]   --> src/polynomial.rs:17:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub struct MVLinear<F>
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `eval`, `eval_bin`, `eval_part`, `collapse_left`, and `collapse_right` are never used
[INFO] [stdout]    --> src/polynomial.rs:29:12
[INFO] [stdout]     |
[INFO] [stdout]  25 | / impl<F> MVLinear<F>
[INFO] [stdout]  26 | | where
[INFO] [stdout]  27 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  28 |   {
[INFO] [stdout]  29 |       pub fn new(num_variables: usize, term: Vec<(usize, F)>) -> MVLinear<F> {
[INFO] [stdout]     |              ^^^
[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<F> {
[INFO] [stdout]     |              ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |       fn collapse_left(&self, n: usize) -> MVLinear<F> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |       fn collapse_right(&self, n: usize) -> MVLinear<F> {
[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<F: PrimeField + Clone>(
[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<F>(num_variables: usize) -> MVLinear<F>
[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)]` (part of `#[warn(nonstandard_style)]`) 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<F> = 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<Vec<F>>,
[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<Vec<F>>,
[INFO] [stdout] 32 +         mut r#as: Vec<Vec<F>>,
[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<F> = 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<F> = 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<F>> = 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<F>> = vec![];
[INFO] [stdout] 102 +         let mut r#as: Vec<Vec<F>> = 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]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.40s
[INFO] running `Command { std: "docker" "inspect" "273200191b6fd37032a37d6857ae9ca8de6ae6904a3a270f2408fde85dd25478", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "273200191b6fd37032a37d6857ae9ca8de6ae6904a3a270f2408fde85dd25478", kill_on_drop: false }`
[INFO] [stdout] 273200191b6fd37032a37d6857ae9ca8de6ae6904a3a270f2408fde85dd25478
