Skip to content

Commit

Permalink
deploy: 32599e8
Browse files Browse the repository at this point in the history
  • Loading branch information
@davidnevadoc
davidnevadoc committed Jun 11, 2024
1 parent 4ed54f3 commit b6c8986
Show file tree
Hide file tree
Showing 44 changed files with 131 additions and 153 deletions.
2 changes: 1 addition & 1 deletion halo2_backend/plonk/prover/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 prover</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li></ul></section><h2><a href="../index.html">In halo2_backend::plonk</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 href="../index.html">plonk</a>::<wbr><a class="mod" href="#">prover</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/prover.rs.html#1-920">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>Generate a proof</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_backend/index.html">halo2_backend</a><span class="version">0.3.0</span></h2></div><h2 class="location"><a href="#">Module prover</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li></ul></section><h2><a href="../index.html">In halo2_backend::plonk</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 href="../index.html">plonk</a>::<wbr><a class="mod" href="#">prover</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/prover.rs.html#1-912">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>Generate a proof</p>
</div></details><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.Prover.html" title="struct halo2_backend::plonk::prover::Prover">Prover</a></div><div class="desc docblock-short">The prover object used to create proofs interactively by passing the witnesses to commit at
each phase. This supports batch proving.</div></li><li><div class="item-name"><a class="struct" href="struct.ProverSingle.html" title="struct halo2_backend::plonk::prover::ProverSingle">ProverSingle</a></div><div class="desc docblock-short">The prover object used to create proofs interactively by passing the witnesses to commit at
each phase. This works for a single proof. This is a wrapper over Prover.</div></li></ul></section></div></main></body></html>
20 changes: 10 additions & 10 deletions halo2_backend/plonk/prover/struct.Prover.html
View file

Large diffs are not rendered by default.

12 changes: 6 additions & 6 deletions halo2_backend/plonk/prover/struct.ProverSingle.html
View file

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions halo2_backend/plonk/verifier/fn.verify_proof.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,11 +14,11 @@
});
</script>

