[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 master#a33907a7a5381473eec8bcfa0c56e05a856a911c for pr-151539 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FClankPan%2FBerm" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/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-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/ClankPan/Berm on toolchain a33907a7a5381473eec8bcfa0c56e05a856a911c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "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" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ark-grumpkin v0.5.0 [INFO] [stderr] Downloaded ark-crypto-primitives-macros v0.5.0 [INFO] [stderr] Downloaded ark-snark v0.5.1 [INFO] [stderr] Downloaded nest_struct v0.5.4 [INFO] [stderr] Downloaded ark-crypto-primitives v0.5.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] aa6bed14d1484b61ab86a0f672bff54e1cc7a6bc364e40ad48a611087e7a237c [INFO] running `Command { std: "docker" "start" "-a" "aa6bed14d1484b61ab86a0f672bff54e1cc7a6bc364e40ad48a611087e7a237c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "aa6bed14d1484b61ab86a0f672bff54e1cc7a6bc364e40ad48a611087e7a237c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "aa6bed14d1484b61ab86a0f672bff54e1cc7a6bc364e40ad48a611087e7a237c", kill_on_drop: false }` [INFO] [stdout] aa6bed14d1484b61ab86a0f672bff54e1cc7a6bc364e40ad48a611087e7a237c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+a33907a7a5381473eec8bcfa0c56e05a856a911c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 705623251c1ba99defd313d89ac0d6d2c83a5ee1cf324c29f7d7df94684389b3 [INFO] running `Command { std: "docker" "start" "-a" "705623251c1ba99defd313d89ac0d6d2c83a5ee1cf324c29f7d7df94684389b3", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Checking hashbrown v0.15.3 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking blake2 v0.10.6 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking ark-std v0.5.0 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling zeroize_derive v1.4.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.28 [INFO] [stderr] Compiling ark-crypto-primitives-macros v0.5.0 [INFO] [stderr] Compiling nest_struct v0.5.4 [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 zeroize v1.8.1 [INFO] [stderr] Checking merlin v3.0.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-grumpkin v0.5.0 [INFO] [stderr] Checking ark-crypto-primitives 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: `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: `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 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 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: `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 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: type `Nsc` is more private than the item `zerofold::UVar::new` [INFO] [stdout] --> src/zerofold.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 54 | pub fn new(cs: ConstraintSystemRef, nsc: Nsc) -> ark_relations::r1cs::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `zerofold::UVar::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | struct Nsc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Nsc` is more private than the item `ZeroFold::prove` [INFO] [stdout] --> src/zerofold.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | / pub fn prove( [INFO] [stdout] 82 | | pp: Param, [INFO] [stdout] 83 | | u_r: Nsc, [INFO] [stdout] 84 | | cc: Sc, [INFO] [stdout] 85 | | pc: Sc, [INFO] [stdout] 86 | | mle: MLE, [INFO] [stdout] 87 | | ) -> ark_relations::r1cs::Result { [INFO] [stdout] | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | struct Nsc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Sc` is more private than the item `ZeroFold::prove` [INFO] [stdout] --> src/zerofold.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | / pub fn prove( [INFO] [stdout] 82 | | pp: Param, [INFO] [stdout] 83 | | u_r: Nsc, [INFO] [stdout] 84 | | cc: Sc, [INFO] [stdout] 85 | | pc: Sc, [INFO] [stdout] 86 | | mle: MLE, [INFO] [stdout] 87 | | ) -> ark_relations::r1cs::Result { [INFO] [stdout] | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Sc` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:26:1 [INFO] [stdout] | [INFO] [stdout] 26 | struct Sc { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `MLE` is more private than the item `ZeroFold::prove` [INFO] [stdout] --> src/zerofold.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | / pub fn prove( [INFO] [stdout] 82 | | pp: Param, [INFO] [stdout] 83 | | u_r: Nsc, [INFO] [stdout] 84 | | cc: Sc, [INFO] [stdout] 85 | | pc: Sc, [INFO] [stdout] 86 | | mle: MLE, [INFO] [stdout] 87 | | ) -> ark_relations::r1cs::Result { [INFO] [stdout] | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `MLE` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:325:1 [INFO] [stdout] | [INFO] [stdout] 325 | struct MLE { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AugmentedCircuit` is never constructed [INFO] [stdout] --> src/main.rs:44:8 [INFO] [stdout] | [INFO] [stdout] 44 | struct AugmentedCircuit { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `to_input` is never used [INFO] [stdout] --> src/alloc.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 6 | pub trait Alloc { [INFO] [stdout] | ----- method in this trait [INFO] [stdout] ... [INFO] [stdout] 10 | fn to_input(&self, cs: ConstraintSystemRef) -> ark_relations::r1cs::Result; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `vandermonde_interpolation` is never used [INFO] [stdout] --> src/coeffs.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn vandermonde_interpolation(evals: &[F]) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `gaussian_elimination` is never used [INFO] [stdout] --> src/coeffs.rs:23:8 [INFO] [stdout] | [INFO] [stdout] 23 | pub fn gaussian_elimination(matrix: &mut [Vec]) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `echelon` is never used [INFO] [stdout] --> src/coeffs.rs:53:4 [INFO] [stdout] | [INFO] [stdout] 53 | fn echelon(matrix: &mut [Vec], i: usize, j: usize) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eliminate` is never used [INFO] [stdout] --> src/coeffs.rs:65:4 [INFO] [stdout] | [INFO] [stdout] 65 | fn eliminate(matrix: &mut [Vec], i: usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Rlc` is never constructed [INFO] [stdout] --> src/cyclefold.rs:31:12 [INFO] [stdout] | [INFO] [stdout] 31 | pub struct Rlc { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `U` is never constructed [INFO] [stdout] --> src/cyclefold.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct U { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `x` and `y` are never read [INFO] [stdout] --> src/cyclefold.rs:56:9 [INFO] [stdout] | [INFO] [stdout] 55 | pub struct AffineVar { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 56 | pub x: EmulatedFrVar, [INFO] [stdout] | ^ [INFO] [stdout] 57 | pub y: EmulatedFrVar, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `AffineVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `e`, `cc`, and `pc` are never read [INFO] [stdout] --> src/cyclefold.rs:62:5 [INFO] [stdout] | [INFO] [stdout] 61 | pub struct CommVar { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 62 | e: AffineVar, [INFO] [stdout] | ^ [INFO] [stdout] 63 | cc: AffineVar, [INFO] [stdout] | ^^ [INFO] [stdout] 64 | pc: AffineVar, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/cyclefold.rs:84:12 [INFO] [stdout] | [INFO] [stdout] 83 | impl Rlc { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 84 | pub fn new(c_r: G1Projective, c_i: G1Projective, rb: Fr) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `prove` and `verify` are never used [INFO] [stdout] --> src/cyclefold.rs:90:12 [INFO] [stdout] | [INFO] [stdout] 89 | impl CycleFold { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 90 | pub fn prove( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | pub fn verify( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Pedersen` is never constructed [INFO] [stdout] --> src/pedersen.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Pedersen { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Param` is never constructed [INFO] [stdout] --> src/pedersen.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct Param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `setup` and `commit` are never used [INFO] [stdout] --> src/pedersen.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl Pedersen { [INFO] [stdout] | ------------------------------- associated functions in this implementation [INFO] [stdout] 16 | pub fn setup(mut rng: impl RngCore, len: usize) -> Param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 22 | pub fn commit(param: &Param, v: &[C::Scalar], r: &C::Scalar) -> C { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `poseidon_custom_config` is never used [INFO] [stdout] --> src/poseidon_config.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn poseidon_custom_config( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `poseidon_canonical_config` is never used [INFO] [stdout] --> src/poseidon_config.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn poseidon_canonical_config() -> PoseidonConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `cm` and `w` are never read [INFO] [stdout] --> src/zerofold.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 26 | struct Sc { [INFO] [stdout] | -- fields in this struct [INFO] [stdout] 27 | cm: (Fr, G1Projective), [INFO] [stdout] | ^^ [INFO] [stdout] 28 | t: Fr, [INFO] [stdout] 29 | w: Vec, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `Sc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `cm` and `e` are never read [INFO] [stdout] --> src/zerofold.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 34 | struct Nsc { [INFO] [stdout] | --- fields in this struct [INFO] [stdout] 35 | cm: (Fr, G1Projective), [INFO] [stdout] | ^^ [INFO] [stdout] 36 | e: Vec, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `Nsc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ZeroFold` is never constructed [INFO] [stdout] --> src/zerofold.rs:73:12 [INFO] [stdout] | [INFO] [stdout] 73 | pub struct ZeroFold { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `prove` and `verify` are never used [INFO] [stdout] --> src/zerofold.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 80 | impl ZeroFold { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 81 | pub fn prove( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 238 | pub fn verify( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `fold` is never used [INFO] [stdout] --> src/zerofold.rs:316:4 [INFO] [stdout] | [INFO] [stdout] 316 | fn fold(v: Vec, w: Vec) -> impl Fn(Fr) -> Vec { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `MLE` is never constructed [INFO] [stdout] --> src/zerofold.rs:325:8 [INFO] [stdout] | [INFO] [stdout] 325 | struct MLE { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `e`, `cc`, and `pc` are never used [INFO] [stdout] --> src/zerofold.rs:332:12 [INFO] [stdout] | [INFO] [stdout] 331 | impl MLE { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 332 | pub fn e(e: Vec) -> (impl Fn(usize) -> Fr, impl Fn(usize) -> Fr) { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 342 | pub fn cc( [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 364 | pub fn pc( [INFO] [stdout] | ^^ [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: type `Nsc` is more private than the item `zerofold::UVar::new` [INFO] [stdout] --> src/zerofold.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 54 | pub fn new(cs: ConstraintSystemRef, nsc: Nsc) -> ark_relations::r1cs::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `zerofold::UVar::new` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | struct Nsc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Nsc` is more private than the item `ZeroFold::prove` [INFO] [stdout] --> src/zerofold.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | / pub fn prove( [INFO] [stdout] 82 | | pp: Param, [INFO] [stdout] 83 | | u_r: Nsc, [INFO] [stdout] 84 | | cc: Sc, [INFO] [stdout] 85 | | pc: Sc, [INFO] [stdout] 86 | | mle: MLE, [INFO] [stdout] 87 | | ) -> ark_relations::r1cs::Result { [INFO] [stdout] | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | struct Nsc { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Sc` is more private than the item `ZeroFold::prove` [INFO] [stdout] --> src/zerofold.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | / pub fn prove( [INFO] [stdout] 82 | | pp: Param, [INFO] [stdout] 83 | | u_r: Nsc, [INFO] [stdout] 84 | | cc: Sc, [INFO] [stdout] 85 | | pc: Sc, [INFO] [stdout] 86 | | mle: MLE, [INFO] [stdout] 87 | | ) -> ark_relations::r1cs::Result { [INFO] [stdout] | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Sc` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:26:1 [INFO] [stdout] | [INFO] [stdout] 26 | struct Sc { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `MLE` is more private than the item `ZeroFold::prove` [INFO] [stdout] --> src/zerofold.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | / pub fn prove( [INFO] [stdout] 82 | | pp: Param, [INFO] [stdout] 83 | | u_r: Nsc, [INFO] [stdout] 84 | | cc: Sc, [INFO] [stdout] 85 | | pc: Sc, [INFO] [stdout] 86 | | mle: MLE, [INFO] [stdout] 87 | | ) -> ark_relations::r1cs::Result { [INFO] [stdout] | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `MLE` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/zerofold.rs:325:1 [INFO] [stdout] | [INFO] [stdout] 325 | struct MLE { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AugmentedCircuit` is never constructed [INFO] [stdout] --> src/main.rs:44:8 [INFO] [stdout] | [INFO] [stdout] 44 | struct AugmentedCircuit { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `to_input` is never used [INFO] [stdout] --> src/alloc.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 6 | pub trait Alloc { [INFO] [stdout] | ----- method in this trait [INFO] [stdout] ... [INFO] [stdout] 10 | fn to_input(&self, cs: ConstraintSystemRef) -> ark_relations::r1cs::Result; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `vandermonde_interpolation` is never used [INFO] [stdout] --> src/coeffs.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn vandermonde_interpolation(evals: &[F]) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `gaussian_elimination` is never used [INFO] [stdout] --> src/coeffs.rs:23:8 [INFO] [stdout] | [INFO] [stdout] 23 | pub fn gaussian_elimination(matrix: &mut [Vec]) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `echelon` is never used [INFO] [stdout] --> src/coeffs.rs:53:4 [INFO] [stdout] | [INFO] [stdout] 53 | fn echelon(matrix: &mut [Vec], i: usize, j: usize) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eliminate` is never used [INFO] [stdout] --> src/coeffs.rs:65:4 [INFO] [stdout] | [INFO] [stdout] 65 | fn eliminate(matrix: &mut [Vec], i: usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Rlc` is never constructed [INFO] [stdout] --> src/cyclefold.rs:31:12 [INFO] [stdout] | [INFO] [stdout] 31 | pub struct Rlc { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `U` is never constructed [INFO] [stdout] --> src/cyclefold.rs:36:12 [INFO] [stdout] | [INFO] [stdout] 36 | pub struct U { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `x` and `y` are never read [INFO] [stdout] --> src/cyclefold.rs:56:9 [INFO] [stdout] | [INFO] [stdout] 55 | pub struct AffineVar { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 56 | pub x: EmulatedFrVar, [INFO] [stdout] | ^ [INFO] [stdout] 57 | pub y: EmulatedFrVar, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `AffineVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `e`, `cc`, and `pc` are never read [INFO] [stdout] --> src/cyclefold.rs:62:5 [INFO] [stdout] | [INFO] [stdout] 61 | pub struct CommVar { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 62 | e: AffineVar, [INFO] [stdout] | ^ [INFO] [stdout] 63 | cc: AffineVar, [INFO] [stdout] | ^^ [INFO] [stdout] 64 | pc: AffineVar, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/cyclefold.rs:84:12 [INFO] [stdout] | [INFO] [stdout] 83 | impl Rlc { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 84 | pub fn new(c_r: G1Projective, c_i: G1Projective, rb: Fr) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `prove` and `verify` are never used [INFO] [stdout] --> src/cyclefold.rs:90:12 [INFO] [stdout] | [INFO] [stdout] 89 | impl CycleFold { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 90 | pub fn prove( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | pub fn verify( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Pedersen` is never constructed [INFO] [stdout] --> src/pedersen.rs:6:12 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Pedersen { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Param` is never constructed [INFO] [stdout] --> src/pedersen.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct Param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `setup` and `commit` are never used [INFO] [stdout] --> src/pedersen.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl Pedersen { [INFO] [stdout] | ------------------------------- associated functions in this implementation [INFO] [stdout] 16 | pub fn setup(mut rng: impl RngCore, len: usize) -> Param { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 22 | pub fn commit(param: &Param, v: &[C::Scalar], r: &C::Scalar) -> C { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `poseidon_custom_config` is never used [INFO] [stdout] --> src/poseidon_config.rs:5:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub fn poseidon_custom_config( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `poseidon_canonical_config` is never used [INFO] [stdout] --> src/poseidon_config.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn poseidon_canonical_config() -> PoseidonConfig { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `cm` and `w` are never read [INFO] [stdout] --> src/zerofold.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 26 | struct Sc { [INFO] [stdout] | -- fields in this struct [INFO] [stdout] 27 | cm: (Fr, G1Projective), [INFO] [stdout] | ^^ [INFO] [stdout] 28 | t: Fr, [INFO] [stdout] 29 | w: Vec, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `Sc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `cm` and `e` are never read [INFO] [stdout] --> src/zerofold.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 34 | struct Nsc { [INFO] [stdout] | --- fields in this struct [INFO] [stdout] 35 | cm: (Fr, G1Projective), [INFO] [stdout] | ^^ [INFO] [stdout] 36 | e: Vec, [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `Nsc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ZeroFold` is never constructed [INFO] [stdout] --> src/zerofold.rs:73:12 [INFO] [stdout] | [INFO] [stdout] 73 | pub struct ZeroFold { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `prove` and `verify` are never used [INFO] [stdout] --> src/zerofold.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 80 | impl ZeroFold { [INFO] [stdout] | ------------- associated items in this implementation [INFO] [stdout] 81 | pub fn prove( [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 238 | pub fn verify( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `fold` is never used [INFO] [stdout] --> src/zerofold.rs:316:4 [INFO] [stdout] | [INFO] [stdout] 316 | fn fold(v: Vec, w: Vec) -> impl Fn(Fr) -> Vec { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `MLE` is never constructed [INFO] [stdout] --> src/zerofold.rs:325:8 [INFO] [stdout] | [INFO] [stdout] 325 | struct MLE { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `e`, `cc`, and `pc` are never used [INFO] [stdout] --> src/zerofold.rs:332:12 [INFO] [stdout] | [INFO] [stdout] 331 | impl MLE { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 332 | pub fn e(e: Vec) -> (impl Fn(usize) -> Fr, impl Fn(usize) -> Fr) { [INFO] [stdout] | ^ [INFO] [stdout] ... [INFO] [stdout] 342 | pub fn cc( [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 364 | pub fn pc( [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 44.46s [INFO] running `Command { std: "docker" "inspect" "705623251c1ba99defd313d89ac0d6d2c83a5ee1cf324c29f7d7df94684389b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "705623251c1ba99defd313d89ac0d6d2c83a5ee1cf324c29f7d7df94684389b3", kill_on_drop: false }` [INFO] [stdout] 705623251c1ba99defd313d89ac0d6d2c83a5ee1cf324c29f7d7df94684389b3