deploy: f3d7790

docs/arecibo/provider/non_hiding_zeromorph/struct.ZMPCS.html

@@ -4,8 +4,8 @@
 as we will have several impls for the trait pegged on the same instance of a <code>pairing::Engine</code>.</p>
 </div></details><h2 id="trait-implementations" class="section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Clone-for-ZMPCS%3CE,+NE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#221">source</a><a href="#impl-Clone-for-ZMPCS%3CE,+NE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>, NE: <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a> for <a class="struct" href="struct.ZMPCS.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMPCS">ZMPCS</a>&lt;E, NE&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.clone" class="method trait-impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#221">source</a><a href="#method.clone" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.77.2/core/clone/trait.Clone.html#tymethod.clone" class="fn">clone</a>(&amp;self) -&gt; <a class="struct" href="struct.ZMPCS.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMPCS">ZMPCS</a>&lt;E, NE&gt;</h4></section></summary><div class='docblock'>Returns a copy of the value. <a href="https://doc.rust-lang.org/1.77.2/core/clone/trait.Clone.html#tymethod.clone">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.clone_from" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.77.2/src/core/clone.rs.html#169">source</a></span><a href="#method.clone_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.77.2/core/clone/trait.Clone.html#method.clone_from" class="fn">clone_from</a>(&amp;mut self, source: <a class="primitive" href="https://doc.rust-lang.org/1.77.2/std/primitive.reference.html">&amp;Self</a>)</h4></section></summary><div class='docblock'>Performs copy-assignment from <code>source</code>. <a href="https://doc.rust-lang.org/1.77.2/core/clone/trait.Clone.html#method.clone_from">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Debug-for-ZMPCS%3CE,+NE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#221">source</a><a href="#impl-Debug-for-ZMPCS%3CE,+NE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>, NE: <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.ZMPCS.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMPCS">ZMPCS</a>&lt;E, NE&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt" class="method trait-impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#221">source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.77.2/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/1.77.2/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/1.77.2/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/1.77.2/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Default-for-ZMPCS%3CE,+NE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#221">source</a><a href="#impl-Default-for-ZMPCS%3CE,+NE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/default/trait.Default.html" title="trait core::default::Default">Default</a>, NE: <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/default/trait.Default.html" title="trait core::default::Default">Default</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.77.2/core/default/trait.Default.html" title="trait core::default::Default">Default</a> for <a class="struct" href="struct.ZMPCS.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMPCS">ZMPCS</a>&lt;E, NE&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.default" class="method trait-impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#221">source</a><a href="#method.default" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.77.2/core/default/trait.Default.html#tymethod.default" class="fn">default</a>() -&gt; <a class="struct" href="struct.ZMPCS.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMPCS">ZMPCS</a>&lt;E, NE&gt;</h4></section></summary><div class='docblock'>Returns the “default value” for a type. <a href="https://doc.rust-lang.org/1.77.2/core/default/trait.Default.html#tymethod.default">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-EvaluationEngineTrait%3CNE%3E-for-ZMPCS%3CE,+NE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#546-597">source</a><a href="#impl-EvaluationEngineTrait%3CNE%3E-for-ZMPCS%3CE,+NE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: MultiMillerLoop, NE: <a class="trait" href="../../traits/trait.Engine.html" title="trait arecibo::traits::Engine">NovaEngine</a>&lt;GE = E::G1, Scalar = E::Fr, CE = KZGCommitmentEngine&lt;E&gt;&gt;&gt; <a class="trait" href="../../traits/evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;NE&gt; for <a class="struct" href="struct.ZMPCS.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMPCS">ZMPCS</a>&lt;E, NE&gt;<div class="where">where
     E::G1: DlogGroup&lt;ScalarExt = E::Fr, AffineExt = E::G1Affine&gt;,
