Repository files navigation

What's Kona? •Overview •Contributing •Credits

Kona is a suite of portable implementations of the OP Stack rollup state transition, namely thederivation pipeline andthe block execution logic.

Built on top of these libraries, this repository also features afault proof program designed to deterministically execute therollup state transition in order to verify anL2 output root from the L1 inputs it wasderived from.

Kona's libraries were built with alternative backend support and extensibility in mind - it is not just a fault proofprogram! Kona is also used by:

• op-succinct
• kailua

To build your own backend for kona, or build a new application on top of its libraries,see theSDK section of the book.

kona is currently in active development, and is not yet ready for use in production.

kona

• client: The bare-metal program that runs on top of afault proof VM.
• host: The host program that runs natively alongside the FPVM, serving as thePreimage Oracle server.

Protocol

• mpt: Utilities for interacting with the Merkle Patricia Trie in the client program.
• executor:no_std stateless block executor for theOP Stack.
• derive:no_std compatible implementation of thederivation pipeline.
  • driver: Stateful derivation pipeline driver.
• interop: Core functionality and primitives for theInterop feature of the OP Stack.

Proof SDK

• kona-proof: High level OP Stack state transition proof SDK.
• kona-proof-interop: Extension ofkona-proof with interop support.
• preimage: High level interfaces to thePreimageOracle ABI.
• std-fpvm: Platform specificFault Proof VM kernel APIs.
• std-fpvm-proc: Proc macro forFault Proof Program entrypoints.

Thebook contains a more in-depth overview of the project, contributor guidelines, tutorials forgetting started with building your own programs, and a reference for the libraries and tools provided by Kona.

kona is inspired by the work of several teams, namelyOP Labs and other contributors' work on theop-program andBadBoiLabs's work onCannon-rs.

kona is also built on rust types inalloy,op-alloy, andmaili.