[INFO] fetching crate sp1-core 1.1.1... [INFO] checking sp1-core-1.1.1 against try#998b6603a58e47f42ccce7a67943234e96b6839e for pr-143170 [INFO] extracting crate sp1-core 1.1.1 into /workspace/builds/worker-6-tc2/source [INFO] started tweaking crates.io crate sp1-core 1.1.1 [INFO] finished tweaking crates.io crate sp1-core 1.1.1 [INFO] tweaked toml for crates.io crate sp1-core 1.1.1 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate sp1-core 1.1.1 on toolchain 998b6603a58e47f42ccce7a67943234e96b6839e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 274 packages to latest compatible versions [INFO] [stderr] Adding bincode v1.3.3 (available: v2.0.1) [INFO] [stderr] Adding criterion v0.5.1 (available: v0.6.0) [INFO] [stderr] Adding elf v0.7.4 (available: v0.8.0) [INFO] [stderr] Adding hashbrown v0.14.5 (available: v0.15.4) [INFO] [stderr] Adding itertools v0.13.0 (available: v0.14.0) [INFO] [stderr] Adding p3-air v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-baby-bear v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-blake3 v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-challenger v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-commit v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-dft v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-field v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-fri v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-keccak v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-keccak-air v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-matrix v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-maybe-rayon v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-merkle-tree v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-poseidon2 v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-symmetric v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-uni-stark v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding p3-util v0.1.3-succinct (available: v0.3.0) [INFO] [stderr] Adding rand v0.8.5 (available: v0.9.1) [INFO] [stderr] Adding size v0.4.1 (available: v0.5.0) [INFO] [stderr] Adding sp1-derive v1.2.0 (available: v5.0.5) [INFO] [stderr] Adding sp1-primitives v1.2.0 (available: v5.0.5) [INFO] [stderr] Adding sp1-zkvm v1.2.0 (available: v5.0.5) [INFO] [stderr] Adding strum v0.26.3 (available: v0.27.1) [INFO] [stderr] Adding strum_macros v0.26.4 (available: v0.27.1) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.12) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 916e4b55fa66268ae6ec8db4a3800ce107f89d624400c3ae308a0ab5a803ad83 [INFO] running `Command { std: "docker" "start" "-a" "916e4b55fa66268ae6ec8db4a3800ce107f89d624400c3ae308a0ab5a803ad83", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "916e4b55fa66268ae6ec8db4a3800ce107f89d624400c3ae308a0ab5a803ad83", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "916e4b55fa66268ae6ec8db4a3800ce107f89d624400c3ae308a0ab5a803ad83", kill_on_drop: false }` [INFO] [stdout] 916e4b55fa66268ae6ec8db4a3800ce107f89d624400c3ae308a0ab5a803ad83 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9e1e13263b07d43fff7914829aab808f2756433c52ca2dbb360147bfc226f0f4 [INFO] running `Command { std: "docker" "start" "-a" "9e1e13263b07d43fff7914829aab808f2756433c52ca2dbb360147bfc226f0f4", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Checking cfg-if v1.0.1 [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling zerocopy v0.8.26 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking pin-project-lite v0.2.16 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Checking const-oid v0.9.6 [INFO] [stderr] Compiling hashbrown v0.15.4 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling rustversion v1.0.21 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking itertools v0.12.1 [INFO] [stderr] Compiling winnow v0.7.11 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Checking tracing-core v0.1.34 [INFO] [stderr] Checking der v0.7.10 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking regex-syntax v0.6.29 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling semver v1.0.26 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling ident_case v1.0.1 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling indexmap v2.10.0 [INFO] [stderr] Checking log v0.4.27 [INFO] [stderr] Checking overload v0.1.1 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking spki v0.7.3 [INFO] [stderr] Compiling const_format_proc_macros v0.2.34 [INFO] [stderr] Compiling cc v1.2.27 [INFO] [stderr] Checking nu-ansi-term v0.46.0 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Compiling parity-scale-codec v3.7.5 [INFO] [stderr] Checking ff v0.13.1 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking thread_local v1.1.9 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Compiling crunchy v0.2.4 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking base16ct v0.2.0 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Checking group v0.13.0 [INFO] [stderr] Checking pkcs8 v0.10.2 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-bigint v0.5.5 [INFO] [stderr] Checking const_format v0.2.34 [INFO] [stderr] Checking sec1 v0.7.3 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking gcd v2.3.0 [INFO] [stderr] Compiling rustix v1.0.7 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking byte-slice-cast v1.2.3 [INFO] [stderr] Compiling curve25519-dalek v4.1.3 [INFO] [stderr] Checking rfc6979 v0.4.0 [INFO] [stderr] Checking signature v2.2.0 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking half v2.6.0 [INFO] [stderr] Compiling anyhow v1.0.98 [INFO] [stderr] Checking memchr v2.7.5 [INFO] [stderr] Checking arrayref v0.3.9 [INFO] [stderr] Checking anstyle v1.0.11 [INFO] [stderr] Checking clap_lex v0.7.5 [INFO] [stderr] Checking matchers v0.1.0 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Checking linux-raw-sys v0.9.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking bitflags v2.9.1 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Compiling blake3 v1.8.2 [INFO] [stderr] Checking constant_time_eq v0.3.1 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking clap_builder v4.5.40 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking downcast-rs v1.2.1 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking num_cpus v1.17.0 [INFO] [stderr] Checking p3-maybe-rayon v0.1.3-succinct [INFO] [stderr] Checking rayon-scan v0.1.1 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking is-terminal v0.4.16 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking size v0.4.1 [INFO] [stderr] Checking strum v0.26.3 [INFO] [stderr] Checking nohash-hasher v0.2.0 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking bytemuck v1.23.1 [INFO] [stderr] Checking elf v0.7.4 [INFO] [stderr] Checking elliptic-curve v0.13.8 [INFO] [stderr] Checking web-time v1.1.0 [INFO] [stderr] Checking ecdsa v0.16.9 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Compiling sp1-derive v1.2.0 [INFO] [stderr] Checking clap v4.5.40 [INFO] [stderr] Checking k256 v0.13.4 [INFO] [stderr] Compiling proc-macro-crate v3.3.0 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Compiling darling_core v0.20.11 [INFO] [stderr] Checking tempfile v3.20.0 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling derive_more-impl v1.0.0 [INFO] [stderr] Compiling impl-trait-for-tuples v0.2.3 [INFO] [stderr] Compiling parity-scale-codec-derive v3.7.5 [INFO] [stderr] Compiling scale-info-derive v2.11.6 [INFO] [stderr] Compiling curve25519-dalek-derive v0.1.1 [INFO] [stderr] Compiling strum_macros v0.26.4 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling num_enum_derive v0.5.11 [INFO] [stderr] Checking derive_more v1.0.0 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking tracing-subscriber v0.3.19 [INFO] [stderr] Checking cobs v0.3.0 [INFO] [stderr] Checking num_enum v0.5.11 [INFO] [stderr] Checking rrs-succinct v0.1.0 [INFO] [stderr] Compiling darling_macro v0.20.11 [INFO] [stderr] Compiling darling v0.20.11 [INFO] [stderr] Compiling serde_with_macros v3.13.0 [INFO] [stderr] Checking scale-info v2.11.6 [INFO] [stderr] Checking tracing-forest v0.1.6 [INFO] [stderr] Checking snowbridge-amcl v1.0.2 [INFO] [stderr] Checking p3-util v0.1.3-succinct [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking postcard v1.1.2 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking generic-array v1.2.0 [INFO] [stderr] Checking serde_with v3.13.0 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking p3-field v0.1.3-succinct [INFO] [stderr] Checking p3-matrix v0.1.3-succinct [INFO] [stderr] Checking p3-symmetric v0.1.3-succinct [INFO] [stderr] Checking sp1-zkvm v1.2.0 [INFO] [stderr] Checking p3-challenger v0.1.3-succinct [INFO] [stderr] Checking p3-blake3 v0.1.3-succinct [INFO] [stderr] Checking p3-keccak v0.1.3-succinct [INFO] [stderr] Checking p3-dft v0.1.3-succinct [INFO] [stderr] Checking p3-air v0.1.3-succinct [INFO] [stderr] Checking p3-interpolation v0.1.3-succinct [INFO] [stderr] Checking p3-keccak-air v0.1.3-succinct [INFO] [stderr] Checking p3-commit v0.1.3-succinct [INFO] [stderr] Checking p3-mds v0.1.3-succinct [INFO] [stderr] Checking p3-fri v0.1.3-succinct [INFO] [stderr] Checking p3-merkle-tree v0.1.3-succinct [INFO] [stderr] Checking p3-uni-stark v0.1.3-succinct [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking p3-poseidon2 v0.1.3-succinct [INFO] [stderr] Checking p3-baby-bear v0.1.3-succinct [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking sp1-primitives v1.2.0 [INFO] [stderr] Checking sp1-core v1.1.1 (/opt/rustwide/workdir) [INFO] [stdout] error: couldn't read `src/syscall/../../../tests/hint-io/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/syscall/hint.rs:91:9 [INFO] [stdout] | [INFO] [stdout] 91 | include_bytes!("../../../tests/hint-io/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/chess/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:5:9 [INFO] [stdout] | [INFO] [stdout] 5 | include_bytes!("../../../examples/chess/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/fibonacci/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | include_bytes!("../../../examples/fibonacci/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/io/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:11:9 [INFO] [stdout] | [INFO] [stdout] 11 | include_bytes!("../../../examples/io/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/json/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | include_bytes!("../../../examples/json/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/regex/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:17:9 [INFO] [stdout] | [INFO] [stdout] 17 | include_bytes!("../../../examples/regex/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/rsa/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | include_bytes!("../../../examples/rsa/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/ssz-withdrawals/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | include_bytes!("../../../examples/ssz-withdrawals/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../examples/tendermint/program/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | include_bytes!("../../../examples/tendermint/program/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/fibonacci/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | include_bytes!("../../../tests/fibonacci/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/ed25519/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:34:9 [INFO] [stdout] | [INFO] [stdout] 34 | include_bytes!("../../../tests/ed25519/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/cycle-tracker/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | include_bytes!("../../../tests/cycle-tracker/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/ecrecover/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 40 | include_bytes!("../../../tests/ecrecover/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/ed-add/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | include_bytes!("../../../tests/ed-add/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/ed-decompress/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | include_bytes!("../../../tests/ed-decompress/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/keccak-permute/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 49 | include_bytes!("../../../tests/keccak-permute/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/keccak256/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:52:9 [INFO] [stdout] | [INFO] [stdout] 52 | include_bytes!("../../../tests/keccak256/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/secp256k1-add/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:55:9 [INFO] [stdout] | [INFO] [stdout] 55 | include_bytes!("../../../tests/secp256k1-add/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/secp256k1-decompress/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:58:9 [INFO] [stdout] | [INFO] [stdout] 58 | include_bytes!("../../../tests/secp256k1-decompress/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/secp256k1-double/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:61:9 [INFO] [stdout] | [INFO] [stdout] 61 | include_bytes!("../../../tests/secp256k1-double/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/sha-compress/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:64:9 [INFO] [stdout] | [INFO] [stdout] 64 | include_bytes!("../../../tests/sha-compress/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/sha-extend/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | include_bytes!("../../../tests/sha-extend/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/sha2/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:70:9 [INFO] [stdout] | [INFO] [stdout] 70 | include_bytes!("../../../tests/sha2/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/bn254-add/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:73:9 [INFO] [stdout] | [INFO] [stdout] 73 | include_bytes!("../../../tests/bn254-add/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/bn254-double/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:76:9 [INFO] [stdout] | [INFO] [stdout] 76 | include_bytes!("../../../tests/bn254-double/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/bn254-mul/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 79 | include_bytes!("../../../tests/bn254-mul/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/secp256k1-mul/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:82:9 [INFO] [stdout] | [INFO] [stdout] 82 | include_bytes!("../../../tests/secp256k1-mul/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/bls12381-add/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:85:9 [INFO] [stdout] | [INFO] [stdout] 85 | include_bytes!("../../../tests/bls12381-add/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/bls12381-double/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:88:9 [INFO] [stdout] | [INFO] [stdout] 88 | include_bytes!("../../../tests/bls12381-double/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/bls12381-mul/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:91:9 [INFO] [stdout] | [INFO] [stdout] 91 | include_bytes!("../../../tests/bls12381-mul/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/uint256-mul/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | include_bytes!("../../../tests/uint256-mul/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/bls12381-decompress/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:97:9 [INFO] [stdout] | [INFO] [stdout] 97 | include_bytes!("../../../tests/bls12381-decompress/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/verify-proof/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:100:9 [INFO] [stdout] | [INFO] [stdout] 100 | include_bytes!("../../../tests/verify-proof/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `src/utils/../../../tests/panic/elf/riscv32im-succinct-zkvm-elf`: No such file or directory (os error 2) [INFO] [stdout] --> src/utils/programs.rs:103:9 [INFO] [stdout] | [INFO] [stdout] 103 | include_bytes!("../../../tests/panic/elf/riscv32im-succinct-zkvm-elf"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `sp1_zkvm::lib` [INFO] [stdout] --> src/runtime/hooks.rs:156:23 [INFO] [stdout] | [INFO] [stdout] 156 | use sp1_zkvm::lib::io; [INFO] [stdout] | ^^^ could not find `lib` in `sp1_zkvm` [INFO] [stdout] | [INFO] [stdout] note: found an item that was configured out [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/sp1-zkvm-1.2.0/src/lib.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | pub mod lib { [INFO] [stdout] | ^^^ [INFO] [stdout] note: the item is gated behind the `lib` feature [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/sp1-zkvm-1.2.0/src/lib.rs:11:7 [INFO] [stdout] | [INFO] [stdout] 11 | #[cfg(feature = "lib")] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `sp1_stark` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ use of unresolved module or unlinked crate `sp1_stark` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `sp1_stark`, use `cargo add sp1_stark` to add it to your `Cargo.toml` [INFO] [stdout] note: module `crate::syscall::precompiles::uint256::air` exists but is inaccessible [INFO] [stdout] --> src/syscall/precompiles/uint256/mod.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | mod air; [INFO] [stdout] | ^^^^^^^^ not accessible [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use crate::air; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `sp1_stark` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ use of unresolved module or unlinked crate `sp1_stark` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `sp1_stark`, use `cargo add sp1_stark` to add it to your `Cargo.toml` [INFO] [stdout] note: module `crate::syscall::precompiles::uint256::air` exists but is inaccessible [INFO] [stdout] --> src/syscall/precompiles/uint256/mod.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | mod air; [INFO] [stdout] | ^^^^^^^^ not accessible [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 1 + use crate::air; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `SP1CoreAirBuilder` in module `crate::air` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/air/builder.rs:706:1 [INFO] [stdout] | [INFO] [stdout] 706 | / pub trait SP1AirBuilder: [INFO] [stdout] 707 | | MachineAirBuilder [INFO] [stdout] 708 | | + ByteAirBuilder [INFO] [stdout] 709 | | + WordAirBuilder [INFO] [stdout] ... | [INFO] [stdout] 714 | | } [INFO] [stdout] | |_- similarly named trait `SP1AirBuilder` defined here [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no variant named `Record` found for enum `stark::air::RiscvAir` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ variant not found in `stark::air::RiscvAir` [INFO] [stdout] 47 | pub enum RiscvAir { [INFO] [stdout] | ---------------------------------- variant `Record` not found here [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `RiscvAir<::Val>: MachineAir<...>` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:57:48 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn prove_simple>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `air::machine::MachineAir<::Val>` is not implemented for `stark::air::RiscvAir<::Val>` [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-a0b982fac2645963.long-type-1773889546579257366.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `RiscvAir<::Val>: MachineAir<...>` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:109:41 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn prove>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `air::machine::MachineAir<::Val>` is not implemented for `stark::air::RiscvAir<::Val>` [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-a0b982fac2645963.long-type-1773889546579257366.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `RiscvAir<::Val>: MachineAir<...>` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:128:54 [INFO] [stdout] | [INFO] [stdout] 128 | pub fn prove_with_context>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `air::machine::MachineAir<::Val>` is not implemented for `stark::air::RiscvAir<::Val>` [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-a0b982fac2645963.long-type-1773889546579257366.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `stark::air::RiscvAir: air::machine::MachineAir` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:582:23 [INFO] [stdout] | [INFO] [stdout] 582 | pub fn run_test_io>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `stark::air::RiscvAir: air::machine::MachineAir` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:597:20 [INFO] [stdout] | [INFO] [stdout] 597 | pub fn run_test>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `stark::air::RiscvAir: air::machine::MachineAir` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:612:25 [INFO] [stdout] | [INFO] [stdout] 612 | pub fn run_test_core>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `sp1_core_executor` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ use of unresolved module or unlinked crate `sp1_core_executor` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `sp1_core_executor`, use `cargo add sp1_core_executor` to add it to your `Cargo.toml` [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0405, E0433, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `sp1-core` (lib) due to 10 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0405]: cannot find trait `SP1CoreAirBuilder` in module `crate::air` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/air/builder.rs:706:1 [INFO] [stdout] | [INFO] [stdout] 706 | / pub trait SP1AirBuilder: [INFO] [stdout] 707 | | MachineAirBuilder [INFO] [stdout] 708 | | + ByteAirBuilder [INFO] [stdout] 709 | | + WordAirBuilder [INFO] [stdout] ... | [INFO] [stdout] 714 | | } [INFO] [stdout] | |_- similarly named trait `SP1AirBuilder` defined here [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no variant named `Record` found for enum `stark::air::RiscvAir` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ variant not found in `stark::air::RiscvAir` [INFO] [stdout] 47 | pub enum RiscvAir { [INFO] [stdout] | ---------------------------------- variant `Record` not found here [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `RiscvAir<::Val>: MachineAir<...>` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:57:48 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn prove_simple>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `air::machine::MachineAir<::Val>` is not implemented for `stark::air::RiscvAir<::Val>` [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-bed32e98c0299d22.long-type-2779999483416949597.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `RiscvAir<::Val>: MachineAir<...>` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:109:41 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn prove>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `air::machine::MachineAir<::Val>` is not implemented for `stark::air::RiscvAir<::Val>` [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-bed32e98c0299d22.long-type-2779999483416949597.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `RiscvAir<::Val>: MachineAir<...>` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:128:54 [INFO] [stdout] | [INFO] [stdout] 128 | pub fn prove_with_context>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] = help: the trait `air::machine::MachineAir<::Val>` is not implemented for `stark::air::RiscvAir<::Val>` [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-bed32e98c0299d22.long-type-2779999483416949597.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `stark::air::RiscvAir: air::machine::MachineAir` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:582:23 [INFO] [stdout] | [INFO] [stdout] 582 | pub fn run_test_io>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `stark::air::RiscvAir: air::machine::MachineAir` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:597:20 [INFO] [stdout] | [INFO] [stdout] 597 | pub fn run_test>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `stark::air::RiscvAir: air::machine::MachineAir` is not satisfied [INFO] [stdout] --> src/utils/prove.rs:612:25 [INFO] [stdout] | [INFO] [stdout] 612 | pub fn run_test_core>>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] | [INFO] [stdout] = help: the following other types implement trait `air::machine::MachineAir`: [INFO] [stdout] add_sub::AddSubChip [INFO] [stdout] alu::lt::LtChip [INFO] [stdout] alu::mul::MulChip [INFO] [stdout] bitwise::BitwiseChip [INFO] [stdout] bytes::ByteChip [INFO] [stdout] chip::Chip [INFO] [stdout] compress::ShaCompressChip [INFO] [stdout] cpu::CpuChip [INFO] [stdout] and 14 others [INFO] [stdout] note: required by a bound in `stark::prover::MachineProver` [INFO] [stdout] --> src/stark/prover.rs:34:52 [INFO] [stdout] | [INFO] [stdout] 34 | pub trait MachineProver>: [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ required by this bound in `MachineProver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `sp1_core_executor` [INFO] [stdout] --> src/stark/air.rs:46:10 [INFO] [stdout] | [INFO] [stdout] 46 | #[derive(MachineAir)] [INFO] [stdout] | ^^^^^^^^^^ use of unresolved module or unlinked crate `sp1_core_executor` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `sp1_core_executor`, use `cargo add sp1_core_executor` to add it to your `Cargo.toml` [INFO] [stdout] = note: this error originates in the derive macro `MachineAir` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0405, E0432, E0433, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `sp1-core` (lib test) due to 45 previous errors [INFO] running `Command { std: "docker" "inspect" "9e1e13263b07d43fff7914829aab808f2756433c52ca2dbb360147bfc226f0f4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9e1e13263b07d43fff7914829aab808f2756433c52ca2dbb360147bfc226f0f4", kill_on_drop: false }` [INFO] [stdout] 9e1e13263b07d43fff7914829aab808f2756433c52ca2dbb360147bfc226f0f4