-    E::G1Affine: <a class="trait" href="https://docs.rs/serde/1.0.200/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + for&lt;'de&gt; <a class="trait" href="https://docs.rs/serde/1.0.200/serde/de/trait.Deserialize.html" title="trait serde::de::Deserialize">Deserialize</a>&lt;'de&gt;,
-    E::G2Affine: <a class="trait" href="https://docs.rs/serde/1.0.200/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + for&lt;'de&gt; <a class="trait" href="https://docs.rs/serde/1.0.200/serde/de/trait.Deserialize.html" title="trait serde::de::Deserialize">Deserialize</a>&lt;'de&gt;,
+    E::G1Affine: <a class="trait" href="https://docs.rs/serde/1.0.202/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + for&lt;'de&gt; <a class="trait" href="https://docs.rs/serde/1.0.202/serde/de/trait.Deserialize.html" title="trait serde::de::Deserialize">Deserialize</a>&lt;'de&gt;,
+    E::G2Affine: <a class="trait" href="https://docs.rs/serde/1.0.202/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + for&lt;'de&gt; <a class="trait" href="https://docs.rs/serde/1.0.202/serde/de/trait.Deserialize.html" title="trait serde::de::Deserialize">Deserialize</a>&lt;'de&gt;,
     &lt;E::G1 as <a class="trait" href="../../traits/trait.Group.html" title="trait arecibo::traits::Group">Group</a>&gt;::<a class="associatedtype" href="../../traits/trait.Group.html#associatedtype.Base" title="type arecibo::traits::Group::Base">Base</a>: <a class="trait" href="../../traits/trait.TranscriptReprTrait.html" title="trait arecibo::traits::TranscriptReprTrait">TranscriptReprTrait</a>&lt;E::G1&gt;,
     E::Fr: PrimeFieldBits,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.ProverKey" class="associatedtype trait-impl"><a href="#associatedtype.ProverKey" class="anchor">§</a><h4 class="code-header">type <a href="../../traits/evaluation/trait.EvaluationEngineTrait.html#associatedtype.ProverKey" class="associatedtype">ProverKey</a> = <a class="struct" href="struct.ZMProverKey.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMProverKey">ZMProverKey</a>&lt;E&gt;</h4></section></summary><div class='docblock'>A type that holds the prover key</div></details><details class="toggle" open><summary><section id="associatedtype.VerifierKey" class="associatedtype trait-impl"><a href="#associatedtype.VerifierKey" class="anchor">§</a><h4 class="code-header">type <a href="../../traits/evaluation/trait.EvaluationEngineTrait.html#associatedtype.VerifierKey" class="associatedtype">VerifierKey</a> = <a class="struct" href="struct.ZMVerifierKey.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMVerifierKey">ZMVerifierKey</a>&lt;E&gt;</h4></section></summary><div class='docblock'>A type that holds the verifier key</div></details><details class="toggle" open><summary><section id="associatedtype.EvaluationArgument" class="associatedtype trait-impl"><a href="#associatedtype.EvaluationArgument" class="anchor">§</a><h4 class="code-header">type <a href="../../traits/evaluation/trait.EvaluationEngineTrait.html#associatedtype.EvaluationArgument" class="associatedtype">EvaluationArgument</a> = <a class="struct" href="struct.ZMProof.html" title="struct arecibo::provider::non_hiding_zeromorph::ZMProof">ZMProof</a>&lt;E&gt;</h4></section></summary><div class='docblock'>A type that holds the evaluation argument</div></details><details class="toggle method-toggle" open><summary><section id="method.setup" class="method trait-impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#560-563">source</a><a href="#method.setup" class="anchor">§</a><h4 class="code-header">fn <a href="../../traits/evaluation/trait.EvaluationEngineTrait.html#tymethod.setup" class="fn">setup</a>(ck: <a class="struct" href="https://doc.rust-lang.org/1.77.2/alloc/sync/struct.Arc.html" title="struct alloc::sync::Arc">Arc</a>&lt;UniversalKZGParam&lt;E&gt;&gt;) -&gt; (Self::<a class="associatedtype" href="../../traits/evaluation/trait.EvaluationEngineTrait.html#associatedtype.ProverKey" title="type arecibo::traits::evaluation::EvaluationEngineTrait::ProverKey">ProverKey</a>, Self::<a class="associatedtype" href="../../traits/evaluation/trait.EvaluationEngineTrait.html#associatedtype.VerifierKey" title="type arecibo::traits::evaluation::EvaluationEngineTrait::VerifierKey">VerifierKey</a>)</h4></section></summary><div class='docblock'>A method to perform any additional setup needed to produce proofs of evaluations <a href="../../traits/evaluation/trait.EvaluationEngineTrait.html#tymethod.setup">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.prove" class="method trait-impl"><a class="src rightside" href="../../../src/arecibo/provider/non_hiding_zeromorph.rs.html#565-579">source</a><a href="#method.prove" class="anchor">§</a><h4 class="code-header">fn <a href="../../traits/evaluation/trait.EvaluationEngineTrait.html#tymethod.prove" class="fn">prove</a>(
     _ck: &amp;UniversalKZGParam&lt;E&gt;,