README

README.md

@@ -28,6 +28,15 @@ the block execution logic.
 Built on top of these libraries, this repository also features a [fault proof program][fpp-specs] designed to deterministically execute the
 rollup state transition in order to verify an [L2 output root][g-output-root] from the L1 inputs it was [derived from][g-derivation-pipeline].
 
+### Alternative Backends
+
+Kona's libraries were built with alternative backend support in mind - it is not just a fault proof program! Kona is
+also used by:
+
+- [`op-succinct`][op-succinct]
+
+To build your own backend for kona, see the [SDK section of the book](https://anton-rs.github.io/kona/sdk/intro.html).
+
 ### Development Status
 
 `kona` is currently in active development, and is not yet ready for use in production.
@@ -70,6 +79,7 @@ The [book][book] contains a more in-depth overview of the project, contributor g
 [asterisc]: https://github.com/etheruem-optimism/asterisc
 [fpp-specs]: https://specs.optimism.io/experimental/fault-proof/index.html
 [book]: https://anton-rs.github.io/kona/
+[op-succinct]: https://github.com/succinctlabs/op-succinct
 [op-labs]: https://github.com/ethereum-optimism
 [bad-boi-labs]: https://github.com/BadBoiLabs
 [g-output-root]: https://specs.optimism.io/glossary.html#l2-output-root

book/src/sdk/intro.md

@@ -8,8 +8,8 @@ and developer empowerment.
 ## A Foundation of Flexibility
 
 The kona repository is more than a fault proof program for the OP Stack — it's an ecosystem of interoperable components,
-each crafted with reusability and extensibility as primary goals. While we provide a robust 
-{{#template ../../templates/glossary-link.md root=./ ref=fault-proof-vm text=Fault Proof VM}} and a "online" backend
+each crafted with reusability and extensibility as primary goals. While we provide 
+{{#template ../../templates/glossary-link.md root=./ ref=fault-proof-vm text=Fault Proof VM}} and "online" backends
 for key components like `kona-derive` and `kona-executor`, the true power of `kona` lies in its adaptability.
 
 ## Extend Without Forking