[INFO] cloning repository https://github.com/MarkCherepovskyi/rust-crypto [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MarkCherepovskyi/rust-crypto" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkCherepovskyi%2Frust-crypto", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkCherepovskyi%2Frust-crypto'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b281232b644f4f97305a1bfa545014f47d569eca [INFO] checking MarkCherepovskyi/rust-crypto against try#93086cfebfccb79083c59d0d3b2052944bba643c for pr-146440-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkCherepovskyi%2Frust-crypto" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/MarkCherepovskyi/rust-crypto [INFO] finished tweaking git repo https://github.com/MarkCherepovskyi/rust-crypto [INFO] tweaked toml for git repo https://github.com/MarkCherepovskyi/rust-crypto written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/MarkCherepovskyi/rust-crypto on toolchain 93086cfebfccb79083c59d0d3b2052944bba643c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+93086cfebfccb79083c59d0d3b2052944bba643c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/MarkCherepovskyi/rust-crypto 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" "+93086cfebfccb79083c59d0d3b2052944bba643c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+93086cfebfccb79083c59d0d3b2052944bba643c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f2a8391e88836223c3bbc4e111fccaf42504867d8252a86bd60f0be5affb1011 [INFO] running `Command { std: "docker" "start" "-a" "f2a8391e88836223c3bbc4e111fccaf42504867d8252a86bd60f0be5affb1011", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f2a8391e88836223c3bbc4e111fccaf42504867d8252a86bd60f0be5affb1011", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f2a8391e88836223c3bbc4e111fccaf42504867d8252a86bd60f0be5affb1011", kill_on_drop: false }` [INFO] [stdout] f2a8391e88836223c3bbc4e111fccaf42504867d8252a86bd60f0be5affb1011 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+93086cfebfccb79083c59d0d3b2052944bba643c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d565667cf7e4d0a7db2a0ab0276ff1e49168408e02db99d864ab6020ecf5c369 [INFO] running `Command { std: "docker" "start" "-a" "d565667cf7e4d0a7db2a0ab0276ff1e49168408e02db99d864ab6020ecf5c369", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking crypto-lib v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `crate::sigma::pederson::PedersonCommitment` [INFO] [stdout] --> src/sigma/zk_mul.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::sigma::pederson::PedersonCommitment; [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: `super::*` [INFO] [stdout] --> src/math/lagrange.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/crypto/utils.rs:81:13 [INFO] [stdout] | [INFO] [stdout] 81 | for i in num_iter::range_inclusive(BigInt::from(1u64), bit_size-1) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> src/crypto/module.rs:143:13 [INFO] [stdout] | [INFO] [stdout] 143 | let g = MultiplicativeGroup {}; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pedersonScheme` [INFO] [stdout] --> src/sigma/zk_mul.rs:188:13 [INFO] [stdout] | [INFO] [stdout] 188 | let pedersonScheme = PedersonCommitment { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pedersonScheme` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g_final` [INFO] [stdout] --> src/inner/inner_product_argument.rs:50:32 [INFO] [stdout] | [INFO] [stdout] 50 | ... let (a_final, b_final, g_final, h_final, proofs) = self.fold(a, b, clone_vector(&self.G_vec), clone_vector(&self.H_vec), proo... [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_g_final` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `h_final` [INFO] [stdout] --> src/inner/inner_product_argument.rs:50:41 [INFO] [stdout] | [INFO] [stdout] 50 | ... let (a_final, b_final, g_final, h_final, proofs) = self.fold(a, b, clone_vector(&self.G_vec), clone_vector(&self.H_vec), proo... [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_h_final` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `utils::Utils::hash_to_point` [INFO] [stdout] --> src/crypto/utils.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn hash_to_point(seed: &BigInt, last_point: &Point, curve: &Curve) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::hash_to_point` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Curve` is more private than the item `utils::Utils::hash_to_point` [INFO] [stdout] --> src/crypto/utils.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn hash_to_point(seed: &BigInt, last_point: &Point, curve: &Curve) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::hash_to_point` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Curve` is more private than the item `utils::Utils::multiply_points_vector_by_scalar` [INFO] [stdout] --> src/crypto/utils.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn multiply_points_vector_by_scalar(curve: &Curve ,vec: &Vec, scalar: &BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::multiply_points_vector_by_scalar` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `utils::Utils::multiply_points_vector_by_scalar` [INFO] [stdout] --> src/crypto/utils.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn multiply_points_vector_by_scalar(curve: &Curve ,vec: &Vec, scalar: &BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::multiply_points_vector_by_scalar` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Curve` is more private than the item `utils::Utils::sum_points_vectors` [INFO] [stdout] --> src/crypto/utils.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn sum_points_vectors(curve: &Curve,vec1: &Vec, vec2 : &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::sum_points_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `utils::Utils::sum_points_vectors` [INFO] [stdout] --> src/crypto/utils.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn sum_points_vectors(curve: &Curve,vec1: &Vec, vec2 : &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::sum_points_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Curve` is more private than the item `utils::Utils::multiply_points_vectors_by_scalars` [INFO] [stdout] --> src/crypto/utils.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn multiply_points_vectors_by_scalars(curve: &Curve ,vec: &Vec, scalars: &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::multiply_points_vectors_by_scalars` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `utils::Utils::multiply_points_vectors_by_scalars` [INFO] [stdout] --> src/crypto/utils.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn multiply_points_vectors_by_scalars(curve: &Curve ,vec: &Vec, scalars: &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::multiply_points_vectors_by_scalars` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Curve` is more private than the item `utils::Utils::initialize_vectors` [INFO] [stdout] --> src/crypto/utils.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn initialize_vectors(curve: &Curve, seed: &BigInt, generator: &Point, bit_size: BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::initialize_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `utils::Utils::initialize_vectors` [INFO] [stdout] --> src/crypto/utils.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn initialize_vectors(curve: &Curve, seed: &BigInt, generator: &Point, bit_size: BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `utils::Utils::initialize_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Curve` is more private than the item `inner_product_argument::InnerProductArgumentProver::new` [INFO] [stdout] --> src/inner/inner_product_argument.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(curve: Curve, seed: BigInt, generator_g: Point, generator_h: Point, U: Point, bit_size: BigInt) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `inner_product_argument::InnerProductArgumentProver::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `inner_product_argument::InnerProductArgumentProver::new` [INFO] [stdout] --> src/inner/inner_product_argument.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(curve: Curve, seed: BigInt, generator_g: Point, generator_h: Point, U: Point, bit_size: BigInt) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `inner_product_argument::InnerProductArgumentProver::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `inner_product_argument::InnerProductArgumentProver::prove` [INFO] [stdout] --> src/inner/inner_product_argument.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | pub fn prove(&self, a: &Vec, b: &Vec) -> (BigInt, BigInt, Point, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `inner_product_argument::InnerProductArgumentProver::prove` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `curve::Point` is more private than the item `inner_product_argument::InnerProductArgumentProver::verify` [INFO] [stdout] --> src/inner/inner_product_argument.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn verify(&mut self, proof: &Vec, public_commitment: Point, a_final: &BigInt, b_final: &BigInt) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `inner_product_argument::InnerProductArgumentProver::verify` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `curve::Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `Affine` is never constructed [INFO] [stdout] --> src/crypto/curve.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Affine { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] = note: `#[deny(unused_unconstructable_pub_structs)]` (part of `#[deny(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `x` and `y` are never read [INFO] [stdout] --> src/crypto/curve.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Affine { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] 7 | x: BigInt, [INFO] [stdout] | ^ [INFO] [stdout] 8 | y: BigInt, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `hash_point` and `hash_points` are never used [INFO] [stdout] --> src/crypto/utils.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 10 | impl Utils { [INFO] [stdout] | ---------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 28 | fn hash_point(point: &Point) -> BigInt { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | fn hash_points(points: &Vec) -> BigInt { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `clone` is never used [INFO] [stdout] --> src/sigma/pederson.rs:14:19 [INFO] [stdout] | [INFO] [stdout] 13 | impl PedersonCommitment { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] 14 | pub(crate) fn clone(&self) -> PedersonCommitment { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `open` is never used [INFO] [stdout] --> src/sigma/general.rs:30:8 [INFO] [stdout] | [INFO] [stdout] 9 | impl GeneralSigma { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 30 | fn open(&self, generators: &Vec, values: &Vec, commitment: &Point) -> bool { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_items_at_indices` is never used [INFO] [stdout] --> src/math/vector.rs:19:15 [INFO] [stdout] | [INFO] [stdout] 19 | pub(crate) fn get_items_at_indices(v: &Vec, indices: &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `bit_size` and `proof` are never read [INFO] [stdout] --> src/inner/inner_product_argument.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct InnerProductArgumentProver { [INFO] [stdout] | -------------------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 22 | bit_size: BigInt, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 23 | proof: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `isOnCurve` should have a snake case name [INFO] [stdout] --> src/crypto/curve.rs:325:13 [INFO] [stdout] | [INFO] [stdout] 325 | let isOnCurve = curve.is_on_curve(&respoint); [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `is_on_curve` [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 `isOnCurve` should have a snake case name [INFO] [stdout] --> src/crypto/curve.rs:339:13 [INFO] [stdout] | [INFO] [stdout] 339 | let isOnCurve = curve.is_on_curve(&respoint); [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `is_on_curve` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `isOnCurve` should have a snake case name [INFO] [stdout] --> src/crypto/curve.rs:354:13 [INFO] [stdout] | [INFO] [stdout] 354 | let isOnCurve = curve.is_on_curve(&respoint); [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `is_on_curve` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `P_inverse_powers` should have a snake case name [INFO] [stdout] --> src/crypto/utils.rs:167:13 [INFO] [stdout] | [INFO] [stdout] 167 | let P_inverse_powers = Utils::multiply_points_vectors_by_scalars(&curve, &points, &inverse_powers); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `p_inverse_powers` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G` should have a snake case name [INFO] [stdout] --> src/sigma/pederson.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | pub G: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H` should have a snake case name [INFO] [stdout] --> src/sigma/pederson.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub H: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/sigma/pederson.rs:39:31 [INFO] [stdout] | [INFO] [stdout] 39 | pub(crate) fn open(&self, C: &Point, m: &BigInt, r: &BigInt) -> bool { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `pedersonScheme` should have a snake case name [INFO] [stdout] --> src/sigma/pederson.rs:64:13 [INFO] [stdout] | [INFO] [stdout] 64 | let pedersonScheme = PedersonCommitment{ [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `pederson_scheme` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | G: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | H: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `B` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | B: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:19:26 [INFO] [stdout] | [INFO] [stdout] 19 | fn new(curve: Curve, G: Point, H: Point, B: Point) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:19:36 [INFO] [stdout] | [INFO] [stdout] 19 | fn new(curve: Curve, G: Point, H: Point, B: Point) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `B` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:19:46 [INFO] [stdout] | [INFO] [stdout] 19 | fn new(curve: Curve, G: Point, H: Point, B: Point) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case: `b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | let A = self.calculates_commitments(&vec![a, b, &alpha], &vec![&self.G, &self.H, &self.B]); [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:43:13 [INFO] [stdout] | [INFO] [stdout] 43 | let S = self.calculates_commitments(&vec![&s_l, &s_r, &beta], &vec![&self.G, &self.H, &self.B]); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_0` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | let T_0 = self.calculates_commitments(&vec!(&(a*b),&t0), &vec![&self.G , &self.B] ); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_1` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:46:13 [INFO] [stdout] | [INFO] [stdout] 46 | let T_1 = self.calculates_commitments(&vec!(&(b* &s_l + a * &s_r),&t1), &vec![&self.G , &self.B] ); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_2` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:47:13 [INFO] [stdout] | [INFO] [stdout] 47 | let T_2 = self.calculates_commitments(&vec!(&(&s_l * &s_r),&t2), &vec![&self.G , &self.B] ); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:22 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:33 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_0` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:44 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_1` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:57 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_2` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:70 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `pedersonScheme` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:188:13 [INFO] [stdout] | [INFO] [stdout] 188 | let pedersonScheme = PedersonCommitment { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `pederson_scheme` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `L` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | L: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `R` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | R: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G_vec` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | G_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H_vec` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | H_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `h_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `U` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | U: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `U` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:28:84 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(curve: Curve, seed: BigInt, generator_g: Point, generator_h: Point, U: Point, bit_size: BigInt) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G_generator` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:56:63 [INFO] [stdout] | [INFO] [stdout] 56 | fn inner_commit(&self, a: &Vec, b: &Vec, G_generator: &Vec, H_generator: &Vec) -> Point { [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `g_generator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H_generator` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:56:89 [INFO] [stdout] | [INFO] [stdout] 56 | fn inner_commit(&self, a: &Vec, b: &Vec, G_generator: &Vec, H_generator: &Vec) -> Point { [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `h_generator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `aG` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | let aG = self.curve.double_and_add(&a_final, &g_final); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `a_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `bH` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:72:13 [INFO] [stdout] | [INFO] [stdout] 72 | let bH = self.curve.double_and_add(&b_final, &h_final); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `b_h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `abU` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:73:13 [INFO] [stdout] | [INFO] [stdout] 73 | let abU = self.curve.double_and_add(&(a_final * b_final), &self.U); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `ab_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `P` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:76:17 [INFO] [stdout] | [INFO] [stdout] 76 | let mut P = public_commitment.clone(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:107:13 [INFO] [stdout] | [INFO] [stdout] 107 | let L = self.inner_commit( [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `R` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:115:13 [INFO] [stdout] | [INFO] [stdout] 115 | let R = self.inner_commit( [INFO] [stdout] | ^ help: convert the identifier to snake case: `r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Curve` should have a snake case name [INFO] [stdout] --> src/range/bit_decomposition.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | Curve: Curve, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case (notice the capitalization): `curve` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | G_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | H_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `h_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | U: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:28:13 [INFO] [stdout] | [INFO] [stdout] 28 | let G_vec = Utils::initialize_vectors(&curve, &seed, &commitment_scheme.G, BigInt::from(bit_size)); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | let H_vec = Utils::initialize_vectors(&curve, &seed, &commitment_scheme.H, BigInt::from(bit_size)); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `h_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:31:13 [INFO] [stdout] | [INFO] [stdout] 31 | let G = commitment_scheme.G.clone(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:32:13 [INFO] [stdout] | [INFO] [stdout] 32 | let H = commitment_scheme.H.clone(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | let U = Utils::hash_to_point(&BigInt::from(2 * bit_size), &H, &curve); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:53:14 [INFO] [stdout] | [INFO] [stdout] 53 | let (C, _r) = self.commitment_scheme.commit(value); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `a_l_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:67:14 [INFO] [stdout] | [INFO] [stdout] 67 | let a_l_G = self.curve.inner_product_points_vector(&self.G_vec, &a_l); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `a_l_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `a_r_H` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:68:14 [INFO] [stdout] | [INFO] [stdout] 68 | let a_r_H = self.curve.inner_product_points_vector(&self.H_vec, &a_r); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `a_r_h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `alpha_U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:69:13 [INFO] [stdout] | [INFO] [stdout] 69 | let alpha_U = self.curve.double_and_add(&alpha, &self.U); [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `alpha_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | let A = self.curve.sum_points_vector(&vec![a_l_G, a_r_H, alpha_U.clone()]); [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `s_l_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:73:13 [INFO] [stdout] | [INFO] [stdout] 73 | let s_l_G = self.curve.inner_product_points_vector( &self.G_vec, &s_l); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `s_l_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `s_r_H` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:74:13 [INFO] [stdout] | [INFO] [stdout] 74 | let s_r_H = self.curve.inner_product_points_vector( &self.H_vec, &s_r); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `s_r_h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `betta_U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | let betta_U = self.curve.double_and_add(&betta, &self.U); [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `betta_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:77:13 [INFO] [stdout] | [INFO] [stdout] 77 | let S = self.curve.sum_points_vector(&vec![s_l_G, s_r_H, betta_U.clone()]); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:104:13 [INFO] [stdout] | [INFO] [stdout] 104 | ... let T1 = self.commitment_scheme.sigma.commit(&vec![self.commitment_scheme.G.clone(), self.commitment_scheme.H.clone()], &vec!... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:105:13 [INFO] [stdout] | [INFO] [stdout] 105 | ... let T2 = self.commitment_scheme.sigma.commit(&vec![self.commitment_scheme.G.clone(), self.commitment_scheme.H.clone()], &vec!... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:30 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:40 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:49 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:59 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:70 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `l_u_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:157:13 [INFO] [stdout] | [INFO] [stdout] 157 | let l_u_G = &self.curve.inner_product_points_vector(&self.G_vec, &l_u); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `l_u_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `alpha_u_U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:162:13 [INFO] [stdout] | [INFO] [stdout] 162 | let alpha_u_U = self.curve.double_and_add(&alpha_u, &self.U); [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `alpha_u_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `u_S` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:167:13 [INFO] [stdout] | [INFO] [stdout] 167 | let u_S = self.curve.double_and_add(&challenge_u, &S); [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `u_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `z_inverse_ones_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:170:13 [INFO] [stdout] | [INFO] [stdout] 170 | ... let z_inverse_ones_G = self.curve.inner_product_points_vector(&self.G_vec, &vec![MultiplicativeGroup::inverse_element(&challe... [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `z_inverse_ones_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `J` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:182:13 [INFO] [stdout] | [INFO] [stdout] 182 | ... let J = self.curve.sum_points_vector( &Utils::multiply_points_vectors_by_scalars(&self.curve, &y_inverse_h_vector, &z_y_plus... [INFO] [stdout] | ^ help: convert the identifier to snake case: `j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:276:14 [INFO] [stdout] | [INFO] [stdout] 276 | let (C, A ,S, T1, T2, t_u, alpha_u, tetta_u, l_u, r_u, a_final, b_final, base_commitment, proofs) = prover.prove(&value); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:276:17 [INFO] [stdout] | [INFO] [stdout] 276 | let (C, A ,S, T1, T2, t_u, alpha_u, tetta_u, l_u, r_u, a_final, b_final, base_commitment, proofs) = prover.prove(&value); [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:276:20 [INFO] [stdout] | [INFO] [stdout] 276 | let (C, A ,S, T1, T2, t_u, alpha_u, tetta_u, l_u, r_u, a_final, b_final, base_commitment, proofs) = prover.prove(&value); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:276:23 [INFO] [stdout] | [INFO] [stdout] 276 | let (C, A ,S, T1, T2, t_u, alpha_u, tetta_u, l_u, r_u, a_final, b_final, base_commitment, proofs) = prover.prove(&value); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:276:27 [INFO] [stdout] | [INFO] [stdout] 276 | let (C, A ,S, T1, T2, t_u, alpha_u, tetta_u, l_u, r_u, a_final, b_final, base_commitment, proofs) = prover.prove(&value); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/crypto/utils.rs:81:13 [INFO] [stdout] | [INFO] [stdout] 81 | for i in num_iter::range_inclusive(BigInt::from(1u64), bit_size-1) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `crypto-lib` (lib test) due to 1 previous error; 99 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: unused variable: `g_final` [INFO] [stdout] --> src/inner/inner_product_argument.rs:50:32 [INFO] [stdout] | [INFO] [stdout] 50 | ... let (a_final, b_final, g_final, h_final, proofs) = self.fold(a, b, clone_vector(&self.G_vec), clone_vector(&self.H_vec), proo... [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_g_final` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `h_final` [INFO] [stdout] --> src/inner/inner_product_argument.rs:50:41 [INFO] [stdout] | [INFO] [stdout] 50 | ... let (a_final, b_final, g_final, h_final, proofs) = self.fold(a, b, clone_vector(&self.G_vec), clone_vector(&self.H_vec), proo... [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_h_final` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `Utils::hash_to_point` [INFO] [stdout] --> src/crypto/utils.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn hash_to_point(seed: &BigInt, last_point: &Point, curve: &Curve) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::hash_to_point` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Curve` is more private than the item `Utils::hash_to_point` [INFO] [stdout] --> src/crypto/utils.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn hash_to_point(seed: &BigInt, last_point: &Point, curve: &Curve) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::hash_to_point` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Curve` is more private than the item `Utils::multiply_points_vector_by_scalar` [INFO] [stdout] --> src/crypto/utils.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn multiply_points_vector_by_scalar(curve: &Curve ,vec: &Vec, scalar: &BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::multiply_points_vector_by_scalar` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `Utils::multiply_points_vector_by_scalar` [INFO] [stdout] --> src/crypto/utils.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | pub fn multiply_points_vector_by_scalar(curve: &Curve ,vec: &Vec, scalar: &BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::multiply_points_vector_by_scalar` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Curve` is more private than the item `Utils::sum_points_vectors` [INFO] [stdout] --> src/crypto/utils.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn sum_points_vectors(curve: &Curve,vec1: &Vec, vec2 : &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::sum_points_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `Utils::sum_points_vectors` [INFO] [stdout] --> src/crypto/utils.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn sum_points_vectors(curve: &Curve,vec1: &Vec, vec2 : &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::sum_points_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Curve` is more private than the item `Utils::multiply_points_vectors_by_scalars` [INFO] [stdout] --> src/crypto/utils.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn multiply_points_vectors_by_scalars(curve: &Curve ,vec: &Vec, scalars: &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::multiply_points_vectors_by_scalars` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `Utils::multiply_points_vectors_by_scalars` [INFO] [stdout] --> src/crypto/utils.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | pub fn multiply_points_vectors_by_scalars(curve: &Curve ,vec: &Vec, scalars: &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::multiply_points_vectors_by_scalars` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Curve` is more private than the item `Utils::initialize_vectors` [INFO] [stdout] --> src/crypto/utils.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn initialize_vectors(curve: &Curve, seed: &BigInt, generator: &Point, bit_size: BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::initialize_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `Utils::initialize_vectors` [INFO] [stdout] --> src/crypto/utils.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn initialize_vectors(curve: &Curve, seed: &BigInt, generator: &Point, bit_size: BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `Utils::initialize_vectors` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Curve` is more private than the item `InnerProductArgumentProver::new` [INFO] [stdout] --> src/inner/inner_product_argument.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(curve: Curve, seed: BigInt, generator_g: Point, generator_h: Point, U: Point, bit_size: BigInt) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `InnerProductArgumentProver::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Curve` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:36:1 [INFO] [stdout] | [INFO] [stdout] 36 | pub(crate) struct Curve{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `InnerProductArgumentProver::new` [INFO] [stdout] --> src/inner/inner_product_argument.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(curve: Curve, seed: BigInt, generator_g: Point, generator_h: Point, U: Point, bit_size: BigInt) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `InnerProductArgumentProver::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `InnerProductArgumentProver::prove` [INFO] [stdout] --> src/inner/inner_product_argument.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | pub fn prove(&self, a: &Vec, b: &Vec) -> (BigInt, BigInt, Point, Vec) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `InnerProductArgumentProver::prove` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Point` is more private than the item `InnerProductArgumentProver::verify` [INFO] [stdout] --> src/inner/inner_product_argument.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn verify(&mut self, proof: &Vec, public_commitment: Point, a_final: &BigInt, b_final: &BigInt) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `InnerProductArgumentProver::verify` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Point` is only usable at visibility `pub(crate)` [INFO] [stdout] --> src/crypto/curve.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) enum Point{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: struct `Affine` is never constructed [INFO] [stdout] --> src/crypto/curve.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Affine { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it [INFO] [stdout] = note: `#[deny(unused_unconstructable_pub_structs)]` (part of `#[deny(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `x` and `y` are never read [INFO] [stdout] --> src/crypto/curve.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Affine { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] 7 | x: BigInt, [INFO] [stdout] | ^ [INFO] [stdout] 8 | y: BigInt, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `compare_points`, `is_on_curve`, `sum_points_vector`, and `inner_product_points_vector` are never used [INFO] [stdout] --> src/crypto/curve.rs:49:12 [INFO] [stdout] | [INFO] [stdout] 48 | impl Curve { [INFO] [stdout] | ---------- associated items in this implementation [INFO] [stdout] 49 | pub fn new(name: &str, a: BigInt, b: BigInt, p: BigInt, group_order: BigInt, generator: Point) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 143 | pub(crate) fn compare_points(&self, p1: &Point, p2: &Point) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 157 | pub(crate) fn is_on_curve(&self, p: &Point) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 203 | pub(crate) fn sum_points_vector(&self, points: &[Point]) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 216 | pub (crate) fn inner_product_points_vector(&self, points: &Vec, scalars: &Vec) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `hash_point` and `hash_points` are never used [INFO] [stdout] --> src/crypto/utils.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 10 | impl Utils { [INFO] [stdout] | ---------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 28 | fn hash_point(point: &Point) -> BigInt { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | fn hash_points(points: &Vec) -> BigInt { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `identity_element` and `scalar_elements` are never used [INFO] [stdout] --> src/crypto/module.rs:7:8 [INFO] [stdout] | [INFO] [stdout] 4 | pub(crate) trait GroupOperations { [INFO] [stdout] | --------------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 7 | fn identity_element() -> BigInt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 8 | fn scalar_elements(scalar: &BigInt, element: &BigInt, modulus: &BigInt) -> BigInt; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PedersonCommitment` is never constructed [INFO] [stdout] --> src/sigma/pederson.rs:5:19 [INFO] [stdout] | [INFO] [stdout] 5 | pub(crate) struct PedersonCommitment { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `clone`, `commit`, and `open` are never used [INFO] [stdout] --> src/sigma/pederson.rs:14:19 [INFO] [stdout] | [INFO] [stdout] 13 | impl PedersonCommitment { [INFO] [stdout] | ----------------------- methods in this implementation [INFO] [stdout] 14 | pub(crate) fn clone(&self) -> PedersonCommitment { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | pub(crate) fn commit(&self, m: &BigInt) -> (Point, BigInt){ [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 39 | pub(crate) fn open(&self, C: &Point, m: &BigInt, r: &BigInt) -> bool { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `open` is never used [INFO] [stdout] --> src/sigma/general.rs:30:8 [INFO] [stdout] | [INFO] [stdout] 9 | impl GeneralSigma { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 30 | fn open(&self, generators: &Vec, values: &Vec, commitment: &Point) -> bool { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ZKMulProof` is never constructed [INFO] [stdout] --> src/sigma/zk_mul.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | struct ZKMulProof { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `prove`, `verify`, and `calculates_commitments` are never used [INFO] [stdout] --> src/sigma/zk_mul.rs:19:8 [INFO] [stdout] | [INFO] [stdout] 18 | impl ZKMulProof { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] 19 | fn new(curve: Curve, G: Point, H: Point, B: Point) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | fn prove(&self, a: &BigInt, b: &BigInt) -> (Point, Point , Point, Point, Point, BigInt, BigInt, BigInt, BigInt, BigInt) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 83 | fn calculates_commitments(&self, values: &Vec<&BigInt>, points: &Vec<&Point>) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_items_at_indices` is never used [INFO] [stdout] --> src/math/vector.rs:19:15 [INFO] [stdout] | [INFO] [stdout] 19 | pub(crate) fn get_items_at_indices(v: &Vec, indices: &Vec) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `multiply_two_vectors` is never used [INFO] [stdout] --> src/math/vector.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | pub(crate) fn multiply_two_vectors(v1: &Vec, v2: &Vec) -> Vec [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sum_vector_with_scalar` is never used [INFO] [stdout] --> src/math/vector.rs:50:15 [INFO] [stdout] | [INFO] [stdout] 50 | pub(crate) fn sum_vector_with_scalar(v: &Vec, scalar: &T) -> Vec [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `to_big_vector` is never used [INFO] [stdout] --> src/math/vector.rs:58:15 [INFO] [stdout] | [INFO] [stdout] 58 | pub(crate) fn to_big_vector(v: &Vec) -> Vec [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `lagrange_interpolation` is never used [INFO] [stdout] --> src/math/lagrange.rs:3:4 [INFO] [stdout] | [INFO] [stdout] 3 | fn lagrange_interpolation(x: &Vec, y: &Vec, target: &BigInt) -> BigInt { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `bit_size` and `proof` are never read [INFO] [stdout] --> src/inner/inner_product_argument.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub struct InnerProductArgumentProver { [INFO] [stdout] | -------------------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 22 | bit_size: BigInt, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 23 | proof: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BitDecomposition` is never constructed [INFO] [stdout] --> src/range/bit_decomposition.rs:6:8 [INFO] [stdout] | [INFO] [stdout] 6 | struct BitDecomposition { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `commit_to_bits_aggregate`, `aggregate_commitments`, and `verify_aggregate_commitment` are never used [INFO] [stdout] --> src/range/bit_decomposition.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 12 | impl BitDecomposition { [INFO] [stdout] | --------------------- associated items in this implementation [INFO] [stdout] 13 | fn new(curve: Curve, commitment: PedersonCommitment, num_bits: u32) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 21 | fn commit_to_bits_aggregate(&self, value: &BigInt) -> (Point, Vec ){ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn aggregate_commitments(&self, commitments: &Vec) -> Point { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | fn verify_aggregate_commitment(&self, aggregated_commitment: &Point, value: &BigInt, randomness_list: &Vec) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Bulletproofs` is never constructed [INFO] [stdout] --> src/range/bulletproofs.rs:11:8 [INFO] [stdout] | [INFO] [stdout] 11 | struct Bulletproofs { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/range/bulletproofs.rs:27:8 [INFO] [stdout] | [INFO] [stdout] 25 | impl Bulletproofs{ [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 26 | [INFO] [stdout] 27 | fn new(curve: Curve, commitment_scheme: PedersonCommitment, bit_size: u32, seed: &BigInt ) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | fn prove(&self, value: &BigInt) -> (Point, Point, Point, Point, Point, BigInt, BigInt, BigInt, Vec, Vec, BigInt... [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 123 | fn calculate_l_x(&self, x: &BigInt, a_l: &Vec, s_l: &Vec, z: BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 133 | fn calculate_r_x(&self, x: &BigInt, a_r: &Vec, s_r: &Vec, y: &BigInt, z: &BigInt) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 208 | fn calculate_delta(&self, y: &BigInt, z: &BigInt) -> BigInt { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 227 | fn generate_blind_vector(&self, size: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G` should have a snake case name [INFO] [stdout] --> src/sigma/pederson.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | pub G: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H` should have a snake case name [INFO] [stdout] --> src/sigma/pederson.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub H: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/sigma/pederson.rs:39:31 [INFO] [stdout] | [INFO] [stdout] 39 | pub(crate) fn open(&self, C: &Point, m: &BigInt, r: &BigInt) -> bool { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | G: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | H: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `B` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | B: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:19:26 [INFO] [stdout] | [INFO] [stdout] 19 | fn new(curve: Curve, G: Point, H: Point, B: Point) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:19:36 [INFO] [stdout] | [INFO] [stdout] 19 | fn new(curve: Curve, G: Point, H: Point, B: Point) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `B` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:19:46 [INFO] [stdout] | [INFO] [stdout] 19 | fn new(curve: Curve, G: Point, H: Point, B: Point) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case: `b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | let A = self.calculates_commitments(&vec![a, b, &alpha], &vec![&self.G, &self.H, &self.B]); [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:43:13 [INFO] [stdout] | [INFO] [stdout] 43 | let S = self.calculates_commitments(&vec![&s_l, &s_r, &beta], &vec![&self.G, &self.H, &self.B]); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_0` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | let T_0 = self.calculates_commitments(&vec!(&(a*b),&t0), &vec![&self.G , &self.B] ); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_1` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:46:13 [INFO] [stdout] | [INFO] [stdout] 46 | let T_1 = self.calculates_commitments(&vec!(&(b* &s_l + a * &s_r),&t1), &vec![&self.G , &self.B] ); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_2` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:47:13 [INFO] [stdout] | [INFO] [stdout] 47 | let T_2 = self.calculates_commitments(&vec!(&(&s_l * &s_r),&t2), &vec![&self.G , &self.B] ); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:22 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:33 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_0` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:44 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_1` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:57 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T_2` should have a snake case name [INFO] [stdout] --> src/sigma/zk_mul.rs:60:70 [INFO] [stdout] | [INFO] [stdout] 60 | fn verify(&self, A: &Point, S: &Point, T_0: &Point, T_1: &Point, T_2: &Point, l_u: &BigInt, r_u: &BigInt, t_u: &BigInt, alpha_u:... [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `t_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `L` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | L: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `R` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | R: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case: `r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G_vec` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | G_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H_vec` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | H_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `h_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `U` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | U: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `U` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:28:84 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(curve: Curve, seed: BigInt, generator_g: Point, generator_h: Point, U: Point, bit_size: BigInt) -> Self { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G_generator` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:56:63 [INFO] [stdout] | [INFO] [stdout] 56 | fn inner_commit(&self, a: &Vec, b: &Vec, G_generator: &Vec, H_generator: &Vec) -> Point { [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `g_generator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H_generator` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:56:89 [INFO] [stdout] | [INFO] [stdout] 56 | fn inner_commit(&self, a: &Vec, b: &Vec, G_generator: &Vec, H_generator: &Vec) -> Point { [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `h_generator` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `aG` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | let aG = self.curve.double_and_add(&a_final, &g_final); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `a_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `bH` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:72:13 [INFO] [stdout] | [INFO] [stdout] 72 | let bH = self.curve.double_and_add(&b_final, &h_final); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `b_h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `abU` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:73:13 [INFO] [stdout] | [INFO] [stdout] 73 | let abU = self.curve.double_and_add(&(a_final * b_final), &self.U); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `ab_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `P` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:76:17 [INFO] [stdout] | [INFO] [stdout] 76 | let mut P = public_commitment.clone(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:107:13 [INFO] [stdout] | [INFO] [stdout] 107 | let L = self.inner_commit( [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `R` should have a snake case name [INFO] [stdout] --> src/inner/inner_product_argument.rs:115:13 [INFO] [stdout] | [INFO] [stdout] 115 | let R = self.inner_commit( [INFO] [stdout] | ^ help: convert the identifier to snake case: `r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Curve` should have a snake case name [INFO] [stdout] --> src/range/bit_decomposition.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | Curve: Curve, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case (notice the capitalization): `curve` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `G_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | G_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `H_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | H_vec: Vec, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `h_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | U: Point, [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:28:13 [INFO] [stdout] | [INFO] [stdout] 28 | let G_vec = Utils::initialize_vectors(&curve, &seed, &commitment_scheme.G, BigInt::from(bit_size)); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H_vec` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | let H_vec = Utils::initialize_vectors(&curve, &seed, &commitment_scheme.H, BigInt::from(bit_size)); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `h_vec` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:31:13 [INFO] [stdout] | [INFO] [stdout] 31 | let G = commitment_scheme.G.clone(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `H` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:32:13 [INFO] [stdout] | [INFO] [stdout] 32 | let H = commitment_scheme.H.clone(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | let U = Utils::hash_to_point(&BigInt::from(2 * bit_size), &H, &curve); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:53:14 [INFO] [stdout] | [INFO] [stdout] 53 | let (C, _r) = self.commitment_scheme.commit(value); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `a_l_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:67:14 [INFO] [stdout] | [INFO] [stdout] 67 | let a_l_G = self.curve.inner_product_points_vector(&self.G_vec, &a_l); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `a_l_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `a_r_H` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:68:14 [INFO] [stdout] | [INFO] [stdout] 68 | let a_r_H = self.curve.inner_product_points_vector(&self.H_vec, &a_r); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `a_r_h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `alpha_U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:69:13 [INFO] [stdout] | [INFO] [stdout] 69 | let alpha_U = self.curve.double_and_add(&alpha, &self.U); [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `alpha_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | let A = self.curve.sum_points_vector(&vec![a_l_G, a_r_H, alpha_U.clone()]); [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `s_l_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:73:13 [INFO] [stdout] | [INFO] [stdout] 73 | let s_l_G = self.curve.inner_product_points_vector( &self.G_vec, &s_l); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `s_l_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `s_r_H` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:74:13 [INFO] [stdout] | [INFO] [stdout] 74 | let s_r_H = self.curve.inner_product_points_vector( &self.H_vec, &s_r); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `s_r_h` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `betta_U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | let betta_U = self.curve.double_and_add(&betta, &self.U); [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `betta_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:77:13 [INFO] [stdout] | [INFO] [stdout] 77 | let S = self.curve.sum_points_vector(&vec![s_l_G, s_r_H, betta_U.clone()]); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:104:13 [INFO] [stdout] | [INFO] [stdout] 104 | ... let T1 = self.commitment_scheme.sigma.commit(&vec![self.commitment_scheme.G.clone(), self.commitment_scheme.H.clone()], &vec!... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:105:13 [INFO] [stdout] | [INFO] [stdout] 105 | ... let T2 = self.commitment_scheme.sigma.commit(&vec![self.commitment_scheme.G.clone(), self.commitment_scheme.H.clone()], &vec!... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `C` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:30 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `A` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:40 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case: `a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:49 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:59 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:151:70 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn verify(&mut self, C: Point, A:Point, S: Point, T1: Point, T2: Point, t_u: BigInt, alpha_u: BigInt, tetta_u: BigInt, l_u:... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `l_u_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:157:13 [INFO] [stdout] | [INFO] [stdout] 157 | let l_u_G = &self.curve.inner_product_points_vector(&self.G_vec, &l_u); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `l_u_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `alpha_u_U` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:162:13 [INFO] [stdout] | [INFO] [stdout] 162 | let alpha_u_U = self.curve.double_and_add(&alpha_u, &self.U); [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case (notice the capitalization): `alpha_u_u` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `u_S` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:167:13 [INFO] [stdout] | [INFO] [stdout] 167 | let u_S = self.curve.double_and_add(&challenge_u, &S); [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `u_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `z_inverse_ones_G` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:170:13 [INFO] [stdout] | [INFO] [stdout] 170 | ... let z_inverse_ones_G = self.curve.inner_product_points_vector(&self.G_vec, &vec![MultiplicativeGroup::inverse_element(&challe... [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `z_inverse_ones_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `J` should have a snake case name [INFO] [stdout] --> src/range/bulletproofs.rs:182:13 [INFO] [stdout] | [INFO] [stdout] 182 | ... let J = self.curve.sum_points_vector( &Utils::multiply_points_vectors_by_scalars(&self.curve, &y_inverse_h_vector, &z_y_plus... [INFO] [stdout] | ^ help: convert the identifier to snake case: `j` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `crypto-lib` (lib) due to 1 previous error; 101 warnings emitted [INFO] running `Command { std: "docker" "inspect" "d565667cf7e4d0a7db2a0ab0276ff1e49168408e02db99d864ab6020ecf5c369", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d565667cf7e4d0a7db2a0ab0276ff1e49168408e02db99d864ab6020ecf5c369", kill_on_drop: false }` [INFO] [stdout] d565667cf7e4d0a7db2a0ab0276ff1e49168408e02db99d864ab6020ecf5c369