[INFO] cloning repository https://github.com/winderica/mmp [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/winderica/mmp" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwinderica%2Fmmp", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwinderica%2Fmmp'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 571003021ffbcb40ac902677205690ceb8e24ea4 [INFO] checking winderica/mmp against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwinderica%2Fmmp" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/winderica/mmp [INFO] finished tweaking git repo https://github.com/winderica/mmp [INFO] tweaked toml for git repo https://github.com/winderica/mmp written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/winderica/mmp 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 git repo https://github.com/winderica/mmp 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-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] 8a5dff793b6d5711dee013253e2b38922b211831d19cf6a19b3f528bf06f8825 [INFO] running `Command { std: "docker" "start" "-a" "8a5dff793b6d5711dee013253e2b38922b211831d19cf6a19b3f528bf06f8825", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8a5dff793b6d5711dee013253e2b38922b211831d19cf6a19b3f528bf06f8825", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a5dff793b6d5711dee013253e2b38922b211831d19cf6a19b3f528bf06f8825", kill_on_drop: false }` [INFO] [stdout] 8a5dff793b6d5711dee013253e2b38922b211831d19cf6a19b3f528bf06f8825 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] e31a3770972915cad7954989828b04931096f161f3c35aa136d654bedf378f94 [INFO] running `Command { std: "docker" "start" "-a" "e31a3770972915cad7954989828b04931096f161f3c35aa136d654bedf378f94", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling libc v0.2.172 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling zerocopy v0.8.24 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking hashbrown v0.15.2 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Checking pin-project-lite v0.2.16 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking half v2.6.0 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Checking os_str_bytes v6.6.1 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking textwrap v0.16.2 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking clap v3.2.25 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Compiling ark-crypto-primitives-macros v0.5.0 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.4.0 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-relations v0.5.1 [INFO] [stderr] Checking ark-snark v0.5.1 [INFO] [stderr] Checking ark-ec v0.5.0 [INFO] [stderr] Checking ark-crypto-primitives v0.5.0 [INFO] [stderr] Checking spongefish v0.2.0 (https://github.com/arkworks-rs/spongefish#68b21aea) [INFO] [stderr] Checking ark-bn254 v0.5.0 [INFO] [stderr] Checking ark-poly-commit v0.5.0 [INFO] [stderr] Checking mmp v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/ip.rs:80:39 [INFO] [stdout] | [INFO] [stdout] 80 | pub struct PointScalarInnerProduct { [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` [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/ip.rs:84:9 [INFO] [stdout] | [INFO] [stdout] 84 | impl InnerProduct for PointScalarInnerProduct { [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` [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/ip.rs:96:39 [INFO] [stdout] | [INFO] [stdout] 96 | pub struct ScalarPointInnerProduct { [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` [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/ip.rs:100:9 [INFO] [stdout] | [INFO] [stdout] 100 | impl InnerProduct for ScalarPointInnerProduct { [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` [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/ip.rs:80:39 [INFO] [stdout] | [INFO] [stdout] 80 | pub struct PointScalarInnerProduct { [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/ip.rs:84:9 [INFO] [stdout] | [INFO] [stdout] 84 | impl InnerProduct for PointScalarInnerProduct { [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/ip.rs:96:39 [INFO] [stdout] | [INFO] [stdout] 96 | pub struct ScalarPointInnerProduct { [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/rp.rs:282:21 [INFO] [stdout] | [INFO] [stdout] 282 | trait DS { [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` [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/ip.rs:100:9 [INFO] [stdout] | [INFO] [stdout] 100 | impl InnerProduct for ScalarPointInnerProduct { [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/rp.rs:288:16 [INFO] [stdout] | [INFO] [stdout] 288 | G: 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 `ark_ec::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/ip.rs:33:37 [INFO] [stdout] | [INFO] [stdout] 33 | &P::G1::normalize_batch(left), [INFO] [stdout] | ---------------------- ^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `

::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<

::G2Affine as Neg>::Output ==

::G2Affine` [INFO] [stdout] --> src/ip.rs:34:37 [INFO] [stdout] | [INFO] [stdout] 34 | &P::G2::normalize_batch(right), [INFO] [stdout] | ---------------------- ^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `

::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<

::G1Affine as Neg>::Output ==

