[INFO] fetching crate sp1-core 1.1.1... [INFO] building sp1-core-1.1.1 against master#ad85bc524b1ad696e42061ad8338d382dffbdbe5 for pr-146237-1 [INFO] extracting crate sp1-core 1.1.1 into /workspace/builds/worker-4-tc1/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-4-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate sp1-core 1.1.1 on toolchain ad85bc524b1ad696e42061ad8338d382dffbdbe5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "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" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 268 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.7.0) [INFO] [stderr] Adding elf v0.7.4 (available: v0.8.0) [INFO] [stderr] Adding hashbrown v0.14.5 (available: v0.16.0) [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.2) [INFO] [stderr] Adding size v0.4.1 (available: v0.5.0) [INFO] [stderr] Adding sp1-derive v1.2.0 (available: v5.2.1) [INFO] [stderr] Adding sp1-primitives v1.2.0 (available: v5.2.1) [INFO] [stderr] Adding sp1-zkvm v1.2.0 (available: v5.2.1) [INFO] [stderr] Adding strum v0.26.3 (available: v0.27.2) [INFO] [stderr] Adding strum_macros v0.26.4 (available: v0.27.2) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.16) [INFO] [stderr] Adding tracing-forest v0.1.6 (available: v0.2.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded half v2.6.0 [INFO] [stderr] Downloaded p3-keccak v0.1.3-succinct [INFO] [stderr] Downloaded const_format_proc_macros v0.2.34 [INFO] [stderr] Downloaded p3-util v0.1.3-succinct [INFO] [stderr] Downloaded p3-mds v0.1.3-succinct [INFO] [stderr] Downloaded p3-symmetric v0.1.3-succinct [INFO] [stderr] Downloaded tracing-forest v0.1.6 [INFO] [stderr] Downloaded p3-matrix v0.1.3-succinct [INFO] [stderr] Downloaded p3-poseidon2 v0.1.3-succinct [INFO] [stderr] Downloaded p3-field v0.1.3-succinct [INFO] [stderr] Downloaded sp1-primitives v1.2.0 [INFO] [stderr] Downloaded crypto-bigint v0.5.5 [INFO] [stderr] Downloaded rfc6979 v0.4.0 [INFO] [stderr] Downloaded sp1-derive v1.2.0 [INFO] [stderr] Downloaded ecdsa v0.16.9 [INFO] [stderr] Downloaded ff v0.13.1 [INFO] [stderr] Downloaded sec1 v0.7.3 [INFO] [stderr] Downloaded p3-fri v0.1.3-succinct [INFO] [stderr] Downloaded schemars v0.9.0 [INFO] [stderr] Downloaded generic-array v1.2.0 [INFO] [stderr] Downloaded darling_core v0.21.3 [INFO] [stderr] Downloaded elliptic-curve v0.13.8 [INFO] [stderr] Downloaded p3-maybe-rayon v0.1.3-succinct [INFO] [stderr] Downloaded k256 v0.13.4 [INFO] [stderr] Downloaded serde_with v3.14.1 [INFO] [stderr] Downloaded snowbridge-amcl v1.0.2 [INFO] [stderr] Downloaded darling v0.21.3 [INFO] [stderr] Downloaded scale-info-derive v2.11.6 [INFO] [stderr] Downloaded nohash-hasher v0.2.0 [INFO] [stderr] Downloaded p3-challenger v0.1.3-succinct [INFO] [stderr] Downloaded schemars v1.0.4 [INFO] [stderr] Downloaded const_format v0.2.34 [INFO] [stderr] Downloaded p3-keccak-air v0.1.3-succinct [INFO] [stderr] Downloaded cobs v0.3.0 [INFO] [stderr] Downloaded embedded-io v0.4.0 [INFO] [stderr] Downloaded embedded-io v0.6.1 [INFO] [stderr] Downloaded rayon-scan v0.1.1 [INFO] [stderr] Downloaded serde_with_macros v3.14.1 [INFO] [stderr] Downloaded parity-scale-codec v3.7.5 [INFO] [stderr] Downloaded scale-info v2.11.6 [INFO] [stderr] Downloaded p3-baby-bear v0.1.3-succinct [INFO] [stderr] Downloaded gcd v2.3.0 [INFO] [stderr] Downloaded p3-dft v0.1.3-succinct [INFO] [stderr] Downloaded p3-interpolation v0.1.3-succinct [INFO] [stderr] Downloaded rrs-succinct v0.1.0 [INFO] [stderr] Downloaded group v0.13.0 [INFO] [stderr] Downloaded base16ct v0.2.0 [INFO] [stderr] Downloaded num-rational v0.4.2 [INFO] [stderr] Downloaded num v0.4.3 [INFO] [stderr] Downloaded p3-blake3 v0.1.3-succinct [INFO] [stderr] Downloaded p3-commit v0.1.3-succinct [INFO] [stderr] Downloaded postcard v1.1.3 [INFO] [stderr] Downloaded darling_macro v0.21.3 [INFO] [stderr] Downloaded size v0.4.1 [INFO] [stderr] Downloaded sp1-zkvm v1.2.0 [INFO] [stderr] Downloaded p3-merkle-tree v0.1.3-succinct [INFO] [stderr] Downloaded parity-scale-codec-derive v3.7.5 [INFO] [stderr] Downloaded p3-uni-stark v0.1.3-succinct [INFO] [stderr] Downloaded p3-air v0.1.3-succinct [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9d01b013bd20a0bf9ec340b17723035f2e9f348d060163ea31fd1ec3e55b8273 [INFO] running `Command { std: "docker" "start" "-a" "9d01b013bd20a0bf9ec340b17723035f2e9f348d060163ea31fd1ec3e55b8273", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9d01b013bd20a0bf9ec340b17723035f2e9f348d060163ea31fd1ec3e55b8273", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9d01b013bd20a0bf9ec340b17723035f2e9f348d060163ea31fd1ec3e55b8273", kill_on_drop: false }` [INFO] [stdout] 9d01b013bd20a0bf9ec340b17723035f2e9f348d060163ea31fd1ec3e55b8273 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+ad85bc524b1ad696e42061ad8338d382dffbdbe5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c0924e497827b72f0ea5600989a38d093f56f1b5924149380491edb03d46ecd1 [INFO] running `Command { std: "docker" "start" "-a" "c0924e497827b72f0ea5600989a38d093f56f1b5924149380491edb03d46ecd1", kill_on_drop: false }` [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling const-oid v0.9.6 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling toml_parser v1.0.3 [INFO] [stderr] Compiling toml_datetime v0.7.2 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling tracing-core v0.1.34 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling der v0.7.10 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling log v0.4.28 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling itertools v0.12.1 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling find-msvc-tools v0.1.2 [INFO] [stderr] Compiling thiserror v2.0.16 [INFO] [stderr] Compiling toml_edit v0.23.6 [INFO] [stderr] Compiling ident_case v1.0.1 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling tracing-log v0.2.0 [INFO] [stderr] Compiling cc v1.2.39 [INFO] [stderr] Compiling spki v0.7.3 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling const_format_proc_macros v0.2.34 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling ff v0.13.1 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling parity-scale-codec v3.7.5 [INFO] [stderr] Compiling thread_local v1.1.9 [INFO] [stderr] Compiling proc-macro-crate v3.4.0 [INFO] [stderr] Compiling regex-automata v0.4.11 [INFO] [stderr] Compiling base16ct v0.2.0 [INFO] [stderr] Compiling semver v1.0.27 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling crunchy v0.2.4 [INFO] [stderr] Compiling nu-ansi-term v0.50.1 [INFO] [stderr] Compiling blake3 v1.8.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Compiling hmac v0.12.1 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Compiling const_format v0.2.34 [INFO] [stderr] Compiling sec1 v0.7.3 [INFO] [stderr] Compiling crypto-bigint v0.5.5 [INFO] [stderr] Compiling group v0.13.0 [INFO] [stderr] Compiling pkcs8 v0.10.2 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling cpufeatures v0.2.17 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling gcd v2.3.0 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling byte-slice-cast v1.2.3 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling curve25519-dalek v4.1.3 [INFO] [stderr] Compiling rfc6979 v0.4.0 [INFO] [stderr] Compiling signature v2.2.0 [INFO] [stderr] Compiling constant_time_eq v0.3.1 [INFO] [stderr] Compiling linux-raw-sys v0.11.0 [INFO] [stderr] Compiling arrayref v0.3.9 [INFO] [stderr] Compiling bitflags v2.9.4 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling anyhow v1.0.100 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling sha2 v0.10.9 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling num_cpus v1.17.0 [INFO] [stderr] Compiling elf v0.7.4 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling nohash-hasher v0.2.0 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling size v0.4.1 [INFO] [stderr] Compiling hex v0.4.3 [INFO] [stderr] Compiling web-time v1.1.0 [INFO] [stderr] Compiling bytemuck v1.23.2 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling matchers v0.2.0 [INFO] [stderr] Compiling p3-maybe-rayon v0.1.3-succinct [INFO] [stderr] Compiling elliptic-curve v0.13.8 [INFO] [stderr] Compiling rayon-scan v0.1.1 [INFO] [stderr] Compiling sp1-derive v1.2.0 [INFO] [stderr] Compiling num_enum_derive v0.5.11 [INFO] [stderr] Compiling ecdsa v0.16.9 [INFO] [stderr] Compiling darling_core v0.21.3 [INFO] [stderr] Compiling tempfile v3.23.0 [INFO] [stderr] Compiling k256 v0.13.4 [INFO] [stderr] Compiling num_enum v0.5.11 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling thiserror-impl v2.0.16 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [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 rrs-succinct v0.1.0 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling tracing-subscriber v0.3.20 [INFO] [stderr] Compiling cobs v0.3.0 [INFO] [stderr] Compiling derive_more v1.0.0 [INFO] [stderr] Compiling scale-info v2.11.6 [INFO] [stderr] Compiling darling_macro v0.21.3 [INFO] [stderr] Compiling tracing-forest v0.1.6 [INFO] [stderr] Compiling darling v0.21.3 [INFO] [stderr] Compiling serde_with_macros v3.14.1 [INFO] [stderr] Compiling snowbridge-amcl v1.0.2 [INFO] [stderr] Compiling p3-util v0.1.3-succinct [INFO] [stderr] Compiling postcard v1.1.3 [INFO] [stderr] Compiling generic-array v1.2.0 [INFO] [stderr] Compiling bincode v1.3.3 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling serde_with v3.14.1 [INFO] [stderr] Compiling p3-field v0.1.3-succinct [INFO] [stderr] Compiling p3-matrix v0.1.3-succinct [INFO] [stderr] Compiling p3-symmetric v0.1.3-succinct [INFO] [stderr] Compiling p3-challenger v0.1.3-succinct [INFO] [stderr] Compiling p3-keccak v0.1.3-succinct [INFO] [stderr] Compiling p3-blake3 v0.1.3-succinct [INFO] [stderr] Compiling p3-dft v0.1.3-succinct [INFO] [stderr] Compiling p3-air v0.1.3-succinct [INFO] [stderr] Compiling p3-interpolation v0.1.3-succinct [INFO] [stderr] Compiling p3-keccak-air v0.1.3-succinct [INFO] [stderr] Compiling p3-mds v0.1.3-succinct [INFO] [stderr] Compiling p3-commit v0.1.3-succinct [INFO] [stderr] Compiling p3-poseidon2 v0.1.3-succinct [INFO] [stderr] Compiling p3-baby-bear v0.1.3-succinct [INFO] [stderr] Compiling sp1-primitives v1.2.0 [INFO] [stderr] Compiling p3-merkle-tree v0.1.3-succinct [INFO] [stderr] Compiling p3-uni-stark v0.1.3-succinct [INFO] [stderr] Compiling p3-fri v0.1.3-succinct [INFO] [stderr] Compiling sp1-core v1.1.1 (/opt/rustwide/workdir) [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] --> src/stark/air.rs:47:1 [INFO] [stdout] | [INFO] [stdout] 47 | pub enum 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] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-cc532c2c6d2b24ca.long-type-14512394422179169720.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] --> src/stark/air.rs:47:1 [INFO] [stdout] | [INFO] [stdout] 47 | pub enum 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] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-cc532c2c6d2b24ca.long-type-14512394422179169720.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] --> src/stark/air.rs:47:1 [INFO] [stdout] | [INFO] [stdout] 47 | pub enum 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] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/sp1_core-cc532c2c6d2b24ca.long-type-14512394422179169720.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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] help: the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] --> src/stark/air.rs:47:1 [INFO] [stdout] | [INFO] [stdout] 47 | pub enum 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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] help: the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] --> src/stark/air.rs:47:1 [INFO] [stdout] | [INFO] [stdout] 47 | pub enum 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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound [INFO] [stdout] | [INFO] [stdout] help: the trait `air::machine::MachineAir` is not implemented for `stark::air::RiscvAir` [INFO] [stdout] --> src/stark/air.rs:47:1 [INFO] [stdout] | [INFO] [stdout] 47 | pub enum 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] running `Command { std: "docker" "inspect" "c0924e497827b72f0ea5600989a38d093f56f1b5924149380491edb03d46ecd1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c0924e497827b72f0ea5600989a38d093f56f1b5924149380491edb03d46ecd1", kill_on_drop: false }` [INFO] [stdout] c0924e497827b72f0ea5600989a38d093f56f1b5924149380491edb03d46ecd1