Skip to content

Commit

Permalink
deploy: fac4db0
Browse files Browse the repository at this point in the history
  • Loading branch information
@davidnevadoc
davidnevadoc committed Sep 13, 2024
1 parent 22984f2 commit aeb8477
Show file tree
Hide file tree
Showing 172 changed files with 653 additions and 639 deletions.
24 changes: 15 additions & 9 deletions halo2_backend/arithmetic/trait.CurveAffine.html
View file

Large diffs are not rendered by default.

36 changes: 25 additions & 11 deletions halo2_backend/arithmetic/trait.CurveExt.html
View file

Large diffs are not rendered by default.

47 changes: 17 additions & 30 deletions halo2_backend/arithmetic/trait.Field.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion halo2_backend/multicore/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.3.0</span></h2></div><h2 class="location"><a href="#">Module multicore</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li><li><a href="#traits">Traits</a></li><li><a href="#functions">Functions</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="#">multicore</a><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><span class="out-of-band"><button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><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.Scope.html" title="struct halo2_backend::multicore::Scope">Scope</a></div><div class="desc docblock-short">Represents a fork-join scope which can be used to spawn any number of tasks.
</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.3.0</span></h2></div><h2 class="location"><a href="#">Module multicore</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li><li><a href="#traits">Traits</a></li><li><a href="#functions">Functions</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="#">multicore</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_middleware/lib.rs.html#4">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><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.Scope.html" title="struct halo2_backend::multicore::Scope">Scope</a></div><div class="desc docblock-short">Represents a fork-join scope which can be used to spawn any number of tasks.
See <a href="fn.scope.html"><code>scope()</code></a> for more information.</div></li></ul><h2 id="traits" class="section-header">Traits<a href="#traits" class="anchor">§</a></h2><ul class="item-table"><li><div class="item-name"><a class="trait" href="trait.IndexedParallelIterator.html" title="trait halo2_backend::multicore::IndexedParallelIterator">IndexedParallelIterator</a></div><div class="desc docblock-short">An iterator that supports “random access” to its data, meaning
that you can split it at arbitrary indices and draw data from
those points.</div></li><li><div class="item-name"><a class="trait" href="trait.IntoParallelIterator.html" title="trait halo2_backend::multicore::IntoParallelIterator">IntoParallelIterator</a></div><div class="desc docblock-short"><code>IntoParallelIterator</code> implements the conversion to a <a href="trait.ParallelIterator.html"><code>ParallelIterator</code></a>.</div></li><li><div class="item-name"><a class="trait" href="trait.IntoParallelRefIterator.html" title="trait halo2_backend::multicore::IntoParallelRefIterator">IntoParallelRefIterator</a></div><div class="desc docblock-short"><code>IntoParallelRefIterator</code> implements the conversion to a
Expand Down
6 changes: 3 additions & 3 deletions halo2_backend/multicore/trait.TryFoldAndReduce.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,14 +14,14 @@
});
</script>

