[INFO] fetching crate delegatable_credentials 0.8.0... [INFO] checking delegatable_credentials-0.8.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate delegatable_credentials 0.8.0 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate delegatable_credentials 0.8.0 [INFO] finished tweaking crates.io crate delegatable_credentials 0.8.0 [INFO] tweaked toml for crates.io crate delegatable_credentials 0.8.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate delegatable_credentials 0.8.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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 78 packages to latest compatible versions [INFO] [stderr] Adding ark-bls12-381 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-ec v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-ff v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-poly v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-serialize v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-std v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding digest v0.10.7 (available: v0.11.2) [INFO] [stderr] Adding dock_crypto_utils v0.17.0 (available: v0.23.0) [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [INFO] [stderr] Adding schnorr_pok v0.17.0 (available: v0.23.0) [INFO] [stderr] Adding serde_with v1.14.0 (available: v3.18.0) [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-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 127d1ddd04128c40e9473d0919e9b1f65b086e6fd0b76a97125e35d6f55530ed [INFO] running `Command { std: "docker" "start" "-a" "127d1ddd04128c40e9473d0919e9b1f65b086e6fd0b76a97125e35d6f55530ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "127d1ddd04128c40e9473d0919e9b1f65b086e6fd0b76a97125e35d6f55530ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "127d1ddd04128c40e9473d0919e9b1f65b086e6fd0b76a97125e35d6f55530ed", kill_on_drop: false }` [INFO] [stdout] 127d1ddd04128c40e9473d0919e9b1f65b086e6fd0b76a97125e35d6f55530ed [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 1dc2880a43cdbb25c2a59dc1b1f23248b30a0c1ad3aadf83b0660fadd59b5cfc [INFO] running `Command { std: "docker" "start" "-a" "1dc2880a43cdbb25c2a59dc1b1f23248b30a0c1ad3aadf83b0660fadd59b5cfc", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking ahash v0.8.12 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Checking hkdf v0.12.4 [INFO] [stderr] Checking aead v0.5.2 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Compiling darling_core v0.13.4 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Compiling darling_macro v0.13.4 [INFO] [stderr] Compiling darling v0.13.4 [INFO] [stderr] Compiling serde_with_macros v1.5.2 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking dock_merlin v3.0.0 [INFO] [stderr] Checking serde_with v1.14.0 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking dock_crypto_utils v0.17.0 [INFO] [stderr] Checking ark-bls12-381 v0.4.0 [INFO] [stderr] Checking schnorr_pok v0.17.0 [INFO] [stderr] Checking delegatable_credentials v0.8.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:37:56 [INFO] [stdout] | [INFO] [stdout] 37 | Self(P2.mul_bigint(secret_key.0.into_bigint()).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 36 | pub fn new(secret_key: &SecretKey, P2: &E::G2Affine) -> Self where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:37:56 [INFO] [stdout] | [INFO] [stdout] 37 | Self(P2.mul_bigint(secret_key.0.into_bigint()).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 36 | pub fn new(secret_key: &SecretKey, P2: &E::G2Affine) -> Self where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:79:51 [INFO] [stdout] | [INFO] [stdout] 79 | Self(P1.mul_bigint(aux.into_bigint()).into_affine(), aux, eval), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 73 | ) -> (Self, AccumulatorPolynomial) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:79:51 [INFO] [stdout] | [INFO] [stdout] 79 | Self(P1.mul_bigint(aux.into_bigint()).into_affine(), aux, eval), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 73 | ) -> (Self, AccumulatorPolynomial) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:86:56 [INFO] [stdout] | [INFO] [stdout] 86 | self.0 = self.0.mul_bigint(eval.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 84 | pub fn add_using_trapdoor(&mut self, additions: &[E::ScalarField], trapdoor: &E::ScalarField) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:86:56 [INFO] [stdout] | [INFO] [stdout] 86 | self.0 = self.0.mul_bigint(eval.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 84 | pub fn add_using_trapdoor(&mut self, additions: &[E::ScalarField], trapdoor: &E::ScalarField) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:98:60 [INFO] [stdout] | [INFO] [stdout] 98 | self.0 = self.0.mul_bigint(eval_inv.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 95 | ) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:98:60 [INFO] [stdout] | [INFO] [stdout] 98 | self.0 = self.0.mul_bigint(eval_inv.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 95 | ) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:157:27 [INFO] [stdout] | [INFO] [stdout] 157 | Ok(Self(P2.mul(q).into_affine(), d)) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 149 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:157:27 [INFO] [stdout] | [INFO] [stdout] 157 | Ok(Self(P2.mul(q).into_affine(), d)) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 149 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:182:32 [INFO] [stdout] | [INFO] [stdout] 182 | let e1 = (P1_n + P1_s).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 179 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:183:56 [INFO] [stdout] | [INFO] [stdout] 183 | let P1_d = P1.mul_bigint(self.1.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 179 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:186:52 [INFO] [stdout] | [INFO] [stdout] 186 | [e1, P1_d, (-accumulated.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 179 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:208:46 [INFO] [stdout] | [INFO] [stdout] 208 | P2.mul(q.evaluate(trapdoor)).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 199 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:182:32 [INFO] [stdout] | [INFO] [stdout] 182 | let e1 = (P1_n + P1_s).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 179 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:183:56 [INFO] [stdout] | [INFO] [stdout] 183 | let P1_d = P1.mul_bigint(self.1.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 179 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:186:52 [INFO] [stdout] | [INFO] [stdout] 186 | [e1, P1_d, (-accumulated.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 179 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:230:56 [INFO] [stdout] | [INFO] [stdout] 230 | (-randomized_accumulated.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 225 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:208:46 [INFO] [stdout] | [INFO] [stdout] 208 | P2.mul(q.evaluate(trapdoor)).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 199 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/accumulator.rs:230:56 [INFO] [stdout] | [INFO] [stdout] 230 | (-randomized_accumulated.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 225 | ) -> bool where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:147:17 [INFO] [stdout] | [INFO] [stdout] 146 | Self(<$gen as AffineRepr>::Group::normalize_batch( [INFO] [stdout] | -------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 147 | &P_tilde_table.multiply_many(&secret_key.0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 167 | impl_pubkey!(E::G2Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (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/mercurial_sig.rs:157:63 [INFO] [stdout] | [INFO] [stdout] 157 | Self(<$gen as AffineRepr>::Group::normalize_batch(&new_pk)) [INFO] [stdout] | -------------------------------------------- ^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 167 | impl_pubkey!(E::G2Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:147:17 [INFO] [stdout] | [INFO] [stdout] 146 | Self(<$gen as AffineRepr>::Group::normalize_batch( [INFO] [stdout] | -------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 147 | &P_tilde_table.multiply_many(&secret_key.0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 171 | impl_pubkey!(E::G1Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:157:63 [INFO] [stdout] | [INFO] [stdout] 157 | Self(<$gen as AffineRepr>::Group::normalize_batch(&new_pk)) [INFO] [stdout] | -------------------------------------------- ^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 171 | impl_pubkey!(E::G1Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:221:18 [INFO] [stdout] | [INFO] [stdout] 221 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 219 - let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] 220 - .mul_bigint(y.into_bigint()) [INFO] [stdout] 219 + let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:225:50 [INFO] [stdout] | [INFO] [stdout] 225 | Y: sig_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (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/mercurial_sig.rs:226:55 [INFO] [stdout] | [INFO] [stdout] 226 | Y_tilde: pk_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:279:22 [INFO] [stdout] | [INFO] [stdout] 279 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:280:52 [INFO] [stdout] | [INFO] [stdout] 280 | Y: self.Y.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (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/mercurial_sig.rs:147:17 [INFO] [stdout] | [INFO] [stdout] 146 | Self(<$gen as AffineRepr>::Group::normalize_batch( [INFO] [stdout] | -------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 147 | &P_tilde_table.multiply_many(&secret_key.0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 167 | impl_pubkey!(E::G2Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (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/mercurial_sig.rs:281:64 [INFO] [stdout] | [INFO] [stdout] 281 | Y_tilde: self.Y_tilde.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (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/mercurial_sig.rs:157:63 [INFO] [stdout] | [INFO] [stdout] 157 | Self(<$gen as AffineRepr>::Group::normalize_batch(&new_pk)) [INFO] [stdout] | -------------------------------------------- ^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 167 | impl_pubkey!(E::G2Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:147:17 [INFO] [stdout] | [INFO] [stdout] 146 | Self(<$gen as AffineRepr>::Group::normalize_batch( [INFO] [stdout] | -------------------------------------------- required by a bound introduced by this call [INFO] [stdout] 147 | &P_tilde_table.multiply_many(&secret_key.0), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 171 | impl_pubkey!(E::G1Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:300:68 [INFO] [stdout] | [INFO] [stdout] 300 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:319:68 [INFO] [stdout] | [INFO] [stdout] 319 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:157:63 [INFO] [stdout] | [INFO] [stdout] 157 | Self(<$gen as AffineRepr>::Group::normalize_batch(&new_pk)) [INFO] [stdout] | -------------------------------------------- ^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 171 | impl_pubkey!(E::G1Affine); [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_pubkey` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:221:18 [INFO] [stdout] | [INFO] [stdout] 221 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 219 - let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] 220 - .mul_bigint(y.into_bigint()) [INFO] [stdout] 219 + let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:225:50 [INFO] [stdout] | [INFO] [stdout] 225 | Y: sig_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (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/mercurial_sig.rs:221:18 [INFO] [stdout] | [INFO] [stdout] 221 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G2` and `::G2: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 219 - let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] 220 - .mul_bigint(y.into_bigint()) [INFO] [stdout] 219 + let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:225:50 [INFO] [stdout] | [INFO] [stdout] 225 | Y: sig_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:226:55 [INFO] [stdout] | [INFO] [stdout] 226 | Y_tilde: pk_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (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/mercurial_sig.rs:226:55 [INFO] [stdout] | [INFO] [stdout] 226 | Y_tilde: pk_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:279:22 [INFO] [stdout] | [INFO] [stdout] 279 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (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/mercurial_sig.rs:279:22 [INFO] [stdout] | [INFO] [stdout] 279 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:280:52 [INFO] [stdout] | [INFO] [stdout] 280 | Y: self.Y.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (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/mercurial_sig.rs:280:52 [INFO] [stdout] | [INFO] [stdout] 280 | Y: self.Y.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (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/mercurial_sig.rs:281:64 [INFO] [stdout] | [INFO] [stdout] 281 | Y_tilde: self.Y_tilde.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:281:64 [INFO] [stdout] | [INFO] [stdout] 281 | Y_tilde: self.Y_tilde.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:300:68 [INFO] [stdout] | [INFO] [stdout] 300 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (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/mercurial_sig.rs:300:68 [INFO] [stdout] | [INFO] [stdout] 300 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:319:68 [INFO] [stdout] | [INFO] [stdout] 319 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 326 | impl_signature_struct!(E::G1Affine, E::G2Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (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/mercurial_sig.rs:319:68 [INFO] [stdout] | [INFO] [stdout] 319 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:395:42 [INFO] [stdout] | [INFO] [stdout] 395 | (-self.Y_tilde.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 380 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:405:66 [INFO] [stdout] | [INFO] [stdout] 405 | E::G1Prepared::from((-self.Y_tilde.into_group()).into_affine()), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 380 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:221:18 [INFO] [stdout] | [INFO] [stdout] 221 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G2` and `::G2: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 219 - let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] 220 - .mul_bigint(y.into_bigint()) [INFO] [stdout] 219 + let Z = <$msg_group as AffineRepr>::Group::msm_unchecked(messages, &secret_key.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:225:50 [INFO] [stdout] | [INFO] [stdout] 225 | Y: sig_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:226:55 [INFO] [stdout] | [INFO] [stdout] 226 | Y_tilde: pk_grp_gen.mul_bigint(y_inv).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (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/mercurial_sig.rs:279:22 [INFO] [stdout] | [INFO] [stdout] 279 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (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/mercurial_sig.rs:280:52 [INFO] [stdout] | [INFO] [stdout] 280 | Y: self.Y.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:281:64 [INFO] [stdout] | [INFO] [stdout] 281 | Y_tilde: self.Y_tilde.mul_bigint(psi_inv_repr).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [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_signature_struct` (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/mercurial_sig.rs:300:68 [INFO] [stdout] | [INFO] [stdout] 300 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (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/mercurial_sig.rs:319:68 [INFO] [stdout] | [INFO] [stdout] 319 | <$msg_group as AffineRepr>::Group::normalize_batch(&new_msgs), [INFO] [stdout] | -------------------------------------------------- ^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 372 | impl_signature_struct!(E::G2Affine, E::G1Affine); [INFO] [stdout] | ------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: this error originates in the macro `impl_signature_struct` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:395:42 [INFO] [stdout] | [INFO] [stdout] 395 | (-self.Y_tilde.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 380 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/mercurial_sig.rs:405:66 [INFO] [stdout] | [INFO] [stdout] 405 | E::G1Prepared::from((-self.Y_tilde.into_group()).into_affine()), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 380 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:88:37 [INFO] [stdout] | [INFO] [stdout] 88 | X_0: P1.mul_bigint(x_0).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 85 | pub fn new(secret_key: &RootIssuerSecretKey, P1: &E::G1Affine, P2: &E::G2Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:89:41 [INFO] [stdout] | [INFO] [stdout] 89 | X_0_hat: P2.mul_bigint(x_0).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 85 | pub fn new(secret_key: &RootIssuerSecretKey, P1: &E::G1Affine, P2: &E::G2Affine) -> Self where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:117:56 [INFO] [stdout] | [INFO] [stdout] 117 | Self(P1.mul_bigint(secret_key.0.into_bigint()).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(secret_key: &UserSecretKey, P1: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:144:18 [INFO] [stdout] | [INFO] [stdout] 144 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 139 | ) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `_` and `_: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 142 - (P1.mul_bigint(chi.into_bigint()) + self.0) [INFO] [stdout] 143 - .mul_bigint(psi.into_bigint()) [INFO] [stdout] 142 + (P1.mul_bigint(chi.into_bigint()) + self.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:160:44 [INFO] [stdout] | [INFO] [stdout] 160 | E::G1::normalize_batch(&j) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 150 | pub fn randomize(&self, r: &E::ScalarField) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:210:14 [INFO] [stdout] | [INFO] [stdout] 210 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 207 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:219:18 [INFO] [stdout] | [INFO] [stdout] 219 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 207 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 217 - .fold(E::G1::zero(), |sum, v| sum + cfg_iter!(v).sum::()) [INFO] [stdout] 218 - .neg() [INFO] [stdout] 217 + .fold(E::G1::zero(), |sum, v| sum + cfg_iter!(v).sum::()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:288:36 [INFO] [stdout] | [INFO] [stdout] 288 | new_sig.comm_sig.Z = new_z.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 264 | > where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:88:37 [INFO] [stdout] | [INFO] [stdout] 88 | X_0: P1.mul_bigint(x_0).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 85 | pub fn new(secret_key: &RootIssuerSecretKey, P1: &E::G1Affine, P2: &E::G2Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:89:41 [INFO] [stdout] | [INFO] [stdout] 89 | X_0_hat: P2.mul_bigint(x_0).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 85 | pub fn new(secret_key: &RootIssuerSecretKey, P1: &E::G1Affine, P2: &E::G2Affine) -> Self where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:117:56 [INFO] [stdout] | [INFO] [stdout] 117 | Self(P1.mul_bigint(secret_key.0.into_bigint()).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 116 | pub fn new(secret_key: &UserSecretKey, P1: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:336:64 [INFO] [stdout] | [INFO] [stdout] 336 | let new_T = self.T.mul(*psi).add(X_0.mul(*chi * *psi)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 325 | > where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 336 - let new_T = self.T.mul(*psi).add(X_0.mul(*chi * *psi)).into_affine(); [INFO] [stdout] 336 + let new_T = self.T.mul(*psi).into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:144:18 [INFO] [stdout] | [INFO] [stdout] 144 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 139 | ) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `_` and `_: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 142 - (P1.mul_bigint(chi.into_bigint()) + self.0) [INFO] [stdout] 143 - .mul_bigint(psi.into_bigint()) [INFO] [stdout] 142 + (P1.mul_bigint(chi.into_bigint()) + self.0) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:160:44 [INFO] [stdout] | [INFO] [stdout] 160 | E::G1::normalize_batch(&j) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 150 | pub fn randomize(&self, r: &E::ScalarField) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:473:27 [INFO] [stdout] | [INFO] [stdout] 473 | new_sig.T = new_t.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 469 | pub fn to_orphan(&self, user_secret_key: &UserSecretKey, X_0: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:482:27 [INFO] [stdout] | [INFO] [stdout] 482 | new_sig.T = new_t.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 478 | pub fn from_orphan(&self, user_secret_key: &UserSecretKey, X_0: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:210:14 [INFO] [stdout] | [INFO] [stdout] 210 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 207 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/keys.rs:219:18 [INFO] [stdout] | [INFO] [stdout] 219 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 207 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 217 - .fold(E::G1::zero(), |sum, v| sum + cfg_iter!(v).sum::()) [INFO] [stdout] 218 - .neg() [INFO] [stdout] 217 + .fold(E::G1::zero(), |sum, v| sum + cfg_iter!(v).sum::()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:516:14 [INFO] [stdout] | [INFO] [stdout] 516 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 494 | ) -> Result<(Self, Option>), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 514 - .mul(sk_merc[0] * y) [INFO] [stdout] 515 - .add(user_public_key.0.mul(secret_key.0)) [INFO] [stdout] 514 + .mul(sk_merc[0] * y) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:540:44 [INFO] [stdout] | [INFO] [stdout] 540 | E::G1::normalize_batch(&p) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 494 | ) -> Result<(Self, Option>), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:574:40 [INFO] [stdout] | [INFO] [stdout] 574 | (-self.T.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 559 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:37:46 [INFO] [stdout] | [INFO] [stdout] 37 | (Self(P1.mul_bigint(z.into_bigint()).into_affine()), z) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 35 | pub fn new(rng: &mut R, P1: &E::G1Affine) -> (Self, E::ScalarField) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:99:44 [INFO] [stdout] | [INFO] [stdout] 99 | E::G2::normalize_batch(&a) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:118:44 [INFO] [stdout] | [INFO] [stdout] 118 | E::G2::normalize_batch(&a) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:134:39 [INFO] [stdout] | [INFO] [stdout] 134 | z: E::G1::normalize_batch(&z), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:135:39 [INFO] [stdout] | [INFO] [stdout] 135 | d: E::G1::normalize_batch(&d), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:160:41 [INFO] [stdout] | [INFO] [stdout] 160 | if self.z.iter().sum::().into_affine() != srs.0 { [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 146 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:182:51 [INFO] [stdout] | [INFO] [stdout] 182 | [self.d[i].into_group().neg().into_affine(), self.z[i], *P1], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 146 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 182 - [self.d[i].into_group().neg().into_affine(), self.z[i], *P1], [INFO] [stdout] 182 + [self.d[i].into_group().into_affine(), self.z[i], *P1], [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:288:36 [INFO] [stdout] | [INFO] [stdout] 288 | new_sig.comm_sig.Z = new_z.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 264 | > where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:336:64 [INFO] [stdout] | [INFO] [stdout] 336 | let new_T = self.T.mul(*psi).add(X_0.mul(*chi * *psi)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 325 | > where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 336 - let new_T = self.T.mul(*psi).add(X_0.mul(*chi * *psi)).into_affine(); [INFO] [stdout] 336 + let new_T = self.T.mul(*psi).into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:473:27 [INFO] [stdout] | [INFO] [stdout] 473 | new_sig.T = new_t.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 469 | pub fn to_orphan(&self, user_secret_key: &UserSecretKey, X_0: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:482:27 [INFO] [stdout] | [INFO] [stdout] 482 | new_sig.T = new_t.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 478 | pub fn from_orphan(&self, user_secret_key: &UserSecretKey, X_0: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:516:14 [INFO] [stdout] | [INFO] [stdout] 516 | .into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 494 | ) -> Result<(Self, Option>), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 514 - .mul(sk_merc[0] * y) [INFO] [stdout] 515 - .add(user_public_key.0.mul(secret_key.0)) [INFO] [stdout] 514 + .mul(sk_merc[0] * y) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:540:44 [INFO] [stdout] | [INFO] [stdout] 540 | E::G1::normalize_batch(&p) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 494 | ) -> Result<(Self, Option>), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/msbm/sps_eq_uc_sig.rs:574:40 [INFO] [stdout] | [INFO] [stdout] 574 | (-self.T.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 559 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:142:24 [INFO] [stdout] | [INFO] [stdout] 142 | C4: C4.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 124 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:144:54 [INFO] [stdout] | [INFO] [stdout] 144 | C5: Q.mul_bigint(usk2.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 124 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:234:54 [INFO] [stdout] | [INFO] [stdout] 234 | let C2 = comm.0.mul_bigint(r4.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 222 | ) -> Result<(SignatureRequest, SignatureRequestOpening), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:293:43 [INFO] [stdout] | [INFO] [stdout] 293 | [self.C1, (-upk.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 268 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:322:64 [INFO] [stdout] | [INFO] [stdout] 322 | if !E::multi_pairing([rev.C4, (-upk2.into_group()).into_affine()], [prep_P2, e2]) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 268 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:37:46 [INFO] [stdout] | [INFO] [stdout] 37 | (Self(P1.mul_bigint(z.into_bigint()).into_affine()), z) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 35 | pub fn new(rng: &mut R, P1: &E::G1Affine) -> (Self, E::ScalarField) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:99:44 [INFO] [stdout] | [INFO] [stdout] 99 | E::G2::normalize_batch(&a) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/keys.rs:136:55 [INFO] [stdout] | [INFO] [stdout] 136 | P1.mul_bigint(secret_key.0.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 134 | pub fn new(secret_key: &UserSecretKey, P1: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/keys.rs:139:57 [INFO] [stdout] | [INFO] [stdout] 139 | .map(|s| P1.mul_bigint(s.into_bigint()).into_affine()), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 134 | pub fn new(secret_key: &UserSecretKey, P1: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:118:44 [INFO] [stdout] | [INFO] [stdout] 118 | E::G2::normalize_batch(&a) [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:134:39 [INFO] [stdout] | [INFO] [stdout] 134 | z: E::G1::normalize_batch(&z), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:135:39 [INFO] [stdout] | [INFO] [stdout] 135 | d: E::G1::normalize_batch(&d), [INFO] [stdout] | ---------------------- ^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 54 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:160:41 [INFO] [stdout] | [INFO] [stdout] 160 | if self.z.iter().sum::().into_affine() != srs.0 { [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 146 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/one_of_n_proof.rs:182:51 [INFO] [stdout] | [INFO] [stdout] 182 | [self.d[i].into_group().neg().into_affine(), self.z[i], *P1], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 146 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 182 - [self.d[i].into_group().neg().into_affine(), self.z[i], *P1], [INFO] [stdout] 182 + [self.d[i].into_group().into_affine(), self.z[i], *P1], [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:142:24 [INFO] [stdout] | [INFO] [stdout] 142 | C4: C4.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 124 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:144:54 [INFO] [stdout] | [INFO] [stdout] 144 | C5: Q.mul_bigint(usk2.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 124 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:234:54 [INFO] [stdout] | [INFO] [stdout] 234 | let C2 = comm.0.mul_bigint(r4.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 222 | ) -> Result<(SignatureRequest, SignatureRequestOpening), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:201:18 [INFO] [stdout] | [INFO] [stdout] 201 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:293:43 [INFO] [stdout] | [INFO] [stdout] 293 | [self.C1, (-upk.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 268 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/issuance.rs:322:64 [INFO] [stdout] | [INFO] [stdout] 322 | if !E::multi_pairing([rev.C4, (-upk2.into_group()).into_affine()], [prep_P2, e2]) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 268 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:268:70 [INFO] [stdout] | [INFO] [stdout] 268 | let randomized_accum = accum.mul_bigint(r.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:271:53 [INFO] [stdout] | [INFO] [stdout] 271 | wit.0.mul_bigint(tau.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:272:59 [INFO] [stdout] | [INFO] [stdout] 272 | P1.mul_bigint(randomized_d.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:302:55 [INFO] [stdout] | [INFO] [stdout] 302 | let com1 = P1.mul(r1).add(&apk.0.mul(r2)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 302 - let com1 = P1.mul(r1).add(&apk.0.mul(r2)).into_affine(); [INFO] [stdout] 302 + let com1 = P1.mul(r1).into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:305:35 [INFO] [stdout] | [INFO] [stdout] 305 | let t1 = P2.mul(beta).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:306:40 [INFO] [stdout] | [INFO] [stdout] 306 | let t2 = P2.mul(beta * mu).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:307:43 [INFO] [stdout] | [INFO] [stdout] 307 | let t3 = P2.mul(beta * alpha).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:607:22 [INFO] [stdout] | [INFO] [stdout] 607 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 605 - .add(&apk.0.mul(ct_proof.ciphertext_rand_proof.response)) [INFO] [stdout] 606 - .sub(ct.enc1.mul_bigint(challenge.into_bigint())) [INFO] [stdout] 605 + .add(&apk.0.mul(ct_proof.ciphertext_rand_proof.response)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:625:50 [INFO] [stdout] | [INFO] [stdout] 625 | [ct.enc2, (-P1.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:633:60 [INFO] [stdout] | [INFO] [stdout] 633 | [ct.enc2, (-self.core.C3.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:642:49 [INFO] [stdout] | [INFO] [stdout] 642 | (-ct.enc1.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/keys.rs:136:55 [INFO] [stdout] | [INFO] [stdout] 136 | P1.mul_bigint(secret_key.0.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 134 | pub fn new(secret_key: &UserSecretKey, P1: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/keys.rs:139:57 [INFO] [stdout] | [INFO] [stdout] 139 | .map(|s| P1.mul_bigint(s.into_bigint()).into_affine()), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 134 | pub fn new(secret_key: &UserSecretKey, P1: &E::G1Affine) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:141:40 [INFO] [stdout] | [INFO] [stdout] 141 | P1: E::G1::normalize_batch(&P1_table.multiply_many(&powers)), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 132 | ) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:142:40 [INFO] [stdout] | [INFO] [stdout] 142 | P2: E::G2::normalize_batch(&P2_table.multiply_many(&powers)), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 132 | ) -> Self where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:231:66 [INFO] [stdout] | [INFO] [stdout] 231 | SetCommitment(P1_table.multiply(&randomness).into_affine()), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 215 | ) -> Result<(Self, SetCommitmentOpening), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:272:46 [INFO] [stdout] | [INFO] [stdout] 272 | Ok(SetCommitment(comm_rand.mul(prod).into_affine())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 250 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:285:59 [INFO] [stdout] | [INFO] [stdout] 285 | let s_P1 = P1.mul_bigint(s.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 281 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 285 - let s_P1 = P1.mul_bigint(s.into_bigint()).into_affine(); [INFO] [stdout] 285 + let s_P1 = P1.into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:286:56 [INFO] [stdout] | [INFO] [stdout] 286 | let C = P1.mul_bigint(r.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 281 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 286 - let C = P1.mul_bigint(r.into_bigint()).into_affine(); [INFO] [stdout] 286 + let C = P1.into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:345:62 [INFO] [stdout] | [INFO] [stdout] 345 | srs.get_P1().mul_bigint(r.into_bigint()).into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 325 | ) -> Result, DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:361:62 [INFO] [stdout] | [INFO] [stdout] 361 | self.0 = self.0.mul_bigint(randomness.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 360 | ) -> (Self, SetCommitmentOpening) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:201:18 [INFO] [stdout] | [INFO] [stdout] 201 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:372:40 [INFO] [stdout] | [INFO] [stdout] 372 | srs.eval_P1(set).mul_bigint(r).into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 371 | ) -> E::G1Affine where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 372 - srs.eval_P1(set).mul_bigint(r).into_affine() [INFO] [stdout] 372 + srs.eval_P1(set).into_affine() [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:268:70 [INFO] [stdout] | [INFO] [stdout] 268 | let randomized_accum = accum.mul_bigint(r.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:415:55 [INFO] [stdout] | [INFO] [stdout] 415 | [self.0, (-set_commitment.0.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 396 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:271:53 [INFO] [stdout] | [INFO] [stdout] 271 | wit.0.mul_bigint(tau.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:455:18 [INFO] [stdout] | [INFO] [stdout] 455 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:272:59 [INFO] [stdout] | [INFO] [stdout] 272 | P1.mul_bigint(randomized_d.into_bigint()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:460:49 [INFO] [stdout] | [INFO] [stdout] 460 | Self(self.0.mul_bigint(r.into_bigint()).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 459 | pub fn randomize(&self, r: &E::ScalarField) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:302:55 [INFO] [stdout] | [INFO] [stdout] 302 | let com1 = P1.mul(r1).add(&apk.0.mul(r2)).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 302 - let com1 = P1.mul(r1).add(&apk.0.mul(r2)).into_affine(); [INFO] [stdout] 302 + let com1 = P1.mul(r1).into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:305:35 [INFO] [stdout] | [INFO] [stdout] 305 | let t1 = P2.mul(beta).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:306:40 [INFO] [stdout] | [INFO] [stdout] 306 | let t2 = P2.mul(beta * mu).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:307:43 [INFO] [stdout] | [INFO] [stdout] 307 | let t3 = P2.mul(beta * alpha).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 190 | ) -> Result where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:522:57 [INFO] [stdout] | [INFO] [stdout] 522 | if !E::multi_pairing(g1, E::G2::normalize_batch(&g2)).is_zero() { [INFO] [stdout] | ---------------------- ^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 470 | ) -> Result<(), DelegationError> where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:586:40 [INFO] [stdout] | [INFO] [stdout] 586 | g1.push((-self.0.into_group()).into_affine()); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 533 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:588:57 [INFO] [stdout] | [INFO] [stdout] 588 | if !E::multi_pairing(g1, E::G2::normalize_batch(&g2)).is_zero() { [INFO] [stdout] | ---------------------- ^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 533 | ) -> Result<(), DelegationError> where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:607:22 [INFO] [stdout] | [INFO] [stdout] 607 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 605 - .add(&apk.0.mul(ct_proof.ciphertext_rand_proof.response)) [INFO] [stdout] 606 - .sub(ct.enc1.mul_bigint(challenge.into_bigint())) [INFO] [stdout] 605 + .add(&apk.0.mul(ct_proof.ciphertext_rand_proof.response)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:625:50 [INFO] [stdout] | [INFO] [stdout] 625 | [ct.enc2, (-P1.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:633:60 [INFO] [stdout] | [INFO] [stdout] 633 | [ct.enc2, (-self.core.C3.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/protego/show/known_signer.rs:642:49 [INFO] [stdout] | [INFO] [stdout] 642 | (-ct.enc1.into_group()).into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 515 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:141:40 [INFO] [stdout] | [INFO] [stdout] 141 | P1: E::G1::normalize_batch(&P1_table.multiply_many(&powers)), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 132 | ) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:142:40 [INFO] [stdout] | [INFO] [stdout] 142 | P2: E::G2::normalize_batch(&P2_table.multiply_many(&powers)), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 132 | ) -> Self where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:231:66 [INFO] [stdout] | [INFO] [stdout] 231 | SetCommitment(P1_table.multiply(&randomness).into_affine()), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 215 | ) -> Result<(Self, SetCommitmentOpening), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:272:46 [INFO] [stdout] | [INFO] [stdout] 272 | Ok(SetCommitment(comm_rand.mul(prod).into_affine())) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 250 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:285:59 [INFO] [stdout] | [INFO] [stdout] 285 | let s_P1 = P1.mul_bigint(s.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 281 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 285 - let s_P1 = P1.mul_bigint(s.into_bigint()).into_affine(); [INFO] [stdout] 285 + let s_P1 = P1.into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:286:56 [INFO] [stdout] | [INFO] [stdout] 286 | let C = P1.mul_bigint(r.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 281 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 286 - let C = P1.mul_bigint(r.into_bigint()).into_affine(); [INFO] [stdout] 286 + let C = P1.into_affine(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:345:62 [INFO] [stdout] | [INFO] [stdout] 345 | srs.get_P1().mul_bigint(r.into_bigint()).into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 325 | ) -> Result, DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:361:62 [INFO] [stdout] | [INFO] [stdout] 361 | self.0 = self.0.mul_bigint(randomness.into_bigint()).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 360 | ) -> (Self, SetCommitmentOpening) where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:372:40 [INFO] [stdout] | [INFO] [stdout] 372 | srs.eval_P1(set).mul_bigint(r).into_affine() [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 371 | ) -> E::G1Affine where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::G1` and `::G1: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 372 - srs.eval_P1(set).mul_bigint(r).into_affine() [INFO] [stdout] 372 + srs.eval_P1(set).into_affine() [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:415:55 [INFO] [stdout] | [INFO] [stdout] 415 | [self.0, (-set_commitment.0.into_group()).into_affine()], [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 396 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:455:18 [INFO] [stdout] | [INFO] [stdout] 455 | .into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:460:49 [INFO] [stdout] | [INFO] [stdout] 460 | Self(self.0.mul_bigint(r.into_bigint()).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 459 | pub fn randomize(&self, r: &E::ScalarField) -> Self where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:522:57 [INFO] [stdout] | [INFO] [stdout] 522 | if !E::multi_pairing(g1, E::G2::normalize_batch(&g2)).is_zero() { [INFO] [stdout] | ---------------------- ^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 470 | ) -> Result<(), DelegationError> where ::G2Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G1Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:586:40 [INFO] [stdout] | [INFO] [stdout] 586 | g1.push((-self.0.into_group()).into_affine()); [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::G1Affine` [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 the associated type [INFO] [stdout] | [INFO] [stdout] 533 | ) -> Result<(), DelegationError> where ::G1Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::G2Affine: Neg` is not satisfied [INFO] [stdout] --> src/set_commitment.rs:588:57 [INFO] [stdout] | [INFO] [stdout] 588 | if !E::multi_pairing(g1, E::G2::normalize_batch(&g2)).is_zero() { [INFO] [stdout] | ---------------------- ^^^ the trait `Neg` is not implemented for `::G2Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 533 | ) -> Result<(), DelegationError> where ::G2Affine: Neg { [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 `delegatable_credentials` (lib test) due to 87 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 `delegatable_credentials` (lib) due to 87 previous errors [INFO] running `Command { std: "docker" "inspect" "1dc2880a43cdbb25c2a59dc1b1f23248b30a0c1ad3aadf83b0660fadd59b5cfc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1dc2880a43cdbb25c2a59dc1b1f23248b30a0c1ad3aadf83b0660fadd59b5cfc", kill_on_drop: false }` [INFO] [stdout] 1dc2880a43cdbb25c2a59dc1b1f23248b30a0c1ad3aadf83b0660fadd59b5cfc