[INFO] fetching crate komodo 1.0.1... [INFO] checking komodo-1.0.1 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate komodo 1.0.1 into /workspace/builds/worker-6-tc2/source [INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain.toml [INFO] started tweaking crates.io crate komodo 1.0.1 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate komodo 1.0.1 [INFO] tweaked toml for crates.io crate komodo 1.0.1 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate komodo 1.0.1 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate komodo 1.0.1 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-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 79f0765f2193dea03824f31376445e614eec283a4d67eb6a1b6c5448285b2396 [INFO] running `Command { std: "docker" "start" "-a" "79f0765f2193dea03824f31376445e614eec283a4d67eb6a1b6c5448285b2396", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "79f0765f2193dea03824f31376445e614eec283a4d67eb6a1b6c5448285b2396", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "79f0765f2193dea03824f31376445e614eec283a4d67eb6a1b6c5448285b2396", kill_on_drop: false }` [INFO] [stdout] 79f0765f2193dea03824f31376445e614eec283a4d67eb6a1b6c5448285b2396 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zstrict-projection-item-bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 56dac6c1153adc4d0514232fbf2115d7ea65cf93fab08effc915eb9bbb0642a4 [INFO] running `Command { std: "docker" "start" "-a" "56dac6c1153adc4d0514232fbf2115d7ea65cf93fab08effc915eb9bbb0642a4", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Compiling anyhow v1.0.86 [INFO] [stderr] Checking log v0.4.21 [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 sharded-slab v0.1.7 [INFO] [stderr] Compiling syn v2.0.52 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking tracing-subscriber v0.3.18 [INFO] [stderr] Checking rs_merkle v1.4.2 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking ark-std v0.4.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling thiserror-impl v1.0.57 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Checking zeroize v1.7.0 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking ark-serialize v0.4.2 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking thiserror v1.0.57 [INFO] [stderr] Checking ark-ff v0.4.2 [INFO] [stderr] Checking ark-poly v0.4.2 [INFO] [stderr] Checking ark-ec v0.4.2 [INFO] [stderr] Checking ark-bls12-381 v0.4.0 [INFO] [stderr] Checking komodo v1.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition value: `parallel` [INFO] [stdout] --> src/zk.rs:118:18 [INFO] [stdout] | [INFO] [stdout] 118 | let coeffs = ark_std::cfg_iter!(p) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `aplonk`, `fs`, and `kzg` [INFO] [stdout] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `ark_std::cfg_iter` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `ark_std::cfg_iter` may come from an old version of the `ark_std` crate, try updating your dependency with `cargo update -p ark_std` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] = note: this warning originates in the macro `ark_std::cfg_iter` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `parallel` [INFO] [stdout] --> src/zk.rs:118:18 [INFO] [stdout] | [INFO] [stdout] 118 | let coeffs = ark_std::cfg_iter!(p) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `aplonk`, `fs`, and `kzg` [INFO] [stdout] = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate [INFO] [stdout] = help: try referring to `ark_std::cfg_iter` crate for guidance on how handle this unexpected cfg [INFO] [stdout] = help: the macro `ark_std::cfg_iter` may come from an old version of the `ark_std` crate, try updating your dependency with `cargo update -p ark_std` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: this warning originates in the macro `ark_std::cfg_iter` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:157:36 [INFO] [stdout] | [INFO] [stdout] 157 | pub struct Block> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 157 | pub struct Block> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:157:36 [INFO] [stdout] | [INFO] [stdout] 157 | pub struct Block> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 157 | pub struct Block> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:162:24 [INFO] [stdout] | [INFO] [stdout] 162 | impl> std::fmt::Display for Block { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 162 | impl> std::fmt::Display for Block where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:221:33 [INFO] [stdout] | [INFO] [stdout] 221 | pub fn recode>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 224 | ) -> Result>, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:255:8 [INFO] [stdout] | [INFO] [stdout] 255 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 257 | for<'a, 'b> &'a P: Div<&'b P, Output = P>, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:289:8 [INFO] [stdout] | [INFO] [stdout] 289 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 291 | for<'a, 'b> &'a P: Div<&'b P, Output = P>, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:309:8 [INFO] [stdout] | [INFO] [stdout] 309 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 311 | for<'a, 'b> &'a P: Div<&'b P, Output = P>, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:28:37 [INFO] [stdout] | [INFO] [stdout] 28 | pub struct Powers>(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 28 | pub struct Powers>(Vec) where ::Affine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:28:37 [INFO] [stdout] | [INFO] [stdout] 28 | pub struct Powers>(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:28:37 [INFO] [stdout] | [INFO] [stdout] 28 | pub struct Powers>(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 28 | pub struct Powers> where ::Affine: Neg(Vec); [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:28:37 [INFO] [stdout] | [INFO] [stdout] 28 | pub struct Powers>(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 28 | pub struct Powers>(Vec) where ::Affine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:30:24 [INFO] [stdout] | [INFO] [stdout] 30 | impl> Powers { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 30 | impl> Powers where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:36:24 [INFO] [stdout] | [INFO] [stdout] 36 | impl> IntoIterator for Powers { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 36 | impl> IntoIterator for Powers where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:53:41 [INFO] [stdout] | [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement [INFO] [stdout] | [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine) where ::Affine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:53:41 [INFO] [stdout] | [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:53:41 [INFO] [stdout] | [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 53 | pub struct Commitment> where ::Affine: Neg(pub G::Affine); [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:53:41 [INFO] [stdout] | [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine) where ::Affine: Neg; [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:60:32 [INFO] [stdout] | [INFO] [stdout] 60 | pub fn setup>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ) -> Result, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 136 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 137 | P: DenseUVPolynomial, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:174:8 [INFO] [stdout] | [INFO] [stdout] 174 | G: CurveGroup, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 176 | for<'a, 'b> &'a P: Div<&'b P, Output = P>, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:157:36 [INFO] [stdout] | [INFO] [stdout] 157 | pub struct Block> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:162:24 [INFO] [stdout] | [INFO] [stdout] 162 | impl> std::fmt::Display for Block { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 163 | fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:30:24 [INFO] [stdout] | [INFO] [stdout] 30 | impl> Powers { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 31 | fn len(&self) -> usize where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:37:17 [INFO] [stdout] | [INFO] [stdout] 37 | type Item = G::Affine; [INFO] [stdout] | ^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 36 | impl> IntoIterator for Powers where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | type IntoIter = std::vec::IntoIter; [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 36 | impl> IntoIterator for Powers where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:36:24 [INFO] [stdout] | [INFO] [stdout] 36 | impl> IntoIterator for Powers { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | fn into_iter(self) -> Self::IntoIter where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:202:27 [INFO] [stdout] | [INFO] [stdout] 202 | write!(f, r#""{}","#, commit.0)?; [INFO] [stdout] | ^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 163 | fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:322:23 [INFO] [stdout] | [INFO] [stdout] 322 | .map(|(i, w)| block.proof[i].0.into() * w) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 311 | for<'a, 'b> &'a P: Div<&'b P, Output = P>, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/semi_avid.rs:324:8 [INFO] [stdout] | [INFO] [stdout] 324 | Ok(commit.0.into() == rhs) [INFO] [stdout] | ^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 311 | for<'a, 'b> &'a P: Div<&'b P, Output = P>, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:28:66 [INFO] [stdout] | [INFO] [stdout] 27 | #[derive(Debug, Clone, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ----- in this derive macro expansion [INFO] [stdout] 28 | pub struct Powers>(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:28:66 [INFO] [stdout] | [INFO] [stdout] 27 | #[derive(Debug, Clone, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ------- in this derive macro expansion [INFO] [stdout] 28 | pub struct Powers>(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:27:33 [INFO] [stdout] | [INFO] [stdout] 27 | #[derive(Debug, Clone, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalSerialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:27:53 [INFO] [stdout] | [INFO] [stdout] 27 | #[derive(Debug, Clone, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalDeserialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:28:66 [INFO] [stdout] | [INFO] [stdout] 27 | #[derive(Debug, Clone, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | --------- in this derive macro expansion [INFO] [stdout] 28 | pub struct Powers>(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | self.0.len() [INFO] [stdout] | ^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 31 | fn len(&self) -> usize where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | self.0.into_iter() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | fn into_iter(self) -> Self::IntoIter where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:53:70 [INFO] [stdout] | [INFO] [stdout] 52 | #[derive(Debug, Clone, Copy, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ----- in this derive macro expansion [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine); [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:53:70 [INFO] [stdout] | [INFO] [stdout] 52 | #[derive(Debug, Clone, Copy, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ------- in this derive macro expansion [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine); [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:52:39 [INFO] [stdout] | [INFO] [stdout] 52 | #[derive(Debug, Clone, Copy, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalSerialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:52:59 [INFO] [stdout] | [INFO] [stdout] 52 | #[derive(Debug, Clone, Copy, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] = note: this error originates in the derive macro `CanonicalDeserialize` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:53:70 [INFO] [stdout] | [INFO] [stdout] 52 | #[derive(Debug, Clone, Copy, Default, CanonicalSerialize, CanonicalDeserialize, PartialEq)] [INFO] [stdout] | --------- in this derive macro expansion [INFO] [stdout] 53 | pub struct Commitment>(pub G::Affine); [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:83:19 [INFO] [stdout] | [INFO] [stdout] 83 | let g_table = FixedBase::get_window_table(scalar_bits, window_size, g); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ) -> Result, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:84:69 [INFO] [stdout] | [INFO] [stdout] 84 | let powers_of_g = FixedBase::msm::(scalar_bits, window_size, &g_table, &powers_of_beta); [INFO] [stdout] | ^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ) -> Result, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:87:26 [INFO] [stdout] | [INFO] [stdout] 87 | let powers_of_g: Vec = G::normalize_batch(&powers_of_g); [INFO] [stdout] | ^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `ark_ec::CurveGroup::Affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::Affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:140:10 [INFO] [stdout] | [INFO] [stdout] 140 | type Affine: AffineRepr< [INFO] [stdout] | ------ required by a bound in this associated type [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ) -> Result, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:87:58 [INFO] [stdout] | [INFO] [stdout] 87 | let powers_of_g: Vec = G::normalize_batch(&powers_of_g); [INFO] [stdout] | ------------------ ^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `normalize_batch` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | fn normalize_batch(v: &[Self]) -> Vec; [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ) -> Result, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:87:39 [INFO] [stdout] | [INFO] [stdout] 87 | let powers_of_g: Vec = G::normalize_batch(&powers_of_g); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ) -> Result, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:90:15 [INFO] [stdout] | [INFO] [stdout] 90 | Ok(Powers(powers_of_g)) [INFO] [stdout] | ^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 63 | ) -> Result, KomodoError> where ::Affine: Neg { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:148:9 [INFO] [stdout] | [INFO] [stdout] 148 | &powers.0[num_leading_zeros..], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 137 | P: DenseUVPolynomial, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:148:10 [INFO] [stdout] | [INFO] [stdout] 148 | &powers.0[num_leading_zeros..], [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 137 | P: DenseUVPolynomial, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::Affine: Neg` is not satisfied [INFO] [stdout] --> src/zk.rs:155:19 [INFO] [stdout] | [INFO] [stdout] 155 | Ok(Commitment(commitment.into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `::Affine` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `CurveGroup` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:41:11 [INFO] [stdout] | [INFO] [stdout] 41 | + Neg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:123:11 [INFO] [stdout] | [INFO] [stdout] 123 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 137 | P: DenseUVPolynomial, ::Affine: Neg [INFO] [stdout] | ++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `komodo` (lib) due to 50 previous errors; 2 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "56dac6c1153adc4d0514232fbf2115d7ea65cf93fab08effc915eb9bbb0642a4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "56dac6c1153adc4d0514232fbf2115d7ea65cf93fab08effc915eb9bbb0642a4", kill_on_drop: false }` [INFO] [stdout] 56dac6c1153adc4d0514232fbf2115d7ea65cf93fab08effc915eb9bbb0642a4