[INFO] fetching crate uzkge 0.1.2... [INFO] checking uzkge-0.1.2 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate uzkge 0.1.2 into /workspace/builds/worker-3-tc2/source [INFO] started tweaking crates.io crate uzkge 0.1.2 [INFO] finished tweaking crates.io crate uzkge 0.1.2 [INFO] tweaked toml for crates.io crate uzkge 0.1.2 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate uzkge 0.1.2 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate uzkge 0.1.2 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] ee649a15bddc62513faad4c35f73de4fa08f61c5a0a316c2153f382eefeda0b1 [INFO] running `Command { std: "docker" "start" "-a" "ee649a15bddc62513faad4c35f73de4fa08f61c5a0a316c2153f382eefeda0b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ee649a15bddc62513faad4c35f73de4fa08f61c5a0a316c2153f382eefeda0b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ee649a15bddc62513faad4c35f73de4fa08f61c5a0a316c2153f382eefeda0b1", kill_on_drop: false }` [INFO] [stdout] ee649a15bddc62513faad4c35f73de4fa08f61c5a0a316c2153f382eefeda0b1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 104a16d9716ab88f05d81ae014d3b3408af10b69a33be44e8337646e5275e3da [INFO] running `Command { std: "docker" "start" "-a" "104a16d9716ab88f05d81ae014d3b3408af10b69a33be44e8337646e5275e3da", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Compiling proc-macro2 v1.0.81 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Checking either v1.11.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking zerocopy v0.7.32 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking getrandom v0.2.14 [INFO] [stderr] Checking itertools v0.12.1 [INFO] [stderr] Compiling syn v2.0.60 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking arrayvec v0.7.4 [INFO] [stderr] Checking allocator-api2 v0.2.18 [INFO] [stderr] Compiling serde v1.0.199 [INFO] [stderr] Checking hashbrown v0.14.3 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking ark-std-zypher v0.4.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-serialize-derive-zypher v0.4.2 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ark-ff-macros-zypher v0.4.2 [INFO] [stderr] Compiling ark-ff-asm-zypher v0.4.2 [INFO] [stderr] Compiling serde_derive v1.0.199 [INFO] [stderr] Checking ark-serialize-zypher v0.4.2 [INFO] [stderr] Checking zeroize v1.7.0 [INFO] [stderr] Checking ark-ff-zypher v0.4.2 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking ark-poly-zypher v0.4.2 [INFO] [stderr] Checking ark-ec-zypher v0.4.2 [INFO] [stderr] Checking ark-bn254-zypher v0.4.0 [INFO] [stderr] Checking ark-ed-on-bn254-zypher v0.4.0 [INFO] [stderr] Checking uzkge v0.1.2 (/opt/rustwide/workdir) [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/poly_commit/kzg_poly_commitment.rs:29:8 [INFO] [stdout] | [INFO] [stdout] 29 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:62:49 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn point_to_uncompress_be>(p: &G) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:72:36 [INFO] [stdout] | [INFO] [stdout] 72 | pub fn point_from_uncompress_be( [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:10:21 [INFO] [stdout] | [INFO] [stdout] 10 | pub trait Remark { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:23:26 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct Ciphertext { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | impl Ciphertext { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/turbo/mod.rs:926:46 [INFO] [stdout] | [INFO] [stdout] 926 | pub fn load_shuffle_remark_parameters, H: Remark>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:65:33 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn new_card_variable>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | const COFF_A: C::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | const COFF_D: C::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/turbo/mod.rs:945:32 [INFO] [stdout] | [INFO] [stdout] 945 | let (x, y) = j.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/turbo/mod.rs:945:30 [INFO] [stdout] | [INFO] [stdout] 945 | let (x, y) = j.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:69:51 [INFO] [stdout] | [INFO] [stdout] 69 | let (first_x, first_y) = card.get_first().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/plonk/constraint_system/shuffle/mod.rs:69:39 [INFO] [stdout] | [INFO] [stdout] 69 | let (first_x, first_y) = card.get_first().into_affine().xy().unwrap(); [INFO] [stdout] | ---- ^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:69:34 [INFO] [stdout] | [INFO] [stdout] 69 | let (first_x, first_y) = card.get_first().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:70:54 [INFO] [stdout] | [INFO] [stdout] 70 | let (second_x, second_y) = card.get_second().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/plonk/constraint_system/shuffle/mod.rs:70:41 [INFO] [stdout] | [INFO] [stdout] 70 | let (second_x, second_y) = card.get_second().into_affine().xy().unwrap(); [INFO] [stdout] | ---- ^^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:70:36 [INFO] [stdout] | [INFO] [stdout] 70 | let (second_x, second_y) = card.get_second().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:29:8 [INFO] [stdout] | [INFO] [stdout] 29 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:62:49 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn point_to_uncompress_be>(p: &G) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:72:36 [INFO] [stdout] | [INFO] [stdout] 72 | pub fn point_from_uncompress_be( [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:10:21 [INFO] [stdout] | [INFO] [stdout] 10 | pub trait Remark { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:23:26 [INFO] [stdout] | [INFO] [stdout] 23 | pub struct Ciphertext { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | impl Ciphertext { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/turbo/mod.rs:926:46 [INFO] [stdout] | [INFO] [stdout] 926 | pub fn load_shuffle_remark_parameters, H: Remark>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:65:33 [INFO] [stdout] | [INFO] [stdout] 65 | pub fn new_card_variable>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | const COFF_A: C::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | const COFF_D: C::BaseField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:38:29 [INFO] [stdout] | [INFO] [stdout] 38 | let aff_repr = self.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:39:16 [INFO] [stdout] | [INFO] [stdout] 39 | let x: G::BaseField = aff_repr.x().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:39:54 [INFO] [stdout] | [INFO] [stdout] 39 | let x: G::BaseField = aff_repr.x().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:39:54 [INFO] [stdout] | [INFO] [stdout] 39 | let x: G::BaseField = aff_repr.x().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:40:16 [INFO] [stdout] | [INFO] [stdout] 40 | let y: G::BaseField = aff_repr.y().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:40:54 [INFO] [stdout] | [INFO] [stdout] 40 | let y: G::BaseField = aff_repr.y().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:40:54 [INFO] [stdout] | [INFO] [stdout] 40 | let y: G::BaseField = aff_repr.y().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | x.serialize_with_mode(&mut buf_x, Compress::Yes).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | y.serialize_with_mode(&mut buf_y, Compress::Yes).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:63:18 [INFO] [stdout] | [INFO] [stdout] 63 | let affine = G::Affine::from(*p); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:63:18 [INFO] [stdout] | [INFO] [stdout] 63 | let affine = G::Affine::from(*p); [INFO] [stdout] | ^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:63:18 [INFO] [stdout] | [INFO] [stdout] 63 | let affine = G::Affine::from(*p); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | let (x, y) = affine.xy().unwrap_or((F::zero(), F::zero())); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/turbo/mod.rs:945:32 [INFO] [stdout] | [INFO] [stdout] 945 | let (x, y) = j.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/turbo/mod.rs:945:30 [INFO] [stdout] | [INFO] [stdout] 945 | let (x, y) = j.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:69:51 [INFO] [stdout] | [INFO] [stdout] 69 | let (first_x, first_y) = card.get_first().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/plonk/constraint_system/shuffle/mod.rs:69:39 [INFO] [stdout] | [INFO] [stdout] 69 | let (first_x, first_y) = card.get_first().into_affine().xy().unwrap(); [INFO] [stdout] | ---- ^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:69:34 [INFO] [stdout] | [INFO] [stdout] 69 | let (first_x, first_y) = card.get_first().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:70:54 [INFO] [stdout] | [INFO] [stdout] 70 | let (second_x, second_y) = card.get_second().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/plonk/constraint_system/shuffle/mod.rs:70:41 [INFO] [stdout] | [INFO] [stdout] 70 | let (second_x, second_y) = card.get_second().into_affine().xy().unwrap(); [INFO] [stdout] | ---- ^^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/plonk/constraint_system/shuffle/mod.rs:70:36 [INFO] [stdout] | [INFO] [stdout] 70 | let (second_x, second_y) = card.get_second().into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:147:20 [INFO] [stdout] | [INFO] [stdout] 147 | let zero = C::BaseField::ZERO; [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:147:20 [INFO] [stdout] | [INFO] [stdout] 147 | let zero = C::BaseField::ZERO; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 148 | let one = C::BaseField::ONE; [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 148 | let one = C::BaseField::ONE; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:149:25 [INFO] [stdout] | [INFO] [stdout] 149 | let minus_one = -one; [INFO] [stdout] | ^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:169:21 [INFO] [stdout] | [INFO] [stdout] 169 | field_bits.push([zero, zero, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:160:30 [INFO] [stdout] | [INFO] [stdout] 160 | let mut field_bits = Vec::with_capacity(Self::NUM_ITERATIONS); [INFO] [stdout] | ^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:175:21 [INFO] [stdout] | [INFO] [stdout] 175 | field_bits.push([zero, zero, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:181:21 [INFO] [stdout] | [INFO] [stdout] 181 | field_bits.push([one, zero, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:187:21 [INFO] [stdout] | [INFO] [stdout] 187 | field_bits.push([one, zero, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:193:21 [INFO] [stdout] | [INFO] [stdout] 193 | field_bits.push([zero, one, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:199:21 [INFO] [stdout] | [INFO] [stdout] 199 | field_bits.push([zero, one, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:205:21 [INFO] [stdout] | [INFO] [stdout] 205 | field_bits.push([one, one, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:211:21 [INFO] [stdout] | [INFO] [stdout] 211 | field_bits.push([one, one, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:216:18 [INFO] [stdout] | [INFO] [stdout] 216 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/shuffle/remark.rs:157:28 [INFO] [stdout] | [INFO] [stdout] 157 | let mut c1 = input.get_first(); /* r \cdot G */ [INFO] [stdout] | ----- ^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:215:32 [INFO] [stdout] | [INFO] [stdout] 215 | let (c1_x, c1_y) = c1 [INFO] [stdout] | ________________________________^ [INFO] [stdout] 216 | | .into_affine() [INFO] [stdout] 217 | | .xy() [INFO] [stdout] | |_____________________^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:218:29 [INFO] [stdout] | [INFO] [stdout] 218 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:218:49 [INFO] [stdout] | [INFO] [stdout] 218 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:218:49 [INFO] [stdout] | [INFO] [stdout] 218 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:220:18 [INFO] [stdout] | [INFO] [stdout] 220 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/shuffle/remark.rs:158:28 [INFO] [stdout] | [INFO] [stdout] 158 | let mut c2 = input.get_second(); /* M + r \cdot PK */ [INFO] [stdout] | ----- ^^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:219:32 [INFO] [stdout] | [INFO] [stdout] 219 | let (c2_x, c2_y) = c2 [INFO] [stdout] | ________________________________^ [INFO] [stdout] 220 | | .into_affine() [INFO] [stdout] 221 | | .xy() [INFO] [stdout] | |_____________________^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:222:29 [INFO] [stdout] | [INFO] [stdout] 222 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:222:49 [INFO] [stdout] | [INFO] [stdout] 222 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:222:49 [INFO] [stdout] | [INFO] [stdout] 222 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:223:13 [INFO] [stdout] | [INFO] [stdout] 223 | intermediate_values.push([c2_x, c2_y, c1_x, c1_y]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:161:39 [INFO] [stdout] | [INFO] [stdout] 161 | let mut intermediate_values = Vec::with_capacity(Self::NUM_ITERATIONS); [INFO] [stdout] | ^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:228:25 [INFO] [stdout] | [INFO] [stdout] 228 | trace.output = *trace.intermediate_values.last().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:151:25 [INFO] [stdout] | [INFO] [stdout] 151 | let mut trace = RemarkTrace::default(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:228:25 [INFO] [stdout] | [INFO] [stdout] 228 | trace.output = *trace.intermediate_values.last().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:66:32 [INFO] [stdout] | [INFO] [stdout] 66 | let (x1, y1) = self.e1.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:66:24 [INFO] [stdout] | [INFO] [stdout] 66 | let (x1, y1) = self.e1.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:66:24 [INFO] [stdout] | [INFO] [stdout] 66 | let (x1, y1) = self.e1.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:67:32 [INFO] [stdout] | [INFO] [stdout] 67 | let (x2, y2) = self.e2.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:67:24 [INFO] [stdout] | [INFO] [stdout] 67 | let (x2, y2) = self.e2.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:67:24 [INFO] [stdout] | [INFO] [stdout] 67 | let (x2, y2) = self.e2.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:38:29 [INFO] [stdout] | [INFO] [stdout] 38 | let aff_repr = self.into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:39:16 [INFO] [stdout] | [INFO] [stdout] 39 | let x: G::BaseField = aff_repr.x().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:39:54 [INFO] [stdout] | [INFO] [stdout] 39 | let x: G::BaseField = aff_repr.x().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:39:54 [INFO] [stdout] | [INFO] [stdout] 39 | let x: G::BaseField = aff_repr.x().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:40:16 [INFO] [stdout] | [INFO] [stdout] 40 | let y: G::BaseField = aff_repr.y().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:40:54 [INFO] [stdout] | [INFO] [stdout] 40 | let y: G::BaseField = aff_repr.y().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/poly_commit/kzg_poly_commitment.rs:40:54 [INFO] [stdout] | [INFO] [stdout] 40 | let y: G::BaseField = aff_repr.y().unwrap_or(G::BaseField::ZERO); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | x.serialize_with_mode(&mut buf_x, Compress::Yes).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/poly_commit/kzg_poly_commitment.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | y.serialize_with_mode(&mut buf_y, Compress::Yes).unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:63:18 [INFO] [stdout] | [INFO] [stdout] 63 | let affine = G::Affine::from(*p); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:63:18 [INFO] [stdout] | [INFO] [stdout] 63 | let affine = G::Affine::from(*p); [INFO] [stdout] | ^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:63:18 [INFO] [stdout] | [INFO] [stdout] 63 | let affine = G::Affine::from(*p); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/utils/serialization.rs:64:18 [INFO] [stdout] | [INFO] [stdout] 64 | let (x, y) = affine.xy().unwrap_or((F::zero(), F::zero())); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:147:20 [INFO] [stdout] | [INFO] [stdout] 147 | let zero = C::BaseField::ZERO; [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:147:20 [INFO] [stdout] | [INFO] [stdout] 147 | let zero = C::BaseField::ZERO; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 148 | let one = C::BaseField::ONE; [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:148:19 [INFO] [stdout] | [INFO] [stdout] 148 | let one = C::BaseField::ONE; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:149:25 [INFO] [stdout] | [INFO] [stdout] 149 | let minus_one = -one; [INFO] [stdout] | ^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:169:21 [INFO] [stdout] | [INFO] [stdout] 169 | field_bits.push([zero, zero, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:160:30 [INFO] [stdout] | [INFO] [stdout] 160 | let mut field_bits = Vec::with_capacity(Self::NUM_ITERATIONS); [INFO] [stdout] | ^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:175:21 [INFO] [stdout] | [INFO] [stdout] 175 | field_bits.push([zero, zero, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:181:21 [INFO] [stdout] | [INFO] [stdout] 181 | field_bits.push([one, zero, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:187:21 [INFO] [stdout] | [INFO] [stdout] 187 | field_bits.push([one, zero, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:193:21 [INFO] [stdout] | [INFO] [stdout] 193 | field_bits.push([zero, one, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:199:21 [INFO] [stdout] | [INFO] [stdout] 199 | field_bits.push([zero, one, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:205:21 [INFO] [stdout] | [INFO] [stdout] 205 | field_bits.push([one, one, minus_one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:211:21 [INFO] [stdout] | [INFO] [stdout] 211 | field_bits.push([one, one, one]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:216:18 [INFO] [stdout] | [INFO] [stdout] 216 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/shuffle/remark.rs:157:28 [INFO] [stdout] | [INFO] [stdout] 157 | let mut c1 = input.get_first(); /* r \cdot G */ [INFO] [stdout] | ----- ^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:215:32 [INFO] [stdout] | [INFO] [stdout] 215 | let (c1_x, c1_y) = c1 [INFO] [stdout] | ________________________________^ [INFO] [stdout] 216 | | .into_affine() [INFO] [stdout] 217 | | .xy() [INFO] [stdout] | |_____________________^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:218:29 [INFO] [stdout] | [INFO] [stdout] 218 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:218:49 [INFO] [stdout] | [INFO] [stdout] 218 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:218:49 [INFO] [stdout] | [INFO] [stdout] 218 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:220:18 [INFO] [stdout] | [INFO] [stdout] 220 | .into_affine() [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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/shuffle/remark.rs:158:28 [INFO] [stdout] | [INFO] [stdout] 158 | let mut c2 = input.get_second(); /* M + r \cdot PK */ [INFO] [stdout] | ----- ^^^^^^^^^^^^ `Neg::Output` is `C` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `&Ciphertext` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:219:32 [INFO] [stdout] | [INFO] [stdout] 219 | let (c2_x, c2_y) = c2 [INFO] [stdout] | ________________________________^ [INFO] [stdout] 220 | | .into_affine() [INFO] [stdout] 221 | | .xy() [INFO] [stdout] | |_____________________^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:222:29 [INFO] [stdout] | [INFO] [stdout] 222 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:222:49 [INFO] [stdout] | [INFO] [stdout] 222 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::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_zypher::CurveGroup::BaseField` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::BaseField` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/lib.rs:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | type BaseField: Field; [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/shuffle/remark.rs:222:49 [INFO] [stdout] | [INFO] [stdout] 222 | .unwrap_or((C::BaseField::ZERO, C::BaseField::ONE)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:223:13 [INFO] [stdout] | [INFO] [stdout] 223 | intermediate_values.push([c2_x, c2_y, c1_x, c1_y]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:161:39 [INFO] [stdout] | [INFO] [stdout] 161 | let mut intermediate_values = Vec::with_capacity(Self::NUM_ITERATIONS); [INFO] [stdout] | ^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:228:25 [INFO] [stdout] | [INFO] [stdout] 228 | trace.output = *trace.intermediate_values.last().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:151:25 [INFO] [stdout] | [INFO] [stdout] 151 | let mut trace = RemarkTrace::default(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/remark.rs:228:25 [INFO] [stdout] | [INFO] [stdout] 228 | trace.output = *trace.intermediate_values.last().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:66:32 [INFO] [stdout] | [INFO] [stdout] 66 | let (x1, y1) = self.e1.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:66:24 [INFO] [stdout] | [INFO] [stdout] 66 | let (x1, y1) = self.e1.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:66:24 [INFO] [stdout] | [INFO] [stdout] 66 | let (x1, y1) = self.e1.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:67:32 [INFO] [stdout] | [INFO] [stdout] 67 | let (x2, y2) = self.e2.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:67:24 [INFO] [stdout] | [INFO] [stdout] 67 | let (x2, y2) = self.e2.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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/shuffle/mod.rs:67:24 [INFO] [stdout] | [INFO] [stdout] 67 | let (x2, y2) = self.e2.into_affine().xy().unwrap(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec_zypher::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine as std::ops::Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-zypher-0.4.2/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] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `uzkge` (lib) due to 65 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `uzkge` (lib test) due to 65 previous errors [INFO] running `Command { std: "docker" "inspect" "104a16d9716ab88f05d81ae014d3b3408af10b69a33be44e8337646e5275e3da", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "104a16d9716ab88f05d81ae014d3b3408af10b69a33be44e8337646e5275e3da", kill_on_drop: false }` [INFO] [stdout] 104a16d9716ab88f05d81ae014d3b3408af10b69a33be44e8337646e5275e3da