[INFO] cloning repository https://github.com/Saksham010/mini-plonk
[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-plonk" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaksham010%2Fmini-plonk", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaksham010%2Fmini-plonk'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 631350c1759a7c29977e4cc394b117df74743b2b
[INFO] checking Saksham010/mini-plonk against try#81ab7f2139295590561adbe6d5b0aaa2feff765f for pr-146470-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaksham010%2Fmini-plonk" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Saksham010/mini-plonk
[INFO] finished tweaking git repo https://github.com/Saksham010/mini-plonk
[INFO] tweaked toml for git repo https://github.com/Saksham010/mini-plonk written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Saksham010/mini-plonk on toolchain 81ab7f2139295590561adbe6d5b0aaa2feff765f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+81ab7f2139295590561adbe6d5b0aaa2feff765f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Saksham010/mini-plonk 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" "+81ab7f2139295590561adbe6d5b0aaa2feff765f" "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
[ERROR] error running command: no output for 300 seconds
[INFO] checking Saksham010/mini-plonk against try#81ab7f2139295590561adbe6d5b0aaa2feff765f for pr-146470-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSaksham010%2Fmini-plonk" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Saksham010/mini-plonk
[INFO] finished tweaking git repo https://github.com/Saksham010/mini-plonk
[INFO] tweaked toml for git repo https://github.com/Saksham010/mini-plonk written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Saksham010/mini-plonk on toolchain 81ab7f2139295590561adbe6d5b0aaa2feff765f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+81ab7f2139295590561adbe6d5b0aaa2feff765f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Saksham010/mini-plonk 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" "+81ab7f2139295590561adbe6d5b0aaa2feff765f" "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 ark-bn254 v0.5.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+81ab7f2139295590561adbe6d5b0aaa2feff765f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1b241c6cce73c25f5d45fc7558ced98aedc813b166275a1a38fb189cc2b8a6ab
[INFO] running `Command { std: "docker" "start" "-a" "1b241c6cce73c25f5d45fc7558ced98aedc813b166275a1a38fb189cc2b8a6ab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1b241c6cce73c25f5d45fc7558ced98aedc813b166275a1a38fb189cc2b8a6ab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1b241c6cce73c25f5d45fc7558ced98aedc813b166275a1a38fb189cc2b8a6ab", kill_on_drop: false }`
[INFO] [stdout] 1b241c6cce73c25f5d45fc7558ced98aedc813b166275a1a38fb189cc2b8a6ab
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+81ab7f2139295590561adbe6d5b0aaa2feff765f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 383c5eeb8f284d09bf397dee1cc2311328b9f2caf3af771442f5778138a058fb
[INFO] running `Command { std: "docker" "start" "-a" "383c5eeb8f284d09bf397dee1cc2311328b9f2caf3af771442f5778138a058fb", kill_on_drop: false }`
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]    Compiling thiserror v2.0.14
[INFO] [stderr]    Compiling serde_json v1.0.141
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking getrandom v0.2.16
[INFO] [stderr]     Checking ahash v0.8.11
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.1
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.14
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]     Checking sha3 v0.10.8
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking hashbrown v0.15.2
[INFO] [stderr]    Compiling enum-ordinalize v4.3.0
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0
[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 spongefish v0.2.0 (https://github.com/arkworks-rs/spongefish#3ded547f)
[INFO] [stderr]     Checking ark-bn254 v0.5.0
[INFO] [stderr]     Checking mini_plonk v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `regex::Regex`
[INFO] [stdout]  --> src/lib.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use regex::Regex;
[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: `HashSet`
[INFO] [stdout]  --> src/lib.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::collections::{HashMap,HashSet};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Bn254`
[INFO] [stdout]  --> src/lib.rs:7:17
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_bn254::{Bn254,Fr,FqConfig,Fq2Config,G1Projective as G1, G2Projective as G2}; // Scalar field
[INFO] [stdout]   |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Field` and `PrimeField`
[INFO] [stdout]  --> src/lib.rs:8:22
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_ff::fields::{Field,PrimeField};
[INFO] [stdout]   |                      ^^^^^ ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing`
[INFO] [stdout]   --> src/lib.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use ark_ec::pairing::Pairing;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_poly::Polynomial`
[INFO] [stdout]   --> src/lib.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use ark_poly::Polynomial;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `DefaultHash` and `DomainSeparator`
[INFO] [stdout]   --> src/lib.rs:18:18
[INFO] [stdout]    |
[INFO] [stdout] 18 | use spongefish::{DomainSeparator,DefaultHash};
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^ ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_serialize::Write`
[INFO] [stdout]   --> src/lib.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 | use ark_serialize::Write;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `regex::Regex`
[INFO] [stdout]  --> src/lib.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use regex::Regex;
[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: `HashSet`
[INFO] [stdout]  --> src/lib.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::collections::{HashMap,HashSet};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Bn254`
[INFO] [stdout]  --> src/lib.rs:7:17
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_bn254::{Bn254,Fr,FqConfig,Fq2Config,G1Projective as G1, G2Projective as G2}; // Scalar field
[INFO] [stdout]   |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Field` and `PrimeField`
[INFO] [stdout]  --> src/lib.rs:8:22
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_ff::fields::{Field,PrimeField};
[INFO] [stdout]   |                      ^^^^^ ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing`
[INFO] [stdout]   --> src/lib.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use ark_ec::pairing::Pairing;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_poly::Polynomial`
[INFO] [stdout]   --> src/lib.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use ark_poly::Polynomial;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `DefaultHash` and `DomainSeparator`
[INFO] [stdout]   --> src/lib.rs:18:18
[INFO] [stdout]    |
[INFO] [stdout] 18 | use spongefish::{DomainSeparator,DefaultHash};
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^ ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_serialize::Write`
[INFO] [stdout]   --> src/lib.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 | use ark_serialize::Write;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spongefish::codecs::arkworks_algebra`
[INFO] [stdout]   --> src/lib.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use spongefish::codecs::arkworks_algebra::*;  
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spongefish::codecs::arkworks_algebra`
[INFO] [stdout]   --> src/lib.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use spongefish::codecs::arkworks_algebra::*;  
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/lib.rs:156:9
[INFO] [stdout]     |
[INFO] [stdout] 156 |     let mut r_operand = fetch_operand_and_save_coeff(r,index,coeff_matrix,1);
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/lib.rs:156:9
[INFO] [stdout]     |
[INFO] [stdout] 156 |     let mut r_operand = fetch_operand_and_save_coeff(r,index,coeff_matrix,1);
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/lib.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |     let mut lagrange_basis_poly:Vec<DensePolynomial<Fr>>=Vec::new();
[INFO] [stdout]     |         ----^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lagrange_basis_poly`
[INFO] [stdout]    --> src/lib.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |     let mut lagrange_basis_poly:Vec<DensePolynomial<Fr>>=Vec::new();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_lagrange_basis_poly`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/lib.rs:304:9
[INFO] [stdout]     |
[INFO] [stdout] 304 |     for i in 0..num_of_scalars{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/lib.rs:317:9
[INFO] [stdout]     |
[INFO] [stdout] 317 |     for i in eval_domain{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/lib.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |     let mut lagrange_basis_poly:Vec<DensePolynomial<Fr>>=Vec::new();
[INFO] [stdout]     |         ----^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lagrange_basis_poly`
[INFO] [stdout]    --> src/lib.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |     let mut lagrange_basis_poly:Vec<DensePolynomial<Fr>>=Vec::new();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_lagrange_basis_poly`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/lib.rs:304:9
[INFO] [stdout]     |
[INFO] [stdout] 304 |     for i in 0..num_of_scalars{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/lib.rs:317:9
[INFO] [stdout]     |
[INFO] [stdout] 317 |     for i in eval_domain{
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> src/lib.rs:625:12
[INFO] [stdout]     |
[INFO] [stdout] 625 |         if i >=0 && i <= 13{
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> src/lib.rs:625:12
[INFO] [stdout]     |
[INFO] [stdout] 625 |         if i >=0 && i <= 13{
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:634:13
[INFO] [stdout]     |
[INFO] [stdout] 634 |             element_x.serialize_uncompressed(&mut serialized_data_x);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 634 |             let _ = element_x.serialize_uncompressed(&mut serialized_data_x);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:635:13
[INFO] [stdout]     |
[INFO] [stdout] 635 |             element_y.serialize_uncompressed(&mut serialized_data_y);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 635 |             let _ = element_y.serialize_uncompressed(&mut serialized_data_y);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:636:13
[INFO] [stdout]     |
[INFO] [stdout] 636 |             element_z.serialize_uncompressed(&mut serialized_data_z);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 636 |             let _ = element_z.serialize_uncompressed(&mut serialized_data_z);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:652:13
[INFO] [stdout]     |
[INFO] [stdout] 652 |             element.serialize_uncompressed(&mut serialized_data);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 652 |             let _ = element.serialize_uncompressed(&mut serialized_data);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:634:13
[INFO] [stdout]     |
[INFO] [stdout] 634 |             element_x.serialize_uncompressed(&mut serialized_data_x);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 634 |             let _ = element_x.serialize_uncompressed(&mut serialized_data_x);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:635:13
[INFO] [stdout]     |
[INFO] [stdout] 635 |             element_y.serialize_uncompressed(&mut serialized_data_y);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 635 |             let _ = element_y.serialize_uncompressed(&mut serialized_data_y);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:636:13
[INFO] [stdout]     |
[INFO] [stdout] 636 |             element_z.serialize_uncompressed(&mut serialized_data_z);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 636 |             let _ = element_z.serialize_uncompressed(&mut serialized_data_z);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:652:13
[INFO] [stdout]     |
[INFO] [stdout] 652 |             element.serialize_uncompressed(&mut serialized_data);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 652 |             let _ = element.serialize_uncompressed(&mut serialized_data);
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Bn254` and `FrConfig`
[INFO] [stdout]  --> src/kzg_setup.rs:2:17
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_bn254::{Bn254,FqConfig,Fq2Config,FrConfig,Fr,G1Projective as G1, G2Projective as G2};
[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: `Zero`
[INFO] [stdout]  --> src/kzg_setup.rs:3:64
[INFO] [stdout]   |
[INFO] [stdout] 3 | use ark_ff::{Fp,Fp2, MontBackend,QuadExtField,Fp2ConfigWrapper,Zero};
[INFO] [stdout]   |                                                                ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `regex::Regex`
[INFO] [stdout]  --> src/verifier.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use regex::Regex;
[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: `std::io::BufReader`
[INFO] [stdout]  --> src/verifier.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io::BufReader;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde_json`
[INFO] [stdout]  --> src/verifier.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use serde_json;
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/verifier.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::collections::{HashMap,HashSet};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fq2Config` and `FqConfig`
[INFO] [stdout]  --> src/verifier.rs:7:26
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_bn254::{Bn254,Fr,FqConfig,Fq2Config,G1Projective as G1, G2Projective as G2}; // Scalar field
[INFO] [stdout]   |                          ^^^^^^^^ ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Field` and `PrimeField`
[INFO] [stdout]  --> src/verifier.rs:8:22
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_ff::fields::{Field,PrimeField};
[INFO] [stdout]   |                      ^^^^^ ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fp2ConfigWrapper`, `Fp2`, `Fp`, `MontBackend`, `QuadExtField`, and `UniformRand`
[INFO] [stdout]  --> src/verifier.rs:9:14
[INFO] [stdout]   |
[INFO] [stdout] 9 | use ark_ff::{Fp,Fp2,MontBackend,UniformRand,QuadExtField,Fp2ConfigWrapper};
[INFO] [stdout]   |              ^^ ^^^ ^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand::thread_rng`
[INFO] [stdout]   --> src/verifier.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use rand::thread_rng;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Radix2EvaluationDomain`
[INFO] [stdout]   --> src/verifier.rs:13:34
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Mul`
[INFO] [stdout]   --> src/verifier.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::ops::{Mul};
[INFO] [stdout]    |                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `compute_shifted_polynomial`, `generate_proof_string`, `get_dense_uv_poly`, `get_evals`, `get_o`, `get_witness_from_trace`, `read_witness`, `sample_random_scalars`, and `split_polynomial`
[INFO] [stdout]   --> src/verifier.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     get_o,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 26 |     get_lro,
[INFO] [stdout] 27 |     read_witness,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 28 |     get_fr_from_i32,
[INFO] [stdout] 29 |     get_evals,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 30 |     generate_evaluation_domain,
[INFO] [stdout] 31 |     get_dense_uv_poly,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 32 |     lagrange_interpolation,
[INFO] [stdout] 33 |     sample_random_scalars,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     get_witness_from_trace,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     compute_shifted_polynomial,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 45 |     get_x_n_poly,
[INFO] [stdout] 46 |     split_polynomial,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 |     generate_proof_string,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io::BufReader`
[INFO] [stdout]  --> src/prover.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io::BufReader;
[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: `serde_json`
[INFO] [stdout]  --> src/prover.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use serde_json;
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/prover.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::collections::{HashMap,HashSet};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Bn254`, `Fq2Config`, and `FqConfig`
[INFO] [stdout]  --> src/prover.rs:7:17
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_bn254::{Bn254,Fr,FqConfig,Fq2Config,G1Projective as G1, G2Projective as G2}; // Scalar field
[INFO] [stdout]   |                 ^^^^^    ^^^^^^^^ ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `PrimeField`
[INFO] [stdout]  --> src/prover.rs:8:28
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_ff::fields::{Field,PrimeField};
[INFO] [stdout]   |                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fp2ConfigWrapper`, `Fp2`, `Fp`, `MontBackend`, `QuadExtField`, and `UniformRand`
[INFO] [stdout]  --> src/prover.rs:9:14
[INFO] [stdout]   |
[INFO] [stdout] 9 | use ark_ff::{Fp,Fp2,MontBackend,UniformRand,QuadExtField,Fp2ConfigWrapper};
[INFO] [stdout]   |              ^^ ^^^ ^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand::thread_rng`
[INFO] [stdout]   --> src/prover.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use rand::thread_rng;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing`
[INFO] [stdout]   --> src/prover.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use ark_ec::pairing::Pairing;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Radix2EvaluationDomain`
[INFO] [stdout]   --> src/prover.rs:13:34
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Mul`
[INFO] [stdout]   --> src/prover.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::ops::{Mul};
[INFO] [stdout]    |                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `compute_commitment_fr_g1`, `compute_commitment_g2`, `get_fr_element`, `get_g1_element`, `get_o`, and `parse_proof`
[INFO] [stdout]   --> src/prover.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     get_o,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 36 |     compute_commitment_fr_g1,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 37 |     compute_commitment_g2,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 46 |     get_g1_element,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 47 |     get_fr_element,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 48 |     generate_proof_string,
[INFO] [stdout] 49 |     parse_proof
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> src/prover.rs:493:42
[INFO] [stdout]     |
[INFO] [stdout] 493 | ...Polynomial<Fr> = (&a_poly*&ql_poly + &b_poly*&qr_poly + &c_poly*&qo_poly + &a_poly*&b_poly*&qm_poly + &qc_poly);
[INFO] [stdout]     |                     ^                                                                                            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 493 -     let t_one_poly:DensePolynomial<Fr> = (&a_poly*&ql_poly + &b_poly*&qr_poly + &c_poly*&qo_poly + &a_poly*&b_poly*&qm_poly + &qc_poly);
[INFO] [stdout] 493 +     let t_one_poly:DensePolynomial<Fr> = &a_poly*&ql_poly + &b_poly*&qr_poly + &c_poly*&qo_poly + &a_poly*&b_poly*&qm_poly + &qc_poly;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> src/prover.rs:494:42
[INFO] [stdout]     |
[INFO] [stdout] 494 |     let t_two_poly:DensePolynomial<Fr> = ((&f_x * &z_permutation_poly) - (&g_x * &z_permutation_poly_wx));
[INFO] [stdout]     |                                          ^                                                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 494 -     let t_two_poly:DensePolynomial<Fr> = ((&f_x * &z_permutation_poly) - (&g_x * &z_permutation_poly_wx));
[INFO] [stdout] 494 +     let t_two_poly:DensePolynomial<Fr> = (&f_x * &z_permutation_poly) - (&g_x * &z_permutation_poly_wx);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> src/prover.rs:495:44
[INFO] [stdout]     |
[INFO] [stdout] 495 | ...Polynomial<Fr> = ((&z_permutation_poly - DensePolynomial::from_coefficients_vec(vec![Fr::from(1)]))*&l_basis_0);
[INFO] [stdout]     |                     ^                                                                                            ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 495 -     let t_three_poly:DensePolynomial<Fr> = ((&z_permutation_poly - DensePolynomial::from_coefficients_vec(vec![Fr::from(1)]))*&l_basis_0);
[INFO] [stdout] 495 +     let t_three_poly:DensePolynomial<Fr> = (&z_permutation_poly - DensePolynomial::from_coefficients_vec(vec![Fr::from(1)]))*&l_basis_0;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Bn254` and `FrConfig`
[INFO] [stdout]  --> src/kzg_setup.rs:2:17
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_bn254::{Bn254,FqConfig,Fq2Config,FrConfig,Fr,G1Projective as G1, G2Projective as G2};
[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: `Zero`
[INFO] [stdout]  --> src/kzg_setup.rs:3:64
[INFO] [stdout]   |
[INFO] [stdout] 3 | use ark_ff::{Fp,Fp2, MontBackend,QuadExtField,Fp2ConfigWrapper,Zero};
[INFO] [stdout]   |                                                                ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `EvaluationDomain`
[INFO] [stdout]   --> src/verifier.rs:13:16
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/verifier.rs:194:13
[INFO] [stdout]     |
[INFO] [stdout] 194 |             _ => {panic!("Invalid proof!!: Cannot parse the proof")}
[INFO] [stdout]     |             ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/verifier.rs:194:13
[INFO] [stdout]     |
[INFO] [stdout] 192 |             ProofElement::Group(G1) => {if i >13 {panic!("Invalid proof!!: Proof has more than 9 commitment");}},
[INFO] [stdout]     |             ----------------------- matches some of the same values
[INFO] [stdout] 193 |             ProofElement::Field(Fr) => {if i <= 13 {panic!("Invalid proof!!: Parsing proof failed");}},
[INFO] [stdout]     |             ----------------------- matches some of the same values
[INFO] [stdout] 194 |             _ => {panic!("Invalid proof!!: Cannot parse the proof")}
[INFO] [stdout]     |             ^ collectively making this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io::BufReader`
[INFO] [stdout]  --> src/prover.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io::BufReader;
[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: `serde_json`
[INFO] [stdout]  --> src/prover.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use serde_json;
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/prover.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::collections::{HashMap,HashSet};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Bn254`, `Fq2Config`, and `FqConfig`
[INFO] [stdout]  --> src/prover.rs:7:17
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_bn254::{Bn254,Fr,FqConfig,Fq2Config,G1Projective as G1, G2Projective as G2}; // Scalar field
[INFO] [stdout]   |                 ^^^^^    ^^^^^^^^ ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `PrimeField`
[INFO] [stdout]  --> src/prover.rs:8:28
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_ff::fields::{Field,PrimeField};
[INFO] [stdout]   |                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fp2ConfigWrapper`, `Fp2`, `Fp`, `MontBackend`, `QuadExtField`, and `UniformRand`
[INFO] [stdout]  --> src/prover.rs:9:14
[INFO] [stdout]   |
[INFO] [stdout] 9 | use ark_ff::{Fp,Fp2,MontBackend,UniformRand,QuadExtField,Fp2ConfigWrapper};
[INFO] [stdout]   |              ^^ ^^^ ^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand::thread_rng`
[INFO] [stdout]   --> src/prover.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use rand::thread_rng;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing`
[INFO] [stdout]   --> src/prover.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use ark_ec::pairing::Pairing;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Radix2EvaluationDomain`
[INFO] [stdout]   --> src/prover.rs:13:34
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Mul`
[INFO] [stdout]   --> src/prover.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::ops::{Mul};
[INFO] [stdout]    |                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `compute_commitment_fr_g1`, `compute_commitment_g2`, `get_fr_element`, `get_g1_element`, `get_o`, and `parse_proof`
[INFO] [stdout]   --> src/prover.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     get_o,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 36 |     compute_commitment_fr_g1,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 37 |     compute_commitment_g2,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 46 |     get_g1_element,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 47 |     get_fr_element,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 48 |     generate_proof_string,
[INFO] [stdout] 49 |     parse_proof
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> src/prover.rs:493:42
[INFO] [stdout]     |
[INFO] [stdout] 493 | ...Polynomial<Fr> = (&a_poly*&ql_poly + &b_poly*&qr_poly + &c_poly*&qo_poly + &a_poly*&b_poly*&qm_poly + &qc_poly);
[INFO] [stdout]     |                     ^                                                                                            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 493 -     let t_one_poly:DensePolynomial<Fr> = (&a_poly*&ql_poly + &b_poly*&qr_poly + &c_poly*&qo_poly + &a_poly*&b_poly*&qm_poly + &qc_poly);
[INFO] [stdout] 493 +     let t_one_poly:DensePolynomial<Fr> = &a_poly*&ql_poly + &b_poly*&qr_poly + &c_poly*&qo_poly + &a_poly*&b_poly*&qm_poly + &qc_poly;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> src/prover.rs:494:42
[INFO] [stdout]     |
[INFO] [stdout] 494 |     let t_two_poly:DensePolynomial<Fr> = ((&f_x * &z_permutation_poly) - (&g_x * &z_permutation_poly_wx));
[INFO] [stdout]     |                                          ^                                                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 494 -     let t_two_poly:DensePolynomial<Fr> = ((&f_x * &z_permutation_poly) - (&g_x * &z_permutation_poly_wx));
[INFO] [stdout] 494 +     let t_two_poly:DensePolynomial<Fr> = (&f_x * &z_permutation_poly) - (&g_x * &z_permutation_poly_wx);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around assigned value
[INFO] [stdout]    --> src/prover.rs:495:44
[INFO] [stdout]     |
[INFO] [stdout] 495 | ...Polynomial<Fr> = ((&z_permutation_poly - DensePolynomial::from_coefficients_vec(vec![Fr::from(1)]))*&l_basis_0);
[INFO] [stdout]     |                     ^                                                                                            ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 495 -     let t_three_poly:DensePolynomial<Fr> = ((&z_permutation_poly - DensePolynomial::from_coefficients_vec(vec![Fr::from(1)]))*&l_basis_0);
[INFO] [stdout] 495 +     let t_three_poly:DensePolynomial<Fr> = (&z_permutation_poly - DensePolynomial::from_coefficients_vec(vec![Fr::from(1)]))*&l_basis_0;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/verifier.rs:228:9
[INFO] [stdout]     |
[INFO] [stdout] 228 |     let mut constraints:Vec<&str> = circuit.split(',').collect();
[INFO] [stdout]     |         ----^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `G1`
[INFO] [stdout]    --> src/verifier.rs:192:33
[INFO] [stdout]     |
[INFO] [stdout] 192 |             ProofElement::Group(G1) => {if i >13 {panic!("Invalid proof!!: Proof has more than 9 commitment");}},
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_G1`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `Fr`
[INFO] [stdout]    --> src/verifier.rs:193:33
[INFO] [stdout]     |
[INFO] [stdout] 193 |             ProofElement::Field(Fr) => {if i <= 13 {panic!("Invalid proof!!: Parsing proof failed");}},
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_Fr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/verifier.rs:320:12
[INFO] [stdout]     |
[INFO] [stdout] 320 |     for (i,row) in position_matrix.clone().iter().enumerate(){
[INFO] [stdout]     |            ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g_0`
[INFO] [stdout]    --> src/verifier.rs:397:6
[INFO] [stdout]     |
[INFO] [stdout] 397 |     let g_0:G1 = compute_commitment_fr_g1(&srs,Fr::from(1));
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_g_0`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G1` should have a snake case name
[INFO] [stdout]    --> src/verifier.rs:192:33
[INFO] [stdout]     |
[INFO] [stdout] 192 |             ProofElement::Group(G1) => {if i >13 {panic!("Invalid proof!!: Proof has more than 9 commitment");}},
[INFO] [stdout]     |                                 ^^ help: convert the identifier to snake case: `g1`
[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 `Fr` should have a snake case name
[INFO] [stdout]    --> src/verifier.rs:193:33
[INFO] [stdout]     |
[INFO] [stdout] 193 |             ProofElement::Field(Fr) => {if i <= 13 {panic!("Invalid proof!!: Parsing proof failed");}},
[INFO] [stdout]     |                                 ^^ help: convert the identifier to snake case (notice the capitalization): `fr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `EvaluationDomain`
[INFO] [stdout]   --> src/prover.rs:13:16
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/kzg_setup.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 |             save_srs_to_file(updated_srs,"kzg_srs.zkey");
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 276 |             let _ = save_srs_to_file(updated_srs,"kzg_srs.zkey");
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `EvaluationDomain`
[INFO] [stdout]   --> src/prover.rs:13:16
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/prover.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 54 |     let mut constraints:Vec<&str> = circuit.split(',').collect();
[INFO] [stdout]    |         ----^^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/prover.rs:248:9
[INFO] [stdout]     |
[INFO] [stdout] 248 |     let mut a_commitment:G1 = compute_commitment(&srs,a_poly.clone());
[INFO] [stdout]     |         ----^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/prover.rs:249:9
[INFO] [stdout]     |
[INFO] [stdout] 249 |     let mut b_commitment:G1 = compute_commitment(&srs,b_poly.clone());
[INFO] [stdout]     |         ----^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/prover.rs:250:9
[INFO] [stdout]     |
[INFO] [stdout] 250 |     let mut c_commitment:G1 = compute_commitment(&srs,c_poly.clone());
[INFO] [stdout]     |         ----^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `constraint_no`
[INFO] [stdout]   --> src/prover.rs:81:10
[INFO] [stdout]    |
[INFO] [stdout] 81 |     for (constraint_no,op_list) in operand_list.iter().enumerate(){
[INFO] [stdout]    |          ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constraint_no`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/prover.rs:167:13
[INFO] [stdout]     |
[INFO] [stdout] 167 |     for (i, row) in coeff_matrix_fr.iter().enumerate() {
[INFO] [stdout]     |             ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `srs_two`
[INFO] [stdout]    --> src/prover.rs:246:14
[INFO] [stdout]     |
[INFO] [stdout] 246 |     let (srs,srs_two):(Vec<G1>,Vec<G2>) = load_srs_from_file("./kzg_srs.zkey").expect("Failed to load");
[INFO] [stdout]     |              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_srs_two`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/prover.rs:282:12
[INFO] [stdout]     |
[INFO] [stdout] 282 |     for (i,row) in position_matrix.clone().iter().enumerate(){
[INFO] [stdout]     |            ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t_quotient_poly_final`
[INFO] [stdout]    --> src/prover.rs:509:9
[INFO] [stdout]     |
[INFO] [stdout] 509 |     let t_quotient_poly_final:DensePolynomial<Fr> = &t_low_poly_prime + &x_n_poly*&t_mid_poly_prime + &x_2n_poly*&t_high_poly_prime;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_t_quotient_poly_final`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_challenge`
[INFO] [stdout]    --> src/prover.rs:602:10
[INFO] [stdout]     |
[INFO] [stdout] 602 |     let [u_challenge]: [Fr; 1] = prover_state.challenge_scalars().expect("Fiat shamir error!! Challenge genration failed");
[INFO] [stdout]     |          ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_challenge`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/prover.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 54 |     let mut constraints:Vec<&str> = circuit.split(',').collect();
[INFO] [stdout]    |         ----^^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/prover.rs:248:9
[INFO] [stdout]     |
[INFO] [stdout] 248 |     let mut a_commitment:G1 = compute_commitment(&srs,a_poly.clone());
[INFO] [stdout]     |         ----^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/prover.rs:249:9
[INFO] [stdout]     |
[INFO] [stdout] 249 |     let mut b_commitment:G1 = compute_commitment(&srs,b_poly.clone());
[INFO] [stdout]     |         ----^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/prover.rs:250:9
[INFO] [stdout]     |
[INFO] [stdout] 250 |     let mut c_commitment:G1 = compute_commitment(&srs,c_poly.clone());
[INFO] [stdout]     |         ----^^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `constraint_no`
[INFO] [stdout]   --> src/prover.rs:81:10
[INFO] [stdout]    |
[INFO] [stdout] 81 |     for (constraint_no,op_list) in operand_list.iter().enumerate(){
[INFO] [stdout]    |          ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constraint_no`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/prover.rs:167:13
[INFO] [stdout]     |
[INFO] [stdout] 167 |     for (i, row) in coeff_matrix_fr.iter().enumerate() {
[INFO] [stdout]     |             ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `srs_two`
[INFO] [stdout]    --> src/prover.rs:246:14
[INFO] [stdout]     |
[INFO] [stdout] 246 |     let (srs,srs_two):(Vec<G1>,Vec<G2>) = load_srs_from_file("./kzg_srs.zkey").expect("Failed to load");
[INFO] [stdout]     |              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_srs_two`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/prover.rs:282:12
[INFO] [stdout]     |
[INFO] [stdout] 282 |     for (i,row) in position_matrix.clone().iter().enumerate(){
[INFO] [stdout]     |            ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t_quotient_poly_final`
[INFO] [stdout]    --> src/prover.rs:509:9
[INFO] [stdout]     |
[INFO] [stdout] 509 |     let t_quotient_poly_final:DensePolynomial<Fr> = &t_low_poly_prime + &x_n_poly*&t_mid_poly_prime + &x_2n_poly*&t_high_poly_prime;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_t_quotient_poly_final`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `u_challenge`
[INFO] [stdout]    --> src/prover.rs:602:10
[INFO] [stdout]     |
[INFO] [stdout] 602 |     let [u_challenge]: [Fr; 1] = prover_state.challenge_scalars().expect("Fiat shamir error!! Challenge genration failed");
[INFO] [stdout]     |          ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_challenge`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/kzg_setup.rs:276:13
[INFO] [stdout]     |
[INFO] [stdout] 276 |             save_srs_to_file(updated_srs,"kzg_srs.zkey");
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 276 |             let _ = save_srs_to_file(updated_srs,"kzg_srs.zkey");
[INFO] [stdout]     |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `regex::Regex`
[INFO] [stdout]  --> src/verifier.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use regex::Regex;
[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: `std::io::BufReader`
[INFO] [stdout]  --> src/verifier.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io::BufReader;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde_json`
[INFO] [stdout]  --> src/verifier.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use serde_json;
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/verifier.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::collections::{HashMap,HashSet};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fq2Config` and `FqConfig`
[INFO] [stdout]  --> src/verifier.rs:7:26
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_bn254::{Bn254,Fr,FqConfig,Fq2Config,G1Projective as G1, G2Projective as G2}; // Scalar field
[INFO] [stdout]   |                          ^^^^^^^^ ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Field` and `PrimeField`
[INFO] [stdout]  --> src/verifier.rs:8:22
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_ff::fields::{Field,PrimeField};
[INFO] [stdout]   |                      ^^^^^ ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fp2ConfigWrapper`, `Fp2`, `Fp`, `MontBackend`, `QuadExtField`, and `UniformRand`
[INFO] [stdout]  --> src/verifier.rs:9:14
[INFO] [stdout]   |
[INFO] [stdout] 9 | use ark_ff::{Fp,Fp2,MontBackend,UniformRand,QuadExtField,Fp2ConfigWrapper};
[INFO] [stdout]   |              ^^ ^^^ ^^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand::thread_rng`
[INFO] [stdout]   --> src/verifier.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use rand::thread_rng;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Radix2EvaluationDomain`
[INFO] [stdout]   --> src/verifier.rs:13:34
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Mul`
[INFO] [stdout]   --> src/verifier.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::ops::{Mul};
[INFO] [stdout]    |                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `compute_shifted_polynomial`, `generate_proof_string`, `get_dense_uv_poly`, `get_evals`, `get_o`, `get_witness_from_trace`, `read_witness`, `sample_random_scalars`, and `split_polynomial`
[INFO] [stdout]   --> src/verifier.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     get_o,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 26 |     get_lro,
[INFO] [stdout] 27 |     read_witness,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 28 |     get_fr_from_i32,
[INFO] [stdout] 29 |     get_evals,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 30 |     generate_evaluation_domain,
[INFO] [stdout] 31 |     get_dense_uv_poly,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 32 |     lagrange_interpolation,
[INFO] [stdout] 33 |     sample_random_scalars,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     get_witness_from_trace,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     compute_shifted_polynomial,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 45 |     get_x_n_poly,
[INFO] [stdout] 46 |     split_polynomial,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 |     generate_proof_string,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `EvaluationDomain`
[INFO] [stdout]   --> src/verifier.rs:13:16
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_poly::{EvaluationDomain, Radix2EvaluationDomain, univariate::DensePolynomial}; 
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/verifier.rs:194:13
[INFO] [stdout]     |
[INFO] [stdout] 194 |             _ => {panic!("Invalid proof!!: Cannot parse the proof")}
[INFO] [stdout]     |             ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/verifier.rs:194:13
[INFO] [stdout]     |
[INFO] [stdout] 192 |             ProofElement::Group(G1) => {if i >13 {panic!("Invalid proof!!: Proof has more than 9 commitment");}},
[INFO] [stdout]     |             ----------------------- matches some of the same values
[INFO] [stdout] 193 |             ProofElement::Field(Fr) => {if i <= 13 {panic!("Invalid proof!!: Parsing proof failed");}},
[INFO] [stdout]     |             ----------------------- matches some of the same values
[INFO] [stdout] 194 |             _ => {panic!("Invalid proof!!: Cannot parse the proof")}
[INFO] [stdout]     |             ^ collectively making this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/verifier.rs:228:9
[INFO] [stdout]     |
[INFO] [stdout] 228 |     let mut constraints:Vec<&str> = circuit.split(',').collect();
[INFO] [stdout]     |         ----^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `G1`
[INFO] [stdout]    --> src/verifier.rs:192:33
[INFO] [stdout]     |
[INFO] [stdout] 192 |             ProofElement::Group(G1) => {if i >13 {panic!("Invalid proof!!: Proof has more than 9 commitment");}},
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_G1`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `Fr`
[INFO] [stdout]    --> src/verifier.rs:193:33
[INFO] [stdout]     |
[INFO] [stdout] 193 |             ProofElement::Field(Fr) => {if i <= 13 {panic!("Invalid proof!!: Parsing proof failed");}},
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_Fr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `row`
[INFO] [stdout]    --> src/verifier.rs:320:12
[INFO] [stdout]     |
[INFO] [stdout] 320 |     for (i,row) in position_matrix.clone().iter().enumerate(){
[INFO] [stdout]     |            ^^^ help: if this is intentional, prefix it with an underscore: `_row`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `g_0`
[INFO] [stdout]    --> src/verifier.rs:397:6
[INFO] [stdout]     |
[INFO] [stdout] 397 |     let g_0:G1 = compute_commitment_fr_g1(&srs,Fr::from(1));
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_g_0`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G1` should have a snake case name
[INFO] [stdout]    --> src/verifier.rs:192:33
[INFO] [stdout]     |
[INFO] [stdout] 192 |             ProofElement::Group(G1) => {if i >13 {panic!("Invalid proof!!: Proof has more than 9 commitment");}},
[INFO] [stdout]     |                                 ^^ help: convert the identifier to snake case: `g1`
[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 `Fr` should have a snake case name
[INFO] [stdout]    --> src/verifier.rs:193:33
[INFO] [stdout]     |
[INFO] [stdout] 193 |             ProofElement::Field(Fr) => {if i <= 13 {panic!("Invalid proof!!: Parsing proof failed");}},
[INFO] [stdout]     |                                 ^^ help: convert the identifier to snake case (notice the capitalization): `fr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.72s
[INFO] running `Command { std: "docker" "inspect" "383c5eeb8f284d09bf397dee1cc2311328b9f2caf3af771442f5778138a058fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "383c5eeb8f284d09bf397dee1cc2311328b9f2caf3af771442f5778138a058fb", kill_on_drop: false }`
[INFO] [stdout] 383c5eeb8f284d09bf397dee1cc2311328b9f2caf3af771442f5778138a058fb