deploy: 26fc7c2

halo2_backend/poly/ipa/multiopen/struct.VerifierIPA.html

@@ -25,12 +25,12 @@
 output.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-VerificationStrategy%3C'params,+IPACommitmentScheme%3CC%3E,+VerifierIPA%3CC%3E%3E-for-SingleStrategy%3C'params,+C%3E" class="impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/strategy.rs.html#119-152">source</a><a href="#impl-VerificationStrategy%3C'params,+IPACommitmentScheme%3CC%3E,+VerifierIPA%3CC%3E%3E-for-SingleStrategy%3C'params,+C%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'params, C: <a class="trait" href="../../../arithmetic/trait.CurveAffine.html" title="trait halo2_backend::arithmetic::CurveAffine">CurveAffine</a>&gt; <a class="trait" href="../../trait.VerificationStrategy.html" title="trait halo2_backend::poly::VerificationStrategy">VerificationStrategy</a>&lt;'params, <a class="struct" href="../commitment/struct.IPACommitmentScheme.html" title="struct halo2_backend::poly::ipa::commitment::IPACommitmentScheme">IPACommitmentScheme</a>&lt;C&gt;, <a class="struct" href="struct.VerifierIPA.html" title="struct halo2_backend::poly::ipa::multiopen::VerifierIPA">VerifierIPA</a>&lt;C&gt;&gt; for <a class="struct" href="../strategy/struct.SingleStrategy.html" title="struct halo2_backend::poly::ipa::strategy::SingleStrategy">SingleStrategy</a>&lt;'params, C&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.finalize-1" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/strategy.rs.html#149-151">source</a><a href="#method.finalize-1" class="anchor">§</a><h4 class="code-header">fn <a href="../../trait.VerificationStrategy.html#tymethod.finalize" class="fn">finalize</a>(self) -&gt; <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a></h4></section></summary><div class="docblock"><p>Finalizes the batch and checks its validity.</p>
 <p>Returns <code>false</code> if <em>some</em> proof was invalid. If the caller needs to identify
 specific failing proofs, it must re-process the proofs separately.</p>
