[INFO] cloning repository https://github.com/0glabs/groth-16-gpu
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/0glabs/groth-16-gpu" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0glabs%2Fgroth-16-gpu", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0glabs%2Fgroth-16-gpu'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 21414deaea99b0092c2dadc44b9702eafc8b73d7
[INFO] checking 0glabs/groth-16-gpu 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%2F0glabs%2Fgroth-16-gpu" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/0glabs/groth-16-gpu
[INFO] finished tweaking git repo https://github.com/0glabs/groth-16-gpu
[INFO] tweaked toml for git repo https://github.com/0glabs/groth-16-gpu written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/0glabs/groth-16-gpu 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/0glabs/groth-16-gpu 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] 913034061d72ec6265cbfdcbd7d17a644ab342d2547dff0070ae953f6ae9f159
[INFO] running `Command { std: "docker" "start" "-a" "913034061d72ec6265cbfdcbd7d17a644ab342d2547dff0070ae953f6ae9f159", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "913034061d72ec6265cbfdcbd7d17a644ab342d2547dff0070ae953f6ae9f159", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "913034061d72ec6265cbfdcbd7d17a644ab342d2547dff0070ae953f6ae9f159", kill_on_drop: false }`
[INFO] [stdout] 913034061d72ec6265cbfdcbd7d17a644ab342d2547dff0070ae953f6ae9f159
[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] 289c94c0a42f223454be06c9fdd3a97a5dbae17631b20564ec7ac5294881cd6f
[INFO] running `Command { std: "docker" "start" "-a" "289c94c0a42f223454be06c9fdd3a97a5dbae17631b20564ec7ac5294881cd6f", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.85
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking ppv-lite86 v0.2.17
[INFO] [stderr]     Checking either v1.12.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking typenum v1.17.0
[INFO] [stderr]     Checking zerocopy v0.7.34
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]     Checking crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking once_cell v1.19.0
[INFO] [stderr]     Checking num-bigint v0.4.5
[INFO] [stderr]     Checking subtle v2.5.0
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking tracing-core v0.1.32
[INFO] [stderr]     Checking pin-project-lite v0.2.14
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]     Checking cpufeatures v0.2.12
[INFO] [stderr]     Checking memchr v2.7.2
[INFO] [stderr]     Checking sha2 v0.10.8
[INFO] [stderr]     Checking csv-core v0.1.11
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]     Checking csv v1.3.0
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-relations v0.4.0
[INFO] [stderr]     Checking ark-snark v0.4.0
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-crypto-primitives v0.4.0
[INFO] [stderr]     Checking ark-bn254 v0.4.0
[INFO] [stderr]     Checking ark-groth16 v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking ark-r1cs-std v0.4.0
[INFO] [stderr]     Checking ark-bls12-377 v0.4.0
[INFO] [stderr]     Checking ark-bls12-381 v0.4.0
[INFO] [stdout] error[E0277]: the trait bound `<T as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/gpu.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 | impl<T: CurveGroup> GpuVariableBaseMSM for T {
[INFO] [stdout]     |         ^^^^^^^^^^ the trait `Neg` is not implemented for `<T as CurveGroup>::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<Output = Self::MulBase>;
[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] 103 | impl<T: CurveGroup> GpuVariableBaseMSM for T where <T as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |                                              ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed: cannot satisfy `for<'a> G: Mul<&'a <G as AffineRepr>::ScalarField>`
[INFO] [stdout]    --> src/prover.rs:253:27
[INFO] [stdout]     |
[INFO] [stdout] 253 |     fn calculate_coeff<G: AffineRepr>(
[INFO] [stdout]     |                           ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `for<'a> G: Mul<&'a <G as AffineRepr>::ScalarField>` found
[INFO] [stdout]    --> src/prover.rs:253:27
[INFO] [stdout]     |
[INFO] [stdout] 253 |     fn calculate_coeff<G: AffineRepr>(
[INFO] [stdout]     |                           ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:40:11
[INFO] [stdout]     |
[INFO] [stdout]  40 |         + for<'a> Mul<&'a Self::ScalarField, Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `AffineRepr`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:190:7
[INFO] [stdout]     |
[INFO] [stdout] 167 | pub trait AffineRepr:
[INFO] [stdout]     |           ---------- required by a bound in this trait
[INFO] [stdout] ...
[INFO] [stdout] 190 |     + for<'a> Mul<&'a Self::ScalarField, Output = Self::Group>
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AffineRepr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<T as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/gpu.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 | impl<T: CurveGroup> GpuVariableBaseMSM for T {
[INFO] [stdout]     |         ^^^^^^^^^^ the trait `Neg` is not implemented for `<T as CurveGroup>::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<Output = Self::MulBase>;
[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] 107 |     ) -> Self where <T as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |               ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:199:32
[INFO] [stdout]     |
[INFO] [stdout] 199 |             alpha_g1: alpha_g1.into_affine(),
[INFO] [stdout]     |                                ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:200:30
[INFO] [stdout]     |
[INFO] [stdout] 200 |             beta_g2: beta_g2.into_affine(),
[INFO] [stdout]     |                              ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G2Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:201:32
[INFO] [stdout]     |
[INFO] [stdout] 201 |             gamma_g2: gamma_g2.into_affine(),
[INFO] [stdout]     |                                ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G2Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:202:32
[INFO] [stdout]     |
[INFO] [stdout] 202 |             delta_g2: delta_g2.into_affine(),
[INFO] [stdout]     |                                ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G2Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:203:50
[INFO] [stdout]     |
[INFO] [stdout] 203 |             gamma_abc_g1: E::G1::normalize_batch(&gamma_abc_g1),
[INFO] [stdout]     |                           ---------------------- ^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[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<Output = Self::MulBase>;
[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<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:207:46
[INFO] [stdout]     |
[INFO] [stdout] 207 |         let a_query = E::G1::normalize_batch(&a_query);
[INFO] [stdout]     |                       ---------------------- ^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[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<Output = Self::MulBase>;
[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<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:208:49
[INFO] [stdout]     |
[INFO] [stdout] 208 |         let b_g1_query = E::G1::normalize_batch(&b_g1_query);
[INFO] [stdout]     |                          ---------------------- ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[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<Output = Self::MulBase>;
[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<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:209:49
[INFO] [stdout]     |
[INFO] [stdout] 209 |         let b_g2_query = E::G2::normalize_batch(&b_g2_query);
[INFO] [stdout]     |                          ---------------------- ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[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<Output = Self::MulBase>;
[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<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G2Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:210:46
[INFO] [stdout]     |
[INFO] [stdout] 210 |         let h_query = E::G1::normalize_batch(&h_query);
[INFO] [stdout]     |                       ---------------------- ^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[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<Output = Self::MulBase>;
[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<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:211:46
[INFO] [stdout]     |
[INFO] [stdout] 211 |         let l_query = E::G1::normalize_batch(&l_query);
[INFO] [stdout]     |                       ---------------------- ^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[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<Output = Self::MulBase>;
[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<Self::Affine>;
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:217:30
[INFO] [stdout]     |
[INFO] [stdout] 217 |             beta_g1: beta_g1.into_affine(),
[INFO] [stdout]     |                              ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/generator.rs:218:32
[INFO] [stdout]     |
[INFO] [stdout] 218 |             delta_g1: delta_g1.into_affine(),
[INFO] [stdout]     |                                ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  60 |         C: ConstraintSynthesizer<E::ScalarField>, <E as Pairing>::G1Affine: Neg
[INFO] [stdout]     |                                                   +++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:93:19
[INFO] [stdout]     |
[INFO] [stdout]  93 |         let g_a = Self::calculate_coeff(r_g1, &pk.a_query, pk.vk.alpha_g1, &assignment);
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `prover::<impl Groth16<E, D, QAP>>::calculate_coeff`
[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<Output = Self::MulBase>;
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `prover::<impl Groth16<E, D, QAP>>::calculate_coeff`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:253:8
[INFO] [stdout]     |
[INFO] [stdout] 253 |     fn calculate_coeff<G: AffineRepr>(
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  58 |     ) -> R1CSResult<Proof<E>> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:102:24
[INFO] [stdout]     |
[INFO] [stdout] 102 |             let g1_b = Self::calculate_coeff(s_g1, &pk.b_g1_query, pk.beta_g1, &assignment);
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `prover::<impl Groth16<E, D, QAP>>::calculate_coeff`
[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<Output = Self::MulBase>;
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `prover::<impl Groth16<E, D, QAP>>::calculate_coeff`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:253:8
[INFO] [stdout]     |
[INFO] [stdout] 253 |     fn calculate_coeff<G: AffineRepr>(
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  58 |     ) -> R1CSResult<Proof<E>> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:114:20
[INFO] [stdout]     |
[INFO] [stdout] 114 |         let g2_b = Self::calculate_coeff(s_g2, &pk.b_g2_query, pk.vk.beta_g2, &assignment);
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `prover::<impl Groth16<E, D, QAP>>::calculate_coeff`
[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<Output = Self::MulBase>;
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `prover::<impl Groth16<E, D, QAP>>::calculate_coeff`
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/prover.rs:253:8
[INFO] [stdout]     |
[INFO] [stdout] 253 |     fn calculate_coeff<G: AffineRepr>(
[INFO] [stdout]     |        --------------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  58 |     ) -> R1CSResult<Proof<E>> where <E as Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:129:20
[INFO] [stdout]     |
[INFO] [stdout] 129 |             a: g_a.into_affine(),
[INFO] [stdout]     |                    ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  58 |     ) -> R1CSResult<Proof<E>> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:130:21
[INFO] [stdout]     |
[INFO] [stdout] 130 |             b: g2_b.into_affine(),
[INFO] [stdout]     |                     ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  58 |     ) -> R1CSResult<Proof<E>> where <E as Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:131:20
[INFO] [stdout]     |
[INFO] [stdout] 131 |             c: g_c.into_affine(),
[INFO] [stdout]     |                    ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  58 |     ) -> R1CSResult<Proof<E>> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:244:47
[INFO] [stdout]     |
[INFO] [stdout] 244 |         let new_c = proof.c + proof.a.mul(r2).into_affine();
[INFO] [stdout]     |                                               ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 228 |     ) -> Proof<E> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                   +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:247:22
[INFO] [stdout]     |
[INFO] [stdout] 247 |             a: new_a.into_affine(),
[INFO] [stdout]     |                      ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 228 |     ) -> Proof<E> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                   +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:248:22
[INFO] [stdout]     |
[INFO] [stdout] 248 |             b: new_b.into_affine(),
[INFO] [stdout]     |                      ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 228 |     ) -> Proof<E> where <E as Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                   +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/prover.rs:249:22
[INFO] [stdout]     |
[INFO] [stdout] 249 |             c: new_c.into_affine(),
[INFO] [stdout]     |                      ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 228 |     ) -> Proof<E> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                   +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed: cannot satisfy `for<'a> G: Mul<&'a <G as AffineRepr>::ScalarField>`
[INFO] [stdout]    --> src/prover.rs:263:19
[INFO] [stdout]     |
[INFO] [stdout] 263 |         let acc = G::Group::msm_bigint_gpu(&query[1..], assignment);
[INFO] [stdout]     |                   ^
[INFO] [stdout]     |
[INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `for<'a> G: Mul<&'a <G as AffineRepr>::ScalarField>` found
[INFO] [stdout]    --> src/prover.rs:253:27
[INFO] [stdout]     |
[INFO] [stdout] 253 |     fn calculate_coeff<G: AffineRepr>(
[INFO] [stdout]     |                           ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/scalar_mul/mod.rs:40:11
[INFO] [stdout]     |
[INFO] [stdout]  40 |         + for<'a> Mul<&'a Self::ScalarField, Output = Self>
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: associated types cannot be accessed directly on a `trait`, they can only be accessed through a specific `impl`
[INFO] [stdout] note: required by a bound in `ark_ec::AffineRepr::Group`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.4.2/src/lib.rs:190:7
[INFO] [stdout]     |
[INFO] [stdout] 190 |     + for<'a> Mul<&'a Self::ScalarField, Output = Self::Group>
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AffineRepr::Group`
[INFO] [stdout] ...
[INFO] [stdout] 198 |     type Group: CurveGroup<
[INFO] [stdout]     |          ----- required by a bound in this associated type
[INFO] [stdout] help: use the fully qualified path to an implementation
[INFO] [stdout]     |
[INFO] [stdout] 263 -         let acc = G::Group::msm_bigint_gpu(&query[1..], assignment);
[INFO] [stdout] 263 +         let acc = <Type as Mul>::Group::Group::msm_bigint_gpu(&query[1..], assignment);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/verifier.rs:18:57
[INFO] [stdout]     |
[INFO] [stdout]  18 |         gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(),
[INFO] [stdout]     |                                                         ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  14 | pub fn prepare_verifying_key<E: Pairing>(vk: &VerifyingKey<E>) -> PreparedVerifyingKey<E> where <E as Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                                                                                           +++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider removing this method call, as the receiver has type `<E as Pairing>::G2` and `<E as Pairing>::G2: Neg` trivially holds
[INFO] [stdout]     |
[INFO] [stdout]  18 -         gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(),
[INFO] [stdout]  18 +         gamma_g2_neg_pc: vk.gamma_g2.into_group().into_affine().into(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G2Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/verifier.rs:19:57
[INFO] [stdout]     |
[INFO] [stdout]  19 |         delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(),
[INFO] [stdout]     |                                                         ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G2Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  14 | pub fn prepare_verifying_key<E: Pairing>(vk: &VerifyingKey<E>) -> PreparedVerifyingKey<E> where <E as Pairing>::G2Affine: Neg {
[INFO] [stdout]     |                                                                                           +++++++++++++++++++++++++++++++++++
[INFO] [stdout] help: consider removing this method call, as the receiver has type `<E as Pairing>::G2` and `<E as Pairing>::G2: Neg` trivially holds
[INFO] [stdout]     |
[INFO] [stdout]  19 -         delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(),
[INFO] [stdout]  19 +         delta_g2_neg_pc: vk.delta_g2.into_group().into_affine().into(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<E as Pairing>::G1Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/verifier.rs:55:33
[INFO] [stdout]     |
[INFO] [stdout]  55 |                 prepared_inputs.into_affine().into(),
[INFO] [stdout]     |                                 ^^^^^^^^^^^ the trait `Neg` is not implemented for `<E as Pairing>::G1Affine`
[INFO] [stdout]     |
[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.4.2/src/scalar_mul/mod.rs:41:11
[INFO] [stdout]     |
[INFO] [stdout]  41 |         + 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.4.2/src/lib.rs:157:8
[INFO] [stdout]     |
[INFO] [stdout] 157 |     fn into_affine(self) -> Self::Affine {
[INFO] [stdout]     |        ----------- required by a bound in this associated function
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout]  51 |     ) -> R1CSResult<bool> where <E as Pairing>::G1Affine: Neg {
[INFO] [stdout]     |                           +++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<T as CurveGroup>::Affine: Neg` is not satisfied
[INFO] [stdout]    --> src/gpu.rs:109:60
[INFO] [stdout]     |
[INFO] [stdout] 109 |         let answer = <Self as VariableBaseMSM>::msm_bigint(bases, bigints);
[INFO] [stdout]     |                                                            ^^^^^ the trait `Neg` is not implemented for `<T as CurveGroup>::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<Output = Self::MulBase>;
[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] 107 |     ) -> Self where <T as CurveGroup>::Affine: Neg {
[INFO] [stdout]     |               ++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0283.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ark-groth16` (lib) due to 30 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "289c94c0a42f223454be06c9fdd3a97a5dbae17631b20564ec7ac5294881cd6f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "289c94c0a42f223454be06c9fdd3a97a5dbae17631b20564ec7ac5294881cd6f", kill_on_drop: false }`
[INFO] [stdout] 289c94c0a42f223454be06c9fdd3a97a5dbae17631b20564ec7ac5294881cd6f