[INFO] cloning repository https://github.com/0xKarl98/Iris [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/0xKarl98/Iris" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0xKarl98%2FIris", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0xKarl98%2FIris'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c7daa6ee4fde002d2a913bf44b61ba406d7c1ba7 [INFO] checking 0xKarl98/Iris 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%2F0xKarl98%2FIris" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/0xKarl98/Iris [INFO] finished tweaking git repo https://github.com/0xKarl98/Iris [INFO] tweaked toml for git repo https://github.com/0xKarl98/Iris written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/0xKarl98/Iris 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/0xKarl98/Iris 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] [stderr] warning: patch `ark-poly-commit v0.4.0 (https://github.com/arkworks-rs/poly-commit/?rev=12f5529#12f5529c)` was not used in the crate graph [INFO] [stderr] warning: patch `ark-test-curves v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546)` was not used in the crate graph [INFO] [stderr] help: Check that the patched package version and available features are compatible [INFO] [stderr] with the dependency requirements. If the patch has a different version from [INFO] [stderr] what is locked in the Cargo.lock file, run `cargo update` to use the new [INFO] [stderr] version. This may also occur with an optional dependency that is not enabled. [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] d3c5a247d5a87d7725cb9c71c7a1c0112d3a227ef096b566d597967bf0eeca73 [INFO] running `Command { std: "docker" "start" "-a" "d3c5a247d5a87d7725cb9c71c7a1c0112d3a227ef096b566d597967bf0eeca73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d3c5a247d5a87d7725cb9c71c7a1c0112d3a227ef096b566d597967bf0eeca73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d3c5a247d5a87d7725cb9c71c7a1c0112d3a227ef096b566d597967bf0eeca73", kill_on_drop: false }` [INFO] [stdout] d3c5a247d5a87d7725cb9c71c7a1c0112d3a227ef096b566d597967bf0eeca73 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 73482af12cadd71c1315c81c004ad73262e8843b625a9825b0212c198070e2fd [INFO] running `Command { std: "docker" "start" "-a" "73482af12cadd71c1315c81c004ad73262e8843b625a9825b0212c198070e2fd", kill_on_drop: false }` [INFO] [stderr] warning: patch `ark-poly-commit v0.4.0 (https://github.com/arkworks-rs/poly-commit/?rev=12f5529#12f5529c)` was not used in the crate graph [INFO] [stderr] warning: patch `ark-test-curves v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546)` was not used in the crate graph [INFO] [stderr] help: Check that the patched package version and available features are compatible [INFO] [stderr] with the dependency requirements. If the patch has a different version from [INFO] [stderr] what is locked in the Cargo.lock file, run `cargo update` to use the new [INFO] [stderr] version. This may also occur with an optional dependency that is not enabled. [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking itertools v0.12.1 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling syn v2.0.110 [INFO] [stderr] Checking tracing-core v0.1.34 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking clap_lex v0.7.6 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking regex-syntax v0.8.8 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking memchr v2.7.6 [INFO] [stderr] Checking clap_builder v4.5.53 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking rayon-core v1.13.0 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking crossbeam-queue v0.3.12 [INFO] [stderr] Checking crossbeam-channel v0.5.15 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking crossbeam v0.8.4 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking is-terminal v0.4.17 [INFO] [stderr] Checking clap v4.5.53 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling zerocopy-derive v0.8.27 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546) [INFO] [stderr] Compiling ark-ff-macros v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546) [INFO] [stderr] Compiling ark-ff-asm v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546) [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking serde v1.0.228 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking half v2.7.1 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Checking ark-serialize v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546) [INFO] [stderr] Checking ark-ff v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546) [INFO] [stderr] Checking ark-poly v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546) [INFO] [stderr] Checking ark-relations v0.4.0 [INFO] [stderr] Checking ark-snark v0.4.0 [INFO] [stderr] Checking ark-ec v0.4.2 (https://github.com/arkworks-rs/algebra/?rev=2a80c54#2a80c546) [INFO] [stderr] Checking ark-pallas v0.4.0 (https://github.com/arkworks-rs/curves/?rev=8c0256a#8c0256ac) [INFO] [stderr] Checking ark-bn254 v0.4.0 (https://github.com/arkworks-rs/curves/?rev=8c0256a#8c0256ac) [INFO] [stderr] Checking ark-r1cs-std v0.4.0 (https://github.com/arkworks-rs/r1cs-std/?rev=2ca3bd7#2ca3bd7d) [INFO] [stderr] Checking ark-bls12-381 v0.4.0 (https://github.com/arkworks-rs/curves/?rev=3fded1f#3fded1fb) [INFO] [stderr] Checking ark-vesta v0.4.0 (https://github.com/arkworks-rs/curves/?rev=8c0256a#8c0256ac) [INFO] [stderr] Checking ark-grumpkin v0.4.0 (https://github.com/arkworks-rs/curves/?rev=8c0256a#8c0256ac) [INFO] [stderr] Checking ark-crypto-primitives v0.4.0 (https://github.com/arkworks-rs/crypto-primitives?rev=d27a5c8#d27a5c83) [INFO] [stderr] Checking iris v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:10:24 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct Pedersen { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:10:24 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct Pedersen { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | impl Pedersen [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | impl Pedersen [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | 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 `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 13 | 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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:22:39 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct PreprocessedCommitments { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:22:39 [INFO] [stdout] | [INFO] [stdout] 22 | pub struct PreprocessedCommitments { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 59 | 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 `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 59 | 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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:31:25 [INFO] [stdout] | [INFO] [stdout] 31 | pub trait Commitment: [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:31:25 [INFO] [stdout] | [INFO] [stdout] 31 | pub trait Commitment: [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:53:9 [INFO] [stdout] | [INFO] [stdout] 53 | impl Commitment for T [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:71:31 [INFO] [stdout] | [INFO] [stdout] 71 | pub trait CommitmentScheme: Send + Sync { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:53:9 [INFO] [stdout] | [INFO] [stdout] 53 | impl Commitment for T [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:71:31 [INFO] [stdout] | [INFO] [stdout] 71 | pub trait CommitmentScheme: Send + Sync { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | 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 `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | 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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | 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 `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | 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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:43:25 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:43:25 [INFO] [stdout] | [INFO] [stdout] 43 | pub struct R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:62:9 [INFO] [stdout] | [INFO] [stdout] 62 | impl Display for R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:62:9 [INFO] [stdout] | [INFO] [stdout] 62 | impl Display for R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:75:9 [INFO] [stdout] | [INFO] [stdout] 75 | impl R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:75:9 [INFO] [stdout] | [INFO] [stdout] 75 | impl R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:237:9 [INFO] [stdout] | [INFO] [stdout] 237 | impl From> for R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:237:9 [INFO] [stdout] | [INFO] [stdout] 237 | impl From> for R1CSShape { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:261:27 [INFO] [stdout] | [INFO] [stdout] 261 | pub struct R1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:261:27 [INFO] [stdout] | [INFO] [stdout] 261 | pub struct R1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:267:28 [INFO] [stdout] | [INFO] [stdout] 267 | pub struct R1CSInstance> { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:267:28 [INFO] [stdout] | [INFO] [stdout] 267 | pub struct R1CSInstance> { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:274:9 [INFO] [stdout] | [INFO] [stdout] 274 | impl> Clone for R1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:274:9 [INFO] [stdout] | [INFO] [stdout] 274 | impl> Clone for R1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:283:9 [INFO] [stdout] | [INFO] [stdout] 283 | impl> fmt::Debug for R1CSInstance [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:283:9 [INFO] [stdout] | [INFO] [stdout] 283 | impl> fmt::Debug for R1CSInstance [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:295:9 [INFO] [stdout] | [INFO] [stdout] 295 | impl> PartialEq for R1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:295:9 [INFO] [stdout] | [INFO] [stdout] 295 | impl> PartialEq for R1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:301:9 [INFO] [stdout] | [INFO] [stdout] 301 | impl> Eq for R1CSInstance where C::Commitment: Eq {} [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:301:9 [INFO] [stdout] | [INFO] [stdout] 301 | impl> Eq for R1CSInstance where C::Commitment: Eq {} [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:303:9 [INFO] [stdout] | [INFO] [stdout] 303 | impl R1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:325:9 [INFO] [stdout] | [INFO] [stdout] 325 | impl> R1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:303:9 [INFO] [stdout] | [INFO] [stdout] 303 | impl R1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:348:34 [INFO] [stdout] | [INFO] [stdout] 348 | pub struct RelaxedR1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:325:9 [INFO] [stdout] | [INFO] [stdout] 325 | impl> R1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:348:34 [INFO] [stdout] | [INFO] [stdout] 348 | pub struct RelaxedR1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:355:35 [INFO] [stdout] | [INFO] [stdout] 355 | pub struct RelaxedR1CSInstance> { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:355:35 [INFO] [stdout] | [INFO] [stdout] 355 | pub struct RelaxedR1CSInstance> { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:362:9 [INFO] [stdout] | [INFO] [stdout] 362 | impl> Clone for RelaxedR1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:372:9 [INFO] [stdout] | [INFO] [stdout] 372 | impl> fmt::Debug for RelaxedR1CSInstance [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:385:9 [INFO] [stdout] | [INFO] [stdout] 385 | impl> PartialEq for RelaxedR1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:362:9 [INFO] [stdout] | [INFO] [stdout] 362 | impl> Clone for RelaxedR1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:393:9 [INFO] [stdout] | [INFO] [stdout] 393 | impl> Eq for RelaxedR1CSInstance where C::Commitment: Eq {} [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:372:9 [INFO] [stdout] | [INFO] [stdout] 372 | impl> fmt::Debug for RelaxedR1CSInstance [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:395:9 [INFO] [stdout] | [INFO] [stdout] 395 | impl> From<&R1CSInstance> [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:385:9 [INFO] [stdout] | [INFO] [stdout] 385 | impl> PartialEq for RelaxedR1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:407:9 [INFO] [stdout] | [INFO] [stdout] 407 | impl RelaxedR1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:393:9 [INFO] [stdout] | [INFO] [stdout] 393 | impl> Eq for RelaxedR1CSInstance where C::Commitment: Eq {} [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:477:9 [INFO] [stdout] | [INFO] [stdout] 477 | impl> RelaxedR1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:395:9 [INFO] [stdout] | [INFO] [stdout] 395 | impl> From<&R1CSInstance> [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:530:20 [INFO] [stdout] | [INFO] [stdout] 530 | pub fn commit_T>( [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:407:9 [INFO] [stdout] | [INFO] [stdout] 407 | impl RelaxedR1CSWitness { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:574:33 [INFO] [stdout] | [INFO] [stdout] 574 | pub fn commit_T_with_relaxed>( [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:477:9 [INFO] [stdout] | [INFO] [stdout] 477 | impl> RelaxedR1CSInstance { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:631:38 [INFO] [stdout] | [INFO] [stdout] 631 | pub(crate) fn to_field_sparse(matrix: &[&[u64]]) -> Matrix { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:530:20 [INFO] [stdout] | [INFO] [stdout] 530 | pub fn commit_T>( [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:648:40 [INFO] [stdout] | [INFO] [stdout] 648 | pub(crate) fn to_field_elements(x: &[i64]) -> Vec { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/gadgets/r1cs/r1cs.rs:574:33 [INFO] [stdout] | [INFO] [stdout] 574 | pub fn commit_T_with_relaxed>( [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:29:28 [INFO] [stdout] | [INFO] [stdout] 29 | pub fn mask_witness>(&self, pp: &EmsmPublicParams, witness: &[F]) -> Vec { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:29:28 [INFO] [stdout] | [INFO] [stdout] 29 | pub fn mask_witness>(&self, pp: &EmsmPublicParams, witness: &[F]) -> Vec { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:40:29 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn recompute_msm>( [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:40:29 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn recompute_msm>( [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:50:40 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn compute_msm_in_plaintext>(&self, pp: &EmsmPublicParams, witness: &[F]) -> G::Affine { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:50:40 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn compute_msm_in_plaintext>(&self, pp: &EmsmPublicParams, witness: &[F]) -> G::Affine { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | type PP = Vec; [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | type PP = Vec; [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 9 | #[derive(Debug, Clone, CanonicalSerialize, CanonicalDeserialize)] [INFO] [stdout] | ----- in this derive macro expansion [INFO] [stdout] 10 | pub struct Pedersen { [INFO] [stdout] 11 | pub generators: Vec, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 9 | #[derive(Debug, Clone, CanonicalSerialize, CanonicalDeserialize)] [INFO] [stdout] | ----- in this derive macro expansion [INFO] [stdout] 10 | pub struct Pedersen { [INFO] [stdout] 11 | pub generators: Vec, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | #[derive(Debug, Clone, CanonicalSerialize, CanonicalDeserialize)] [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalSerialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:9:24 [INFO] [stdout] | [INFO] [stdout] 9 | #[derive(Debug, Clone, CanonicalSerialize, CanonicalDeserialize)] [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalSerialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:9:44 [INFO] [stdout] | [INFO] [stdout] 9 | #[derive(Debug, Clone, CanonicalSerialize, CanonicalDeserialize)] [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalDeserialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:9:44 [INFO] [stdout] | [INFO] [stdout] 9 | #[derive(Debug, Clone, CanonicalSerialize, CanonicalDeserialize)] [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalDeserialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:39:29 [INFO] [stdout] | [INFO] [stdout] 39 | let generators: Vec = G::normalize_batch(&gens); [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:39:29 [INFO] [stdout] | [INFO] [stdout] 39 | let generators: Vec = G::normalize_batch(&gens); [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:39:61 [INFO] [stdout] | [INFO] [stdout] 39 | let generators: Vec = G::normalize_batch(&gens); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:39:61 [INFO] [stdout] | [INFO] [stdout] 39 | let generators: Vec = G::normalize_batch(&gens); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:39:42 [INFO] [stdout] | [INFO] [stdout] 39 | let generators: Vec = G::normalize_batch(&gens); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:39:42 [INFO] [stdout] | [INFO] [stdout] 39 | let generators: Vec = G::normalize_batch(&gens); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | generators, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | generators, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:50:30 [INFO] [stdout] | [INFO] [stdout] 50 | scalars.len() <= self.generators.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:50:30 [INFO] [stdout] | [INFO] [stdout] 50 | scalars.len() <= self.generators.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:53:13 [INFO] [stdout] | [INFO] [stdout] 53 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:53:13 [INFO] [stdout] | [INFO] [stdout] 53 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:57:26 [INFO] [stdout] | [INFO] [stdout] 57 | G::msm_unchecked(self.generators.as_slice(), scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:57:26 [INFO] [stdout] | [INFO] [stdout] 57 | G::msm_unchecked(self.generators.as_slice(), scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:64:22 [INFO] [stdout] | [INFO] [stdout] 64 | *i < self.generators.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:64:22 [INFO] [stdout] | [INFO] [stdout] 64 | *i < self.generators.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:67:17 [INFO] [stdout] | [INFO] [stdout] 67 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:67:17 [INFO] [stdout] | [INFO] [stdout] 67 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:73:13 [INFO] [stdout] | [INFO] [stdout] 73 | self.generators.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:73:13 [INFO] [stdout] | [INFO] [stdout] 73 | self.generators.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:76:13 [INFO] [stdout] | [INFO] [stdout] 76 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:76:13 [INFO] [stdout] | [INFO] [stdout] 76 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:79:24 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:79:24 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:95:10 [INFO] [stdout] | [INFO] [stdout] 95 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/pederson.rs:79:72 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:79:37 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:79:72 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:79:37 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:79:37 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:79:37 [INFO] [stdout] | [INFO] [stdout] 79 | let bases: Vec = vector.entries.iter().map(|(i, _)| self.generators[*i]).collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:82:40 [INFO] [stdout] | [INFO] [stdout] 82 | VariableBaseMSM::msm_unchecked(&bases, &scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:82:40 [INFO] [stdout] | [INFO] [stdout] 82 | VariableBaseMSM::msm_unchecked(&bases, &scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/pederson.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | self.generators.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:46:21 [INFO] [stdout] | [INFO] [stdout] 46 | (commitment - com_1).into_affine() [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:46:30 [INFO] [stdout] | [INFO] [stdout] 46 | (commitment - com_1).into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:51:16 [INFO] [stdout] | [INFO] [stdout] 51 | G::msm(&pp.pedersen.generators, witness) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:53:14 [INFO] [stdout] | [INFO] [stdout] 53 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/emsm/emsm.rs:52:14 [INFO] [stdout] | [INFO] [stdout] 51 | G::msm(&pp.pedersen.generators, witness) [INFO] [stdout] | ---------------------------------------- this expression has type `Result` [INFO] [stdout] 52 | .expect("MSM computation failed") [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Neg::Output` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:67:34 [INFO] [stdout] | [INFO] [stdout] 67 | pedersen: Pedersen { generators }, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:75:36 [INFO] [stdout] | [INFO] [stdout] 75 | let mut expanded: Vec<_> = generators [INFO] [stdout] | ____________________________________^ [INFO] [stdout] 76 | | .par_iter() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:75:36 [INFO] [stdout] | [INFO] [stdout] 75 | let mut expanded: Vec<_> = generators [INFO] [stdout] | ____________________________________^ [INFO] [stdout] 76 | | .par_iter() [INFO] [stdout] 77 | | .flat_map(|g| { [INFO] [stdout] 78 | | let v = g.clone().into(); [INFO] [stdout] 79 | | vec![v.clone(), v.clone(), v.clone(), v] [INFO] [stdout] 80 | | }) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:77:24 [INFO] [stdout] | [INFO] [stdout] 77 | .flat_map(|g| { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:78:25 [INFO] [stdout] | [INFO] [stdout] 78 | let v = g.clone().into(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:75:36 [INFO] [stdout] | [INFO] [stdout] 75 | let mut expanded: Vec<_> = generators [INFO] [stdout] | ____________________________________^ [INFO] [stdout] 76 | | .par_iter() [INFO] [stdout] 77 | | .flat_map(|g| { [INFO] [stdout] 78 | | let v = g.clone().into(); [INFO] [stdout] 79 | | vec![v.clone(), v.clone(), v.clone(), v] [INFO] [stdout] 80 | | }) [INFO] [stdout] 81 | | .collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:104:29 [INFO] [stdout] | [INFO] [stdout] 104 | generators: expanded.into_iter().map(|x| x.into_affine()).collect(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:104:60 [INFO] [stdout] | [INFO] [stdout] 104 | generators: expanded.into_iter().map(|x| x.into_affine()).collect(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:104:29 [INFO] [stdout] | [INFO] [stdout] 104 | generators: expanded.into_iter().map(|x| x.into_affine()).collect(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:111:33 [INFO] [stdout] | [INFO] [stdout] 111 | let msm_result = G::msm(&self.pedersen.generators, &encrypted_witness).unwrap(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:113:20 [INFO] [stdout] | [INFO] [stdout] 113 | msm_result.into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/emsm/emsm.rs:111:80 [INFO] [stdout] | [INFO] [stdout] 111 | let msm_result = G::msm(&self.pedersen.generators, &encrypted_witness).unwrap(); [INFO] [stdout] | ----------------------------------------------------- ^^^^^^^^ `Neg::Output` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:119:22 [INFO] [stdout] | [INFO] [stdout] 119 | match G::msm(&self.pedersen.generators, encrypted_witness) { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:120:32 [INFO] [stdout] | [INFO] [stdout] 120 | Ok(local) => local.into_affine() == *claimed, [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:120:46 [INFO] [stdout] | [INFO] [stdout] 120 | Ok(local) => local.into_affine() == *claimed, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:49:21 [INFO] [stdout] | [INFO] [stdout] 49 | self.into().into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/nova/commitment.rs:49:14 [INFO] [stdout] | [INFO] [stdout] 49 | self.into().into_affine() [INFO] [stdout] | ---- ^^^^^^ `Neg::Output` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Self` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nova/pederson.rs:60:9 [INFO] [stdout] | [INFO] [stdout] 60 | ScalarMul::batch_convert_to_mul_base(&gens) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:72:13 [INFO] [stdout] | [INFO] [stdout] 72 | bases.len() >= scalars.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | bases.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:78:41 [INFO] [stdout] | [INFO] [stdout] 78 | VariableBaseMSM::msm_unchecked(&bases[..scalars.len()], scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:78:40 [INFO] [stdout] | [INFO] [stdout] 78 | VariableBaseMSM::msm_unchecked(&bases[..scalars.len()], scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:46:21 [INFO] [stdout] | [INFO] [stdout] 46 | (commitment - com_1).into_affine() [INFO] [stdout] | ^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:46:30 [INFO] [stdout] | [INFO] [stdout] 46 | (commitment - com_1).into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:51:16 [INFO] [stdout] | [INFO] [stdout] 51 | G::msm(&pp.pedersen.generators, witness) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:53:14 [INFO] [stdout] | [INFO] [stdout] 53 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/emsm/emsm.rs:52:14 [INFO] [stdout] | [INFO] [stdout] 51 | G::msm(&pp.pedersen.generators, witness) [INFO] [stdout] | ---------------------------------------- this expression has type `Result` [INFO] [stdout] 52 | .expect("MSM computation failed") [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Neg::Output` is `G` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:67:34 [INFO] [stdout] | [INFO] [stdout] 67 | pedersen: Pedersen { generators }, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:75:36 [INFO] [stdout] | [INFO] [stdout] 75 | let mut expanded: Vec<_> = generators [INFO] [stdout] | ____________________________________^ [INFO] [stdout] 76 | | .par_iter() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:75:36 [INFO] [stdout] | [INFO] [stdout] 75 | let mut expanded: Vec<_> = generators [INFO] [stdout] | ____________________________________^ [INFO] [stdout] 76 | | .par_iter() [INFO] [stdout] 77 | | .flat_map(|g| { [INFO] [stdout] 78 | | let v = g.clone().into(); [INFO] [stdout] 79 | | vec![v.clone(), v.clone(), v.clone(), v] [INFO] [stdout] 80 | | }) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:89:17 [INFO] [stdout] | [INFO] [stdout] 89 | for base in pp { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:77:24 [INFO] [stdout] | [INFO] [stdout] 77 | .flat_map(|g| { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:89:17 [INFO] [stdout] | [INFO] [stdout] 89 | for base in pp { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:78:25 [INFO] [stdout] | [INFO] [stdout] 78 | let v = g.clone().into(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:91:9 [INFO] [stdout] | [INFO] [stdout] 91 | base.serialize_compressed(&mut buf).expect("serialize base"); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:75:36 [INFO] [stdout] | [INFO] [stdout] 75 | let mut expanded: Vec<_> = generators [INFO] [stdout] | ____________________________________^ [INFO] [stdout] 76 | | .par_iter() [INFO] [stdout] 77 | | .flat_map(|g| { [INFO] [stdout] 78 | | let v = g.clone().into(); [INFO] [stdout] 79 | | vec![v.clone(), v.clone(), v.clone(), v] [INFO] [stdout] 80 | | }) [INFO] [stdout] 81 | | .collect(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:104:29 [INFO] [stdout] | [INFO] [stdout] 104 | generators: expanded.into_iter().map(|x| x.into_affine()).collect(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:104:60 [INFO] [stdout] | [INFO] [stdout] 104 | generators: expanded.into_iter().map(|x| x.into_affine()).collect(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:104:29 [INFO] [stdout] | [INFO] [stdout] 104 | generators: expanded.into_iter().map(|x| x.into_affine()).collect(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:111:33 [INFO] [stdout] | [INFO] [stdout] 111 | let msm_result = G::msm(&self.pedersen.generators, &encrypted_witness).unwrap(); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:113:20 [INFO] [stdout] | [INFO] [stdout] 113 | msm_result.into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/emsm/emsm.rs:111:80 [INFO] [stdout] | [INFO] [stdout] 111 | let msm_result = G::msm(&self.pedersen.generators, &encrypted_witness).unwrap(); [INFO] [stdout] | ----------------------------------------------------- ^^^^^^^^ `Neg::Output` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Result` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:119:22 [INFO] [stdout] | [INFO] [stdout] 119 | match G::msm(&self.pedersen.generators, encrypted_witness) { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/emsm/emsm.rs:120:32 [INFO] [stdout] | [INFO] [stdout] 120 | Ok(local) => local.into_affine() == *claimed, [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/emsm/emsm.rs:120:46 [INFO] [stdout] | [INFO] [stdout] 120 | Ok(local) => local.into_affine() == *claimed, [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/commitment.rs:49:21 [INFO] [stdout] | [INFO] [stdout] 49 | self.into().into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/nova/commitment.rs:49:14 [INFO] [stdout] | [INFO] [stdout] 49 | self.into().into_affine() [INFO] [stdout] | ---- ^^^^^^ `Neg::Output` is `G` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `Self` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 112 | fn into_affine(self) -> Self::Affine { [INFO] [stdout] | ----------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/nova/pederson.rs:60:9 [INFO] [stdout] | [INFO] [stdout] 60 | ScalarMul::batch_convert_to_mul_base(&gens) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:72:13 [INFO] [stdout] | [INFO] [stdout] 72 | bases.len() >= scalars.len(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | bases.len() [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:78:41 [INFO] [stdout] | [INFO] [stdout] 78 | VariableBaseMSM::msm_unchecked(&bases[..scalars.len()], scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:78:40 [INFO] [stdout] | [INFO] [stdout] 78 | VariableBaseMSM::msm_unchecked(&bases[..scalars.len()], scalars) [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:89:17 [INFO] [stdout] | [INFO] [stdout] 89 | for base in pp { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:89:17 [INFO] [stdout] | [INFO] [stdout] 89 | for base in pp { [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/nova/pederson.rs:91:9 [INFO] [stdout] | [INFO] [stdout] 91 | base.serialize_compressed(&mut buf).expect("serialize base"); [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/pcs/kzg.rs:328:19 [INFO] [stdout] | [INFO] [stdout] 328 | let h = h.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/pcs/kzg.rs:329:34 [INFO] [stdout] | [INFO] [stdout] 329 | let beta_h = h.mul(beta).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: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/pcs/kzg.rs:328:19 [INFO] [stdout] | [INFO] [stdout] 285 | let h = E::G2::rand(rng); [INFO] [stdout] | ---------------- this expression has type `::G2` [INFO] [stdout] ... [INFO] [stdout] 328 | let h = h.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^^^ `Neg::Output` is `<::G2Affine as Neg>::Output` here [INFO] [stdout] 329 | let beta_h = h.mul(beta).into_affine(); [INFO] [stdout] | --------- `Neg::Output` changed to `::G2` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/pcs/kzg.rs:392:14 [INFO] [stdout] | [INFO] [stdout] 392 | .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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/pcs/kzg.rs:468:18 [INFO] [stdout] | [INFO] [stdout] 468 | w: w.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/pcs/kzg.rs:328:19 [INFO] [stdout] | [INFO] [stdout] 328 | let h = h.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/pcs/kzg.rs:329:34 [INFO] [stdout] | [INFO] [stdout] 329 | let beta_h = h.mul(beta).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: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/pcs/kzg.rs:328:19 [INFO] [stdout] | [INFO] [stdout] 285 | let h = E::G2::rand(rng); [INFO] [stdout] | ---------------- this expression has type `::G2` [INFO] [stdout] ... [INFO] [stdout] 328 | let h = h.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^^^ `Neg::Output` is `<::G2Affine as Neg>::Output` here [INFO] [stdout] 329 | let beta_h = h.mul(beta).into_affine(); [INFO] [stdout] | --------- `Neg::Output` changed to `::G2` here [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/pcs/kzg.rs:392:14 [INFO] [stdout] | [INFO] [stdout] 392 | .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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/generator.rs:189:32 [INFO] [stdout] | [INFO] [stdout] 189 | alpha_g1: alpha_g1.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/pcs/kzg.rs:468:18 [INFO] [stdout] | [INFO] [stdout] 468 | w: w.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/generator.rs:190:30 [INFO] [stdout] | [INFO] [stdout] 190 | beta_g2: beta_g2.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/generator.rs:191:32 [INFO] [stdout] | [INFO] [stdout] 191 | gamma_g2: gamma_g2.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/generator.rs:192:32 [INFO] [stdout] | [INFO] [stdout] 192 | delta_g2: delta_g2.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/generator.rs:200:30 [INFO] [stdout] | [INFO] [stdout] 200 | beta_g1: beta_g1.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/generator.rs:201:32 [INFO] [stdout] | [INFO] [stdout] 201 | delta_g1: delta_g1.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/prover.rs:106:20 [INFO] [stdout] | [INFO] [stdout] 106 | a: g_a.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/prover.rs:107:21 [INFO] [stdout] | [INFO] [stdout] 107 | b: g2_b.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/prover.rs:108:20 [INFO] [stdout] | [INFO] [stdout] 108 | c: g_c.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/verifier.rs:17:57 [INFO] [stdout] | [INFO] [stdout] 17 | gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(), [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: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/groth16/verifier.rs:17:38 [INFO] [stdout] | [INFO] [stdout] 17 | gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ----------- ^^^^^^^^^^^^ ----- `Neg::Output` remains `::G2` here [INFO] [stdout] | | | [INFO] [stdout] | | `Neg::Output` is `::G2` here [INFO] [stdout] | this expression has type `::G2Affine` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/verifier.rs:18:57 [INFO] [stdout] | [INFO] [stdout] 18 | delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(), [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: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/groth16/verifier.rs:18:38 [INFO] [stdout] | [INFO] [stdout] 18 | delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ----------- ^^^^^^^^^^^^ ----- `Neg::Output` remains `::G2` here [INFO] [stdout] | | | [INFO] [stdout] | | `Neg::Output` is `::G2` here [INFO] [stdout] | this expression has type `::G2Affine` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/verifier.rs:52:33 [INFO] [stdout] | [INFO] [stdout] 52 | prepared_inputs.into_affine().into(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/generator.rs:189:32 [INFO] [stdout] | [INFO] [stdout] 189 | alpha_g1: alpha_g1.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/generator.rs:190:30 [INFO] [stdout] | [INFO] [stdout] 190 | beta_g2: beta_g2.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/generator.rs:191:32 [INFO] [stdout] | [INFO] [stdout] 191 | gamma_g2: gamma_g2.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/generator.rs:192:32 [INFO] [stdout] | [INFO] [stdout] 192 | delta_g2: delta_g2.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/generator.rs:200:30 [INFO] [stdout] | [INFO] [stdout] 200 | beta_g1: beta_g1.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/generator.rs:201:32 [INFO] [stdout] | [INFO] [stdout] 201 | delta_g1: delta_g1.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/prover.rs:106:20 [INFO] [stdout] | [INFO] [stdout] 106 | a: g_a.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/prover.rs:107:21 [INFO] [stdout] | [INFO] [stdout] 107 | b: g2_b.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/prover.rs:108:20 [INFO] [stdout] | [INFO] [stdout] 108 | c: g_c.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/verifier.rs:17:57 [INFO] [stdout] | [INFO] [stdout] 17 | gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(), [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: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/groth16/verifier.rs:17:38 [INFO] [stdout] | [INFO] [stdout] 17 | gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ----------- ^^^^^^^^^^^^ ----- `Neg::Output` remains `::G2` here [INFO] [stdout] | | | [INFO] [stdout] | | `Neg::Output` is `::G2` here [INFO] [stdout] | this expression has type `::G2Affine` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/verifier.rs:18:57 [INFO] [stdout] | [INFO] [stdout] 18 | delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(), [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: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/groth16/verifier.rs:18:38 [INFO] [stdout] | [INFO] [stdout] 18 | delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ----------- ^^^^^^^^^^^^ ----- `Neg::Output` remains `::G2` here [INFO] [stdout] | | | [INFO] [stdout] | | `Neg::Output` is `::G2` here [INFO] [stdout] | this expression has type `::G2Affine` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/verifier.rs:52:33 [INFO] [stdout] | [INFO] [stdout] 52 | prepared_inputs.into_affine().into(), [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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/test.rs:164:24 [INFO] [stdout] | [INFO] [stdout] 164 | a: g_a.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/groth16/test.rs:165:25 [INFO] [stdout] | [INFO] [stdout] 165 | b: g2_b.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/groth16/test.rs:166:24 [INFO] [stdout] | [INFO] [stdout] 166 | c: g_c.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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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/git/checkouts/algebra-5142117e1244ae01/2a80c54/ec/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] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `iris` (lib) due to 100 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 `iris` (lib test) due to 105 previous errors [INFO] running `Command { std: "docker" "inspect" "73482af12cadd71c1315c81c004ad73262e8843b625a9825b0212c198070e2fd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "73482af12cadd71c1315c81c004ad73262e8843b625a9825b0212c198070e2fd", kill_on_drop: false }` [INFO] [stdout] 73482af12cadd71c1315c81c004ad73262e8843b625a9825b0212c198070e2fd