Kona Book
Documentation for the Kona project.
- +📖
-kona
is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!
+Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!
Introduction
Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting @@ -224,7 +224,7 @@
Goals of Kona
Development Status
Kona is currently in active development, and is not yet ready for use in production.
Contributing
-Contributors are welcome! Please see the contributing guide for more information.
+Contributors are welcome! Please see the contributing guide for more information.
diff --git a/intro.html b/intro.html index 437a482f3..8919ef0db 100644 --- a/intro.html +++ b/intro.html @@ -157,10 +157,10 @@The Kona Book
- + - + @@ -192,10 +192,10 @@The Kona Book
Kona Book
Documentation for the Kona project.
- +📖
-kona
is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!
+Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!
Introduction
Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting @@ -224,7 +224,7 @@
Goals of Kona
Development Status
Kona is currently in active development, and is not yet ready for use in production.
Contributing
-Contributors are welcome! Please see the contributing guide for more information.
+Contributors are welcome! Please see the contributing guide for more information.
diff --git a/print.html b/print.html index 5b1220505..187d7e7cf 100644 --- a/print.html +++ b/print.html @@ -158,7 +158,7 @@The Kona Book
- + @@ -190,10 +190,10 @@The Kona Book
Kona Book
Documentation for the Kona project.
- +📖
-kona
is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!
+Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!
Introduction
Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting @@ -222,14 +222,14 @@
Goals of Kona
Development Status
Kona is currently in active development, and is not yet ready for use in production.
Contributing
-Contributors are welcome! Please see the contributing guide for more information.
+Contributors are welcome! Please see the contributing guide for more information.
Fault Proof Program Development
This chapter provides an overview of Fault Proof Program development -on top of the custom FPVM targets supported by Kona.
+on top of the custom FPVM targets supported by Kona.At a high level, a Fault Proof Program is not much different from a regular no_std
Rust program. A custom entrypoint is provided, and the program
is compiled down to a custom target, which is then executed on the FPVM.
Fault Proof Programs are structured with 3 stages:
@@ -304,7 +304,7 @@Full Exampleasterisc
✅ ✅ ✅
-
asterisc
If there is a feature that you would like to see supported, please open an issue or consider contributing!
+If there is a feature that you would like to see supported, please open an issue or consider contributing!
Asterisc (RISC-V)
Asterisc is based off of the rv64gc
target architecture, which defines the following extensions:
-
@@ -517,7 +517,7 @@
Custom Backend section, but we'll quickly gloss over them here to build intuition. -
Let's take, for example, OracleL1ChainProvider
.
+
Let's take, for example, OracleL1ChainProvider
.
The ChainProvider
trait in kona-derive
defines a simple interface for fetching information about the L1 chain. In the OracleL1ChainProvider
, this information
is pulled in over the PreimageOracle ABI. There are many other examples of these data source traits,
@@ -633,7 +633,7 @@
DerivationDriver.
+kona-client
can be found in the DerivationDriver.
kona-mpt
/ kona-executor
sources
kona-mpt
/ kona-executor
sourcesBefore getting started, we need to create custom implementations of the following traits: