feat: add no-std to rollup-interface

.github/workflows/rust.yml

@@ -71,6 +71,7 @@ jobs:
       # which should be required to pass before merging a PR, don't forget to
       # update this list!
       - check
+      - check_no_std
       - hack
       - nextest
       - test
@@ -122,6 +123,23 @@ jobs:
             echo "Linting or formatting errors detected, please run 'make lint-fix' to fix it";
             exit 1
           fi
+
+  check_no_std:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Install Rust
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          target: thumbv6m-none-eabi
+          override: true
+      - uses: Swatinem/rust-cache@v2
+        with:
+          save-if: ${{ github.ref == 'refs/heads/nightly' }}
+      - name: Run check
+        run: make check-no-std
+
   # Check that every combination of features is working properly.
   hack:
     name: features

Cargo.toml

@@ -61,31 +61,31 @@ jmt = "0.8.0"
 
 # External dependencies
 async-trait = "0.1.71"
-anyhow = "1.0.68"
+anyhow = { version = "1.0.68", default-features = false }
 arbitrary = { version = "1.3.1", features = ["derive"] }
-borsh = { version = "0.10.3", features = ["rc", "bytes"] }
+borsh = { version = "0.10.3", default-features = false }
 # TODO: Consider replacing this serialization format
 #     https://github.com/Sovereign-Labs/sovereign-sdk/issues/283
 bincode = "1.3.3"
 bcs = "0.1.5"
-byteorder = "1.5.0"
-bytes = "1.2.1"
+byteorder = { version = "1.5.0", default-features = false }
+bytes = { version = "1.2.1", default-features = false }
+digest = { version = "0.10.6", default-features = false, features = ["alloc"] }
 futures = "0.3"
-hex = "0.4.3"
-once_cell = "1.10.0"
+hex = { version = "0.4.3", default-features = false, features = ["alloc", "serde"] }
+once_cell = { version = "1.10.0", default-features = false, features = ["alloc"] }
 prometheus = { version = "0.13.3", default-features = false }
-proptest = "1.3.1"
+proptest = { version = "1.3.1", default-features = false, features = ["alloc"] }
 proptest-derive = "0.3.0"
 rand = "0.8"
 rayon = "1.8.0"
 rocksdb = { version = "0.21.0", features = ["lz4"] }
-serde = { version = "1.0.188", features = ["derive", "rc"] }
-serde_json = { version = "1.0" }
-sha2 = "0.10.6"
-digest = "0.10.6"
+serde = { version = "1.0.188", default-features = false, features = ["alloc", "derive"] }
+serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
+sha2 = { version = "0.10.6", default-features = false }
 thiserror = "1.0.50"
 tiny-keccak = "2.0.2"
-tracing = "0.1.40"
+tracing = { version = "0.1.40", default-features = false }
 bech32 = "0.9.1"
 derive_more = "0.99.11"
 clap = { version = "4.4.5", features = ["derive"] }

Makefile

@@ -1,3 +1,6 @@
+# no-std packages to be checked
+NO_STD := "sov-rollup-interface"
+
 .PHONY: help
 
 help: ## Display this help message
@@ -23,6 +26,7 @@ install-dev-tools:  ## Installs all necessary cargo helpers
 	cargo install cargo-nextest --locked
 	cargo install cargo-risczero
 	cargo risczero install
+	rustup target add thumbv6m-none-eabi
 
 lint:  ## cargo check and clippy. Skip clippy on guest code since it's not supported by risc0
 	## fmt first, because it's the cheapest
@@ -42,6 +46,18 @@ check-features: ## Checks that project compiles with all combinations of feature
 check-fuzz: ## Checks that fuzz member compiles
 	$(MAKE) -C fuzz check
 
+check-no-std: ## Checks that project compiles without std
+	@for package in $(NO_STD); do \
+		echo "Checking no-std $${package}..."; \
+		cargo check -p $$package \
+			--target thumbv6m-none-eabi \
+			--no-default-features ; \
+		cargo check -p $$package \
+			--target thumbv6m-none-eabi \
+			--no-default-features \
+			--features native ; \
+	done
+
 find-unused-deps: ## Prints unused dependencies for project. Note: requires nightly
 	cargo udeps --all-targets --all-features