[INFO] cloning repository https://github.com/zengzengzenghuy/circuit_build [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/zengzengzenghuy/circuit_build" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2Fcircuit_build", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2Fcircuit_build'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7d9775a2e51383ff94945c51a4814d881fe04d57 [INFO] checking zengzengzenghuy/circuit_build against master#b92758a9aef1cef7b79e2b72c3d8ba113e547f89 for pr-124305-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2Fcircuit_build" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/zengzengzenghuy/circuit_build on toolchain b92758a9aef1cef7b79e2b72c3d8ba113e547f89 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b92758a9aef1cef7b79e2b72c3d8ba113e547f89" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/zengzengzenghuy/circuit_build [INFO] finished tweaking git repo https://github.com/zengzengzenghuy/circuit_build [INFO] tweaked toml for git repo https://github.com/zengzengzenghuy/circuit_build written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/zengzengzenghuy/circuit_build 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" "+b92758a9aef1cef7b79e2b72c3d8ba113e547f89" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded tracing-subscriber v0.2.25 [INFO] [stderr] Downloaded once_cell v1.14.0 [INFO] [stderr] Downloaded valuable v0.1.0 [INFO] [stderr] Downloaded tracing-core v0.1.29 [INFO] [stderr] Downloaded pin-project-lite v0.2.9 [INFO] [stderr] Downloaded tracing v0.1.36 [INFO] [stderr] Downloaded serde_derive v1.0.144 [INFO] [stderr] Downloaded proc-macro2 v1.0.43 [INFO] [stderr] Downloaded rand_core v0.6.3 [INFO] [stderr] Downloaded rand v0.8.5 [INFO] [stderr] Downloaded generic-array v0.14.6 [INFO] [stderr] Downloaded ark-ec v0.3.0 [INFO] [stderr] Downloaded ark-ff-asm v0.3.0 [INFO] [stderr] Downloaded ark-ff-macros v0.3.0 [INFO] [stderr] Downloaded typenum v1.15.0 [INFO] [stderr] Downloaded digest v0.9.0 [INFO] [stderr] Downloaded ark-serialize v0.3.0 [INFO] [stderr] Downloaded paste v1.0.9 [INFO] [stderr] Downloaded thiserror-impl v1.0.34 [INFO] [stderr] Downloaded thiserror v1.0.34 [INFO] [stderr] Downloaded rand_chacha v0.3.1 [INFO] [stderr] Downloaded ark-test-curves v0.3.0 [INFO] [stderr] Downloaded itoa v1.0.3 [INFO] [stderr] Downloaded ryu v1.0.11 [INFO] [stderr] Downloaded num-integer v0.1.45 [INFO] [stderr] Downloaded num-bigint v0.4.3 [INFO] [stderr] Downloaded ucd-trie v0.1.5 [INFO] [stderr] Downloaded pest v2.3.0 [INFO] [stderr] Downloaded semver-parser v0.10.2 [INFO] [stderr] Downloaded semver v0.11.0 [INFO] [stderr] Downloaded rustc_version v0.3.3 [INFO] [stderr] Downloaded unicode-xid v0.2.3 [INFO] [stderr] Downloaded synstructure v0.12.6 [INFO] [stderr] Downloaded zeroize_derive v1.3.2 [INFO] [stderr] Downloaded zeroize v1.5.7 [INFO] [stderr] Downloaded ark-ff v0.3.0 [INFO] [stderr] Downloaded num-traits v0.2.15 [INFO] [stderr] Downloaded ppv-lite86 v0.2.16 [INFO] [stderr] Downloaded ark-std v0.3.0 [INFO] [stderr] Downloaded quote v1.0.21 [INFO] [stderr] Downloaded unicode-ident v1.0.3 [INFO] [stderr] Downloaded syn v1.0.99 [INFO] [stderr] Downloaded serde v1.0.144 [INFO] [stderr] Downloaded serde_json v1.0.85 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b92758a9aef1cef7b79e2b72c3d8ba113e547f89" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 94fdad9577943f39762ef67ee29ce894b52cb036fde4ef3de90aa117e178d401 [INFO] running `Command { std: "docker" "start" "-a" "94fdad9577943f39762ef67ee29ce894b52cb036fde4ef3de90aa117e178d401", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "94fdad9577943f39762ef67ee29ce894b52cb036fde4ef3de90aa117e178d401", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "94fdad9577943f39762ef67ee29ce894b52cb036fde4ef3de90aa117e178d401", kill_on_drop: false }` [INFO] [stdout] 94fdad9577943f39762ef67ee29ce894b52cb036fde4ef3de90aa117e178d401 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b92758a9aef1cef7b79e2b72c3d8ba113e547f89" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 98a67b155f177e50fc166efe35794c5a45b0b724e0cb167b3f05ce8a1899be3f [INFO] running `Command { std: "docker" "start" "-a" "98a67b155f177e50fc166efe35794c5a45b0b724e0cb167b3f05ce8a1899be3f", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.43 [INFO] [stderr] Compiling quote v1.0.21 [INFO] [stderr] Compiling unicode-ident v1.0.3 [INFO] [stderr] Compiling syn v1.0.99 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling ucd-trie v0.1.5 [INFO] [stderr] Compiling typenum v1.15.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Checking rand_core v0.6.3 [INFO] [stderr] Checking ppv-lite86 v0.2.16 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling serde_derive v1.0.144 [INFO] [stderr] Compiling serde v1.0.144 [INFO] [stderr] Compiling paste v1.0.9 [INFO] [stderr] Compiling generic-array v0.14.6 [INFO] [stderr] Compiling num-traits v0.2.15 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling num-bigint v0.4.3 [INFO] [stderr] Compiling serde_json v1.0.85 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking pin-project-lite v0.2.9 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking ryu v1.0.11 [INFO] [stderr] Checking tracing-core v0.1.29 [INFO] [stderr] Checking itoa v1.0.3 [INFO] [stderr] Checking tracing v0.1.36 [INFO] [stderr] Checking ark-std v0.3.0 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking ark-serialize v0.3.0 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling thiserror-impl v1.0.34 [INFO] [stderr] Compiling zeroize_derive v1.3.2 [INFO] [stderr] Compiling ark-ff-asm v0.3.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-macros v0.3.0 [INFO] [stderr] Checking zeroize v1.5.7 [INFO] [stderr] Compiling thiserror v1.0.34 [INFO] [stderr] Compiling pest v2.3.0 [INFO] [stderr] Compiling semver-parser v0.10.2 [INFO] [stderr] Compiling semver v0.11.0 [INFO] [stderr] Compiling rustc_version v0.3.3 [INFO] [stderr] Compiling ark-ff v0.3.0 [INFO] [stderr] Checking ark-ec v0.3.0 [INFO] [stderr] Checking ark-test-curves v0.3.0 [INFO] [stderr] Checking cs_build v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `fs::File`, `io::Write` [INFO] [stdout] --> src/r1cs/constraint_system.rs:1028:15 [INFO] [stdout] | [INFO] [stdout] 1028 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> src/lib.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | unused, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] = note: `#[warn(unused_imports)]` implied by `#[warn(unused)]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub fn add_from_diff_crate(x: i32) -> i32 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> src/lib.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | missing_docs [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> src/r1cs/mod.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | pub mod impl_lc; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> src/r1cs/mod.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | pub mod constraint_system; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> src/r1cs/mod.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | pub mod error; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> src/r1cs/mod.rs:149:1 [INFO] [stdout] | [INFO] [stdout] 149 | pub fn add_one(x: u8) -> u8 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing [INFO] [stdout] --> src/r1cs/constraint_system.rs:739:9 [INFO] [stdout] | [INFO] [stdout] 739 | drop(&mut self.inner) [INFO] [stdout] | ^^^^^---------------^ [INFO] [stdout] | | [INFO] [stdout] | argument has type `&mut ConstraintSystemRef` [INFO] [stdout] | [INFO] [stdout] = note: use `let _ = ...` to ignore the expression or result [INFO] [stdout] = note: `#[warn(dropping_references)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing [INFO] [stdout] --> src/r1cs/constraint_system.rs:739:9 [INFO] [stdout] | [INFO] [stdout] 739 | drop(&mut self.inner) [INFO] [stdout] | ^^^^^---------------^ [INFO] [stdout] | | [INFO] [stdout] | argument has type `&mut ConstraintSystemRef` [INFO] [stdout] | [INFO] [stdout] = note: use `let _ = ...` to ignore the expression or result [INFO] [stdout] = note: `#[warn(dropping_references)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1180:13 [INFO] [stdout] | [INFO] [stdout] 1180 | let lastAccess = Fr::one(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> src/lib.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | nonstandard_style, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(non_snake_case)]` implied by `#[warn(nonstandard_style)]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `LA` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1182:13 [INFO] [stdout] | [INFO] [stdout] 1182 | let LA = cs.new_witness_variable(|| Ok(lastAccess))?; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `la` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1214:13 [INFO] [stdout] | [INFO] [stdout] 1214 | let lastAccess = cs.new_witness_variable(|| Ok(Fr::one()))?; [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `serde::Deserialize` [INFO] [stdout] --> src/main.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use serde::Deserialize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::error::Error` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::error::Error; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::BufReader` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::io::BufReader; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::Path` [INFO] [stdout] --> src/main.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::path::Path; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `fs::File`, `io::Write` [INFO] [stdout] --> src/r1cs/constraint_system.rs:1028:15 [INFO] [stdout] | [INFO] [stdout] 1028 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tracing::info_span` [INFO] [stdout] --> src/r1cs/mod.rs:18:9 [INFO] [stdout] | [INFO] [stdout] 18 | pub use tracing::info_span; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ToConstraintField` [INFO] [stdout] --> src/r1cs/mod.rs:20:25 [INFO] [stdout] | [INFO] [stdout] 20 | pub use ark_ff::{Field, ToConstraintField}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ConstraintSynthesizer`, `ConstraintSystemRef`, `Namespace`, `SynthesisMode` [INFO] [stdout] --> src/r1cs/mod.rs:22:25 [INFO] [stdout] | [INFO] [stdout] 22 | ConstraintMatrices, ConstraintSynthesizer, ConstraintSystem, ConstraintSystemRef, Namespace, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] 23 | OptimizationGoal, SynthesisMode, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::r1cs::*` [INFO] [stdout] --> src/main.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::r1cs::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `fs::File`, `io::Write` [INFO] [stdout] --> src/main.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr` [INFO] [stdout] --> src/main.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | use ark_test_curves::bls12_381::Fr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `fs::File`, `io::Write` [INFO] [stdout] --> src/mem_gen/mod.rs:3:11 [INFO] [stdout] | [INFO] [stdout] 3 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `mem_gen::*` [INFO] [stdout] --> src/main.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use mem_gen::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `serde::Deserialize` [INFO] [stdout] --> src/main.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use serde::Deserialize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::error::Error` [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::error::Error; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::BufReader` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::io::BufReader; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::Path` [INFO] [stdout] --> src/main.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::path::Path; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tracing::info_span` [INFO] [stdout] --> src/r1cs/mod.rs:18:9 [INFO] [stdout] | [INFO] [stdout] 18 | pub use tracing::info_span; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ToConstraintField` [INFO] [stdout] --> src/r1cs/mod.rs:20:25 [INFO] [stdout] | [INFO] [stdout] 20 | pub use ark_ff::{Field, ToConstraintField}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ConstraintSynthesizer`, `ConstraintSystemRef`, `Namespace`, `OptimizationGoal`, `SynthesisMode` [INFO] [stdout] --> src/r1cs/mod.rs:22:25 [INFO] [stdout] | [INFO] [stdout] 22 | ConstraintMatrices, ConstraintSynthesizer, ConstraintSystem, ConstraintSystemRef, Namespace, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] 23 | OptimizationGoal, SynthesisMode, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::r1cs::*` [INFO] [stdout] --> src/main.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::r1cs::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `fs::File`, `io::Write` [INFO] [stdout] --> src/main.rs:22:11 [INFO] [stdout] | [INFO] [stdout] 22 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr` [INFO] [stdout] --> src/main.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | use ark_test_curves::bls12_381::Fr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `fs::File`, `io::Write` [INFO] [stdout] --> src/mem_gen/mod.rs:3:11 [INFO] [stdout] | [INFO] [stdout] 3 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `mem_gen::*` [INFO] [stdout] --> src/main.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use mem_gen::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_type_of` is never used [INFO] [stdout] --> src/main.rs:27:4 [INFO] [stdout] | [INFO] [stdout] 27 | fn print_type_of(_: &T) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Result` is never used [INFO] [stdout] --> src/r1cs/mod.rs:6:10 [INFO] [stdout] | [INFO] [stdout] 6 | pub type Result = core::result::Result; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `add_one` is never used [INFO] [stdout] --> src/r1cs/mod.rs:149:8 [INFO] [stdout] | [INFO] [stdout] 149 | pub fn add_one(x: u8) -> u8 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `ConstraintSynthesizer` is never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:21:11 [INFO] [stdout] | [INFO] [stdout] 21 | pub trait ConstraintSynthesizer { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/r1cs/constraint_system.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 31 | pub struct ConstraintSystem { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 38 | pub mode: SynthesisMode, [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub num_instance_variables: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 44 | pub num_witness_variables: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 45 | /// The number of constraints in the constraint system. [INFO] [stdout] 46 | pub num_constraints: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 47 | /// The number of linear combinations [INFO] [stdout] 48 | pub num_linear_combinations: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 52 | pub optimization_goal: OptimizationGoal, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 56 | pub instance_assignment: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 59 | pub witness_assignment: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 62 | pub cache_map: Rc>>>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 63 | [INFO] [stdout] 64 | lc_map: BTreeMap>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | a_constraints: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 70 | b_constraints: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 71 | c_constraints: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 72 | [INFO] [stdout] 73 | lc_assignment_cache: Rc>>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstraintSystem` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Setup` is never constructed [INFO] [stdout] --> src/r1cs/constraint_system.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 84 | pub enum SynthesisMode { [INFO] [stdout] | ------------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 87 | Setup, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SynthesisMode` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `None` and `Weight` are never constructed [INFO] [stdout] --> src/r1cs/constraint_system.rs:102:5 [INFO] [stdout] | [INFO] [stdout] 100 | pub enum OptimizationGoal { [INFO] [stdout] | ---------------- variants in this enum [INFO] [stdout] 101 | /// Make no attempt to optimize. [INFO] [stdout] 102 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 107 | Weight, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `OptimizationGoal` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:112:8 [INFO] [stdout] | [INFO] [stdout] 110 | impl ConstraintSystem { [INFO] [stdout] | ---------------------------------- associated items in this implementation [INFO] [stdout] 111 | #[inline] [INFO] [stdout] 112 | fn make_row(&self, l: &LinearCombination) -> Vec<(F, usize)> { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 156 | pub fn new_ref() -> ConstraintSystemRef { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 161 | pub fn set_mode(&mut self, mode: SynthesisMode) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 166 | pub fn is_in_setup_mode(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 172 | pub fn optimization_goal(&self) -> OptimizationGoal { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 178 | pub fn set_optimization_goal(&mut self, goal: OptimizationGoal) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 189 | pub fn should_construct_matrices(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 199 | pub fn zero() -> Variable { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 206 | pub fn one() -> Variable { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 212 | pub fn new_input_variable(&mut self, f: Func) -> crate::r1cs::Result [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 227 | pub fn new_witness_variable(&mut self, f: Func) -> crate::r1cs::Result [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 242 | pub fn new_lc(&mut self, lc: LinearCombination) -> crate::r1cs::Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 254 | pub fn enforce_constraint( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 279 | fn lc_num_times_used(&self, count_sinks: bool) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 309 | pub fn transform_lc_map( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 403 | pub fn inline_all_lcs(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 424 | fn outline_lcs(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 515 | pub fn finalize(&mut self) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 526 | pub fn to_matrices(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 569 | fn eval_lc(&self, lc: LcIndex) -> Option { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 581 | pub fn is_satisfied(&self) -> crate::r1cs::Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 589 | pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 627 | pub fn assigned_value(&self, v: Variable) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `None` and `CS` are never constructed [INFO] [stdout] --> src/r1cs/constraint_system.rs:684:5 [INFO] [stdout] | [INFO] [stdout] 680 | pub enum ConstraintSystemRef { [INFO] [stdout] | ------------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 684 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 687 | CS(Rc>>), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstraintSystemRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `cs`, and `leave_namespace` are never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:719:12 [INFO] [stdout] | [INFO] [stdout] 717 | impl Namespace { [INFO] [stdout] | --------------------------- associated items in this implementation [INFO] [stdout] 718 | /// Construct a new `Namespace`. [INFO] [stdout] 719 | pub fn new(inner: ConstraintSystemRef, id: Option) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 724 | pub fn cs(&self) -> ConstraintSystemRef { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 729 | pub fn leave_namespace(self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:745:12 [INFO] [stdout] | [INFO] [stdout] 743 | impl ConstraintSystemRef { [INFO] [stdout] | ------------------------------------- associated items in this implementation [INFO] [stdout] 744 | /// Returns `self` if `!self.is_none()`, otherwise returns `other`. [INFO] [stdout] 745 | pub fn or(self, other: Self) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 753 | pub fn is_none(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 759 | pub fn new(inner: ConstraintSystem) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 763 | fn inner(&self) -> Option<&Rc>>> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 773 | pub fn into_inner(self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 785 | pub fn borrow(&self) -> Option>> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 794 | pub fn borrow_mut(&self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 799 | pub fn set_mode(&self, mode: SynthesisMode) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 805 | pub fn is_in_setup_mode(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 812 | pub fn num_constraints(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 818 | pub fn num_instance_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 825 | pub fn num_witness_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 833 | pub fn optimization_goal(&self) -> OptimizationGoal { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 842 | pub fn set_optimization_goal(&self, goal: OptimizationGoal) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 849 | pub fn should_construct_matrices(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 856 | pub fn new_input_variable(&self, f: Func) -> crate::r1cs::Result [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 876 | pub fn new_witness_variable(&self, f: Func) -> crate::r1cs::Result [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 896 | pub fn new_lc(&self, lc: LinearCombination) -> crate::r1cs::Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 904 | pub fn enforce_constraint( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 923 | pub fn inline_all_lcs(&self) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 931 | pub fn finalize(&self) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 941 | pub fn to_matrices(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 948 | pub fn is_satisfied(&self) -> crate::r1cs::Result { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 959 | pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 967 | pub fn assigned_value(&self, v: Variable) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 972 | pub fn constraint_names(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/r1cs/error.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub enum SynthesisError { [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 9 | MissingCS, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 10 | /// During synthesis, we lacked knowledge of a variable assignment. [INFO] [stdout] 11 | AssignmentMissing, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 12 | /// During synthesis, we divided by zero. [INFO] [stdout] 13 | DivisionByZero, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 14 | /// During synthesis, we constructed an unsatisfiable constraint system. [INFO] [stdout] 15 | Unsatisfiable, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 16 | /// During synthesis, our polynomials ended up being too high of degree [INFO] [stdout] 17 | PolynomialDegreeTooLarge, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 18 | /// During proof generation, we encountered an identity in the CRS [INFO] [stdout] 19 | UnexpectedIdentity, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 20 | /// During verification, our verifying key was malformed. [INFO] [stdout] 21 | MalformedVerifyingKey, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 22 | /// During CRS generation, we observed an unconstrained auxiliary variable [INFO] [stdout] 23 | UnconstrainedVariable, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SynthesisError` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `boolean_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn boolean_check_matrix_gen(x_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `addr_inc_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:48:8 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn addr_inc_check_matrix_gen( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `update_value_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:108:8 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn update_value_check_matrix_gen( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing [INFO] [stdout] --> src/r1cs/constraint_system.rs:739:9 [INFO] [stdout] | [INFO] [stdout] 739 | drop(&mut self.inner) [INFO] [stdout] | ^^^^^---------------^ [INFO] [stdout] | | [INFO] [stdout] | argument has type `&mut ConstraintSystemRef` [INFO] [stdout] | [INFO] [stdout] = note: use `let _ = ...` to ignore the expression or result [INFO] [stdout] = note: `#[warn(dropping_references)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:58:9 [INFO] [stdout] | [INFO] [stdout] 58 | let lastAccess = cs.new_witness_variable(|| Ok(x)).unwrap(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `m_op_m_wr_check_matrix_gen` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:81:33 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_op_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:81:46 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_wr_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:83:9 [INFO] [stdout] | [INFO] [stdout] 83 | let mOp = Fr::from(mOp_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:84:9 [INFO] [stdout] | [INFO] [stdout] 84 | let mWr = Fr::from(mWr_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:86:9 [INFO] [stdout] | [INFO] [stdout] 86 | let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:109:5 [INFO] [stdout] | [INFO] [stdout] 109 | mOp_in: u64, [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_op_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:110:5 [INFO] [stdout] | [INFO] [stdout] 110 | mWr_in: u64, [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_wr_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | lastAccess_in: u64, [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | let mOp = Fr::from(mOp_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:123:9 [INFO] [stdout] | [INFO] [stdout] 123 | let mWr = Fr::from(mWr_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:126:9 [INFO] [stdout] | [INFO] [stdout] 126 | let lastAccess = Fr::from(lastAccess_in); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:145:9 [INFO] [stdout] | [INFO] [stdout] 145 | let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:146:9 [INFO] [stdout] | [INFO] [stdout] 146 | let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 147 | let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 47 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_type_of` is never used [INFO] [stdout] --> src/main.rs:27:4 [INFO] [stdout] | [INFO] [stdout] 27 | fn print_type_of(_: &T) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `add_one` is never used [INFO] [stdout] --> src/r1cs/mod.rs:149:8 [INFO] [stdout] | [INFO] [stdout] 149 | pub fn add_one(x: u8) -> u8 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `ConstraintSynthesizer` is never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:21:11 [INFO] [stdout] | [INFO] [stdout] 21 | pub trait ConstraintSynthesizer { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `cache_map` is never read [INFO] [stdout] --> src/r1cs/constraint_system.rs:62:9 [INFO] [stdout] | [INFO] [stdout] 31 | pub struct ConstraintSystem { [INFO] [stdout] | ---------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 62 | pub cache_map: Rc>>>, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstraintSystem` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `None` is never constructed [INFO] [stdout] --> src/r1cs/constraint_system.rs:102:5 [INFO] [stdout] | [INFO] [stdout] 100 | pub enum OptimizationGoal { [INFO] [stdout] | ---------------- variant in this enum [INFO] [stdout] 101 | /// Make no attempt to optimize. [INFO] [stdout] 102 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `OptimizationGoal` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `set_mode`, `optimization_goal`, and `zero` are never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:161:12 [INFO] [stdout] | [INFO] [stdout] 110 | impl ConstraintSystem { [INFO] [stdout] | ---------------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 161 | pub fn set_mode(&mut self, mode: SynthesisMode) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 172 | pub fn optimization_goal(&self) -> OptimizationGoal { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 199 | pub fn zero() -> Variable { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `None` is never constructed [INFO] [stdout] --> src/r1cs/constraint_system.rs:684:5 [INFO] [stdout] | [INFO] [stdout] 680 | pub enum ConstraintSystemRef { [INFO] [stdout] | ------------------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 684 | None, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstraintSystemRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `cs`, and `leave_namespace` are never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:719:12 [INFO] [stdout] | [INFO] [stdout] 717 | impl Namespace { [INFO] [stdout] | --------------------------- associated items in this implementation [INFO] [stdout] 718 | /// Construct a new `Namespace`. [INFO] [stdout] 719 | pub fn new(inner: ConstraintSystemRef, id: Option) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 724 | pub fn cs(&self) -> ConstraintSystemRef { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 729 | pub fn leave_namespace(self) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/r1cs/constraint_system.rs:745:12 [INFO] [stdout] | [INFO] [stdout] 743 | impl ConstraintSystemRef { [INFO] [stdout] | ------------------------------------- methods in this implementation [INFO] [stdout] 744 | /// Returns `self` if `!self.is_none()`, otherwise returns `other`. [INFO] [stdout] 745 | pub fn or(self, other: Self) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 753 | pub fn is_none(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 773 | pub fn into_inner(self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 785 | pub fn borrow(&self) -> Option>> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 794 | pub fn borrow_mut(&self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 799 | pub fn set_mode(&self, mode: SynthesisMode) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 812 | pub fn num_constraints(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 818 | pub fn num_instance_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 825 | pub fn num_witness_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 833 | pub fn optimization_goal(&self) -> OptimizationGoal { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 849 | pub fn should_construct_matrices(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 959 | pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 967 | pub fn assigned_value(&self, v: Variable) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 972 | pub fn constraint_names(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `DivisionByZero`, `Unsatisfiable`, `PolynomialDegreeTooLarge`, `UnexpectedIdentity`, `MalformedVerifyingKey`, and `UnconstrainedVariable` are never constructed [INFO] [stdout] --> src/r1cs/error.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 6 | pub enum SynthesisError { [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 13 | DivisionByZero, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 14 | /// During synthesis, we constructed an unsatisfiable constraint system. [INFO] [stdout] 15 | Unsatisfiable, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 16 | /// During synthesis, our polynomials ended up being too high of degree [INFO] [stdout] 17 | PolynomialDegreeTooLarge, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 18 | /// During proof generation, we encountered an identity in the CRS [INFO] [stdout] 19 | UnexpectedIdentity, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 20 | /// During verification, our verifying key was malformed. [INFO] [stdout] 21 | MalformedVerifyingKey, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 22 | /// During CRS generation, we observed an unconstrained auxiliary variable [INFO] [stdout] 23 | UnconstrainedVariable, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SynthesisError` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `boolean_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn boolean_check_matrix_gen(x_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `addr_inc_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:48:8 [INFO] [stdout] | [INFO] [stdout] 48 | pub fn addr_inc_check_matrix_gen( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `update_value_check_matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mod.rs:108:8 [INFO] [stdout] | [INFO] [stdout] 108 | pub fn update_value_check_matrix_gen( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing [INFO] [stdout] --> src/r1cs/constraint_system.rs:739:9 [INFO] [stdout] | [INFO] [stdout] 739 | drop(&mut self.inner) [INFO] [stdout] | ^^^^^---------------^ [INFO] [stdout] | | [INFO] [stdout] | argument has type `&mut ConstraintSystemRef` [INFO] [stdout] | [INFO] [stdout] = note: use `let _ = ...` to ignore the expression or result [INFO] [stdout] = note: `#[warn(dropping_references)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1180:13 [INFO] [stdout] | [INFO] [stdout] 1180 | let lastAccess = Fr::one(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `LA` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1182:13 [INFO] [stdout] | [INFO] [stdout] 1182 | let LA = cs.new_witness_variable(|| Ok(lastAccess))?; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `la` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1214:13 [INFO] [stdout] | [INFO] [stdout] 1214 | let lastAccess = cs.new_witness_variable(|| Ok(Fr::one()))?; [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:58:9 [INFO] [stdout] | [INFO] [stdout] 58 | let lastAccess = cs.new_witness_variable(|| Ok(x)).unwrap(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `m_op_m_wr_check_matrix_gen` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:81:33 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_op_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:81:46 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_wr_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:83:9 [INFO] [stdout] | [INFO] [stdout] 83 | let mOp = Fr::from(mOp_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:84:9 [INFO] [stdout] | [INFO] [stdout] 84 | let mWr = Fr::from(mWr_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:86:9 [INFO] [stdout] | [INFO] [stdout] 86 | let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:87:9 [INFO] [stdout] | [INFO] [stdout] 87 | let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:109:5 [INFO] [stdout] | [INFO] [stdout] 109 | mOp_in: u64, [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_op_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:110:5 [INFO] [stdout] | [INFO] [stdout] 110 | mWr_in: u64, [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_wr_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | lastAccess_in: u64, [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | let mOp = Fr::from(mOp_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:123:9 [INFO] [stdout] | [INFO] [stdout] 123 | let mWr = Fr::from(mWr_in); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:126:9 [INFO] [stdout] | [INFO] [stdout] 126 | let lastAccess = Fr::from(lastAccess_in); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:145:9 [INFO] [stdout] | [INFO] [stdout] 145 | let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:146:9 [INFO] [stdout] | [INFO] [stdout] 146 | let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap(); [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `m_wr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mod.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 147 | let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 49 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.31s [INFO] running `Command { std: "docker" "inspect" "98a67b155f177e50fc166efe35794c5a45b0b724e0cb167b3f05ce8a1899be3f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "98a67b155f177e50fc166efe35794c5a45b0b724e0cb167b3f05ce8a1899be3f", kill_on_drop: false }` [INFO] [stdout] 98a67b155f177e50fc166efe35794c5a45b0b724e0cb167b3f05ce8a1899be3f