</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::verifier</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">verifier</a>::<wbr><a class="fn" href="#">verify_proof</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/verifier.rs.html#52-518">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 verify_proof&lt;'params, Scheme: <a class="trait" href="../../poly/commitment/trait.CommitmentScheme.html" title="trait halo2_backend::poly::commitment::CommitmentScheme">CommitmentScheme</a>, V: <a class="trait" href="../../poly/commitment/trait.Verifier.html" title="trait halo2_backend::poly::commitment::Verifier">Verifier</a>&lt;'params, Scheme&gt;, E: <a class="trait" href="../../transcript/trait.EncodedChallenge.html" title="trait halo2_backend::transcript::EncodedChallenge">EncodedChallenge</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Curve" title="type halo2_backend::poly::commitment::CommitmentScheme::Curve">Curve</a>&gt;, T: <a class="trait" href="../../transcript/trait.TranscriptRead.html" title="trait halo2_backend::transcript::TranscriptRead">TranscriptRead</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Curve" title="type halo2_backend::poly::commitment::CommitmentScheme::Curve">Curve</a>, E&gt;, Strategy: <a class="trait" href="../../poly/trait.VerificationStrategy.html" title="trait halo2_backend::poly::VerificationStrategy">VerificationStrategy</a>&lt;'params, Scheme, V&gt;&gt;(
</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::verifier</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">verifier</a>::<wbr><a class="fn" href="#">verify_proof</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/verifier.rs.html#52-521">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 verify_proof&lt;'params, Scheme: <a class="trait" href="../../poly/commitment/trait.CommitmentScheme.html" title="trait halo2_backend::poly::commitment::CommitmentScheme">CommitmentScheme</a>, V: <a class="trait" href="../../poly/commitment/trait.Verifier.html" title="trait halo2_backend::poly::commitment::Verifier">Verifier</a>&lt;'params, Scheme&gt;, E: <a class="trait" href="../../transcript/trait.EncodedChallenge.html" title="trait halo2_backend::transcript::EncodedChallenge">EncodedChallenge</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Curve" title="type halo2_backend::poly::commitment::CommitmentScheme::Curve">Curve</a>&gt;, T: <a class="trait" href="../../transcript/trait.TranscriptRead.html" title="trait halo2_backend::transcript::TranscriptRead">TranscriptRead</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Curve" title="type halo2_backend::poly::commitment::CommitmentScheme::Curve">Curve</a>, E&gt;, Strategy: <a class="trait" href="../../poly/trait.VerificationStrategy.html" title="trait halo2_backend::poly::VerificationStrategy">VerificationStrategy</a>&lt;'params, Scheme, V&gt;&gt;(
params: &amp;'params Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.ParamsVerifier" title="type halo2_backend::poly::commitment::CommitmentScheme::ParamsVerifier">ParamsVerifier</a>,
vk: &amp;<a class="struct" href="../struct.VerifyingKey.html" title="struct halo2_backend::plonk::VerifyingKey">VerifyingKey</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Curve" title="type halo2_backend::poly::commitment::CommitmentScheme::Curve">Curve</a>&gt;,
strategy: Strategy,
instances: &amp;[&amp;[&amp;[Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Scalar" title="type halo2_backend::poly::commitment::CommitmentScheme::Scalar">Scalar</a>]]],
instances: &amp;[<a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Scalar" title="type halo2_backend::poly::commitment::CommitmentScheme::Scalar">Scalar</a>&gt;&gt;],
transcript: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;mut T</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;Strategy::<a class="associatedtype" href="../../poly/trait.VerificationStrategy.html#associatedtype.Output" title="type halo2_backend::poly::VerificationStrategy::Output">Output</a>, <a class="enum" href="../enum.Error.html" title="enum halo2_backend::plonk::Error">Error</a>&gt;<div class="where">where
Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Scalar" title="type halo2_backend::poly::commitment::CommitmentScheme::Scalar">Scalar</a>: WithSmallOrderMulGroup&lt;3&gt; + FromUniformBytes&lt;64&gt;,</div></code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>Returns a boolean indicating whether or not the proof is valid</p>
Expand Down
2 changes: 1 addition & 1 deletion halo2_backend/plonk/verifier/fn.verify_proof_single.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
params: &amp;'params Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.ParamsVerifier" title="type halo2_backend::poly::commitment::CommitmentScheme::ParamsVerifier">ParamsVerifier</a>,
vk: &amp;<a class="struct" href="../struct.VerifyingKey.html" title="struct halo2_backend::plonk::VerifyingKey">VerifyingKey</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Curve" title="type halo2_backend::poly::commitment::CommitmentScheme::Curve">Curve</a>&gt;,
strategy: Strategy,
instance: &amp;[&amp;[Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Scalar" title="type halo2_backend::poly::commitment::CommitmentScheme::Scalar">Scalar</a>]],
instance: <a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;<a class="struct" href="https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Scalar" title="type halo2_backend::poly::commitment::CommitmentScheme::Scalar">Scalar</a>&gt;&gt;,
transcript: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;mut T</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;Strategy::<a class="associatedtype" href="../../poly/trait.VerificationStrategy.html#associatedtype.Output" title="type halo2_backend::poly::VerificationStrategy::Output">Output</a>, <a class="enum" href="../enum.Error.html" title="enum halo2_backend::plonk::Error">Error</a>&gt;<div class="where">where
Scheme::<a class="associatedtype" href="../../poly/commitment/trait.CommitmentScheme.html#associatedtype.Scalar" title="type halo2_backend::poly::commitment::CommitmentScheme::Scalar">Scalar</a>: WithSmallOrderMulGroup&lt;3&gt; + FromUniformBytes&lt;64&gt;,
Expand Down
2 changes: 1 addition & 1 deletion halo2_backend/plonk/verifier/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 verifier</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li><li><a href="#functions">Functions</a></li></ul></section><h2><a href="../index.html">In halo2_backend::plonk</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 href="../index.html">plonk</a>::<wbr><a class="mod" href="#">verifier</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/verifier.rs.html#1-518">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>Verify a plonk proof</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_backend/index.html">halo2_backend</a><span class="version">0.3.0</span></h2></div><h2 class="location"><a href="#">Module verifier</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#structs">Structs</a></li><li><a href="#functions">Functions</a></li></ul></section><h2><a href="../index.html">In halo2_backend::plonk</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 href="../index.html">plonk</a>::<wbr><a class="mod" href="#">verifier</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/verifier.rs.html#1-521">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>Verify a plonk proof</p>
</div></details><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.BatchVerifier.html" title="struct halo2_backend::plonk::verifier::BatchVerifier">BatchVerifier</a></div><div class="desc docblock-short">A verifier that checks multiple proofs in a batch. <strong>This requires the
<code>batch</code> crate feature to be enabled.</strong></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.verify_proof.html" title="fn halo2_backend::plonk::verifier::verify_proof">verify_proof</a></div><div class="desc docblock-short">Returns a boolean indicating whether or not the proof is valid</div></li><li><div class="item-name"><a class="fn" href="fn.verify_proof_single.html" title="fn halo2_backend::plonk::verifier::verify_proof_single">verify_proof_single</a></div><div class="desc docblock-short">Returns a boolean indicating whether or not the proof is valid. Verifies a single proof (not
batched).</div></li></ul></section></div></main></body></html>
Loading

0 comments on commit b6c8986

Please sign in to comment.