</head><body class="rustdoc trait"><!--[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.3.0</span></h2></div><h2 class="location"><a href="#">TryFoldAndReduce</a></h2><div class="sidebar-elems"><section><h3><a href="#required-methods">Required Methods</a></h3><ul class="block"><li><a href="#tymethod.try_fold_and_reduce">try_fold_and_reduce</a></li></ul><h3><a href="#object-safety">Object Safety</a></h3><h3><a href="#implementors">Implementors</a></h3></section><h2><a href="index.html">In halo2_backend::multicore</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>Trait <a href="../index.html">halo2_backend</a>::<wbr><a href="index.html">multicore</a>::<wbr><a class="trait" href="#">TryFoldAndReduce</a><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><span class="out-of-band"><button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><pre class="rust item-decl"><code>pub trait TryFoldAndReduce&lt;T, E&gt; {
</head><body class="rustdoc trait"><!--[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.3.0</span></h2></div><h2 class="location"><a href="#">TryFoldAndReduce</a></h2><div class="sidebar-elems"><section><h3><a href="#required-methods">Required Methods</a></h3><ul class="block"><li><a href="#tymethod.try_fold_and_reduce">try_fold_and_reduce</a></li></ul><h3><a href="#object-safety">Object Safety</a></h3><h3><a href="#implementors">Implementors</a></h3></section><h2><a href="index.html">In halo2_backend::multicore</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>Trait <a href="../index.html">halo2_backend</a>::<wbr><a href="index.html">multicore</a>::<wbr><a class="trait" href="#">TryFoldAndReduce</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_middleware/multicore.rs.html#10">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><pre class="rust item-decl"><code>pub trait TryFoldAndReduce&lt;T, E&gt; {
// Required method
fn <a href="#tymethod.try_fold_and_reduce" class="fn">try_fold_and_reduce</a>(
self,
identity: impl <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; T + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,
fold_op: impl <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/function/trait.Fn.html" title="trait core::ops::function::Fn">Fn</a>(T, <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, E&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;T, E&gt; + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</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;T, E&gt;;
}</code></pre><h2 id="required-methods" class="section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><details class="toggle method-toggle" open><summary><section id="tymethod.try_fold_and_reduce" class="method"><h4 class="code-header">fn <a href="#tymethod.try_fold_and_reduce" class="fn">try_fold_and_reduce</a>(
}</code></pre><h2 id="required-methods" class="section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><details class="toggle method-toggle" open><summary><section id="tymethod.try_fold_and_reduce" class="method"><a class="src rightside" href="../../src/halo2_middleware/multicore.rs.html#17-21">source</a><h4 class="code-header">fn <a href="#tymethod.try_fold_and_reduce" class="fn">try_fold_and_reduce</a>(
self,
identity: impl <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; T + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,
fold_op: impl <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/function/trait.Fn.html" title="trait core::ops::function::Fn">Fn</a>(T, <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, E&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;T, E&gt; + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>
Expand All @@ -31,7 +31,7 @@
The <code>try_fold_and_reduce</code> function can only be called by a iter with
<code>Result&lt;T, E&gt;</code> item type because the <code>fold_op</code> must meet the trait
bounds of both <code>try_fold</code> and <code>try_reduce</code> from rayon. </p>
</div></details></div><h2 id="object-safety" class="section-header">Object Safety<a href="#object-safety" class="anchor">§</a></h2><div class="object-safety-info">This trait is <b>not</b> <a href="https://doc.rust-lang.org/nightly/reference/items/traits.html#object-safety">object safe</a>.</div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-TryFoldAndReduce%3CT,+E%3E-for-I" class="impl"><a href="#impl-TryFoldAndReduce%3CT,+E%3E-for-I" class="anchor">§</a><h3 class="code-header">impl&lt;T, E, I&gt; <a class="trait" href="trait.TryFoldAndReduce.html" title="trait halo2_backend::multicore::TryFoldAndReduce">TryFoldAndReduce</a>&lt;T, E&gt; for I<div class="where">where
</div></details></div><h2 id="object-safety" class="section-header">Object Safety<a href="#object-safety" class="anchor">§</a></h2><div class="object-safety-info">This trait is <b>not</b> <a href="https://doc.rust-lang.org/nightly/reference/items/traits.html#object-safety">object safe</a>.</div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-TryFoldAndReduce%3CT,+E%3E-for-I" class="impl"><a class="src rightside" href="../../src/halo2_middleware/multicore.rs.html#24-28">source</a><a href="#impl-TryFoldAndReduce%3CT,+E%3E-for-I" class="anchor">§</a><h3 class="code-header">impl&lt;T, E, I&gt; <a class="trait" href="trait.TryFoldAndReduce.html" title="trait halo2_backend::multicore::TryFoldAndReduce">TryFoldAndReduce</a>&lt;T, E&gt; for I<div class="where">where
T: <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,
E: <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/nightly/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,
I: <a class="trait" href="trait.ParallelIterator.html" title="trait halo2_backend::multicore::ParallelIterator">ParallelIterator</a>&lt;Item = <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, E&gt;&gt;,</div></h3></section></div><script src="../../trait.impl/halo2_middleware/multicore/trait.TryFoldAndReduce.js" async></script></section></div></main></body></html>
6 changes: 3 additions & 3 deletions halo2_backend/plonk/enum.Error.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion halo2_backend/plonk/keygen/fn.keygen_pk.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@
</head><body class="rustdoc fn"><!--[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.3.0</span></h2></div><div class="sidebar-elems"><h2><a href="index.html">In halo2_backend::plonk::keygen</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>Function <a href="../../index.html">halo2_backend</a>::<wbr><a href="../index.html">plonk</a>::<wbr><a href="index.html">keygen</a>::<wbr><a class="fn" href="#">keygen_pk</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/keygen.rs.html#94-190">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><pre class="rust item-decl"><code>pub fn keygen_pk&lt;C, P&gt;(
params: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;P</a>,
vk: <a class="struct" href="../struct.VerifyingKey.html" title="struct halo2_backend::plonk::VerifyingKey">VerifyingKey</a>&lt;C&gt;,
circuit: &amp;CompiledCircuit&lt;C::Scalar&gt;
circuit: &amp;<a class="struct" href="../../../halo2_middleware/circuit/struct.CompiledCircuit.html" title="struct halo2_middleware::circuit::CompiledCircuit">CompiledCircuit</a>&lt;C::Scalar&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="struct" href="../struct.ProvingKey.html" title="struct halo2_backend::plonk::ProvingKey">ProvingKey</a>&lt;C&gt;, <a class="enum" href="../enum.Error.html" title="enum halo2_backend::plonk::Error">Error</a>&gt;<div class="where">where
C: <a class="trait" href="../../arithmetic/trait.CurveAffine.html" title="trait halo2_backend::arithmetic::CurveAffine">CurveAffine</a>,
P: <a class="trait" href="../../poly/commitment/trait.Params.html" title="trait halo2_backend::poly::commitment::Params">Params</a>&lt;C&gt;,</div></code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>Generate a <code>ProvingKey</code> from a <code>VerifyingKey</code> and an instance of <code>CompiledCircuit</code>.</p>
Expand Down
2 changes: 1 addition & 1 deletion halo2_backend/plonk/keygen/fn.keygen_vk.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@

</head><body class="rustdoc fn"><!--[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.3.0</span></h2></div><div class="sidebar-elems"><h2><a href="index.html">In halo2_backend::plonk::keygen</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>Function <a href="../../index.html">halo2_backend</a>::<wbr><a href="../index.html">plonk</a>::<wbr><a href="index.html">keygen</a>::<wbr><a class="fn" href="#">keygen_vk</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/keygen.rs.html#43-91">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>&#x2212;</span>]</button></span></div><pre class="rust item-decl"><code>pub fn keygen_vk&lt;C, P&gt;(
params: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;P</a>,
circuit: &amp;CompiledCircuit&lt;C::Scalar&gt;
circuit: &amp;<a class="struct" href="../../../halo2_middleware/circuit/struct.CompiledCircuit.html" title="struct halo2_middleware::circuit::CompiledCircuit">CompiledCircuit</a>&lt;C::Scalar&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="struct" href="../struct.VerifyingKey.html" title="struct halo2_backend::plonk::VerifyingKey">VerifyingKey</a>&lt;C&gt;, <a class="enum" href="../enum.Error.html" title="enum halo2_backend::plonk::Error">Error</a>&gt;<div class="where">where
C: <a class="trait" href="../../arithmetic/trait.CurveAffine.html" title="trait halo2_backend::arithmetic::CurveAffine">CurveAffine</a>,
P: <a class="trait" href="../../poly/commitment/trait.Params.html" title="trait halo2_backend::poly::commitment::Params">Params</a>&lt;C&gt;,
Expand Down
Loading

0 comments on commit aeb8477

Please sign in to comment.