Repository files navigation

What's Kona? •Overview •Contributing •Credits

Kona is afault proof program designed to deterministically execute a rollup state transition in order toverify anL2 output root from the L1 inputs it wasderived 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 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.
• preimage: High level interfaces to thePreimageOracle ABI
• 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.