chore(workspace): Reorganize SDK (#816)

* reorg common

* lint

* feat(mpt): Extend `TrieProvider` in `kona-executor`

* lint

* reorg common

* lint

* feat(workspace): Reorganize SDK

Cargo.toml

@@ -10,7 +10,14 @@ categories = ["cryptography", "cryptography::cryptocurrencies"]
 exclude = ["**/target"]
 
 [workspace]
-members = ["crates/*", "bin/*"]
+members = [
+  "crates/derive",
+  "crates/driver",
+  "crates/executor",
+  "crates/mpt",
+  "crates/proof-sdk/*",
+  "bin/*"
+]
 default-members = ["bin/host", "bin/client"]
 
 # Explicitly set the resolver to version 2, which is the default for packages with edition >= 2021
@@ -57,12 +64,12 @@ lto = "fat"
 # Workspace
 kona-mpt = { path = "crates/mpt", version = "0.0.6", default-features = false }
 kona-client = { path = "bin/client", version = "0.1.0", default-features = false }
-kona-common = { path = "crates/common", version = "0.0.4", default-features = false }
 kona-derive = { path = "crates/derive", version = "0.0.6", default-features = false }
 kona-driver = { path = "crates/driver", version = "0.0.0", default-features = false }
-kona-preimage = { path = "crates/preimage", version = "0.0.4", default-features = false }
 kona-executor = { path = "crates/executor", version = "0.0.5", default-features = false }
-kona-common-proc = { path = "crates/common-proc", version = "0.0.5", default-features = false }
+kona-common = { path = "crates/proof-sdk/common", version = "0.0.4", default-features = false }
+kona-common-proc = { path = "crates/proof-sdk/common-proc", version = "0.0.5", default-features = false }
+kona-preimage = { path = "crates/proof-sdk/preimage", version = "0.0.4", default-features = false }
 
 # Alloy
 alloy-rlp = { version = "0.3.9", default-features = false }

README.md

@@ -55,17 +55,17 @@ see the [SDK section of the book](https://anton-rs.github.io/kona/sdk/intro.html
 - [`cannon`](./build/cannon): Docker image for compiling to the bare-metal `mips-unknown-none` target.
 - [`asterisc`](./build/asterisc): Docker image for compiling to the bare-metal `riscv64gc-unknown-none-elf` target.
 
-**`client` / `host` SDK**
-
-- [`common`](./crates/common): A suite of utilities for developing `client` programs to be run on top of Fault Proof VMs.
-- [`common-proc`](./crates/common-proc): Proc macro for the `client` program entrypoint.
-- [`preimage`](./crates/preimage): High level interfaces to the [`PreimageOracle`][fpp-specs] ABI
-
 **Protocol**
 - [`mpt`](./crates/mpt): Utilities for interacting with the Merkle Patricia Trie in the client program.
 - [`executor`](./crates/executor): `no_std` stateless block executor for the [OP Stack][op-stack].
 - [`derive`](./crates/derive): `no_std` compatible implementation of the [derivation pipeline][g-derivation-pipeline].
-  - [`derive-alloy`](./crates/derive-alloy/): Online, `alloy`-backed derivation pipeline.
+  - [`driver`](./crates/driver): Stateful derivation pipeline driver.
+
+**Proof SDK**
+
+- [`common`](./crates/proof-sdk/common): A suite of utilities for developing `client` programs to be run on top of Fault Proof VMs.
+- [`common-proc`](./crates/proof-sdk/common-proc): Proc macro for the `client` program entrypoint.
+- [`preimage`](./crates/proof-sdk/preimage): High level interfaces to the [`PreimageOracle`][fpp-specs] ABI
 
 ## Book