deploy: f488a8f

privacy-scaling-explorations · Dec 17, 2024 · 73485e8 · 73485e8
1 parent b7f5318
commit 73485e8
Show file tree

Hide file tree

Showing 41 changed files with 218 additions and 182 deletions.
diff --git a/halo2_backend/arithmetic/trait.CurveAffine.html b/halo2_backend/arithmetic/trait.CurveAffine.html
diff --git a/halo2_backend/arithmetic/trait.CurveExt.html b/halo2_backend/arithmetic/trait.CurveExt.html
diff --git a/halo2_backend/plonk/index.html b/halo2_backend/plonk/index.html
@@ -14,7 +14,7 @@
     });
 </script>
 
-</head><body class="rustdoc mod"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../halo2_backend/index.html">halo2_backend</a><span class="version">0.4.0</span></h2></div><h2 class="location"><a href="#">Module plonk</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#modules">Modules</a></li><li><a href="#structs">Structs</a></li><li><a href="#enums">Enums</a></li></ul></section><h2><a href="../index.html">In crate halo2_backend</a></h2></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><h1>Module <a href="../index.html">halo2_backend</a>::<wbr><a class="mod" href="#">plonk</a><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><span class="out-of-band"><a class="src" href="../../src/halo2_backend/plonk.rs.html#1-403">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>This module provides an implementation of a variant of (Turbo)<a href="https://eprint.iacr.org/2019/953">PLONK</a>
+</head><body class="rustdoc mod"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../halo2_backend/index.html">halo2_backend</a><span class="version">0.4.0</span></h2></div><h2 class="location"><a href="#">Module plonk</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#modules">Modules</a></li><li><a href="#structs">Structs</a></li><li><a href="#enums">Enums</a></li></ul></section><h2><a href="../index.html">In crate halo2_backend</a></h2></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><h1>Module <a href="../index.html">halo2_backend</a>::<wbr><a class="mod" href="#">plonk</a><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><span class="out-of-band"><a class="src" href="../../src/halo2_backend/plonk.rs.html#1-418">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>This module provides an implementation of a variant of (Turbo)<a href="https://eprint.iacr.org/2019/953">PLONK</a>
 that is designed specifically for the polynomial commitment scheme described
 in the <a href="https://eprint.iacr.org/2019/1021">Halo</a> paper.</p>
 </div></details><h2 id="modules" class="section-header">Modules<a href="#modules" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="mod" href="keygen/index.html" title="mod halo2_backend::plonk::keygen">keygen</a></div><div class="desc docblock-short">This module</div></li><li><div class="item-name"><a class="mod" href="prover/index.html" title="mod halo2_backend::plonk::prover">prover</a></div><div class="desc docblock-short">Generate a proof</div></li><li><div class="item-name"><a class="mod" href="verifier/index.html" title="mod halo2_backend::plonk::verifier">verifier</a></div><div class="desc docblock-short">Verify a plonk proof</div></li></ul><h2 id="structs" class="section-header">Structs<a href="#structs" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="struct" href="struct.PinnedVerificationKey.html" title="struct halo2_backend::plonk::PinnedVerificationKey">PinnedVerificationKey</a></div><div class="desc docblock-short">Minimal representation of a verification key that can be used to identify

