Skip to content

Commit

Permalink
deploy: 3a28646
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-merge-queue
github-merge-queue[bot] committed Jan 7, 2025
1 parent 88a62cc commit 1949f4a
Show file tree
Hide file tree
Showing 20 changed files with 65 additions and 65 deletions.
2 changes: 1 addition & 1 deletion 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -158,7 +158,7 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>

Expand Down
6 changes: 3 additions & 3 deletions CONTRIBUTING.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/CONTRIBUTING.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/CONTRIBUTING.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down Expand Up @@ -212,7 +212,7 @@ <h2 id="dependencies"><a class="header" href="#dependencies">Dependencies</a></h
</ul>
<h2 id="pull-request-process"><a class="header" href="#pull-request-process">Pull Request Process</a></h2>
<ol>
<li>Before anything, <a href="https://github.com/anton-rs/kona/issues/new">create an issue</a> to discuss the change you're
<li>Before anything, <a href="https://github.com/op-rs/kona/issues/new">create an issue</a> to discuss the change you're
wanting to make, if it is significant or changes functionality. Feel free to skip this step for trivial changes.</li>
<li>Once your change is implemented, ensure that all checks are passing before creating a PR. The full CI pipeline can
be run locally via the <code>justfile</code>s in the repository.</li>
Expand Down
4 changes: 2 additions & 2 deletions fpp-dev/env.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/fpp-dev/env.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/fpp-dev/env.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down
4 changes: 2 additions & 2 deletions fpp-dev/epilogue.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/fpp-dev/epilogue.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/fpp-dev/epilogue.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down
4 changes: 2 additions & 2 deletions fpp-dev/execution.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/fpp-dev/execution.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/fpp-dev/execution.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down
6 changes: 3 additions & 3 deletions fpp-dev/intro.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/fpp-dev/intro.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/fpp-dev/intro.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down Expand Up @@ -193,7 +193,7 @@ <h1 class="menu-title">The Kona Book</h1>
<h1 id="fault-proof-program-development"><a class="header" href="#fault-proof-program-development">Fault Proof Program Development</a></h1>
<p>This chapter provides an overview of <a href="../glossary.html#fault-proof-program">Fault Proof Program</a>
development
on top of the custom FPVM targets supported by <a href="https://github.com/anton-rs/kona">Kona</a>.</p>
on top of the custom FPVM targets supported by <a href="https://github.com/op-rs/kona">Kona</a>.</p>
<p>At a high level, a Fault Proof Program is not much different from a regular <code>no_std</code> Rust program. A custom entrypoint is provided, and the program
is compiled down to a custom target, which is then executed on the FPVM.</p>
<p>Fault Proof Programs are structured with 3 stages:</p>
Expand Down
4 changes: 2 additions & 2 deletions fpp-dev/prologue.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/fpp-dev/prologue.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/fpp-dev/prologue.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down
6 changes: 3 additions & 3 deletions fpp-dev/targets.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/fpp-dev/targets.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/fpp-dev/targets.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down Expand Up @@ -198,7 +198,7 @@ <h1 id="supported-targets"><a class="header" href="#supported-targets">Supported
<tr><td><code>asterisc</code></td><td>✅</td><td>✅</td><td>✅</td></tr>
</tbody></table>
</div>
<p>If there is a feature that you would like to see supported, please <a href="https://github.com/anton-rs/kona/issues/new">open an issue</a> or <a href="https://github.com/anton-rs/kona/tree/main/CONTRIBUTING.md">consider contributing</a>!</p>
<p>If there is a feature that you would like to see supported, please <a href="https://github.com/op-rs/kona/issues/new">open an issue</a> or <a href="https://github.com/op-rs/kona/tree/main/CONTRIBUTING.md">consider contributing</a>!</p>
<h2 id="asterisc-risc-v"><a class="header" href="#asterisc-risc-v">Asterisc (RISC-V)</a></h2>
<p>Asterisc is based off of the <code>rv64gc</code> target architecture, which defines the following extensions:</p>
<ul>
Expand Down
6 changes: 3 additions & 3 deletions glossary.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/glossary.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/glossary.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down Expand Up @@ -199,7 +199,7 @@ <h4 id="fault-proof-vm"><a class="header" href="#fault-proof-vm">Fault Proof VM<
<h4 id="fault-proof-program"><a class="header" href="#fault-proof-program">Fault Proof Program</a></h4>
<p>A <code>Fault Proof Program</code> is a program, commonly written in a general-purpose language such as Golang, C, or Rust, that may be compiled down
to a compatible <code>Fault Proof VM</code> target and provably executed on that target VM.</p>
<p>Examples of <code>Fault Proof Programs</code> include the <a href="https://github.com/ethereum-optimism/optimism/tree/develop/op-program">OP Program</a>, which runs on top of <a href="https://github.com/ethereum-optimism/optimism/tree/develop/cannon"><code>cannon</code></a>, <a href="https://github.com/anton-rs/cannon-rs"><code>cannon-rs</code></a>, and
<p>Examples of <code>Fault Proof Programs</code> include the <a href="https://github.com/ethereum-optimism/optimism/tree/develop/op-program">OP Program</a>, which runs on top of <a href="https://github.com/ethereum-optimism/optimism/tree/develop/cannon"><code>cannon</code></a>, <a href="https://github.com/op-rs/cannon-rs"><code>cannon-rs</code></a>, and
<a href="https://github.com/ethereum-optimism/asterisc"><code>asterisc</code></a> to verify a claim about the state of an <a href="https://github.com/ethereum-optimism/optimism">OP Stack</a> layer two.</p>
<h4 id="preimage-abi"><a class="header" href="#preimage-abi">Preimage ABI</a></h4>
<p>The <code>Preimage ABI</code> is a specification for a synchronous communication protocol between a <code>client</code> and a <code>host</code> that is used to request and read data from the <code>host</code>'s
Expand Down
10 changes: 5 additions & 5 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/intro.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/intro.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down Expand Up @@ -192,10 +192,10 @@ <h1 class="menu-title">The Kona Book</h1>
<main>
<h1 id="kona-book"><a class="header" href="#kona-book">Kona Book</a></h1>
<p><em>Documentation for the Kona project.</em></p>
<p><a href="https://github.com/anton-rs/kona"><img src="https://img.shields.io/badge/GitHub%20Repo-kona-green?logo=github"></a></p>
<p><a href="https://github.com/op-rs/kona"><img src="https://img.shields.io/badge/GitHub%20Repo-kona-green?logo=github"></a></p>
<blockquote>
<p>📖 <code>kona</code> is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.</p>
<p>Please <a href="https://github.com/anton-rs/kona/issues/new">open an issue</a> if you find any errors or have any suggestions for improvements, and also feel free to <a href="https://github.com/anton-rs/kona/tree/main/CONTRIBUTING.md">contribute</a> to the project!</p>
<p>Please <a href="https://github.com/op-rs/kona/issues/new">open an issue</a> if you find any errors or have any suggestions for improvements, and also feel free to <a href="https://github.com/op-rs/kona/tree/main/CONTRIBUTING.md">contribute</a> to the project!</p>
</blockquote>
<h2 id="introduction"><a class="header" href="#introduction">Introduction</a></h2>
<p>Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting
Expand Down Expand Up @@ -224,7 +224,7 @@ <h2 id="goals-of-kona"><a class="header" href="#goals-of-kona">Goals of Kona</a>
<h2 id="development-status"><a class="header" href="#development-status">Development Status</a></h2>
<p><strong>Kona is currently in active development, and is not yet ready for use in production.</strong></p>
<h2 id="contributing"><a class="header" href="#contributing">Contributing</a></h2>
<p>Contributors are welcome! Please see the <a href="https://github.com/anton-rs/kona/tree/main/CONTRIBUTING.md">contributing guide</a> for more information.</p>
<p>Contributors are welcome! Please see the <a href="https://github.com/op-rs/kona/tree/main/CONTRIBUTING.md">contributing guide</a> for more information.</p>
<!-- External -->
<!-- Kona links -->
<!-- People -->
Expand Down
10 changes: 5 additions & 5 deletions intro.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -157,10 +157,10 @@ <h1 class="menu-title">The Kona Book</h1>
<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
<a href="https://github.com/anton-rs/kona" title="Git repository" aria-label="Git repository">
<a href="https://github.com/op-rs/kona" title="Git repository" aria-label="Git repository">
<i id="git-repository-button" class="fa fa-github"></i>
</a>
<a href="https://github.com/anton-rs/kona/edit/main/book/src/intro.md" title="Suggest an edit" aria-label="Suggest an edit">
<a href="https://github.com/op-rs/kona/edit/main/book/src/intro.md" title="Suggest an edit" aria-label="Suggest an edit">
<i id="git-edit-button" class="fa fa-edit"></i>
</a>

