[INFO] fetching crate schnorr_pok 0.23.0... [INFO] checking schnorr_pok-0.23.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate schnorr_pok 0.23.0 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate schnorr_pok 0.23.0 [INFO] finished tweaking crates.io crate schnorr_pok 0.23.0 [INFO] tweaked toml for crates.io crate schnorr_pok 0.23.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate schnorr_pok 0.23.0 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate schnorr_pok 0.23.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 273ede3c8dcf9348aad7cf34690e4093c18ac60dcdffe3bc9d15658a9607835e [INFO] running `Command { std: "docker" "start" "-a" "273ede3c8dcf9348aad7cf34690e4093c18ac60dcdffe3bc9d15658a9607835e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "273ede3c8dcf9348aad7cf34690e4093c18ac60dcdffe3bc9d15658a9607835e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "273ede3c8dcf9348aad7cf34690e4093c18ac60dcdffe3bc9d15658a9607835e", kill_on_drop: false }` [INFO] [stdout] 273ede3c8dcf9348aad7cf34690e4093c18ac60dcdffe3bc9d15658a9607835e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zstrict-projection-item-bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 84fd57f23b62a5413f0faa461b0764d303cba5d19c3c66f68233458867dd91d0 [INFO] running `Command { std: "docker" "start" "-a" "84fd57f23b62a5413f0faa461b0764d303cba5d19c3c66f68233458867dd91d0", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.11 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling typenum v1.16.0 [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Compiling memoffset v0.9.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.15 [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling rayon-core v1.11.0 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking crossbeam-channel v0.5.8 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Checking crossbeam-deque v0.8.3 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling serde v1.0.201 [INFO] [stderr] Checking rayon v1.7.0 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling num-iter v0.1.43 [INFO] [stderr] Compiling num-rational v0.4.1 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking num-complex v0.4.4 [INFO] [stderr] Checking cpufeatures v0.2.9 [INFO] [stderr] Checking keccak v0.1.4 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking hkdf v0.12.3 [INFO] [stderr] Checking num v0.4.1 [INFO] [stderr] Checking aead v0.5.2 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Compiling serde_json v1.0.105 [INFO] [stderr] Checking rmp v0.8.12 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Compiling darling_core v0.13.4 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling serde_derive v1.0.201 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Compiling darling_macro v0.13.4 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Compiling darling v0.13.4 [INFO] [stderr] Compiling serde_with_macros v1.5.2 [INFO] [stderr] Checking serde_with v1.14.0 [INFO] [stderr] Checking dock_merlin v3.0.0 [INFO] [stderr] Checking rmp-serde v1.1.2 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking dock_crypto_utils v0.23.0 [INFO] [stderr] Checking ark-bls12-381 v0.4.0 [INFO] [stderr] Checking schnorr_pok v0.23.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:131:57 [INFO] [stdout] | [INFO] [stdout] 131 | let t = base.mul_bigint(blinding.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/discrete_log.rs:131:22 [INFO] [stdout] | [INFO] [stdout] 131 | let t = base.mul_bigint(blinding.into_bigint()).into_affine(); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 129 | impl PokDiscreteLogProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:182:18 [INFO] [stdout] | [INFO] [stdout] 182 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/discrete_log.rs:180:33 [INFO] [stdout] | [INFO] [stdout] 180 | let mut expected = base.mul_bigint(self.response.into_bigint()); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 168 | impl PokDiscreteLog { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:207:10 [INFO] [stdout] | [INFO] [stdout] 207 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 196 | impl PokPedersenCommitmentProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:270:18 [INFO] [stdout] | [INFO] [stdout] 270 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/discrete_log.rs:267:34 [INFO] [stdout] | [INFO] [stdout] 267 | let mut expected = base1.mul_bigint(self.response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 252 | impl PokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log_pairing.rs:95:78 [INFO] [stdout] | [INFO] [stdout] 95 | response: (self.blinding + self.witness * challenge).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 133 | / impl_protocol!( [INFO] [stdout] 134 | | /// Protocol for proving knowledge of discrete log in group G1, i.e. given public `Y` and `B`, prove knowledge of `A` in `e(A... [INFO] [stdout] 135 | | PoKG1DiscreteLogInPairingProtocol, PoKG1DiscreteLogInPairing, E::G1Affine, E::G2Affine, E::G2Prepared, pair_g2_g1 [INFO] [stdout] 136 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_protocol` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log_pairing.rs:95:78 [INFO] [stdout] | [INFO] [stdout] 95 | response: (self.blinding + self.witness * challenge).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 150 | / impl_protocol!( [INFO] [stdout] 151 | | /// Protocol for proving knowledge of discrete log in group G2, i.e. given public `Y` and `A`, prove knowledge of `B` in `e(A... [INFO] [stdout] 152 | | PoKG2DiscreteLogInPairingProtocol, PoKG2DiscreteLogInPairing, E::G2Affine, E::G1Affine, E::G1Prepared, pair_g1_g2 [INFO] [stdout] 153 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_protocol` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:111:18 [INFO] [stdout] | [INFO] [stdout] 111 | b: b.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 75 | impl DiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:413:47 [INFO] [stdout] | [INFO] [stdout] 413 | let c = (*h * alpha + minus_z * beta).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:425:22 [INFO] [stdout] | [INFO] [stdout] 425 | &minus_z.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:411:25 [INFO] [stdout] | [INFO] [stdout] 411 | let minus_z = z.into_group().neg(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:433:22 [INFO] [stdout] | [INFO] [stdout] 433 | &minus_y.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:412:25 [INFO] [stdout] | [INFO] [stdout] 412 | let minus_y = y.into_group().neg(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:479:44 [INFO] [stdout] | [INFO] [stdout] 479 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:479:25 [INFO] [stdout] | [INFO] [stdout] 479 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 479 - let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] 479 + let minus_z = z.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:480:44 [INFO] [stdout] | [INFO] [stdout] 480 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:480:25 [INFO] [stdout] | [INFO] [stdout] 480 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 480 - let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] 480 + let minus_y = y.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:534:44 [INFO] [stdout] | [INFO] [stdout] 534 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:534:25 [INFO] [stdout] | [INFO] [stdout] 534 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 500 | impl UnknownDiscreteLogInequalityProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 534 - let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] 534 + let minus_z = z.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:535:44 [INFO] [stdout] | [INFO] [stdout] 535 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:535:25 [INFO] [stdout] | [INFO] [stdout] 535 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 500 | impl UnknownDiscreteLogInequalityProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 535 - let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] 535 + let minus_y = y.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/mult_relations.rs:150:56 [INFO] [stdout] | [INFO] [stdout] 150 | let t_c = (a.mul(&j_b) + comm_key.h.mul(&k_c)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 128 | impl ProductProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/mult_relations.rs:286:64 [INFO] [stdout] | [INFO] [stdout] 286 | let t_a_sqr = (a.mul(&j_a) + comm_key.h.mul(&k_a_sqr)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 269 | impl SquareProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/mult_relations.rs:399:64 [INFO] [stdout] | [INFO] [stdout] 399 | let t_one = (a.mul(&j_a_inv) + comm_key.h.mul(&k_one)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 379 | impl InverseProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:195:10 [INFO] [stdout] | [INFO] [stdout] 195 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:194:14 [INFO] [stdout] | [INFO] [stdout] 193 | if (G::Group::msm_unchecked(bases, &full_resp) [INFO] [stdout] | ------------------------------------------ this expression has type `::Group` [INFO] [stdout] 194 | .add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 181 | impl PartialSchnorrResponse { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 193 - if (G::Group::msm_unchecked(bases, &full_resp) [INFO] [stdout] 194 - .add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] 193 + if (G::Group::msm_unchecked(bases, &full_resp) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:283:18 [INFO] [stdout] | [INFO] [stdout] 283 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:281:33 [INFO] [stdout] | [INFO] [stdout] 281 | let mut expected = base.mul_bigint(response.into_bigint()); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 273 | impl PartialPokDiscreteLog { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:320:18 [INFO] [stdout] | [INFO] [stdout] 320 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:317:34 [INFO] [stdout] | [INFO] [stdout] 317 | let mut expected = base1.mul_bigint(response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 307 | impl PartialPokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:369:18 [INFO] [stdout] | [INFO] [stdout] 369 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:366:34 [INFO] [stdout] | [INFO] [stdout] 366 | let mut expected = base1.mul_bigint(self.response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 357 | impl Partial1PokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:418:18 [INFO] [stdout] | [INFO] [stdout] 418 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:415:34 [INFO] [stdout] | [INFO] [stdout] 415 | let mut expected = base1.mul_bigint(response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 406 | impl Partial2PokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:131:57 [INFO] [stdout] | [INFO] [stdout] 131 | let t = base.mul_bigint(blinding.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/discrete_log.rs:131:22 [INFO] [stdout] | [INFO] [stdout] 131 | let t = base.mul_bigint(blinding.into_bigint()).into_affine(); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 129 | impl PokDiscreteLogProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/pok_generalized_pedersen.rs:104:60 [INFO] [stdout] | [INFO] [stdout] 104 | let t = G::Group::msm_unchecked(bases, &blindings).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 100 | impl SchnorrCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:182:18 [INFO] [stdout] | [INFO] [stdout] 182 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/discrete_log.rs:180:33 [INFO] [stdout] | [INFO] [stdout] 180 | let mut expected = base.mul_bigint(self.response.into_bigint()); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 168 | impl PokDiscreteLog { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:207:10 [INFO] [stdout] | [INFO] [stdout] 207 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 196 | impl PokPedersenCommitmentProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/pok_generalized_pedersen.rs:162:14 [INFO] [stdout] | [INFO] [stdout] 162 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/pok_generalized_pedersen.rs:161:53 [INFO] [stdout] | [INFO] [stdout] 161 | if (G::Group::msm_unchecked(bases, &self.0).add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] | --------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::Group` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 146 | impl SchnorrResponse { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 161 - if (G::Group::msm_unchecked(bases, &self.0).add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] 161 + if (G::Group::msm_unchecked(bases, &self.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log.rs:270:18 [INFO] [stdout] | [INFO] [stdout] 270 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/discrete_log.rs:267:34 [INFO] [stdout] | [INFO] [stdout] 267 | let mut expected = base1.mul_bigint(self.response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 252 | impl PokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log_pairing.rs:95:78 [INFO] [stdout] | [INFO] [stdout] 95 | response: (self.blinding + self.witness * challenge).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 133 | / impl_protocol!( [INFO] [stdout] 134 | | /// Protocol for proving knowledge of discrete log in group G1, i.e. given public `Y` and `B`, prove knowledge of `A` in `e(A... [INFO] [stdout] 135 | | PoKG1DiscreteLogInPairingProtocol, PoKG1DiscreteLogInPairing, E::G1Affine, E::G2Affine, E::G2Prepared, pair_g2_g1 [INFO] [stdout] 136 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_protocol` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/discrete_log_pairing.rs:95:78 [INFO] [stdout] | [INFO] [stdout] 95 | response: (self.blinding + self.witness * challenge).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 150 | / impl_protocol!( [INFO] [stdout] 151 | | /// Protocol for proving knowledge of discrete log in group G2, i.e. given public `Y` and `A`, prove knowledge of `B` in `e(A... [INFO] [stdout] 152 | | PoKG2DiscreteLogInPairingProtocol, PoKG2DiscreteLogInPairing, E::G2Affine, E::G1Affine, E::G1Prepared, pair_g1_g2 [INFO] [stdout] 153 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_protocol` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:111:18 [INFO] [stdout] | [INFO] [stdout] 111 | b: b.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 75 | impl DiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:413:47 [INFO] [stdout] | [INFO] [stdout] 413 | let c = (*h * alpha + minus_z * beta).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:425:22 [INFO] [stdout] | [INFO] [stdout] 425 | &minus_z.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:411:25 [INFO] [stdout] | [INFO] [stdout] 411 | let minus_z = z.into_group().neg(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:433:22 [INFO] [stdout] | [INFO] [stdout] 433 | &minus_y.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:412:25 [INFO] [stdout] | [INFO] [stdout] 412 | let minus_y = y.into_group().neg(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:479:44 [INFO] [stdout] | [INFO] [stdout] 479 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:479:25 [INFO] [stdout] | [INFO] [stdout] 479 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 479 - let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] 479 + let minus_z = z.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:480:44 [INFO] [stdout] | [INFO] [stdout] 480 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:480:25 [INFO] [stdout] | [INFO] [stdout] 480 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 400 | impl UnknownDiscreteLogInequalityProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 480 - let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] 480 + let minus_y = y.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:534:44 [INFO] [stdout] | [INFO] [stdout] 534 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:534:25 [INFO] [stdout] | [INFO] [stdout] 534 | let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 500 | impl UnknownDiscreteLogInequalityProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 534 - let minus_z = z.into_group().neg().into_affine(); [INFO] [stdout] 534 + let minus_z = z.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inequality.rs:535:44 [INFO] [stdout] | [INFO] [stdout] 535 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/inequality.rs:535:25 [INFO] [stdout] | [INFO] [stdout] 535 | let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] | - ^^^^^^^^^^^^ ----- `CurveGroup::Affine` remains `G` here [INFO] [stdout] | | | [INFO] [stdout] | | `CurveGroup::Affine` is `G` here [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 500 | impl UnknownDiscreteLogInequalityProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 535 - let minus_y = y.into_group().neg().into_affine(); [INFO] [stdout] 535 + let minus_y = y.into_group().into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/mult_relations.rs:150:56 [INFO] [stdout] | [INFO] [stdout] 150 | let t_c = (a.mul(&j_b) + comm_key.h.mul(&k_c)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 128 | impl ProductProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/mult_relations.rs:286:64 [INFO] [stdout] | [INFO] [stdout] 286 | let t_a_sqr = (a.mul(&j_a) + comm_key.h.mul(&k_a_sqr)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 269 | impl SquareProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/mult_relations.rs:399:64 [INFO] [stdout] | [INFO] [stdout] 399 | let t_one = (a.mul(&j_a_inv) + comm_key.h.mul(&k_one)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 379 | impl InverseProtocol { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:195:10 [INFO] [stdout] | [INFO] [stdout] 195 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:194:14 [INFO] [stdout] | [INFO] [stdout] 193 | if (G::Group::msm_unchecked(bases, &full_resp) [INFO] [stdout] | ------------------------------------------ this expression has type `::Group` [INFO] [stdout] 194 | .add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 181 | impl PartialSchnorrResponse { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 193 - if (G::Group::msm_unchecked(bases, &full_resp) [INFO] [stdout] 194 - .add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] 193 + if (G::Group::msm_unchecked(bases, &full_resp) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:283:18 [INFO] [stdout] | [INFO] [stdout] 283 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:281:33 [INFO] [stdout] | [INFO] [stdout] 281 | let mut expected = base.mul_bigint(response.into_bigint()); [INFO] [stdout] | ---- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 273 | impl PartialPokDiscreteLog { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:320:18 [INFO] [stdout] | [INFO] [stdout] 320 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:317:34 [INFO] [stdout] | [INFO] [stdout] 317 | let mut expected = base1.mul_bigint(response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 307 | impl PartialPokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:369:18 [INFO] [stdout] | [INFO] [stdout] 369 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:366:34 [INFO] [stdout] | [INFO] [stdout] 366 | let mut expected = base1.mul_bigint(self.response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 357 | impl Partial1PokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial.rs:418:18 [INFO] [stdout] | [INFO] [stdout] 418 | expected.into_affine() == self.t [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/partial.rs:415:34 [INFO] [stdout] | [INFO] [stdout] 415 | let mut expected = base1.mul_bigint(response1.into_bigint()); [INFO] [stdout] | ----- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 406 | impl Partial2PokPedersenCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/pok_generalized_pedersen.rs:104:60 [INFO] [stdout] | [INFO] [stdout] 104 | let t = G::Group::msm_unchecked(bases, &blindings).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 100 | impl SchnorrCommitment { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/pok_generalized_pedersen.rs:162:14 [INFO] [stdout] | [INFO] [stdout] 162 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/pok_generalized_pedersen.rs:161:53 [INFO] [stdout] | [INFO] [stdout] 161 | if (G::Group::msm_unchecked(bases, &self.0).add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] | --------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::Group` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 146 | impl SchnorrResponse { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 161 - if (G::Group::msm_unchecked(bases, &self.0).add(y.mul_bigint((-*challenge).into_bigint()))) [INFO] [stdout] 161 + if (G::Group::msm_unchecked(bases, &self.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `schnorr_pok` (lib) due to 24 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `schnorr_pok` (lib test) due to 24 previous errors [INFO] running `Command { std: "docker" "inspect" "84fd57f23b62a5413f0faa461b0764d303cba5d19c3c66f68233458867dd91d0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "84fd57f23b62a5413f0faa461b0764d303cba5d19c3c66f68233458867dd91d0", kill_on_drop: false }` [INFO] [stdout] 84fd57f23b62a5413f0faa461b0764d303cba5d19c3c66f68233458867dd91d0