[INFO] updating cached repository https://github.com/dusk-network/plonk_gadgets
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 632b3522a75b89fe13e1172a9b0087ba91c85427
[INFO] testing dusk-network/plonk_gadgets against beta-2020-06-03 for beta-1.45-1
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdusk-network%2Fplonk_gadgets" "/workspace/builds/worker-7/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/dusk-network/plonk_gadgets on toolchain beta-2020-06-03
[INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/dusk-network/plonk_gadgets
[INFO] finished tweaking git repo https://github.com/dusk-network/plonk_gadgets
[INFO] tweaked toml for git repo https://github.com/dusk-network/plonk_gadgets written to /workspace/builds/worker-7/source/Cargo.toml
[INFO] crate git repo https://github.com/dusk-network/plonk_gadgets already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "build" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 3b6924b4a83349452fdc5820a7078f53c23864a7f572d239ec4cdd4359a90b2b
[INFO] running `"docker" "start" "-a" "3b6924b4a83349452fdc5820a7078f53c23864a7f572d239ec4cdd4359a90b2b"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling syn v1.0.14
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling subtle v2.2.2
[INFO] [stderr]    Compiling bench-utils v0.1.0 (https://github.com/scipr-lab/zexe/#2c22b770)
[INFO] [stderr]    Compiling itertools v0.8.2
[INFO] [stderr]    Compiling rand_chacha v0.2.1
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.0
[INFO] [stderr]    Compiling bls12_381 v0.1.1 (https://github.com/zkcrypto/bls12_381#d0ea5d49)
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling crossbeam-deque v0.7.2
[INFO] [stderr]    Compiling rayon-core v1.7.0
[INFO] [stderr]    Compiling rayon v1.3.0
[INFO] [stderr]    Compiling synstructure v0.12.3
[INFO] [stderr]    Compiling algebra v0.1.0 (https://github.com/scipr-lab/zexe/#2c22b770)
[INFO] [stderr]    Compiling zeroize_derive v1.0.0
[INFO] [stderr]    Compiling zeroize v1.1.0
[INFO] [stderr]    Compiling merlin v2.0.0
[INFO] [stderr]    Compiling ff-fft v0.1.0 (https://github.com/scipr-lab/zexe/#2c22b770)
[INFO] [stderr]    Compiling poly-commit v0.1.0 (https://github.com/scipr-lab/poly-commit#77676213)
[INFO] [stderr]    Compiling plonk v0.1.0 (https://github.com/dusk-network/plonk?branch=fast_prover_zexe#585d281e)
[INFO] [stderr]    Compiling plonk_gadgets v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused import: `crate::gadgets::scalar::*`
[INFO] [stderr]    --> src/gadgets/ecc.rs:480:9
[INFO] [stderr]     |
[INFO] [stderr] 480 |     use crate::gadgets::scalar::*;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/ecc.rs:487:38
[INFO] [stderr]     |
[INFO] [stderr] 487 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/scalar.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `rand::RngCore`
[INFO] [stderr]  --> src/gadgets/scalar.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use rand::RngCore;
[INFO] [stderr]   |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/scalar.rs:112:38
[INFO] [stderr]     |
[INFO] [stderr] 112 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/sk_knowledge.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 7 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `RngCore`, `thread_rng`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | use rand::{thread_rng, RngCore};
[INFO] [stderr]    |            ^^^^^^^^^^  ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `One`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:75:34
[INFO] [stderr]    |
[INFO] [stderr] 75 |     use num_traits::identities::{One, Zero};
[INFO] [stderr]    |                                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:78:38
[INFO] [stderr]    |
[INFO] [stderr] 78 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]    |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `num`
[INFO] [stderr]    --> src/gadgets/scalar.rs:327:9
[INFO] [stderr]     |
[INFO] [stderr] 327 |         num: Fr,
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_num`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]    --> src/gadgets/ecc.rs:490:8
[INFO] [stderr]     |
[INFO] [stderr] 490 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `testing_points`
[INFO] [stderr]    --> src/gadgets/ecc.rs:495:8
[INFO] [stderr]     |
[INFO] [stderr] 495 |     fn testing_points() -> (
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_equalty`
[INFO] [stderr]    --> src/gadgets/ecc.rs:518:8
[INFO] [stderr]     |
[INFO] [stderr] 518 |     fn prove_point_equalty(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_equalty`
[INFO] [stderr]    --> src/gadgets/ecc.rs:539:8
[INFO] [stderr]     |
[INFO] [stderr] 539 |     fn verify_point_equalty(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_equalty_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:8
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_conditionally_select_identity`
[INFO] [stderr]    --> src/gadgets/ecc.rs:587:8
[INFO] [stderr]     |
[INFO] [stderr] 587 |     fn prove_conditionally_select_identity(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_conditionally_select_identity`
[INFO] [stderr]    --> src/gadgets/ecc.rs:611:8
[INFO] [stderr]     |
[INFO] [stderr] 611 |     fn verify_conditionally_select_identity(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `conditionally_select_identity_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:642:8
[INFO] [stderr]     |
[INFO] [stderr] 642 |     fn conditionally_select_identity_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_addition`
[INFO] [stderr]    --> src/gadgets/ecc.rs:676:8
[INFO] [stderr]     |
[INFO] [stderr] 676 |     fn prove_point_addition(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_addition`
[INFO] [stderr]    --> src/gadgets/ecc.rs:700:8
[INFO] [stderr]     |
[INFO] [stderr] 700 |     fn verify_point_addition(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_addition_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:731:8
[INFO] [stderr]     |
[INFO] [stderr] 731 |     fn point_addition_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_doubling`
[INFO] [stderr]    --> src/gadgets/ecc.rs:753:8
[INFO] [stderr]     |
[INFO] [stderr] 753 |     fn prove_point_doubling(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_doubling`
[INFO] [stderr]    --> src/gadgets/ecc.rs:775:8
[INFO] [stderr]     |
[INFO] [stderr] 775 |     fn verify_point_doubling(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_doubling_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:8
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_curve_eq_satisfy`
[INFO] [stderr]    --> src/gadgets/ecc.rs:821:8
[INFO] [stderr]     |
[INFO] [stderr] 821 |     fn prove_curve_eq_satisfy(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_curve_eq_satisfy`
[INFO] [stderr]    --> src/gadgets/ecc.rs:839:8
[INFO] [stderr]     |
[INFO] [stderr] 839 |     fn verify_curve_eq_satisfy(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `curve_eq_satisfy_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:8
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_scalar_mul`
[INFO] [stderr]    --> src/gadgets/ecc.rs:882:8
[INFO] [stderr]     |
[INFO] [stderr] 882 |     fn prove_scalar_mul(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_scalar_mul`
[INFO] [stderr]    --> src/gadgets/ecc.rs:914:8
[INFO] [stderr]     |
[INFO] [stderr] 914 |     fn verify_scalar_mul(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `scalar_mul_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:953:8
[INFO] [stderr]     |
[INFO] [stderr] 953 |     fn scalar_mul_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]    --> src/gadgets/scalar.rs:115:8
[INFO] [stderr]     |
[INFO] [stderr] 115 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_binary`
[INFO] [stderr]    --> src/gadgets/scalar.rs:119:8
[INFO] [stderr]     |
[INFO] [stderr] 119 |     fn prove_binary(
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_binary`
[INFO] [stderr]    --> src/gadgets/scalar.rs:135:8
[INFO] [stderr]     |
[INFO] [stderr] 135 |     fn verify_binary(
[INFO] [stderr]     |        ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `binary_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:157:8
[INFO] [stderr]     |
[INFO] [stderr] 157 |     fn binary_roundtrip_helper(possible_bit: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_cond_select_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:173:8
[INFO] [stderr]     |
[INFO] [stderr] 173 |     fn prove_cond_select_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_cond_select_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:194:8
[INFO] [stderr]     |
[INFO] [stderr] 194 |     fn verify_cond_select_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `cond_select_zero_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:220:8
[INFO] [stderr]     |
[INFO] [stderr] 220 |     fn cond_select_zero_roundtrip_helper(num: Fr, selector: Fr, expected: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_cond_select_one`
[INFO] [stderr]    --> src/gadgets/scalar.rs:239:8
[INFO] [stderr]     |
[INFO] [stderr] 239 |     fn prove_cond_select_one(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_cond_select_one`
[INFO] [stderr]    --> src/gadgets/scalar.rs:260:8
[INFO] [stderr]     |
[INFO] [stderr] 260 |     fn verify_cond_select_one(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `cond_select_one_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:286:8
[INFO] [stderr]     |
[INFO] [stderr] 286 |     fn cond_select_one_roundtrip_helper(num: Fr, selector: Fr, expected: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_is_non_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:305:8
[INFO] [stderr]     |
[INFO] [stderr] 305 |     fn prove_is_non_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_is_non_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:322:8
[INFO] [stderr]     |
[INFO] [stderr] 322 |     fn verify_is_non_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `is_non_zero_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:345:8
[INFO] [stderr]     |
[INFO] [stderr] 345 |     fn is_non_zero_roundtrip_helper(num: Fr, inv_num: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:81:8
[INFO] [stderr]    |
[INFO] [stderr] 81 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `testing_points`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:86:8
[INFO] [stderr]    |
[INFO] [stderr] 86 |     fn testing_points() -> (
[INFO] [stderr]    |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_sk_knowledge`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:109:8
[INFO] [stderr]     |
[INFO] [stderr] 109 |     fn prove_sk_knowledge(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_sk_knowledge`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:130:8
[INFO] [stderr]     |
[INFO] [stderr] 130 |     fn verify_sk_knowledge(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `sk_knowledge_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:158:8
[INFO] [stderr]     |
[INFO] [stderr] 158 |     fn sk_knowledge_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `X` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:15:9
[INFO] [stderr]    |
[INFO] [stderr] 15 |     pub X: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `x`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Y` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:16:9
[INFO] [stderr]    |
[INFO] [stderr] 16 |     pub Y: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `y`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Z` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:17:9
[INFO] [stderr]    |
[INFO] [stderr] 17 |     pub Z: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `z`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `T` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:18:9
[INFO] [stderr]    |
[INFO] [stderr] 18 |     pub T: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case: `t`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:49:13
[INFO] [stderr]    |
[INFO] [stderr] 49 |         let A = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:58:13
[INFO] [stderr]    |
[INFO] [stderr] 58 |         let B = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:67:13
[INFO] [stderr]    |
[INFO] [stderr] 67 |         let C = composer.mul(self.T, other.T, coeff_d, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `D` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:69:13
[INFO] [stderr]    |
[INFO] [stderr] 69 |         let D = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `d`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E1` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:79:17
[INFO] [stderr]    |
[INFO] [stderr] 79 |             let E1 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E2` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:88:17
[INFO] [stderr]    |
[INFO] [stderr] 88 |             let E2 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E12` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:97:17
[INFO] [stderr]    |
[INFO] [stderr] 97 |             let E12 = composer.mul(E1, E2, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^ help: convert the identifier to snake case: `e12`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `aAaB` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:99:17
[INFO] [stderr]    |
[INFO] [stderr] 99 |             let aAaB = composer.add(A, B, coeff_a, coeff_a, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^^ help: convert the identifier to snake case: `a_aa_b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:78:13
[INFO] [stderr]    |
[INFO] [stderr] 78 |         let E = {
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:112:13
[INFO] [stderr]     |
[INFO] [stderr] 112 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:123:13
[INFO] [stderr]     |
[INFO] [stderr] 123 |         let G = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:134:13
[INFO] [stderr]     |
[INFO] [stderr] 134 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:176:13
[INFO] [stderr]     |
[INFO] [stderr] 176 |         let A = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:185:13
[INFO] [stderr]     |
[INFO] [stderr] 185 |         let B = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:194:13
[INFO] [stderr]     |
[INFO] [stderr] 194 |         let C = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:204:13
[INFO] [stderr]     |
[INFO] [stderr] 204 |         let E = {
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:242:13
[INFO] [stderr]     |
[INFO] [stderr] 242 |         let G = composer.add(A, B, coeff_a, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:244:13
[INFO] [stderr]     |
[INFO] [stderr] 244 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:254:13
[INFO] [stderr]     |
[INFO] [stderr] 254 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:423:17
[INFO] [stderr]     |
[INFO] [stderr] 423 |         let mut Q = JubJubPointGadget {
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:521:9
[INFO] [stderr]     |
[INFO] [stderr] 521 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:522:9
[INFO] [stderr]     |
[INFO] [stderr] 522 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:527:13
[INFO] [stderr]     |
[INFO] [stderr] 527 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:529:13
[INFO] [stderr]     |
[INFO] [stderr] 529 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:544:9
[INFO] [stderr]     |
[INFO] [stderr] 544 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:545:9
[INFO] [stderr]     |
[INFO] [stderr] 545 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:550:13
[INFO] [stderr]     |
[INFO] [stderr] 550 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:552:13
[INFO] [stderr]     |
[INFO] [stderr] 552 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:39
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                       ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:62
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                              ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:590:9
[INFO] [stderr]     |
[INFO] [stderr] 590 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:591:9
[INFO] [stderr]     |
[INFO] [stderr] 591 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:598:13
[INFO] [stderr]     |
[INFO] [stderr] 598 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:599:13
[INFO] [stderr]     |
[INFO] [stderr] 599 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:616:9
[INFO] [stderr]     |
[INFO] [stderr] 616 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:617:9
[INFO] [stderr]     |
[INFO] [stderr] 617 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:624:13
[INFO] [stderr]     |
[INFO] [stderr] 624 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:625:13
[INFO] [stderr]     |
[INFO] [stderr] 625 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:643:9
[INFO] [stderr]     |
[INFO] [stderr] 643 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:644:9
[INFO] [stderr]     |
[INFO] [stderr] 644 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:679:9
[INFO] [stderr]     |
[INFO] [stderr] 679 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:680:9
[INFO] [stderr]     |
[INFO] [stderr] 680 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:681:9
[INFO] [stderr]     |
[INFO] [stderr] 681 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:686:13
[INFO] [stderr]     |
[INFO] [stderr] 686 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:687:13
[INFO] [stderr]     |
[INFO] [stderr] 687 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:688:13
[INFO] [stderr]     |
[INFO] [stderr] 688 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:705:9
[INFO] [stderr]     |
[INFO] [stderr] 705 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:706:9
[INFO] [stderr]     |
[INFO] [stderr] 706 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:707:9
[INFO] [stderr]     |
[INFO] [stderr] 707 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:712:13
[INFO] [stderr]     |
[INFO] [stderr] 712 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:713:13
[INFO] [stderr]     |
[INFO] [stderr] 713 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:714:13
[INFO] [stderr]     |
[INFO] [stderr] 714 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:732:9
[INFO] [stderr]     |
[INFO] [stderr] 732 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:733:9
[INFO] [stderr]     |
[INFO] [stderr] 733 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:734:9
[INFO] [stderr]     |
[INFO] [stderr] 734 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:756:9
[INFO] [stderr]     |
[INFO] [stderr] 756 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:757:9
[INFO] [stderr]     |
[INFO] [stderr] 757 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:762:13
[INFO] [stderr]     |
[INFO] [stderr] 762 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:763:13
[INFO] [stderr]     |
[INFO] [stderr] 763 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:780:9
[INFO] [stderr]     |
[INFO] [stderr] 780 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:781:9
[INFO] [stderr]     |
[INFO] [stderr] 781 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:786:13
[INFO] [stderr]     |
[INFO] [stderr] 786 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:787:13
[INFO] [stderr]     |
[INFO] [stderr] 787 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:40
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                        ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:63
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                               ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:824:9
[INFO] [stderr]     |
[INFO] [stderr] 824 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:829:13
[INFO] [stderr]     |
[INFO] [stderr] 829 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:844:9
[INFO] [stderr]     |
[INFO] [stderr] 844 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:849:13
[INFO] [stderr]     |
[INFO] [stderr] 849 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:42
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                          ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:885:9
[INFO] [stderr]     |
[INFO] [stderr] 885 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:887:9
[INFO] [stderr]     |
[INFO] [stderr] 887 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:892:13
[INFO] [stderr]     |
[INFO] [stderr] 892 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:893:13
[INFO] [stderr]     |
[INFO] [stderr] 893 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:919:9
[INFO] [stderr]     |
[INFO] [stderr] 919 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:921:9
[INFO] [stderr]     |
[INFO] [stderr] 921 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:926:13
[INFO] [stderr]     |
[INFO] [stderr] 926 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:927:13
[INFO] [stderr]     |
[INFO] [stderr] 927 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:954:9
[INFO] [stderr]     |
[INFO] [stderr] 954 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:955:9
[INFO] [stderr]     |
[INFO] [stderr] 955 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: 132 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 16s
[INFO] running `"docker" "inspect" "3b6924b4a83349452fdc5820a7078f53c23864a7f572d239ec4cdd4359a90b2b"`
[INFO] running `"docker" "rm" "-f" "3b6924b4a83349452fdc5820a7078f53c23864a7f572d239ec4cdd4359a90b2b"`
[INFO] [stdout] 3b6924b4a83349452fdc5820a7078f53c23864a7f572d239ec4cdd4359a90b2b
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen" "--no-run"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] a50d956094e37b9e400678a52736950dce2d5e03dc4061afd589f263e0958666
[INFO] running `"docker" "start" "-a" "a50d956094e37b9e400678a52736950dce2d5e03dc4061afd589f263e0958666"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling plonk_gadgets v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused import: `crate::gadgets::scalar::*`
[INFO] [stderr]    --> src/gadgets/ecc.rs:480:9
[INFO] [stderr]     |
[INFO] [stderr] 480 |     use crate::gadgets::scalar::*;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/ecc.rs:487:38
[INFO] [stderr]     |
[INFO] [stderr] 487 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/scalar.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `rand::RngCore`
[INFO] [stderr]  --> src/gadgets/scalar.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use rand::RngCore;
[INFO] [stderr]   |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/scalar.rs:112:38
[INFO] [stderr]     |
[INFO] [stderr] 112 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/sk_knowledge.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 7 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `RngCore`, `thread_rng`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | use rand::{thread_rng, RngCore};
[INFO] [stderr]    |            ^^^^^^^^^^  ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `One`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:75:34
[INFO] [stderr]    |
[INFO] [stderr] 75 |     use num_traits::identities::{One, Zero};
[INFO] [stderr]    |                                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:78:38
[INFO] [stderr]    |
[INFO] [stderr] 78 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]    |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `num`
[INFO] [stderr]    --> src/gadgets/scalar.rs:327:9
[INFO] [stderr]     |
[INFO] [stderr] 327 |         num: Fr,
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_num`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]    --> src/gadgets/ecc.rs:490:8
[INFO] [stderr]     |
[INFO] [stderr] 490 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `testing_points`
[INFO] [stderr]    --> src/gadgets/ecc.rs:495:8
[INFO] [stderr]     |
[INFO] [stderr] 495 |     fn testing_points() -> (
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_equalty`
[INFO] [stderr]    --> src/gadgets/ecc.rs:518:8
[INFO] [stderr]     |
[INFO] [stderr] 518 |     fn prove_point_equalty(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_equalty`
[INFO] [stderr]    --> src/gadgets/ecc.rs:539:8
[INFO] [stderr]     |
[INFO] [stderr] 539 |     fn verify_point_equalty(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_equalty_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:8
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_conditionally_select_identity`
[INFO] [stderr]    --> src/gadgets/ecc.rs:587:8
[INFO] [stderr]     |
[INFO] [stderr] 587 |     fn prove_conditionally_select_identity(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_conditionally_select_identity`
[INFO] [stderr]    --> src/gadgets/ecc.rs:611:8
[INFO] [stderr]     |
[INFO] [stderr] 611 |     fn verify_conditionally_select_identity(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `conditionally_select_identity_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:642:8
[INFO] [stderr]     |
[INFO] [stderr] 642 |     fn conditionally_select_identity_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_addition`
[INFO] [stderr]    --> src/gadgets/ecc.rs:676:8
[INFO] [stderr]     |
[INFO] [stderr] 676 |     fn prove_point_addition(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_addition`
[INFO] [stderr]    --> src/gadgets/ecc.rs:700:8
[INFO] [stderr]     |
[INFO] [stderr] 700 |     fn verify_point_addition(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_addition_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:731:8
[INFO] [stderr]     |
[INFO] [stderr] 731 |     fn point_addition_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_doubling`
[INFO] [stderr]    --> src/gadgets/ecc.rs:753:8
[INFO] [stderr]     |
[INFO] [stderr] 753 |     fn prove_point_doubling(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_doubling`
[INFO] [stderr]    --> src/gadgets/ecc.rs:775:8
[INFO] [stderr]     |
[INFO] [stderr] 775 |     fn verify_point_doubling(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_doubling_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:8
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_curve_eq_satisfy`
[INFO] [stderr]    --> src/gadgets/ecc.rs:821:8
[INFO] [stderr]     |
[INFO] [stderr] 821 |     fn prove_curve_eq_satisfy(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_curve_eq_satisfy`
[INFO] [stderr]    --> src/gadgets/ecc.rs:839:8
[INFO] [stderr]     |
[INFO] [stderr] 839 |     fn verify_curve_eq_satisfy(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `curve_eq_satisfy_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:8
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_scalar_mul`
[INFO] [stderr]    --> src/gadgets/ecc.rs:882:8
[INFO] [stderr]     |
[INFO] [stderr] 882 |     fn prove_scalar_mul(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_scalar_mul`
[INFO] [stderr]    --> src/gadgets/ecc.rs:914:8
[INFO] [stderr]     |
[INFO] [stderr] 914 |     fn verify_scalar_mul(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `scalar_mul_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:953:8
[INFO] [stderr]     |
[INFO] [stderr] 953 |     fn scalar_mul_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]    --> src/gadgets/scalar.rs:115:8
[INFO] [stderr]     |
[INFO] [stderr] 115 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_binary`
[INFO] [stderr]    --> src/gadgets/scalar.rs:119:8
[INFO] [stderr]     |
[INFO] [stderr] 119 |     fn prove_binary(
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_binary`
[INFO] [stderr]    --> src/gadgets/scalar.rs:135:8
[INFO] [stderr]     |
[INFO] [stderr] 135 |     fn verify_binary(
[INFO] [stderr]     |        ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `binary_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:157:8
[INFO] [stderr]     |
[INFO] [stderr] 157 |     fn binary_roundtrip_helper(possible_bit: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_cond_select_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:173:8
[INFO] [stderr]     |
[INFO] [stderr] 173 |     fn prove_cond_select_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_cond_select_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:194:8
[INFO] [stderr]     |
[INFO] [stderr] 194 |     fn verify_cond_select_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `cond_select_zero_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:220:8
[INFO] [stderr]     |
[INFO] [stderr] 220 |     fn cond_select_zero_roundtrip_helper(num: Fr, selector: Fr, expected: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_cond_select_one`
[INFO] [stderr]    --> src/gadgets/scalar.rs:239:8
[INFO] [stderr]     |
[INFO] [stderr] 239 |     fn prove_cond_select_one(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_cond_select_one`
[INFO] [stderr]    --> src/gadgets/scalar.rs:260:8
[INFO] [stderr]     |
[INFO] [stderr] 260 |     fn verify_cond_select_one(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `cond_select_one_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:286:8
[INFO] [stderr]     |
[INFO] [stderr] 286 |     fn cond_select_one_roundtrip_helper(num: Fr, selector: Fr, expected: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_is_non_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:305:8
[INFO] [stderr]     |
[INFO] [stderr] 305 |     fn prove_is_non_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_is_non_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:322:8
[INFO] [stderr]     |
[INFO] [stderr] 322 |     fn verify_is_non_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `is_non_zero_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:345:8
[INFO] [stderr]     |
[INFO] [stderr] 345 |     fn is_non_zero_roundtrip_helper(num: Fr, inv_num: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:81:8
[INFO] [stderr]    |
[INFO] [stderr] 81 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `testing_points`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:86:8
[INFO] [stderr]    |
[INFO] [stderr] 86 |     fn testing_points() -> (
[INFO] [stderr]    |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_sk_knowledge`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:109:8
[INFO] [stderr]     |
[INFO] [stderr] 109 |     fn prove_sk_knowledge(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_sk_knowledge`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:130:8
[INFO] [stderr]     |
[INFO] [stderr] 130 |     fn verify_sk_knowledge(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `sk_knowledge_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:158:8
[INFO] [stderr]     |
[INFO] [stderr] 158 |     fn sk_knowledge_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `X` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:15:9
[INFO] [stderr]    |
[INFO] [stderr] 15 |     pub X: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `x`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Y` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:16:9
[INFO] [stderr]    |
[INFO] [stderr] 16 |     pub Y: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `y`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Z` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:17:9
[INFO] [stderr]    |
[INFO] [stderr] 17 |     pub Z: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `z`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `T` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:18:9
[INFO] [stderr]    |
[INFO] [stderr] 18 |     pub T: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case: `t`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:49:13
[INFO] [stderr]    |
[INFO] [stderr] 49 |         let A = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:58:13
[INFO] [stderr]    |
[INFO] [stderr] 58 |         let B = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:67:13
[INFO] [stderr]    |
[INFO] [stderr] 67 |         let C = composer.mul(self.T, other.T, coeff_d, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `D` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:69:13
[INFO] [stderr]    |
[INFO] [stderr] 69 |         let D = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `d`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E1` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:79:17
[INFO] [stderr]    |
[INFO] [stderr] 79 |             let E1 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E2` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:88:17
[INFO] [stderr]    |
[INFO] [stderr] 88 |             let E2 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E12` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:97:17
[INFO] [stderr]    |
[INFO] [stderr] 97 |             let E12 = composer.mul(E1, E2, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^ help: convert the identifier to snake case: `e12`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `aAaB` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:99:17
[INFO] [stderr]    |
[INFO] [stderr] 99 |             let aAaB = composer.add(A, B, coeff_a, coeff_a, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^^ help: convert the identifier to snake case: `a_aa_b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:78:13
[INFO] [stderr]    |
[INFO] [stderr] 78 |         let E = {
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:112:13
[INFO] [stderr]     |
[INFO] [stderr] 112 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:123:13
[INFO] [stderr]     |
[INFO] [stderr] 123 |         let G = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:134:13
[INFO] [stderr]     |
[INFO] [stderr] 134 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:176:13
[INFO] [stderr]     |
[INFO] [stderr] 176 |         let A = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:185:13
[INFO] [stderr]     |
[INFO] [stderr] 185 |         let B = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:194:13
[INFO] [stderr]     |
[INFO] [stderr] 194 |         let C = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:204:13
[INFO] [stderr]     |
[INFO] [stderr] 204 |         let E = {
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:242:13
[INFO] [stderr]     |
[INFO] [stderr] 242 |         let G = composer.add(A, B, coeff_a, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:244:13
[INFO] [stderr]     |
[INFO] [stderr] 244 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:254:13
[INFO] [stderr]     |
[INFO] [stderr] 254 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:423:17
[INFO] [stderr]     |
[INFO] [stderr] 423 |         let mut Q = JubJubPointGadget {
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:521:9
[INFO] [stderr]     |
[INFO] [stderr] 521 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:522:9
[INFO] [stderr]     |
[INFO] [stderr] 522 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:527:13
[INFO] [stderr]     |
[INFO] [stderr] 527 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:529:13
[INFO] [stderr]     |
[INFO] [stderr] 529 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:544:9
[INFO] [stderr]     |
[INFO] [stderr] 544 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:545:9
[INFO] [stderr]     |
[INFO] [stderr] 545 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:550:13
[INFO] [stderr]     |
[INFO] [stderr] 550 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:552:13
[INFO] [stderr]     |
[INFO] [stderr] 552 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:39
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                       ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:62
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                              ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:590:9
[INFO] [stderr]     |
[INFO] [stderr] 590 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:591:9
[INFO] [stderr]     |
[INFO] [stderr] 591 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:598:13
[INFO] [stderr]     |
[INFO] [stderr] 598 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:599:13
[INFO] [stderr]     |
[INFO] [stderr] 599 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:616:9
[INFO] [stderr]     |
[INFO] [stderr] 616 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:617:9
[INFO] [stderr]     |
[INFO] [stderr] 617 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:624:13
[INFO] [stderr]     |
[INFO] [stderr] 624 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:625:13
[INFO] [stderr]     |
[INFO] [stderr] 625 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:643:9
[INFO] [stderr]     |
[INFO] [stderr] 643 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:644:9
[INFO] [stderr]     |
[INFO] [stderr] 644 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:679:9
[INFO] [stderr]     |
[INFO] [stderr] 679 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:680:9
[INFO] [stderr]     |
[INFO] [stderr] 680 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:681:9
[INFO] [stderr]     |
[INFO] [stderr] 681 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:686:13
[INFO] [stderr]     |
[INFO] [stderr] 686 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:687:13
[INFO] [stderr]     |
[INFO] [stderr] 687 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:688:13
[INFO] [stderr]     |
[INFO] [stderr] 688 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:705:9
[INFO] [stderr]     |
[INFO] [stderr] 705 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:706:9
[INFO] [stderr]     |
[INFO] [stderr] 706 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:707:9
[INFO] [stderr]     |
[INFO] [stderr] 707 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:712:13
[INFO] [stderr]     |
[INFO] [stderr] 712 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:713:13
[INFO] [stderr]     |
[INFO] [stderr] 713 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:714:13
[INFO] [stderr]     |
[INFO] [stderr] 714 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:732:9
[INFO] [stderr]     |
[INFO] [stderr] 732 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:733:9
[INFO] [stderr]     |
[INFO] [stderr] 733 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:734:9
[INFO] [stderr]     |
[INFO] [stderr] 734 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:756:9
[INFO] [stderr]     |
[INFO] [stderr] 756 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:757:9
[INFO] [stderr]     |
[INFO] [stderr] 757 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:762:13
[INFO] [stderr]     |
[INFO] [stderr] 762 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:763:13
[INFO] [stderr]     |
[INFO] [stderr] 763 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:780:9
[INFO] [stderr]     |
[INFO] [stderr] 780 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:781:9
[INFO] [stderr]     |
[INFO] [stderr] 781 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:786:13
[INFO] [stderr]     |
[INFO] [stderr] 786 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:787:13
[INFO] [stderr]     |
[INFO] [stderr] 787 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:40
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                        ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:63
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                               ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:824:9
[INFO] [stderr]     |
[INFO] [stderr] 824 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:829:13
[INFO] [stderr]     |
[INFO] [stderr] 829 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:844:9
[INFO] [stderr]     |
[INFO] [stderr] 844 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:849:13
[INFO] [stderr]     |
[INFO] [stderr] 849 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:42
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                          ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:885:9
[INFO] [stderr]     |
[INFO] [stderr] 885 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:887:9
[INFO] [stderr]     |
[INFO] [stderr] 887 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:892:13
[INFO] [stderr]     |
[INFO] [stderr] 892 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:893:13
[INFO] [stderr]     |
[INFO] [stderr] 893 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:919:9
[INFO] [stderr]     |
[INFO] [stderr] 919 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:921:9
[INFO] [stderr]     |
[INFO] [stderr] 921 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:926:13
[INFO] [stderr]     |
[INFO] [stderr] 926 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:927:13
[INFO] [stderr]     |
[INFO] [stderr] 927 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:954:9
[INFO] [stderr]     |
[INFO] [stderr] 954 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:955:9
[INFO] [stderr]     |
[INFO] [stderr] 955 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: 132 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::gadgets::scalar::*`
[INFO] [stderr]    --> src/gadgets/ecc.rs:480:9
[INFO] [stderr]     |
[INFO] [stderr] 480 |     use crate::gadgets::scalar::*;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/ecc.rs:487:38
[INFO] [stderr]     |
[INFO] [stderr] 487 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/scalar.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `rand::RngCore`
[INFO] [stderr]  --> src/gadgets/scalar.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use rand::RngCore;
[INFO] [stderr]   |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/scalar.rs:112:38
[INFO] [stderr]     |
[INFO] [stderr] 112 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/sk_knowledge.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 7 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `RngCore`, `thread_rng`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | use rand::{thread_rng, RngCore};
[INFO] [stderr]    |            ^^^^^^^^^^  ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `One`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:75:34
[INFO] [stderr]    |
[INFO] [stderr] 75 |     use num_traits::identities::{One, Zero};
[INFO] [stderr]    |                                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:78:38
[INFO] [stderr]    |
[INFO] [stderr] 78 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]    |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `id_p`
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:14
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_id_p`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `P2`
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:24
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: if this is intentional, prefix it with an underscore: `_P2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `num`
[INFO] [stderr]    --> src/gadgets/scalar.rs:327:9
[INFO] [stderr]     |
[INFO] [stderr] 327 |         num: Fr,
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_num`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `X` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:15:9
[INFO] [stderr]    |
[INFO] [stderr] 15 |     pub X: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `x`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Y` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:16:9
[INFO] [stderr]    |
[INFO] [stderr] 16 |     pub Y: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `y`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Z` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:17:9
[INFO] [stderr]    |
[INFO] [stderr] 17 |     pub Z: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `z`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `T` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:18:9
[INFO] [stderr]    |
[INFO] [stderr] 18 |     pub T: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case: `t`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:49:13
[INFO] [stderr]    |
[INFO] [stderr] 49 |         let A = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:58:13
[INFO] [stderr]    |
[INFO] [stderr] 58 |         let B = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:67:13
[INFO] [stderr]    |
[INFO] [stderr] 67 |         let C = composer.mul(self.T, other.T, coeff_d, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `D` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:69:13
[INFO] [stderr]    |
[INFO] [stderr] 69 |         let D = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `d`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E1` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:79:17
[INFO] [stderr]    |
[INFO] [stderr] 79 |             let E1 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E2` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:88:17
[INFO] [stderr]    |
[INFO] [stderr] 88 |             let E2 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E12` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:97:17
[INFO] [stderr]    |
[INFO] [stderr] 97 |             let E12 = composer.mul(E1, E2, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^ help: convert the identifier to snake case: `e12`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `aAaB` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:99:17
[INFO] [stderr]    |
[INFO] [stderr] 99 |             let aAaB = composer.add(A, B, coeff_a, coeff_a, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^^ help: convert the identifier to snake case: `a_aa_b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:78:13
[INFO] [stderr]    |
[INFO] [stderr] 78 |         let E = {
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:112:13
[INFO] [stderr]     |
[INFO] [stderr] 112 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:123:13
[INFO] [stderr]     |
[INFO] [stderr] 123 |         let G = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:134:13
[INFO] [stderr]     |
[INFO] [stderr] 134 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:176:13
[INFO] [stderr]     |
[INFO] [stderr] 176 |         let A = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:185:13
[INFO] [stderr]     |
[INFO] [stderr] 185 |         let B = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:194:13
[INFO] [stderr]     |
[INFO] [stderr] 194 |         let C = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:204:13
[INFO] [stderr]     |
[INFO] [stderr] 204 |         let E = {
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:242:13
[INFO] [stderr]     |
[INFO] [stderr] 242 |         let G = composer.add(A, B, coeff_a, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:244:13
[INFO] [stderr]     |
[INFO] [stderr] 244 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:254:13
[INFO] [stderr]     |
[INFO] [stderr] 254 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:423:17
[INFO] [stderr]     |
[INFO] [stderr] 423 |         let mut Q = JubJubPointGadget {
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:521:9
[INFO] [stderr]     |
[INFO] [stderr] 521 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:522:9
[INFO] [stderr]     |
[INFO] [stderr] 522 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:527:13
[INFO] [stderr]     |
[INFO] [stderr] 527 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:529:13
[INFO] [stderr]     |
[INFO] [stderr] 529 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:544:9
[INFO] [stderr]     |
[INFO] [stderr] 544 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:545:9
[INFO] [stderr]     |
[INFO] [stderr] 545 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:550:13
[INFO] [stderr]     |
[INFO] [stderr] 550 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:552:13
[INFO] [stderr]     |
[INFO] [stderr] 552 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:39
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                       ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:62
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                              ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:578:18
[INFO] [stderr]     |
[INFO] [stderr] 578 |         let (id, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                  ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:578:22
[INFO] [stderr]     |
[INFO] [stderr] 578 |         let (id, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                      ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:590:9
[INFO] [stderr]     |
[INFO] [stderr] 590 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:591:9
[INFO] [stderr]     |
[INFO] [stderr] 591 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:598:13
[INFO] [stderr]     |
[INFO] [stderr] 598 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:599:13
[INFO] [stderr]     |
[INFO] [stderr] 599 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:616:9
[INFO] [stderr]     |
[INFO] [stderr] 616 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:617:9
[INFO] [stderr]     |
[INFO] [stderr] 617 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:624:13
[INFO] [stderr]     |
[INFO] [stderr] 624 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:625:13
[INFO] [stderr]     |
[INFO] [stderr] 625 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:643:9
[INFO] [stderr]     |
[INFO] [stderr] 643 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:644:9
[INFO] [stderr]     |
[INFO] [stderr] 644 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:20
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:24
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:679:9
[INFO] [stderr]     |
[INFO] [stderr] 679 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:680:9
[INFO] [stderr]     |
[INFO] [stderr] 680 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:681:9
[INFO] [stderr]     |
[INFO] [stderr] 681 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:686:13
[INFO] [stderr]     |
[INFO] [stderr] 686 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:687:13
[INFO] [stderr]     |
[INFO] [stderr] 687 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:688:13
[INFO] [stderr]     |
[INFO] [stderr] 688 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:705:9
[INFO] [stderr]     |
[INFO] [stderr] 705 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:706:9
[INFO] [stderr]     |
[INFO] [stderr] 706 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:707:9
[INFO] [stderr]     |
[INFO] [stderr] 707 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:712:13
[INFO] [stderr]     |
[INFO] [stderr] 712 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:713:13
[INFO] [stderr]     |
[INFO] [stderr] 713 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:714:13
[INFO] [stderr]     |
[INFO] [stderr] 714 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:732:9
[INFO] [stderr]     |
[INFO] [stderr] 732 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:733:9
[INFO] [stderr]     |
[INFO] [stderr] 733 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:734:9
[INFO] [stderr]     |
[INFO] [stderr] 734 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:746:20
[INFO] [stderr]     |
[INFO] [stderr] 746 |         let (id_p, P1, P2, P3, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:746:24
[INFO] [stderr]     |
[INFO] [stderr] 746 |         let (id_p, P1, P2, P3, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:746:28
[INFO] [stderr]     |
[INFO] [stderr] 746 |         let (id_p, P1, P2, P3, _) = testing_points();
[INFO] [stderr]     |                            ^^ help: convert the identifier to snake case: `p3`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:756:9
[INFO] [stderr]     |
[INFO] [stderr] 756 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:757:9
[INFO] [stderr]     |
[INFO] [stderr] 757 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:762:13
[INFO] [stderr]     |
[INFO] [stderr] 762 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:763:13
[INFO] [stderr]     |
[INFO] [stderr] 763 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:780:9
[INFO] [stderr]     |
[INFO] [stderr] 780 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:781:9
[INFO] [stderr]     |
[INFO] [stderr] 781 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:786:13
[INFO] [stderr]     |
[INFO] [stderr] 786 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:787:13
[INFO] [stderr]     |
[INFO] [stderr] 787 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:40
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                        ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:63
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                               ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:815:20
[INFO] [stderr]     |
[INFO] [stderr] 815 |         let (id_p, P1, P2, P_err, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:815:24
[INFO] [stderr]     |
[INFO] [stderr] 815 |         let (id_p, P1, P2, P_err, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_err` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:815:28
[INFO] [stderr]     |
[INFO] [stderr] 815 |         let (id_p, P1, P2, P_err, _) = testing_points();
[INFO] [stderr]     |                            ^^^^^ help: convert the identifier to snake case: `p_err`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:824:9
[INFO] [stderr]     |
[INFO] [stderr] 824 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:829:13
[INFO] [stderr]     |
[INFO] [stderr] 829 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:844:9
[INFO] [stderr]     |
[INFO] [stderr] 844 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:849:13
[INFO] [stderr]     |
[INFO] [stderr] 849 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:42
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                          ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:875:20
[INFO] [stderr]     |
[INFO] [stderr] 875 |         let (id_p, P1, _, _, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:885:9
[INFO] [stderr]     |
[INFO] [stderr] 885 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:887:9
[INFO] [stderr]     |
[INFO] [stderr] 887 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:892:13
[INFO] [stderr]     |
[INFO] [stderr] 892 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:893:13
[INFO] [stderr]     |
[INFO] [stderr] 893 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:919:9
[INFO] [stderr]     |
[INFO] [stderr] 919 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:921:9
[INFO] [stderr]     |
[INFO] [stderr] 921 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:926:13
[INFO] [stderr]     |
[INFO] [stderr] 926 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:927:13
[INFO] [stderr]     |
[INFO] [stderr] 927 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:954:9
[INFO] [stderr]     |
[INFO] [stderr] 954 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:955:9
[INFO] [stderr]     |
[INFO] [stderr] 955 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:968:17
[INFO] [stderr]     |
[INFO] [stderr] 968 |         let (_, P1, _, _, P_res) = testing_points();
[INFO] [stderr]     |                 ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:968:27
[INFO] [stderr]     |
[INFO] [stderr] 968 |         let (_, P1, _, _, P_res) = testing_points();
[INFO] [stderr]     |                           ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:969:13
[INFO] [stderr]     |
[INFO] [stderr] 969 |         let P_res_2 = P1.mul(&Fr::from(125u8));
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_2`
[INFO] [stderr] 
[INFO] [stderr] warning: 110 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 13.98s
[INFO] running `"docker" "inspect" "a50d956094e37b9e400678a52736950dce2d5e03dc4061afd589f263e0958666"`
[INFO] running `"docker" "rm" "-f" "a50d956094e37b9e400678a52736950dce2d5e03dc4061afd589f263e0958666"`
[INFO] [stdout] a50d956094e37b9e400678a52736950dce2d5e03dc4061afd589f263e0958666
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 61b6c3b96b1a7ad59548162ded75fecd7eef09a99108b1b9897a19494f12d5f6
[INFO] running `"docker" "start" "-a" "61b6c3b96b1a7ad59548162ded75fecd7eef09a99108b1b9897a19494f12d5f6"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr] warning: unused import: `crate::gadgets::scalar::*`
[INFO] [stderr]    --> src/gadgets/ecc.rs:480:9
[INFO] [stderr]     |
[INFO] [stderr] 480 |     use crate::gadgets::scalar::*;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/ecc.rs:487:38
[INFO] [stderr]     |
[INFO] [stderr] 487 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/scalar.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `rand::RngCore`
[INFO] [stderr]  --> src/gadgets/scalar.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use rand::RngCore;
[INFO] [stderr]   |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/scalar.rs:112:38
[INFO] [stderr]     |
[INFO] [stderr] 112 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/sk_knowledge.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 7 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `RngCore`, `thread_rng`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | use rand::{thread_rng, RngCore};
[INFO] [stderr]    |            ^^^^^^^^^^  ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `One`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:75:34
[INFO] [stderr]    |
[INFO] [stderr] 75 |     use num_traits::identities::{One, Zero};
[INFO] [stderr]    |                                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:78:38
[INFO] [stderr]    |
[INFO] [stderr] 78 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]    |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `num`
[INFO] [stderr]    --> src/gadgets/scalar.rs:327:9
[INFO] [stderr]     |
[INFO] [stderr] 327 |         num: Fr,
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_num`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]    --> src/gadgets/ecc.rs:490:8
[INFO] [stderr]     |
[INFO] [stderr] 490 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `testing_points`
[INFO] [stderr]    --> src/gadgets/ecc.rs:495:8
[INFO] [stderr]     |
[INFO] [stderr] 495 |     fn testing_points() -> (
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_equalty`
[INFO] [stderr]    --> src/gadgets/ecc.rs:518:8
[INFO] [stderr]     |
[INFO] [stderr] 518 |     fn prove_point_equalty(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_equalty`
[INFO] [stderr]    --> src/gadgets/ecc.rs:539:8
[INFO] [stderr]     |
[INFO] [stderr] 539 |     fn verify_point_equalty(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_equalty_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:8
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_conditionally_select_identity`
[INFO] [stderr]    --> src/gadgets/ecc.rs:587:8
[INFO] [stderr]     |
[INFO] [stderr] 587 |     fn prove_conditionally_select_identity(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_conditionally_select_identity`
[INFO] [stderr]    --> src/gadgets/ecc.rs:611:8
[INFO] [stderr]     |
[INFO] [stderr] 611 |     fn verify_conditionally_select_identity(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `conditionally_select_identity_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:642:8
[INFO] [stderr]     |
[INFO] [stderr] 642 |     fn conditionally_select_identity_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_addition`
[INFO] [stderr]    --> src/gadgets/ecc.rs:676:8
[INFO] [stderr]     |
[INFO] [stderr] 676 |     fn prove_point_addition(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_addition`
[INFO] [stderr]    --> src/gadgets/ecc.rs:700:8
[INFO] [stderr]     |
[INFO] [stderr] 700 |     fn verify_point_addition(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_addition_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:731:8
[INFO] [stderr]     |
[INFO] [stderr] 731 |     fn point_addition_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_point_doubling`
[INFO] [stderr]    --> src/gadgets/ecc.rs:753:8
[INFO] [stderr]     |
[INFO] [stderr] 753 |     fn prove_point_doubling(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_point_doubling`
[INFO] [stderr]    --> src/gadgets/ecc.rs:775:8
[INFO] [stderr]     |
[INFO] [stderr] 775 |     fn verify_point_doubling(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `point_doubling_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:8
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_curve_eq_satisfy`
[INFO] [stderr]    --> src/gadgets/ecc.rs:821:8
[INFO] [stderr]     |
[INFO] [stderr] 821 |     fn prove_curve_eq_satisfy(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_curve_eq_satisfy`
[INFO] [stderr]    --> src/gadgets/ecc.rs:839:8
[INFO] [stderr]     |
[INFO] [stderr] 839 |     fn verify_curve_eq_satisfy(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `curve_eq_satisfy_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:8
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_scalar_mul`
[INFO] [stderr]    --> src/gadgets/ecc.rs:882:8
[INFO] [stderr]     |
[INFO] [stderr] 882 |     fn prove_scalar_mul(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_scalar_mul`
[INFO] [stderr]    --> src/gadgets/ecc.rs:914:8
[INFO] [stderr]     |
[INFO] [stderr] 914 |     fn verify_scalar_mul(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `scalar_mul_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/ecc.rs:953:8
[INFO] [stderr]     |
[INFO] [stderr] 953 |     fn scalar_mul_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]    --> src/gadgets/scalar.rs:115:8
[INFO] [stderr]     |
[INFO] [stderr] 115 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_binary`
[INFO] [stderr]    --> src/gadgets/scalar.rs:119:8
[INFO] [stderr]     |
[INFO] [stderr] 119 |     fn prove_binary(
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_binary`
[INFO] [stderr]    --> src/gadgets/scalar.rs:135:8
[INFO] [stderr]     |
[INFO] [stderr] 135 |     fn verify_binary(
[INFO] [stderr]     |        ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `binary_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:157:8
[INFO] [stderr]     |
[INFO] [stderr] 157 |     fn binary_roundtrip_helper(possible_bit: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_cond_select_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:173:8
[INFO] [stderr]     |
[INFO] [stderr] 173 |     fn prove_cond_select_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_cond_select_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:194:8
[INFO] [stderr]     |
[INFO] [stderr] 194 |     fn verify_cond_select_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `cond_select_zero_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:220:8
[INFO] [stderr]     |
[INFO] [stderr] 220 |     fn cond_select_zero_roundtrip_helper(num: Fr, selector: Fr, expected: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_cond_select_one`
[INFO] [stderr]    --> src/gadgets/scalar.rs:239:8
[INFO] [stderr]     |
[INFO] [stderr] 239 |     fn prove_cond_select_one(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_cond_select_one`
[INFO] [stderr]    --> src/gadgets/scalar.rs:260:8
[INFO] [stderr]     |
[INFO] [stderr] 260 |     fn verify_cond_select_one(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `cond_select_one_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:286:8
[INFO] [stderr]     |
[INFO] [stderr] 286 |     fn cond_select_one_roundtrip_helper(num: Fr, selector: Fr, expected: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_is_non_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:305:8
[INFO] [stderr]     |
[INFO] [stderr] 305 |     fn prove_is_non_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_is_non_zero`
[INFO] [stderr]    --> src/gadgets/scalar.rs:322:8
[INFO] [stderr]     |
[INFO] [stderr] 322 |     fn verify_is_non_zero(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `is_non_zero_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/scalar.rs:345:8
[INFO] [stderr]     |
[INFO] [stderr] 345 |     fn is_non_zero_roundtrip_helper(num: Fr, inv_num: Fr) -> bool {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `gen_transcript`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:81:8
[INFO] [stderr]    |
[INFO] [stderr] 81 |     fn gen_transcript() -> Transcript {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `testing_points`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:86:8
[INFO] [stderr]    |
[INFO] [stderr] 86 |     fn testing_points() -> (
[INFO] [stderr]    |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `prove_sk_knowledge`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:109:8
[INFO] [stderr]     |
[INFO] [stderr] 109 |     fn prove_sk_knowledge(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `verify_sk_knowledge`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:130:8
[INFO] [stderr]     |
[INFO] [stderr] 130 |     fn verify_sk_knowledge(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `sk_knowledge_roundtrip_helper`
[INFO] [stderr]    --> src/gadgets/sk_knowledge.rs:158:8
[INFO] [stderr]     |
[INFO] [stderr] 158 |     fn sk_knowledge_roundtrip_helper(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `X` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:15:9
[INFO] [stderr]    |
[INFO] [stderr] 15 |     pub X: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `x`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Y` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:16:9
[INFO] [stderr]    |
[INFO] [stderr] 16 |     pub Y: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `y`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Z` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:17:9
[INFO] [stderr]    |
[INFO] [stderr] 17 |     pub Z: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `z`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `T` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:18:9
[INFO] [stderr]    |
[INFO] [stderr] 18 |     pub T: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case: `t`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:49:13
[INFO] [stderr]    |
[INFO] [stderr] 49 |         let A = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:58:13
[INFO] [stderr]    |
[INFO] [stderr] 58 |         let B = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:67:13
[INFO] [stderr]    |
[INFO] [stderr] 67 |         let C = composer.mul(self.T, other.T, coeff_d, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `D` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:69:13
[INFO] [stderr]    |
[INFO] [stderr] 69 |         let D = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `d`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E1` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:79:17
[INFO] [stderr]    |
[INFO] [stderr] 79 |             let E1 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E2` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:88:17
[INFO] [stderr]    |
[INFO] [stderr] 88 |             let E2 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E12` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:97:17
[INFO] [stderr]    |
[INFO] [stderr] 97 |             let E12 = composer.mul(E1, E2, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^ help: convert the identifier to snake case: `e12`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `aAaB` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:99:17
[INFO] [stderr]    |
[INFO] [stderr] 99 |             let aAaB = composer.add(A, B, coeff_a, coeff_a, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^^ help: convert the identifier to snake case: `a_aa_b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:78:13
[INFO] [stderr]    |
[INFO] [stderr] 78 |         let E = {
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:112:13
[INFO] [stderr]     |
[INFO] [stderr] 112 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:123:13
[INFO] [stderr]     |
[INFO] [stderr] 123 |         let G = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:134:13
[INFO] [stderr]     |
[INFO] [stderr] 134 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:176:13
[INFO] [stderr]     |
[INFO] [stderr] 176 |         let A = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:185:13
[INFO] [stderr]     |
[INFO] [stderr] 185 |         let B = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:194:13
[INFO] [stderr]     |
[INFO] [stderr] 194 |         let C = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:204:13
[INFO] [stderr]     |
[INFO] [stderr] 204 |         let E = {
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:242:13
[INFO] [stderr]     |
[INFO] [stderr] 242 |         let G = composer.add(A, B, coeff_a, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:244:13
[INFO] [stderr]     |
[INFO] [stderr] 244 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:254:13
[INFO] [stderr]     |
[INFO] [stderr] 254 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:423:17
[INFO] [stderr]     |
[INFO] [stderr] 423 |         let mut Q = JubJubPointGadget {
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:521:9
[INFO] [stderr]     |
[INFO] [stderr] 521 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:522:9
[INFO] [stderr]     |
[INFO] [stderr] 522 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:527:13
[INFO] [stderr]     |
[INFO] [stderr] 527 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:529:13
[INFO] [stderr]     |
[INFO] [stderr] 529 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:544:9
[INFO] [stderr]     |
[INFO] [stderr] 544 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:545:9
[INFO] [stderr]     |
[INFO] [stderr] 545 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:550:13
[INFO] [stderr]     |
[INFO] [stderr] 550 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:552:13
[INFO] [stderr]     |
[INFO] [stderr] 552 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:39
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                       ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:62
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                              ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:590:9
[INFO] [stderr]     |
[INFO] [stderr] 590 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:591:9
[INFO] [stderr]     |
[INFO] [stderr] 591 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:598:13
[INFO] [stderr]     |
[INFO] [stderr] 598 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:599:13
[INFO] [stderr]     |
[INFO] [stderr] 599 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:616:9
[INFO] [stderr]     |
[INFO] [stderr] 616 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:617:9
[INFO] [stderr]     |
[INFO] [stderr] 617 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:624:13
[INFO] [stderr]     |
[INFO] [stderr] 624 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:625:13
[INFO] [stderr]     |
[INFO] [stderr] 625 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:643:9
[INFO] [stderr]     |
[INFO] [stderr] 643 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:644:9
[INFO] [stderr]     |
[INFO] [stderr] 644 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:679:9
[INFO] [stderr]     |
[INFO] [stderr] 679 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:680:9
[INFO] [stderr]     |
[INFO] [stderr] 680 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:681:9
[INFO] [stderr]     |
[INFO] [stderr] 681 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:686:13
[INFO] [stderr]     |
[INFO] [stderr] 686 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:687:13
[INFO] [stderr]     |
[INFO] [stderr] 687 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:688:13
[INFO] [stderr]     |
[INFO] [stderr] 688 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:705:9
[INFO] [stderr]     |
[INFO] [stderr] 705 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:706:9
[INFO] [stderr]     |
[INFO] [stderr] 706 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:707:9
[INFO] [stderr]     |
[INFO] [stderr] 707 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:712:13
[INFO] [stderr]     |
[INFO] [stderr] 712 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:713:13
[INFO] [stderr]     |
[INFO] [stderr] 713 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:714:13
[INFO] [stderr]     |
[INFO] [stderr] 714 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:732:9
[INFO] [stderr]     |
[INFO] [stderr] 732 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:733:9
[INFO] [stderr]     |
[INFO] [stderr] 733 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:734:9
[INFO] [stderr]     |
[INFO] [stderr] 734 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:756:9
[INFO] [stderr]     |
[INFO] [stderr] 756 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:757:9
[INFO] [stderr]     |
[INFO] [stderr] 757 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:762:13
[INFO] [stderr]     |
[INFO] [stderr] 762 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:763:13
[INFO] [stderr]     |
[INFO] [stderr] 763 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:780:9
[INFO] [stderr]     |
[INFO] [stderr] 780 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:781:9
[INFO] [stderr]     |
[INFO] [stderr] 781 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:786:13
[INFO] [stderr]     |
[INFO] [stderr] 786 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:787:13
[INFO] [stderr]     |
[INFO] [stderr] 787 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:40
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                        ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:63
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                               ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:824:9
[INFO] [stderr]     |
[INFO] [stderr] 824 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:829:13
[INFO] [stderr]     |
[INFO] [stderr] 829 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:844:9
[INFO] [stderr]     |
[INFO] [stderr] 844 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:849:13
[INFO] [stderr]     |
[INFO] [stderr] 849 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:42
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                          ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:885:9
[INFO] [stderr]     |
[INFO] [stderr] 885 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:887:9
[INFO] [stderr]     |
[INFO] [stderr] 887 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:892:13
[INFO] [stderr]     |
[INFO] [stderr] 892 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:893:13
[INFO] [stderr]     |
[INFO] [stderr] 893 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:919:9
[INFO] [stderr]     |
[INFO] [stderr] 919 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:921:9
[INFO] [stderr]     |
[INFO] [stderr] 921 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:926:13
[INFO] [stderr]     |
[INFO] [stderr] 926 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:927:13
[INFO] [stderr]     |
[INFO] [stderr] 927 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:954:9
[INFO] [stderr]     |
[INFO] [stderr] 954 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:955:9
[INFO] [stderr]     |
[INFO] [stderr] 955 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: 132 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `crate::gadgets::scalar::*`
[INFO] [stderr]    --> src/gadgets/ecc.rs:480:9
[INFO] [stderr]     |
[INFO] [stderr] 480 |     use crate::gadgets::scalar::*;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/ecc.rs:487:38
[INFO] [stderr]     |
[INFO] [stderr] 487 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/scalar.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `rand::RngCore`
[INFO] [stderr]  --> src/gadgets/scalar.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use rand::RngCore;
[INFO] [stderr]   |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]    --> src/gadgets/scalar.rs:112:38
[INFO] [stderr]     |
[INFO] [stderr] 112 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]     |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `algebra::fields::PrimeField`
[INFO] [stderr]  --> src/gadgets/sk_knowledge.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 7 | use algebra::fields::PrimeField;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `RngCore`, `thread_rng`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | use rand::{thread_rng, RngCore};
[INFO] [stderr]    |            ^^^^^^^^^^  ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `One`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:75:34
[INFO] [stderr]    |
[INFO] [stderr] 75 |     use num_traits::identities::{One, Zero};
[INFO] [stderr]    |                                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `UniversalParams`
[INFO] [stderr]   --> src/gadgets/sk_knowledge.rs:78:38
[INFO] [stderr]    |
[INFO] [stderr] 78 |     use poly_commit::kzg10::{Powers, UniversalParams, VerifierKey};
[INFO] [stderr]    |                                      ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `id_p`
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:14
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_id_p`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `P2`
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:24
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: if this is intentional, prefix it with an underscore: `_P2`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `num`
[INFO] [stderr]    --> src/gadgets/scalar.rs:327:9
[INFO] [stderr]     |
[INFO] [stderr] 327 |         num: Fr,
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_num`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `X` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:15:9
[INFO] [stderr]    |
[INFO] [stderr] 15 |     pub X: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `x`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Y` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:16:9
[INFO] [stderr]    |
[INFO] [stderr] 16 |     pub Y: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `y`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `Z` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:17:9
[INFO] [stderr]    |
[INFO] [stderr] 17 |     pub Z: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case (notice the capitalization): `z`
[INFO] [stderr] 
[INFO] [stderr] warning: structure field `T` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:18:9
[INFO] [stderr]    |
[INFO] [stderr] 18 |     pub T: Variable,
[INFO] [stderr]    |         ^ help: convert the identifier to snake case: `t`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:49:13
[INFO] [stderr]    |
[INFO] [stderr] 49 |         let A = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:58:13
[INFO] [stderr]    |
[INFO] [stderr] 58 |         let B = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:67:13
[INFO] [stderr]    |
[INFO] [stderr] 67 |         let C = composer.mul(self.T, other.T, coeff_d, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `D` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:69:13
[INFO] [stderr]    |
[INFO] [stderr] 69 |         let D = composer.mul(
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `d`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E1` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:79:17
[INFO] [stderr]    |
[INFO] [stderr] 79 |             let E1 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E2` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:88:17
[INFO] [stderr]    |
[INFO] [stderr] 88 |             let E2 = composer.add(
[INFO] [stderr]    |                 ^^ help: convert the identifier to snake case: `e2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E12` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:97:17
[INFO] [stderr]    |
[INFO] [stderr] 97 |             let E12 = composer.mul(E1, E2, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^ help: convert the identifier to snake case: `e12`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `aAaB` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:99:17
[INFO] [stderr]    |
[INFO] [stderr] 99 |             let aAaB = composer.add(A, B, coeff_a, coeff_a, -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]    |                 ^^^^ help: convert the identifier to snake case: `a_aa_b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]   --> src/gadgets/ecc.rs:78:13
[INFO] [stderr]    |
[INFO] [stderr] 78 |         let E = {
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:112:13
[INFO] [stderr]     |
[INFO] [stderr] 112 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:123:13
[INFO] [stderr]     |
[INFO] [stderr] 123 |         let G = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:134:13
[INFO] [stderr]     |
[INFO] [stderr] 134 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:176:13
[INFO] [stderr]     |
[INFO] [stderr] 176 |         let A = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `B` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:185:13
[INFO] [stderr]     |
[INFO] [stderr] 185 |         let B = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `b`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `C` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:194:13
[INFO] [stderr]     |
[INFO] [stderr] 194 |         let C = composer.mul(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `c`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `E` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:204:13
[INFO] [stderr]     |
[INFO] [stderr] 204 |         let E = {
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `e`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:242:13
[INFO] [stderr]     |
[INFO] [stderr] 242 |         let G = composer.add(A, B, coeff_a, Fr::one(), -Fr::one(), Fr::zero(), Fr::zero());
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `F` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:244:13
[INFO] [stderr]     |
[INFO] [stderr] 244 |         let F = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case (notice the capitalization): `f`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `H` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:254:13
[INFO] [stderr]     |
[INFO] [stderr] 254 |         let H = composer.add(
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `h`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Q` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:423:17
[INFO] [stderr]     |
[INFO] [stderr] 423 |         let mut Q = JubJubPointGadget {
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `q`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:521:9
[INFO] [stderr]     |
[INFO] [stderr] 521 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:522:9
[INFO] [stderr]     |
[INFO] [stderr] 522 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:527:13
[INFO] [stderr]     |
[INFO] [stderr] 527 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:529:13
[INFO] [stderr]     |
[INFO] [stderr] 529 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:544:9
[INFO] [stderr]     |
[INFO] [stderr] 544 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:545:9
[INFO] [stderr]     |
[INFO] [stderr] 545 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:550:13
[INFO] [stderr]     |
[INFO] [stderr] 550 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:552:13
[INFO] [stderr]     |
[INFO] [stderr] 552 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:39
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                       ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:567:62
[INFO] [stderr]     |
[INFO] [stderr] 567 |     fn point_equalty_roundtrip_helper(P1: &JubJubProjective, P2: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                              ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:578:18
[INFO] [stderr]     |
[INFO] [stderr] 578 |         let (id, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                  ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:578:22
[INFO] [stderr]     |
[INFO] [stderr] 578 |         let (id, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                      ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:590:9
[INFO] [stderr]     |
[INFO] [stderr] 590 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:591:9
[INFO] [stderr]     |
[INFO] [stderr] 591 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:598:13
[INFO] [stderr]     |
[INFO] [stderr] 598 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:599:13
[INFO] [stderr]     |
[INFO] [stderr] 599 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:616:9
[INFO] [stderr]     |
[INFO] [stderr] 616 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:617:9
[INFO] [stderr]     |
[INFO] [stderr] 617 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:624:13
[INFO] [stderr]     |
[INFO] [stderr] 624 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:625:13
[INFO] [stderr]     |
[INFO] [stderr] 625 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:643:9
[INFO] [stderr]     |
[INFO] [stderr] 643 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:644:9
[INFO] [stderr]     |
[INFO] [stderr] 644 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:20
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:657:24
[INFO] [stderr]     |
[INFO] [stderr] 657 |         let (id_p, P1, P2, _, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:679:9
[INFO] [stderr]     |
[INFO] [stderr] 679 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:680:9
[INFO] [stderr]     |
[INFO] [stderr] 680 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:681:9
[INFO] [stderr]     |
[INFO] [stderr] 681 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:686:13
[INFO] [stderr]     |
[INFO] [stderr] 686 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:687:13
[INFO] [stderr]     |
[INFO] [stderr] 687 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:688:13
[INFO] [stderr]     |
[INFO] [stderr] 688 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:705:9
[INFO] [stderr]     |
[INFO] [stderr] 705 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:706:9
[INFO] [stderr]     |
[INFO] [stderr] 706 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:707:9
[INFO] [stderr]     |
[INFO] [stderr] 707 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:712:13
[INFO] [stderr]     |
[INFO] [stderr] 712 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:713:13
[INFO] [stderr]     |
[INFO] [stderr] 713 |         let P2_g = JubJubPointGadget::from_point(&mut composer, P2);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p2_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:714:13
[INFO] [stderr]     |
[INFO] [stderr] 714 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:732:9
[INFO] [stderr]     |
[INFO] [stderr] 732 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:733:9
[INFO] [stderr]     |
[INFO] [stderr] 733 |         P2: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:734:9
[INFO] [stderr]     |
[INFO] [stderr] 734 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:746:20
[INFO] [stderr]     |
[INFO] [stderr] 746 |         let (id_p, P1, P2, P3, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:746:24
[INFO] [stderr]     |
[INFO] [stderr] 746 |         let (id_p, P1, P2, P3, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:746:28
[INFO] [stderr]     |
[INFO] [stderr] 746 |         let (id_p, P1, P2, P3, _) = testing_points();
[INFO] [stderr]     |                            ^^ help: convert the identifier to snake case: `p3`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:756:9
[INFO] [stderr]     |
[INFO] [stderr] 756 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:757:9
[INFO] [stderr]     |
[INFO] [stderr] 757 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:762:13
[INFO] [stderr]     |
[INFO] [stderr] 762 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:763:13
[INFO] [stderr]     |
[INFO] [stderr] 763 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:780:9
[INFO] [stderr]     |
[INFO] [stderr] 780 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:781:9
[INFO] [stderr]     |
[INFO] [stderr] 781 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:786:13
[INFO] [stderr]     |
[INFO] [stderr] 786 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P3_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:787:13
[INFO] [stderr]     |
[INFO] [stderr] 787 |         let P3_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p3_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:40
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                        ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:804:63
[INFO] [stderr]     |
[INFO] [stderr] 804 |     fn point_doubling_roundtrip_helper(P1: &JubJubProjective, P_res: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                                               ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:815:20
[INFO] [stderr]     |
[INFO] [stderr] 815 |         let (id_p, P1, P2, P_err, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:815:24
[INFO] [stderr]     |
[INFO] [stderr] 815 |         let (id_p, P1, P2, P_err, _) = testing_points();
[INFO] [stderr]     |                        ^^ help: convert the identifier to snake case: `p2`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_err` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:815:28
[INFO] [stderr]     |
[INFO] [stderr] 815 |         let (id_p, P1, P2, P_err, _) = testing_points();
[INFO] [stderr]     |                            ^^^^^ help: convert the identifier to snake case: `p_err`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:824:9
[INFO] [stderr]     |
[INFO] [stderr] 824 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:829:13
[INFO] [stderr]     |
[INFO] [stderr] 829 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:844:9
[INFO] [stderr]     |
[INFO] [stderr] 844 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:849:13
[INFO] [stderr]     |
[INFO] [stderr] 849 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:864:42
[INFO] [stderr]     |
[INFO] [stderr] 864 |     fn curve_eq_satisfy_roundtrip_helper(P1: &JubJubProjective) -> bool {
[INFO] [stderr]     |                                          ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:875:20
[INFO] [stderr]     |
[INFO] [stderr] 875 |         let (id_p, P1, _, _, _) = testing_points();
[INFO] [stderr]     |                    ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:885:9
[INFO] [stderr]     |
[INFO] [stderr] 885 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:887:9
[INFO] [stderr]     |
[INFO] [stderr] 887 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:892:13
[INFO] [stderr]     |
[INFO] [stderr] 892 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:893:13
[INFO] [stderr]     |
[INFO] [stderr] 893 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:919:9
[INFO] [stderr]     |
[INFO] [stderr] 919 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:921:9
[INFO] [stderr]     |
[INFO] [stderr] 921 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:926:13
[INFO] [stderr]     |
[INFO] [stderr] 926 |         let P1_g = JubJubPointGadget::from_point(&mut composer, P1);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `p1_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_g` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:927:13
[INFO] [stderr]     |
[INFO] [stderr] 927 |         let P_res_g = JubJubPointGadget::from_point(&mut composer, P_res);
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:954:9
[INFO] [stderr]     |
[INFO] [stderr] 954 |         P1: &JubJubProjective,
[INFO] [stderr]     |         ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:955:9
[INFO] [stderr]     |
[INFO] [stderr] 955 |         P_res: &JubJubProjective,
[INFO] [stderr]     |         ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P1` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:968:17
[INFO] [stderr]     |
[INFO] [stderr] 968 |         let (_, P1, _, _, P_res) = testing_points();
[INFO] [stderr]     |                 ^^ help: convert the identifier to snake case: `p1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:968:27
[INFO] [stderr]     |
[INFO] [stderr] 968 |         let (_, P1, _, _, P_res) = testing_points();
[INFO] [stderr]     |                           ^^^^^ help: convert the identifier to snake case: `p_res`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `P_res_2` should have a snake case name
[INFO] [stderr]    --> src/gadgets/ecc.rs:969:13
[INFO] [stderr]     |
[INFO] [stderr] 969 |         let P_res_2 = P1.mul(&Fr::from(125u8));
[INFO] [stderr]     |             ^^^^^^^ help: convert the identifier to snake case: `p_res_2`
[INFO] [stderr] 
[INFO] [stderr] warning: 110 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.24s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/plonk_gadgets-47a82f4d1da7894c
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test gadgets::sk_knowledge::test::test_sk_knowledge ... test gadgets::sk_knowledge::test::test_sk_knowledge has been running for over 60 seconds
[INFO] [stdout] test gadgets::ecc::tests::test_curve_eq_satisfy ... test gadgets::ecc::tests::test_curve_eq_satisfy has been running for over 60 seconds
[INFO] [stdout] test gadgets::scalar::tests::binary_constraint_test ... test gadgets::scalar::tests::binary_constraint_test has been running for over 60 seconds
[INFO] [stdout] test gadgets::ecc::tests::test_scalar_mul ... test gadgets::ecc::tests::test_scalar_mul has been running for over 60 seconds
[INFO] [stdout] test gadgets::scalar::tests::test_conditionally_select_zero ... test gadgets::scalar::tests::test_conditionally_select_zero has been running for over 60 seconds
[INFO] [stdout] test gadgets::ecc::tests::test_point_doubling ... test gadgets::ecc::tests::test_point_doubling has been running for over 60 seconds
[INFO] [stdout] test gadgets::ecc::tests::test_point_equalty ... test gadgets::ecc::tests::test_point_equalty has been running for over 60 seconds
[INFO] [stdout] test gadgets::ecc::tests::test_point_addition ... test gadgets::ecc::tests::test_point_addition has been running for over 60 seconds
[INFO] [stdout] test gadgets::ecc::tests::test_conditionally_select_identity ... test gadgets::ecc::tests::test_conditionally_select_identity has been running for over 60 seconds
[INFO] [stdout] test gadgets::scalar::tests::test_conditionally_select_one ... test gadgets::scalar::tests::test_conditionally_select_one has been running for over 60 seconds
[INFO] [stdout] test gadgets::scalar::tests::test_is_non_zero ... test gadgets::scalar::tests::test_is_non_zero has been running for over 60 seconds
[INFO] [stdout] test gadgets::scalar::tests::test_conditionally_select_one ... ok
[INFO] [stdout] test gadgets::scalar::tests::test_is_non_zero ... ok
[INFO] [stdout] test gadgets::scalar::tests::test_conditionally_select_zero ... ok
[ERROR] error running command: no output for 300 seconds
[INFO] running `"docker" "inspect" "61b6c3b96b1a7ad59548162ded75fecd7eef09a99108b1b9897a19494f12d5f6"`
[INFO] running `"docker" "rm" "-f" "61b6c3b96b1a7ad59548162ded75fecd7eef09a99108b1b9897a19494f12d5f6"`
[INFO] [stdout] 61b6c3b96b1a7ad59548162ded75fecd7eef09a99108b1b9897a19494f12d5f6