deploy: d7c6279

privacy-scaling-explorations · Jun 17, 2024 · 2caab72 · 2caab72
1 parent b6c8986
commit 2caab72
Show file tree

Hide file tree

Showing 63 changed files with 1,207 additions and 373 deletions.
diff --git a/halo2_backend/poly/commitment/struct.Blind.html b/halo2_backend/poly/commitment/struct.Blind.html
diff --git a/halo2_backend/poly/ipa/commitment/struct.IPACommitmentScheme.html b/halo2_backend/poly/ipa/commitment/struct.IPACommitmentScheme.html
diff --git a/halo2_backend/poly/ipa/multiopen/struct.VerifierIPA.html b/halo2_backend/poly/ipa/multiopen/struct.VerifierIPA.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/fn.compile_circuit.html b/halo2_frontend/circuit/fn.compile_circuit.html
@@ -18,7 +18,7 @@
     k: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.u32.html">u32</a>,
     circuit: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;ConcreteCircuit</a>,
     compress_selectors: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a>
-) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;(CompiledCircuit&lt;F&gt;, ConcreteCircuit::<a class="associatedtype" href="../plonk/circuit/trait.Circuit.html#associatedtype.Config" title="type halo2_frontend::plonk::circuit::Circuit::Config">Config</a>, <a class="struct" href="../plonk/circuit/constraint_system/struct.ConstraintSystem.html" title="struct halo2_frontend::plonk::circuit::constraint_system::ConstraintSystem">ConstraintSystem</a>&lt;F&gt;), <a class="enum" href="../plonk/error/enum.Error.html" title="enum halo2_frontend::plonk::error::Error">Error</a>&gt;</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>Compile a circuit.  Runs configure and synthesize on the circuit in order to materialize the
+) -&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="struct" href="../../halo2_middleware/circuit/struct.CompiledCircuit.html" title="struct halo2_middleware::circuit::CompiledCircuit">CompiledCircuit</a>&lt;F&gt;, ConcreteCircuit::<a class="associatedtype" href="../plonk/circuit/trait.Circuit.html#associatedtype.Config" title="type halo2_frontend::plonk::circuit::Circuit::Config">Config</a>, <a class="struct" href="../plonk/circuit/constraint_system/struct.ConstraintSystem.html" title="struct halo2_frontend::plonk::circuit::constraint_system::ConstraintSystem">ConstraintSystem</a>&lt;F&gt;), <a class="enum" href="../plonk/error/enum.Error.html" title="enum halo2_frontend::plonk::error::Error">Error</a>&gt;</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>Compile a circuit.  Runs configure and synthesize on the circuit in order to materialize the
 circuit into its columns and the column configuration; as well as doing the fixed column and
 copy constraints assignments.  The output of this function can then be used for the key
 generation, and proof generation.

diff --git a/halo2_frontend/circuit/layouter/enum.RegionColumn.html b/halo2_frontend/circuit/layouter/enum.RegionColumn.html
diff --git a/halo2_frontend/circuit/layouter/struct.RegionShape.html b/halo2_frontend/circuit/layouter/struct.RegionShape.html
@@ -58,7 +58,7 @@
 ) -&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="struct" href="../struct.Cell.html" title="struct halo2_frontend::circuit::Cell">Cell</a>, <a class="enum" href="../../plonk/error/enum.Error.html" title="enum halo2_frontend::plonk::error::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Assigns a fixed value</div></details><details class="toggle method-toggle" open><summary><section id="method.name_column" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_frontend/circuit/layouter.rs.html#300-306">source</a><a href="#method.name_column" class="anchor">§</a><h4 class="code-header">fn <a href="trait.RegionLayouter.html#tymethod.name_column" class="fn">name_column</a>&lt;'v&gt;(
     &amp;'v mut self,
     _annotation: &amp;'v (dyn <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/function/trait.Fn.html" title="trait core::ops::function::Fn">Fn</a>() -&gt; <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a> + 'v),
