[INFO] cloning repository https://github.com/cnbbl/MerkleTwin [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/cnbbl/MerkleTwin" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcnbbl%2FMerkleTwin", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcnbbl%2FMerkleTwin'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ed870ca43c41a4f85e72ad6d0b7abbd9998a82a1 [INFO] testing cnbbl/MerkleTwin/ed870ca43c41a4f85e72ad6d0b7abbd9998a82a1 against try#bd7d74411512a3dd3b35d2f699c51dd2557c7e7e+cargoflags=-Zbuild-dir-new-layout for pr-149852-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcnbbl%2FMerkleTwin" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/cnbbl/MerkleTwin [INFO] finished tweaking git repo https://github.com/cnbbl/MerkleTwin [INFO] tweaked toml for git repo https://github.com/cnbbl/MerkleTwin written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/cnbbl/MerkleTwin on toolchain bd7d74411512a3dd3b35d2f699c51dd2557c7e7e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/cnbbl/MerkleTwin 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" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /workspace/builds/worker-2-tc2/source/acc_kzg/Cargo.toml [INFO] [stderr] workspace: /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /workspace/builds/worker-2-tc2/source/acc_rsa/Cargo.toml [INFO] [stderr] workspace: /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /workspace/builds/worker-2-tc2/source/verilog/Cargo.toml [INFO] [stderr] workspace: /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] | [INFO] [stderr] = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b58eaf2dc314625df2c27d7efa7645eb32209ca5efb5c9895ca00d2dbc302b23 [INFO] running `Command { std: "docker" "start" "-a" "b58eaf2dc314625df2c27d7efa7645eb32209ca5efb5c9895ca00d2dbc302b23", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b58eaf2dc314625df2c27d7efa7645eb32209ca5efb5c9895ca00d2dbc302b23", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b58eaf2dc314625df2c27d7efa7645eb32209ca5efb5c9895ca00d2dbc302b23", kill_on_drop: false }` [INFO] [stdout] b58eaf2dc314625df2c27d7efa7645eb32209ca5efb5c9895ca00d2dbc302b23 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "build" "--frozen" "--message-format=json" "-Zbuild-dir-new-layout", kill_on_drop: false }` [INFO] [stdout] 2b0c022308642e6967ae8c53430787f50c88f40f2f5b3d3009178688af41a771 [INFO] running `Command { std: "docker" "start" "-a" "2b0c022308642e6967ae8c53430787f50c88f40f2f5b3d3009178688af41a771", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/acc_kzg/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/acc_rsa/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/verilog/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] | [INFO] [stderr] = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling cfg-if v1.0.3 [INFO] [stderr] Compiling subtle v2.4.1 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling find-msvc-tools v0.1.1 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling tracing-core v0.1.34 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling memchr v2.7.5 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling cc v1.2.37 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling block-padding v0.2.1 [INFO] [stderr] Compiling wyz v0.5.1 [INFO] [stderr] Compiling funty v2.0.0 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling generic-array v0.12.4 [INFO] [stderr] Compiling tracing-subscriber v0.2.25 [INFO] [stderr] Compiling constant_time_eq v0.1.5 [INFO] [stderr] Compiling rand_core v0.4.2 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.8 [INFO] [stderr] Compiling bitvec v1.0.1 [INFO] [stderr] Compiling digest v0.8.1 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling digest v0.9.0 [INFO] [stderr] Compiling block-buffer v0.9.0 [INFO] [stderr] Compiling crypto-mac v0.8.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling sha2 v0.9.9 [INFO] [stderr] Compiling rand_core v0.3.1 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling serde_json v1.0.143 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling arrayref v0.3.9 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling sha2 v0.10.9 [INFO] [stderr] Compiling blake2 v0.10.6 [INFO] [stderr] Compiling blake2 v0.9.2 [INFO] [stderr] Compiling procinfo v0.4.2 [INFO] [stderr] Compiling sha3 v0.9.1 [INFO] [stderr] Compiling crypto-mac v0.11.1 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rug v1.28.0 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling nodrop v0.1.14 [INFO] [stderr] Compiling plotters-backend v0.3.7 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling clear_on_drop v0.2.5 [INFO] [stderr] Compiling blake3 v0.3.8 [INFO] [stderr] Compiling libsqlite3-sys v0.27.0 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling plotters-svg v0.3.7 [INFO] [stderr] Compiling hmac v0.11.0 [INFO] [stderr] Compiling curve25519-dalek v1.2.6 [INFO] [stderr] Compiling csv-core v0.1.12 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling cast v0.3.0 [INFO] [stderr] Compiling half v1.8.3 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling nom v2.2.1 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling ff v0.13.1 [INFO] [stderr] Compiling regex-automata v0.4.10 [INFO] [stderr] Compiling group v0.13.0 [INFO] [stderr] Compiling pairing v0.23.0 [INFO] [stderr] Compiling bls12_381 v0.8.0 [INFO] [stderr] Compiling ark-std v0.5.0 [INFO] [stderr] Compiling criterion-plot v0.4.5 [INFO] [stderr] Compiling hkdf v0.11.0 [INFO] [stderr] Compiling blake2-rfc v0.2.18 [INFO] [stderr] Compiling plotters v0.3.7 [INFO] [stderr] Compiling hashlink v0.8.4 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling fallible-iterator v0.3.0 [INFO] [stderr] Compiling oorandom v11.1.5 [INFO] [stderr] Compiling bytemuck v1.23.2 [INFO] [stderr] Compiling fallible-streaming-iterator v0.1.9 [INFO] [stderr] Compiling bitflags v2.9.4 [INFO] [stderr] Compiling log v0.4.28 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.1 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling ark-crypto-primitives-macros v0.5.0 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling ark-serialize v0.5.0 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling enum-ordinalize v4.3.0 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Compiling merlin v3.0.0 [INFO] [stderr] Compiling smtree v0.1.2 (/opt/rustwide/workdir/smtree) [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling bls-signatures v0.15.0 [INFO] [stdout] warning: unexpected `cfg` condition value: `rand` [INFO] [stdout] --> smtree/src/pad_secret.rs:10:7 [INFO] [stdout] | [INFO] [stdout] 10 | #[cfg(feature = "rand")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `rand` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling regex v1.11.2 [INFO] [stdout] warning: value assigned to `pos` is never read [INFO] [stdout] --> smtree/src/index.rs:227:9 [INFO] [stdout] | [INFO] [stdout] 227 | pos[self.height / BYTE_SIZE] &= u8::MAX - (1 << (self.height % BYTE_SIZE)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling ark-ff v0.5.0 [INFO] [stderr] Compiling serde_cbor v0.11.2 [INFO] [stderr] Compiling csv v1.3.1 [INFO] [stderr] Compiling rusqlite v0.30.0 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stderr] Compiling criterion v0.3.6 [INFO] [stderr] Compiling ark-poly v0.5.0 [INFO] [stderr] Compiling ark-relations v0.5.1 [INFO] [stderr] Compiling ark-snark v0.5.1 [INFO] [stderr] Compiling ark-ec v0.5.0 [INFO] [stderr] Compiling ark-crypto-primitives v0.5.0 [INFO] [stderr] Compiling ark-bls12-381 v0.5.0 [INFO] [stderr] Compiling ark-r1cs-std v0.5.0 [INFO] [stderr] Compiling ark-poly-commit v0.5.0 [INFO] [stderr] Compiling acc-kzg v0.0.1 (/opt/rustwide/workdir/acc_kzg) [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::bls12::Bls12` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use ark_ec::bls12::Bls12; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_r1cs_std::poly` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_r1cs_std::poly; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::vec` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use rayon::vec; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `assert_polys_match_point_values` is never used [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:524:4 [INFO] [stdout] | [INFO] [stdout] 524 | fn assert_polys_match_point_values( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `interpolate_L_old` should have a snake case name [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:666:8 [INFO] [stdout] | [INFO] [stdout] 666 | pub fn interpolate_L_old( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l_old` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `interpolate_L` should have a snake case name [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:685:8 [INFO] [stdout] | [INFO] [stdout] 685 | pub fn interpolate_L( [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling acc_rsa v0.2.1 (/opt/rustwide/workdir/acc_rsa) [INFO] [stderr] Compiling verilog v0.1.0 (/opt/rustwide/workdir/verilog) [INFO] [stdout] warning: unused import: `ark_r1cs_std::poly` [INFO] [stdout] --> verilog/src/acc_kzg.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_r1cs_std::poly; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::time::Instant` [INFO] [stdout] --> verilog/src/acc_rsa.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | use std::time::Instant; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::forest::MTForest` [INFO] [stdout] --> verilog/src/traits.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::forest::MTForest; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog::AppendProof` [INFO] [stdout] --> verilog/src/traits.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::verilog::AppendProof; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/traits.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::verilog_node::HashVectorTreeNode; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MerkleLeafNode`, `SMTLeaf`, and `delta_from_kv` [INFO] [stdout] --> verilog/src/traits.rs:8:27 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/tree.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `blake3::Blake3` and `hash_to_vec` [INFO] [stdout] --> verilog/src/tree.rs:8:21 [INFO] [stdout] | [INFO] [stdout] 8 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stdout] --> verilog/src/tree.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use ark_ec::pairing::Pairing; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `smtree::pad_secret::ALL_ZEROS_SECRET` [INFO] [stdout] --> verilog/src/tree.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use smtree::pad_secret::ALL_ZEROS_SECRET; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `InclusionProvable`, `MAX_HEIGHT`, `Mergeable`, `MerkleProof`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `Serializable`, `TreeIndex`, `TypeName`, `node_template`, and `utils::print_output` [INFO] [stdout] --> verilog/src/tree.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] 15 | node_template, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 16 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 17 | traits::{ [INFO] [stdout] 18 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stdout] 19 | RandomSampleable, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 22 | utils::print_output, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::vector::VcKzg` [INFO] [stdout] --> verilog/src/tree.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::vector::VcKzg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/forest.rs:8:21 [INFO] [stdout] | [INFO] [stdout] 8 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/precompute_node.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_vc` [INFO] [stdout] --> verilog/src/precompute_node.rs:4:21 [INFO] [stdout] | [INFO] [stdout] 4 | use acc_kzg::{self, add_vc}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stdout] --> verilog/src/precompute_node.rs:17:30 [INFO] [stdout] | [INFO] [stdout] 17 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `CommitmentG2` [INFO] [stdout] --> verilog/src/store.rs:1:32 [INFO] [stdout] | [INFO] [stdout] 1 | use acc_kzg::kzg::{Commitment, CommitmentG2, EvaluationProof}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `core::sync` [INFO] [stdout] --> verilog/src/store.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use core::sync; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS` [INFO] [stdout] --> verilog/src/store.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `named_params` [INFO] [stdout] --> verilog/src/store.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | use rusqlite::{named_params, Connection, OpenFlags, OptionalExtension}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `compute_sca_inverse` [INFO] [stdout] --> verilog/src/store.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/store.rs:19:21 [INFO] [stdout] | [INFO] [stdout] 19 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> verilog/src/store.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `setup` [INFO] [stdout] --> verilog/src/vector.rs:11:15 [INFO] [stdout] | [INFO] [stdout] 11 | use acc_kzg::{setup, ProverKey}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tree::TreeDigest` [INFO] [stdout] --> verilog/src/verilog.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::tree::TreeDigest; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `forest` and `tree` [INFO] [stdout] --> verilog/src/verilog.rs:7:13 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::{forest, tree}; [INFO] [stdout] | ^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForestIndex` and `verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/verilog.rs:9:14 [INFO] [stdout] | [INFO] [stdout] 9 | forest::{ForestIndex, ForestIndexProof, MTForest}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 10 | traits::Verilog, [INFO] [stdout] 11 | verilog_node::HashVectorTreeNode, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_rsa::hash::blake3::Blake3` [INFO] [stdout] --> verilog/src/verilog.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use acc_rsa::hash::blake3::Blake3; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/verilog.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> verilog/src/verilog.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Rand` and `print_output` [INFO] [stdout] --> verilog/src/verilog.rs:22:72 [INFO] [stdout] | [INFO] [stdout] 22 | traits::{InclusionProvable, Mergeable, Paddable, ProofExtractable, Rand, Serializable}, [INFO] [stdout] | ^^^^ [INFO] [stdout] 23 | tree::SparseMerkleTree, [INFO] [stdout] 24 | utils::{bytes_to_usize, print_output, usize_to_bytes}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT` [INFO] [stdout] --> verilog/src/verilog.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::default` [INFO] [stdout] --> verilog/src/verilog.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use std::default; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::Prefix` [INFO] [stdout] --> verilog/src/verilog.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use std::path::Prefix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::Arc` [INFO] [stdout] --> verilog/src/verilog.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | use std::sync::Arc; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/verilog.rs:34:29 [INFO] [stdout] | [INFO] [stdout] 34 | use acc_kzg::{self, add_vc, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::rand::Rng` [INFO] [stdout] --> verilog/src/verilog.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | use ark_std::rand::Rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SMTLeaf` [INFO] [stdout] --> verilog/src/verilog.rs:44:87 [INFO] [stdout] | [INFO] [stdout] 44 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `compute_sca_inverse`, `interpolate_L`, `parallel_compute_lagrange_basis`, `parallel_compute_sca_inverse`, `parallel_interpolate_poly`, and `parallel_interpolate_u` [INFO] [stdout] --> verilog/src/verilog.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 52 | parallel_compute_sca_inverse, parallel_interpolate_poly, parallel_interpolate_u, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::CurveGroup` [INFO] [stdout] --> verilog/src/verilog.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 56 | use ark_ec::CurveGroup; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::Field` [INFO] [stdout] --> verilog/src/verilog.rs:57:5 [INFO] [stdout] | [INFO] [stdout] 57 | use ark_ff::Field; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/verilog_node.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_vc` [INFO] [stdout] --> verilog/src/verilog_node.rs:3:21 [INFO] [stdout] | [INFO] [stdout] 3 | use acc_kzg::{self, add_vc}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stdout] --> verilog/src/verilog_node.rs:18:30 [INFO] [stdout] | [INFO] [stdout] 18 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> verilog/src/test_tree.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> verilog/src/test_tree.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/test_tree.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_rsa::hash::GeneralHasher` [INFO] [stdout] --> verilog/src/test_tree.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use acc_rsa::hash::GeneralHasher; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `blake3::Blake3` and `hash_to_vec` [INFO] [stdout] --> verilog/src/test_tree.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stdout] --> verilog/src/test_tree.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_ec::pairing::Pairing; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `smtree::pad_secret::ALL_ZEROS_SECRET` [INFO] [stdout] --> verilog/src/test_tree.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use smtree::pad_secret::ALL_ZEROS_SECRET; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `InclusionProvable`, `MAX_HEIGHT`, `Mergeable`, `MerkleProof`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `Serializable`, `TreeIndex`, `TypeName`, `node_template`, `tree::SparseMerkleTree`, and `utils::print_output` [INFO] [stdout] --> verilog/src/test_tree.rs:11:13 [INFO] [stdout] | [INFO] [stdout] 11 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] 12 | node_template, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 13 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 14 | traits::{ [INFO] [stdout] 15 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stdout] 16 | RandomSampleable, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] 17 | }, [INFO] [stdout] 18 | tree::SparseMerkleTree, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 19 | utils::print_output, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::traits::VectorCommitmentForVerilog` [INFO] [stdout] --> verilog/src/test_tree.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | use crate::traits::VectorCommitmentForVerilog; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::vector::VcKzg` [INFO] [stdout] --> verilog/src/test_tree.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use crate::vector::VcKzg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> verilog/src/tree.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::AffineRepr` [INFO] [stdout] --> verilog/src/verilog_node.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_ec::AffineRepr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::AffineRepr` [INFO] [stdout] --> verilog/src/precompute_node.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ec::AffineRepr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/store.rs:318:14 [INFO] [stdout] | [INFO] [stdout] 318 | let (pk, pp) = VcKzg::::set_up(srs_n); //这里的1026设置为2^{26} [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:660:13 [INFO] [stdout] | [INFO] [stdout] 660 | let mut seed_idx: TreeIndex = TreeIndex::zero(height); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:661:13 [INFO] [stdout] | [INFO] [stdout] 661 | let mut seed_leaf = PrefixLeafNode::::default(); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:662:13 [INFO] [stdout] | [INFO] [stdout] 662 | let mut seed_node = NodePayload::>::leaf(seed_leaf); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:647:9 [INFO] [stdout] | [INFO] [stdout] 647 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `positions` [INFO] [stdout] --> verilog/src/verilog.rs:670:13 [INFO] [stdout] | [INFO] [stdout] 670 | let positions = 1usize << height; //可容纳的叶子数量 [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_positions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_values_slice` is never read [INFO] [stdout] --> verilog/src/verilog.rs:729:87 [INFO] [stdout] | [INFO] [stdout] 729 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:730:46 [INFO] [stdout] | [INFO] [stdout] 730 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:733:17 [INFO] [stdout] | [INFO] [stdout] 733 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:736:17 [INFO] [stdout] | [INFO] [stdout] 736 | > = EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:893:9 [INFO] [stdout] | [INFO] [stdout] 893 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `height` [INFO] [stdout] --> verilog/src/verilog.rs:894:9 [INFO] [stdout] | [INFO] [stdout] 894 | height: usize, // prefix tree 的 height（期望与 self.tree.get_height() 一致） [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_height` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `last_insert_proof` is assigned to, but never used [INFO] [stdout] --> verilog/src/verilog.rs:916:13 [INFO] [stdout] | [INFO] [stdout] 916 | let mut last_insert_proof = ForestAppendProof::::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_last_insert_proof` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `last_insert_proof` is never read [INFO] [stdout] --> verilog/src/verilog.rs:987:13 [INFO] [stdout] | [INFO] [stdout] 987 | last_insert_proof = self.forest.append(&merkle_payload); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:996:9 [INFO] [stdout] | [INFO] [stdout] 996 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `byte_len` [INFO] [stdout] --> verilog/src/verilog.rs:1171:13 [INFO] [stdout] | [INFO] [stdout] 1171 | let byte_len = forest_proof.serialize(); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_byte_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_values_slice` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1077:83 [INFO] [stdout] | [INFO] [stdout] 1077 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1078:42 [INFO] [stdout] | [INFO] [stdout] 1078 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1081:13 [INFO] [stdout] | [INFO] [stdout] 1081 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1083:13 [INFO] [stdout] | [INFO] [stdout] 1083 | EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:1417:9 [INFO] [stdout] | [INFO] [stdout] 1417 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3m 08s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v2.2.1 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "2b0c022308642e6967ae8c53430787f50c88f40f2f5b3d3009178688af41a771", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2b0c022308642e6967ae8c53430787f50c88f40f2f5b3d3009178688af41a771", kill_on_drop: false }` [INFO] [stdout] 2b0c022308642e6967ae8c53430787f50c88f40f2f5b3d3009178688af41a771 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "test" "--frozen" "--no-run" "--message-format=json" "-Zbuild-dir-new-layout", kill_on_drop: false }` [INFO] [stdout] ae60711cc9173bded2915d26e5f465e168105ce95ea149d4ce34438d20368e16 [INFO] running `Command { std: "docker" "start" "-a" "ae60711cc9173bded2915d26e5f465e168105ce95ea149d4ce34438d20368e16", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/acc_kzg/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/acc_rsa/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/verilog/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] | [INFO] [stderr] = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stdout] warning: unexpected `cfg` condition value: `rand` [INFO] [stdout] --> smtree/src/pad_secret.rs:10:7 [INFO] [stdout] | [INFO] [stdout] 10 | #[cfg(feature = "rand")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `rand` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pos` is never read [INFO] [stdout] --> smtree/src/index.rs:227:9 [INFO] [stdout] | [INFO] [stdout] 227 | pos[self.height / BYTE_SIZE] &= u8::MAX - (1 << (self.height % BYTE_SIZE)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling semver v1.0.26 [INFO] [stderr] Compiling lock_api v0.4.13 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling futures-sink v0.3.31 [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling slab v0.4.11 [INFO] [stderr] Compiling itertools v0.8.2 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::bls12::Bls12` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use ark_ec::bls12::Bls12; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_r1cs_std::poly` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_r1cs_std::poly; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::vec` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use rayon::vec; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `assert_polys_match_point_values` is never used [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:524:4 [INFO] [stdout] | [INFO] [stdout] 524 | fn assert_polys_match_point_values( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `interpolate_L_old` should have a snake case name [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:666:8 [INFO] [stdout] | [INFO] [stdout] 666 | pub fn interpolate_L_old( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l_old` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `interpolate_L` should have a snake case name [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:685:8 [INFO] [stdout] | [INFO] [stdout] 685 | pub fn interpolate_L( [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling rand_xoshiro v0.1.0 [INFO] [stderr] Compiling rand_os v0.1.3 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling os_str_bytes v6.6.1 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling clap_lex v0.2.4 [INFO] [stderr] Compiling serial_test_derive v1.0.0 [INFO] [stderr] Compiling textwrap v0.16.2 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stdout] warning: unused import: `ark_r1cs_std::poly` [INFO] [stdout] --> verilog/src/acc_kzg.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_r1cs_std::poly; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::time::Instant` [INFO] [stdout] --> verilog/src/acc_rsa.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | use std::time::Instant; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::forest::MTForest` [INFO] [stdout] --> verilog/src/traits.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::forest::MTForest; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog::AppendProof` [INFO] [stdout] --> verilog/src/traits.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::verilog::AppendProof; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/traits.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::verilog_node::HashVectorTreeNode; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MerkleLeafNode`, `SMTLeaf`, and `delta_from_kv` [INFO] [stdout] --> verilog/src/traits.rs:8:27 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/tree.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `blake3::Blake3` and `hash_to_vec` [INFO] [stdout] --> verilog/src/tree.rs:8:21 [INFO] [stdout] | [INFO] [stdout] 8 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stdout] --> verilog/src/tree.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use ark_ec::pairing::Pairing; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `smtree::pad_secret::ALL_ZEROS_SECRET` [INFO] [stdout] --> verilog/src/tree.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use smtree::pad_secret::ALL_ZEROS_SECRET; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `InclusionProvable`, `MAX_HEIGHT`, `Mergeable`, `MerkleProof`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `Serializable`, `TreeIndex`, `TypeName`, `node_template`, and `utils::print_output` [INFO] [stdout] --> verilog/src/tree.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] 15 | node_template, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 16 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 17 | traits::{ [INFO] [stdout] 18 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stdout] 19 | RandomSampleable, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 22 | utils::print_output, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::vector::VcKzg` [INFO] [stdout] --> verilog/src/tree.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::vector::VcKzg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/forest.rs:8:21 [INFO] [stdout] | [INFO] [stdout] 8 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/precompute_node.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_vc` [INFO] [stdout] --> verilog/src/precompute_node.rs:4:21 [INFO] [stdout] | [INFO] [stdout] 4 | use acc_kzg::{self, add_vc}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stdout] --> verilog/src/precompute_node.rs:17:30 [INFO] [stdout] | [INFO] [stdout] 17 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `CommitmentG2` [INFO] [stdout] --> verilog/src/store.rs:1:32 [INFO] [stdout] | [INFO] [stdout] 1 | use acc_kzg::kzg::{Commitment, CommitmentG2, EvaluationProof}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `core::sync` [INFO] [stdout] --> verilog/src/store.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use core::sync; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS` [INFO] [stdout] --> verilog/src/store.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `named_params` [INFO] [stdout] --> verilog/src/store.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | use rusqlite::{named_params, Connection, OpenFlags, OptionalExtension}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `compute_sca_inverse` [INFO] [stdout] --> verilog/src/store.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/store.rs:19:21 [INFO] [stdout] | [INFO] [stdout] 19 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> verilog/src/store.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `setup` [INFO] [stdout] --> verilog/src/vector.rs:11:15 [INFO] [stdout] | [INFO] [stdout] 11 | use acc_kzg::{setup, ProverKey}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tree::TreeDigest` [INFO] [stdout] --> verilog/src/verilog.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::tree::TreeDigest; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `forest` and `tree` [INFO] [stdout] --> verilog/src/verilog.rs:7:13 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::{forest, tree}; [INFO] [stdout] | ^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForestIndex` and `verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/verilog.rs:9:14 [INFO] [stdout] | [INFO] [stdout] 9 | forest::{ForestIndex, ForestIndexProof, MTForest}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 10 | traits::Verilog, [INFO] [stdout] 11 | verilog_node::HashVectorTreeNode, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_rsa::hash::blake3::Blake3` [INFO] [stdout] --> verilog/src/verilog.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use acc_rsa::hash::blake3::Blake3; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/verilog.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> verilog/src/verilog.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Rand` and `print_output` [INFO] [stdout] --> verilog/src/verilog.rs:22:72 [INFO] [stdout] | [INFO] [stdout] 22 | traits::{InclusionProvable, Mergeable, Paddable, ProofExtractable, Rand, Serializable}, [INFO] [stdout] | ^^^^ [INFO] [stdout] 23 | tree::SparseMerkleTree, [INFO] [stdout] 24 | utils::{bytes_to_usize, print_output, usize_to_bytes}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT` [INFO] [stdout] --> verilog/src/verilog.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::default` [INFO] [stdout] --> verilog/src/verilog.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use std::default; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::Prefix` [INFO] [stdout] --> verilog/src/verilog.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use std::path::Prefix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::Arc` [INFO] [stdout] --> verilog/src/verilog.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | use std::sync::Arc; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/verilog.rs:34:29 [INFO] [stdout] | [INFO] [stdout] 34 | use acc_kzg::{self, add_vc, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::rand::Rng` [INFO] [stdout] --> verilog/src/verilog.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | use ark_std::rand::Rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SMTLeaf` [INFO] [stdout] --> verilog/src/verilog.rs:44:87 [INFO] [stdout] | [INFO] [stdout] 44 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `compute_sca_inverse`, `interpolate_L`, `parallel_compute_lagrange_basis`, `parallel_compute_sca_inverse`, `parallel_interpolate_poly`, and `parallel_interpolate_u` [INFO] [stdout] --> verilog/src/verilog.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 52 | parallel_compute_sca_inverse, parallel_interpolate_poly, parallel_interpolate_u, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::CurveGroup` [INFO] [stdout] --> verilog/src/verilog.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 56 | use ark_ec::CurveGroup; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::Field` [INFO] [stdout] --> verilog/src/verilog.rs:57:5 [INFO] [stdout] | [INFO] [stdout] 57 | use ark_ff::Field; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/verilog_node.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_vc` [INFO] [stdout] --> verilog/src/verilog_node.rs:3:21 [INFO] [stdout] | [INFO] [stdout] 3 | use acc_kzg::{self, add_vc}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stdout] --> verilog/src/verilog_node.rs:18:30 [INFO] [stdout] | [INFO] [stdout] 18 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> verilog/src/test_tree.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> verilog/src/test_tree.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/test_tree.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_rsa::hash::GeneralHasher` [INFO] [stdout] --> verilog/src/test_tree.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use acc_rsa::hash::GeneralHasher; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `blake3::Blake3` and `hash_to_vec` [INFO] [stdout] --> verilog/src/test_tree.rs:7:21 [INFO] [stdout] | [INFO] [stdout] 7 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stdout] --> verilog/src/test_tree.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_ec::pairing::Pairing; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling smtree v0.1.2 (/opt/rustwide/workdir/smtree) [INFO] [stdout] warning: unused import: `smtree::pad_secret::ALL_ZEROS_SECRET` [INFO] [stdout] --> verilog/src/test_tree.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use smtree::pad_secret::ALL_ZEROS_SECRET; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `InclusionProvable`, `MAX_HEIGHT`, `Mergeable`, `MerkleProof`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `Serializable`, `TreeIndex`, `TypeName`, `node_template`, `tree::SparseMerkleTree`, and `utils::print_output` [INFO] [stdout] --> verilog/src/test_tree.rs:11:13 [INFO] [stdout] | [INFO] [stdout] 11 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] 12 | node_template, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 13 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 14 | traits::{ [INFO] [stdout] 15 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stdout] 16 | RandomSampleable, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] 17 | }, [INFO] [stdout] 18 | tree::SparseMerkleTree, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 19 | utils::print_output, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::traits::VectorCommitmentForVerilog` [INFO] [stdout] --> verilog/src/test_tree.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | use crate::traits::VectorCommitmentForVerilog; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::vector::VcKzg` [INFO] [stdout] --> verilog/src/test_tree.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use crate::vector::VcKzg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stdout] --> verilog/src/lib.rs:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | pub mod test_tree; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> verilog/src/tree.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::AffineRepr` [INFO] [stdout] --> verilog/src/verilog_node.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_ec::AffineRepr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::AffineRepr` [INFO] [stdout] --> verilog/src/precompute_node.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ec::AffineRepr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/store.rs:318:14 [INFO] [stdout] | [INFO] [stdout] 318 | let (pk, pp) = VcKzg::::set_up(srs_n); //这里的1026设置为2^{26} [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:660:13 [INFO] [stdout] | [INFO] [stdout] 660 | let mut seed_idx: TreeIndex = TreeIndex::zero(height); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:661:13 [INFO] [stdout] | [INFO] [stdout] 661 | let mut seed_leaf = PrefixLeafNode::::default(); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:662:13 [INFO] [stdout] | [INFO] [stdout] 662 | let mut seed_node = NodePayload::>::leaf(seed_leaf); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:647:9 [INFO] [stdout] | [INFO] [stdout] 647 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `positions` [INFO] [stdout] --> verilog/src/verilog.rs:670:13 [INFO] [stdout] | [INFO] [stdout] 670 | let positions = 1usize << height; //可容纳的叶子数量 [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_positions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_values_slice` is never read [INFO] [stdout] --> verilog/src/verilog.rs:729:87 [INFO] [stdout] | [INFO] [stdout] 729 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:730:46 [INFO] [stdout] | [INFO] [stdout] 730 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:733:17 [INFO] [stdout] | [INFO] [stdout] 733 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:736:17 [INFO] [stdout] | [INFO] [stdout] 736 | > = EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:893:9 [INFO] [stdout] | [INFO] [stdout] 893 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `height` [INFO] [stdout] --> verilog/src/verilog.rs:894:9 [INFO] [stdout] | [INFO] [stdout] 894 | height: usize, // prefix tree 的 height（期望与 self.tree.get_height() 一致） [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_height` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `last_insert_proof` is assigned to, but never used [INFO] [stdout] --> verilog/src/verilog.rs:916:13 [INFO] [stdout] | [INFO] [stdout] 916 | let mut last_insert_proof = ForestAppendProof::::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_last_insert_proof` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `last_insert_proof` is never read [INFO] [stdout] --> verilog/src/verilog.rs:987:13 [INFO] [stdout] | [INFO] [stdout] 987 | last_insert_proof = self.forest.append(&merkle_payload); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:996:9 [INFO] [stdout] | [INFO] [stdout] 996 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `byte_len` [INFO] [stdout] --> verilog/src/verilog.rs:1171:13 [INFO] [stdout] | [INFO] [stdout] 1171 | let byte_len = forest_proof.serialize(); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_byte_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_values_slice` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1077:83 [INFO] [stdout] | [INFO] [stdout] 1077 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1078:42 [INFO] [stdout] | [INFO] [stdout] 1078 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1081:13 [INFO] [stdout] | [INFO] [stdout] 1081 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1083:13 [INFO] [stdout] | [INFO] [stdout] 1083 | EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:1417:9 [INFO] [stdout] | [INFO] [stdout] 1417 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling dashmap v5.5.3 [INFO] [stderr] Compiling parking_lot v0.12.4 [INFO] [stderr] Compiling env_logger v0.8.4 [INFO] [stdout] warning: unexpected `cfg` condition value: `rand` [INFO] [stdout] --> smtree/src/pad_secret.rs:10:7 [INFO] [stdout] | [INFO] [stdout] 10 | #[cfg(feature = "rand")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `rand` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling cast v0.2.7 [INFO] [stdout] warning: value assigned to `pos` is never read [INFO] [stdout] --> smtree/src/index.rs:227:9 [INFO] [stdout] | [INFO] [stdout] 227 | pos[self.height / BYTE_SIZE] &= u8::MAX - (1 << (self.height % BYTE_SIZE)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling criterion-plot v0.3.1 [INFO] [stderr] Compiling clap_derive v3.2.25 [INFO] [stderr] Compiling criterion v0.2.11 [INFO] [stderr] Compiling tempfile v3.22.0 [INFO] [stderr] Compiling clap v3.2.25 [INFO] [stderr] Compiling futures-executor v0.3.31 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling serial_test v1.0.0 [INFO] [stderr] Compiling verilog v0.1.0 (/opt/rustwide/workdir/verilog) [INFO] [stderr] Compiling acc_rsa v0.2.1 (/opt/rustwide/workdir/acc_rsa) [INFO] [stdout] warning: unused import: `ark_r1cs_std::poly` [INFO] [stdout] --> verilog/src/acc_kzg.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_r1cs_std::poly; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::MembershipProof` [INFO] [stdout] --> verilog/src/acc_rsa.rs:297:9 [INFO] [stdout] | [INFO] [stdout] 297 | use acc_kzg::MembershipProof; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `proof` [INFO] [stdout] --> verilog/src/acc_rsa.rs:298:57 [INFO] [stdout] | [INFO] [stdout] 298 | use acc_rsa::{group::Rsa2048, hash::blake3::Blake3, proof, util::prime_hash_product}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::forest::MTForest` [INFO] [stdout] --> verilog/src/traits.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::forest::MTForest; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog::AppendProof` [INFO] [stdout] --> verilog/src/traits.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::verilog::AppendProof; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/traits.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::verilog_node::HashVectorTreeNode; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MerkleLeafNode`, `SMTLeaf`, and `delta_from_kv` [INFO] [stdout] --> verilog/src/traits.rs:8:27 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/tree.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stdout] --> verilog/src/tree.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use ark_ec::pairing::Pairing; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MAX_HEIGHT`, `Mergeable`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `RandomSampleable`, `RandomSamplingProof`, `TypeName`, and `node_template` [INFO] [stdout] --> verilog/src/tree.rs:14:24 [INFO] [stdout] | [INFO] [stdout] 14 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 15 | node_template, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 16 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 17 | traits::{ [INFO] [stdout] 18 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 19 | RandomSampleable, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::vector::VcKzg` [INFO] [stdout] --> verilog/src/tree.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::vector::VcKzg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `NodePayload` and `PrefixLeafNode` [INFO] [stdout] --> verilog/src/tree.rs:59:51 [INFO] [stdout] | [INFO] [stdout] 59 | use crate::verilog_node::{HashVectorTreeNode, NodePayload, PrefixLeafNode}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `VcPublicParam`, `add_vc`, `init_vector`, `new_g2`, `new`, and `vc_set_up` [INFO] [stdout] --> verilog/src/tree.rs:61:15 [INFO] [stdout] | [INFO] [stdout] 61 | self, add_vc, get_domain_size, init_vector, new, new_g2, new_vector, vc_set_up, [INFO] [stdout] | ^^^^^^ ^^^^^^^^^^^ ^^^ ^^^^^^ ^^^^^^^^^ [INFO] [stdout] 62 | VcPublicParam, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Fr` [INFO] [stdout] --> verilog/src/tree.rs:64:36 [INFO] [stdout] | [INFO] [stdout] 64 | use ark_bls12_381::{Bls12_381, Fr}; [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> verilog/src/tree.rs:66:18 [INFO] [stdout] | [INFO] [stdout] 66 | use ark_ff::{Field, Zero}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `GeneralEvaluationDomain`, `Polynomial`, and `univariate::DensePolynomial` [INFO] [stdout] --> verilog/src/tree.rs:68:9 [INFO] [stdout] | [INFO] [stdout] 68 | univariate::DensePolynomial, EvaluationDomain, GeneralEvaluationDomain, Polynomial, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_r1cs_std::poly` [INFO] [stdout] --> verilog/src/tree.rs:70:9 [INFO] [stdout] | [INFO] [stdout] 70 | use ark_r1cs_std::poly; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/forest.rs:8:21 [INFO] [stdout] | [INFO] [stdout] 8 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tree` [INFO] [stdout] --> verilog/src/forest.rs:763:9 [INFO] [stdout] | [INFO] [stdout] 763 | use crate::tree; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/forest.rs:765:9 [INFO] [stdout] | [INFO] [stdout] 765 | use crate::verilog_node::HashVectorTreeNode; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::rand::Rng` [INFO] [stdout] --> verilog/src/forest.rs:771:9 [INFO] [stdout] | [INFO] [stdout] 771 | use ark_std::rand::Rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/precompute_node.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_vc` [INFO] [stdout] --> verilog/src/precompute_node.rs:4:21 [INFO] [stdout] | [INFO] [stdout] 4 | use acc_kzg::{self, add_vc}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stdout] --> verilog/src/precompute_node.rs:17:30 [INFO] [stdout] | [INFO] [stdout] 17 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `CommitmentG2` [INFO] [stdout] --> verilog/src/store.rs:1:32 [INFO] [stdout] | [INFO] [stdout] 1 | use acc_kzg::kzg::{Commitment, CommitmentG2, EvaluationProof}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `core::sync` [INFO] [stdout] --> verilog/src/store.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use core::sync; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS` [INFO] [stdout] --> verilog/src/store.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `named_params` [INFO] [stdout] --> verilog/src/store.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | use rusqlite::{named_params, Connection, OpenFlags, OptionalExtension}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `compute_sca_inverse` [INFO] [stdout] --> verilog/src/store.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/store.rs:19:21 [INFO] [stdout] | [INFO] [stdout] 19 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> verilog/src/store.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::hash::Hash` [INFO] [stdout] --> verilog/src/store.rs:433:9 [INFO] [stdout] | [INFO] [stdout] 433 | use std::hash::Hash; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::traits::VectorCommitmentForVerilog` [INFO] [stdout] --> verilog/src/store.rs:435:9 [INFO] [stdout] | [INFO] [stdout] 435 | use crate::traits::VectorCommitmentForVerilog; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `VcKzg` and `remap_vector_index_to_root_of_unity_index` [INFO] [stdout] --> verilog/src/store.rs:436:25 [INFO] [stdout] | [INFO] [stdout] 436 | use crate::vector::{remap_vector_index_to_root_of_unity_index, VcKzg}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `compute_sca_inverse`, `interpolate_L`, `parallel_compute_lagrange_basis`, `parallel_compute_sca_inverse`, `parallel_interpolate_poly`, and `parallel_interpolate_u` [INFO] [stdout] --> verilog/src/store.rs:438:9 [INFO] [stdout] | [INFO] [stdout] 438 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 439 | parallel_compute_sca_inverse, parallel_interpolate_poly, parallel_interpolate_u, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/store.rs:441:25 [INFO] [stdout] | [INFO] [stdout] 441 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stdout] --> verilog/src/store.rs:443:9 [INFO] [stdout] | [INFO] [stdout] 443 | use ark_ec::pairing::Pairing; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::Zero` [INFO] [stdout] --> verilog/src/store.rs:444:9 [INFO] [stdout] | [INFO] [stdout] 444 | use ark_ff::Zero; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EvaluationDomain` and `GeneralEvaluationDomain` [INFO] [stdout] --> verilog/src/store.rs:445:20 [INFO] [stdout] | [INFO] [stdout] 445 | use ark_poly::{EvaluationDomain, GeneralEvaluationDomain}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt::Debug` [INFO] [stdout] --> verilog/src/store.rs:446:9 [INFO] [stdout] | [INFO] [stdout] 446 | use std::fmt::Debug; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> verilog/src/store.rs:447:9 [INFO] [stdout] | [INFO] [stdout] 447 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `tempfile::TempDir` [INFO] [stdout] --> verilog/src/store.rs:448:9 [INFO] [stdout] | [INFO] [stdout] 448 | use tempfile::TempDir; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `setup` [INFO] [stdout] --> verilog/src/vector.rs:11:15 [INFO] [stdout] | [INFO] [stdout] 11 | use acc_kzg::{setup, ProverKey}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `compute_lagrange_basis` and `interpolate_u` [INFO] [stdout] --> verilog/src/vector.rs:497:9 [INFO] [stdout] | [INFO] [stdout] 497 | compute_lagrange_basis, compute_sca_inverse, interpolate_u, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Bls12_381` and `Fr` [INFO] [stdout] --> verilog/src/vector.rs:500:25 [INFO] [stdout] | [INFO] [stdout] 500 | use ark_bls12_381::{Bls12_381, Fr}; [INFO] [stdout] | ^^^^^^^^^ ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Polynomial` and `univariate::DensePolynomial` [INFO] [stdout] --> verilog/src/vector.rs:503:20 [INFO] [stdout] | [INFO] [stdout] 503 | use ark_poly::{univariate::DensePolynomial, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tree::TreeDigest` [INFO] [stdout] --> verilog/src/verilog.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::tree::TreeDigest; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `forest` and `tree` [INFO] [stdout] --> verilog/src/verilog.rs:7:13 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::{forest, tree}; [INFO] [stdout] | ^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForestIndex` and `verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/verilog.rs:9:14 [INFO] [stdout] | [INFO] [stdout] 9 | forest::{ForestIndex, ForestIndexProof, MTForest}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 10 | traits::Verilog, [INFO] [stdout] 11 | verilog_node::HashVectorTreeNode, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_rsa::hash::blake3::Blake3` [INFO] [stdout] --> verilog/src/verilog.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use acc_rsa::hash::blake3::Blake3; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/verilog.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> verilog/src/verilog.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Rand` and `print_output` [INFO] [stdout] --> verilog/src/verilog.rs:22:72 [INFO] [stdout] | [INFO] [stdout] 22 | traits::{InclusionProvable, Mergeable, Paddable, ProofExtractable, Rand, Serializable}, [INFO] [stdout] | ^^^^ [INFO] [stdout] 23 | tree::SparseMerkleTree, [INFO] [stdout] 24 | utils::{bytes_to_usize, print_output, usize_to_bytes}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT` [INFO] [stdout] --> verilog/src/verilog.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | use std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::default` [INFO] [stdout] --> verilog/src/verilog.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use std::default; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::Prefix` [INFO] [stdout] --> verilog/src/verilog.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use std::path::Prefix; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::Arc` [INFO] [stdout] --> verilog/src/verilog.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | use std::sync::Arc; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/verilog.rs:34:29 [INFO] [stdout] | [INFO] [stdout] 34 | use acc_kzg::{self, add_vc, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::rand::Rng` [INFO] [stdout] --> verilog/src/verilog.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | use ark_std::rand::Rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SMTLeaf` [INFO] [stdout] --> verilog/src/verilog.rs:44:87 [INFO] [stdout] | [INFO] [stdout] 44 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `compute_sca_inverse`, `interpolate_L`, `parallel_compute_lagrange_basis`, `parallel_compute_sca_inverse`, `parallel_interpolate_poly`, and `parallel_interpolate_u` [INFO] [stdout] --> verilog/src/verilog.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 52 | parallel_compute_sca_inverse, parallel_interpolate_poly, parallel_interpolate_u, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::CurveGroup` [INFO] [stdout] --> verilog/src/verilog.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 56 | use ark_ec::CurveGroup; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::Field` [INFO] [stdout] --> verilog/src/verilog.rs:57:5 [INFO] [stdout] | [INFO] [stdout] 57 | use ark_ff::Field; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `remap_vector_index_to_root_of_unity_index` [INFO] [stdout] --> verilog/src/verilog.rs:1751:25 [INFO] [stdout] | [INFO] [stdout] 1751 | use crate::vector::{remap_vector_index_to_root_of_unity_index, VcKzg}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::verilog` [INFO] [stdout] --> verilog/src/verilog.rs:1752:9 [INFO] [stdout] | [INFO] [stdout] 1752 | use crate::verilog; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForestIndexProof`, `ForestIndex`, `MTForest`, and `verilog_node::HashVectorTreeNode` [INFO] [stdout] --> verilog/src/verilog.rs:1754:18 [INFO] [stdout] | [INFO] [stdout] 1754 | forest::{ForestIndex, ForestIndexProof, MTForest}, [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] 1755 | traits::Verilog, [INFO] [stdout] 1756 | verilog_node::HashVectorTreeNode, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/verilog.rs:1759:25 [INFO] [stdout] | [INFO] [stdout] 1759 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `InclusionProvable`, `Mergeable`, `Paddable`, `ProofExtractable`, `Rand`, `Serializable`, `bytes_to_usize`, `error::DecodingError`, `pad_secret::ALL_ZEROS_SECRET`, `print_output`, `proof::MerkleProof`, `tree::SparseMerkleTree`, and `usize_to_bytes` [INFO] [stdout] --> verilog/src/verilog.rs:1763:9 [INFO] [stdout] | [INFO] [stdout] 1763 | error::DecodingError, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1764 | index::TreeIndex, [INFO] [stdout] 1765 | pad_secret::ALL_ZEROS_SECRET, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1766 | proof::MerkleProof, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1767 | traits::{InclusionProvable, Mergeable, Paddable, ProofExtractable, Rand, Serializable}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ ^^^^^^^^^^^^ [INFO] [stdout] 1768 | tree::SparseMerkleTree, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1769 | utils::{bytes_to_usize, print_output, usize_to_bytes}, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> verilog/src/verilog.rs:1771:9 [INFO] [stdout] | [INFO] [stdout] 1771 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stdout] --> verilog/src/verilog.rs:1775:25 [INFO] [stdout] | [INFO] [stdout] 1775 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_std::rand::Rng` [INFO] [stdout] --> verilog/src/verilog.rs:1776:9 [INFO] [stdout] | [INFO] [stdout] 1776 | use ark_std::rand::Rng; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `NodePayloadVc`, `VcSMT`, and `VectorLeafNode` [INFO] [stdout] --> verilog/src/verilog.rs:1778:34 [INFO] [stdout] | [INFO] [stdout] 1778 | use crate::precompute_node::{NodePayloadVc, VcSMT, VectorLeafNode}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^ ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForestAppendProof` and `ForestDigest` [INFO] [stdout] --> verilog/src/verilog.rs:1781:18 [INFO] [stdout] | [INFO] [stdout] 1781 | forest::{ForestAppendProof, ForestDigest}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BigInteger`, `One`, `PrimeField`, and `Zero` [INFO] [stdout] --> verilog/src/verilog.rs:1784:18 [INFO] [stdout] | [INFO] [stdout] 1784 | use ark_ff::{BigInteger, One, PrimeField, Zero}; [INFO] [stdout] | ^^^^^^^^^^ ^^^ ^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GeneralEvaluationDomain` [INFO] [stdout] --> verilog/src/verilog.rs:1785:38 [INFO] [stdout] | [INFO] [stdout] 1785 | use ark_poly::{EvaluationDomain, GeneralEvaluationDomain}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stdout] --> verilog/src/verilog_node.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use acc_kzg::kzg::Commitment; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `add_vc` [INFO] [stdout] --> verilog/src/verilog_node.rs:3:21 [INFO] [stdout] | [INFO] [stdout] 3 | use acc_kzg::{self, add_vc}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stdout] --> verilog/src/verilog_node.rs:18:30 [INFO] [stdout] | [INFO] [stdout] 18 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::marker::PhantomData` [INFO] [stdout] --> verilog/src/test_tree.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::marker::PhantomData; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `hash_to_vec` [INFO] [stdout] --> verilog/src/test_tree.rs:7:37 [INFO] [stdout] | [INFO] [stdout] 7 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stdout] --> verilog/src/test_tree.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_ec::pairing::Pairing; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MAX_HEIGHT`, `Mergeable`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `TypeName`, and `node_template` [INFO] [stdout] --> verilog/src/test_tree.rs:11:24 [INFO] [stdout] | [INFO] [stdout] 11 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 12 | node_template, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 13 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 14 | traits::{ [INFO] [stdout] 15 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stdout] 16 | RandomSampleable, Serializable, TypeName, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::vector::VcKzg` [INFO] [stdout] --> verilog/src/test_tree.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use crate::vector::VcKzg; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PrefixLeafNode` and `SMTLeaf` [INFO] [stdout] --> verilog/src/test_tree.rs:37:53 [INFO] [stdout] | [INFO] [stdout] 37 | delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `merge` [INFO] [stdout] --> verilog/src/test_tree.rs:44:50 [INFO] [stdout] | [INFO] [stdout] 44 | use acc_kzg::{self, add_vc, get_domain_size, merge, new_vector}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `traits::VectorCommitmentForVerilog` [INFO] [stdout] --> verilog/src/verilog.rs:1782:9 [INFO] [stdout] | [INFO] [stdout] 1782 | traits::VectorCommitmentForVerilog, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EvaluationDomain` [INFO] [stdout] --> verilog/src/tree.rs:68:38 [INFO] [stdout] | [INFO] [stdout] 68 | univariate::DensePolynomial, EvaluationDomain, GeneralEvaluationDomain, Polynomial, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Rand` [INFO] [stdout] --> verilog/src/tree.rs:18:84 [INFO] [stdout] | [INFO] [stdout] 18 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EvaluationDomain` [INFO] [stdout] --> verilog/src/verilog.rs:1785:20 [INFO] [stdout] | [INFO] [stdout] 1785 | use ark_poly::{EvaluationDomain, GeneralEvaluationDomain}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::AffineRepr` [INFO] [stdout] --> verilog/src/verilog_node.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use ark_ec::AffineRepr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::AffineRepr` [INFO] [stdout] --> verilog/src/precompute_node.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use ark_ec::AffineRepr; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/tree.rs:81:18 [INFO] [stdout] | [INFO] [stdout] 81 | let (pk, pp) = VcKzg::::set_up(1026); //初始化commitment [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `eval_proofs` [INFO] [stdout] --> verilog/src/tree.rs:119:18 [INFO] [stdout] | [INFO] [stdout] 119 | let (vc, eval_proofs) = VcKzg::::commit_with_proof(&pk, &evals); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_eval_proofs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/tree.rs:140:18 [INFO] [stdout] | [INFO] [stdout] 140 | let (pk, pp) = VcKzg::::set_up(1026); //初始化commitment [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `points` [INFO] [stdout] --> verilog/src/tree.rs:142:13 [INFO] [stdout] | [INFO] [stdout] 142 | let points: Vec<_> = (0..8).map(|j| G::ScalarField::from(j as u32)).collect(); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_points` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/forest.rs:789:18 [INFO] [stdout] | [INFO] [stdout] 789 | let (pk, pp) = VcKzg::::set_up(1026); [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `elem` is never read [INFO] [stdout] --> verilog/src/forest.rs:791:24 [INFO] [stdout] | [INFO] [stdout] 791 | let mut elem = NodePayload::, MerkleLeafNode>>::default(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/store.rs:318:14 [INFO] [stdout] | [INFO] [stdout] 318 | let (pk, pp) = VcKzg::::set_up(srs_n); //这里的1026设置为2^{26} [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `u_polys` [INFO] [stdout] --> verilog/src/vector.rs:665:13 [INFO] [stdout] | [INFO] [stdout] 665 | let u_polys = parallel_interpolate_u::(&roots_of_unity, &sca_inverse, &lang); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_polys` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `polys` [INFO] [stdout] --> verilog/src/vector.rs:668:20 [INFO] [stdout] | [INFO] [stdout] 668 | let (poly, polys) = [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_polys` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:660:13 [INFO] [stdout] | [INFO] [stdout] 660 | let mut seed_idx: TreeIndex = TreeIndex::zero(height); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:661:13 [INFO] [stdout] | [INFO] [stdout] 661 | let mut seed_leaf = PrefixLeafNode::::default(); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> verilog/src/verilog.rs:662:13 [INFO] [stdout] | [INFO] [stdout] 662 | let mut seed_node = NodePayload::>::leaf(seed_leaf); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:647:9 [INFO] [stdout] | [INFO] [stdout] 647 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `positions` [INFO] [stdout] --> verilog/src/verilog.rs:670:13 [INFO] [stdout] | [INFO] [stdout] 670 | let positions = 1usize << height; //可容纳的叶子数量 [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_positions` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_values_slice` is never read [INFO] [stdout] --> verilog/src/verilog.rs:729:87 [INFO] [stdout] | [INFO] [stdout] 729 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:730:46 [INFO] [stdout] | [INFO] [stdout] 730 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:733:17 [INFO] [stdout] | [INFO] [stdout] 733 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:736:17 [INFO] [stdout] | [INFO] [stdout] 736 | > = EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:893:9 [INFO] [stdout] | [INFO] [stdout] 893 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `height` [INFO] [stdout] --> verilog/src/verilog.rs:894:9 [INFO] [stdout] | [INFO] [stdout] 894 | height: usize, // prefix tree 的 height（期望与 self.tree.get_height() 一致） [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_height` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `last_insert_proof` is assigned to, but never used [INFO] [stdout] --> verilog/src/verilog.rs:916:13 [INFO] [stdout] | [INFO] [stdout] 916 | let mut last_insert_proof = ForestAppendProof::::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_last_insert_proof` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `last_insert_proof` is never read [INFO] [stdout] --> verilog/src/verilog.rs:987:13 [INFO] [stdout] | [INFO] [stdout] 987 | last_insert_proof = self.forest.append(&merkle_payload); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling acc-kzg v0.0.1 (/opt/rustwide/workdir/acc_kzg) [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:996:9 [INFO] [stdout] | [INFO] [stdout] 996 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `byte_len` [INFO] [stdout] --> verilog/src/verilog.rs:1171:13 [INFO] [stdout] | [INFO] [stdout] 1171 | let byte_len = forest_proof.serialize(); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_byte_len` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_values_slice` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1077:83 [INFO] [stdout] | [INFO] [stdout] 1077 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1078:42 [INFO] [stdout] | [INFO] [stdout] 1078 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1081:13 [INFO] [stdout] | [INFO] [stdout] 1081 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stdout] --> verilog/src/verilog.rs:1083:13 [INFO] [stdout] | [INFO] [stdout] 1083 | EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pp` [INFO] [stdout] --> verilog/src/verilog.rs:1417:9 [INFO] [stdout] | [INFO] [stdout] 1417 | pp: &Self::ProverKeys, [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree_digest` [INFO] [stdout] --> verilog/src/verilog.rs:1804:13 [INFO] [stdout] | [INFO] [stdout] 1804 | let tree_digest = verilog.tree.get_root(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tree_digest` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `append_digest` [INFO] [stdout] --> verilog/src/verilog.rs:1826:13 [INFO] [stdout] | [INFO] [stdout] 1826 | let append_digest = verilog.forest.get_digest(); [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_append_digest` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree_digest` [INFO] [stdout] --> verilog/src/verilog.rs:1828:13 [INFO] [stdout] | [INFO] [stdout] 1828 | let tree_digest = verilog.tree.get_root(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tree_digest` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ec::bls12::Bls12` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use ark_ec::bls12::Bls12; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_r1cs_std::poly` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use ark_r1cs_std::poly; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rayon::vec` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use rayon::vec; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `univariate::DenseOrSparsePolynomial` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:731:20 [INFO] [stdout] | [INFO] [stdout] 731 | use ark_poly::{univariate::DenseOrSparsePolynomial, univariate::DensePolynomial, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ark_ff::One` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:813:9 [INFO] [stdout] | [INFO] [stdout] 813 | use ark_ff::One; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `univariate::DenseOrSparsePolynomial` and `univariate::DensePolynomial` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:814:20 [INFO] [stdout] | [INFO] [stdout] 814 | use ark_poly::{univariate::DenseOrSparsePolynomial, univariate::DensePolynomial, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `UniformRand` and `test_rng` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:815:19 [INFO] [stdout] | [INFO] [stdout] 815 | use ark_std::{test_rng, UniformRand}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:840:18 [INFO] [stdout] | [INFO] [stdout] 840 | use ark_ff::{Field, One, UniformRand}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `univariate::DenseOrSparsePolynomial` [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:938:20 [INFO] [stdout] | [INFO] [stdout] 938 | use ark_poly::{univariate::DenseOrSparsePolynomial, univariate::DensePolynomial, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `polys_commit_vc` [INFO] [stdout] --> verilog/src/test_tree.rs:88:13 [INFO] [stdout] | [INFO] [stdout] 88 | let polys_commit_vc: Vec<_> = polys.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_polys_commit_vc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `eval` [INFO] [stdout] --> verilog/src/test_tree.rs:93:18 [INFO] [stdout] | [INFO] [stdout] 93 | let (eval, proof) = pk.ck.open(&poly, &xk); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_eval` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `roots_of_unity` [INFO] [stdout] --> verilog/src/test_tree.rs:343:13 [INFO] [stdout] | [INFO] [stdout] 343 | let roots_of_unity: Vec<_> = domain.elements().collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_roots_of_unity` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lang_commit_vc` [INFO] [stdout] --> verilog/src/test_tree.rs:432:13 [INFO] [stdout] | [INFO] [stdout] 432 | let lang_commit_vc: Vec<_> = lang.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_lang_commit_vc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `polys_commit_vc` [INFO] [stdout] --> verilog/src/test_tree.rs:437:13 [INFO] [stdout] | [INFO] [stdout] 437 | let polys_commit_vc: Vec<_> = polys.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_polys_commit_vc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `baseUi` [INFO] [stdout] --> verilog/src/test_tree.rs:498:17 [INFO] [stdout] | [INFO] [stdout] 498 | let baseUi = Ls_commit_vc[remapped_index] [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_baseUi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Ls` should have a snake case name [INFO] [stdout] --> verilog/src/test_tree.rs:439:13 [INFO] [stdout] | [INFO] [stdout] 439 | let Ls = interpolate_L::(&sca_inverse, &lang); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `ls` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Ls_commit_vc` should have a snake case name [INFO] [stdout] --> verilog/src/test_tree.rs:440:13 [INFO] [stdout] | [INFO] [stdout] 440 | let Ls_commit_vc: Vec<_> = Ls.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stdout] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `ls_commit_vc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `baseUi` should have a snake case name [INFO] [stdout] --> verilog/src/test_tree.rs:498:17 [INFO] [stdout] | [INFO] [stdout] 498 | let baseUi = Ls_commit_vc[remapped_index] [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `base_ui` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `interpolate_L_old` should have a snake case name [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:666:8 [INFO] [stdout] | [INFO] [stdout] 666 | pub fn interpolate_L_old( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l_old` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `interpolate_L` should have a snake case name [INFO] [stdout] --> acc_kzg/src/kzg/mod.rs:685:8 [INFO] [stdout] | [INFO] [stdout] 685 | pub fn interpolate_L( [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 12.89s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: criterion v0.2.11, nom v2.2.1 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 3` [INFO] running `Command { std: "docker" "inspect" "ae60711cc9173bded2915d26e5f465e168105ce95ea149d4ce34438d20368e16", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ae60711cc9173bded2915d26e5f465e168105ce95ea149d4ce34438d20368e16", kill_on_drop: false }` [INFO] [stdout] ae60711cc9173bded2915d26e5f465e168105ce95ea149d4ce34438d20368e16 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "test" "--frozen" "-Zbuild-dir-new-layout", kill_on_drop: false }` [INFO] [stdout] 5888e9c78d868b8f93816967a8aa4f950b378a4a04b0f62ac8b61b2171a30b93 [INFO] running `Command { std: "docker" "start" "-a" "5888e9c78d868b8f93816967a8aa4f950b378a4a04b0f62ac8b61b2171a30b93", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/acc_kzg/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/acc_rsa/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/verilog/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"` [INFO] [stderr] | [INFO] [stderr] = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest [INFO] [stderr] = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest [INFO] [stderr] = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions [INFO] [stderr] warning: unexpected `cfg` condition value: `rand` [INFO] [stderr] --> smtree/src/pad_secret.rs:10:7 [INFO] [stderr] | [INFO] [stderr] 10 | #[cfg(feature = "rand")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stderr] | [INFO] [stderr] = note: no expected values for `feature` [INFO] [stderr] = help: consider adding `rand` as a feature in `Cargo.toml` [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pos` is never read [INFO] [stderr] --> smtree/src/index.rs:227:9 [INFO] [stderr] | [INFO] [stderr] 227 | pos[self.height / BYTE_SIZE] &= u8::MAX - (1 << (self.height % BYTE_SIZE)); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `smtree` (lib) generated 2 warnings [INFO] [stderr] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use ark_bls12_381::Bls12_381; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::bls12::Bls12` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use ark_ec::bls12::Bls12; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_r1cs_std::poly` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use ark_r1cs_std::poly; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `rayon::vec` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:10:5 [INFO] [stderr] | [INFO] [stderr] 10 | use rayon::vec; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `assert_polys_match_point_values` is never used [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:524:4 [INFO] [stderr] | [INFO] [stderr] 524 | fn assert_polys_match_point_values( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `interpolate_L_old` should have a snake case name [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:666:8 [INFO] [stderr] | [INFO] [stderr] 666 | pub fn interpolate_L_old( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l_old` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `interpolate_L` should have a snake case name [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:685:8 [INFO] [stderr] | [INFO] [stderr] 685 | pub fn interpolate_L( [INFO] [stderr] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `interpolate_l` [INFO] [stderr] [INFO] [stderr] warning: `acc-kzg` (lib) generated 7 warnings (run `cargo fix --lib -p acc-kzg` to apply 4 suggestions) [INFO] [stderr] warning: unused import: `ark_r1cs_std::poly` [INFO] [stderr] --> verilog/src/acc_kzg.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use ark_r1cs_std::poly; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::time::Instant` [INFO] [stderr] --> verilog/src/acc_rsa.rs:21:5 [INFO] [stderr] | [INFO] [stderr] 21 | use std::time::Instant; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::forest::MTForest` [INFO] [stderr] --> verilog/src/traits.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::forest::MTForest; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::verilog::AppendProof` [INFO] [stderr] --> verilog/src/traits.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::verilog::AppendProof; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::verilog_node::HashVectorTreeNode` [INFO] [stderr] --> verilog/src/traits.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use crate::verilog_node::HashVectorTreeNode; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `MerkleLeafNode`, `SMTLeaf`, and `delta_from_kv` [INFO] [stderr] --> verilog/src/traits.rs:8:27 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stderr] --> verilog/src/tree.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use acc_kzg::kzg::Commitment; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `blake3::Blake3` and `hash_to_vec` [INFO] [stderr] --> verilog/src/tree.rs:8:21 [INFO] [stderr] | [INFO] [stderr] 8 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stderr] --> verilog/src/tree.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | use ark_ec::pairing::Pairing; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `smtree::pad_secret::ALL_ZEROS_SECRET` [INFO] [stderr] --> verilog/src/tree.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | use smtree::pad_secret::ALL_ZEROS_SECRET; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `InclusionProvable`, `MAX_HEIGHT`, `Mergeable`, `MerkleProof`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `Serializable`, `TreeIndex`, `TypeName`, `node_template`, and `utils::print_output` [INFO] [stderr] --> verilog/src/tree.rs:14:13 [INFO] [stderr] | [INFO] [stderr] 14 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] 15 | node_template, [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] 16 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stderr] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 17 | traits::{ [INFO] [stderr] 18 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stderr] 19 | RandomSampleable, Serializable, TypeName, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 22 | utils::print_output, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::vector::VcKzg` [INFO] [stderr] --> verilog/src/tree.rs:28:5 [INFO] [stderr] | [INFO] [stderr] 28 | use crate::vector::VcKzg; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash_to_vec` [INFO] [stderr] --> verilog/src/forest.rs:8:21 [INFO] [stderr] | [INFO] [stderr] 8 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stderr] --> verilog/src/precompute_node.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use acc_kzg::kzg::Commitment; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `add_vc` [INFO] [stderr] --> verilog/src/precompute_node.rs:4:21 [INFO] [stderr] | [INFO] [stderr] 4 | use acc_kzg::{self, add_vc}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stderr] --> verilog/src/precompute_node.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `CommitmentG2` [INFO] [stderr] --> verilog/src/store.rs:1:32 [INFO] [stderr] | [INFO] [stderr] 1 | use acc_kzg::kzg::{Commitment, CommitmentG2, EvaluationProof}; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `core::sync` [INFO] [stderr] --> verilog/src/store.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use core::sync; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS` [INFO] [stderr] --> verilog/src/store.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use rusqlite::ffi::SQLITE_VTAB_USES_ALL_SCHEMAS; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `named_params` [INFO] [stderr] --> verilog/src/store.rs:6:16 [INFO] [stderr] | [INFO] [stderr] 6 | use rusqlite::{named_params, Connection, OpenFlags, OptionalExtension}; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `compute_sca_inverse` [INFO] [stderr] --> verilog/src/store.rs:16:5 [INFO] [stderr] | [INFO] [stderr] 16 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stderr] --> verilog/src/store.rs:19:21 [INFO] [stderr] | [INFO] [stderr] 19 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stderr] --> verilog/src/store.rs:20:5 [INFO] [stderr] | [INFO] [stderr] 20 | use ark_bls12_381::Bls12_381; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `setup` [INFO] [stderr] --> verilog/src/vector.rs:11:15 [INFO] [stderr] | [INFO] [stderr] 11 | use acc_kzg::{setup, ProverKey}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::tree::TreeDigest` [INFO] [stderr] --> verilog/src/verilog.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use crate::tree::TreeDigest; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `forest` and `tree` [INFO] [stderr] --> verilog/src/verilog.rs:7:13 [INFO] [stderr] | [INFO] [stderr] 7 | use crate::{forest, tree}; [INFO] [stderr] | ^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `ForestIndex` and `verilog_node::HashVectorTreeNode` [INFO] [stderr] --> verilog/src/verilog.rs:9:14 [INFO] [stderr] | [INFO] [stderr] 9 | forest::{ForestIndex, ForestIndexProof, MTForest}, [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] 10 | traits::Verilog, [INFO] [stderr] 11 | verilog_node::HashVectorTreeNode, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `acc_rsa::hash::blake3::Blake3` [INFO] [stderr] --> verilog/src/verilog.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 13 | use acc_rsa::hash::blake3::Blake3; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash_to_vec` [INFO] [stderr] --> verilog/src/verilog.rs:14:21 [INFO] [stderr] | [INFO] [stderr] 14 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stderr] --> verilog/src/verilog.rs:15:5 [INFO] [stderr] | [INFO] [stderr] 15 | use ark_bls12_381::Bls12_381; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Rand` and `print_output` [INFO] [stderr] --> verilog/src/verilog.rs:22:72 [INFO] [stderr] | [INFO] [stderr] 22 | traits::{InclusionProvable, Mergeable, Paddable, ProofExtractable, Rand, Serializable}, [INFO] [stderr] | ^^^^ [INFO] [stderr] 23 | tree::SparseMerkleTree, [INFO] [stderr] 24 | utils::{bytes_to_usize, print_output, usize_to_bytes}, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT` [INFO] [stderr] --> verilog/src/verilog.rs:26:5 [INFO] [stderr] | [INFO] [stderr] 26 | use std::arch::x86_64::_SIDD_LEAST_SIGNIFICANT; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::default` [INFO] [stderr] --> verilog/src/verilog.rs:28:5 [INFO] [stderr] | [INFO] [stderr] 28 | use std::default; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::path::Prefix` [INFO] [stderr] --> verilog/src/verilog.rs:31:5 [INFO] [stderr] | [INFO] [stderr] 31 | use std::path::Prefix; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::sync::Arc` [INFO] [stderr] --> verilog/src/verilog.rs:32:5 [INFO] [stderr] | [INFO] [stderr] 32 | use std::sync::Arc; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stderr] --> verilog/src/verilog.rs:34:29 [INFO] [stderr] | [INFO] [stderr] 34 | use acc_kzg::{self, add_vc, get_domain_size, new_vector}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_std::rand::Rng` [INFO] [stderr] --> verilog/src/verilog.rs:35:5 [INFO] [stderr] | [INFO] [stderr] 35 | use ark_std::rand::Rng; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `SMTLeaf` [INFO] [stderr] --> verilog/src/verilog.rs:44:87 [INFO] [stderr] | [INFO] [stderr] 44 | use crate::verilog_node::{delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `compute_sca_inverse`, `interpolate_L`, `parallel_compute_lagrange_basis`, `parallel_compute_sca_inverse`, `parallel_interpolate_poly`, and `parallel_interpolate_u` [INFO] [stderr] --> verilog/src/verilog.rs:51:5 [INFO] [stderr] | [INFO] [stderr] 51 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 52 | parallel_compute_sca_inverse, parallel_interpolate_poly, parallel_interpolate_u, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::CurveGroup` [INFO] [stderr] --> verilog/src/verilog.rs:56:5 [INFO] [stderr] | [INFO] [stderr] 56 | use ark_ec::CurveGroup; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::Field` [INFO] [stderr] --> verilog/src/verilog.rs:57:5 [INFO] [stderr] | [INFO] [stderr] 57 | use ark_ff::Field; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stderr] --> verilog/src/verilog_node.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use acc_kzg::kzg::Commitment; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `add_vc` [INFO] [stderr] --> verilog/src/verilog_node.rs:3:21 [INFO] [stderr] | [INFO] [stderr] 3 | use acc_kzg::{self, add_vc}; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `PaddingProvable` and `TypeName` [INFO] [stderr] --> verilog/src/verilog_node.rs:18:30 [INFO] [stderr] | [INFO] [stderr] 18 | Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, Serializable, TypeName, [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::hash::Hash` [INFO] [stderr] --> verilog/src/test_tree.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use std::hash::Hash; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::marker::PhantomData` [INFO] [stderr] --> verilog/src/test_tree.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use std::marker::PhantomData; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `acc_kzg::kzg::Commitment` [INFO] [stderr] --> verilog/src/test_tree.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use acc_kzg::kzg::Commitment; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `acc_rsa::hash::GeneralHasher` [INFO] [stderr] --> verilog/src/test_tree.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use acc_rsa::hash::GeneralHasher; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `blake3::Blake3` and `hash_to_vec` [INFO] [stderr] --> verilog/src/test_tree.rs:7:21 [INFO] [stderr] | [INFO] [stderr] 7 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stderr] --> verilog/src/test_tree.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use ark_ec::pairing::Pairing; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `smtree::pad_secret::ALL_ZEROS_SECRET` [INFO] [stderr] --> verilog/src/test_tree.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | use smtree::pad_secret::ALL_ZEROS_SECRET; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `InclusionProvable`, `MAX_HEIGHT`, `Mergeable`, `MerkleProof`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `Serializable`, `TreeIndex`, `TypeName`, `node_template`, `tree::SparseMerkleTree`, and `utils::print_output` [INFO] [stderr] --> verilog/src/test_tree.rs:11:13 [INFO] [stderr] | [INFO] [stderr] 11 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] 12 | node_template, [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] 13 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stderr] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 14 | traits::{ [INFO] [stderr] 15 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stderr] 16 | RandomSampleable, Serializable, TypeName, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] 17 | }, [INFO] [stderr] 18 | tree::SparseMerkleTree, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 19 | utils::print_output, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::traits::VectorCommitmentForVerilog` [INFO] [stderr] --> verilog/src/test_tree.rs:22:5 [INFO] [stderr] | [INFO] [stderr] 22 | use crate::traits::VectorCommitmentForVerilog; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::vector::VcKzg` [INFO] [stderr] --> verilog/src/test_tree.rs:23:5 [INFO] [stderr] | [INFO] [stderr] 23 | use crate::vector::VcKzg; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module [INFO] [stderr] --> verilog/src/lib.rs:20:1 [INFO] [stderr] | [INFO] [stderr] 20 | pub mod test_tree; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::hash::Hash` [INFO] [stderr] --> verilog/src/tree.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use std::hash::Hash; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::AffineRepr` [INFO] [stderr] --> verilog/src/verilog_node.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use ark_ec::AffineRepr; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::AffineRepr` [INFO] [stderr] --> verilog/src/precompute_node.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use ark_ec::AffineRepr; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/store.rs:318:14 [INFO] [stderr] | [INFO] [stderr] 318 | let (pk, pp) = VcKzg::::set_up(srs_n); //这里的1026设置为2^{26} [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> verilog/src/verilog.rs:660:13 [INFO] [stderr] | [INFO] [stderr] 660 | let mut seed_idx: TreeIndex = TreeIndex::zero(height); [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> verilog/src/verilog.rs:661:13 [INFO] [stderr] | [INFO] [stderr] 661 | let mut seed_leaf = PrefixLeafNode::::default(); [INFO] [stderr] | ----^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> verilog/src/verilog.rs:662:13 [INFO] [stderr] | [INFO] [stderr] 662 | let mut seed_node = NodePayload::>::leaf(seed_leaf); [INFO] [stderr] | ----^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/verilog.rs:647:9 [INFO] [stderr] | [INFO] [stderr] 647 | pp: &Self::ProverKeys, [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `positions` [INFO] [stderr] --> verilog/src/verilog.rs:670:13 [INFO] [stderr] | [INFO] [stderr] 670 | let positions = 1usize << height; //可容纳的叶子数量 [INFO] [stderr] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_positions` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_values_slice` is never read [INFO] [stderr] --> verilog/src/verilog.rs:729:87 [INFO] [stderr] | [INFO] [stderr] 729 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stderr] --> verilog/src/verilog.rs:730:46 [INFO] [stderr] | [INFO] [stderr] 730 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stderr] --> verilog/src/verilog.rs:733:17 [INFO] [stderr] | [INFO] [stderr] 733 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stderr] --> verilog/src/verilog.rs:736:17 [INFO] [stderr] | [INFO] [stderr] 736 | > = EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/verilog.rs:893:9 [INFO] [stderr] | [INFO] [stderr] 893 | pp: &Self::ProverKeys, [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `height` [INFO] [stderr] --> verilog/src/verilog.rs:894:9 [INFO] [stderr] | [INFO] [stderr] 894 | height: usize, // prefix tree 的 height（期望与 self.tree.get_height() 一致） [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_height` [INFO] [stderr] [INFO] [stderr] warning: variable `last_insert_proof` is assigned to, but never used [INFO] [stderr] --> verilog/src/verilog.rs:916:13 [INFO] [stderr] | [INFO] [stderr] 916 | let mut last_insert_proof = ForestAppendProof::::new(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_last_insert_proof` instead [INFO] [stderr] [INFO] [stderr] warning: value assigned to `last_insert_proof` is never read [INFO] [stderr] --> verilog/src/verilog.rs:987:13 [INFO] [stderr] | [INFO] [stderr] 987 | last_insert_proof = self.forest.append(&merkle_payload); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/verilog.rs:996:9 [INFO] [stderr] | [INFO] [stderr] 996 | pp: &Self::ProverKeys, [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `byte_len` [INFO] [stderr] --> verilog/src/verilog.rs:1171:13 [INFO] [stderr] | [INFO] [stderr] 1171 | let byte_len = forest_proof.serialize(); [INFO] [stderr] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_byte_len` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_values_slice` is never read [INFO] [stderr] --> verilog/src/verilog.rs:1077:83 [INFO] [stderr] | [INFO] [stderr] 1077 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_prefix_value_stash` is never read [INFO] [stderr] --> verilog/src/verilog.rs:1078:42 [INFO] [stderr] | [INFO] [stderr] 1078 | let mut pre_prefix_value_stash = ::Element::zero(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_prefix_com_stash` is never read [INFO] [stderr] --> verilog/src/verilog.rs:1081:13 [INFO] [stderr] | [INFO] [stderr] 1081 | KzgCommitment::<::Curve>(zero_aff); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_prefix_proof_stash` is never read [INFO] [stderr] --> verilog/src/verilog.rs:1083:13 [INFO] [stderr] | [INFO] [stderr] 1083 | EvaluationProof::<::Curve>(Self::G1Aff::zero()); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/verilog.rs:1417:9 [INFO] [stderr] | [INFO] [stderr] 1417 | pp: &Self::ProverKeys, [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] [INFO] [stderr] warning: `verilog` (lib) generated 78 warnings (run `cargo fix --lib -p verilog` to apply 65 suggestions) [INFO] [stderr] warning: `smtree` (lib test) generated 2 warnings (2 duplicates) [INFO] [stderr] warning: unused import: `univariate::DenseOrSparsePolynomial` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:731:20 [INFO] [stderr] | [INFO] [stderr] 731 | use ark_poly::{univariate::DenseOrSparsePolynomial, univariate::DensePolynomial, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::One` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:813:9 [INFO] [stderr] | [INFO] [stderr] 813 | use ark_ff::One; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `univariate::DenseOrSparsePolynomial` and `univariate::DensePolynomial` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:814:20 [INFO] [stderr] | [INFO] [stderr] 814 | use ark_poly::{univariate::DenseOrSparsePolynomial, univariate::DensePolynomial, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `UniformRand` and `test_rng` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:815:19 [INFO] [stderr] | [INFO] [stderr] 815 | use ark_std::{test_rng, UniformRand}; [INFO] [stderr] | ^^^^^^^^ ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Field` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:840:18 [INFO] [stderr] | [INFO] [stderr] 840 | use ark_ff::{Field, One, UniformRand}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `univariate::DenseOrSparsePolynomial` [INFO] [stderr] --> acc_kzg/src/kzg/mod.rs:938:20 [INFO] [stderr] | [INFO] [stderr] 938 | use ark_poly::{univariate::DenseOrSparsePolynomial, univariate::DensePolynomial, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `acc_kzg::MembershipProof` [INFO] [stderr] --> verilog/src/acc_rsa.rs:297:9 [INFO] [stderr] | [INFO] [stderr] 297 | use acc_kzg::MembershipProof; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `proof` [INFO] [stderr] --> verilog/src/acc_rsa.rs:298:57 [INFO] [stderr] | [INFO] [stderr] 298 | use acc_rsa::{group::Rsa2048, hash::blake3::Blake3, proof, util::prime_hash_product}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `MAX_HEIGHT`, `Mergeable`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `RandomSampleable`, `RandomSamplingProof`, `TypeName`, and `node_template` [INFO] [stderr] --> verilog/src/tree.rs:14:24 [INFO] [stderr] | [INFO] [stderr] 14 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] 15 | node_template, [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] 16 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 17 | traits::{ [INFO] [stderr] 18 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stderr] 19 | RandomSampleable, Serializable, TypeName, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `NodePayload` and `PrefixLeafNode` [INFO] [stderr] --> verilog/src/tree.rs:59:51 [INFO] [stderr] | [INFO] [stderr] 59 | use crate::verilog_node::{HashVectorTreeNode, NodePayload, PrefixLeafNode}; [INFO] [stderr] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `VcPublicParam`, `add_vc`, `init_vector`, `new_g2`, `new`, and `vc_set_up` [INFO] [stderr] --> verilog/src/tree.rs:61:15 [INFO] [stderr] | [INFO] [stderr] 61 | self, add_vc, get_domain_size, init_vector, new, new_g2, new_vector, vc_set_up, [INFO] [stderr] | ^^^^^^ ^^^^^^^^^^^ ^^^ ^^^^^^ ^^^^^^^^^ [INFO] [stderr] 62 | VcPublicParam, [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Fr` [INFO] [stderr] --> verilog/src/tree.rs:64:36 [INFO] [stderr] | [INFO] [stderr] 64 | use ark_bls12_381::{Bls12_381, Fr}; [INFO] [stderr] | ^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Field` [INFO] [stderr] --> verilog/src/tree.rs:66:18 [INFO] [stderr] | [INFO] [stderr] 66 | use ark_ff::{Field, Zero}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `GeneralEvaluationDomain`, `Polynomial`, and `univariate::DensePolynomial` [INFO] [stderr] --> verilog/src/tree.rs:68:9 [INFO] [stderr] | [INFO] [stderr] 68 | univariate::DensePolynomial, EvaluationDomain, GeneralEvaluationDomain, Polynomial, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_r1cs_std::poly` [INFO] [stderr] --> verilog/src/tree.rs:70:9 [INFO] [stderr] | [INFO] [stderr] 70 | use ark_r1cs_std::poly; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::tree` [INFO] [stderr] --> verilog/src/forest.rs:763:9 [INFO] [stderr] | [INFO] [stderr] 763 | use crate::tree; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::verilog_node::HashVectorTreeNode` [INFO] [stderr] --> verilog/src/forest.rs:765:9 [INFO] [stderr] | [INFO] [stderr] 765 | use crate::verilog_node::HashVectorTreeNode; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_std::rand::Rng` [INFO] [stderr] --> verilog/src/forest.rs:771:9 [INFO] [stderr] | [INFO] [stderr] 771 | use ark_std::rand::Rng; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::hash::Hash` [INFO] [stderr] --> verilog/src/store.rs:433:9 [INFO] [stderr] | [INFO] [stderr] 433 | use std::hash::Hash; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::traits::VectorCommitmentForVerilog` [INFO] [stderr] --> verilog/src/store.rs:435:9 [INFO] [stderr] | [INFO] [stderr] 435 | use crate::traits::VectorCommitmentForVerilog; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `VcKzg` and `remap_vector_index_to_root_of_unity_index` [INFO] [stderr] --> verilog/src/store.rs:436:25 [INFO] [stderr] | [INFO] [stderr] 436 | use crate::vector::{remap_vector_index_to_root_of_unity_index, VcKzg}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `compute_sca_inverse`, `interpolate_L`, `parallel_compute_lagrange_basis`, `parallel_compute_sca_inverse`, `parallel_interpolate_poly`, and `parallel_interpolate_u` [INFO] [stderr] --> verilog/src/store.rs:438:9 [INFO] [stderr] | [INFO] [stderr] 438 | compute_sca_inverse, interpolate_L, parallel_compute_lagrange_basis, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 439 | parallel_compute_sca_inverse, parallel_interpolate_poly, parallel_interpolate_u, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stderr] --> verilog/src/store.rs:441:25 [INFO] [stderr] | [INFO] [stderr] 441 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stderr] --> verilog/src/store.rs:443:9 [INFO] [stderr] | [INFO] [stderr] 443 | use ark_ec::pairing::Pairing; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ff::Zero` [INFO] [stderr] --> verilog/src/store.rs:444:9 [INFO] [stderr] | [INFO] [stderr] 444 | use ark_ff::Zero; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `EvaluationDomain` and `GeneralEvaluationDomain` [INFO] [stderr] --> verilog/src/store.rs:445:20 [INFO] [stderr] | [INFO] [stderr] 445 | use ark_poly::{EvaluationDomain, GeneralEvaluationDomain}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fmt::Debug` [INFO] [stderr] --> verilog/src/store.rs:446:9 [INFO] [stderr] | [INFO] [stderr] 446 | use std::fmt::Debug; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::path::PathBuf` [INFO] [stderr] --> verilog/src/store.rs:447:9 [INFO] [stderr] | [INFO] [stderr] 447 | use std::path::PathBuf; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `tempfile::TempDir` [INFO] [stderr] --> verilog/src/store.rs:448:9 [INFO] [stderr] | [INFO] [stderr] 448 | use tempfile::TempDir; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `compute_lagrange_basis` and `interpolate_u` [INFO] [stderr] --> verilog/src/vector.rs:497:9 [INFO] [stderr] | [INFO] [stderr] 497 | compute_lagrange_basis, compute_sca_inverse, interpolate_u, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Bls12_381` and `Fr` [INFO] [stderr] --> verilog/src/vector.rs:500:25 [INFO] [stderr] | [INFO] [stderr] 500 | use ark_bls12_381::{Bls12_381, Fr}; [INFO] [stderr] | ^^^^^^^^^ ^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Polynomial` and `univariate::DensePolynomial` [INFO] [stderr] --> verilog/src/vector.rs:503:20 [INFO] [stderr] | [INFO] [stderr] 503 | use ark_poly::{univariate::DensePolynomial, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `remap_vector_index_to_root_of_unity_index` [INFO] [stderr] --> verilog/src/verilog.rs:1751:25 [INFO] [stderr] | [INFO] [stderr] 1751 | use crate::vector::{remap_vector_index_to_root_of_unity_index, VcKzg}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::verilog` [INFO] [stderr] --> verilog/src/verilog.rs:1752:9 [INFO] [stderr] | [INFO] [stderr] 1752 | use crate::verilog; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `ForestIndexProof`, `ForestIndex`, `MTForest`, and `verilog_node::HashVectorTreeNode` [INFO] [stderr] --> verilog/src/verilog.rs:1754:18 [INFO] [stderr] | [INFO] [stderr] 1754 | forest::{ForestIndex, ForestIndexProof, MTForest}, [INFO] [stderr] | ^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] 1755 | traits::Verilog, [INFO] [stderr] 1756 | verilog_node::HashVectorTreeNode, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash_to_vec` [INFO] [stderr] --> verilog/src/verilog.rs:1759:25 [INFO] [stderr] | [INFO] [stderr] 1759 | use acc_rsa::hash::{hash_to_vec, GeneralHasher}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `InclusionProvable`, `Mergeable`, `Paddable`, `ProofExtractable`, `Rand`, `Serializable`, `bytes_to_usize`, `error::DecodingError`, `pad_secret::ALL_ZEROS_SECRET`, `print_output`, `proof::MerkleProof`, `tree::SparseMerkleTree`, and `usize_to_bytes` [INFO] [stderr] --> verilog/src/verilog.rs:1763:9 [INFO] [stderr] | [INFO] [stderr] 1763 | error::DecodingError, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1764 | index::TreeIndex, [INFO] [stderr] 1765 | pad_secret::ALL_ZEROS_SECRET, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1766 | proof::MerkleProof, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1767 | traits::{InclusionProvable, Mergeable, Paddable, ProofExtractable, Rand, Serializable}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ ^^^^^^^^^^^^ [INFO] [stderr] 1768 | tree::SparseMerkleTree, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1769 | utils::{bytes_to_usize, print_output, usize_to_bytes}, [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::collections::HashMap` [INFO] [stderr] --> verilog/src/verilog.rs:1771:9 [INFO] [stderr] | [INFO] [stderr] 1771 | use std::collections::HashMap; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `get_domain_size` and `new_vector` [INFO] [stderr] --> verilog/src/verilog.rs:1775:25 [INFO] [stderr] | [INFO] [stderr] 1775 | use acc_kzg::{self, get_domain_size, new_vector}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_std::rand::Rng` [INFO] [stderr] --> verilog/src/verilog.rs:1776:9 [INFO] [stderr] | [INFO] [stderr] 1776 | use ark_std::rand::Rng; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `NodePayloadVc`, `VcSMT`, and `VectorLeafNode` [INFO] [stderr] --> verilog/src/verilog.rs:1778:34 [INFO] [stderr] | [INFO] [stderr] 1778 | use crate::precompute_node::{NodePayloadVc, VcSMT, VectorLeafNode}; [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^ ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `ForestAppendProof` and `ForestDigest` [INFO] [stderr] --> verilog/src/verilog.rs:1781:18 [INFO] [stderr] | [INFO] [stderr] 1781 | forest::{ForestAppendProof, ForestDigest}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `BigInteger`, `One`, `PrimeField`, and `Zero` [INFO] [stderr] --> verilog/src/verilog.rs:1784:18 [INFO] [stderr] | [INFO] [stderr] 1784 | use ark_ff::{BigInteger, One, PrimeField, Zero}; [INFO] [stderr] | ^^^^^^^^^^ ^^^ ^^^^^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `GeneralEvaluationDomain` [INFO] [stderr] --> verilog/src/verilog.rs:1785:38 [INFO] [stderr] | [INFO] [stderr] 1785 | use ark_poly::{EvaluationDomain, GeneralEvaluationDomain}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::marker::PhantomData` [INFO] [stderr] --> verilog/src/test_tree.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use std::marker::PhantomData; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `hash_to_vec` [INFO] [stderr] --> verilog/src/test_tree.rs:7:37 [INFO] [stderr] | [INFO] [stderr] 7 | use acc_rsa::hash::{blake3::Blake3, hash_to_vec}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `ark_ec::pairing::Pairing` [INFO] [stderr] --> verilog/src/test_tree.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use ark_ec::pairing::Pairing; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `MAX_HEIGHT`, `Mergeable`, `Paddable`, `PaddingProvable`, `ProofExtractable`, `Rand`, `RandomSampleable`, `RandomSamplingProof`, `TypeName`, and `node_template` [INFO] [stderr] --> verilog/src/test_tree.rs:11:24 [INFO] [stderr] | [INFO] [stderr] 11 | index::{TreeIndex, MAX_HEIGHT}, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] 12 | node_template, [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] 13 | proof::{MerkleProof, RandomSamplingProof}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 14 | traits::{ [INFO] [stderr] 15 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ ^^^^ [INFO] [stderr] 16 | RandomSampleable, Serializable, TypeName, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::vector::VcKzg` [INFO] [stderr] --> verilog/src/test_tree.rs:23:5 [INFO] [stderr] | [INFO] [stderr] 23 | use crate::vector::VcKzg; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `PrefixLeafNode` and `SMTLeaf` [INFO] [stderr] --> verilog/src/test_tree.rs:37:53 [INFO] [stderr] | [INFO] [stderr] 37 | delta_from_kv, MerkleLeafNode, NodePayload, PrefixLeafNode, SMTLeaf, [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `merge` [INFO] [stderr] --> verilog/src/test_tree.rs:44:50 [INFO] [stderr] | [INFO] [stderr] 44 | use acc_kzg::{self, add_vc, get_domain_size, merge, new_vector}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `traits::VectorCommitmentForVerilog` [INFO] [stderr] --> verilog/src/verilog.rs:1782:9 [INFO] [stderr] | [INFO] [stderr] 1782 | traits::VectorCommitmentForVerilog, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `EvaluationDomain` [INFO] [stderr] --> verilog/src/tree.rs:68:38 [INFO] [stderr] | [INFO] [stderr] 68 | univariate::DensePolynomial, EvaluationDomain, GeneralEvaluationDomain, Polynomial, [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Rand` [INFO] [stderr] --> verilog/src/tree.rs:18:84 [INFO] [stderr] | [INFO] [stderr] 18 | InclusionProvable, Mergeable, Paddable, PaddingProvable, ProofExtractable, Rand, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `EvaluationDomain` [INFO] [stderr] --> verilog/src/verilog.rs:1785:20 [INFO] [stderr] | [INFO] [stderr] 1785 | use ark_poly::{EvaluationDomain, GeneralEvaluationDomain}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/tree.rs:81:18 [INFO] [stderr] | [INFO] [stderr] 81 | let (pk, pp) = VcKzg::::set_up(1026); //初始化commitment [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `eval_proofs` [INFO] [stderr] --> verilog/src/tree.rs:119:18 [INFO] [stderr] | [INFO] [stderr] 119 | let (vc, eval_proofs) = VcKzg::::commit_with_proof(&pk, &evals); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_eval_proofs` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/tree.rs:140:18 [INFO] [stderr] | [INFO] [stderr] 140 | let (pk, pp) = VcKzg::::set_up(1026); //初始化commitment [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `points` [INFO] [stderr] --> verilog/src/tree.rs:142:13 [INFO] [stderr] | [INFO] [stderr] 142 | let points: Vec<_> = (0..8).map(|j| G::ScalarField::from(j as u32)).collect(); [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_points` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/forest.rs:789:18 [INFO] [stderr] | [INFO] [stderr] 789 | let (pk, pp) = VcKzg::::set_up(1026); [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `elem` is never read [INFO] [stderr] --> verilog/src/forest.rs:791:24 [INFO] [stderr] | [INFO] [stderr] 791 | let mut elem = NodePayload::, MerkleLeafNode>>::default(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `pp` [INFO] [stderr] --> verilog/src/store.rs:318:14 [INFO] [stderr] | [INFO] [stderr] 318 | let (pk, pp) = VcKzg::::set_up(srs_n); //这里的1026设置为2^{26} [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_pp` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u_polys` [INFO] [stderr] --> verilog/src/vector.rs:665:13 [INFO] [stderr] | [INFO] [stderr] 665 | let u_polys = parallel_interpolate_u::(&roots_of_unity, &sca_inverse, &lang); [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_u_polys` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `polys` [INFO] [stderr] --> verilog/src/vector.rs:668:20 [INFO] [stderr] | [INFO] [stderr] 668 | let (poly, polys) = [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_polys` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre_values_slice` is never read [INFO] [stderr] --> verilog/src/verilog.rs:729:87 [INFO] [stderr] | [INFO] [stderr] 729 | let mut pre_values_slice: &[::Element] = &[]; [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: unused variable: `tree_digest` [INFO] [stderr] --> verilog/src/verilog.rs:1804:13 [INFO] [stderr] | [INFO] [stderr] 1804 | let tree_digest = verilog.tree.get_root(); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tree_digest` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `append_digest` [INFO] [stderr] --> verilog/src/verilog.rs:1826:13 [INFO] [stderr] | [INFO] [stderr] 1826 | let append_digest = verilog.forest.get_digest(); [INFO] [stderr] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_append_digest` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `tree_digest` [INFO] [stderr] --> verilog/src/verilog.rs:1828:13 [INFO] [stderr] | [INFO] [stderr] 1828 | let tree_digest = verilog.tree.get_root(); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tree_digest` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `polys_commit_vc` [INFO] [stderr] --> verilog/src/test_tree.rs:88:13 [INFO] [stderr] | [INFO] [stderr] 88 | let polys_commit_vc: Vec<_> = polys.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stderr] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_polys_commit_vc` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `eval` [INFO] [stderr] --> verilog/src/test_tree.rs:93:18 [INFO] [stderr] | [INFO] [stderr] 93 | let (eval, proof) = pk.ck.open(&poly, &xk); [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_eval` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `roots_of_unity` [INFO] [stderr] --> verilog/src/test_tree.rs:343:13 [INFO] [stderr] | [INFO] [stderr] 343 | let roots_of_unity: Vec<_> = domain.elements().collect(); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_roots_of_unity` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lang_commit_vc` [INFO] [stderr] --> verilog/src/test_tree.rs:432:13 [INFO] [stderr] | [INFO] [stderr] 432 | let lang_commit_vc: Vec<_> = lang.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_lang_commit_vc` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `polys_commit_vc` [INFO] [stderr] --> verilog/src/test_tree.rs:437:13 [INFO] [stderr] | [INFO] [stderr] 437 | let polys_commit_vc: Vec<_> = polys.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stderr] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_polys_commit_vc` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `baseUi` [INFO] [stderr] --> verilog/src/test_tree.rs:498:17 [INFO] [stderr] | [INFO] [stderr] 498 | let baseUi = Ls_commit_vc[remapped_index] [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_baseUi` [INFO] [stderr] [INFO] [stderr] warning: variable `Ls` should have a snake case name [INFO] [stderr] --> verilog/src/test_tree.rs:439:13 [INFO] [stderr] | [INFO] [stderr] 439 | let Ls = interpolate_L::(&sca_inverse, &lang); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `ls` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable `Ls_commit_vc` should have a snake case name [INFO] [stderr] --> verilog/src/test_tree.rs:440:13 [INFO] [stderr] | [INFO] [stderr] 440 | let Ls_commit_vc: Vec<_> = Ls.iter().map(|poly| pk.ck.commit(poly)).collect(); [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `ls_commit_vc` [INFO] [stderr] [INFO] [stderr] warning: variable `baseUi` should have a snake case name [INFO] [stderr] --> verilog/src/test_tree.rs:498:17 [INFO] [stderr] | [INFO] [stderr] 498 | let baseUi = Ls_commit_vc[remapped_index] [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `base_ui` [INFO] [stderr] [INFO] [stderr] warning: `acc-kzg` (lib test) generated 12 warnings (6 duplicates) (run `cargo fix --lib -p acc-kzg --tests` to apply 6 suggestions) [INFO] [stderr] warning: `verilog` (lib test) generated 132 warnings (61 duplicates) (run `cargo fix --lib -p verilog --tests` to apply 62 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.37s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: criterion v0.2.11, nom v2.2.1 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 3` [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/build/acc-kzg/571e2a5b421311e0/deps/acc_kzg-571e2a5b421311e0) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test kzg::msm::variable_base::test_radix ... ok [INFO] [stdout] test kzg::test_vanishing_polynomial ... ok [INFO] [stdout] test misc::test_evaluate_index_poly ... ok [INFO] [stdout] test misc::test_linear_combination ... ok [INFO] [stdout] test kzg::tests::tet_parallel_compute_lagrange_basis ... ok [INFO] [stdout] test kzg::test_parallel_interpolate_poly ... ok [INFO] [stdout] test kzg::test_lagrange_basis ... ok [INFO] [stdout] test misc::test_divide_poly ... ok [INFO] [stdout] test misc::test_inverse_poly ... ok [INFO] [stdout] test kzg::test_interpolate_u ... ok [INFO] [stdout] test misc::test_naive_exgcd ... ok [INFO] [stdout] test misc::test_matrix ... ok [INFO] [stdout] test kzg::tests::test_edge_cases ... FAILED [INFO] [stdout] test misc::test_naive_gcd ... ok [INFO] [stdout] test misc::test_find ... ok [INFO] [stdout] test kzg::tests::test_against_sequential ... ok [INFO] [stdout] test kzg::time::test_srs ... ok [INFO] [stdout] test kzg::time::test_trivial_commitment ... ok [INFO] [stdout] test test_non_membership ... ok [INFO] [stdout] test test_membership ... ok [INFO] [stdout] test kzg::time::test_commitment ... ok [INFO] [stdout] test test_membership_bilinear_tree ... ok [INFO] [stdout] test misc::test_high_find ... ok [INFO] [stdout] test test_disjointness ... ok [INFO] [stdout] test test_merge ... ok [INFO] [stdout] test misc::test_exgcd ... ok [INFO] [stdout] test kzg::time::test_open_multi_proofs has been running for over 60 seconds [INFO] [stdout] test kzg::time::test_open_multi_proofs ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- kzg::tests::test_edge_cases stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'kzg::tests::test_edge_cases' (31) panicked at acc_kzg/src/kzg/mod.rs:341:19: [INFO] [stdout] attempt to subtract with overflow [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x58e54e9ac9c2 - std[840933623431fd06]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x58e54e9ac9c2 - std[840933623431fd06]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x58e54e9ac9c2 - std[840933623431fd06]::sys::backtrace::_print_fmt [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:74:9 [INFO] [stdout] 3: 0x58e54e9ac9c2 - <::print::DisplayBacktrace as core[8f93d80df273fe75]::fmt::Display>::fmt [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:44:26 [INFO] [stdout] 4: 0x58e54e9c1aba - ::fmt [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/fmt/rt.rs:152:76 [INFO] [stdout] 5: 0x58e54e9c1aba - core[8f93d80df273fe75]::fmt::write [INFO] [stdout] 6: 0x58e54e9b18f6 - std[840933623431fd06]::io::default_write_fmt::> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x58e54e9b18f6 - as std[840933623431fd06]::io::Write>::write_fmt [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:1994:13 [INFO] [stdout] 8: 0x58e54e98ac9f - ::print [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:47:9 [INFO] [stdout] 9: 0x58e54e98ac9f - std[840933623431fd06]::panicking::default_hook::{closure#0} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:292:27 [INFO] [stdout] 10: 0x58e54e9a4c39 - std[840933623431fd06]::panicking::default_hook [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:316:9 [INFO] [stdout] 11: 0x58e54e84120e - core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9 [INFO] [stdout] 12: 0x58e54e84120e - test[2f1252070343a163]::test_main_with_exit_callback::::{closure#0} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x58e54e9a4ea2 - core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9 [INFO] [stdout] 14: 0x58e54e9a4ea2 - std[840933623431fd06]::panicking::panic_with_hook [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:833:13 [INFO] [stdout] 15: 0x58e54e98ad8a - std[840933623431fd06]::panicking::panic_handler::{closure#0} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:691:13 [INFO] [stdout] 16: 0x58e54e9826f9 - std[840933623431fd06]::sys::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:182:18 [INFO] [stdout] 17: 0x58e54e98bbad - __rustc[5b4a0c6d8cc4a177]::rust_begin_unwind [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:689:5 [INFO] [stdout] 18: 0x58e54e9c21cc - core[8f93d80df273fe75]::panicking::panic_fmt [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panicking.rs:80:14 [INFO] [stdout] 19: 0x58e54e9c3289 - core[8f93d80df273fe75]::panicking::panic_const::panic_const_sub_overflow [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panicking.rs:175:17 [INFO] [stdout] 20: 0x58e54e7807b4 - acc_kzg[fe24b3d4c46f9193]::kzg::divide_by_linear::, 4usize>> [INFO] [stdout] at /opt/rustwide/workdir/acc_kzg/src/kzg/mod.rs:341:19 [INFO] [stdout] 21: 0x58e54e78b04d - acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis::>::{closure#3} [INFO] [stdout] at /opt/rustwide/workdir/acc_kzg/src/kzg/mod.rs:371:29 [INFO] [stdout] 22: 0x58e54e7920c2 - <&acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3} as core[8f93d80df273fe75]::ops::function::FnMut<(&ark_ff[331573fcc66cca80]::fields::models::fp::Fp, 4usize>,)>>::call_mut [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:274:22 [INFO] [stdout] 23: 0x58e54e7c0027 - <&mut &acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3} as core[8f93d80df273fe75]::ops::function::FnOnce<(&ark_ff[331573fcc66cca80]::fields::models::fp::Fp, 4usize>,)>>::call_once [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:310:21 [INFO] [stdout] 24: 0x58e54e7c0027 - , 4usize>>>::map::, 4usize>>, &mut &acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/option.rs:1165:29 [INFO] [stdout] 25: 0x58e54e7c0027 - , 4usize>>, &acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}> as core[8f93d80df273fe75]::iter::traits::iterator::Iterator>::next [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/iter/adapters/map.rs:107:26 [INFO] [stdout] 26: 0x58e54e803547 - , 4usize>>> as rayon[f505e231380e62f5]::iter::plumbing::Folder, 4usize>>>>::consume_iter::, 4usize>>, &acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/plumbing/mod.rs:173:21 [INFO] [stdout] 27: 0x58e54e801474 - , 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}> as rayon[f505e231380e62f5]::iter::plumbing::Folder<&ark_ff[331573fcc66cca80]::fields::models::fp::Fp, 4usize>>>::consume_iter::, 4usize>>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/map.rs:244:31 [INFO] [stdout] 28: 0x58e54e7a0c63 - , 4usize>> as rayon[f505e231380e62f5]::iter::plumbing::Producer>::fold_with::, 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/plumbing/mod.rs:107:16 [INFO] [stdout] 29: 0x58e54e729cac - rayon[f505e231380e62f5]::iter::plumbing::bridge_producer_consumer::helper::, 4usize>>, rayon[f505e231380e62f5]::iter::map::MapConsumer, 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/plumbing/mod.rs:432:22 [INFO] [stdout] 30: 0x58e54e71932d - rayon[f505e231380e62f5]::iter::plumbing::bridge_producer_consumer::, 4usize>>, rayon[f505e231380e62f5]::iter::map::MapConsumer, 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/plumbing/mod.rs:391:12 [INFO] [stdout] 31: 0x58e54e72f9c1 - , 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> as rayon[f505e231380e62f5]::iter::plumbing::ProducerCallback<&ark_ff[331573fcc66cca80]::fields::models::fp::Fp, 4usize>>>::callback::, 4usize>>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/plumbing/mod.rs:368:13 [INFO] [stdout] 32: 0x58e54e79f5bb - , 4usize>> as rayon[f505e231380e62f5]::iter::IndexedParallelIterator>::with_producer::, 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/slice/mod.rs:842:18 [INFO] [stdout] 33: 0x58e54e71c15f - rayon[f505e231380e62f5]::iter::plumbing::bridge::, 4usize>>, rayon[f505e231380e62f5]::iter::map::MapConsumer, 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/plumbing/mod.rs:352:21 [INFO] [stdout] 34: 0x58e54e79f0da - , 4usize>> as rayon[f505e231380e62f5]::iter::ParallelIterator>::drive_unindexed::, 4usize>>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/slice/mod.rs:818:9 [INFO] [stdout] 35: 0x58e54e7ff2a4 - , 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}> as rayon[f505e231380e62f5]::iter::ParallelIterator>::drive_unindexed::, 4usize>>>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/map.rs:45:19 [INFO] [stdout] 36: 0x58e54e78b3aa - rayon[f505e231380e62f5]::iter::collect::special_extend::, 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>, ark_poly[1c67629e89895c12]::polynomial::univariate::dense::DensePolynomial, 4usize>>>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/collect/mod.rs:39:49 [INFO] [stdout] 37: 0x58e54e786f8e - rayon[f505e231380e62f5]::iter::collect::collect_with_consumer::, 4usize>>, rayon[f505e231380e62f5]::iter::collect::special_extend, 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>, ark_poly[1c67629e89895c12]::polynomial::univariate::dense::DensePolynomial, 4usize>>>::{closure#0}> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/collect/mod.rs:84:18 [INFO] [stdout] 38: 0x58e54e78626f - rayon[f505e231380e62f5]::iter::collect::special_extend::, 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>, ark_poly[1c67629e89895c12]::polynomial::univariate::dense::DensePolynomial, 4usize>>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/collect/mod.rs:39:5 [INFO] [stdout] 39: 0x58e54e73b350 - , 4usize>>> as rayon[f505e231380e62f5]::iter::ParallelExtend, 4usize>>>>::par_extend::, 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/extend.rs:584:17 [INFO] [stdout] 40: 0x58e54e7dc581 - rayon[f505e231380e62f5]::iter::from_par_iter::collect_extended::, 4usize>>>, rayon[f505e231380e62f5]::iter::map::Map, 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/from_par_iter.rs:20:16 [INFO] [stdout] 41: 0x58e54e739b10 - , 4usize>>> as rayon[f505e231380e62f5]::iter::FromParallelIterator, 4usize>>>>::from_par_iter::, 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/from_par_iter.rs:33:9 [INFO] [stdout] 42: 0x58e54e801ee0 - , 4usize>>, acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis>::{closure#3}> as rayon[f505e231380e62f5]::iter::ParallelIterator>::collect::, 4usize>>>> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/rayon-1.11.0/src/iter/mod.rs:2057:9 [INFO] [stdout] 43: 0x58e54e782388 - acc_kzg[fe24b3d4c46f9193]::kzg::parallel_compute_lagrange_basis::> [INFO] [stdout] at /opt/rustwide/workdir/acc_kzg/src/kzg/mod.rs:371:55 [INFO] [stdout] 44: 0x58e54e7ae767 - acc_kzg[fe24b3d4c46f9193]::kzg::tests::test_edge_cases [INFO] [stdout] at /opt/rustwide/workdir/acc_kzg/src/kzg/mod.rs:891:27 [INFO] [stdout] 45: 0x58e54e7a34b7 - acc_kzg[fe24b3d4c46f9193]::kzg::tests::test_edge_cases::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/acc_kzg/src/kzg/mod.rs:883:25 [INFO] [stdout] 46: 0x58e54e796536 - >::call_once [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 47: 0x58e54e8355bb - core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 48: 0x58e54e8355bb - test[2f1252070343a163]::__rust_begin_short_backtrace::, fn() -> core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:663:18 [INFO] [stdout] 49: 0x58e54e841e1a - test[2f1252070343a163]::run_test_in_process::{closure#0} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:74 [INFO] [stdout] 50: 0x58e54e841e1a - as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 51: 0x58e54e841e1a - std[840933623431fd06]::panicking::catch_unwind::do_call::, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40 [INFO] [stdout] 52: 0x58e54e841e1a - std[840933623431fd06]::panicking::catch_unwind::, core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19 [INFO] [stdout] 53: 0x58e54e841e1a - std[840933623431fd06]::panic::catch_unwind::, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14 [INFO] [stdout] 54: 0x58e54e841e1a - test[2f1252070343a163]::run_test_in_process [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:27 [INFO] [stdout] 55: 0x58e54e841e1a - test[2f1252070343a163]::run_test::{closure#0} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:607:43 [INFO] [stdout] 56: 0x58e54e83c2e4 - test[2f1252070343a163]::run_test::{closure#1} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:637:41 [INFO] [stdout] 57: 0x58e54e83c2e4 - std[840933623431fd06]::sys::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:166:18 [INFO] [stdout] 58: 0x58e54e844912 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::::{closure#1}::{closure#0} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:91:13 [INFO] [stdout] 59: 0x58e54e844912 - ::{closure#1}::{closure#0}> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 60: 0x58e54e844912 - std[840933623431fd06]::panicking::catch_unwind::do_call::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40 [INFO] [stdout] 61: 0x58e54e844912 - std[840933623431fd06]::panicking::catch_unwind::<(), core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe::{closure#1}::{closure#0}>> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19 [INFO] [stdout] 62: 0x58e54e844912 - std[840933623431fd06]::panic::catch_unwind::::{closure#1}::{closure#0}>, ()> [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14 [INFO] [stdout] 63: 0x58e54e844912 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::::{closure#1} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:89:26 [INFO] [stdout] 64: 0x58e54e844912 - ::{closure#1} as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 65: 0x58e54e9ac25f - + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2206:9 [INFO] [stdout] 66: 0x58e54e9ac25f - ::new::thread_start [INFO] [stdout] at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/thread/unix.rs:119:17 [INFO] [stdout] 67: 0x7b5a561baaa4 - [INFO] [stdout] 68: 0x7b5a56247a64 - clone [INFO] [stdout] 69: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] kzg::tests::test_edge_cases [INFO] [stdout] [INFO] [stdout] test result: FAILED. 26 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 166.72s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `-p acc-kzg --lib` [INFO] running `Command { std: "docker" "inspect" "5888e9c78d868b8f93816967a8aa4f950b378a4a04b0f62ac8b61b2171a30b93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5888e9c78d868b8f93816967a8aa4f950b378a4a04b0f62ac8b61b2171a30b93", kill_on_drop: false }` [INFO] [stdout] 5888e9c78d868b8f93816967a8aa4f950b378a4a04b0f62ac8b61b2171a30b93