[INFO] cloning repository https://github.com/msrylkin/zk-learning
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/msrylkin/zk-learning" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmsrylkin%2Fzk-learning", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmsrylkin%2Fzk-learning'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 21571abb4dc04fc0d05722bd3cb898c31b5d4d72
[INFO] checking msrylkin/zk-learning against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmsrylkin%2Fzk-learning" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/msrylkin/zk-learning
[INFO] finished tweaking git repo https://github.com/msrylkin/zk-learning
[INFO] tweaked toml for git repo https://github.com/msrylkin/zk-learning written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/msrylkin/zk-learning on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/msrylkin/zk-learning 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-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] aeba831a88ed051c32103b702d5d8c6ebd92a6af719a1d952d1eae692379d559
[INFO] running `Command { std: "docker" "start" "-a" "aeba831a88ed051c32103b702d5d8c6ebd92a6af719a1d952d1eae692379d559", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "aeba831a88ed051c32103b702d5d8c6ebd92a6af719a1d952d1eae692379d559", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aeba831a88ed051c32103b702d5d8c6ebd92a6af719a1d952d1eae692379d559", kill_on_drop: false }`
[INFO] [stdout] aeba831a88ed051c32103b702d5d8c6ebd92a6af719a1d952d1eae692379d559
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 59ffb61ded932c1ad4056068cda579e907338b814171e5dd026bf5e22ef6153c
[INFO] running `Command { std: "docker" "start" "-a" "59ffb61ded932c1ad4056068cda579e907338b814171e5dd026bf5e22ef6153c", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]    Compiling zerocopy v0.8.24
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]    Compiling libc v0.2.171
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling getrandom v0.3.2
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking ahash v0.8.11
[INFO] [stderr]     Checking hashbrown v0.15.2
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking crypto-mac v0.8.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking blake2 v0.9.2
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking rand v0.9.0
[INFO] [stderr]     Checking ark-std v0.3.0
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]    Compiling ark-serialize-derive v0.3.0
[INFO] [stderr]    Compiling ark-ff-asm v0.3.0
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-macros v0.3.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.1
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0
[INFO] [stderr]     Checking ark-serialize v0.3.0
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]    Compiling enum-ordinalize v4.3.0
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]    Compiling pest v2.8.0
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]    Compiling semver-parser v0.10.3
[INFO] [stderr]    Compiling semver v0.11.0
[INFO] [stderr]    Compiling rustc_version v0.3.3
[INFO] [stderr]     Checking ark-ff v0.5.0
[INFO] [stderr]    Compiling ark-ff v0.3.0
[INFO] [stderr]     Checking ark-poly v0.5.0
[INFO] [stderr]     Checking ark-relations v0.3.0
[INFO] [stderr]     Checking ark-ec v0.3.0
[INFO] [stderr]     Checking ark-snark v0.3.0
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking ark-r1cs-std v0.3.1
[INFO] [stderr]     Checking ark-crypto-primitives v0.3.0
[INFO] [stderr]     Checking ark-test-curves v0.5.0
[INFO] [stderr]     Checking arkworks-mimc v0.3.0
[INFO] [stderr]     Checking zk-learning v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:62:50
[INFO] [stdout]     |
[INFO] [stdout]  62 |         transcript.append_abc_commitments(a_comm.into_affine(), b_comm.into_affine(), c_comm.into_affine());
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:62:72
[INFO] [stdout]     |
[INFO] [stdout]  62 |         transcript.append_abc_commitments(a_comm.into_affine(), b_comm.into_affine(), c_comm.into_affine());
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:62:94
[INFO] [stdout]     |
[INFO] [stdout]  62 |         transcript.append_abc_commitments(a_comm.into_affine(), b_comm.into_affine(), c_comm.into_affine());
[INFO] [stdout]     |                                                                                              ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:72:47
[INFO] [stdout]     |
[INFO] [stdout]  72 |         transcript.append_z_commitment(z_comm.into_affine());
[INFO] [stdout]     |                                               ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: the method call chain might not have had the expected associated types
[INFO] [stdout]    --> src/plonk/prover.rs:69:31
[INFO] [stdout]     |
[INFO] [stdout]  69 |         let z_comm = self.kzg.commit(&z_poly);
[INFO] [stdout]     |                      -------- ^^^^^^^^^^^^^^^ `Neg::Output` is `<P as Pairing>::G1` here
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      this expression has type `&KZG<P>`
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:84:39
[INFO] [stdout]     |
[INFO] [stdout]  84 |         transcript.append_t(t_lo_comm.into_affine(), t_mid_comm.into_affine(), t_hi_comm.into_affine());
[INFO] [stdout]     |                                       ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:84:65
[INFO] [stdout]     |
[INFO] [stdout]  84 |         transcript.append_t(t_lo_comm.into_affine(), t_mid_comm.into_affine(), t_hi_comm.into_affine());
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:84:90
[INFO] [stdout]     |
[INFO] [stdout]  84 |         transcript.append_t(t_lo_comm.into_affine(), t_mid_comm.into_affine(), t_hi_comm.into_affine());
[INFO] [stdout]     |                                                                                          ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:146:59
[INFO] [stdout]     |
[INFO] [stdout] 146 | ...proof.commitments.a.into_affine(), proof.commitments.b.into_affine(), proof.commitments.c.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:146:94
[INFO] [stdout]     |
[INFO] [stdout] 146 | ...proof.commitments.b.into_affine(), proof.commitments.c.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:146:129
[INFO] [stdout]     |
[INFO] [stdout] 146 | ...proof.commitments.c.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:147:56
[INFO] [stdout]     |
[INFO] [stdout] 147 |     transcript.append_z_commitment(proof.commitments.z.into_affine());
[INFO] [stdout]     |                                                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:148:48
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...of.commitments.t_lo.into_affine(), proof.commitments.t_mid.into_affine(), proof.commitments.t_hi.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:148:87
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...f.commitments.t_mid.into_affine(), proof.commitments.t_hi.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:148:125
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...of.commitments.t_hi.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:150:66
[INFO] [stdout]     |
[INFO] [stdout] 150 |     transcript.append_opening_proofs(proof.opening_proofs.w_zeta.into_affine(), proof.opening_proofs.w_zeta_omega.into_affine());
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:150:115
[INFO] [stdout]     |
[INFO] [stdout] 150 |     transcript.append_opening_proofs(proof.opening_proofs.w_zeta.into_affine(), proof.opening_proofs.w_zeta_omega.into_affine());
[INFO] [stdout]     |                                                                                                                   ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:62:50
[INFO] [stdout]     |
[INFO] [stdout]  62 |         transcript.append_abc_commitments(a_comm.into_affine(), b_comm.into_affine(), c_comm.into_affine());
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:62:72
[INFO] [stdout]     |
[INFO] [stdout]  62 |         transcript.append_abc_commitments(a_comm.into_affine(), b_comm.into_affine(), c_comm.into_affine());
[INFO] [stdout]     |                                                                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:62:94
[INFO] [stdout]     |
[INFO] [stdout]  62 |         transcript.append_abc_commitments(a_comm.into_affine(), b_comm.into_affine(), c_comm.into_affine());
[INFO] [stdout]     |                                                                                              ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:72:47
[INFO] [stdout]     |
[INFO] [stdout]  72 |         transcript.append_z_commitment(z_comm.into_affine());
[INFO] [stdout]     |                                               ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: the method call chain might not have had the expected associated types
[INFO] [stdout]    --> src/plonk/prover.rs:69:31
[INFO] [stdout]     |
[INFO] [stdout]  69 |         let z_comm = self.kzg.commit(&z_poly);
[INFO] [stdout]     |                      -------- ^^^^^^^^^^^^^^^ `Neg::Output` is `<P as Pairing>::G1` here
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      this expression has type `&KZG<P>`
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:84:39
[INFO] [stdout]     |
[INFO] [stdout]  84 |         transcript.append_t(t_lo_comm.into_affine(), t_mid_comm.into_affine(), t_hi_comm.into_affine());
[INFO] [stdout]     |                                       ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:84:65
[INFO] [stdout]     |
[INFO] [stdout]  84 |         transcript.append_t(t_lo_comm.into_affine(), t_mid_comm.into_affine(), t_hi_comm.into_affine());
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/prover.rs:84:90
[INFO] [stdout]     |
[INFO] [stdout]  84 |         transcript.append_t(t_lo_comm.into_affine(), t_mid_comm.into_affine(), t_hi_comm.into_affine());
[INFO] [stdout]     |                                                                                          ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0271`.
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:146:59
[INFO] [stdout]     |
[INFO] [stdout] 146 | ...proof.commitments.a.into_affine(), proof.commitments.b.into_affine(), proof.commitments.c.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:146:94
[INFO] [stdout]     |
[INFO] [stdout] 146 | ...proof.commitments.b.into_affine(), proof.commitments.c.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:146:129
[INFO] [stdout]     |
[INFO] [stdout] 146 | ...proof.commitments.c.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:147:56
[INFO] [stdout]     |
[INFO] [stdout] 147 |     transcript.append_z_commitment(proof.commitments.z.into_affine());
[INFO] [stdout]     |                                                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:148:48
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...of.commitments.t_lo.into_affine(), proof.commitments.t_mid.into_affine(), proof.commitments.t_hi.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:148:87
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...f.commitments.t_mid.into_affine(), proof.commitments.t_hi.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:148:125
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...of.commitments.t_hi.into_affine());
[INFO] [stdout]     |                        ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `zk-learning` (lib) due to 16 previous errors
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:150:66
[INFO] [stdout]     |
[INFO] [stdout] 150 |     transcript.append_opening_proofs(proof.opening_proofs.w_zeta.into_affine(), proof.opening_proofs.w_zeta_omega.into_affine());
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0271]: type mismatch resolving `<<P as Pairing>::G1Affine as Neg>::Output == <P as Pairing>::G1Affine`
[INFO] [stdout]    --> src/plonk/verifier.rs:150:115
[INFO] [stdout]     |
[INFO] [stdout] 150 |     transcript.append_opening_proofs(proof.opening_proofs.w_zeta.into_affine(), proof.opening_proofs.w_zeta_omega.into_affine());
[INFO] [stdout]     |                                                                                                                   ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected associated type `<P as Pairing>::G1Affine`
[INFO] [stdout]                found associated type `<<P as Pairing>::G1Affine as Neg>::Output`
[INFO] [stdout]     = note: an associated type was expected, but a different one was found
[INFO] [stdout] note: required by a bound in `into_affine`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15
[INFO] [stdout]     |
[INFO] [stdout]  82 |         + Neg<Output = Self::MulBase>
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0271`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `zk-learning` (lib test) due to 16 previous errors
[INFO] running `Command { std: "docker" "inspect" "59ffb61ded932c1ad4056068cda579e907338b814171e5dd026bf5e22ef6153c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "59ffb61ded932c1ad4056068cda579e907338b814171e5dd026bf5e22ef6153c", kill_on_drop: false }`
[INFO] [stdout] 59ffb61ded932c1ad4056068cda579e907338b814171e5dd026bf5e22ef6153c