Skip to content

Commit

Permalink
deploy: 9b5e058
Browse files Browse the repository at this point in the history
  • Loading branch information
@mellowcroc
mellowcroc committed Sep 25, 2024
1 parent 7f3e314 commit dcb4bf1
Show file tree
Hide file tree
Showing 24 changed files with 356 additions and 28 deletions.
2 changes: 1 addition & 1 deletion 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,7 @@

<nav id="sidebar" class="sidebar" aria-label="Table of contents">
<div class="sidebar-scrollbox">
<ol class="chapter"><li class="chapter-item expanded "><a href="introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded affix "><li class="part-title">Foundations</li><li class="chapter-item expanded "><a href="math/finite_fields.html"><strong aria-hidden="true">2.</strong> Finite Fields</a></li><li class="chapter-item expanded "><a href="math/lde.html"><strong aria-hidden="true">3.</strong> Functions and low-degree extension</a></li><li class="chapter-item expanded "><a href="math/extension_fields.html"><strong aria-hidden="true">4.</strong> Extension Fields</a></li><li class="chapter-item expanded "><a href="math/code_theory.html"><strong aria-hidden="true">5.</strong> Code Theory</a></li><li class="chapter-item expanded affix "><li class="part-title">Circuits</li><li class="chapter-item expanded "><a href="air/air.html"><strong aria-hidden="true">6.</strong> The AIR Arithmetization</a></li><li class="chapter-item expanded affix "><li class="part-title">STARK</li><li class="chapter-item expanded "><a href="stark/overview.html"><strong aria-hidden="true">7.</strong> STARK</a></li><li class="chapter-item expanded "><a href="fri/fri.html"><strong aria-hidden="true">8.</strong> FRI</a></li><li class="chapter-item expanded affix "><li class="part-title">Cairo: STARK's zkVM</li><li class="chapter-item expanded "><a href="cairo/cairo.html"><strong aria-hidden="true">9.</strong> Cairo</a></li><li class="chapter-item expanded "><a href="cairo/memory.html"><strong aria-hidden="true">10.</strong> Cairo public memory</a></li><li class="chapter-item expanded "><a href="cairo/bootloader.html"><strong aria-hidden="true">11.</strong> Bootloader</a></li><li class="chapter-item expanded "><a href="cairo/builtins.html"><strong aria-hidden="true">12.</strong> Builtins and Layouts</a></li><li class="chapter-item expanded affix "><li class="part-title">Starkex: Verifying Cairo programs on Ethereum</li><li class="chapter-item expanded "><a href="starkex/starkex.html"><strong aria-hidden="true">13.</strong> Overview</a></li><li class="chapter-item expanded "><a href="starkex/facts.html"><strong aria-hidden="true">14.</strong> Facts</a></li><li class="chapter-item expanded "><a href="starkex/cairo.html"><strong aria-hidden="true">15.</strong> Verifying Cairo proofs</a></li><li class="chapter-item expanded "><a href="starkex/proof-splitter.html"><strong aria-hidden="true">16.</strong> Proof splitter</a></li><li class="chapter-item expanded "><a href="starkex/bootloader.html"><strong aria-hidden="true">17.</strong> Bootloader</a></li><li class="chapter-item expanded affix "><li class="part-title">Starknet</li><li class="chapter-item expanded "><a href="starknet/starknet.html"><strong aria-hidden="true">18.</strong> Starknet</a></li></ol>
<ol class="chapter"><li class="chapter-item expanded "><a href="introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded affix "><li class="part-title">Foundations</li><li class="chapter-item expanded "><a href="math/finite_fields.html"><strong aria-hidden="true">2.</strong> Finite Fields</a></li><li class="chapter-item expanded "><a href="math/lde.html"><strong aria-hidden="true">3.</strong> Functions and low-degree extension</a></li><li class="chapter-item expanded "><a href="math/extension_fields.html"><strong aria-hidden="true">4.</strong> Extension Fields</a></li><li class="chapter-item expanded "><a href="math/code_theory.html"><strong aria-hidden="true">5.</strong> Code Theory</a></li><li class="chapter-item expanded affix "><li class="part-title">Circuits</li><li class="chapter-item expanded "><a href="air/air.html"><strong aria-hidden="true">6.</strong> The AIR Arithmetization</a></li><li class="chapter-item expanded affix "><li class="part-title">STARK</li><li class="chapter-item expanded "><a href="stark/overview.html"><strong aria-hidden="true">7.</strong> STARK</a></li><li class="chapter-item expanded "><a href="fri/fri.html"><strong aria-hidden="true">8.</strong> FRI</a></li><li class="chapter-item expanded affix "><li class="part-title">Cairo: STARK's zkVM</li><li class="chapter-item expanded "><a href="cairo/cairo.html"><strong aria-hidden="true">9.</strong> Cairo</a></li><li class="chapter-item expanded "><a href="cairo/memory.html"><strong aria-hidden="true">10.</strong> Cairo public memory</a></li><li class="chapter-item expanded "><a href="cairo/cairo_vm.html"><strong aria-hidden="true">11.</strong> Cairo VM</a></li><li class="chapter-item expanded "><a href="cairo/bootloader.html"><strong aria-hidden="true">12.</strong> Bootloader</a></li><li class="chapter-item expanded "><a href="cairo/builtins.html"><strong aria-hidden="true">13.</strong> Builtins and Layouts</a></li><li class="chapter-item expanded affix "><li class="part-title">Starkex: Verifying Cairo programs on Ethereum</li><li class="chapter-item expanded "><a href="starkex/starkex.html"><strong aria-hidden="true">14.</strong> Overview</a></li><li class="chapter-item expanded "><a href="starkex/facts.html"><strong aria-hidden="true">15.</strong> Facts</a></li><li class="chapter-item expanded "><a href="starkex/cairo.html"><strong aria-hidden="true">16.</strong> Verifying Cairo proofs</a></li><li class="chapter-item expanded "><a href="starkex/proof-splitter.html"><strong aria-hidden="true">17.</strong> Proof splitter</a></li><li class="chapter-item expanded "><a href="starkex/bootloader.html"><strong aria-hidden="true">18.</strong> Bootloader</a></li><li class="chapter-item expanded affix "><li class="part-title">Starknet</li><li class="chapter-item expanded "><a href="starknet/starknet.html"><strong aria-hidden="true">19.</strong> Starknet</a></li></ol>
</div>
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
</nav>
Expand Down
2 changes: 1 addition & 1 deletion air/air.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@

