[INFO] cloning repository https://github.com/brudnevskij/toy-zkvm [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/brudnevskij/toy-zkvm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrudnevskij%2Ftoy-zkvm", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrudnevskij%2Ftoy-zkvm'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ec0c3260deadfe4e01b093d92795ec8bebca4301 [INFO] testing brudnevskij/toy-zkvm against 1.99.0-beta.1+cargoflags=--release for beta-release-1.99-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrudnevskij%2Ftoy-zkvm" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/brudnevskij/toy-zkvm [INFO] finished tweaking git repo https://github.com/brudnevskij/toy-zkvm [INFO] tweaked toml for git repo https://github.com/brudnevskij/toy-zkvm written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/brudnevskij/toy-zkvm on toolchain 1.99.0-beta.1 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/brudnevskij/toy-zkvm 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" "+1.99.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e [INFO] running `Command { std: "docker" "start" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }` [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling libc v0.2.178 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling find-msvc-tools v0.1.5 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling crypto-common v0.1.7 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling arrayref v0.3.9 [INFO] [stderr] Compiling constant_time_eq v0.3.1 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling cc v1.2.49 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling blake3 v1.8.2 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling ark-std v0.5.0 [INFO] [stderr] Compiling enum-ordinalize-derive v4.3.2 [INFO] [stderr] Compiling ark-serialize-derive v0.5.0 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.5.0 [INFO] [stderr] Compiling ark-ff-macros v0.5.0 [INFO] [stderr] Compiling clap_derive v4.6.1 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling zeroize v1.8.2 [INFO] [stderr] Compiling ark-serialize v0.5.0 [INFO] [stderr] Compiling enum-ordinalize v4.3.2 [INFO] [stderr] Compiling educe v0.6.0 [INFO] [stderr] Compiling clap v4.6.1 [INFO] [stderr] Compiling ark-ff v0.5.0 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling ark-poly v0.5.0 [INFO] [stderr] Compiling ark-ec v0.5.0 [INFO] [stderr] Compiling ark-bn254 v0.5.0 [INFO] [stderr] Compiling toy-zkvm v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/backend/transcript.rs:2:14 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{Field, PrimeField}; [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: `Air` [INFO] [stdout] --> src/examples/fib_basic.rs:3:18 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::air::{Air, Constraint, RowAccess}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SequenceValuesA`, `SequenceValuesB`, and `TimeStep` [INFO] [stdout] --> src/examples/fib_basic.rs:4:24 [INFO] [stdout] | [INFO] [stdout] 4 | use FibonacciColumns::{SequenceValuesA, SequenceValuesB, TimeStep}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `prove_from_coefficients` is never used [INFO] [stdout] --> src/backend/fri.rs:90:8 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn prove_from_coefficients( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FibAir` is never constructed [INFO] [stdout] --> src/examples/mod.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 8 | struct FibAir { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `calculate_fibonacci_seq` is never used [INFO] [stdout] --> src/examples/mod.rs:27:4 [INFO] [stdout] | [INFO] [stdout] 27 | fn calculate_fibonacci_seq(n: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `FibonacciColumns` is never used [INFO] [stdout] --> src/examples/fib_basic.rs:6:6 [INFO] [stdout] | [INFO] [stdout] 6 | enum FibonacciColumns { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `idx` is never used [INFO] [stdout] --> src/examples/fib_basic.rs:13:18 [INFO] [stdout] | [INFO] [stdout] 12 | impl FibonacciColumns { [INFO] [stdout] | --------------------- method in this implementation [INFO] [stdout] 13 | pub const fn idx(self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_FINAL_VALUE` is never used [INFO] [stdout] --> src/examples/fib_basic.rs:23:7 [INFO] [stdout] | [INFO] [stdout] 23 | const FIBONACCI_SEQUENCE_FINAL_VALUE: u128 = 251728825683549488150424261; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepBoundary` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:27:8 [INFO] [stdout] | [INFO] [stdout] 27 | struct TimeStepBoundary { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepTransition` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:43:8 [INFO] [stdout] | [INFO] [stdout] 43 | struct TimeStepTransition { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ATransition` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 59 | struct ATransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BTransition` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:76:8 [INFO] [stdout] | [INFO] [stdout] 76 | struct BTransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FinalValueBoundary` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:94:8 [INFO] [stdout] | [INFO] [stdout] 94 | struct FinalValueBoundary { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `FibonacciColumns` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:7:6 [INFO] [stdout] | [INFO] [stdout] 7 | enum FibonacciColumns { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `idx` and `name` are never used [INFO] [stdout] --> src/examples/fib_padded.rs:17:18 [INFO] [stdout] | [INFO] [stdout] 16 | impl FibonacciColumns { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] 17 | pub const fn idx(self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn name(self) -> String { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_FINAL_VALUE` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:41:7 [INFO] [stdout] | [INFO] [stdout] 41 | const FIBONACCI_SEQUENCE_FINAL_VALUE: u128 = 251728825683549488150424261; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_INIT_VALUE_A` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:42:7 [INFO] [stdout] | [INFO] [stdout] 42 | const FIBONACCI_SEQUENCE_INIT_VALUE_A: u128 = 70492524767089125814114; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_INIT_VALUE_B` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:43:7 [INFO] [stdout] | [INFO] [stdout] 43 | const FIBONACCI_SEQUENCE_INIT_VALUE_B: u128 = 114059301025943970552219; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepBoundary` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | struct TimeStepBoundary { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepTransition` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:62:8 [INFO] [stdout] | [INFO] [stdout] 62 | struct TimeStepTransition { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ATransition` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:80:8 [INFO] [stdout] | [INFO] [stdout] 80 | struct ATransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BTransition` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:99:8 [INFO] [stdout] | [INFO] [stdout] 99 | struct BTransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TerminationValue` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:119:8 [INFO] [stdout] | [INFO] [stdout] 119 | struct TerminationValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AInit` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:137:8 [INFO] [stdout] | [INFO] [stdout] 137 | struct AInit { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BInit` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:155:8 [INFO] [stdout] | [INFO] [stdout] 155 | struct BInit { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Booleanity` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:176:8 [INFO] [stdout] | [INFO] [stdout] 176 | struct Booleanity { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `a_selectors` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | fn a_selectors(row: &dyn RowAccess) -> (F, F, F, F) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reg_a` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:143:4 [INFO] [stdout] | [INFO] [stdout] 143 | fn reg_a(row: &dyn RowAccess) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cur_reg_by_prev_b` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:226:4 [INFO] [stdout] | [INFO] [stdout] 226 | fn cur_reg_by_prev_b(row: &dyn RowAccess) -> F { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `previous_i` is never read [INFO] [stdout] --> src/zkvm/verifier.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 37 | struct VerifierRowLdeView<'a, F: PrimeField> { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 38 | pub i: usize, [INFO] [stdout] 39 | pub previous_i: usize, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VerifierRowLdeView` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `release` profile [optimized] target(s) in 37.80s [INFO] running `Command { std: "docker" "inspect" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }` [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/backend/transcript.rs:2:14 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{Field, PrimeField}; [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: `Air` [INFO] [stdout] --> src/examples/fib_basic.rs:3:18 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::air::{Air, Constraint, RowAccess}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SequenceValuesA`, `SequenceValuesB`, and `TimeStep` [INFO] [stdout] --> src/examples/fib_basic.rs:4:24 [INFO] [stdout] | [INFO] [stdout] 4 | use FibonacciColumns::{SequenceValuesA, SequenceValuesB, TimeStep}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `prove_from_coefficients` is never used [INFO] [stdout] --> src/backend/fri.rs:90:8 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn prove_from_coefficients( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FibAir` is never constructed [INFO] [stdout] --> src/examples/mod.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 8 | struct FibAir { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `calculate_fibonacci_seq` is never used [INFO] [stdout] --> src/examples/mod.rs:27:4 [INFO] [stdout] | [INFO] [stdout] 27 | fn calculate_fibonacci_seq(n: usize) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `FibonacciColumns` is never used [INFO] [stdout] --> src/examples/fib_basic.rs:6:6 [INFO] [stdout] | [INFO] [stdout] 6 | enum FibonacciColumns { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `idx` is never used [INFO] [stdout] --> src/examples/fib_basic.rs:13:18 [INFO] [stdout] | [INFO] [stdout] 12 | impl FibonacciColumns { [INFO] [stdout] | --------------------- method in this implementation [INFO] [stdout] 13 | pub const fn idx(self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_FINAL_VALUE` is never used [INFO] [stdout] --> src/examples/fib_basic.rs:23:7 [INFO] [stdout] | [INFO] [stdout] 23 | const FIBONACCI_SEQUENCE_FINAL_VALUE: u128 = 251728825683549488150424261; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepBoundary` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:27:8 [INFO] [stdout] | [INFO] [stdout] 27 | struct TimeStepBoundary { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepTransition` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:43:8 [INFO] [stdout] | [INFO] [stdout] 43 | struct TimeStepTransition { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ATransition` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 59 | struct ATransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BTransition` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:76:8 [INFO] [stdout] | [INFO] [stdout] 76 | struct BTransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FinalValueBoundary` is never constructed [INFO] [stdout] --> src/examples/fib_basic.rs:94:8 [INFO] [stdout] | [INFO] [stdout] 94 | struct FinalValueBoundary { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `FibonacciColumns` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:7:6 [INFO] [stdout] | [INFO] [stdout] 7 | enum FibonacciColumns { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `idx` and `name` are never used [INFO] [stdout] --> src/examples/fib_padded.rs:17:18 [INFO] [stdout] | [INFO] [stdout] 16 | impl FibonacciColumns { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] 17 | pub const fn idx(self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn name(self) -> String { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_FINAL_VALUE` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:41:7 [INFO] [stdout] | [INFO] [stdout] 41 | const FIBONACCI_SEQUENCE_FINAL_VALUE: u128 = 251728825683549488150424261; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_INIT_VALUE_A` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:42:7 [INFO] [stdout] | [INFO] [stdout] 42 | const FIBONACCI_SEQUENCE_INIT_VALUE_A: u128 = 70492524767089125814114; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `FIBONACCI_SEQUENCE_INIT_VALUE_B` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:43:7 [INFO] [stdout] | [INFO] [stdout] 43 | const FIBONACCI_SEQUENCE_INIT_VALUE_B: u128 = 114059301025943970552219; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepBoundary` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | struct TimeStepBoundary { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TimeStepTransition` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:62:8 [INFO] [stdout] | [INFO] [stdout] 62 | struct TimeStepTransition { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ATransition` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:80:8 [INFO] [stdout] | [INFO] [stdout] 80 | struct ATransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BTransition` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:99:8 [INFO] [stdout] | [INFO] [stdout] 99 | struct BTransition { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TerminationValue` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:119:8 [INFO] [stdout] | [INFO] [stdout] 119 | struct TerminationValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AInit` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:137:8 [INFO] [stdout] | [INFO] [stdout] 137 | struct AInit { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `BInit` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:155:8 [INFO] [stdout] | [INFO] [stdout] 155 | struct BInit { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Booleanity` is never constructed [INFO] [stdout] --> src/examples/fib_padded.rs:176:8 [INFO] [stdout] | [INFO] [stdout] 176 | struct Booleanity { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `a_selectors` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | fn a_selectors(row: &dyn RowAccess) -> (F, F, F, F) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reg_a` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:143:4 [INFO] [stdout] | [INFO] [stdout] 143 | fn reg_a(row: &dyn RowAccess) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cur_reg_by_prev_b` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:226:4 [INFO] [stdout] | [INFO] [stdout] 226 | fn cur_reg_by_prev_b(row: &dyn RowAccess) -> F { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `previous_i` is never read [INFO] [stdout] --> src/zkvm/verifier.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 37 | struct VerifierRowLdeView<'a, F: PrimeField> { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 38 | pub i: usize, [INFO] [stdout] 39 | pub previous_i: usize, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VerifierRowLdeView` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling toy-zkvm v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `TestRow`, `assert_trace_violates_some_constraint`, `fr`, and `print_trace_and_constraint_evals` [INFO] [stdout] --> tests/common/mod.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | TestRow, assert_trace_satisfies_air, assert_trace_violates_some_constraint, fr, [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^ [INFO] [stdout] 5 | print_trace_and_constraint_evals, run_program_to_trace, [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 imports: `TestRow` and `print_trace_and_constraint_evals` [INFO] [stdout] --> tests/common/mod.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | TestRow, assert_trace_satisfies_air, assert_trace_violates_some_constraint, fr, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 5 | print_trace_and_constraint_evals, run_program_to_trace, [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: `rows_to_trace_table` [INFO] [stdout] --> tests/vm_pipeline.rs:6:42 [INFO] [stdout] | [INFO] [stdout] 6 | vm::{ExecutionRow, VmError, VmState, rows_to_trace_table, run_rows}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `fr` is never used [INFO] [stdout] --> tests/common/helpers.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn fr(x: u64) -> Fr { [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 `assert_trace_violates_some_constraint` is never used [INFO] [stdout] --> tests/common/helpers.rs:103:8 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn assert_trace_violates_some_constraint(trace: &TraceTable, air: &dyn Air) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_trace_and_constraint_evals` is never used [INFO] [stdout] --> tests/common/helpers.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 136 | pub fn print_trace_and_constraint_evals( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_trace_table` is never used [INFO] [stdout] --> tests/common/helpers.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 177 | pub fn print_trace_table(trace: &TraceTable) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `DebugRowView` is never constructed [INFO] [stdout] --> tests/common/helpers.rs:219:8 [INFO] [stdout] | [INFO] [stdout] 219 | struct DebugRowView<'a, F: PrimeField> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Field` [INFO] [stdout] --> src/backend/transcript.rs:2:14 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_ff::{Field, PrimeField}; [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: `Air` [INFO] [stdout] --> src/examples/fib_basic.rs:3:18 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::air::{Air, Constraint, RowAccess}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `SequenceValuesA`, `SequenceValuesB`, and `TimeStep` [INFO] [stdout] --> src/examples/fib_basic.rs:4:24 [INFO] [stdout] | [INFO] [stdout] 4 | use FibonacciColumns::{SequenceValuesA, SequenceValuesB, TimeStep}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `fr` [INFO] [stdout] --> src/vm/trace.rs:271:25 [INFO] [stdout] | [INFO] [stdout] 271 | use ark_bn254::{Fr, fr}; [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_trace_and_constraint_evals` is never used [INFO] [stdout] --> tests/common/helpers.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 136 | pub fn print_trace_and_constraint_evals( [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 `print_trace_table` is never used [INFO] [stdout] --> tests/common/helpers.rs:177:8 [INFO] [stdout] | [INFO] [stdout] 177 | pub fn print_trace_table(trace: &TraceTable) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `DebugRowView` is never constructed [INFO] [stdout] --> tests/common/helpers.rs:219:8 [INFO] [stdout] | [INFO] [stdout] 219 | struct DebugRowView<'a, F: PrimeField> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated module `std::u64`: all constants in this module replaced by associated constants on the type [INFO] [stdout] --> src/examples/fib_padded.rs:192:14 [INFO] [stdout] | [INFO] [stdout] 192 | use std::u64; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `even_odd_split` is never used [INFO] [stdout] --> src/backend/fri.rs:531:8 [INFO] [stdout] | [INFO] [stdout] 531 | fn even_odd_split(f: &DensePolynomial) -> (DensePolynomial, DensePolynomial) { [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 `eval_poly` is never used [INFO] [stdout] --> src/backend/fri.rs:549:8 [INFO] [stdout] | [INFO] [stdout] 549 | fn eval_poly(p: &DensePolynomial, x: Fr) -> Fr { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_fibonacci_trace` is never used [INFO] [stdout] --> src/examples/fib_padded.rs:209:8 [INFO] [stdout] | [INFO] [stdout] 209 | fn compute_fibonacci_trace(n: usize) -> TraceTable { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `a_selectors` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | fn a_selectors(row: &dyn RowAccess) -> (F, F, F, F) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reg_a` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:143:4 [INFO] [stdout] | [INFO] [stdout] 143 | fn reg_a(row: &dyn RowAccess) -> F { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cur_reg_by_prev_b` is never used [INFO] [stdout] --> src/zkvm/constraints.rs:226:4 [INFO] [stdout] | [INFO] [stdout] 226 | fn cur_reg_by_prev_b(row: &dyn RowAccess) -> F { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `previous_i` is never read [INFO] [stdout] --> src/zkvm/verifier.rs:39:9 [INFO] [stdout] | [INFO] [stdout] 37 | struct VerifierRowLdeView<'a, F: PrimeField> { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 38 | pub i: usize, [INFO] [stdout] 39 | pub previous_i: usize, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VerifierRowLdeView` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `release` profile [optimized] target(s) in 8.44s [INFO] running `Command { std: "docker" "inspect" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `Field` [INFO] [stderr] --> src/backend/transcript.rs:2:14 [INFO] [stderr] | [INFO] [stderr] 2 | use ark_ff::{Field, PrimeField}; [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `Air` [INFO] [stderr] --> src/examples/fib_basic.rs:3:18 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::air::{Air, Constraint, RowAccess}; [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `SequenceValuesA`, `SequenceValuesB`, and `TimeStep` [INFO] [stderr] --> src/examples/fib_basic.rs:4:24 [INFO] [stderr] | [INFO] [stderr] 4 | use FibonacciColumns::{SequenceValuesA, SequenceValuesB, TimeStep}; [INFO] [stderr] | ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `prove_from_coefficients` is never used [INFO] [stderr] --> src/backend/fri.rs:90:8 [INFO] [stderr] | [INFO] [stderr] 90 | pub fn prove_from_coefficients( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: struct `FibAir` is never constructed [INFO] [stderr] --> src/examples/mod.rs:8:8 [INFO] [stderr] | [INFO] [stderr] 8 | struct FibAir { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `calculate_fibonacci_seq` is never used [INFO] [stderr] --> src/examples/mod.rs:27:4 [INFO] [stderr] | [INFO] [stderr] 27 | fn calculate_fibonacci_seq(n: usize) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `FibonacciColumns` is never used [INFO] [stderr] --> src/examples/fib_basic.rs:6:6 [INFO] [stderr] | [INFO] [stderr] 6 | enum FibonacciColumns { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `idx` is never used [INFO] [stderr] --> src/examples/fib_basic.rs:13:18 [INFO] [stderr] | [INFO] [stderr] 12 | impl FibonacciColumns { [INFO] [stderr] | --------------------- method in this implementation [INFO] [stderr] 13 | pub const fn idx(self) -> usize { [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: constant `FIBONACCI_SEQUENCE_FINAL_VALUE` is never used [INFO] [stderr] --> src/examples/fib_basic.rs:23:7 [INFO] [stderr] | [INFO] [stderr] 23 | const FIBONACCI_SEQUENCE_FINAL_VALUE: u128 = 251728825683549488150424261; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `TimeStepBoundary` is never constructed [INFO] [stderr] --> src/examples/fib_basic.rs:27:8 [INFO] [stderr] | [INFO] [stderr] 27 | struct TimeStepBoundary { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `TimeStepTransition` is never constructed [INFO] [stderr] --> src/examples/fib_basic.rs:43:8 [INFO] [stderr] | [INFO] [stderr] 43 | struct TimeStepTransition { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `ATransition` is never constructed [INFO] [stderr] --> src/examples/fib_basic.rs:59:8 [INFO] [stderr] | [INFO] [stderr] 59 | struct ATransition { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `BTransition` is never constructed [INFO] [stderr] --> src/examples/fib_basic.rs:76:8 [INFO] [stderr] | [INFO] [stderr] 76 | struct BTransition { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `FinalValueBoundary` is never constructed [INFO] [stderr] --> src/examples/fib_basic.rs:94:8 [INFO] [stderr] | [INFO] [stderr] 94 | struct FinalValueBoundary { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `FibonacciColumns` is never used [INFO] [stderr] --> src/examples/fib_padded.rs:7:6 [INFO] [stderr] | [INFO] [stderr] 7 | enum FibonacciColumns { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `idx` and `name` are never used [INFO] [stderr] --> src/examples/fib_padded.rs:17:18 [INFO] [stderr] | [INFO] [stderr] 16 | impl FibonacciColumns { [INFO] [stderr] | --------------------- methods in this implementation [INFO] [stderr] 17 | pub const fn idx(self) -> usize { [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 28 | pub fn name(self) -> String { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant `FIBONACCI_SEQUENCE_FINAL_VALUE` is never used [INFO] [stderr] --> src/examples/fib_padded.rs:41:7 [INFO] [stderr] | [INFO] [stderr] 41 | const FIBONACCI_SEQUENCE_FINAL_VALUE: u128 = 251728825683549488150424261; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant `FIBONACCI_SEQUENCE_INIT_VALUE_A` is never used [INFO] [stderr] --> src/examples/fib_padded.rs:42:7 [INFO] [stderr] | [INFO] [stderr] 42 | const FIBONACCI_SEQUENCE_INIT_VALUE_A: u128 = 70492524767089125814114; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant `FIBONACCI_SEQUENCE_INIT_VALUE_B` is never used [INFO] [stderr] --> src/examples/fib_padded.rs:43:7 [INFO] [stderr] | [INFO] [stderr] 43 | const FIBONACCI_SEQUENCE_INIT_VALUE_B: u128 = 114059301025943970552219; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `TimeStepBoundary` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:46:8 [INFO] [stderr] | [INFO] [stderr] 46 | struct TimeStepBoundary { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `TimeStepTransition` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:62:8 [INFO] [stderr] | [INFO] [stderr] 62 | struct TimeStepTransition { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `ATransition` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:80:8 [INFO] [stderr] | [INFO] [stderr] 80 | struct ATransition { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `BTransition` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:99:8 [INFO] [stderr] | [INFO] [stderr] 99 | struct BTransition { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `TerminationValue` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:119:8 [INFO] [stderr] | [INFO] [stderr] 119 | struct TerminationValue { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `AInit` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:137:8 [INFO] [stderr] | [INFO] [stderr] 137 | struct AInit { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `BInit` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:155:8 [INFO] [stderr] | [INFO] [stderr] 155 | struct BInit { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `Booleanity` is never constructed [INFO] [stderr] --> src/examples/fib_padded.rs:176:8 [INFO] [stderr] | [INFO] [stderr] 176 | struct Booleanity { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `a_selectors` is never used [INFO] [stderr] --> src/zkvm/constraints.rs:133:4 [INFO] [stderr] | [INFO] [stderr] 133 | fn a_selectors(row: &dyn RowAccess) -> (F, F, F, F) { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `reg_a` is never used [INFO] [stderr] --> src/zkvm/constraints.rs:143:4 [INFO] [stderr] | [INFO] [stderr] 143 | fn reg_a(row: &dyn RowAccess) -> F { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `cur_reg_by_prev_b` is never used [INFO] [stderr] --> src/zkvm/constraints.rs:226:4 [INFO] [stderr] | [INFO] [stderr] 226 | fn cur_reg_by_prev_b(row: &dyn RowAccess) -> F { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `previous_i` is never read [INFO] [stderr] --> src/zkvm/verifier.rs:39:9 [INFO] [stderr] | [INFO] [stderr] 37 | struct VerifierRowLdeView<'a, F: PrimeField> { [INFO] [stderr] | ------------------ field in this struct [INFO] [stderr] 38 | pub i: usize, [INFO] [stderr] 39 | pub previous_i: usize, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `VerifierRowLdeView` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: unused import: `fr` [INFO] [stderr] --> src/vm/trace.rs:271:25 [INFO] [stderr] | [INFO] [stderr] 271 | use ark_bn254::{Fr, fr}; [INFO] [stderr] | ^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated module `std::u64`: all constants in this module replaced by associated constants on the type [INFO] [stderr] --> src/examples/fib_padded.rs:192:14 [INFO] [stderr] | [INFO] [stderr] 192 | use std::u64; [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function `even_odd_split` is never used [INFO] [stderr] --> src/backend/fri.rs:531:8 [INFO] [stderr] | [INFO] [stderr] 531 | fn even_odd_split(f: &DensePolynomial) -> (DensePolynomial, DensePolynomial) { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `eval_poly` is never used [INFO] [stderr] --> src/backend/fri.rs:549:8 [INFO] [stderr] | [INFO] [stderr] 549 | fn eval_poly(p: &DensePolynomial, x: Fr) -> Fr { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `compute_fibonacci_trace` is never used [INFO] [stderr] --> src/examples/fib_padded.rs:209:8 [INFO] [stderr] | [INFO] [stderr] 209 | fn compute_fibonacci_trace(n: usize) -> TraceTable { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `toy-zkvm` (lib) generated 31 warnings (run `cargo fix --lib -p toy-zkvm` to apply 3 suggestions) [INFO] [stderr] warning: `toy-zkvm` (lib test) generated 12 warnings (7 duplicates) (run `cargo fix --lib -p toy-zkvm --tests` to apply 1 suggestion) [INFO] [stderr] warning: unused import: `rows_to_trace_table` [INFO] [stderr] --> tests/vm_pipeline.rs:6:42 [INFO] [stderr] | [INFO] [stderr] 6 | vm::{ExecutionRow, VmError, VmState, rows_to_trace_table, run_rows}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `TestRow`, `assert_trace_violates_some_constraint`, `fr`, and `print_trace_and_constraint_evals` [INFO] [stderr] --> tests/common/mod.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | TestRow, assert_trace_satisfies_air, assert_trace_violates_some_constraint, fr, [INFO] [stderr] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^ [INFO] [stderr] 5 | print_trace_and_constraint_evals, run_program_to_trace, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `fr` is never used [INFO] [stderr] --> tests/common/helpers.rs:10:8 [INFO] [stderr] | [INFO] [stderr] 10 | pub fn fr(x: u64) -> Fr { [INFO] [stderr] | ^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `assert_trace_violates_some_constraint` is never used [INFO] [stderr] --> tests/common/helpers.rs:103:8 [INFO] [stderr] | [INFO] [stderr] 103 | pub fn assert_trace_violates_some_constraint(trace: &TraceTable, air: &dyn Air) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `print_trace_and_constraint_evals` is never used [INFO] [stderr] --> tests/common/helpers.rs:136:8 [INFO] [stderr] | [INFO] [stderr] 136 | pub fn print_trace_and_constraint_evals( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `print_trace_table` is never used [INFO] [stderr] --> tests/common/helpers.rs:177:8 [INFO] [stderr] | [INFO] [stderr] 177 | pub fn print_trace_table(trace: &TraceTable) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `DebugRowView` is never constructed [INFO] [stderr] --> tests/common/helpers.rs:219:8 [INFO] [stderr] | [INFO] [stderr] 219 | struct DebugRowView<'a, F: PrimeField> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `TestRow` and `print_trace_and_constraint_evals` [INFO] [stderr] --> tests/common/mod.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | TestRow, assert_trace_satisfies_air, assert_trace_violates_some_constraint, fr, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] 5 | print_trace_and_constraint_evals, run_program_to_trace, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `print_trace_and_constraint_evals` is never used [INFO] [stderr] --> tests/common/helpers.rs:136:8 [INFO] [stderr] | [INFO] [stderr] 136 | pub fn print_trace_and_constraint_evals( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `toy-zkvm` (test "vm_pipeline") generated 1 warning (run `cargo fix --test "vm_pipeline" -p toy-zkvm` to apply 1 suggestion) [INFO] [stderr] warning: `toy-zkvm` (test "vm_fib_proof_e2e") generated 6 warnings (run `cargo fix --test "vm_fib_proof_e2e" -p toy-zkvm` to apply 1 suggestion) [INFO] [stderr] warning: `toy-zkvm` (test "vm_air_e2e") generated 4 warnings (2 duplicates) (run `cargo fix --test "vm_air_e2e" -p toy-zkvm` to apply 1 suggestion) [INFO] [stderr] Finished `release` profile [optimized] target(s) in 0.12s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/release/deps/toy_zkvm-1eb75d9b21bfc529) [INFO] [stdout] [INFO] [stdout] running 80 tests [INFO] [stdout] test backend::merkle::tests::single_leaf_has_empty_path ... ok [INFO] [stdout] test backend::merkle::tests::index_out_of_range ... ok [INFO] [stdout] test backend::merkle::tests::tamper_leaf_fails ... ok [INFO] [stdout] test backend::transcript::tests::absorb_field_roundtrip ... ok [INFO] [stdout] test backend::transcript::tests::determinism ... ok [INFO] [stdout] test backend::merkle::tests::tamper_path_fails ... ok [INFO] [stdout] test backend::merkle::tests::verify_all_leaves ... ok [INFO] [stdout] test backend::merkle::tests::empty_rejected ... ok [INFO] [stdout] test dsl::lexer::tests::lex_basic_instruction_with_whitespace ... ok [INFO] [stdout] test backend::transcript::tests::index_is_unbiased_small_n ... ok [INFO] [stdout] test dsl::lexer::tests::lex_label_and_jump ... ok [INFO] [stdout] test dsl::lexer::tests::lex_multiple_lines_program ... ok [INFO] [stdout] test dsl::lexer::tests::lex_ignores_spaces_tabs_and_carriage_return ... ok [INFO] [stdout] test dsl::parser::tests::parse_const_instruction ... ok [INFO] [stdout] test backend::merkle::tests::wrong_index_fails ... ok [INFO] [stdout] test dsl::parser::tests::parse_halt_only ... ok [INFO] [stdout] test dsl::lexer::tests::lex_single_halt ... ok [INFO] [stdout] test dsl::lexer::tests::lex_jnz_line ... ok [INFO] [stdout] test dsl::parser::tests::parse_ignores_empty_lines ... ok [INFO] [stdout] test dsl::parser::tests::parse_invalid_register_in_const ... ok [INFO] [stdout] test dsl::parser::tests::parse_label_only_line ... ok [INFO] [stdout] test dsl::parser::tests::parse_missing_colon_after_label ... ok [INFO] [stdout] test dsl::parser::tests::parse_jmp_and_jnz ... ok [INFO] [stdout] test dsl::parser::tests::parse_missing_comma_in_const ... ok [INFO] [stdout] test dsl::parser::tests::parse_mov_add_sub_instructions ... ok [INFO] [stdout] test dsl::parser::tests::parse_unexpected_token_at_statement_start ... ok [INFO] [stdout] test dsl::parser::tests::parse_with_comments_via_lexer ... ok [INFO] [stdout] test dsl::resolver::tests::duplicate_label_is_error ... ok [INFO] [stdout] test dsl::resolver::tests::empty_program_resolves_to_empty_instructions ... ok [INFO] [stdout] test dsl::resolver::tests::label_does_not_increment_pc ... ok [INFO] [stdout] test dsl::resolver::tests::label_only_program_resolves_to_empty_instructions ... ok [INFO] [stdout] test dsl::parser::tests::parse_jmp_requires_identifier_label ... ok [INFO] [stdout] test dsl::parser::tests::parse_label_and_instruction_sequence ... ok [INFO] [stdout] test dsl::resolver::tests::missing_label_is_error_for_jmp ... ok [INFO] [stdout] test dsl::lexer::tests::lex_unknown_character_returns_error ... ok [INFO] [stdout] test dsl::resolver::tests::missing_label_is_error_for_jnz ... ok [INFO] [stdout] test dsl::resolver::tests::multiple_labels_can_point_to_same_pc ... ok [INFO] [stdout] test dsl::resolver::tests::resolves_backward_jump_to_label ... ok [INFO] [stdout] test dsl::resolver::tests::resolves_forward_jump_to_label ... ok [INFO] [stdout] test dsl::resolver::tests::resolves_jnz_target ... ok [INFO] [stdout] test vm::exec::tests::add_updates_dst_only ... ok [INFO] [stdout] test vm::exec::tests::const_sets_register_and_increments_pc ... ok [INFO] [stdout] test vm::exec::tests::executes_simple_program_then_pads ... ok [INFO] [stdout] test vm::exec::tests::halt_sets_halted_and_freezes_pc ... ok [INFO] [stdout] test vm::exec::tests::halting_pads_with_halt_rows ... ok [INFO] [stdout] test vm::exec::tests::jnz_not_taken_increments_pc ... ok [INFO] [stdout] test vm::exec::tests::jnz_taken_jumps_to_target ... ok [INFO] [stdout] test vm::exec::tests::mov_copies_register_and_increments_pc ... ok [INFO] [stdout] test vm::exec::tests::jmp_sets_pc_to_target ... ok [INFO] [stdout] test vm::exec::tests::row0_is_pre_state ... ok [INFO] [stdout] test vm::exec::tests::pc_out_of_bounds_errors ... ok [INFO] [stdout] test vm::exec::tests::pc_out_of_bounds_returns_error ... ok [INFO] [stdout] test vm::exec::tests::run_rows_returns_exact_trace_len ... ok [INFO] [stdout] test vm::exec::tests::step_limit_exceeded_errors ... ok [INFO] [stdout] test vm::exec::tests::stepping_when_halted_is_noop ... ok [INFO] [stdout] test vm::exec::tests::sub_updates_dst_only ... ok [INFO] [stdout] test vm::trace::tests::decode_row_halt_sets_expected_fields ... ok [INFO] [stdout] test vm::trace::tests::decode_row_jmp_sets_expected_fields ... ok [INFO] [stdout] test vm::trace::tests::decode_row_jnz_nonzero_cond_sets_taken_and_inverse ... ok [INFO] [stdout] test vm::trace::tests::decode_row_jnz_sets_expected_fields ... ok [INFO] [stdout] test vm::trace::tests::decode_row_add_sets_expected_fields ... ok [INFO] [stdout] test vm::trace::tests::decode_row_const_sets_expected_fields ... ok [INFO] [stdout] test vm::trace::tests::decode_row_jnz_zero_cond_sets_not_taken_and_zero_inverse ... ok [INFO] [stdout] test vm::trace::tests::decode_row_mov_sets_expected_fields ... ok [INFO] [stdout] test vm::trace::tests::decode_row_sub_sets_expected_fields ... ok [INFO] [stdout] test vm::trace::tests::trace_column_layout_is_stable ... ok [INFO] [stdout] test vm::trace::tests::rows_to_trace_table_builds_column_major_trace ... ok [INFO] [stdout] test backend::merkle::tests::determinism_same_rows_same_root ... ok [INFO] [stdout] test dsl::lexer::tests::lex_comment_only_line ... ok [INFO] [stdout] test backend::fri::tests::honest_prover_verifier_ok ... ok [INFO] [stdout] test dsl::parser::tests::parse_jnz_requires_register_then_label ... ok [INFO] [stdout] test dsl::lexer::tests::lex_inline_comment_preserves_newline ... ok [INFO] [stdout] test backend::fri::tests::reject_wrong_next_round_value ... ok [INFO] [stdout] test backend::fri::tests::reject_wrong_final_poly ... ok [INFO] [stdout] test backend::fri::tests::reject_wrong_left_index ... ok [INFO] [stdout] test backend::fri::tests::higher_degree_reject ... ok [INFO] [stdout] test backend::fri::tests::honest_prover_shifted_cosset_verifier_ok ... ok [INFO] [stdout] test examples::fib_padded::tests::prove_short_fibonacci_sequence ... ok [INFO] [stdout] test examples::fib_basic::tests::prove_fibonacci_sequence ... ok [INFO] [stdout] test examples::fib_basic::tests::prove_incorrect_fibonacci_sequence ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 80 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.45s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/release/deps/toy_zkvm-874c76967bb0c949) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/vm_air_e2e.rs (/opt/rustwide/target/release/deps/vm_air_e2e-43f9f9a6896519b2) [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test corrupted_initial_pc_is_detected ... ok [INFO] [stdout] test corrupted_initial_r0_is_detected ... ok [INFO] [stdout] test corrupted_booleanity_is_detected ... ok [INFO] [stdout] test corrupted_unused_operand_for_const_is_detected ... ok [INFO] [stdout] test const_halt_trace_satisfies_vm_air ... ok [INFO] [stdout] test corrupted_one_hot_opcode_is_detected ... ok [INFO] [stdout] test corrupted_initial_halted_is_detected ... ok [INFO] [stdout] test corrupted_register_index_a_is_detected ... ok [INFO] [stderr] Running tests/vm_fib_proof_e2e.rs (/opt/rustwide/target/release/deps/vm_fib_proof_e2e-2276d529c6ca08c8) [INFO] [stdout] test fib_trace_satisfies_vm_air ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test prove_and_verify_const_halt_vm_trace ... ok [INFO] [stdout] test prove_and_verify_fibonacci_vm_trace_with_current_air ... ok [INFO] [stdout] [INFO] [stderr] Running tests/vm_pipeline.rs (/opt/rustwide/target/release/deps/vm_pipeline-fb230b33c2e641cd) [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.82s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test compile_error_for_missing_label ... ok [INFO] [stdout] test const_then_halt_pipeline_runs ... ok [INFO] [stdout] test jnz_taken_pipeline_jumps ... ok [INFO] [stdout] test jnz_not_taken_pipeline_falls_through ... ok [INFO] [stdout] test vm_error_for_step_limit_exceeded ... ok [INFO] [stdout] test jmp_pipeline_skips_instruction ... ok [INFO] [stdout] test add_pipeline_updates_register ... ok [INFO] [stdout] test mov_pipeline_copies_register ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Doc-tests toy_zkvm [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e", kill_on_drop: false }` [INFO] [stdout] 8d64f7d53f854529522ccf75abce7bb996e8b8706b6ab25aad5df964f4523d7e