[INFO] cloning repository https://github.com/Saksham010/mini-stark [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Saksham010/mini-stark" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaksham010%2Fmini-stark", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaksham010%2Fmini-stark'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 101af364dbfbae8bfa3ebb05b765e7ab9b6a2b96 [INFO] checking Saksham010/mini-stark against master#a33907a7a5381473eec8bcfa0c56e05a856a911c for pr-151539 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaksham010%2Fmini-stark" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/Saksham010/mini-stark [INFO] finished tweaking git repo https://github.com/Saksham010/mini-stark [INFO] tweaked toml for git repo https://github.com/Saksham010/mini-stark written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/Saksham010/mini-stark on toolchain a33907a7a5381473eec8bcfa0c56e05a856a911c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/Saksham010/mini-stark 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" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating git repository `https://github.com/arkworks-rs/spongefish` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded enum-ordinalize-derive v4.3.2 [INFO] [stderr] Downloaded enum-ordinalize v4.3.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 10c93e73d37eadd1b3f93adf628dddb43b611288e629bd0abea450a088952fd9 [INFO] running `Command { std: "docker" "start" "-a" "10c93e73d37eadd1b3f93adf628dddb43b611288e629bd0abea450a088952fd9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "10c93e73d37eadd1b3f93adf628dddb43b611288e629bd0abea450a088952fd9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "10c93e73d37eadd1b3f93adf628dddb43b611288e629bd0abea450a088952fd9", kill_on_drop: false }` [INFO] [stdout] 10c93e73d37eadd1b3f93adf628dddb43b611288e629bd0abea450a088952fd9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8a06298daf0a049f814fb53672815e64631b3c24c8e271f9a67c54fef9e67700 [INFO] running `Command { std: "docker" "start" "-a" "8a06298daf0a049f814fb53672815e64631b3c24c8e271f9a67c54fef9e67700", kill_on_drop: false }` [INFO] [stderr] Compiling syn v2.0.110 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking memchr v2.7.6 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Checking ahash v0.8.12 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking aho-corasick v1.1.4 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Checking getrandom v0.2.16 [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] Checking regex v1.12.2 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.2 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling enum-ordinalize v4.3.2 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Checking thiserror v2.0.17 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-ec v0.5.0 [INFO] [stderr] Checking ark-bn254 v0.5.0 [INFO] [stderr] Checking spongefish v0.2.0-alpha (https://github.com/arkworks-rs/spongefish#fce4bfed) [INFO] [stderr] Checking mini-stark v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `FpGoldilocks` [INFO] [stdout] --> src/fields/mod.rs:2:22 [INFO] [stdout] | [INFO] [stdout] 2 | pub use goldilocks::{FpGoldilocks}; [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: `FpGoldilocks` [INFO] [stdout] --> src/fields/mod.rs:2:22 [INFO] [stdout] | [INFO] [stdout] 2 | pub use goldilocks::{FpGoldilocks}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `k` is never read [INFO] [stdout] --> src/merkle/merkle.rs:88:23 [INFO] [stdout] | [INFO] [stdout] 88 | let mut k:usize = 0; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `k` is never read [INFO] [stdout] --> src/merkle/merkle.rs:88:23 [INFO] [stdout] | [INFO] [stdout] 88 | let mut k:usize = 0; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_hash_one` is never used [INFO] [stdout] --> src/merkle/merkle.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn compute_hash_one(t: FpGoldilocks) -> FpGoldilocks { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_hash_list` is never used [INFO] [stdout] --> src/merkle/merkle.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn compute_hash_list(leaf_arr:&Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_min` is never used [INFO] [stdout] --> src/merkle/merkle.rs:58:4 [INFO] [stdout] | [INFO] [stdout] 58 | fn get_min(a:usize,b:usize)->usize{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `commit` is never used [INFO] [stdout] --> src/merkle/merkle.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn commit(mut leaf_arr_h:Vec)->FpGoldilocks { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_sibling_values` is never used [INFO] [stdout] --> src/merkle/merkle.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn compute_sibling_values(mut val_idx:usize,mut leaf_arr_h:Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `RS_CODEWORD` should have a snake case name [INFO] [stdout] --> src/lib.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | let mut RS_CODEWORD:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `rs_codeword` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/lib.rs:253:57 [INFO] [stdout] | [INFO] [stdout] 253 | pub fn initialize_domain_separator(transcript_len:usize,N:usize) -> ProverState{ [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:65:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:87:13 [INFO] [stdout] | [INFO] [stdout] 87 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_hash_one` is never used [INFO] [stdout] --> src/merkle/merkle.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn compute_hash_one(t: FpGoldilocks) -> FpGoldilocks { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_hash_list` is never used [INFO] [stdout] --> src/merkle/merkle.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn compute_hash_list(leaf_arr:&Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_min` is never used [INFO] [stdout] --> src/merkle/merkle.rs:58:4 [INFO] [stdout] | [INFO] [stdout] 58 | fn get_min(a:usize,b:usize)->usize{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `commit` is never used [INFO] [stdout] --> src/merkle/merkle.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn commit(mut leaf_arr_h:Vec)->FpGoldilocks { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_sibling_values` is never used [INFO] [stdout] --> src/merkle/merkle.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn compute_sibling_values(mut val_idx:usize,mut leaf_arr_h:Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `RS_CODEWORD` should have a snake case name [INFO] [stdout] --> src/lib.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | let mut RS_CODEWORD:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `rs_codeword` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/lib.rs:253:57 [INFO] [stdout] | [INFO] [stdout] 253 | pub fn initialize_domain_separator(transcript_len:usize,N:usize) -> ProverState{ [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:65:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:87:13 [INFO] [stdout] | [INFO] [stdout] 87 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FpGoldilocks` [INFO] [stdout] --> src/fields/mod.rs:2:22 [INFO] [stdout] | [INFO] [stdout] 2 | pub use goldilocks::{FpGoldilocks}; [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: `FpGoldilocks` [INFO] [stdout] --> src/fields/mod.rs:2:22 [INFO] [stdout] | [INFO] [stdout] 2 | pub use goldilocks::{FpGoldilocks}; [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: `FpGoldilocks` [INFO] [stdout] --> src/fields/mod.rs:2:22 [INFO] [stdout] | [INFO] [stdout] 2 | pub use goldilocks::{FpGoldilocks}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `k` is never read [INFO] [stdout] --> src/merkle/merkle.rs:88:23 [INFO] [stdout] | [INFO] [stdout] 88 | let mut k:usize = 0; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GoldilocksConfig` is never constructed [INFO] [stdout] --> src/fields/goldilocks.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct GoldilocksConfig; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `FpGoldilocks` is never used [INFO] [stdout] --> src/fields/goldilocks.rs:10:10 [INFO] [stdout] | [INFO] [stdout] 10 | pub type FpGoldilocks = Fp, 1>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_hash_list` is never used [INFO] [stdout] --> src/merkle/merkle.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn compute_hash_list(leaf_arr:&Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_min` is never used [INFO] [stdout] --> src/merkle/merkle.rs:58:4 [INFO] [stdout] | [INFO] [stdout] 58 | fn get_min(a:usize,b:usize)->usize{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `commit` is never used [INFO] [stdout] --> src/merkle/merkle.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn commit(mut leaf_arr_h:Vec)->FpGoldilocks { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_sibling_values` is never used [INFO] [stdout] --> src/merkle/merkle.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn compute_sibling_values(mut val_idx:usize,mut leaf_arr_h:Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/verifier.rs:111:56 [INFO] [stdout] | [INFO] [stdout] 111 | fn fiat_shamir_challenges(transcript:Vec,N:usize,composition_merkle_root:FpGoldilocks)->(ProverState,[FpGoldilocks;3]){ [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> src/verifier.rs:153:9 [INFO] [stdout] | [INFO] [stdout] 153 | let T = execution_trace.len(); //Trace length (dimension k in RS code) [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/verifier.rs:154:9 [INFO] [stdout] | [INFO] [stdout] 154 | let N = blowupfactor * T; //Size for extension domain [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_T` should have a snake case name [INFO] [stdout] --> src/verifier.rs:157:9 [INFO] [stdout] | [INFO] [stdout] 157 | let roots_unity_T:Vec = generate_evaluation_domain(T); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_N` should have a snake case name [INFO] [stdout] --> src/verifier.rs:160:9 [INFO] [stdout] | [INFO] [stdout] 160 | let roots_unity_N:Vec = generate_evaluation_domain(N); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:65:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:87:13 [INFO] [stdout] | [INFO] [stdout] 87 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `k` is never read [INFO] [stdout] --> src/merkle/merkle.rs:88:23 [INFO] [stdout] | [INFO] [stdout] 88 | let mut k:usize = 0; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `proof_one` is never read [INFO] [stdout] --> src/prover.rs:200:47 [INFO] [stdout] | [INFO] [stdout] 200 | let mut proof_one:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `proof_two` is never read [INFO] [stdout] --> src/prover.rs:201:47 [INFO] [stdout] | [INFO] [stdout] 201 | let mut proof_two:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `proof_three` is never read [INFO] [stdout] --> src/prover.rs:202:49 [INFO] [stdout] | [INFO] [stdout] 202 | let mut proof_three:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_fp_from_list` is never used [INFO] [stdout] --> src/prover.rs:34:4 [INFO] [stdout] | [INFO] [stdout] 34 | fn get_fp_from_list(u64_list:&Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GoldilocksConfig` is never constructed [INFO] [stdout] --> src/fields/goldilocks.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct GoldilocksConfig; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `FpGoldilocks` is never used [INFO] [stdout] --> src/fields/goldilocks.rs:10:10 [INFO] [stdout] | [INFO] [stdout] 10 | pub type FpGoldilocks = Fp, 1>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify_opening` is never used [INFO] [stdout] --> src/merkle/merkle.rs:125:8 [INFO] [stdout] | [INFO] [stdout] 125 | pub fn verify_opening(mut opening_idx:usize,opening_value_hash:FpGoldilocks,authentication_paths:&Vec,merkle_root:&Fp... [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/prover.rs:44:60 [INFO] [stdout] | [INFO] [stdout] 44 | fn fiat_shamir_challenges_one(transcript:Vec,N:usize)->(ProverState,[FpGoldilocks;6]){ [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> src/prover.rs:90:9 [INFO] [stdout] | [INFO] [stdout] 90 | let T = execution_trace.len(); //Trace length (dimension k in RS code) [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/prover.rs:91:9 [INFO] [stdout] | [INFO] [stdout] 91 | let N = blowupfactor * T; //Size for extension domain [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_T` should have a snake case name [INFO] [stdout] --> src/prover.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | let roots_unity_T:Vec = generate_evaluation_domain(T); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_N` should have a snake case name [INFO] [stdout] --> src/prover.rs:97:9 [INFO] [stdout] | [INFO] [stdout] 97 | let roots_unity_N:Vec = generate_evaluation_domain(N); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `RS_CODEWORDS` should have a snake case name [INFO] [stdout] --> src/prover.rs:153:9 [INFO] [stdout] | [INFO] [stdout] 153 | let RS_CODEWORDS:Vec = evaluate_poly_from_domain(&composition_poly,&lde_evaluation_domain); // Evaluation of poly... [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `rs_codewords` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `RS_CODEWORDS_HASH` should have a snake case name [INFO] [stdout] --> src/prover.rs:154:9 [INFO] [stdout] | [INFO] [stdout] 154 | let RS_CODEWORDS_HASH:Vec = compute_hash_list(&RS_CODEWORDS); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `rs_codewords_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:65:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:87:13 [INFO] [stdout] | [INFO] [stdout] 87 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FpGoldilocks` [INFO] [stdout] --> src/fields/mod.rs:2:22 [INFO] [stdout] | [INFO] [stdout] 2 | pub use goldilocks::{FpGoldilocks}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `k` is never read [INFO] [stdout] --> src/merkle/merkle.rs:88:23 [INFO] [stdout] | [INFO] [stdout] 88 | let mut k:usize = 0; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `proof_one` is never read [INFO] [stdout] --> src/prover.rs:200:47 [INFO] [stdout] | [INFO] [stdout] 200 | let mut proof_one:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `proof_two` is never read [INFO] [stdout] --> src/prover.rs:201:47 [INFO] [stdout] | [INFO] [stdout] 201 | let mut proof_two:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `proof_three` is never read [INFO] [stdout] --> src/prover.rs:202:49 [INFO] [stdout] | [INFO] [stdout] 202 | let mut proof_three:Vec = Vec::new(); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_fp_from_list` is never used [INFO] [stdout] --> src/prover.rs:34:4 [INFO] [stdout] | [INFO] [stdout] 34 | fn get_fp_from_list(u64_list:&Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GoldilocksConfig` is never constructed [INFO] [stdout] --> src/fields/goldilocks.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct GoldilocksConfig; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `FpGoldilocks` is never used [INFO] [stdout] --> src/fields/goldilocks.rs:10:10 [INFO] [stdout] | [INFO] [stdout] 10 | pub type FpGoldilocks = Fp, 1>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `verify_opening` is never used [INFO] [stdout] --> src/merkle/merkle.rs:125:8 [INFO] [stdout] | [INFO] [stdout] 125 | pub fn verify_opening(mut opening_idx:usize,opening_value_hash:FpGoldilocks,authentication_paths:&Vec,merkle_root:&Fp... [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/prover.rs:44:60 [INFO] [stdout] | [INFO] [stdout] 44 | fn fiat_shamir_challenges_one(transcript:Vec,N:usize)->(ProverState,[FpGoldilocks;6]){ [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> src/prover.rs:90:9 [INFO] [stdout] | [INFO] [stdout] 90 | let T = execution_trace.len(); //Trace length (dimension k in RS code) [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/prover.rs:91:9 [INFO] [stdout] | [INFO] [stdout] 91 | let N = blowupfactor * T; //Size for extension domain [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_T` should have a snake case name [INFO] [stdout] --> src/prover.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | let roots_unity_T:Vec = generate_evaluation_domain(T); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_N` should have a snake case name [INFO] [stdout] --> src/prover.rs:97:9 [INFO] [stdout] | [INFO] [stdout] 97 | let roots_unity_N:Vec = generate_evaluation_domain(N); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `RS_CODEWORDS` should have a snake case name [INFO] [stdout] --> src/prover.rs:153:9 [INFO] [stdout] | [INFO] [stdout] 153 | let RS_CODEWORDS:Vec = evaluate_poly_from_domain(&composition_poly,&lde_evaluation_domain); // Evaluation of poly... [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `rs_codewords` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `RS_CODEWORDS_HASH` should have a snake case name [INFO] [stdout] --> src/prover.rs:154:9 [INFO] [stdout] | [INFO] [stdout] 154 | let RS_CODEWORDS_HASH:Vec = compute_hash_list(&RS_CODEWORDS); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `rs_codewords_hash` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:65:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:87:13 [INFO] [stdout] | [INFO] [stdout] 87 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `k` is never read [INFO] [stdout] --> src/merkle/merkle.rs:88:23 [INFO] [stdout] | [INFO] [stdout] 88 | let mut k:usize = 0; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `GoldilocksConfig` is never constructed [INFO] [stdout] --> src/fields/goldilocks.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct GoldilocksConfig; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `FpGoldilocks` is never used [INFO] [stdout] --> src/fields/goldilocks.rs:10:10 [INFO] [stdout] | [INFO] [stdout] 10 | pub type FpGoldilocks = Fp, 1>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_hash_list` is never used [INFO] [stdout] --> src/merkle/merkle.rs:49:8 [INFO] [stdout] | [INFO] [stdout] 49 | pub fn compute_hash_list(leaf_arr:&Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_min` is never used [INFO] [stdout] --> src/merkle/merkle.rs:58:4 [INFO] [stdout] | [INFO] [stdout] 58 | fn get_min(a:usize,b:usize)->usize{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `commit` is never used [INFO] [stdout] --> src/merkle/merkle.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn commit(mut leaf_arr_h:Vec)->FpGoldilocks { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_sibling_values` is never used [INFO] [stdout] --> src/merkle/merkle.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn compute_sibling_values(mut val_idx:usize,mut leaf_arr_h:Vec)->Vec{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/verifier.rs:111:56 [INFO] [stdout] | [INFO] [stdout] 111 | fn fiat_shamir_challenges(transcript:Vec,N:usize,composition_merkle_root:FpGoldilocks)->(ProverState,[FpGoldilocks;3]){ [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> src/verifier.rs:153:9 [INFO] [stdout] | [INFO] [stdout] 153 | let T = execution_trace.len(); //Trace length (dimension k in RS code) [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/verifier.rs:154:9 [INFO] [stdout] | [INFO] [stdout] 154 | let N = blowupfactor * T; //Size for extension domain [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_T` should have a snake case name [INFO] [stdout] --> src/verifier.rs:157:9 [INFO] [stdout] | [INFO] [stdout] 157 | let roots_unity_T:Vec = generate_evaluation_domain(T); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `roots_unity_N` should have a snake case name [INFO] [stdout] --> src/verifier.rs:160:9 [INFO] [stdout] | [INFO] [stdout] 160 | let roots_unity_N:Vec = generate_evaluation_domain(N); [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `roots_unity_n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:65:13 [INFO] [stdout] | [INFO] [stdout] 65 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `N` should have a snake case name [INFO] [stdout] --> src/merkle/merkle.rs:87:13 [INFO] [stdout] | [INFO] [stdout] 87 | let mut N = leaf_arr_h.len(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `n` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.42s [INFO] running `Command { std: "docker" "inspect" "8a06298daf0a049f814fb53672815e64631b3c24c8e271f9a67c54fef9e67700", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a06298daf0a049f814fb53672815e64631b3c24c8e271f9a67c54fef9e67700", kill_on_drop: false }` [INFO] [stdout] 8a06298daf0a049f814fb53672815e64631b3c24c8e271f9a67c54fef9e67700