-</div></details><details class="toggle" open><summary><section id="associatedtype.Output-1" class="associatedtype trait-impl"><a href="#associatedtype.Output-1" class="anchor">§</a><h4 class="code-header">type <a href="../../trait.VerificationStrategy.html#associatedtype.Output" class="associatedtype">Output</a> = <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.unit.html">()</a></h4></section></summary><div class='docblock'>The output type of this verification strategy after processing a proof.</div></details><details class="toggle method-toggle" open><summary><section id="method.new-1" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/strategy.rs.html#124-128">source</a><a href="#method.new-1" class="anchor">§</a><h4 class="code-header">fn <a href="../../trait.VerificationStrategy.html#tymethod.new" class="fn">new</a>(params: &amp;'params <a class="struct" href="../commitment/struct.ParamsIPA.html" title="struct halo2_backend::poly::ipa::commitment::ParamsIPA">ParamsIPA</a>&lt;C&gt;) -&gt; Self</h4></section></summary><div class='docblock'>Creates new verification strategy instance</div></details><details class="toggle method-toggle" open><summary><section id="method.process-1" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/strategy.rs.html#130-142">source</a><a href="#method.process-1" class="anchor">§</a><h4 class="code-header">fn <a href="../../trait.VerificationStrategy.html#tymethod.process" class="fn">process</a>(
+</div></details><details class="toggle" open><summary><section id="associatedtype.Output-1" class="associatedtype trait-impl"><a href="#associatedtype.Output-1" class="anchor">§</a><h4 class="code-header">type <a href="../../trait.VerificationStrategy.html#associatedtype.Output" class="associatedtype">Output</a> = <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.unit.html">()</a></h4></section></summary><div class='docblock'>The output type of this verification strategy after processing a proof.</div></details><details class="toggle method-toggle" open><summary><section id="method.new-2" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/strategy.rs.html#124-128">source</a><a href="#method.new-2" class="anchor">§</a><h4 class="code-header">fn <a href="../../trait.VerificationStrategy.html#tymethod.new" class="fn">new</a>(params: &amp;'params <a class="struct" href="../commitment/struct.ParamsIPA.html" title="struct halo2_backend::poly::ipa::commitment::ParamsIPA">ParamsIPA</a>&lt;C&gt;) -&gt; Self</h4></section></summary><div class='docblock'>Creates new verification strategy instance</div></details><details class="toggle method-toggle" open><summary><section id="method.process-1" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/strategy.rs.html#130-142">source</a><a href="#method.process-1" class="anchor">§</a><h4 class="code-header">fn <a href="../../trait.VerificationStrategy.html#tymethod.process" class="fn">process</a>(
     self,
     f: impl <a class="trait" href="https://doc.rust-lang.org/nightly/core/ops/function/trait.FnOnce.html" title="trait core::ops::function::FnOnce">FnOnce</a>(<a class="struct" href="../msm/struct.MSMIPA.html" title="struct halo2_backend::poly::ipa::msm::MSMIPA">MSMIPA</a>&lt;'params, C&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="../strategy/struct.GuardIPA.html" title="struct halo2_backend::poly::ipa::strategy::GuardIPA">GuardIPA</a>&lt;'params, C&gt;, <a class="enum" href="../../../plonk/enum.Error.html" title="enum halo2_backend::plonk::Error">Error</a>&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;Self::<a class="associatedtype" href="../../trait.VerificationStrategy.html#associatedtype.Output" title="type halo2_backend::poly::VerificationStrategy::Output">Output</a>, <a class="enum" href="../../../plonk/enum.Error.html" title="enum halo2_backend::plonk::Error">Error</a>&gt;</h4></section></summary><div class='docblock'>Obtains an MSM from the verifier strategy and yields back the strategy’s
 output.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Verifier%3C'params,+IPACommitmentScheme%3CC%3E%3E-for-VerifierIPA%3CC%3E" class="impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/multiopen/verifier.rs.html#22-151">source</a><a href="#impl-Verifier%3C'params,+IPACommitmentScheme%3CC%3E%3E-for-VerifierIPA%3CC%3E" class="anchor">§</a><h3 class="code-header">impl&lt;'params, C: <a class="trait" href="../../../arithmetic/trait.CurveAffine.html" title="trait halo2_backend::arithmetic::CurveAffine">CurveAffine</a>&gt; <a class="trait" href="../../commitment/trait.Verifier.html" title="trait halo2_backend::poly::commitment::Verifier">Verifier</a>&lt;'params, <a class="struct" href="../commitment/struct.IPACommitmentScheme.html" title="struct halo2_backend::poly::ipa::commitment::IPACommitmentScheme">IPACommitmentScheme</a>&lt;C&gt;&gt; for <a class="struct" href="struct.VerifierIPA.html" title="struct halo2_backend::poly::ipa::multiopen::VerifierIPA">VerifierIPA</a>&lt;C&gt;</h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Guard" class="associatedtype trait-impl"><a href="#associatedtype.Guard" class="anchor">§</a><h4 class="code-header">type <a href="../../commitment/trait.Verifier.html#associatedtype.Guard" class="associatedtype">Guard</a> = <a class="struct" href="../strategy/struct.GuardIPA.html" title="struct halo2_backend::poly::ipa::strategy::GuardIPA">GuardIPA</a>&lt;'params, C&gt;</h4></section></summary><div class='docblock'>Unfinalized verification result. This is returned in verification
-to allow developer to compress or combine verification results</div></details><details class="toggle" open><summary><section id="associatedtype.MSMAccumulator" class="associatedtype trait-impl"><a href="#associatedtype.MSMAccumulator" class="anchor">§</a><h4 class="code-header">type <a href="../../commitment/trait.Verifier.html#associatedtype.MSMAccumulator" class="associatedtype">MSMAccumulator</a> = <a class="struct" href="../msm/struct.MSMIPA.html" title="struct halo2_backend::poly::ipa::msm::MSMIPA">MSMIPA</a>&lt;'params, C&gt;</h4></section></summary><div class='docblock'>Accumulator for compressed verification</div></details><details class="toggle" open><summary><section id="associatedconstant.QUERY_INSTANCE" class="associatedconstant trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/multiopen/verifier.rs.html#26">source</a><a href="#associatedconstant.QUERY_INSTANCE" class="anchor">§</a><h4 class="code-header">const <a href="../../commitment/trait.Verifier.html#associatedconstant.QUERY_INSTANCE" class="constant">QUERY_INSTANCE</a>: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a> = true</h4></section></summary><div class='docblock'>Query instance or not</div></details><details class="toggle method-toggle" open><summary><section id="method.new-2" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/multiopen/verifier.rs.html#28-32">source</a><a href="#method.new-2" class="anchor">§</a><h4 class="code-header">fn <a href="../../commitment/trait.Verifier.html#tymethod.new" class="fn">new</a>() -&gt; Self</h4></section></summary><div class='docblock'>Creates new verifier instance</div></details><details class="toggle method-toggle" open><summary><section id="method.verify_proof" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/multiopen/verifier.rs.html#34-150">source</a><a href="#method.verify_proof" class="anchor">§</a><h4 class="code-header">fn <a href="../../commitment/trait.Verifier.html#tymethod.verify_proof" class="fn">verify_proof</a>&lt;'com, E: <a class="trait" href="../../../transcript/trait.EncodedChallenge.html" title="trait halo2_backend::transcript::EncodedChallenge">EncodedChallenge</a>&lt;C&gt;, T: <a class="trait" href="../../../transcript/trait.TranscriptRead.html" title="trait halo2_backend::transcript::TranscriptRead">TranscriptRead</a>&lt;C, E&gt;, I&gt;(
+to allow developer to compress or combine verification results</div></details><details class="toggle" open><summary><section id="associatedtype.MSMAccumulator" class="associatedtype trait-impl"><a href="#associatedtype.MSMAccumulator" class="anchor">§</a><h4 class="code-header">type <a href="../../commitment/trait.Verifier.html#associatedtype.MSMAccumulator" class="associatedtype">MSMAccumulator</a> = <a class="struct" href="../msm/struct.MSMIPA.html" title="struct halo2_backend::poly::ipa::msm::MSMIPA">MSMIPA</a>&lt;'params, C&gt;</h4></section></summary><div class='docblock'>Accumulator for compressed verification</div></details><details class="toggle" open><summary><section id="associatedconstant.QUERY_INSTANCE" class="associatedconstant trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/multiopen/verifier.rs.html#26">source</a><a href="#associatedconstant.QUERY_INSTANCE" class="anchor">§</a><h4 class="code-header">const <a href="../../commitment/trait.Verifier.html#associatedconstant.QUERY_INSTANCE" class="constant">QUERY_INSTANCE</a>: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.bool.html">bool</a> = true</h4></section></summary><div class='docblock'>Query instance or not</div></details><details class="toggle method-toggle" open><summary><section id="method.new-1" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/multiopen/verifier.rs.html#28-32">source</a><a href="#method.new-1" class="anchor">§</a><h4 class="code-header">fn <a href="../../commitment/trait.Verifier.html#tymethod.new" class="fn">new</a>() -&gt; Self</h4></section></summary><div class='docblock'>Creates new verifier instance</div></details><details class="toggle method-toggle" open><summary><section id="method.verify_proof" class="method trait-impl"><a class="src rightside" href="../../../../src/halo2_backend/poly/ipa/multiopen/verifier.rs.html#34-150">source</a><a href="#method.verify_proof" class="anchor">§</a><h4 class="code-header">fn <a href="../../commitment/trait.Verifier.html#tymethod.verify_proof" class="fn">verify_proof</a>&lt;'com, E: <a class="trait" href="../../../transcript/trait.EncodedChallenge.html" title="trait halo2_backend::transcript::EncodedChallenge">EncodedChallenge</a>&lt;C&gt;, T: <a class="trait" href="../../../transcript/trait.TranscriptRead.html" title="trait halo2_backend::transcript::TranscriptRead">TranscriptRead</a>&lt;C, E&gt;, I&gt;(
     &amp;self,
     transcript: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.reference.html">&amp;mut T</a>,
     queries: I,