[INFO] cloning repository https://github.com/YolaYing/BinaryGKR-benchmark [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/YolaYing/BinaryGKR-benchmark" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYolaYing%2FBinaryGKR-benchmark", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FYolaYing%2FBinaryGKR-benchmark'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 9f57e30264b0471feee983bb9cf0c5ec94a8062f [INFO] checking YolaYing/BinaryGKR-benchmark 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%2FYolaYing%2FBinaryGKR-benchmark" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/YolaYing/BinaryGKR-benchmark [INFO] finished tweaking git repo https://github.com/YolaYing/BinaryGKR-benchmark [INFO] tweaked toml for git repo https://github.com/YolaYing/BinaryGKR-benchmark written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/YolaYing/BinaryGKR-benchmark 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/YolaYing/BinaryGKR-benchmark 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] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] | [INFO] [stderr] = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0557612b8a8d5ab580d4d356b927939178d2d6010538c1b730c4c8e4fde801a2 [INFO] running `Command { std: "docker" "start" "-a" "0557612b8a8d5ab580d4d356b927939178d2d6010538c1b730c4c8e4fde801a2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0557612b8a8d5ab580d4d356b927939178d2d6010538c1b730c4c8e4fde801a2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0557612b8a8d5ab580d4d356b927939178d2d6010538c1b730c4c8e4fde801a2", kill_on_drop: false }` [INFO] [stdout] 0557612b8a8d5ab580d4d356b927939178d2d6010538c1b730c4c8e4fde801a2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zstrict-projection-item-bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 860259d360538bf1dbeddc72f604d223cd44c13690d07d43e38b0058168f3442 [INFO] running `Command { std: "docker" "start" "-a" "860259d360538bf1dbeddc72f604d223cd44c13690d07d43e38b0058168f3442", kill_on_drop: false }` [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] | [INFO] [stderr] = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Compiling proc-macro2 v1.0.94 [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Compiling zerocopy v0.8.24 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking once_cell v1.21.1 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking colored v2.2.0 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking keccak v0.1.5 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking hashbrown v0.15.2 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [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] Compiling displaydoc v0.2.5 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-ec v0.5.0 [INFO] [stderr] Checking ark-bls12-381 v0.5.0 [INFO] [stderr] Checking utils v0.1.0 (/opt/rustwide/workdir/utils) [INFO] [stderr] Checking ark-bn254 v0.5.0 [INFO] [stderr] Checking arithmetic v0.1.0 (/opt/rustwide/workdir/arithmetic) [INFO] [stderr] Checking pcs v0.1.0 (/opt/rustwide/workdir/pcs) [INFO] [stderr] Checking poly_iop v0.1.0 (/opt/rustwide/workdir/poly_iop) [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> poly_iop/src/sum_check.rs:142:25 [INFO] [stdout] | [INFO] [stdout] 142 | |v: Vec| (v[0] * v[1] * v[2]), [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 142 - |v: Vec| (v[0] * v[1] * v[2]), [INFO] [stdout] 142 + |v: Vec| v[0] * v[1] * v[2] , [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::G1Affine as Neg>::Output == ::G1Affine` [INFO] [stdout] --> pcs/src/hyrax_kzg/hyrax_kzg_1.rs:42:87 [INFO] [stdout] | [INFO] [stdout] 42 | E::G1::msm_unchecked(&prover_param.powers_of_g[ignored].evals, &u[i]).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] --> pcs/src/hyrax_kzg/hyrax_kzg_1.rs:69:69 [INFO] [stdout] | [INFO] [stdout] 69 | let commitment = E::G1::msm_unchecked(&commitment, &new_eq).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] --> pcs/src/hyrax_kzg/hyrax_kzg_2.rs:44:83 [INFO] [stdout] | [INFO] [stdout] 44 | E::G1::msm_unchecked(&prover_param.powers_of_g[ignored].evals, &u[i]).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] --> pcs/src/hyrax_kzg/hyrax_kzg_2.rs:70:69 [INFO] [stdout] | [INFO] [stdout] 70 | let commitment = E::G1::msm_unchecked(&commitment, &new_eq).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] --> pcs/src/hyrax_kzg/hyrax_kzg_1.rs:42:87 [INFO] [stdout] | [INFO] [stdout] 42 | E::G1::msm_unchecked(&prover_param.powers_of_g[ignored].evals, &u[i]).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] --> pcs/src/hyrax_kzg/hyrax_kzg_1.rs:69:69 [INFO] [stdout] | [INFO] [stdout] 69 | let commitment = E::G1::msm_unchecked(&commitment, &new_eq).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] --> pcs/src/hyrax_kzg/hyrax_kzg_2.rs:44:83 [INFO] [stdout] | [INFO] [stdout] 44 | E::G1::msm_unchecked(&prover_param.powers_of_g[ignored].evals, &u[i]).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] --> pcs/src/hyrax_kzg/hyrax_kzg_2.rs:70:69 [INFO] [stdout] | [INFO] [stdout] 70 | let commitment = E::G1::msm_unchecked(&commitment, &new_eq).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] --> pcs/src/multilinear_kzg/data_structures.rs:118:36 [INFO] [stdout] | [INFO] [stdout] 118 | E::G1::normalize_batch(&g1_points) [INFO] [stdout] | ---------------------- ^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [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 `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [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] --> pcs/src/multilinear_kzg/data_structures.rs:118:36 [INFO] [stdout] | [INFO] [stdout] 118 | E::G1::normalize_batch(&g1_points) [INFO] [stdout] | ---------------------- ^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G1Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [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 `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [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] --> pcs/src/multilinear_kzg/data_structures.rs:134:23 [INFO] [stdout] | [INFO] [stdout] 134 | evals: [g.into_affine()].to_vec(), [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] --> pcs/src/multilinear_kzg/data_structures.rs:139:18 [INFO] [stdout] | [INFO] [stdout] 139 | g: g.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] --> pcs/src/multilinear_kzg/data_structures.rs:140:18 [INFO] [stdout] | [INFO] [stdout] 140 | h: h.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] --> pcs/src/multilinear_kzg/data_structures.rs:134:23 [INFO] [stdout] | [INFO] [stdout] 134 | evals: [g.into_affine()].to_vec(), [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] --> pcs/src/multilinear_kzg/data_structures.rs:139:18 [INFO] [stdout] | [INFO] [stdout] 139 | g: g.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] --> pcs/src/multilinear_kzg/data_structures.rs:159:36 [INFO] [stdout] | [INFO] [stdout] 159 | E::G2::normalize_batch(&g2_points) [INFO] [stdout] | ---------------------- ^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [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 `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [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] --> pcs/src/multilinear_kzg/data_structures.rs:140:18 [INFO] [stdout] | [INFO] [stdout] 140 | h: h.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] --> pcs/src/multilinear_kzg/mod.rs:38:82 [INFO] [stdout] | [INFO] [stdout] 38 | E::G1::msm_unchecked(&prover_param.powers_of_g[ignored].evals, eval).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] --> pcs/src/multilinear_kzg/data_structures.rs:159:36 [INFO] [stdout] | [INFO] [stdout] 159 | E::G2::normalize_batch(&g2_points) [INFO] [stdout] | ---------------------- ^^^^^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [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 `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [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] --> pcs/src/multilinear_kzg/mod.rs:38:82 [INFO] [stdout] | [INFO] [stdout] 38 | E::G1::msm_unchecked(&prover_param.powers_of_g[ignored].evals, eval).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] --> pcs/src/multilinear_kzg/mod.rs:94:56 [INFO] [stdout] | [INFO] [stdout] 94 | proof.push(E::G1::msm_unchecked(&gi.evals, &w).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] --> pcs/src/multilinear_kzg/mod.rs:94:56 [INFO] [stdout] | [INFO] [stdout] 94 | proof.push(E::G1::msm_unchecked(&gi.evals, &w).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] --> pcs/src/multilinear_kzg/mod.rs:130:40 [INFO] [stdout] | [INFO] [stdout] 130 | let h_vec = E::G2::normalize_batch(&h_vec); [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [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 `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [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] --> pcs/src/multilinear_kzg/mod.rs:130:40 [INFO] [stdout] | [INFO] [stdout] 130 | let h_vec = E::G2::normalize_batch(&h_vec); [INFO] [stdout] | ---------------------- ^^^^^^ expected `ark_ec::pairing::Pairing::G2Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | | [INFO] [stdout] | required by a bound introduced by this call [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 `normalize_batch` [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::normalize_batch` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn normalize_batch(v: &[Self]) -> Vec; [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] --> pcs/src/multilinear_kzg/mod.rs:140:85 [INFO] [stdout] | [INFO] [stdout] 140 | E::G1Prepared::from((verifier_param.g.mul(value) - commitment.into_group()).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] --> pcs/src/multilinear_kzg/mod.rs:140:85 [INFO] [stdout] | [INFO] [stdout] 140 | E::G1Prepared::from((verifier_param.g.mul(value) - commitment.into_group()).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] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `pcs` (lib) due to 13 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: unused variable: `vk` [INFO] [stdout] --> pcs/src/multilinear_kzg/mod.rs:181:18 [INFO] [stdout] | [INFO] [stdout] 181 | let (ck, vk) = MultilinearKzgPCS::trim(&srs); [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_vk` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `pcs` (lib test) due to 13 previous errors; 1 warning emitted [INFO] running `Command { std: "docker" "inspect" "860259d360538bf1dbeddc72f604d223cd44c13690d07d43e38b0058168f3442", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "860259d360538bf1dbeddc72f604d223cd44c13690d07d43e38b0058168f3442", kill_on_drop: false }` [INFO] [stdout] 860259d360538bf1dbeddc72f604d223cd44c13690d07d43e38b0058168f3442