Skip to content

Commit

Permalink
deploy: 25e19e5
Browse files Browse the repository at this point in the history
  • Loading branch information
github-merge-queue[bot] committed Sep 2, 2024
1 parent 33b2252 commit c22da50
Show file tree
Hide file tree
Showing 6 changed files with 12 additions and 12 deletions.
2 changes: 1 addition & 1 deletion CONTRIBUTING.html
Original file line number Diff line number Diff line change
Expand Up @@ -195,7 +195,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/ethereum-optimism/kona/issues/new">create an issue</a> to discuss the change you're
<li>Before anything, <a href="https://github.com/anton-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 ran locally via the <code>justfile</code>s in the repository.</li>
Expand Down
2 changes: 1 addition & 1 deletion fpp-dev/intro.html
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,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/ethereum-optimism/kona">Kona</a>.</p>
on top of the custom FPVM targets supported by <a href="https://github.com/anton-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
2 changes: 1 addition & 1 deletion fpp-dev/targets.html
Original file line number Diff line number Diff line change
Expand Up @@ -181,7 +181,7 @@ <h1 id="supported-targets"><a class="header" href="#supported-targets">Supported
<tr><td><code>asterisc</code></td><td></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/ethereum-optimism/kona/issues/new">open an issue</a> or <a href="https://github.com/ethereum-optimism/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/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>
<h2 id="cannon-mips32r2"><a class="header" href="#cannon-mips32r2">Cannon (MIPS32r2)</a></h2>
<p>Cannon is based off of the <code>mips32r2</code> target architecture, supporting 55 instructions:</p>
<div class="table-wrapper"><table><thead><tr><th>Category</th><th>Instruction</th><th>Description</th></tr></thead><tbody>
Expand Down
4 changes: 2 additions & 2 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -178,7 +178,7 @@ <h1 id="kona-book"><a class="header" href="#kona-book">Kona Book</a></h1>
<p><a href="https://github.com/kona-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/ethereum-optimism/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/ethereum-optimism/kona/tree/main/CONTRIBUTING.md">contribute</a> to the project!</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>
</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 @@ -207,7 +207,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/ethereum-optimism/kona/tree/main/CONTRIBUTING.md">contributing guide</a> for more information.</p>
<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>
<!-- External -->
<!-- Kona links -->
<!-- People -->
Expand Down
4 changes: 2 additions & 2 deletions intro.html
Original file line number Diff line number Diff line change
Expand Up @@ -178,7 +178,7 @@ <h1 id="kona-book"><a class="header" href="#kona-book">Kona Book</a></h1>
<p><a href="https://github.com/kona-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/ethereum-optimism/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/ethereum-optimism/kona/tree/main/CONTRIBUTING.md">contribute</a> to the project!</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>
</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 @@ -207,7 +207,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/ethereum-optimism/kona/tree/main/CONTRIBUTING.md">contributing guide</a> for more information.</p>
<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>
<!-- External -->
<!-- Kona links -->
<!-- People -->
Expand Down
10 changes: 5 additions & 5 deletions print.html
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,7 @@ <h1 id="kona-book"><a class="header" href="#kona-book">Kona Book</a></h1>
<p><a href="https://github.com/kona-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/ethereum-optimism/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/ethereum-optimism/kona/tree/main/CONTRIBUTING.md">contribute</a> to the project!</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>
</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 @@ -208,14 +208,14 @@ <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/ethereum-optimism/kona/tree/main/CONTRIBUTING.md">contributing guide</a> for more information.</p>
<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>
<!-- External -->
<!-- Kona links -->
<!-- People -->
<div style="break-before: page; page-break-before: always;"></div><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="fpp-dev/../glossary.html#fault-proof-program">Fault Proof Program</a>
development
on top of the custom FPVM targets supported by <a href="https://github.com/ethereum-optimism/kona">Kona</a>.</p>
on top of the custom FPVM targets supported by <a href="https://github.com/anton-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 Expand Up @@ -290,7 +290,7 @@ <h2 id="full-example"><a class="header" href="#full-example">Full Example</a></h
<tr><td><code>asterisc</code></td><td></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/ethereum-optimism/kona/issues/new">open an issue</a> or <a href="https://github.com/ethereum-optimism/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/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>
<h2 id="cannon-mips32r2"><a class="header" href="#cannon-mips32r2">Cannon (MIPS32r2)</a></h2>
<p>Cannon is based off of the <code>mips32r2</code> target architecture, supporting 55 instructions:</p>
<div class="table-wrapper"><table><thead><tr><th>Category</th><th>Instruction</th><th>Description</th></tr></thead><tbody>
Expand Down Expand Up @@ -495,7 +495,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/ethereum-optimism/kona/issues/new">create an issue</a> to discuss the change you're
<li>Before anything, <a href="https://github.com/anton-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 ran locally via the <code>justfile</code>s in the repository.</li>
Expand Down

0 comments on commit c22da50

Please sign in to comment.