[INFO] fetching crate w3f-bls 0.2.0... [INFO] checking w3f-bls-0.2.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf-spurious [INFO] extracting crate w3f-bls 0.2.0 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate w3f-bls 0.2.0 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate w3f-bls 0.2.0 [INFO] tweaked toml for crates.io crate w3f-bls 0.2.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate w3f-bls 0.2.0 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate w3f-bls 0.2.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3f88b5c2cc244296f9a52bf81f276590ec928aa246e1597bfe7ad2467b961e4c [INFO] running `Command { std: "docker" "start" "-a" "3f88b5c2cc244296f9a52bf81f276590ec928aa246e1597bfe7ad2467b961e4c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3f88b5c2cc244296f9a52bf81f276590ec928aa246e1597bfe7ad2467b961e4c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3f88b5c2cc244296f9a52bf81f276590ec928aa246e1597bfe7ad2467b961e4c", kill_on_drop: false }` [INFO] [stdout] 3f88b5c2cc244296f9a52bf81f276590ec928aa246e1597bfe7ad2467b961e4c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zstrict-projection-item-bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e5875718a2642886a81187f596cf4c4661ffba0640541cc8ce2fdee36599a07e [INFO] running `Command { std: "docker" "start" "-a" "e5875718a2642886a81187f596cf4c4661ffba0640541cc8ce2fdee36599a07e", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling libc v0.2.184 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking keccak v0.1.6 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking arrayref v0.3.9 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling hex-literal v0.3.4 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking getrandom v0.2.17 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.2 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Compiling enum-ordinalize v4.3.2 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-ec v0.5.0 [INFO] [stderr] Checking ark-bls12-377 v0.5.0 [INFO] [stderr] Checking ark-bls12-381 v0.5.0 [INFO] [stderr] Checking w3f-bls v0.2.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:22:48 [INFO] [stdout] | [INFO] [stdout] 22 | pub trait ChaumPedersenSigner [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | S: CurveGroup + DualScalarMultiplication + SerializableToBytes, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:22:48 [INFO] [stdout] | [INFO] [stdout] 22 | pub trait ChaumPedersenSigner [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | S: CurveGroup + DualScalarMultiplication + SerializableToBytes, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:255:23 [INFO] [stdout] | [INFO] [stdout] 255 | impl [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:255:23 [INFO] [stdout] | [INFO] [stdout] 255 | impl [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 31 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 31 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 31 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 31 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:30:18 [INFO] [stdout] | [INFO] [stdout] 30 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 43 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 43 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 65 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 65 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 65 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 65 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 78 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 78 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 78 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 78 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 95 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 95 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 95 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 95 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:116:18 [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 119 | H: FixedOutputReset + Default + Clone, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:116:18 [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 119 | H: FixedOutputReset + Default + Clone, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:116:18 [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:116:18 [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:116:18 [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:116:18 [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 116 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:125:18 [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 127 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:125:18 [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 127 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:125:18 [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:125:18 [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:125:18 [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:125:18 [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 125 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 154 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 154 | C: BLSGLVConfig, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 154 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as PrimeGroup>::ScalarField == ::Scalar` [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::Scalar`, found `ark_ec::CurveConfig::ScalarField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Scalar` [INFO] [stdout] found associated type `::ScalarField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:153:18 [INFO] [stdout] | [INFO] [stdout] 153 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 154 | C: BLSGLVConfig, ::Scalar: Borrow<::ScalarField> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-16129492764536939346.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 167 | Projective: PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-3705073356934650368.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 167 | Projective: PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:175:18 [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 177 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:175:18 [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 177 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:175:18 [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:175:18 [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:175:18 [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:175:18 [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 175 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 194 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 194 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:192:18 [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 192 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-10182517929428787083.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 205 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/dual_scalar_mul.rs:19:24 [INFO] [stdout] | [INFO] [stdout] 19 | pub trait NonGLVCurve: CurveGroup {} [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/dual_scalar_mul.rs:33:37 [INFO] [stdout] | [INFO] [stdout] 33 | pub trait DualScalarMultiplication: CurveGroup { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-17397266601011899163.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 205 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:203:18 [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 203 | E: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<

::Affine as Neg>::Output ==

::Affine` [INFO] [stdout] --> src/dual_scalar_mul.rs:155:38 [INFO] [stdout] | [INFO] [stdout] 155 | pub struct StrausPrecomputedTable { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `

::Affine` [INFO] [stdout] found associated type `<

::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:234:35 [INFO] [stdout] | [INFO] [stdout] 234 | EB: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-16716749460060718432.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 244 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:234:35 [INFO] [stdout] | [INFO] [stdout] 234 | EB: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:234:35 [INFO] [stdout] | [INFO] [stdout] 234 | EB: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 234 | EB: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:266:35 [INFO] [stdout] | [INFO] [stdout] 266 | EB: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-16716749460060718432.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 274 | Projective: SerializableToBytes + PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::BaseField == ::SignatureGroupBaseField` [INFO] [stdout] --> src/double_nugget_glv.rs:266:35 [INFO] [stdout] | [INFO] [stdout] 266 | EB: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupBaseField`, found `ark_ec::CurveConfig::BaseField` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupBaseField` [INFO] [stdout] found associated type `::BaseField` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as CurveGroup>::Affine == ::SignatureGroupAffine` [INFO] [stdout] --> src/double_nugget_glv.rs:266:35 [INFO] [stdout] | [INFO] [stdout] 266 | EB: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found `Affine` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found struct `ark_ec::short_weierstrass::Affine` [INFO] [stdout] help: consider constraining the associated type `::SignatureGroupAffine` to `ark_ec::short_weierstrass::Affine` [INFO] [stdout] | [INFO] [stdout] 266 | EB: EngineBLS, SignatureGroupAffine = ark_ec::short_weierstrass::Affine>, [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/dual_scalar_mul.rs:19:24 [INFO] [stdout] | [INFO] [stdout] 19 | pub trait NonGLVCurve: CurveGroup {} [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/dual_scalar_mul.rs:33:37 [INFO] [stdout] | [INFO] [stdout] 33 | pub trait DualScalarMultiplication: CurveGroup { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<

::Affine as Neg>::Output ==

::Affine` [INFO] [stdout] --> src/dual_scalar_mul.rs:155:38 [INFO] [stdout] | [INFO] [stdout] 155 | pub struct StrausPrecomputedTable { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `

::Affine` [INFO] [stdout] found associated type `<

::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:42:38 [INFO] [stdout] | [INFO] [stdout] 42 | pub struct PublicKeyInSisterGroup(pub S); [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:42:38 [INFO] [stdout] | [INFO] [stdout] 42 | pub struct PublicKeyInSisterGroup(pub S); [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | S: CurveGroup + PrimeGroup + SerializableToBytes, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:60:38 [INFO] [stdout] | [INFO] [stdout] 60 | pub trait NuggetBLS [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | S: CurveGroup + PrimeGroup + SerializableToBytes, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:72:23 [INFO] [stdout] | [INFO] [stdout] 72 | impl NuggetBLS for SecretKeyVT [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:60:38 [INFO] [stdout] | [INFO] [stdout] 60 | pub trait NuggetBLS [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:92:23 [INFO] [stdout] | [INFO] [stdout] 92 | impl NuggetBLS for KeypairVT [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:110:23 [INFO] [stdout] | [INFO] [stdout] 110 | impl NuggetBLS for Keypair [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:157:49 [INFO] [stdout] | [INFO] [stdout] 157 | pub struct NuggetSignedMessage> [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:72:23 [INFO] [stdout] | [INFO] [stdout] 72 | impl NuggetBLS for SecretKeyVT [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:92:23 [INFO] [stdout] | [INFO] [stdout] 92 | impl NuggetBLS for KeypairVT [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:110:23 [INFO] [stdout] | [INFO] [stdout] 110 | impl NuggetBLS for Keypair [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:157:49 [INFO] [stdout] | [INFO] [stdout] 157 | pub struct NuggetSignedMessage> [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:168:23 [INFO] [stdout] | [INFO] [stdout] 168 | impl> NuggetSignedMessage [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:183:23 [INFO] [stdout] | [INFO] [stdout] 183 | impl> PartialEq [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 209 | S: CurveGroup + DualScalarMultiplication, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 49 | ) -> Result<(), SerializationError> where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 56 | fn serialized_size(&self, compress: Compress) -> usize where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 67 | fn check(&self) -> Result<(), SerializationError> where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 84 | ) -> Result where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 102 | ) -> Self where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:168:23 [INFO] [stdout] | [INFO] [stdout] 168 | impl> NuggetSignedMessage [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:183:23 [INFO] [stdout] | [INFO] [stdout] 183 | impl> PartialEq [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:209:12 [INFO] [stdout] | [INFO] [stdout] 209 | S: CurveGroup + DualScalarMultiplication, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 49 | ) -> Result<(), SerializationError> where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:42:18 [INFO] [stdout] | [INFO] [stdout] 42 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 56 | fn serialized_size(&self, compress: Compress) -> usize where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 67 | fn check(&self) -> Result<(), SerializationError> where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:77:18 [INFO] [stdout] | [INFO] [stdout] 77 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 84 | ) -> Result where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Scalar: Borrow<::ScalarField>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:94:18 [INFO] [stdout] | [INFO] [stdout] 94 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Borrow<::ScalarField>` is not implemented for `::Scalar` [INFO] [stdout] | [INFO] [stdout] = note: required for `ark_ec::short_weierstrass::Projective` to implement `MulAssign<::Scalar>` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 102 | ) -> Self where ::Scalar: Borrow<::ScalarField> { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/engine.rs:281:5 [INFO] [stdout] | [INFO] [stdout] 281 | type PublicKeyGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/engine.rs:293:5 [INFO] [stdout] | [INFO] [stdout] 293 | type SignatureGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/engine.rs:371:5 [INFO] [stdout] | [INFO] [stdout] 371 | type SignatureGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/engine.rs:378:5 [INFO] [stdout] | [INFO] [stdout] 378 | type PublicKeyGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/engine.rs:281:5 [INFO] [stdout] | [INFO] [stdout] 281 | type PublicKeyGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/engine.rs:293:5 [INFO] [stdout] | [INFO] [stdout] 293 | type SignatureGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | S: CurveGroup + DualScalarMultiplication, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/engine.rs:371:5 [INFO] [stdout] | [INFO] [stdout] 371 | type SignatureGroupBaseField = <::G1 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/engine.rs:378:5 [INFO] [stdout] | [INFO] [stdout] 378 | type PublicKeyGroupBaseField = <::G2 as CurveGroup>::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:137:12 [INFO] [stdout] | [INFO] [stdout] 137 | S: CurveGroup + DualScalarMultiplication, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-16129492764536939346.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 170 | fn into_nugget_double_public_key(&self) -> NuggetDoublePublicKeyGLV where ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine>; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 167 | Projective: PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/engine.rs:84:26 [INFO] [stdout] | [INFO] [stdout] 84 | type PublicKeyGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 85 | | Affine = Self::PublicKeyGroupAffine, [INFO] [stdout] 86 | | ScalarField = Self::Scalar, [INFO] [stdout] 87 | | BaseField = Self::PublicKeyGroupBaseField, [INFO] [stdout] 88 | | > + From [INFO] [stdout] | |_________^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-14573267303264590056.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:114:26 [INFO] [stdout] | [INFO] [stdout] 114 | type SignatureGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 115 | | Affine = Self::SignatureGroupAffine, [INFO] [stdout] 116 | | ScalarField = Self::Scalar, [INFO] [stdout] 117 | | BaseField = Self::SignatureGroupBaseField, [INFO] [stdout] 118 | | > + Into [INFO] [stdout] | |_________^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-9583645918380345666.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/engine.rs:173:13 [INFO] [stdout] | [INFO] [stdout] 173 | G1: Into<::Affine>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-14573267303264590056.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:174:13 [INFO] [stdout] | [INFO] [stdout] 174 | G2: Into<::Affine>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-9583645918380345666.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `Projective: From<::SignatureGroupAffine>` is not satisfied [INFO] [stdout] --> src/double_nugget_glv.rs:165:18 [INFO] [stdout] | [INFO] [stdout] 165 | E: EngineBLS>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `From<::SignatureGroupAffine>` is not implemented for `ark_ec::short_weierstrass::Projective` [INFO] [stdout] | [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-3705073356934650368.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 170 | fn into_nugget_double_public_key(&self) -> NuggetDoublePublicKeyGLV where ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine>; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] help: consider extending the `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 167 | Projective: PrimeGroup, ark_ec::short_weierstrass::Projective: From<::SignatureGroupAffine> [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | / (vec![ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] 208 | | .as_slice(), [INFO] [stdout] | |_______________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/engine.rs:84:26 [INFO] [stdout] | [INFO] [stdout] 84 | type PublicKeyGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 85 | | Affine = Self::PublicKeyGroupAffine, [INFO] [stdout] 86 | | ScalarField = Self::Scalar, [INFO] [stdout] 87 | | BaseField = Self::PublicKeyGroupBaseField, [INFO] [stdout] 88 | | > + From [INFO] [stdout] | |_________^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-4919505301809275784.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:205:48 [INFO] [stdout] | [INFO] [stdout] 205 | ::generator().into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:206:58 [INFO] [stdout] | [INFO] [stdout] 206 | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:114:26 [INFO] [stdout] | [INFO] [stdout] 114 | type SignatureGroup: CurveGroup< [INFO] [stdout] | __________________________^ [INFO] [stdout] 115 | | Affine = Self::SignatureGroupAffine, [INFO] [stdout] 116 | | ScalarField = Self::Scalar, [INFO] [stdout] 117 | | BaseField = Self::SignatureGroupBaseField, [INFO] [stdout] 118 | | > + Into [INFO] [stdout] | |_________^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-3332500904585143147.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/engine.rs:173:13 [INFO] [stdout] | [INFO] [stdout] 173 | G1: Into<::Affine>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-4919505301809275784.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:174:13 [INFO] [stdout] | [INFO] [stdout] 174 | G2: Into<::Affine>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-3332500904585143147.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:219:35 [INFO] [stdout] | [INFO] [stdout] 219 | signature_proof.0.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-6078464983770521551.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:220:53 [INFO] [stdout] | [INFO] [stdout] 220 | message_as_point_on_signature_curve.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/chaum_pedersen_signature.rs:201:59 [INFO] [stdout] | [INFO] [stdout] 201 | let message_as_point_on_signature_curve = message.hash_to_signature_curve::(); [INFO] [stdout] | ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Neg::Output` is `::SignatureGroup` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Message` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-6078464983770521551.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:13 [INFO] [stdout] | [INFO] [stdout] 204 | / (vec![ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] 208 | | .as_slice(), [INFO] [stdout] | |_______________________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:205:48 [INFO] [stdout] | [INFO] [stdout] 205 | ::generator().into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:206:58 [INFO] [stdout] | [INFO] [stdout] 206 | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | (vec![ [INFO] [stdout] | ______________^ [INFO] [stdout] 205 | | ::generator().into_affine(), [INFO] [stdout] 206 | | self.into_public_key_in_sister_group().0.into_affine(), [INFO] [stdout] 207 | | ]) [INFO] [stdout] | |_____________^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:219:35 [INFO] [stdout] | [INFO] [stdout] 219 | signature_proof.0.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-14212233664586308589.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/chaum_pedersen_signature.rs:220:53 [INFO] [stdout] | [INFO] [stdout] 220 | message_as_point_on_signature_curve.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/chaum_pedersen_signature.rs:201:59 [INFO] [stdout] | [INFO] [stdout] 201 | let message_as_point_on_signature_curve = message.hash_to_signature_curve::(); [INFO] [stdout] | ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Neg::Output` is `::SignatureGroup` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Message` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-14212233664586308589.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:210:10 [INFO] [stdout] | [INFO] [stdout] 210 | ::Affine::generator().into() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-9583645918380345666.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:234:34 [INFO] [stdout] | [INFO] [stdout] 234 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-9583645918380345666.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/engine.rs:243:34 [INFO] [stdout] | [INFO] [stdout] 243 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-14573267303264590056.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/engine.rs:322:35 [INFO] [stdout] | [INFO] [stdout] 322 | let g1_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/engine.rs:413:35 [INFO] [stdout] | [INFO] [stdout] 413 | let g2_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/nugget.rs:78:14 [INFO] [stdout] | [INFO] [stdout] 78 | ::Affine::generator().into_group() * self.0, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-5666405782231345946.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:83:32 [INFO] [stdout] | [INFO] [stdout] 83 | PublicKeyInSisterGroup(S::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:83:32 [INFO] [stdout] | [INFO] [stdout] 83 | PublicKeyInSisterGroup(S::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:83:32 [INFO] [stdout] | [INFO] [stdout] 83 | PublicKeyInSisterGroup(S::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/single.rs:109:20 [INFO] [stdout] | [INFO] [stdout] 109 | PublicKey(::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-4258282896926085554.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:210:10 [INFO] [stdout] | [INFO] [stdout] 210 | ::Affine::generator().into() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-3332500904585143147.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/engine.rs:234:34 [INFO] [stdout] | [INFO] [stdout] 234 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-3332500904585143147.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/single.rs:277:26 [INFO] [stdout] | [INFO] [stdout] 277 | let generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-4258282896926085554.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/engine.rs:243:34 [INFO] [stdout] | [INFO] [stdout] 243 | let point_affine = point.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-4919505301809275784.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/engine.rs:322:35 [INFO] [stdout] | [INFO] [stdout] 322 | let g1_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/engine.rs:413:35 [INFO] [stdout] | [INFO] [stdout] 413 | let g2_minus_generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/nugget.rs:78:14 [INFO] [stdout] | [INFO] [stdout] 78 | ::Affine::generator().into_group() * self.0, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-8117797438579521081.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/single.rs:708:49 [INFO] [stdout] | [INFO] [stdout] 708 | let affine_signature = self.signature.0.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-5666405782231345946.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:83:32 [INFO] [stdout] | [INFO] [stdout] 83 | PublicKeyInSisterGroup(S::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:83:32 [INFO] [stdout] | [INFO] [stdout] 83 | PublicKeyInSisterGroup(S::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nugget.rs:83:32 [INFO] [stdout] | [INFO] [stdout] 83 | PublicKeyInSisterGroup(S::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:100:23 [INFO] [stdout] | [INFO] [stdout] 100 | let mut pks_n_ms: BTreeMap, PkMsg> = BTreeMap::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-4258282896926085554.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:119:44 [INFO] [stdout] | [INFO] [stdout] 119 | E::PublicKeyGroup::normalize_batch(publickeys) [INFO] [stdout] | ---------------------------------- ^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-4258282896926085554.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:121:39 [INFO] [stdout] | [INFO] [stdout] 121 | publickeys.iter().map(|pk| pk.into_affine()).collect() [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-4258282896926085554.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/verifiers.rs:136:57 [INFO] [stdout] | [INFO] [stdout] 136 | let mut affine = E::SignatureGroup::normalize_batch(&messages); [INFO] [stdout] | ---------------------------------- ^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-5666405782231345946.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:167:67 [INFO] [stdout] | [INFO] [stdout] 167 | let affine_pks = PublicKeyProjective::::normalize_batch(&publickeys); [INFO] [stdout] | -------------------------------------------- ^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<<::E as engine::EngineBLS>::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-81a54620eb86bdca.long-type-9388182949576746684.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/single.rs:109:20 [INFO] [stdout] | [INFO] [stdout] 109 | PublicKey(::Affine::generator().into_group() * self.0) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-13376956289519641714.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/single.rs:277:26 [INFO] [stdout] | [INFO] [stdout] 277 | let generator = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-13376956289519641714.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/single.rs:688:23 [INFO] [stdout] | [INFO] [stdout] 688 | let g1_one = ::Affine::generator(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-13376956289519641714.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/single.rs:689:67 [INFO] [stdout] | [INFO] [stdout] 689 | let message = self.message.hash_to_signature_curve::().into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/single.rs:689:36 [INFO] [stdout] | [INFO] [stdout] 689 | let message = self.message.hash_to_signature_curve::().into_affine(); [INFO] [stdout] | ------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Neg::Output` is `::SignatureGroup` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Message` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-8117797438579521081.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/single.rs:690:45 [INFO] [stdout] | [INFO] [stdout] 690 | E::pairing(g1_one, self.signature.0.into_affine()) [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-8117797438579521081.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/single.rs:691:44 [INFO] [stdout] | [INFO] [stdout] 691 | == E::pairing(self.publickey.0.into_affine(), message) [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-13376956289519641714.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/single.rs:708:49 [INFO] [stdout] | [INFO] [stdout] 708 | let affine_signature = self.signature.0.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-8117797438579521081.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:100:23 [INFO] [stdout] | [INFO] [stdout] 100 | let mut pks_n_ms: BTreeMap, PkMsg> = BTreeMap::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-13376956289519641714.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:119:44 [INFO] [stdout] | [INFO] [stdout] 119 | E::PublicKeyGroup::normalize_batch(publickeys) [INFO] [stdout] | ---------------------------------- ^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-13376956289519641714.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:121:39 [INFO] [stdout] | [INFO] [stdout] 121 | publickeys.iter().map(|pk| pk.into_affine()).collect() [INFO] [stdout] | ^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-13376956289519641714.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::SignatureGroupAffine as Neg>::Output == <... as EngineBLS>::SignatureGroupAffine` [INFO] [stdout] --> src/verifiers.rs:136:57 [INFO] [stdout] | [INFO] [stdout] 136 | let mut affine = E::SignatureGroup::normalize_batch(&messages); [INFO] [stdout] | ---------------------------------- ^^^^^^^^^ expected `engine::EngineBLS::SignatureGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::SignatureGroupAffine` [INFO] [stdout] found associated type `<::SignatureGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-8117797438579521081.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as EngineBLS>::PublicKeyGroupAffine as Neg>::Output == <... as EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] --> src/verifiers.rs:167:67 [INFO] [stdout] | [INFO] [stdout] 167 | let affine_pks = PublicKeyProjective::::normalize_batch(&publickeys); [INFO] [stdout] | -------------------------------------------- ^^^^^^^^^^^ expected `engine::EngineBLS::PublicKeyGroupAffine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `<::E as engine::EngineBLS>::PublicKeyGroupAffine` [INFO] [stdout] found associated type `<<::E as engine::EngineBLS>::PublicKeyGroupAffine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/w3f_bls-c3041be28599ccba.long-type-12660595585811805166.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0277. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `w3f-bls` (lib) due to 107 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0433]: cannot find module or crate `ark_sw_by_bls12_381` in this scope [INFO] [stdout] --> src/dual_scalar_mul.rs:402:26 [INFO] [stdout] | [INFO] [stdout] 402 | impl NonGLVCurve for ark_sw_by_bls12_381::SWProjective {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `ark_sw_by_bls12_381` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 402 - impl NonGLVCurve for ark_sw_by_bls12_381::SWProjective {} [INFO] [stdout] 402 + impl NonGLVCurve for ark_bls12_381::SWProjective {} [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `w3f-bls` (lib test) due to 118 previous errors [INFO] running `Command { std: "docker" "inspect" "e5875718a2642886a81187f596cf4c4661ffba0640541cc8ce2fdee36599a07e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e5875718a2642886a81187f596cf4c4661ffba0640541cc8ce2fdee36599a07e", kill_on_drop: false }` [INFO] [stdout] e5875718a2642886a81187f596cf4c4661ffba0640541cc8ce2fdee36599a07e