[INFO] fetching crate ark-groth16 0.5.0... [INFO] checking ark-groth16-0.5.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate ark-groth16 0.5.0 into /workspace/builds/worker-2-tc2/source [INFO] started tweaking crates.io crate ark-groth16 0.5.0 [INFO] finished tweaking crates.io crate ark-groth16 0.5.0 [INFO] tweaked toml for crates.io crate ark-groth16 0.5.0 written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate ark-groth16 0.5.0 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 96 packages to latest compatible versions [INFO] [stderr] Adding generic-array v0.14.7 (available: v0.14.9) [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] 0e07cf0cb90e4c8244092cef7bf800c87bf9698949f5298d9d1b8d823578b753 [INFO] running `Command { std: "docker" "start" "-a" "0e07cf0cb90e4c8244092cef7bf800c87bf9698949f5298d9d1b8d823578b753", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0e07cf0cb90e4c8244092cef7bf800c87bf9698949f5298d9d1b8d823578b753", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0e07cf0cb90e4c8244092cef7bf800c87bf9698949f5298d9d1b8d823578b753", kill_on_drop: false }` [INFO] [stdout] 0e07cf0cb90e4c8244092cef7bf800c87bf9698949f5298d9d1b8d823578b753 [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] 7fcb5333b51a2de9a421359ae648920d7f019917663faab1f5dadd3ecca04039 [INFO] running `Command { std: "docker" "start" "-a" "7fcb5333b51a2de9a421359ae648920d7f019917663faab1f5dadd3ecca04039", kill_on_drop: false }` [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling zerocopy v0.8.48 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking typenum v1.19.0 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking crossbeam-utils v0.8.21 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking pin-project-lite v0.2.17 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Checking tracing-core v0.1.36 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Checking keccak v0.1.6 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Checking memchr v2.8.0 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking itoa v1.0.18 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking csv-core v0.1.13 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking csv v1.4.0 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling zeroize_derive v1.4.3 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.2 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling tracing-attributes v0.1.31 [INFO] [stderr] Compiling ark-crypto-primitives-macros v0.5.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking zeroize v1.8.2 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Compiling enum-ordinalize v4.3.2 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking tracing v0.1.44 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking ark-relations v0.5.1 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-snark v0.5.1 [INFO] [stderr] Checking ark-ec v0.5.0 [INFO] [stderr] Checking ark-r1cs-std v0.5.0 [INFO] [stderr] Checking ark-bls12-377 v0.5.0 [INFO] [stderr] Checking ark-crypto-primitives v0.5.0 [INFO] [stderr] Checking ark-bn254 v0.5.0 [INFO] [stderr] Checking ark-bls12-381 v0.5.0 [INFO] [stderr] Checking ark-groth16 v0.5.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking ark-bw6-761 v0.5.0 [INFO] [stdout] error[E0283]: type annotations needed: cannot satisfy `for<'a> G: Mul<&'a ::ScalarField>` [INFO] [stdout] --> src/prover.rs:252:27 [INFO] [stdout] | [INFO] [stdout] 252 | fn calculate_coeff( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `for<'a> G: Mul<&'a ::ScalarField>` found [INFO] [stdout] --> src/prover.rs:252:27 [INFO] [stdout] | [INFO] [stdout] 252 | fn calculate_coeff( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:81:11 [INFO] [stdout] | [INFO] [stdout] 81 | + 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.5.0/src/lib.rs:150:7 [INFO] [stdout] | [INFO] [stdout] 122 | pub trait AffineRepr: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] ... [INFO] [stdout] 150 | + for<'a> Mul<&'a Self::ScalarField, Output = Self::Group> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AffineRepr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/generator.rs:189:32 [INFO] [stdout] | [INFO] [stdout] 189 | alpha_g1: alpha_g1.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/generator.rs:190:30 [INFO] [stdout] | [INFO] [stdout] 190 | beta_g2: beta_g2.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/generator.rs:191:32 [INFO] [stdout] | [INFO] [stdout] 191 | gamma_g2: gamma_g2.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/generator.rs:192:32 [INFO] [stdout] | [INFO] [stdout] 192 | delta_g2: delta_g2.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/generator.rs:200:30 [INFO] [stdout] | [INFO] [stdout] 200 | beta_g1: beta_g1.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/generator.rs:201:32 [INFO] [stdout] | [INFO] [stdout] 201 | delta_g1: delta_g1.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/prover.rs:92:19 [INFO] [stdout] | [INFO] [stdout] 92 | let g_a = Self::calculate_coeff(r_g1, &pk.a_query, pk.vk.alpha_g1, &assignment); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `prover::>::calculate_coeff` [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 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `prover::>::calculate_coeff` [INFO] [stdout] | [INFO] [stdout] ::: src/prover.rs:252:8 [INFO] [stdout] | [INFO] [stdout] 252 | fn calculate_coeff( [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/prover.rs:101:24 [INFO] [stdout] | [INFO] [stdout] 101 | let g1_b = Self::calculate_coeff(s_g1, &pk.b_g1_query, pk.beta_g1, &assignment); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `prover::>::calculate_coeff` [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 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `prover::>::calculate_coeff` [INFO] [stdout] | [INFO] [stdout] ::: src/prover.rs:252:8 [INFO] [stdout] | [INFO] [stdout] 252 | fn calculate_coeff( [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/prover.rs:113:20 [INFO] [stdout] | [INFO] [stdout] 113 | let g2_b = Self::calculate_coeff(s_g2, &pk.b_g2_query, pk.vk.beta_g2, &assignment); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `prover::>::calculate_coeff` [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 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `prover::>::calculate_coeff` [INFO] [stdout] | [INFO] [stdout] ::: src/prover.rs:252:8 [INFO] [stdout] | [INFO] [stdout] 252 | fn calculate_coeff( [INFO] [stdout] | --------------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/prover.rs:128:20 [INFO] [stdout] | [INFO] [stdout] 128 | a: g_a.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/prover.rs:129:21 [INFO] [stdout] | [INFO] [stdout] 129 | b: g2_b.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/prover.rs:130:20 [INFO] [stdout] | [INFO] [stdout] 130 | c: g_c.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/prover.rs:243:47 [INFO] [stdout] | [INFO] [stdout] 243 | let new_c = proof.c + proof.a.mul(r2).into_affine(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/prover.rs:243:39 [INFO] [stdout] | [INFO] [stdout] 243 | let new_c = proof.c + proof.a.mul(r2).into_affine(); [INFO] [stdout] | ------- ^^^^^^^ `Neg::Output` is `::G1` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::G1Affine` [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 [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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/prover.rs:246:22 [INFO] [stdout] | [INFO] [stdout] 246 | a: new_a.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/prover.rs:241:29 [INFO] [stdout] | [INFO] [stdout] 241 | let new_a = proof.a.mul(r1.inverse().unwrap()); [INFO] [stdout] | ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^ `Neg::Output` is `::G1` here [INFO] [stdout] | | [INFO] [stdout] | this expression has type `::G1Affine` [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 [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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/prover.rs:247:22 [INFO] [stdout] | [INFO] [stdout] 247 | b: new_b.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/prover.rs:248:22 [INFO] [stdout] | [INFO] [stdout] 248 | c: new_c.into_affine(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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[E0283]: type annotations needed: cannot satisfy `for<'a> G: Mul<&'a ::ScalarField>` [INFO] [stdout] --> src/prover.rs:262:19 [INFO] [stdout] | [INFO] [stdout] 262 | let acc = G::Group::msm_bigint(&query[1..], assignment); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] note: multiple `impl`s or `where` clauses satisfying `for<'a> G: Mul<&'a ::ScalarField>` found [INFO] [stdout] --> src/prover.rs:252:27 [INFO] [stdout] | [INFO] [stdout] 252 | fn calculate_coeff( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:81:11 [INFO] [stdout] | [INFO] [stdout] 81 | + 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.5.0/src/lib.rs:150:7 [INFO] [stdout] | [INFO] [stdout] 150 | + for<'a> Mul<&'a Self::ScalarField, Output = Self::Group> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `AffineRepr::Group` [INFO] [stdout] ... [INFO] [stdout] 158 | 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] 262 - let acc = G::Group::msm_bigint(&query[1..], assignment); [INFO] [stdout] 262 + let acc = ::Group::Group::msm_bigint(&query[1..], assignment); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/verifier.rs:17:57 [INFO] [stdout] | [INFO] [stdout] 17 | gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/verifier.rs:17:38 [INFO] [stdout] | [INFO] [stdout] 17 | gamma_g2_neg_pc: vk.gamma_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ----------- ^^^^^^^^^^^^ ----- `Neg::Output` remains `::G2` here [INFO] [stdout] | | | [INFO] [stdout] | | `Neg::Output` is `::G2` here [INFO] [stdout] | this expression has type `::G2Affine` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G2Affine as Neg>::Output == ::G2Affine` [INFO] [stdout] --> src/verifier.rs:18:57 [INFO] [stdout] | [INFO] [stdout] 18 | delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G2Affine` [INFO] [stdout] found associated type `<::G2Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: the method call chain might not have had the expected associated types [INFO] [stdout] --> src/verifier.rs:18:38 [INFO] [stdout] | [INFO] [stdout] 18 | delta_g2_neg_pc: vk.delta_g2.into_group().neg().into_affine().into(), [INFO] [stdout] | ----------- ^^^^^^^^^^^^ ----- `Neg::Output` remains `::G2` here [INFO] [stdout] | | | [INFO] [stdout] | | `Neg::Output` is `::G2` here [INFO] [stdout] | this expression has type `::G2Affine` [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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 `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> src/verifier.rs:52:33 [INFO] [stdout] | [INFO] [stdout] 52 | prepared_inputs.into_affine().into(), [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::G1Affine` [INFO] [stdout] found associated type `<::G1Affine as Neg>::Output` [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `into_affine` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/scalar_mul/mod.rs:82:15 [INFO] [stdout] | [INFO] [stdout] 82 | + Neg [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `CurveGroup::into_affine` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-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] Some errors have detailed explanations: E0271, E0283. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `ark-groth16` (lib) due to 21 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "7fcb5333b51a2de9a421359ae648920d7f019917663faab1f5dadd3ecca04039", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7fcb5333b51a2de9a421359ae648920d7f019917663faab1f5dadd3ecca04039", kill_on_drop: false }` [INFO] [stdout] 7fcb5333b51a2de9a421359ae648920d7f019917663faab1f5dadd3ecca04039