[INFO] cloning repository https://github.com/zengzengzenghuy/ConstraintSystem_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/ConstraintSystem_build" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2FConstraintSystem_build", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2FConstraintSystem_build'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 431b40a4d8b4c5493841f8ea9e25e237216ed07c [INFO] checking zengzengzenghuy/ConstraintSystem_build against master#36b61e5aa593cc60cc92fc548b0d351e414aee2a for pr-116930 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2FConstraintSystem_build" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/zengzengzenghuy/ConstraintSystem_build on toolchain 36b61e5aa593cc60cc92fc548b0d351e414aee2a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36b61e5aa593cc60cc92fc548b0d351e414aee2a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/zengzengzenghuy/ConstraintSystem_build [INFO] finished tweaking git repo https://github.com/zengzengzenghuy/ConstraintSystem_build [INFO] tweaked toml for git repo https://github.com/zengzengzenghuy/ConstraintSystem_build written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/zengzengzenghuy/ConstraintSystem_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" "+36b61e5aa593cc60cc92fc548b0d351e414aee2a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ark-groth16 v0.3.0 [INFO] [stderr] Downloaded ark-snark v0.3.0 [INFO] [stderr] Downloaded ark-relations v0.3.0 [INFO] [stderr] Downloaded ark-bls12-381 v0.3.0 [INFO] [stderr] Downloaded ark-serialize-derive v0.3.0 [INFO] [stderr] Downloaded ark-test-curves v0.3.0 [INFO] [stderr] Downloaded ark-poly v0.3.0 [INFO] [stderr] Downloaded ark-bls12-377 v0.3.0 [INFO] [stderr] Downloaded pest v2.3.0 [INFO] [stderr] Downloaded ark-crypto-primitives v0.3.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:023092b8bfa974c7f3e45c5ce651cc8dd3afd5e76915d5995b8dacd3032bf956" "/opt/rustwide/cargo-home/bin/cargo" "+36b61e5aa593cc60cc92fc548b0d351e414aee2a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] dac9963567769f5e2e86f6c310a9c370e08691a9653fde0f8aadc8675746cf7c [INFO] running `Command { std: "docker" "start" "-a" "dac9963567769f5e2e86f6c310a9c370e08691a9653fde0f8aadc8675746cf7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "dac9963567769f5e2e86f6c310a9c370e08691a9653fde0f8aadc8675746cf7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dac9963567769f5e2e86f6c310a9c370e08691a9653fde0f8aadc8675746cf7c", kill_on_drop: false }` [INFO] [stdout] dac9963567769f5e2e86f6c310a9c370e08691a9653fde0f8aadc8675746cf7c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:023092b8bfa974c7f3e45c5ce651cc8dd3afd5e76915d5995b8dacd3032bf956" "/opt/rustwide/cargo-home/bin/cargo" "+36b61e5aa593cc60cc92fc548b0d351e414aee2a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 74b25f0c664e2a75455d7583bbb7005e9649404ea18e4cd191615167786fefd0 [INFO] running `Command { std: "docker" "start" "-a" "74b25f0c664e2a75455d7583bbb7005e9649404ea18e4cd191615167786fefd0", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [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] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling libc v0.2.135 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling crossbeam-utils v0.8.12 [INFO] [stderr] Compiling typenum v1.15.0 [INFO] [stderr] Compiling ucd-trie v0.1.5 [INFO] [stderr] Compiling generic-array v0.14.6 [INFO] [stderr] Compiling rayon-core v1.9.3 [INFO] [stderr] Compiling num-traits v0.2.15 [INFO] [stderr] Compiling memoffset v0.6.5 [INFO] [stderr] Compiling crossbeam-epoch v0.9.11 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Checking scopeguard v1.1.0 [INFO] [stderr] Checking crossbeam-channel v0.5.6 [INFO] [stderr] Compiling rayon v1.5.3 [INFO] [stderr] Checking getrandom v0.2.8 [INFO] [stderr] Checking num_cpus v1.13.1 [INFO] [stderr] Compiling num-bigint v0.4.3 [INFO] [stderr] Checking crossbeam-deque v0.8.2 [INFO] [stderr] Checking ppv-lite86 v0.2.16 [INFO] [stderr] Checking rand_core v0.6.3 [INFO] [stderr] Checking either v1.8.0 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling paste v1.0.9 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking once_cell v1.14.0 [INFO] [stderr] Checking tracing-core v0.1.29 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Compiling ahash v0.7.6 [INFO] [stderr] Checking pin-project-lite v0.2.9 [INFO] [stderr] Checking tracing v0.1.36 [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stderr] Compiling serde_derive v1.0.144 [INFO] [stderr] Checking subtle v2.4.1 [INFO] [stderr] Checking crypto-mac v0.8.0 [INFO] [stderr] Compiling serde v1.0.144 [INFO] [stderr] Checking opaque-debug v0.3.0 [INFO] [stderr] Checking blake2 v0.9.2 [INFO] [stderr] Compiling serde_json v1.0.85 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking itoa v1.0.3 [INFO] [stderr] Checking ryu v1.0.11 [INFO] [stderr] Checking ark-std v0.3.0 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling thiserror-impl v1.0.34 [INFO] [stderr] Compiling ark-serialize-derive v0.3.0 [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 ark-serialize 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-relations v0.3.0 [INFO] [stderr] Checking ark-poly v0.3.0 [INFO] [stderr] Checking ark-snark v0.3.0 [INFO] [stderr] Checking ark-crypto-primitives v0.3.0 [INFO] [stderr] Checking ark-bls12-381 v0.3.0 [INFO] [stderr] Checking ark-bls12-377 v0.3.0 [INFO] [stderr] Checking ark-test-curves v0.3.0 [INFO] [stderr] Checking ark-groth16 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:1029:15 [INFO] [stdout] | [INFO] [stdout] 1029 | 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: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [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_variables)]` implied by `#[warn(unused)]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:119:5 [INFO] [stdout] | [INFO] [stdout] 119 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:120:5 [INFO] [stdout] | [INFO] [stdout] 120 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:121:5 [INFO] [stdout] | [INFO] [stdout] 121 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:126:5 [INFO] [stdout] | [INFO] [stdout] 126 | val_4: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:127:5 [INFO] [stdout] | [INFO] [stdout] 127 | val_5: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:128:5 [INFO] [stdout] | [INFO] [stdout] 128 | val_6: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:129:5 [INFO] [stdout] | [INFO] [stdout] 129 | val_7: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 236 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:237:5 [INFO] [stdout] | [INFO] [stdout] 237 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:238:5 [INFO] [stdout] | [INFO] [stdout] 238 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:239:5 [INFO] [stdout] | [INFO] [stdout] 239 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` implied by `#[warn(unused)]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:119:5 [INFO] [stdout] | [INFO] [stdout] 119 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:120:5 [INFO] [stdout] | [INFO] [stdout] 120 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:121:5 [INFO] [stdout] | [INFO] [stdout] 121 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:126:5 [INFO] [stdout] | [INFO] [stdout] 126 | val_4: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:127:5 [INFO] [stdout] | [INFO] [stdout] 127 | val_5: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:128:5 [INFO] [stdout] | [INFO] [stdout] 128 | val_6: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:129:5 [INFO] [stdout] | [INFO] [stdout] 129 | val_7: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 236 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:237:5 [INFO] [stdout] | [INFO] [stdout] 237 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:238:5 [INFO] [stdout] | [INFO] [stdout] 238 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:239:5 [INFO] [stdout] | [INFO] [stdout] 239 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for the crate [INFO] [stdout] --> src/lib.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | / #![warn( [INFO] [stdout] 7 | | unused, [INFO] [stdout] 8 | | future_incompatible, [INFO] [stdout] 9 | | nonstandard_style, [INFO] [stdout] ... | [INFO] [stdout] 18 | | pub mod mem_gen; [INFO] [stdout] 19 | | pub mod r1cs; [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/lib.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub mod mem_gen; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a module [INFO] [stdout] --> src/mem_gen/mod.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | pub mod mem_gen; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> src/mem_gen/mem_gen.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> src/mem_gen/mem_gen.rs:24:1 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn boolean_check_matrix_gen(x_in: u64) -> ConstraintMatrices { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a function [INFO] [stdout] --> src/mem_gen/mem_gen.rs:48:1 [INFO] [stdout] | [INFO] [stdout] 48 | / pub fn addr_inc_check_matrix_gen( [INFO] [stdout] 49 | | x_in: u64, [INFO] [stdout] 50 | | addr_p_in: u64, [INFO] [stdout] 51 | | addr_in: u64, [INFO] [stdout] 52 | | ) -> ConstraintMatrices { [INFO] [stdout] | |___________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.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: 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: missing documentation for a function [INFO] [stdout] --> src/mem_gen/mem_gen.rs:81:1 [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 `mOp_mWr_check_matrix_gen` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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: missing documentation for a function [INFO] [stdout] --> src/mem_gen/mem_gen.rs:110:1 [INFO] [stdout] | [INFO] [stdout] 110 | / pub fn update_value_check_matrix_gen( [INFO] [stdout] 111 | | mOp_in: u64, [INFO] [stdout] 112 | | mWr_in: u64, [INFO] [stdout] 113 | | lastAccess_in: u64, [INFO] [stdout] ... | [INFO] [stdout] 129 | | val_7: u64, [INFO] [stdout] 130 | | ) -> ConstraintMatrices { [INFO] [stdout] | |___________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | 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/mem_gen.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 112 | 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/mem_gen.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 113 | 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/mem_gen.rs:132:9 [INFO] [stdout] | [INFO] [stdout] 132 | 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/mem_gen.rs:133:9 [INFO] [stdout] | [INFO] [stdout] 133 | 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/mem_gen.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | 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/mem_gen.rs:169:9 [INFO] [stdout] | [INFO] [stdout] 169 | 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/mem_gen.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 170 | 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/mem_gen.rs:171:9 [INFO] [stdout] | [INFO] [stdout] 171 | 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: missing documentation for a function [INFO] [stdout] --> src/mem_gen/mem_gen.rs:228:1 [INFO] [stdout] | [INFO] [stdout] 228 | / pub fn update_value_check_mul_matrix_gen( [INFO] [stdout] 229 | | mOp_in: u64, [INFO] [stdout] 230 | | mWr_in: u64, [INFO] [stdout] 231 | | lastAccess_in: u64, [INFO] [stdout] ... | [INFO] [stdout] 239 | | val_p7: u64, [INFO] [stdout] 240 | | ) -> ConstraintMatrices { [INFO] [stdout] | |___________________________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.rs:229:5 [INFO] [stdout] | [INFO] [stdout] 229 | 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/mem_gen.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 230 | 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/mem_gen.rs:231:5 [INFO] [stdout] | [INFO] [stdout] 231 | 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/mem_gen.rs:242:9 [INFO] [stdout] | [INFO] [stdout] 242 | 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/mem_gen.rs:243:9 [INFO] [stdout] | [INFO] [stdout] 243 | 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/mem_gen.rs:246:9 [INFO] [stdout] | [INFO] [stdout] 246 | 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/mem_gen.rs:269:9 [INFO] [stdout] | [INFO] [stdout] 269 | 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/mem_gen.rs:270:9 [INFO] [stdout] | [INFO] [stdout] 270 | 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/mem_gen.rs:271:9 [INFO] [stdout] | [INFO] [stdout] 271 | 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: 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:740:9 [INFO] [stdout] | [INFO] [stdout] 740 | 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: 52 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.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: 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: function `mOp_mWr_check_matrix_gen` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | 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/mem_gen.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 112 | 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/mem_gen.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 113 | 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/mem_gen.rs:132:9 [INFO] [stdout] | [INFO] [stdout] 132 | 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/mem_gen.rs:133:9 [INFO] [stdout] | [INFO] [stdout] 133 | 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/mem_gen.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | 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/mem_gen.rs:169:9 [INFO] [stdout] | [INFO] [stdout] 169 | 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/mem_gen.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 170 | 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/mem_gen.rs:171:9 [INFO] [stdout] | [INFO] [stdout] 171 | 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: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.rs:229:5 [INFO] [stdout] | [INFO] [stdout] 229 | 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/mem_gen.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 230 | 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/mem_gen.rs:231:5 [INFO] [stdout] | [INFO] [stdout] 231 | 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/mem_gen.rs:242:9 [INFO] [stdout] | [INFO] [stdout] 242 | 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/mem_gen.rs:243:9 [INFO] [stdout] | [INFO] [stdout] 243 | 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/mem_gen.rs:246:9 [INFO] [stdout] | [INFO] [stdout] 246 | 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/mem_gen.rs:269:9 [INFO] [stdout] | [INFO] [stdout] 269 | 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/mem_gen.rs:270:9 [INFO] [stdout] | [INFO] [stdout] 270 | 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/mem_gen.rs:271:9 [INFO] [stdout] | [INFO] [stdout] 271 | 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: 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: `crate::mem_gen::*` [INFO] [stdout] --> src/main.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::mem_gen::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::r1cs::*` [INFO] [stdout] --> src/main.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::r1cs::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/main.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr` [INFO] [stdout] --> src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use ark_test_curves::bls12_381::Fr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `io::Write` [INFO] [stdout] --> src/main.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | use std::{fs::File, io::Write}; [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:740:9 [INFO] [stdout] | [INFO] [stdout] 740 | 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: 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: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1188:13 [INFO] [stdout] | [INFO] [stdout] 1188 | let lastAccess = Fr::one(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `LA` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1190:13 [INFO] [stdout] | [INFO] [stdout] 1190 | 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: unused imports: `fs::File`, `io::Write` [INFO] [stdout] --> src/r1cs/constraint_system.rs:1029:15 [INFO] [stdout] | [INFO] [stdout] 1029 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1222:13 [INFO] [stdout] | [INFO] [stdout] 1222 | 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: unused import: `crate::mem_gen::*` [INFO] [stdout] --> src/main.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use crate::mem_gen::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::r1cs::*` [INFO] [stdout] --> src/main.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::r1cs::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::PrimeField` [INFO] [stdout] --> src/main.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use ark_ff::PrimeField; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr` [INFO] [stdout] --> src/main.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use ark_test_curves::bls12_381::Fr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `io::Write` [INFO] [stdout] --> src/main.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | use std::{fs::File, io::Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 43 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:119:5 [INFO] [stdout] | [INFO] [stdout] 119 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:120:5 [INFO] [stdout] | [INFO] [stdout] 120 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:121:5 [INFO] [stdout] | [INFO] [stdout] 121 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:126:5 [INFO] [stdout] | [INFO] [stdout] 126 | val_4: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:127:5 [INFO] [stdout] | [INFO] [stdout] 127 | val_5: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:128:5 [INFO] [stdout] | [INFO] [stdout] 128 | val_6: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:129:5 [INFO] [stdout] | [INFO] [stdout] 129 | val_7: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 236 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:237:5 [INFO] [stdout] | [INFO] [stdout] 237 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:238:5 [INFO] [stdout] | [INFO] [stdout] 238 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:239:5 [INFO] [stdout] | [INFO] [stdout] 239 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:119:5 [INFO] [stdout] | [INFO] [stdout] 119 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:120:5 [INFO] [stdout] | [INFO] [stdout] 120 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:121:5 [INFO] [stdout] | [INFO] [stdout] 121 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:126:5 [INFO] [stdout] | [INFO] [stdout] 126 | val_4: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:127:5 [INFO] [stdout] | [INFO] [stdout] 127 | val_5: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:128:5 [INFO] [stdout] | [INFO] [stdout] 128 | val_6: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:129:5 [INFO] [stdout] | [INFO] [stdout] 129 | val_7: u64, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p4` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 236 | val_p4: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p5` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:237:5 [INFO] [stdout] | [INFO] [stdout] 237 | val_p5: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p6` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:238:5 [INFO] [stdout] | [INFO] [stdout] 238 | val_p6: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `val_p7` [INFO] [stdout] --> src/mem_gen/mem_gen.rs:239:5 [INFO] [stdout] | [INFO] [stdout] 239 | val_p7: u64, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat` [INFO] [stdout] --> src/main.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | let mat = boolean_check_matrix_gen(mOp_in); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_mat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat2` [INFO] [stdout] --> src/main.rs:68:9 [INFO] [stdout] | [INFO] [stdout] 68 | let mat2 = boolean_check_matrix_gen(mWr_in); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat3` [INFO] [stdout] --> src/main.rs:69:9 [INFO] [stdout] | [INFO] [stdout] 69 | let mat3 = boolean_check_matrix_gen(lastAccess); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat3` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat4` [INFO] [stdout] --> src/main.rs:72:9 [INFO] [stdout] | [INFO] [stdout] 72 | let mat4 = addr_inc_check_matrix_gen(lastAccess, addr_p, addr); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat5` [INFO] [stdout] --> src/main.rs:75:9 [INFO] [stdout] | [INFO] [stdout] 75 | let mat5 = mOp_mWr_check_matrix_gen(mOp_in, mWr_in); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat6` [INFO] [stdout] --> src/main.rs:78:9 [INFO] [stdout] | [INFO] [stdout] 78 | let mat6 = update_value_check_matrix_gen( [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat7` [INFO] [stdout] --> src/main.rs:83:9 [INFO] [stdout] | [INFO] [stdout] 83 | let mat7 = update_value_check_mul_matrix_gen( [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_type_of` is never used [INFO] [stdout] --> src/main.rs:20:4 [INFO] [stdout] | [INFO] [stdout] 20 | 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 `matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mem_gen.rs:7:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices { [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: 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: associated items `set_mode`, `optimization_goal`, `set_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] 178 | pub fn set_optimization_goal(&mut self, goal: 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:685:5 [INFO] [stdout] | [INFO] [stdout] 681 | pub enum ConstraintSystemRef { [INFO] [stdout] | ------------------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 685 | 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:720:12 [INFO] [stdout] | [INFO] [stdout] 718 | impl Namespace { [INFO] [stdout] | --------------------------- associated items in this implementation [INFO] [stdout] 719 | /// Construct a new `Namespace`. [INFO] [stdout] 720 | pub fn new(inner: ConstraintSystemRef, id: Option) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 725 | pub fn cs(&self) -> ConstraintSystemRef { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 730 | 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:746:12 [INFO] [stdout] | [INFO] [stdout] 744 | impl ConstraintSystemRef { [INFO] [stdout] | ------------------------------------- methods in this implementation [INFO] [stdout] 745 | /// Returns `self` if `!self.is_none()`, otherwise returns `other`. [INFO] [stdout] 746 | pub fn or(self, other: Self) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 754 | pub fn is_none(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 774 | pub fn into_inner(self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 786 | pub fn borrow(&self) -> Option>> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 795 | pub fn borrow_mut(&self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 800 | pub fn set_mode(&self, mode: SynthesisMode) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 813 | pub fn num_constraints(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 819 | pub fn num_instance_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 826 | pub fn num_witness_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 834 | pub fn optimization_goal(&self) -> OptimizationGoal { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 843 | pub fn set_optimization_goal(&self, goal: OptimizationGoal) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 850 | pub fn should_construct_matrices(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 897 | pub fn new_lc(&self, lc: LinearCombination) -> crate::r1cs::Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 924 | pub fn inline_all_lcs(&self) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 960 | pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 968 | pub fn assigned_value(&self, v: Variable) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 973 | 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: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/main.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | let mOp_in = data.as_array().unwrap()[0]["mOp"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_op_in` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/main.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | let lastAccess = data.as_array().unwrap()[0]["lastAccess"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_in` should have a snake case name [INFO] [stdout] --> src/main.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | let mWr_in = data.as_array().unwrap()[0]["mWr"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_wr_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_p_in` should have a snake case name [INFO] [stdout] --> src/main.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | let mOp_p_in = data.as_array().unwrap()[1]["mOp"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `m_op_p_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_p_in` should have a snake case name [INFO] [stdout] --> src/main.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mWr_p_in = data.as_array().unwrap()[1]["mWr"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `m_wr_p_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | 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/mem_gen.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 112 | 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/mem_gen.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 113 | 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/mem_gen.rs:132:9 [INFO] [stdout] | [INFO] [stdout] 132 | 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/mem_gen.rs:133:9 [INFO] [stdout] | [INFO] [stdout] 133 | 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/mem_gen.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | 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/mem_gen.rs:169:9 [INFO] [stdout] | [INFO] [stdout] 169 | 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/mem_gen.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 170 | 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/mem_gen.rs:171:9 [INFO] [stdout] | [INFO] [stdout] 171 | 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: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.rs:229:5 [INFO] [stdout] | [INFO] [stdout] 229 | 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/mem_gen.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 230 | 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/mem_gen.rs:231:5 [INFO] [stdout] | [INFO] [stdout] 231 | 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/mem_gen.rs:242:9 [INFO] [stdout] | [INFO] [stdout] 242 | 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/mem_gen.rs:243:9 [INFO] [stdout] | [INFO] [stdout] 243 | 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/mem_gen.rs:246:9 [INFO] [stdout] | [INFO] [stdout] 246 | 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/mem_gen.rs:269:9 [INFO] [stdout] | [INFO] [stdout] 269 | 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/mem_gen.rs:270:9 [INFO] [stdout] | [INFO] [stdout] 270 | 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/mem_gen.rs:271:9 [INFO] [stdout] | [INFO] [stdout] 271 | 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: calls to `std::mem::drop` with a reference instead of an owned value does nothing [INFO] [stdout] --> src/r1cs/constraint_system.rs:740:9 [INFO] [stdout] | [INFO] [stdout] 740 | 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: 69 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat` [INFO] [stdout] --> src/main.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | let mat = boolean_check_matrix_gen(mOp_in); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_mat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat2` [INFO] [stdout] --> src/main.rs:68:9 [INFO] [stdout] | [INFO] [stdout] 68 | let mat2 = boolean_check_matrix_gen(mWr_in); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat3` [INFO] [stdout] --> src/main.rs:69:9 [INFO] [stdout] | [INFO] [stdout] 69 | let mat3 = boolean_check_matrix_gen(lastAccess); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat3` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat4` [INFO] [stdout] --> src/main.rs:72:9 [INFO] [stdout] | [INFO] [stdout] 72 | let mat4 = addr_inc_check_matrix_gen(lastAccess, addr_p, addr); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat4` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat5` [INFO] [stdout] --> src/main.rs:75:9 [INFO] [stdout] | [INFO] [stdout] 75 | let mat5 = mOp_mWr_check_matrix_gen(mOp_in, mWr_in); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat5` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat6` [INFO] [stdout] --> src/main.rs:78:9 [INFO] [stdout] | [INFO] [stdout] 78 | let mat6 = update_value_check_matrix_gen( [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat6` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `mat7` [INFO] [stdout] --> src/main.rs:83:9 [INFO] [stdout] | [INFO] [stdout] 83 | let mat7 = update_value_check_mul_matrix_gen( [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_mat7` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_type_of` is never used [INFO] [stdout] --> src/main.rs:20:4 [INFO] [stdout] | [INFO] [stdout] 20 | 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 `matrix_gen` is never used [INFO] [stdout] --> src/mem_gen/mem_gen.rs:7:8 [INFO] [stdout] | [INFO] [stdout] 7 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices { [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: 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:685:5 [INFO] [stdout] | [INFO] [stdout] 681 | pub enum ConstraintSystemRef { [INFO] [stdout] | ------------------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 685 | 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:720:12 [INFO] [stdout] | [INFO] [stdout] 718 | impl Namespace { [INFO] [stdout] | --------------------------- associated items in this implementation [INFO] [stdout] 719 | /// Construct a new `Namespace`. [INFO] [stdout] 720 | pub fn new(inner: ConstraintSystemRef, id: Option) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 725 | pub fn cs(&self) -> ConstraintSystemRef { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 730 | 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:746:12 [INFO] [stdout] | [INFO] [stdout] 744 | impl ConstraintSystemRef { [INFO] [stdout] | ------------------------------------- methods in this implementation [INFO] [stdout] 745 | /// Returns `self` if `!self.is_none()`, otherwise returns `other`. [INFO] [stdout] 746 | pub fn or(self, other: Self) -> Self { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 754 | pub fn is_none(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 774 | pub fn into_inner(self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 786 | pub fn borrow(&self) -> Option>> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 795 | pub fn borrow_mut(&self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 800 | pub fn set_mode(&self, mode: SynthesisMode) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 813 | pub fn num_constraints(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 819 | pub fn num_instance_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 826 | pub fn num_witness_variables(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 834 | pub fn optimization_goal(&self) -> OptimizationGoal { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 850 | pub fn should_construct_matrices(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 960 | pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 968 | pub fn assigned_value(&self, v: Variable) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 973 | 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: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/main.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | let mOp_in = data.as_array().unwrap()[0]["mOp"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_op_in` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/main.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | let lastAccess = data.as_array().unwrap()[0]["lastAccess"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_in` should have a snake case name [INFO] [stdout] --> src/main.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | let mWr_in = data.as_array().unwrap()[0]["mWr"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `m_wr_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mOp_p_in` should have a snake case name [INFO] [stdout] --> src/main.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | let mOp_p_in = data.as_array().unwrap()[1]["mOp"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `m_op_p_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `mWr_p_in` should have a snake case name [INFO] [stdout] --> src/main.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mWr_p_in = data.as_array().unwrap()[1]["mWr"].as_u64().unwrap(); [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `m_wr_p_in` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `lastAccess` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.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/mem_gen.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | 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/mem_gen.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 112 | 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/mem_gen.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 113 | 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/mem_gen.rs:132:9 [INFO] [stdout] | [INFO] [stdout] 132 | 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/mem_gen.rs:133:9 [INFO] [stdout] | [INFO] [stdout] 133 | 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/mem_gen.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | 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/mem_gen.rs:169:9 [INFO] [stdout] | [INFO] [stdout] 169 | 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/mem_gen.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 170 | 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/mem_gen.rs:171:9 [INFO] [stdout] | [INFO] [stdout] 171 | 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: variable `mOp_in` should have a snake case name [INFO] [stdout] --> src/mem_gen/mem_gen.rs:229:5 [INFO] [stdout] | [INFO] [stdout] 229 | 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/mem_gen.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 230 | 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/mem_gen.rs:231:5 [INFO] [stdout] | [INFO] [stdout] 231 | 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/mem_gen.rs:242:9 [INFO] [stdout] | [INFO] [stdout] 242 | 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/mem_gen.rs:243:9 [INFO] [stdout] | [INFO] [stdout] 243 | 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/mem_gen.rs:246:9 [INFO] [stdout] | [INFO] [stdout] 246 | 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/mem_gen.rs:269:9 [INFO] [stdout] | [INFO] [stdout] 269 | 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/mem_gen.rs:270:9 [INFO] [stdout] | [INFO] [stdout] 270 | 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/mem_gen.rs:271:9 [INFO] [stdout] | [INFO] [stdout] 271 | 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: calls to `std::mem::drop` with a reference instead of an owned value does nothing [INFO] [stdout] --> src/r1cs/constraint_system.rs:740:9 [INFO] [stdout] | [INFO] [stdout] 740 | 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:1188:13 [INFO] [stdout] | [INFO] [stdout] 1188 | let lastAccess = Fr::one(); [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `last_access` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `LA` should have a snake case name [INFO] [stdout] --> src/r1cs/constraint_system.rs:1190:13 [INFO] [stdout] | [INFO] [stdout] 1190 | 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:1222:13 [INFO] [stdout] | [INFO] [stdout] 1222 | 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: 73 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 11.95s [INFO] running `Command { std: "docker" "inspect" "74b25f0c664e2a75455d7583bbb7005e9649404ea18e4cd191615167786fefd0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "74b25f0c664e2a75455d7583bbb7005e9649404ea18e4cd191615167786fefd0", kill_on_drop: false }` [INFO] [stdout] 74b25f0c664e2a75455d7583bbb7005e9649404ea18e4cd191615167786fefd0