Skip to content

Commit

Permalink
deploy: 69e8b38
Browse files Browse the repository at this point in the history
  • Loading branch information
@mimoo
mimoo committed Dec 25, 2023
1 parent 7c8ebe6 commit eb8e84a
Show file tree
Hide file tree
Showing 23 changed files with 358 additions and 26 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/bootloader.html"><strong aria-hidden="true">16.</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">17.</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/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>
</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/bootloader.html"><strong aria-hidden="true">16.</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">17.</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/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>
</div>
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
</nav>
Expand Down
2 changes: 1 addition & 1 deletion 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/bootloader.html"><strong aria-hidden="true">16.</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">17.</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/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>
</div>
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
</nav>
Expand Down
Loading

0 comments on commit eb8e84a

Please sign in to comment.