diff --git a/halo2_backend/poly/commitment/struct.Blind.html b/halo2_backend/poly/commitment/struct.Blind.html
diff --git a/halo2_backend/poly/kzg/commitment/struct.KZGCommitmentScheme.html b/halo2_backend/poly/kzg/commitment/struct.KZGCommitmentScheme.html
diff --git a/halo2_backend/poly/struct.Polynomial.html b/halo2_backend/poly/struct.Polynomial.html
diff --git a/halo2_backend/transcript/struct.Challenge255.html b/halo2_backend/transcript/struct.Challenge255.html
diff --git a/halo2_frontend/circuit/layouter/enum.RegionColumn.html b/halo2_frontend/circuit/layouter/enum.RegionColumn.html
diff --git a/halo2_frontend/circuit/struct.Value.html b/halo2_frontend/circuit/struct.Value.html
diff --git a/halo2_frontend/dev/enum.FailureLocation.html b/halo2_frontend/dev/enum.FailureLocation.html
diff --git a/halo2_frontend/dev/metadata/struct.Column.html b/halo2_frontend/dev/metadata/struct.Column.html
diff --git a/halo2_frontend/dev/metadata/struct.Region.html b/halo2_frontend/dev/metadata/struct.Region.html
diff --git a/halo2_frontend/plonk/assigned/enum.Assigned.html b/halo2_frontend/plonk/assigned/enum.Assigned.html
diff --git a/halo2_frontend/plonk/circuit/constraint_system/struct.VirtualCell.html b/halo2_frontend/plonk/circuit/constraint_system/struct.VirtualCell.html
diff --git a/halo2_frontend/plonk/circuit/expression/enum.Expression.html b/halo2_frontend/plonk/circuit/expression/enum.Expression.html
diff --git a/halo2_frontend/plonk/circuit/expression/struct.Challenge.html b/halo2_frontend/plonk/circuit/expression/struct.Challenge.html
diff --git a/halo2_frontend/plonk/circuit/expression/struct.Column.html b/halo2_frontend/plonk/circuit/expression/struct.Column.html
diff --git a/halo2_frontend/plonk/error/enum.AssignError.html b/halo2_frontend/plonk/error/enum.AssignError.html
diff --git a/halo2_middleware/circuit/struct.ColumnMid.html b/halo2_middleware/circuit/struct.ColumnMid.html
diff --git a/halo2_middleware/expression/enum.Expression.html b/halo2_middleware/expression/enum.Expression.html
diff --git a/halo2_proofs/arithmetic/trait.CurveAffine.html b/halo2_proofs/arithmetic/trait.CurveAffine.html
diff --git a/halo2_proofs/arithmetic/trait.CurveExt.html b/halo2_proofs/arithmetic/trait.CurveExt.html
diff --git a/halo2_proofs/circuit/struct.Value.html b/halo2_proofs/circuit/struct.Value.html
diff --git a/halo2_proofs/dev/metadata/struct.Column.html b/halo2_proofs/dev/metadata/struct.Column.html
diff --git a/halo2_proofs/dev/metadata/struct.Region.html b/halo2_proofs/dev/metadata/struct.Region.html
diff --git a/halo2_proofs/plonk/enum.Any.html b/halo2_proofs/plonk/enum.Any.html
diff --git a/halo2_proofs/plonk/enum.Assigned.html b/halo2_proofs/plonk/enum.Assigned.html
diff --git a/halo2_proofs/plonk/enum.Expression.html b/halo2_proofs/plonk/enum.Expression.html
diff --git a/halo2_proofs/plonk/struct.Column.html b/halo2_proofs/plonk/struct.Column.html
diff --git a/halo2_proofs/poly/commitment/struct.Blind.html b/halo2_proofs/poly/commitment/struct.Blind.html
@@ -20,8 +20,8 @@
     R: <a class="trait" href="https://rust-random.github.io/rand/rand_core/trait.RngCore.html" title="trait rand_core::RngCore">RngCore</a>,</div></h4></section></summary><div class="docblock"><p>Given <code>rng</code> creates new blinding scalar</p>
 </div></details></div></details></div><h2 id="trait-implementations" class="section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Add-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#219">source</a><a href="#impl-Add-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.Add.html" title="trait core::ops::arith::Add">Add</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
     F: <a class="trait" href="../../arithmetic/trait.Field.html" title="trait halo2_proofs::arithmetic::Field">Field</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Output" class="associatedtype trait-impl"><a href="#associatedtype.Output" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.Add.html#associatedtype.Output" class="associatedtype">Output</a> = <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;</h4></section></summary><div class='docblock'>The resulting type after applying the <code>+</code> operator.</div></details><details class="toggle method-toggle" open><summary><section id="method.add" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#222">source</a><a href="#method.add" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.Add.html#tymethod.add" class="fn">add</a>(self, rhs: <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;) -&gt; <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;</h4></section></summary><div class='docblock'>Performs the <code>+</code> operation. <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.Add.html#tymethod.add">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-AddAssign%3CF%3E-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#247">source</a><a href="#impl-AddAssign%3CF%3E-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html" title="trait core::ops::arith::AddAssign">AddAssign</a>&lt;F&gt; for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
