[INFO] fetching crate ark-bulletproofs 4.1.1... [INFO] checking ark-bulletproofs-4.1.1 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate ark-bulletproofs 4.1.1 into /workspace/builds/worker-2-tc2/source [INFO] removed /workspace/builds/worker-2-tc2/source/rust-toolchain [INFO] started tweaking crates.io crate ark-bulletproofs 4.1.1 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate ark-bulletproofs 4.1.1 [INFO] tweaked toml for crates.io crate ark-bulletproofs 4.1.1 written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate ark-bulletproofs 4.1.1 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 112 packages to latest compatible versions [INFO] [stderr] Adding ark-algebra-test-templates v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-curve25519 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-ec v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-ed25519 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-ff v0.4.2 (available: v0.5.0) [INFO] [stderr] Adding ark-secp256k1 v0.4.0 (available: v0.5.0) [INFO] [stderr] Adding ark-secq256k1 v0.4.0 (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 criterion v0.3.6 (available: v0.8.2) [INFO] [stderr] Adding digest v0.10.7 (available: v0.11.2) [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [INFO] [stderr] Adding rand v0.8.5 (available: v0.10.0) [INFO] [stderr] Adding rand_chacha v0.3.1 (available: v0.10.0) [INFO] [stderr] Adding rand_core v0.6.4 (available: v0.10.0) [INFO] [stderr] Adding sha3 v0.10.8 (available: v0.11.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-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 1b7d830130cc98a19b3fbeeac715381dd3c34775860858990cccdf5e36e6fba8 [INFO] running `Command { std: "docker" "start" "-a" "1b7d830130cc98a19b3fbeeac715381dd3c34775860858990cccdf5e36e6fba8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1b7d830130cc98a19b3fbeeac715381dd3c34775860858990cccdf5e36e6fba8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1b7d830130cc98a19b3fbeeac715381dd3c34775860858990cccdf5e36e6fba8", kill_on_drop: false }` [INFO] [stdout] 1b7d830130cc98a19b3fbeeac715381dd3c34775860858990cccdf5e36e6fba8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 64a3c1cdcf5d376d5ca9686dce33383a6aa8af94ebb863247833b3b48b7e0285 [INFO] running `Command { std: "docker" "start" "-a" "64a3c1cdcf5d376d5ca9686dce33383a6aa8af94ebb863247833b3b48b7e0285", kill_on_drop: false }` [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling libc v0.2.184 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling find-msvc-tools v0.1.9 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling cc v1.2.59 [INFO] [stderr] Compiling zmij v1.0.21 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking memchr v2.8.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Checking itoa v1.0.18 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Compiling clear_on_drop v0.2.5 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking keccak v0.1.6 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking regex-syntax v0.8.10 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking csv-core v0.1.13 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Checking half v1.8.3 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking regex-automata v0.4.14 [INFO] [stderr] Checking ryu v1.0.23 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking serde_cbor v0.11.2 [INFO] [stderr] Checking csv v1.4.0 [INFO] [stderr] Checking criterion-plot v0.4.5 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking regex v1.12.3 [INFO] [stderr] Checking criterion v0.3.6 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-curve25519 v0.4.0 [INFO] [stderr] Checking ark-secp256k1 v0.4.0 [INFO] [stderr] Checking ark-algebra-test-templates v0.4.2 [INFO] [stderr] Checking ark-ed25519 v0.4.0 [INFO] [stderr] Checking ark-secq256k1 v0.4.0 [INFO] [stderr] Checking ark-bulletproofs v4.1.1 (/opt/rustwide/workdir) [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/generators.rs:43:14 [INFO] [stdout] | [INFO] [stdout] 43 | .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/generators.rs:41:14 [INFO] [stdout] | [INFO] [stdout] 40 | self.B [INFO] [stdout] | ------ this expression has type `G` [INFO] [stdout] 41 | .mul_bigint(value.into_bigint()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] 42 | .add(self.B_blinding.mul_bigint(blinding.into_bigint())) [INFO] [stdout] | ------------------------------------------------------- `CurveGroup::Affine` remains `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 37 | impl PedersenGens { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 41 - .mul_bigint(value.into_bigint()) [INFO] [stdout] 42 - .add(self.B_blinding.mul_bigint(blinding.into_bigint())) [INFO] [stdout] 41 + .mul_bigint(value.into_bigint()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:126:23 [INFO] [stdout] | [INFO] [stdout] 126 | let L = L.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/inner_product_proof.rs:104:53 [INFO] [stdout] | [INFO] [stdout] 104 | let L = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:127:23 [INFO] [stdout] | [INFO] [stdout] 127 | let R = R.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/inner_product_proof.rs:124:53 [INFO] [stdout] | [INFO] [stdout] 124 | let R = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:148:18 [INFO] [stdout] | [INFO] [stdout] 148 | .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/inner_product_proof.rs:147:18 [INFO] [stdout] | [INFO] [stdout] 143 | G_L[i] = G::Group::msm( [INFO] [stdout] | __________________________- [INFO] [stdout] 144 | | &[G_L[i], G_R[i]], [INFO] [stdout] 145 | | &[u_inv * G_factors[i], u * G_factors[n + i]], [INFO] [stdout] 146 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 147 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:155:18 [INFO] [stdout] | [INFO] [stdout] 155 | .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/inner_product_proof.rs:154:18 [INFO] [stdout] | [INFO] [stdout] 150 | H_L[i] = G::Group::msm( [INFO] [stdout] | __________________________- [INFO] [stdout] 151 | | &[H_L[i], H_R[i]], [INFO] [stdout] 152 | | &[u * H_factors[i], u_inv * H_factors[n + i]], [INFO] [stdout] 153 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 154 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:204:23 [INFO] [stdout] | [INFO] [stdout] 204 | let L = L.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/inner_product_proof.rs:187:53 [INFO] [stdout] | [INFO] [stdout] 187 | let L = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:205:23 [INFO] [stdout] | [INFO] [stdout] 205 | let R = R.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/inner_product_proof.rs:202:53 [INFO] [stdout] | [INFO] [stdout] 202 | let R = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:221:22 [INFO] [stdout] | [INFO] [stdout] 221 | .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/inner_product_proof.rs:220:22 [INFO] [stdout] | [INFO] [stdout] 219 | G_L[i] = G::Group::msm(&[G_L[i], G_R[i]], &[u_inv, u]) [INFO] [stdout] | --------------------------------------------- this expression has type `Result<::Group, usize>` [INFO] [stdout] 220 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:224:22 [INFO] [stdout] | [INFO] [stdout] 224 | .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/inner_product_proof.rs:223:22 [INFO] [stdout] | [INFO] [stdout] 222 | H_L[i] = G::Group::msm(&[H_L[i], H_R[i]], &[u, u_inv]) [INFO] [stdout] | --------------------------------------------- this expression has type `Result<::Group, usize>` [INFO] [stdout] 223 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:375:65 [INFO] [stdout] | [INFO] [stdout] 375 | let expect_P = G::Group::msm(&bases, &scalars).unwrap().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/inner_product_proof.rs:375:56 [INFO] [stdout] | [INFO] [stdout] 375 | let expect_P = G::Group::msm(&bases, &scalars).unwrap().into_affine(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/generators.rs:43:14 [INFO] [stdout] | [INFO] [stdout] 43 | .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/generators.rs:41:14 [INFO] [stdout] | [INFO] [stdout] 40 | self.B [INFO] [stdout] | ------ this expression has type `G` [INFO] [stdout] 41 | .mul_bigint(value.into_bigint()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] 42 | .add(self.B_blinding.mul_bigint(blinding.into_bigint())) [INFO] [stdout] | ------------------------------------------------------- `CurveGroup::Affine` remains `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 37 | impl PedersenGens { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 41 - .mul_bigint(value.into_bigint()) [INFO] [stdout] 42 - .add(self.B_blinding.mul_bigint(blinding.into_bigint())) [INFO] [stdout] 41 + .mul_bigint(value.into_bigint()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:126:23 [INFO] [stdout] | [INFO] [stdout] 126 | let L = L.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/inner_product_proof.rs:104:53 [INFO] [stdout] | [INFO] [stdout] 104 | let L = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:127:23 [INFO] [stdout] | [INFO] [stdout] 127 | let R = R.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/inner_product_proof.rs:124:53 [INFO] [stdout] | [INFO] [stdout] 124 | let R = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:529:10 [INFO] [stdout] | [INFO] [stdout] 529 | .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/r1cs/prover.rs:528:10 [INFO] [stdout] | [INFO] [stdout] 516 | let A_I1 = G::Group::msm( [INFO] [stdout] | ____________________- [INFO] [stdout] 517 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 518 | | .chain(gens.G(n1)) [INFO] [stdout] 519 | | .chain(gens.H(n1)) [INFO] [stdout] ... | [INFO] [stdout] 526 | | .collect::>(), [INFO] [stdout] 527 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 528 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:148:18 [INFO] [stdout] | [INFO] [stdout] 148 | .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/inner_product_proof.rs:147:18 [INFO] [stdout] | [INFO] [stdout] 143 | G_L[i] = G::Group::msm( [INFO] [stdout] | __________________________- [INFO] [stdout] 144 | | &[G_L[i], G_R[i]], [INFO] [stdout] 145 | | &[u_inv * G_factors[i], u * G_factors[n + i]], [INFO] [stdout] 146 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 147 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:155:18 [INFO] [stdout] | [INFO] [stdout] 155 | .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/inner_product_proof.rs:154:18 [INFO] [stdout] | [INFO] [stdout] 150 | H_L[i] = G::Group::msm( [INFO] [stdout] | __________________________- [INFO] [stdout] 151 | | &[H_L[i], H_R[i]], [INFO] [stdout] 152 | | &[u * H_factors[i], u_inv * H_factors[n + i]], [INFO] [stdout] 153 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 154 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:204:23 [INFO] [stdout] | [INFO] [stdout] 204 | let L = L.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/inner_product_proof.rs:187:53 [INFO] [stdout] | [INFO] [stdout] 187 | let L = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:205:23 [INFO] [stdout] | [INFO] [stdout] 205 | let R = R.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/inner_product_proof.rs:202:53 [INFO] [stdout] | [INFO] [stdout] 202 | let R = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:543:10 [INFO] [stdout] | [INFO] [stdout] 543 | .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/r1cs/prover.rs:542:10 [INFO] [stdout] | [INFO] [stdout] 532 | let A_O1 = G::Group::msm( [INFO] [stdout] | ____________________- [INFO] [stdout] 533 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 534 | | .chain(gens.G(n1)) [INFO] [stdout] 535 | | .map(|f| f.clone()) [INFO] [stdout] ... | [INFO] [stdout] 540 | | .collect::>(), [INFO] [stdout] 541 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 542 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:221:22 [INFO] [stdout] | [INFO] [stdout] 221 | .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/inner_product_proof.rs:220:22 [INFO] [stdout] | [INFO] [stdout] 219 | G_L[i] = G::Group::msm(&[G_L[i], G_R[i]], &[u_inv, u]) [INFO] [stdout] | --------------------------------------------- this expression has type `Result<::Group, usize>` [INFO] [stdout] 220 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:224:22 [INFO] [stdout] | [INFO] [stdout] 224 | .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/inner_product_proof.rs:223:22 [INFO] [stdout] | [INFO] [stdout] 222 | H_L[i] = G::Group::msm(&[H_L[i], H_R[i]], &[u, u_inv]) [INFO] [stdout] | --------------------------------------------- this expression has type `Result<::Group, usize>` [INFO] [stdout] 223 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:559:10 [INFO] [stdout] | [INFO] [stdout] 559 | .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/r1cs/prover.rs:558:10 [INFO] [stdout] | [INFO] [stdout] 546 | let S1 = G::Group::msm( [INFO] [stdout] | __________________- [INFO] [stdout] 547 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 548 | | .chain(gens.G(n1)) [INFO] [stdout] 549 | | .chain(gens.H(n1)) [INFO] [stdout] ... | [INFO] [stdout] 556 | | .collect::>(), [INFO] [stdout] 557 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 558 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:620:18 [INFO] [stdout] | [INFO] [stdout] 620 | .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/r1cs/prover.rs:619:18 [INFO] [stdout] | [INFO] [stdout] 607 | / G::Group::msm( [INFO] [stdout] 608 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 609 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 610 | | .chain(gens.H(n).skip(n1)) [INFO] [stdout] ... | [INFO] [stdout] 617 | | .collect::>(), [INFO] [stdout] 618 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 619 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:633:18 [INFO] [stdout] | [INFO] [stdout] 633 | .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/r1cs/prover.rs:632:18 [INFO] [stdout] | [INFO] [stdout] 622 | / G::Group::msm( [INFO] [stdout] 623 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 624 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 625 | | .map(|f| f.clone()) [INFO] [stdout] ... | [INFO] [stdout] 630 | | .collect::>(), [INFO] [stdout] 631 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 632 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:375:65 [INFO] [stdout] | [INFO] [stdout] 375 | let expect_P = G::Group::msm(&bases, &scalars).unwrap().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/inner_product_proof.rs:375:56 [INFO] [stdout] | [INFO] [stdout] 375 | let expect_P = G::Group::msm(&bases, &scalars).unwrap().into_affine(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:648:18 [INFO] [stdout] | [INFO] [stdout] 648 | .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/r1cs/prover.rs:647:18 [INFO] [stdout] | [INFO] [stdout] 635 | / G::Group::msm( [INFO] [stdout] 636 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 637 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 638 | | .chain(gens.H(n).skip(n1)) [INFO] [stdout] ... | [INFO] [stdout] 645 | | .collect::>(), [INFO] [stdout] 646 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 647 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:793:16 [INFO] [stdout] | [INFO] [stdout] 793 | &Q.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/r1cs/prover.rs:779:32 [INFO] [stdout] | [INFO] [stdout] 779 | let Q = self.pc_gens.B.mul_bigint(w.into_bigint()); [INFO] [stdout] | -------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:529:10 [INFO] [stdout] | [INFO] [stdout] 529 | .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/r1cs/prover.rs:528:10 [INFO] [stdout] | [INFO] [stdout] 516 | let A_I1 = G::Group::msm( [INFO] [stdout] | ____________________- [INFO] [stdout] 517 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 518 | | .chain(gens.G(n1)) [INFO] [stdout] 519 | | .chain(gens.H(n1)) [INFO] [stdout] ... | [INFO] [stdout] 526 | | .collect::>(), [INFO] [stdout] 527 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 528 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:543:10 [INFO] [stdout] | [INFO] [stdout] 543 | .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/r1cs/prover.rs:542:10 [INFO] [stdout] | [INFO] [stdout] 532 | let A_O1 = G::Group::msm( [INFO] [stdout] | ____________________- [INFO] [stdout] 533 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 534 | | .chain(gens.G(n1)) [INFO] [stdout] 535 | | .map(|f| f.clone()) [INFO] [stdout] ... | [INFO] [stdout] 540 | | .collect::>(), [INFO] [stdout] 541 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 542 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:559:10 [INFO] [stdout] | [INFO] [stdout] 559 | .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/r1cs/prover.rs:558:10 [INFO] [stdout] | [INFO] [stdout] 546 | let S1 = G::Group::msm( [INFO] [stdout] | __________________- [INFO] [stdout] 547 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 548 | | .chain(gens.G(n1)) [INFO] [stdout] 549 | | .chain(gens.H(n1)) [INFO] [stdout] ... | [INFO] [stdout] 556 | | .collect::>(), [INFO] [stdout] 557 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 558 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:620:18 [INFO] [stdout] | [INFO] [stdout] 620 | .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/r1cs/prover.rs:619:18 [INFO] [stdout] | [INFO] [stdout] 607 | / G::Group::msm( [INFO] [stdout] 608 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 609 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 610 | | .chain(gens.H(n).skip(n1)) [INFO] [stdout] ... | [INFO] [stdout] 617 | | .collect::>(), [INFO] [stdout] 618 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 619 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:633:18 [INFO] [stdout] | [INFO] [stdout] 633 | .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/r1cs/prover.rs:632:18 [INFO] [stdout] | [INFO] [stdout] 622 | / G::Group::msm( [INFO] [stdout] 623 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 624 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 625 | | .map(|f| f.clone()) [INFO] [stdout] ... | [INFO] [stdout] 630 | | .collect::>(), [INFO] [stdout] 631 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 632 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:648:18 [INFO] [stdout] | [INFO] [stdout] 648 | .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/r1cs/prover.rs:647:18 [INFO] [stdout] | [INFO] [stdout] 635 | / G::Group::msm( [INFO] [stdout] 636 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 637 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 638 | | .chain(gens.H(n).skip(n1)) [INFO] [stdout] ... | [INFO] [stdout] 645 | | .collect::>(), [INFO] [stdout] 646 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 647 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:793:16 [INFO] [stdout] | [INFO] [stdout] 793 | &Q.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/r1cs/prover.rs:779:32 [INFO] [stdout] | [INFO] [stdout] 779 | let Q = self.pc_gens.B.mul_bigint(w.into_bigint()); [INFO] [stdout] | -------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/generators.rs:43:14 [INFO] [stdout] | [INFO] [stdout] 43 | .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/generators.rs:41:14 [INFO] [stdout] | [INFO] [stdout] 40 | self.B [INFO] [stdout] | ------ this expression has type `G` [INFO] [stdout] 41 | .mul_bigint(value.into_bigint()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] 42 | .add(self.B_blinding.mul_bigint(blinding.into_bigint())) [INFO] [stdout] | ------------------------------------------------------- `CurveGroup::Affine` remains `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 37 | impl PedersenGens { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] help: consider removing this method call, as the receiver has type `::Group` and `::Group: Neg` trivially holds [INFO] [stdout] | [INFO] [stdout] 41 - .mul_bigint(value.into_bigint()) [INFO] [stdout] 42 - .add(self.B_blinding.mul_bigint(blinding.into_bigint())) [INFO] [stdout] 41 + .mul_bigint(value.into_bigint()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:126:23 [INFO] [stdout] | [INFO] [stdout] 126 | let L = L.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/inner_product_proof.rs:104:53 [INFO] [stdout] | [INFO] [stdout] 104 | let L = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:127:23 [INFO] [stdout] | [INFO] [stdout] 127 | let R = R.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/inner_product_proof.rs:124:53 [INFO] [stdout] | [INFO] [stdout] 124 | let R = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:148:18 [INFO] [stdout] | [INFO] [stdout] 148 | .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/inner_product_proof.rs:147:18 [INFO] [stdout] | [INFO] [stdout] 143 | G_L[i] = G::Group::msm( [INFO] [stdout] | __________________________- [INFO] [stdout] 144 | | &[G_L[i], G_R[i]], [INFO] [stdout] 145 | | &[u_inv * G_factors[i], u * G_factors[n + i]], [INFO] [stdout] 146 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 147 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:155:18 [INFO] [stdout] | [INFO] [stdout] 155 | .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/inner_product_proof.rs:154:18 [INFO] [stdout] | [INFO] [stdout] 150 | H_L[i] = G::Group::msm( [INFO] [stdout] | __________________________- [INFO] [stdout] 151 | | &[H_L[i], H_R[i]], [INFO] [stdout] 152 | | &[u * H_factors[i], u_inv * H_factors[n + i]], [INFO] [stdout] 153 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 154 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:204:23 [INFO] [stdout] | [INFO] [stdout] 204 | let L = L.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/inner_product_proof.rs:187:53 [INFO] [stdout] | [INFO] [stdout] 187 | let L = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:205:23 [INFO] [stdout] | [INFO] [stdout] 205 | let R = R.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/inner_product_proof.rs:202:53 [INFO] [stdout] | [INFO] [stdout] 202 | let R = G::Group::msm(&bases, &scalars).unwrap(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:221:22 [INFO] [stdout] | [INFO] [stdout] 221 | .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/inner_product_proof.rs:220:22 [INFO] [stdout] | [INFO] [stdout] 219 | G_L[i] = G::Group::msm(&[G_L[i], G_R[i]], &[u_inv, u]) [INFO] [stdout] | --------------------------------------------- this expression has type `Result<::Group, usize>` [INFO] [stdout] 220 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:224:22 [INFO] [stdout] | [INFO] [stdout] 224 | .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/inner_product_proof.rs:223:22 [INFO] [stdout] | [INFO] [stdout] 222 | H_L[i] = G::Group::msm(&[H_L[i], H_R[i]], &[u, u_inv]) [INFO] [stdout] | --------------------------------------------- this expression has type `Result<::Group, usize>` [INFO] [stdout] 223 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/inner_product_proof.rs:375:65 [INFO] [stdout] | [INFO] [stdout] 375 | let expect_P = G::Group::msm(&bases, &scalars).unwrap().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/inner_product_proof.rs:375:56 [INFO] [stdout] | [INFO] [stdout] 375 | let expect_P = G::Group::msm(&bases, &scalars).unwrap().into_affine(); [INFO] [stdout] | ------------------------------- ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result<::Group, usize>` [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] 25 | impl InnerProductProof { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:529:10 [INFO] [stdout] | [INFO] [stdout] 529 | .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/r1cs/prover.rs:528:10 [INFO] [stdout] | [INFO] [stdout] 516 | let A_I1 = G::Group::msm( [INFO] [stdout] | ____________________- [INFO] [stdout] 517 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 518 | | .chain(gens.G(n1)) [INFO] [stdout] 519 | | .chain(gens.H(n1)) [INFO] [stdout] ... | [INFO] [stdout] 526 | | .collect::>(), [INFO] [stdout] 527 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 528 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:543:10 [INFO] [stdout] | [INFO] [stdout] 543 | .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/r1cs/prover.rs:542:10 [INFO] [stdout] | [INFO] [stdout] 532 | let A_O1 = G::Group::msm( [INFO] [stdout] | ____________________- [INFO] [stdout] 533 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 534 | | .chain(gens.G(n1)) [INFO] [stdout] 535 | | .map(|f| f.clone()) [INFO] [stdout] ... | [INFO] [stdout] 540 | | .collect::>(), [INFO] [stdout] 541 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 542 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:559:10 [INFO] [stdout] | [INFO] [stdout] 559 | .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/r1cs/prover.rs:558:10 [INFO] [stdout] | [INFO] [stdout] 546 | let S1 = G::Group::msm( [INFO] [stdout] | __________________- [INFO] [stdout] 547 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 548 | | .chain(gens.G(n1)) [INFO] [stdout] 549 | | .chain(gens.H(n1)) [INFO] [stdout] ... | [INFO] [stdout] 556 | | .collect::>(), [INFO] [stdout] 557 | | ) [INFO] [stdout] | |_________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 558 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:620:18 [INFO] [stdout] | [INFO] [stdout] 620 | .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/r1cs/prover.rs:619:18 [INFO] [stdout] | [INFO] [stdout] 607 | / G::Group::msm( [INFO] [stdout] 608 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 609 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 610 | | .chain(gens.H(n).skip(n1)) [INFO] [stdout] ... | [INFO] [stdout] 617 | | .collect::>(), [INFO] [stdout] 618 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 619 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:633:18 [INFO] [stdout] | [INFO] [stdout] 633 | .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/r1cs/prover.rs:632:18 [INFO] [stdout] | [INFO] [stdout] 622 | / G::Group::msm( [INFO] [stdout] 623 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 624 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 625 | | .map(|f| f.clone()) [INFO] [stdout] ... | [INFO] [stdout] 630 | | .collect::>(), [INFO] [stdout] 631 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 632 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:648:18 [INFO] [stdout] | [INFO] [stdout] 648 | .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/r1cs/prover.rs:647:18 [INFO] [stdout] | [INFO] [stdout] 635 | / G::Group::msm( [INFO] [stdout] 636 | | &iter::once(&self.pc_gens.B_blinding) [INFO] [stdout] 637 | | .chain(gens.G(n).skip(n1)) [INFO] [stdout] 638 | | .chain(gens.H(n).skip(n1)) [INFO] [stdout] ... | [INFO] [stdout] 645 | | .collect::>(), [INFO] [stdout] 646 | | ) [INFO] [stdout] | |_________________- this expression has type `Result<::Group, usize>` [INFO] [stdout] 647 | .unwrap() [INFO] [stdout] | ^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `G: Neg` is not satisfied [INFO] [stdout] --> src/r1cs/prover.rs:793:16 [INFO] [stdout] | [INFO] [stdout] 793 | &Q.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/r1cs/prover.rs:779:32 [INFO] [stdout] | [INFO] [stdout] 779 | let Q = self.pc_gens.B.mul_bigint(w.into_bigint()); [INFO] [stdout] | -------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `CurveGroup::Affine` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `G` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:157:8 [INFO] [stdout] | [INFO] [stdout] 157 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting type parameter `G` with trait `Neg` [INFO] [stdout] | [INFO] [stdout] 270 | impl<'g, G: AffineRepr + std::ops::Neg, T: BorrowMut> Prover<'g, G, T> { [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 `ark-bulletproofs` (lib) due to 17 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 `ark-bulletproofs` (lib) due to 17 previous errors [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `ark-bulletproofs` (lib test) due to 17 previous errors [INFO] running `Command { std: "docker" "inspect" "64a3c1cdcf5d376d5ca9686dce33383a6aa8af94ebb863247833b3b48b7e0285", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "64a3c1cdcf5d376d5ca9686dce33383a6aa8af94ebb863247833b3b48b7e0285", kill_on_drop: false }` [INFO] [stdout] 64a3c1cdcf5d376d5ca9686dce33383a6aa8af94ebb863247833b3b48b7e0285