::G1Affine` [INFO] [stdout] --> src/ip.rs:33:37 [INFO] [stdout] | [INFO] [stdout] 33 | &P::G1::normalize_batch(left), [INFO] [stdout] | ---------------------- ^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `

::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<

::G2Affine as Neg>::Output ==

::G2Affine` [INFO] [stdout] --> src/ip.rs:34:37 [INFO] [stdout] | [INFO] [stdout] 34 | &P::G2::normalize_batch(right), [INFO] [stdout] | ---------------------- ^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `

::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/ip.rs:92:26 [INFO] [stdout] | [INFO] [stdout] 92 | G::msm_unchecked(&G::normalize_batch(left), right) [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/ip.rs:92:46 [INFO] [stdout] | [INFO] [stdout] 92 | G::msm_unchecked(&G::normalize_batch(left), right) [INFO] [stdout] | ------------------ ^^^^ expected `ark_ec::CurveGroup::Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/ip.rs:92:26 [INFO] [stdout] | [INFO] [stdout] 92 | G::msm_unchecked(&G::normalize_batch(left), right) [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` [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/ip.rs:92:27 [INFO] [stdout] | [INFO] [stdout] 92 | G::msm_unchecked(&G::normalize_batch(left), right) [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/ip.rs:92:46 [INFO] [stdout] | [INFO] [stdout] 92 | G::msm_unchecked(&G::normalize_batch(left), right) [INFO] [stdout] | ------------------ ^^^^ expected `ark_ec::CurveGroup::Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/ip.rs:92:27 [INFO] [stdout] | [INFO] [stdout] 92 | G::msm_unchecked(&G::normalize_batch(left), right) [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` [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/ip.rs:108:26 [INFO] [stdout] | [INFO] [stdout] 108 | G::msm_unchecked(&G::normalize_batch(right), left) [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` [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/ip.rs:108:46 [INFO] [stdout] | [INFO] [stdout] 108 | G::msm_unchecked(&G::normalize_batch(right), left) [INFO] [stdout] | ------------------ ^^^^^ expected `ark_ec::CurveGroup::Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/ip.rs:108:27 [INFO] [stdout] | [INFO] [stdout] 108 | G::msm_unchecked(&G::normalize_batch(right), left) [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` [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/ip.rs:108:26 [INFO] [stdout] | [INFO] [stdout] 108 | G::msm_unchecked(&G::normalize_batch(right), left) [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/ip.rs:108:46 [INFO] [stdout] | [INFO] [stdout] 108 | G::msm_unchecked(&G::normalize_batch(right), left) [INFO] [stdout] | ------------------ ^^^^^ expected `ark_ec::CurveGroup::Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/ip.rs:108:27 [INFO] [stdout] | [INFO] [stdout] 108 | G::msm_unchecked(&G::normalize_batch(right), left) [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/rp.rs:63:35 [INFO] [stdout] | [INFO] [stdout] 63 | (-k.into_group()).into_affine() [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 `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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/rp.rs:63:35 [INFO] [stdout] | [INFO] [stdout] 63 | (-k.into_group()).into_affine() [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 `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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/rp.rs:226:9 [INFO] [stdout] | [INFO] [stdout] 225 | let kk = E::G1::normalize_batch( [INFO] [stdout] | ---------------------- required by a bound introduced by this call [INFO] [stdout] 226 | / &k.par_iter() [INFO] [stdout] 227 | | .enumerate() [INFO] [stdout] 228 | | .map(|(i, &k)| k * y.pow([i as u64]).inverse().unwrap()) [INFO] [stdout] 229 | | .collect::>(), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/rp.rs:226:9 [INFO] [stdout] | [INFO] [stdout] 225 | let kk = E::G1::normalize_batch( [INFO] [stdout] | ---------------------- required by a bound introduced by this call [INFO] [stdout] 226 | / &k.par_iter() [INFO] [stdout] 227 | | .enumerate() [INFO] [stdout] 228 | | .map(|(i, &k)| k * y.pow([i as u64]).inverse().unwrap()) [INFO] [stdout] 229 | | .collect::>(), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:328:56 [INFO] [stdout] | [INFO] [stdout] 328 | cfg_multi_pairing::(&E::G1::normalize_batch(&l), &E::G2::normalize_batch(&r)).is_zero() [INFO] [stdout] | ---------------------- ^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:328:85 [INFO] [stdout] | [INFO] [stdout] 328 | cfg_multi_pairing::(&E::G1::normalize_batch(&l), &E::G2::normalize_batch(&r)).is_zero() [INFO] [stdout] | ---------------------- ^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:360:72 [INFO] [stdout] | [INFO] [stdout] 360 | let c_afg = AFGHO::::commit(ck_afg, &E::G1::normalize_batch(&c_pst)); [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:427:63 [INFO] [stdout] | [INFO] [stdout] 427 | let cr = E::G1::msm_unchecked(&E::G1::normalize_batch(c_pst), &r_pows); [INFO] [stdout] | ---------------------- ^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:328:56 [INFO] [stdout] | [INFO] [stdout] 328 | cfg_multi_pairing::(&E::G1::normalize_batch(&l), &E::G2::normalize_batch(&r)).is_zero() [INFO] [stdout] | ---------------------- ^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:328:85 [INFO] [stdout] | [INFO] [stdout] 328 | cfg_multi_pairing::(&E::G1::normalize_batch(&l), &E::G2::normalize_batch(&r)).is_zero() [INFO] [stdout] | ---------------------- ^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:529:41 [INFO] [stdout] | [INFO] [stdout] 529 | &E::G1::normalize_batch(&[ [INFO] [stdout] | __________________----------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 530 | | E::G1::from(vk_kzg) - E::G1::generator() * r[0], [INFO] [stdout] 531 | | -E::G1::generator(), [INFO] [stdout] 532 | | ]), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:360:72 [INFO] [stdout] | [INFO] [stdout] 360 | let c_afg = AFGHO::::commit(ck_afg, &E::G1::normalize_batch(&c_pst)); [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:533:41 [INFO] [stdout] | [INFO] [stdout] 533 | &E::G2::normalize_batch(&[*pi_kzg, *b0 - E::G2::generator() * e]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:427:63 [INFO] [stdout] | [INFO] [stdout] 427 | let cr = E::G1::msm_unchecked(&E::G1::normalize_batch(c_pst), &r_pows); [INFO] [stdout] | ---------------------- ^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:582:41 [INFO] [stdout] | [INFO] [stdout] 582 | &E::G1::normalize_batch(&[*pi_kzg, *b0 - E::G1::generator() * e]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:583:41 [INFO] [stdout] | [INFO] [stdout] 583 | &E::G2::normalize_batch(&[ [INFO] [stdout] | __________________----------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 584 | | E::G2::from(vk_kzg) - E::G2::generator() * r[0], [INFO] [stdout] 585 | | -E::G2::generator(), [INFO] [stdout] 586 | | ]), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:698:37 [INFO] [stdout] | [INFO] [stdout] 698 | .map(|g| (g * zeta).into_affine()) [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 `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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:529:41 [INFO] [stdout] | [INFO] [stdout] 529 | &E::G1::normalize_batch(&[ [INFO] [stdout] | __________________----------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 530 | | E::G1::from(vk_kzg) - E::G1::generator() * r[0], [INFO] [stdout] 531 | | -E::G1::generator(), [INFO] [stdout] 532 | | ]), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:533:41 [INFO] [stdout] | [INFO] [stdout] 533 | &E::G2::normalize_batch(&[*pi_kzg, *b0 - E::G2::generator() * e]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:718:72 [INFO] [stdout] | [INFO] [stdout] 718 | let c_afg = AFGHO::::commit(ck_afg, &E::G1::normalize_batch(&c_pst)); [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:582:41 [INFO] [stdout] | [INFO] [stdout] 582 | &E::G1::normalize_batch(&[*pi_kzg, *b0 - E::G1::generator() * e]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:583:41 [INFO] [stdout] | [INFO] [stdout] 583 | &E::G2::normalize_batch(&[ [INFO] [stdout] | __________________----------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 584 | | E::G2::from(vk_kzg) - E::G2::generator() * r[0], [INFO] [stdout] 585 | | -E::G2::generator(), [INFO] [stdout] 586 | | ]), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:780:63 [INFO] [stdout] | [INFO] [stdout] 780 | let cr = E::G1::msm_unchecked(&E::G1::normalize_batch(c_pst), &r_pows); [INFO] [stdout] | ---------------------- ^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:698:37 [INFO] [stdout] | [INFO] [stdout] 698 | .map(|g| (g * zeta).into_affine()) [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 `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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:718:72 [INFO] [stdout] | [INFO] [stdout] 718 | let c_afg = AFGHO::::commit(ck_afg, &E::G1::normalize_batch(&c_pst)); [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:780:63 [INFO] [stdout] | [INFO] [stdout] 780 | let cr = E::G1::msm_unchecked(&E::G1::normalize_batch(c_pst), &r_pows); [INFO] [stdout] | ---------------------- ^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:934:41 [INFO] [stdout] | [INFO] [stdout] 934 | &E::G1::normalize_batch(&[ [INFO] [stdout] | __________________----------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 935 | | E::G1::from(vk_kzg) - E::G1::generator() * r[0], [INFO] [stdout] 936 | | -E::G1::generator(), [INFO] [stdout] 937 | | ]), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:938:41 [INFO] [stdout] | [INFO] [stdout] 938 | &E::G2::normalize_batch(&[*pi_kzg, *b0 - E::G2::generator() * e]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:999:41 [INFO] [stdout] | [INFO] [stdout] 999 | &E::G1::normalize_batch(&[-c_ped, *cc, *c_v]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:1005:22 [INFO] [stdout] | [INFO] [stdout] 1005 | .into_affine(), [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 `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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:1013:45 [INFO] [stdout] | [INFO] [stdout] 1013 | &E::G1::normalize_batch(pi_pst), [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:1015:25 [INFO] [stdout] | [INFO] [stdout] 1014 | &E::G2::normalize_batch( [INFO] [stdout] | ---------------------- required by a bound introduced by this call [INFO] [stdout] 1015 | / &vk_pst [INFO] [stdout] 1016 | | .iter() [INFO] [stdout] 1017 | | .zip(v) [INFO] [stdout] 1018 | | .map(|(g, v)| *g - E::G2::generator() * v) [INFO] [stdout] 1019 | | .collect::>(), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:934:41 [INFO] [stdout] | [INFO] [stdout] 934 | &E::G1::normalize_batch(&[ [INFO] [stdout] | __________________----------------------_^ [INFO] [stdout] | | | [INFO] [stdout] | | required by a bound introduced by this call [INFO] [stdout] 935 | | E::G1::from(vk_kzg) - E::G1::generator() * r[0], [INFO] [stdout] 936 | | -E::G1::generator(), [INFO] [stdout] 937 | | ]), [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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:938:41 [INFO] [stdout] | [INFO] [stdout] 938 | &E::G2::normalize_batch(&[*pi_kzg, *b0 - E::G2::generator() * e]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:999:41 [INFO] [stdout] | [INFO] [stdout] 999 | &E::G1::normalize_batch(&[-c_ped, *cc, *c_v]), [INFO] [stdout] | ---------------------- ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:1005:22 [INFO] [stdout] | [INFO] [stdout] 1005 | .into_affine(), [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 `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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/lib.rs:1013:45 [INFO] [stdout] | [INFO] [stdout] 1013 | &E::G1::normalize_batch(pi_pst), [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, 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 `::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 `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] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/lib.rs:1015:25 [INFO] [stdout] | [INFO] [stdout] 1014 | &E::G2::normalize_batch( [INFO] [stdout] | ---------------------- required by a bound introduced by this call [INFO] [stdout] 1015 | / &vk_pst [INFO] [stdout] 1016 | | .iter() [INFO] [stdout] 1017 | | .zip(v) [INFO] [stdout] 1018 | | .map(|(g, v)| *g - E::G2::generator() * v) [INFO] [stdout] 1019 | | .collect::>(), [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 `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] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `mmp` (lib) due to 31 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `mmp` (lib test) due to 33 previous errors [INFO] running `Command { std: "docker" "inspect" "e31a3770972915cad7954989828b04931096f161f3c35aa136d654bedf378f94", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e31a3770972915cad7954989828b04931096f161f3c35aa136d654bedf378f94", kill_on_drop: false }` [INFO] [stdout] e31a3770972915cad7954989828b04931096f161f3c35aa136d654bedf378f94