deploy: 1a6468e

privacy-scaling-explorations · Jun 18, 2024 · 0a39e11 · 0a39e11
1 parent 2caab72
commit 0a39e11
Show file tree

Hide file tree

Showing 52 changed files with 791 additions and 229 deletions.
diff --git a/halo2_backend/plonk/enum.Error.html b/halo2_backend/plonk/enum.Error.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/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.VerifyFailure.html b/halo2_frontend/dev/enum.VerifyFailure.html
diff --git a/halo2_frontend/dev/index.html b/halo2_frontend/dev/index.html
@@ -14,6 +14,6 @@
     });
 </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_frontend/index.html">halo2_frontend</a><span class="version">0.3.0</span></h2></div><h2 class="location"><a href="#">Module dev</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#reexports">Re-exports</a></li><li><a href="#modules">Modules</a></li><li><a href="#structs">Structs</a></li><li><a href="#enums">Enums</a></li><li><a href="#functions">Functions</a></li></ul></section><h2><a href="../index.html">In crate halo2_frontend</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_frontend</a>::<wbr><a class="mod" href="#">dev</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_frontend/dev.rs.html#1-2123">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>Tools for developing circuits.</p>
+</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_frontend/index.html">halo2_frontend</a><span class="version">0.3.0</span></h2></div><h2 class="location"><a href="#">Module dev</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#reexports">Re-exports</a></li><li><a href="#modules">Modules</a></li><li><a href="#structs">Structs</a></li><li><a href="#enums">Enums</a></li><li><a href="#functions">Functions</a></li></ul></section><h2><a href="../index.html">In crate halo2_frontend</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_frontend</a>::<wbr><a class="mod" href="#">dev</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_frontend/dev.rs.html#1-2256">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>Tools for developing circuits.</p>
 </div></details><h2 id="reexports" class="section-header">Re-exports<a href="#reexports" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name" id="reexport.CircuitCost"><code>pub use cost::<a class="struct" href="cost/struct.CircuitCost.html" title="struct halo2_frontend::dev::cost::CircuitCost">CircuitCost</a>;</code></div></li></ul><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="cost/index.html" title="mod halo2_frontend::dev::cost">cost</a></div><div class="desc docblock-short">Developer tools for investigating the cost of a circuit.</div></li><li><div class="item-name"><a class="mod" href="cost_model/index.html" title="mod halo2_frontend::dev::cost_model">cost_model</a></div><div class="desc docblock-short">The cost estimator takes high-level parameters for a circuit design, and estimates the
 verification cost, as well as resulting proof size.</div></li><li><div class="item-name"><a class="mod" href="metadata/index.html" title="mod halo2_frontend::dev::metadata">metadata</a></div><div class="desc docblock-short">Metadata about circuits.</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.CircuitGates.html" title="struct halo2_frontend::dev::CircuitGates">CircuitGates</a></div><div class="desc docblock-short">A struct for collecting and displaying the gates within a circuit.</div></li><li><div class="item-name"><a class="struct" href="struct.CircuitLayout.html" title="struct halo2_frontend::dev::CircuitLayout">CircuitLayout</a><span class="stab portability" title="Available on crate feature `dev-graph` only"><code>dev-graph</code></span></div><div class="desc docblock-short">Graphical renderer for circuit layouts.</div></li><li><div class="item-name"><a class="struct" href="struct.MockProver.html" title="struct halo2_frontend::dev::MockProver">MockProver</a></div><div class="desc docblock-short">A test prover for debugging circuits.</div></li><li><div class="item-name"><a class="struct" href="struct.TracingFloorPlanner.html" title="struct halo2_frontend::dev::TracingFloorPlanner">TracingFloorPlanner</a></div><div class="desc docblock-short">A helper type that augments a <a href="../plonk/circuit/trait.FloorPlanner.html" title="trait halo2_frontend::plonk::circuit::FloorPlanner"><code>FloorPlanner</code></a> with [<code>tracing</code>] spans and events.</div></li></ul><h2 id="enums" class="section-header">Enums<a href="#enums" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="enum" href="enum.CellValue.html" title="enum halo2_frontend::dev::CellValue">CellValue</a></div><div class="desc docblock-short">The value of a particular cell within the circuit.</div></li><li><div class="item-name"><a class="enum" href="enum.FailureLocation.html" title="enum halo2_frontend::dev::FailureLocation">FailureLocation</a></div><div class="desc docblock-short">The location within the circuit at which a particular <a href="enum.VerifyFailure.html" title="enum halo2_frontend::dev::VerifyFailure"><code>VerifyFailure</code></a> occurred.</div></li><li><div class="item-name"><a class="enum" href="enum.InstanceValue.html" title="enum halo2_frontend::dev::InstanceValue">InstanceValue</a></div><div class="desc docblock-short">Instance Value</div></li><li><div class="item-name"><a class="enum" href="enum.VerifyFailure.html" title="enum halo2_frontend::dev::VerifyFailure">VerifyFailure</a></div><div class="desc docblock-short">The reasons why a particular circuit is not satisfied.</div></li></ul><h2 id="functions" class="section-header">Functions<a href="#functions" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="fn" href="fn.circuit_dot_graph.html" title="fn halo2_frontend::dev::circuit_dot_graph">circuit_dot_graph</a><span class="stab portability" title="Available on crate feature `dev-graph` only"><code>dev-graph</code></span></div><div class="desc docblock-short">Builds a dot graph string representing the given circuit.</div></li></ul></section></div></main></body></html>
diff --git a/halo2_frontend/dev/metadata/struct.Constraint.html b/halo2_frontend/dev/metadata/struct.Constraint.html
diff --git a/halo2_frontend/dev/metadata/struct.Gate.html b/halo2_frontend/dev/metadata/struct.Gate.html
diff --git a/halo2_frontend/dev/metadata/struct.Region.html b/halo2_frontend/dev/metadata/struct.Region.html
diff --git a/halo2_frontend/dev/metadata/struct.VirtualCell.html b/halo2_frontend/dev/metadata/struct.VirtualCell.html