<nav id="sidebar" class="sidebar" aria-label="Table of contents">
<div class="sidebar-scrollbox">
<ol class="chapter"><li class="chapter-item expanded "><a href="../introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded affix "><li class="part-title">Foundations</li><li class="chapter-item expanded "><a href="../math/finite_fields.html"><strong aria-hidden="true">2.</strong> Finite Fields</a></li><li class="chapter-item expanded "><a href="../math/lde.html"><strong aria-hidden="true">3.</strong> Functions and low-degree extension</a></li><li class="chapter-item expanded "><a href="../math/extension_fields.html"><strong aria-hidden="true">4.</strong> Extension Fields</a></li><li class="chapter-item expanded "><a href="../math/code_theory.html"><strong aria-hidden="true">5.</strong> Code Theory</a></li><li class="chapter-item expanded affix "><li class="part-title">Circuits</li><li class="chapter-item expanded "><a href="../air/air.html" class="active"><strong aria-hidden="true">6.</strong> The AIR Arithmetization</a></li><li class="chapter-item expanded affix "><li class="part-title">STARK</li><li class="chapter-item expanded "><a href="../stark/overview.html"><strong aria-hidden="true">7.</strong> STARK</a></li><li class="chapter-item expanded "><a href="../fri/fri.html"><strong aria-hidden="true">8.</strong> FRI</a></li><li class="chapter-item expanded affix "><li class="part-title">Cairo: STARK's zkVM</li><li class="chapter-item expanded "><a href="../cairo/cairo.html"><strong aria-hidden="true">9.</strong> Cairo</a></li><li class="chapter-item expanded "><a href="../cairo/memory.html"><strong aria-hidden="true">10.</strong> Cairo public memory</a></li><li class="chapter-item expanded "><a href="../cairo/bootloader.html"><strong aria-hidden="true">11.</strong> Bootloader</a></li><li class="chapter-item expanded "><a href="../cairo/builtins.html"><strong aria-hidden="true">12.</strong> Builtins and Layouts</a></li><li class="chapter-item expanded affix "><li class="part-title">Starkex: Verifying Cairo programs on Ethereum</li><li class="chapter-item expanded "><a href="../starkex/starkex.html"><strong aria-hidden="true">13.</strong> Overview</a></li><li class="chapter-item expanded "><a href="../starkex/facts.html"><strong aria-hidden="true">14.</strong> Facts</a></li><li class="chapter-item expanded "><a href="../starkex/cairo.html"><strong aria-hidden="true">15.</strong> Verifying Cairo proofs</a></li><li class="chapter-item expanded "><a href="../starkex/proof-splitter.html"><strong aria-hidden="true">16.</strong> Proof splitter</a></li><li class="chapter-item expanded "><a href="../starkex/bootloader.html"><strong aria-hidden="true">17.</strong> Bootloader</a></li><li class="chapter-item expanded affix "><li class="part-title">Starknet</li><li class="chapter-item expanded "><a href="../starknet/starknet.html"><strong aria-hidden="true">18.</strong> Starknet</a></li></ol>
<ol class="chapter"><li class="chapter-item expanded "><a href="../introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded affix "><li class="part-title">Foundations</li><li class="chapter-item expanded "><a href="../math/finite_fields.html"><strong aria-hidden="true">2.</strong> Finite Fields</a></li><li class="chapter-item expanded "><a href="../math/lde.html"><strong aria-hidden="true">3.</strong> Functions and low-degree extension</a></li><li class="chapter-item expanded "><a href="../math/extension_fields.html"><strong aria-hidden="true">4.</strong> Extension Fields</a></li><li class="chapter-item expanded "><a href="../math/code_theory.html"><strong aria-hidden="true">5.</strong> Code Theory</a></li><li class="chapter-item expanded affix "><li class="part-title">Circuits</li><li class="chapter-item expanded "><a href="../air/air.html" class="active"><strong aria-hidden="true">6.</strong> The AIR Arithmetization</a></li><li class="chapter-item expanded affix "><li class="part-title">STARK</li><li class="chapter-item expanded "><a href="../stark/overview.html"><strong aria-hidden="true">7.</strong> STARK</a></li><li class="chapter-item expanded "><a href="../fri/fri.html"><strong aria-hidden="true">8.</strong> FRI</a></li><li class="chapter-item expanded affix "><li class="part-title">Cairo: STARK's zkVM</li><li class="chapter-item expanded "><a href="../cairo/cairo.html"><strong aria-hidden="true">9.</strong> Cairo</a></li><li class="chapter-item expanded "><a href="../cairo/memory.html"><strong aria-hidden="true">10.</strong> Cairo public memory</a></li><li class="chapter-item expanded "><a href="../cairo/cairo_vm.html"><strong aria-hidden="true">11.</strong> Cairo VM</a></li><li class="chapter-item expanded "><a href="../cairo/bootloader.html"><strong aria-hidden="true">12.</strong> Bootloader</a></li><li class="chapter-item expanded "><a href="../cairo/builtins.html"><strong aria-hidden="true">13.</strong> Builtins and Layouts</a></li><li class="chapter-item expanded affix "><li class="part-title">Starkex: Verifying Cairo programs on Ethereum</li><li class="chapter-item expanded "><a href="../starkex/starkex.html"><strong aria-hidden="true">14.</strong> Overview</a></li><li class="chapter-item expanded "><a href="../starkex/facts.html"><strong aria-hidden="true">15.</strong> Facts</a></li><li class="chapter-item expanded "><a href="../starkex/cairo.html"><strong aria-hidden="true">16.</strong> Verifying Cairo proofs</a></li><li class="chapter-item expanded "><a href="../starkex/proof-splitter.html"><strong aria-hidden="true">17.</strong> Proof splitter</a></li><li class="chapter-item expanded "><a href="../starkex/bootloader.html"><strong aria-hidden="true">18.</strong> Bootloader</a></li><li class="chapter-item expanded affix "><li class="part-title">Starknet</li><li class="chapter-item expanded "><a href="../starknet/starknet.html"><strong aria-hidden="true">19.</strong> Starknet</a></li></ol>
</div>
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
</nav>
Expand Down
6 changes: 3 additions & 3 deletions cairo/bootloader.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@

