[INFO] cloning repository https://github.com/ClankPan/Berm [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ClankPan/Berm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FClankPan%2FBerm", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FClankPan%2FBerm'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 33925bf36e7efcabdda7c591a1c14525d3429da5 [INFO] checking ClankPan/Berm 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%2FClankPan%2FBerm" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/ClankPan/Berm [INFO] finished tweaking git repo https://github.com/ClankPan/Berm [INFO] tweaked toml for git repo https://github.com/ClankPan/Berm written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/ClankPan/Berm 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/ClankPan/Berm 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-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] 1dfe29c3e8d354d08b2ddb2b5a4e9e783adde68d762c0881424dd7793025b961 [INFO] running `Command { std: "docker" "start" "-a" "1dfe29c3e8d354d08b2ddb2b5a4e9e783adde68d762c0881424dd7793025b961", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1dfe29c3e8d354d08b2ddb2b5a4e9e783adde68d762c0881424dd7793025b961", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1dfe29c3e8d354d08b2ddb2b5a4e9e783adde68d762c0881424dd7793025b961", kill_on_drop: false }` [INFO] [stdout] 1dfe29c3e8d354d08b2ddb2b5a4e9e783adde68d762c0881424dd7793025b961 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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] c7fb79b16c200fdd9ef954c9eb5aba5f7dc4abcd01c7d4dc380c5988e394ee1d [INFO] running `Command { std: "docker" "start" "-a" "c7fb79b16c200fdd9ef954c9eb5aba5f7dc4abcd01c7d4dc380c5988e394ee1d", kill_on_drop: false }` [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Checking hashbrown v0.15.3 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling convert_case v0.7.1 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking ahash v0.8.11 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [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-macros v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling tracing-attributes v0.1.28 [INFO] [stderr] Compiling ark-crypto-primitives-macros v0.5.0 [INFO] [stderr] Compiling nest_struct v0.5.4 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking merlin v3.0.0 [INFO] [stderr] Checking ark-serialize v0.5.0 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking ark-ff v0.5.0 [INFO] [stderr] Checking ark-poly v0.5.0 [INFO] [stderr] Checking ark-relations v0.5.1 [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-bn254 v0.5.0 [INFO] [stderr] Checking ark-crypto-primitives v0.5.0 [INFO] [stderr] Checking ark-grumpkin v0.5.0 [INFO] [stderr] Checking zkvm-live-coding v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `alloc::AllocVar` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | alloc::AllocVar, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `alloc::AllocVar` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | alloc::AllocVar, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `CommVar` [INFO] [stdout] --> src/main.rs:10:17 [INFO] [stdout] | [INFO] [stdout] 10 | use cyclefold::{CommVar, CycleFold}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Fq` and `Fr` [INFO] [stdout] --> src/alloc.rs:1:17 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_bn254::{Fq, Fr}; [INFO] [stdout] | ^^ ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/alloc.rs:2:14 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{Field, PrimeField}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `CommVar` [INFO] [stdout] --> src/main.rs:10:17 [INFO] [stdout] | [INFO] [stdout] 10 | use cyclefold::{CommVar, CycleFold}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::rc::Rc` [INFO] [stdout] --> src/cyclefold.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::rc::Rc; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/cyclefold.rs:4:14 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_ff::{Field, PrimeField}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_grumpkin::constraints::GVar` [INFO] [stdout] --> src/cyclefold.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use ark_grumpkin::constraints::GVar; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Boolean`, `ToBitsGadget`, and `select::CondSelectGadget` [INFO] [stdout] --> src/cyclefold.rs:7:139 [INFO] [stdout] | [INFO] [stdout] 7 | ...edFpVar, fp::FpVar, FieldVar}, prelude::{Boolean, ToBitsGadget}, select::CondSelectGadget, R1CSVar [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::alloc::Alloc` [INFO] [stdout] --> src/cyclefold.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::alloc::Alloc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `prelude::Boolean` and `select::CondSelectGadget` [INFO] [stdout] --> src/zerofold.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | prelude::Boolean, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 14 | select::CondSelectGadget, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Fq` and `Fr` [INFO] [stdout] --> src/alloc.rs:1:17 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_bn254::{Fq, Fr}; [INFO] [stdout] | ^^ ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:6:24 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Pedersen { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/alloc.rs:2:14 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{Field, PrimeField}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:10:21 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct Param { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:15:9 [INFO] [stdout] | [INFO] [stdout] 15 | impl Pedersen { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::rc::Rc` [INFO] [stdout] --> src/cyclefold.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::rc::Rc; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/cyclefold.rs:4:14 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_ff::{Field, PrimeField}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_grumpkin::constraints::GVar` [INFO] [stdout] --> src/cyclefold.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use ark_grumpkin::constraints::GVar; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Boolean`, `ToBitsGadget`, and `select::CondSelectGadget` [INFO] [stdout] --> src/cyclefold.rs:7:139 [INFO] [stdout] | [INFO] [stdout] 7 | ...edFpVar, fp::FpVar, FieldVar}, prelude::{Boolean, ToBitsGadget}, select::CondSelectGadget, R1CSVar [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::alloc::Alloc` [INFO] [stdout] --> src/cyclefold.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use crate::alloc::Alloc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `prelude::Boolean` and `select::CondSelectGadget` [INFO] [stdout] --> src/zerofold.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | prelude::Boolean, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] 14 | select::CondSelectGadget, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:6:24 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Pedersen { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:10:21 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct Param { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:15:9 [INFO] [stdout] | [INFO] [stdout] 15 | impl Pedersen { [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:17:61 [INFO] [stdout] | [INFO] [stdout] 17 | let generators = (0..len).map(|_| C::rand(&mut rng).into_affine()).collect(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let generators = (0..len).map(|_| C::rand(&mut rng).into_affine()).collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:19:20 [INFO] [stdout] | [INFO] [stdout] 19 | Param { h, generators } [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let generators = (0..len).map(|_| C::rand(&mut rng).into_affine()).collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:23:33 [INFO] [stdout] | [INFO] [stdout] 23 | param.h.mul(r) + C::msm(¶m.generators, v).unwrap() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:17:61 [INFO] [stdout] | [INFO] [stdout] 17 | let generators = (0..len).map(|_| C::rand(&mut rng).into_affine()).collect(); [INFO] [stdout] | ^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let generators = (0..len).map(|_| C::rand(&mut rng).into_affine()).collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:19:20 [INFO] [stdout] | [INFO] [stdout] 19 | Param { h, generators } [INFO] [stdout] | ^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | let generators = (0..len).map(|_| C::rand(&mut rng).into_affine()).collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Affine as Neg>::Output == ::Affine` [INFO] [stdout] --> src/pedersen.rs:23:33 [INFO] [stdout] | [INFO] [stdout] 23 | param.h.mul(r) + C::msm(¶m.generators, v).unwrap() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected `ark_ec::CurveGroup::Affine`, found `std::ops::Neg::Output` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::Affine` [INFO] [stdout] found associated type `<::Affine 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 `CurveGroup` [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` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-ec-0.5.0/src/lib.rs:78:11 [INFO] [stdout] | [INFO] [stdout] 78 | pub trait CurveGroup: [INFO] [stdout] | ---------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/cyclefold.rs:48:17 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn base(cs: ConstraintSystemRef) -> ark_relations::r1cs::Result { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rlc_1` [INFO] [stdout] --> src/cyclefold.rs:98:13 [INFO] [stdout] | [INFO] [stdout] 98 | let rlc_1 = Rlc::new(c_r.1, c_i.1, rb); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rlc_2` [INFO] [stdout] --> src/cyclefold.rs:99:13 [INFO] [stdout] | [INFO] [stdout] 99 | let rlc_2 = Rlc::new(c_r.2, c_i.2, rb); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_r` [INFO] [stdout] --> src/cyclefold.rs:116:9 [INFO] [stdout] | [INFO] [stdout] 116 | com_r: &CommVar, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_i` [INFO] [stdout] --> src/cyclefold.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | com_i: &CommVar, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_f` [INFO] [stdout] --> src/cyclefold.rs:118:9 [INFO] [stdout] | [INFO] [stdout] 118 | com_f: &CommVar, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cf_b` [INFO] [stdout] --> src/cyclefold.rs:124:13 [INFO] [stdout] | [INFO] [stdout] 124 | let cf_b = UVar::base(cs.clone())?; [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_cf_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/cyclefold.rs:160:9 [INFO] [stdout] | [INFO] [stdout] 160 | cs: ark_relations::r1cs::ConstraintSystemRef, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/zerofold.rs:68:17 [INFO] [stdout] | [INFO] [stdout] 68 | pub fn base(cs: ConstraintSystemRef) -> ark_relations::r1cs::Result { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/main.rs:31:29 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn synthesize(self, cs: ConstraintSystemRef, z_in: &Vec) -> Result> { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `z_in` [INFO] [stdout] --> src/main.rs:31:58 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn synthesize(self, cs: ConstraintSystemRef, z_in: &Vec) -> Result> { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_z_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | let mut cs = ConstraintSystem::::new_ref(); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/main.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | let mut cs = ConstraintSystem::::new_ref(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `zf` [INFO] [stdout] --> src/main.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | zf: &zerofold::UVar, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_zf` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cf` [INFO] [stdout] --> src/main.rs:95:5 [INFO] [stdout] | [INFO] [stdout] 95 | cf: &cyclefold::UVar, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cf` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `z_0` [INFO] [stdout] --> src/main.rs:96:5 [INFO] [stdout] | [INFO] [stdout] 96 | z_0: &Vec, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_z_0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `z_i` [INFO] [stdout] --> src/main.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | z_i: &Vec, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_z_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sc_i` [INFO] [stdout] --> src/main.rs:98:5 [INFO] [stdout] | [INFO] [stdout] 98 | sc_i: &FrVar, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_sc_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/cyclefold.rs:48:17 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn base(cs: ConstraintSystemRef) -> ark_relations::r1cs::Result { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rlc_1` [INFO] [stdout] --> src/cyclefold.rs:98:13 [INFO] [stdout] | [INFO] [stdout] 98 | let rlc_1 = Rlc::new(c_r.1, c_i.1, rb); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rlc_2` [INFO] [stdout] --> src/cyclefold.rs:99:13 [INFO] [stdout] | [INFO] [stdout] 99 | let rlc_2 = Rlc::new(c_r.2, c_i.2, rb); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_r` [INFO] [stdout] --> src/cyclefold.rs:116:9 [INFO] [stdout] | [INFO] [stdout] 116 | com_r: &CommVar, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_i` [INFO] [stdout] --> src/cyclefold.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | com_i: &CommVar, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `com_f` [INFO] [stdout] --> src/cyclefold.rs:118:9 [INFO] [stdout] | [INFO] [stdout] 118 | com_f: &CommVar, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cf_b` [INFO] [stdout] --> src/cyclefold.rs:124:13 [INFO] [stdout] | [INFO] [stdout] 124 | let cf_b = UVar::base(cs.clone())?; [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_cf_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/cyclefold.rs:160:9 [INFO] [stdout] | [INFO] [stdout] 160 | cs: ark_relations::r1cs::ConstraintSystemRef, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/zerofold.rs:68:17 [INFO] [stdout] | [INFO] [stdout] 68 | pub fn base(cs: ConstraintSystemRef) -> ark_relations::r1cs::Result { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `zkvm-live-coding` (bin "zkvm-live-coding") due to 8 previous errors; 28 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/main.rs:31:29 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn synthesize(self, cs: ConstraintSystemRef, z_in: &Vec) -> Result> { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `z_in` [INFO] [stdout] --> src/main.rs:31:58 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn synthesize(self, cs: ConstraintSystemRef, z_in: &Vec) -> Result> { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_z_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | let mut cs = ConstraintSystem::::new_ref(); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cs` [INFO] [stdout] --> src/main.rs:38:13 [INFO] [stdout] | [INFO] [stdout] 38 | let mut cs = ConstraintSystem::::new_ref(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `zf` [INFO] [stdout] --> src/main.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | zf: &zerofold::UVar, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_zf` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cf` [INFO] [stdout] --> src/main.rs:95:5 [INFO] [stdout] | [INFO] [stdout] 95 | cf: &cyclefold::UVar, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_cf` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `z_0` [INFO] [stdout] --> src/main.rs:96:5 [INFO] [stdout] | [INFO] [stdout] 96 | z_0: &Vec, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_z_0` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `z_i` [INFO] [stdout] --> src/main.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | z_i: &Vec, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_z_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sc_i` [INFO] [stdout] --> src/main.rs:98:5 [INFO] [stdout] | [INFO] [stdout] 98 | sc_i: &FrVar, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_sc_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `zkvm-live-coding` (bin "zkvm-live-coding" test) due to 8 previous errors; 28 warnings emitted [INFO] running `Command { std: "docker" "inspect" "c7fb79b16c200fdd9ef954c9eb5aba5f7dc4abcd01c7d4dc380c5988e394ee1d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c7fb79b16c200fdd9ef954c9eb5aba5f7dc4abcd01c7d4dc380c5988e394ee1d", kill_on_drop: false }` [INFO] [stdout] c7fb79b16c200fdd9ef954c9eb5aba5f7dc4abcd01c7d4dc380c5988e394ee1d