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

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.

Build Pipelines

• cannon: Docker image for compiling to the bare-metalmips-unknown-none target.
• asterisc: Docker image for compiling to the bare-metalriscv64gc-unknown-none-elf target.

client /host SDK

• common: A suite of utilities for developingclient programs to be ran on top of Fault Proof VMs.
• common-proc: Proc macro for theclient program entrypoint.
• primitives: Primitive types for use inkona crates.
• preimage: High level interfaces to thePreimageOracle ABI
• 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.

Thebook contains a more in-depth overview of the project, contributor guidelines, tutorials for getting 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.