This commit is contained in:
ebfull 2021-02-25 21:09:32 +00:00
parent 0e54bfd853
commit 583b5d9e1d
4 changed files with 14 additions and 4 deletions

View File

@ -165,7 +165,12 @@
<main> <main>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous">
<h1><a class="header" href="#gadgets" id="gadgets">Gadgets</a></h1> <h1><a class="header" href="#gadgets" id="gadgets">Gadgets</a></h1>
<p>In this section we document the gadgets and chip designs provided by halo2.</p> <p>In this section we document some example gadgets and chip designs that are suitable for
Halo 2.</p>
<blockquote>
<p>Neither these gadgets, nor their implementations, have been reviewed, and they should
not be used in production.</p>
</blockquote>
</main> </main>

View File

@ -1548,7 +1548,12 @@ the square root of <span class="katex"><span class="katex-html" aria-hidden="tru
the second part can be computed with three multiplications using lookups in <span class="katex"><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.8888799999999999em;vertical-align:-0.19444em;"></span><span class="mord mathnormal" style="margin-right:0.03588em;">g</span><span class="mord mathnormal">t</span><span class="mord mathnormal">a</span><span class="mord mathnormal">b</span></span></span></span>.</p> the second part can be computed with three multiplications using lookups in <span class="katex"><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.8888799999999999em;vertical-align:-0.19444em;"></span><span class="mord mathnormal" style="margin-right:0.03588em;">g</span><span class="mord mathnormal">t</span><span class="mord mathnormal">a</span><span class="mord mathnormal">b</span></span></span></span>.</p>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous">
<h1><a class="header" href="#gadgets-2" id="gadgets-2">Gadgets</a></h1> <h1><a class="header" href="#gadgets-2" id="gadgets-2">Gadgets</a></h1>
<p>In this section we document the gadgets and chip designs provided by halo2.</p> <p>In this section we document some example gadgets and chip designs that are suitable for
Halo 2.</p>
<blockquote>
<p>Neither these gadgets, nor their implementations, have been reviewed, and they should
not be used in production.</p>
</blockquote>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous">
<h1><a class="header" href="#sha-256" id="sha-256">SHA-256</a></h1> <h1><a class="header" href="#sha-256" id="sha-256">SHA-256</a></h1>
<h2><a class="header" href="#specification" id="specification">Specification</a></h2> <h2><a class="header" href="#specification" id="specification">Specification</a></h2>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long