[INFO] fetching crate compressed_sigma 0.0.8... [INFO] checking compressed_sigma-0.0.8 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate compressed_sigma 0.0.8 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate compressed_sigma 0.0.8 [INFO] finished tweaking crates.io crate compressed_sigma 0.0.8 [INFO] tweaked toml for crates.io crate compressed_sigma 0.0.8 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate compressed_sigma 0.0.8 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 82 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.16.0 (available: v0.23.0) [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [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] 5dfdff36579c405ed22f4a8bc930184e86787c82d8d72692ac4c07f0e0879df7 [INFO] running `Command { std: "docker" "start" "-a" "5dfdff36579c405ed22f4a8bc930184e86787c82d8d72692ac4c07f0e0879df7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5dfdff36579c405ed22f4a8bc930184e86787c82d8d72692ac4c07f0e0879df7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5dfdff36579c405ed22f4a8bc930184e86787c82d8d72692ac4c07f0e0879df7", kill_on_drop: false }` [INFO] [stdout] 5dfdff36579c405ed22f4a8bc930184e86787c82d8d72692ac4c07f0e0879df7 [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] 12668100cc437bee84969e866cfa63cce822f88851b792c86f4cf6109b20ce95 [INFO] running `Command { std: "docker" "start" "-a" "12668100cc437bee84969e866cfa63cce822f88851b792c86f4cf6109b20ce95", kill_on_drop: false }` [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking ahash v0.8.12 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking keccak v0.1.6 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Compiling darling_core v0.13.4 [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 ark-serialize v0.4.2 [INFO] [stderr] Compiling darling_macro v0.13.4 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Compiling darling v0.13.4 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Compiling serde_with_macros v1.5.2 [INFO] [stderr] Checking dock_merlin v2.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.16.0 [INFO] [stderr] Checking ark-bls12-381 v0.4.0 [INFO] [stderr] Checking compressed_sigma v0.0.8 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused macro definition: `impl_simple_linear_form` [INFO] [stdout] --> src/utils.rs:130:14 [INFO] [stdout] | [INFO] [stdout] 130 | macro_rules! impl_simple_linear_form { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `impl_simple_homomorphism` [INFO] [stdout] --> src/utils.rs:195:14 [INFO] [stdout] | [INFO] [stdout] 195 | macro_rules! impl_simple_homomorphism { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/utils.rs:77:31 [INFO] [stdout] | [INFO] [stdout] 77 | G::Group::normalize_batch(&multiply_field_elems_with_same_group_elem( [INFO] [stdout] | _____-------------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 78 | | g.into_group(), [INFO] [stdout] 79 | | &i_powers, [INFO] [stdout] 80 | | )) [INFO] [stdout] | |_____^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 67 | pub fn multiples_with_n_powers_of_i( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphism.rs:66:18 [INFO] [stdout] | [INFO] [stdout] 66 | A: A.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 41 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphism.rs:130:22 [INFO] [stdout] | [INFO] [stdout] 130 | if (c_y + t).into_affine() != f.eval(&self.z_tilde).unwrap() { [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 88 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphisms.rs:128:18 [INFO] [stdout] | [INFO] [stdout] 128 | A: A.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 101 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphisms.rs:178:83 [INFO] [stdout] | [INFO] [stdout] 178 | if f_rho.eval(&self.z).unwrap() != (y_rho.mul_bigint(challenge_repr) + t).into_affine() { [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 154 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphisms.rs:212:20 [INFO] [stdout] | [INFO] [stdout] 212 | &y_rho.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 154 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_linear_form.rs:65:18 [INFO] [stdout] | [INFO] [stdout] 65 | A: A.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/amortized_linear_form.rs:60:48 [INFO] [stdout] | [INFO] [stdout] 60 | let A = G::Group::msm_unchecked(g, &r).add(&h.mul_bigint(rho.into_bigint())); [INFO] [stdout] | ------------------------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::Group` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 36 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:63:26 [INFO] [stdout] | [INFO] [stdout] 63 | A_hat: A_hat.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:135:58 [INFO] [stdout] | [INFO] [stdout] 135 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:153:42 [INFO] [stdout] | [INFO] [stdout] 153 | A: G::Group::normalize_batch(&As), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:154:42 [INFO] [stdout] | [INFO] [stdout] 154 | B: G::Group::normalize_batch(&Bs), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:230:58 [INFO] [stdout] | [INFO] [stdout] 230 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 163 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/utils.rs:77:31 [INFO] [stdout] | [INFO] [stdout] 77 | G::Group::normalize_batch(&multiply_field_elems_with_same_group_elem( [INFO] [stdout] | _____-------------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 78 | | g.into_group(), [INFO] [stdout] 79 | | &i_powers, [INFO] [stdout] 80 | | )) [INFO] [stdout] | |_____^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 67 | pub fn multiples_with_n_powers_of_i( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:70:26 [INFO] [stdout] | [INFO] [stdout] 70 | A_hat: A_hat.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/compressed_linear_form.rs:66:52 [INFO] [stdout] | [INFO] [stdout] 66 | let A_hat = G::Group::msm_unchecked(g, &r).add(&h.mul_bigint(rho.into_bigint())); [INFO] [stdout] | ------------------------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::Group` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:161:58 [INFO] [stdout] | [INFO] [stdout] 161 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:178:42 [INFO] [stdout] | [INFO] [stdout] 178 | A: G::Group::normalize_batch(&As), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:179:42 [INFO] [stdout] | [INFO] [stdout] 179 | B: G::Group::normalize_batch(&Bs), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:258:58 [INFO] [stdout] | [INFO] [stdout] 258 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 186 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphism.rs:66:18 [INFO] [stdout] | [INFO] [stdout] 66 | A: A.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 41 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphism.rs:130:22 [INFO] [stdout] | [INFO] [stdout] 130 | if (c_y + t).into_affine() != f.eval(&self.z_tilde).unwrap() { [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 88 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:68:15 [INFO] [stdout] | [INFO] [stdout] 68 | (gamma, P.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 60 | fn create_P( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:79:73 [INFO] [stdout] | [INFO] [stdout] 79 | Ok($G::Group::msm_unchecked(&self.0, &x[..self.size()]).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] ... [INFO] [stdout] 205 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:87:49 [INFO] [stdout] | [INFO] [stdout] 87 | Self($G::Group::normalize_batch(&f)) [INFO] [stdout] | -------------------------- ^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 205 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:79:73 [INFO] [stdout] | [INFO] [stdout] 79 | Ok($G::Group::msm_unchecked(&self.0, &x[..self.size()]).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] ... [INFO] [stdout] 354 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:87:49 [INFO] [stdout] | [INFO] [stdout] 87 | Self($G::Group::normalize_batch(&f)) [INFO] [stdout] | -------------------------- ^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 354 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphisms.rs:128:18 [INFO] [stdout] | [INFO] [stdout] 128 | A: A.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 101 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphisms.rs:178:83 [INFO] [stdout] | [INFO] [stdout] 178 | if f_rho.eval(&self.z).unwrap() != (y_rho.mul_bigint(challenge_repr) + t).into_affine() { [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 154 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_homomorphisms.rs:212:20 [INFO] [stdout] | [INFO] [stdout] 212 | &y_rho.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 154 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/amortized_linear_form.rs:65:18 [INFO] [stdout] | [INFO] [stdout] 65 | A: A.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/amortized_linear_form.rs:60:48 [INFO] [stdout] | [INFO] [stdout] 60 | let A = G::Group::msm_unchecked(g, &r).add(&h.mul_bigint(rho.into_bigint())); [INFO] [stdout] | ------------------------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::Group` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 36 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:63:26 [INFO] [stdout] | [INFO] [stdout] 63 | A_hat: A_hat.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:135:58 [INFO] [stdout] | [INFO] [stdout] 135 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:153:42 [INFO] [stdout] | [INFO] [stdout] 153 | A: G::Group::normalize_batch(&As), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:154:42 [INFO] [stdout] | [INFO] [stdout] 154 | B: G::Group::normalize_batch(&Bs), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 39 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_homomorphism.rs:230:58 [INFO] [stdout] | [INFO] [stdout] 230 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 163 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:70:26 [INFO] [stdout] | [INFO] [stdout] 70 | A_hat: A_hat.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/compressed_linear_form.rs:66:52 [INFO] [stdout] | [INFO] [stdout] 66 | let A_hat = G::Group::msm_unchecked(g, &r).add(&h.mul_bigint(rho.into_bigint())); [INFO] [stdout] | ------------------------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::Group` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:161:58 [INFO] [stdout] | [INFO] [stdout] 161 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:178:42 [INFO] [stdout] | [INFO] [stdout] 178 | A: G::Group::normalize_batch(&As), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:179:42 [INFO] [stdout] | [INFO] [stdout] 179 | B: G::Group::normalize_batch(&Bs), [INFO] [stdout] | ------------------------- ^^^ the trait `Neg` is not implemented for `G` [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 type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 43 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/compressed_linear_form.rs:258:58 [INFO] [stdout] | [INFO] [stdout] 258 | .map(|(l, r)| (l.mul_bigint(c_repr) + r).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 186 | G: AffineRepr + std::ops::Neg, [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:68:15 [INFO] [stdout] | [INFO] [stdout] 68 | (gamma, P.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 60 | fn create_P( [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `compressed_sigma` (lib) due to 22 previous errors; 2 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:79:73 [INFO] [stdout] | [INFO] [stdout] 79 | Ok($G::Group::msm_unchecked(&self.0, &x[..self.size()]).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] ... [INFO] [stdout] 205 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:87:49 [INFO] [stdout] | [INFO] [stdout] 87 | Self($G::Group::normalize_batch(&f)) [INFO] [stdout] | -------------------------- ^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 205 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:79:73 [INFO] [stdout] | [INFO] [stdout] 79 | Ok($G::Group::msm_unchecked(&self.0, &x[..self.size()]).into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] ... [INFO] [stdout] 354 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [INFO] [stdout] | +++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/partial_knowledge.rs:87:49 [INFO] [stdout] | [INFO] [stdout] 87 | Self($G::Group::normalize_batch(&f)) [INFO] [stdout] | -------------------------- ^^ the trait `Neg` is not implemented for `G` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] ... [INFO] [stdout] 354 | impl_homomorphism!(Hom, G); [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_homomorphism` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 73 | impl<$G: std::ops::Neg AffineRepr> Homomorphism<$G::ScalarField> for $name<$G> { [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 `compressed_sigma` (lib test) due to 22 previous errors [INFO] running `Command { std: "docker" "inspect" "12668100cc437bee84969e866cfa63cce822f88851b792c86f4cf6109b20ce95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "12668100cc437bee84969e866cfa63cce822f88851b792c86f4cf6109b20ce95", kill_on_drop: false }` [INFO] [stdout] 12668100cc437bee84969e866cfa63cce822f88851b792c86f4cf6109b20ce95