<nav id="sidebar" class="sidebar" aria-label="Table of contents">
<div class="sidebar-scrollbox">
<ol class="chapter"><li class="chapter-item expanded "><a href="../introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded affix "><li class="part-title">Foundations</li><li class="chapter-item expanded "><a href="../math/finite_fields.html"><strong aria-hidden="true">2.</strong> Finite Fields</a></li><li class="chapter-item expanded "><a href="../math/lde.html"><strong aria-hidden="true">3.</strong> Functions and low-degree extension</a></li><li class="chapter-item expanded "><a href="../math/extension_fields.html"><strong aria-hidden="true">4.</strong> Extension Fields</a></li><li class="chapter-item expanded "><a href="../math/code_theory.html"><strong aria-hidden="true">5.</strong> Code Theory</a></li><li class="chapter-item expanded affix "><li class="part-title">Circuits</li><li class="chapter-item expanded "><a href="../air/air.html"><strong aria-hidden="true">6.</strong> The AIR Arithmetization</a></li><li class="chapter-item expanded affix "><li class="part-title">STARK</li><li class="chapter-item expanded "><a href="../stark/overview.html"><strong aria-hidden="true">7.</strong> STARK</a></li><li class="chapter-item expanded "><a href="../fri/fri.html"><strong aria-hidden="true">8.</strong> FRI</a></li><li class="chapter-item expanded affix "><li class="part-title">Cairo: STARK's zkVM</li><li class="chapter-item expanded "><a href="../cairo/cairo.html"><strong aria-hidden="true">9.</strong> Cairo</a></li><li class="chapter-item expanded "><a href="../cairo/memory.html"><strong aria-hidden="true">10.</strong> Cairo public memory</a></li><li class="chapter-item expanded "><a href="../cairo/bootloader.html" class="active"><strong aria-hidden="true">11.</strong> Bootloader</a></li><li class="chapter-item expanded "><a href="../cairo/builtins.html"><strong aria-hidden="true">12.</strong> Builtins and Layouts</a></li><li class="chapter-item expanded affix "><li class="part-title">Starkex: Verifying Cairo programs on Ethereum</li><li class="chapter-item expanded "><a href="../starkex/starkex.html"><strong aria-hidden="true">13.</strong> Overview</a></li><li class="chapter-item expanded "><a href="../starkex/facts.html"><strong aria-hidden="true">14.</strong> Facts</a></li><li class="chapter-item expanded "><a href="../starkex/cairo.html"><strong aria-hidden="true">15.</strong> Verifying Cairo proofs</a></li><li class="chapter-item expanded "><a href="../starkex/proof-splitter.html"><strong aria-hidden="true">16.</strong> Proof splitter</a></li><li class="chapter-item expanded "><a href="../starkex/bootloader.html"><strong aria-hidden="true">17.</strong> Bootloader</a></li><li class="chapter-item expanded affix "><li class="part-title">Starknet</li><li class="chapter-item expanded "><a href="../starknet/starknet.html"><strong aria-hidden="true">18.</strong> Starknet</a></li></ol>
<ol class="chapter"><li class="chapter-item expanded "><a href="../introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li class="chapter-item expanded affix "><li class="part-title">Foundations</li><li class="chapter-item expanded "><a href="../math/finite_fields.html"><strong aria-hidden="true">2.</strong> Finite Fields</a></li><li class="chapter-item expanded "><a href="../math/lde.html"><strong aria-hidden="true">3.</strong> Functions and low-degree extension</a></li><li class="chapter-item expanded "><a href="../math/extension_fields.html"><strong aria-hidden="true">4.</strong> Extension Fields</a></li><li class="chapter-item expanded "><a href="../math/code_theory.html"><strong aria-hidden="true">5.</strong> Code Theory</a></li><li class="chapter-item expanded affix "><li class="part-title">Circuits</li><li class="chapter-item expanded "><a href="../air/air.html"><strong aria-hidden="true">6.</strong> The AIR Arithmetization</a></li><li class="chapter-item expanded affix "><li class="part-title">STARK</li><li class="chapter-item expanded "><a href="../stark/overview.html"><strong aria-hidden="true">7.</strong> STARK</a></li><li class="chapter-item expanded "><a href="../fri/fri.html"><strong aria-hidden="true">8.</strong> FRI</a></li><li class="chapter-item expanded affix "><li class="part-title">Cairo: STARK's zkVM</li><li class="chapter-item expanded "><a href="../cairo/cairo.html"><strong aria-hidden="true">9.</strong> Cairo</a></li><li class="chapter-item expanded "><a href="../cairo/memory.html"><strong aria-hidden="true">10.</strong> Cairo public memory</a></li><li class="chapter-item expanded "><a href="../cairo/cairo_vm.html"><strong aria-hidden="true">11.</strong> Cairo VM</a></li><li class="chapter-item expanded "><a href="../cairo/bootloader.html" class="active"><strong aria-hidden="true">12.</strong> Bootloader</a></li><li class="chapter-item expanded "><a href="../cairo/builtins.html"><strong aria-hidden="true">13.</strong> Builtins and Layouts</a></li><li class="chapter-item expanded affix "><li class="part-title">Starkex: Verifying Cairo programs on Ethereum</li><li class="chapter-item expanded "><a href="../starkex/starkex.html"><strong aria-hidden="true">14.</strong> Overview</a></li><li class="chapter-item expanded "><a href="../starkex/facts.html"><strong aria-hidden="true">15.</strong> Facts</a></li><li class="chapter-item expanded "><a href="../starkex/cairo.html"><strong aria-hidden="true">16.</strong> Verifying Cairo proofs</a></li><li class="chapter-item expanded "><a href="../starkex/proof-splitter.html"><strong aria-hidden="true">17.</strong> Proof splitter</a></li><li class="chapter-item expanded "><a href="../starkex/bootloader.html"><strong aria-hidden="true">18.</strong> Bootloader</a></li><li class="chapter-item expanded affix "><li class="part-title">Starknet</li><li class="chapter-item expanded "><a href="../starknet/starknet.html"><strong aria-hidden="true">19.</strong> Starknet</a></li></ol>
</div>
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
</nav>
Expand Down Expand Up @@ -294,7 +294,7 @@ <h3 id="step-3-verifying-iteratively-created-proofs"><a class="header" href="#st

<nav class="nav-wrapper" aria-label="Page navigation">
<!-- Mobile navigation buttons -->
<a rel="prev" href="../cairo/memory.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
<a rel="prev" href="../cairo/cairo_vm.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
<i class="fa fa-angle-left"></i>
</a>

Expand All @@ -308,7 +308,7 @@ <h3 id="step-3-verifying-iteratively-created-proofs"><a class="header" href="#st
</div>

<nav class="nav-wide-wrapper" aria-label="Page navigation">
<a rel="prev" href="../cairo/memory.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
<a rel="prev" href="../cairo/cairo_vm.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
<i class="fa fa-angle-left"></i>
</a>

Expand Down
Loading

0 comments on commit dcb4bf1

Please sign in to comment.