Expand Down Expand Up @@ -192,10 +192,10 @@ <h1 class="menu-title">The Kona Book</h1>
<main>
<h1 id="kona-book"><a class="header" href="#kona-book">Kona Book</a></h1>
<p><em>Documentation for the Kona project.</em></p>
<p><a href="https://github.com/anton-rs/kona"><img src="https://img.shields.io/badge/GitHub%20Repo-kona-green?logo=github"></a></p>
<p><a href="https://github.com/op-rs/kona"><img src="https://img.shields.io/badge/GitHub%20Repo-kona-green?logo=github"></a></p>
<blockquote>
<p>📖 <code>kona</code> is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.</p>
<p>Please <a href="https://github.com/anton-rs/kona/issues/new">open an issue</a> if you find any errors or have any suggestions for improvements, and also feel free to <a href="https://github.com/anton-rs/kona/tree/main/CONTRIBUTING.md">contribute</a> to the project!</p>
<p>Please <a href="https://github.com/op-rs/kona/issues/new">open an issue</a> if you find any errors or have any suggestions for improvements, and also feel free to <a href="https://github.com/op-rs/kona/tree/main/CONTRIBUTING.md">contribute</a> to the project!</p>
</blockquote>
<h2 id="introduction"><a class="header" href="#introduction">Introduction</a></h2>
<p>Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting
Expand Down Expand Up @@ -224,7 +224,7 @@ <h2 id="goals-of-kona"><a class="header" href="#goals-of-kona">Goals of Kona</a>
<h2 id="development-status"><a class="header" href="#development-status">Development Status</a></h2>
<p><strong>Kona is currently in active development, and is not yet ready for use in production.</strong></p>
<h2 id="contributing"><a class="header" href="#contributing">Contributing</a></h2>
<p>Contributors are welcome! Please see the <a href="https://github.com/anton-rs/kona/tree/main/CONTRIBUTING.md">contributing guide</a> for more information.</p>
<p>Contributors are welcome! Please see the <a href="https://github.com/op-rs/kona/tree/main/CONTRIBUTING.md">contributing guide</a> for more information.</p>
<!-- External -->
<!-- Kona links -->
<!-- People -->
Expand Down
Loading

0 comments on commit 1949f4a

Please sign in to comment.