-    _column: <a class="struct" href="../../plonk/circuit/expression/struct.Column.html" title="struct halo2_frontend::plonk::circuit::expression::Column">Column</a>&lt;Any&gt;
+    _column: <a class="struct" href="../../plonk/circuit/expression/struct.Column.html" title="struct halo2_frontend::plonk::circuit::expression::Column">Column</a>&lt;<a class="enum" href="../../../halo2_middleware/circuit/enum.Any.html" title="enum halo2_middleware::circuit::Any">Any</a>&gt;
 )</h4></section></summary><div class='docblock'>Allows the circuit implementor to name/annotate a Column within a Region context. <a href="trait.RegionLayouter.html#tymethod.name_column">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.constrain_constant" class="method trait-impl"><a class="src rightside" href="../../../src/halo2_frontend/circuit/layouter.rs.html#308-311">source</a><a href="#method.constrain_constant" class="anchor">§</a><h4 class="code-header">fn <a href="trait.RegionLayouter.html#tymethod.constrain_constant" class="fn">constrain_constant</a>(
     &amp;mut self,
     _cell: <a class="struct" href="../struct.Cell.html" title="struct halo2_frontend::circuit::Cell">Cell</a>,

diff --git a/halo2_frontend/circuit/layouter/trait.RegionLayouter.html b/halo2_frontend/circuit/layouter/trait.RegionLayouter.html
@@ -25,7 +25,7 @@
 <span class="item-spacer"></span>    fn <a href="#tymethod.name_column" class="fn">name_column</a>&lt;'v&gt;(
         &amp;'v mut self,
         annotation: &amp;'v (dyn <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/function/trait.Fn.html" title="trait core::ops::function::Fn">Fn</a>() -&gt; <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a> + 'v),
-        column: <a class="struct" href="../../plonk/circuit/expression/struct.Column.html" title="struct halo2_frontend::plonk::circuit::expression::Column">Column</a>&lt;Any&gt;
+        column: <a class="struct" href="../../plonk/circuit/expression/struct.Column.html" title="struct halo2_frontend::plonk::circuit::expression::Column">Column</a>&lt;<a class="enum" href="../../../halo2_middleware/circuit/enum.Any.html" title="enum halo2_middleware::circuit::Any">Any</a>&gt;
     );
 <span class="item-spacer"></span>    fn <a href="#tymethod.assign_advice" class="fn">assign_advice</a>&lt;'v&gt;(
         &amp;'v mut self,
@@ -100,7 +100,7 @@
 </div></details><details class="toggle method-toggle" open><summary><section id="tymethod.name_column" class="method"><a class="src rightside" href="../../../src/halo2_frontend/circuit/layouter.rs.html#72-76">source</a><h4 class="code-header">fn <a href="#tymethod.name_column" class="fn">name_column</a>&lt;'v&gt;(
     &amp;'v mut self,
     annotation: &amp;'v (dyn <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/function/trait.Fn.html" title="trait core::ops::function::Fn">Fn</a>() -&gt; <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/string/struct.String.html" title="struct alloc::string::String">String</a> + 'v),
-    column: <a class="struct" href="../../plonk/circuit/expression/struct.Column.html" title="struct halo2_frontend::plonk::circuit::expression::Column">Column</a>&lt;Any&gt;
+    column: <a class="struct" href="../../plonk/circuit/expression/struct.Column.html" title="struct halo2_frontend::plonk::circuit::expression::Column">Column</a>&lt;<a class="enum" href="../../../halo2_middleware/circuit/enum.Any.html" title="enum halo2_middleware::circuit::Any">Any</a>&gt;
 )</h4></section></summary><div class="docblock"><p>Allows the circuit implementor to name/annotate a Column within a Region context.</p>
 <p>This is useful in order to improve the amount of information that <code>prover.verify()</code>
 and <code>prover.assert_satisfied()</code> can provide.</p>