-    F: <a class="trait" href="../../arithmetic/trait.Field.html" title="trait halo2_proofs::arithmetic::Field">Field</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.add_assign" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#248">source</a><a href="#method.add_assign" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign" class="fn">add_assign</a>(&amp;mut self, rhs: F)</h4></section></summary><div class='docblock'>Performs the <code>+=</code> operation. <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-AddAssign-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#235">source</a><a href="#impl-AddAssign-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html" title="trait core::ops::arith::AddAssign">AddAssign</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
-    F: <a class="trait" href="../../arithmetic/trait.Field.html" title="trait halo2_proofs::arithmetic::Field">Field</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.add_assign-1" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#236">source</a><a href="#method.add_assign-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign" class="fn">add_assign</a>(&amp;mut self, rhs: <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;)</h4></section></summary><div class='docblock'>Performs the <code>+=</code> operation. <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Clone-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#203">source</a><a href="#impl-Clone-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
+    F: <a class="trait" href="../../arithmetic/trait.Field.html" title="trait halo2_proofs::arithmetic::Field">Field</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.add_assign-1" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#248">source</a><a href="#method.add_assign-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign" class="fn">add_assign</a>(&amp;mut self, rhs: F)</h4></section></summary><div class='docblock'>Performs the <code>+=</code> operation. <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-AddAssign-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#235">source</a><a href="#impl-AddAssign-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html" title="trait core::ops::arith::AddAssign">AddAssign</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
+    F: <a class="trait" href="../../arithmetic/trait.Field.html" title="trait halo2_proofs::arithmetic::Field">Field</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.add_assign" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#236">source</a><a href="#method.add_assign" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign" class="fn">add_assign</a>(&amp;mut self, rhs: <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;)</h4></section></summary><div class='docblock'>Performs the <code>+=</code> operation. <a href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.AddAssign.html#tymethod.add_assign">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Clone-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#203">source</a><a href="#impl-Clone-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
     F: <a class="trait" href="https://doc.rust-lang.org/nightly/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.clone" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#203">source</a><a href="#method.clone" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/clone/trait.Clone.html#tymethod.clone" class="fn">clone</a>(&amp;self) -&gt; <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;</h4></section></summary><div class='docblock'>Returns a copy of the value. <a href="https://doc.rust-lang.org/nightly/core/clone/trait.Clone.html#tymethod.clone">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.clone_from" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/nightly/src/core/clone.rs.html#169">source</a></span><a href="#method.clone_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/clone/trait.Clone.html#method.clone_from" class="fn">clone_from</a>(&amp;mut self, source: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;Self</a>)</h4></section></summary><div class='docblock'>Performs copy-assignment from <code>source</code>. <a href="https://doc.rust-lang.org/nightly/core/clone/trait.Clone.html#method.clone_from">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Debug-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#203">source</a><a href="#impl-Debug-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
     F: <a class="trait" href="https://doc.rust-lang.org/nightly/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#203">source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/nightly/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.unit.html">()</a>, <a class="struct" href="https://doc.rust-lang.org/nightly/core/fmt/struct.Error.html" title="struct core::fmt::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/nightly/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Default-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#206">source</a><a href="#impl-Default-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/default/trait.Default.html" title="trait core::default::Default">Default</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where
     F: <a class="trait" href="../../arithmetic/trait.Field.html" title="trait halo2_proofs::arithmetic::Field">Field</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.default" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#207">source</a><a href="#method.default" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/core/default/trait.Default.html#tymethod.default" class="fn">default</a>() -&gt; <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;</h4></section></summary><div class='docblock'>Returns the “default value” for a type. <a href="https://doc.rust-lang.org/nightly/core/default/trait.Default.html#tymethod.default">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Mul-for-Blind%3CF%3E" class="impl"><a class="src rightside" href="../../../src/halo2_backend/poly/commitment.rs.html#227">source</a><a href="#impl-Mul-for-Blind%3CF%3E" class="anchor">§</a><h3 class="code-header">impl&lt;F&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/arith/trait.Mul.html" title="trait core::ops::arith::Mul">Mul</a> for <a class="struct" href="struct.Blind.html" title="struct halo2_proofs::poly::commitment::Blind">Blind</a>&lt;F&gt;<div class="where">where