What's Kona? • Overview • Contributing • Credits

Kona is a fault proof program designed to deterministically execute a rollup state transition in order to verify an L2 output root from the L1 inputs it was derived from.

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 a fault proof VM.
• host: The host program that runs natively alongside the FPVM, serving as the Preimage Oracle server.

Build Pipelines

• cannon: Docker image for compiling to the bare-metal mips-unknown-none target.
• asterisc: Docker image for compiling to the bare-metal riscv64gc-unknown-none-elf target.

client / host SDK

• common: A suite of utilities for developing client programs to be ran on top of Fault Proof VMs.
• common-proc: Proc macro for the client program entrypoint.
• primitives: Primitive types for use in kona crates.
• preimage: High level interfaces to the PreimageOracle ABI
• mpt: Utilities for interacting with the Merkle Patricia Trie in the client program.
• derive: no_std compatible implementation of the derivation pipeline.
  • plasma: Plasma extension to kona-derive

The book 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, namely OP Labs and other contributors' work on the op-program and BadBoiLabs's work on Cannon-rs.