Skip to content

Commit

Permalink
deploy: 59b5e26
Browse files Browse the repository at this point in the history
  • Loading branch information
github-merge-queue[bot] committed Oct 19, 2024
1 parent b5a3529 commit 0a00c66
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion CONTRIBUTING.html
Original file line number Diff line number Diff line change
Expand Up @@ -215,7 +215,7 @@ <h2 id="pull-request-process"><a class="header" href="#pull-request-process">Pul
<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>
be run locally via the <code>justfile</code>s in the repository.</li>
<li>Make sure to update any documentation that has gone stale as a result of the change, in the <code>README</code> files, the [book][book],
and in rustdoc comments.</li>
<li>Once you have sign-off from a maintainer, you may merge your pull request yourself if you have permissions to do so.
Expand Down
2 changes: 1 addition & 1 deletion glossary.html
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@ <h4 id="fault-proof-vm"><a class="header" href="#fault-proof-vm">Fault Proof VM<
that is designed to execute verifiable programs.</p>
<p>Full specification for the <code>cannon</code> &amp; <code>cannon-rs</code> FPVMs, as an example, is available in the <a href="https://specs.optimism.io/experimental/fault-proof/cannon-fault-proof-vm.html#cannon-fault-proof-virtual-machine">Optimism Monorepo</a>.</p>
<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
<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
<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>
Expand Down
4 changes: 2 additions & 2 deletions print.html
Original file line number Diff line number Diff line change
Expand Up @@ -719,7 +719,7 @@ <h4 id="fault-proof-vm"><a class="header" href="#fault-proof-vm">Fault Proof VM<
that is designed to execute verifiable programs.</p>
<p>Full specification for the <code>cannon</code> &amp; <code>cannon-rs</code> FPVMs, as an example, is available in the <a href="https://specs.optimism.io/experimental/fault-proof/cannon-fault-proof-vm.html#cannon-fault-proof-virtual-machine">Optimism Monorepo</a>.</p>
<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
<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
<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>
Expand Down Expand Up @@ -754,7 +754,7 @@ <h2 id="pull-request-process"><a class="header" href="#pull-request-process">Pul
<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>
be run locally via the <code>justfile</code>s in the repository.</li>
<li>Make sure to update any documentation that has gone stale as a result of the change, in the <code>README</code> files, the [book][book],
and in rustdoc comments.</li>
<li>Once you have sign-off from a maintainer, you may merge your pull request yourself if you have permissions to do so.
Expand Down
2 changes: 1 addition & 1 deletion searchindex.js

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion searchindex.json

Large diffs are not rendered by default.

0 comments on commit 0a00c66

Please sign in to comment.