Skip to content

Commit

Permalink
deploy: 9cdccb3
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-merge-queue
github-merge-queue[bot] committed Feb 20, 2024
1 parent c56c7df commit 79b7fc1
Show file tree
Hide file tree
Showing 64 changed files with 257 additions and 257 deletions.
2 changes: 1 addition & 1 deletion docs/arecibo/errors/enum.NovaError.html
View file

Large diffs are not rendered by default.

18 changes: 9 additions & 9 deletions docs/arecibo/provider/hyperkzg/struct.EvaluationArgument.html
View file

Large diffs are not rendered by default.

6 changes: 3 additions & 3 deletions docs/arecibo/provider/hyperkzg/struct.EvaluationEngine.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,9 @@
</div></details></div></details></div><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-EvaluationEngine%3CE,+NE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/provider/hyperkzg.rs.html#48">source</a><a href="#impl-Clone-for-EvaluationEngine%3CE,+NE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>, NE: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a> for <a class="struct" href="struct.EvaluationEngine.html" title="struct arecibo::provider::hyperkzg::EvaluationEngine">EvaluationEngine</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/hyperkzg.rs.html#48">source</a><a href="#method.clone" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/core/clone/trait.Clone.html#tymethod.clone" class="fn">clone</a>(&amp;self) -&gt; <a class="struct" href="struct.EvaluationEngine.html" title="struct arecibo::provider::hyperkzg::EvaluationEngine">EvaluationEngine</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.76.0/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.76.0/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.76.0/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.76.0/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.76.0/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-EvaluationEngine%3CE,+NE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/provider/hyperkzg.rs.html#48">source</a><a href="#impl-Debug-for-EvaluationEngine%3CE,+NE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>, NE: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.EvaluationEngine.html" title="struct arecibo::provider::hyperkzg::EvaluationEngine">EvaluationEngine</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/hyperkzg.rs.html#48">source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/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.76.0/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.76.0/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.76.0/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-EvaluationEngineTrait%3CNE%3E-for-EvaluationEngine%3CE,+NE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/provider/hyperkzg.rs.html#108-415">source</a><a href="#impl-EvaluationEngineTrait%3CNE%3E-for-EvaluationEngine%3CE,+NE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E, NE&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.EvaluationEngine.html" title="struct arecibo::provider::hyperkzg::EvaluationEngine">EvaluationEngine</a>&lt;E, NE&gt;<div class="where">where
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;,
E::Fr: <a class="trait" href="https://docs.rs/serde/1.0.196/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + <a class="trait" href="https://docs.rs/serde/1.0.196/serde/de/trait.DeserializeOwned.html" title="trait serde::de::DeserializeOwned">DeserializeOwned</a> + PrimeFieldBits + <a class="trait" href="../../traits/trait.TranscriptReprTrait.html" title="trait arecibo::traits::TranscriptReprTrait">TranscriptReprTrait</a>&lt;E::G1&gt;,
E::G1Affine: <a class="trait" href="https://docs.rs/serde/1.0.196/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + <a class="trait" href="https://docs.rs/serde/1.0.196/serde/de/trait.DeserializeOwned.html" title="trait serde::de::DeserializeOwned">DeserializeOwned</a> + <a class="trait" href="../../traits/trait.TranscriptReprTrait.html" title="trait arecibo::traits::TranscriptReprTrait">TranscriptReprTrait</a>&lt;E::G1&gt;,
E::G2Affine: <a class="trait" href="https://docs.rs/serde/1.0.196/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + <a class="trait" href="https://docs.rs/serde/1.0.196/serde/de/trait.DeserializeOwned.html" title="trait serde::de::DeserializeOwned">DeserializeOwned</a>,
E::Fr: <a class="trait" href="https://docs.rs/serde/1.0.197/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + <a class="trait" href="https://docs.rs/serde/1.0.197/serde/de/trait.DeserializeOwned.html" title="trait serde::de::DeserializeOwned">DeserializeOwned</a> + PrimeFieldBits + <a class="trait" href="../../traits/trait.TranscriptReprTrait.html" title="trait arecibo::traits::TranscriptReprTrait">TranscriptReprTrait</a>&lt;E::G1&gt;,
E::G1Affine: <a class="trait" href="https://docs.rs/serde/1.0.197/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + <a class="trait" href="https://docs.rs/serde/1.0.197/serde/de/trait.DeserializeOwned.html" title="trait serde::de::DeserializeOwned">DeserializeOwned</a> + <a class="trait" href="../../traits/trait.TranscriptReprTrait.html" title="trait arecibo::traits::TranscriptReprTrait">TranscriptReprTrait</a>&lt;E::G1&gt;,
E::G2Affine: <a class="trait" href="https://docs.rs/serde/1.0.197/serde/ser/trait.Serialize.html" title="trait serde::ser::Serialize">Serialize</a> + <a class="trait" href="https://docs.rs/serde/1.0.197/serde/de/trait.DeserializeOwned.html" title="trait serde::de::DeserializeOwned">DeserializeOwned</a>,
E::G1: DlogGroup&lt;ScalarExt = E::Fr, AffineExt = E::G1Affine&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;,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.verify" class="method trait-impl"><a class="src rightside" href="../../../src/arecibo/provider/hyperkzg.rs.html#266-414">source</a><a href="#method.verify" class="anchor">§</a><h4 class="code-header">fn <a href="../../traits/evaluation/trait.EvaluationEngineTrait.html#tymethod.verify" class="fn">verify</a>(
vk: &amp;Self::<a class="associatedtype" href="../../traits/evaluation/trait.EvaluationEngineTrait.html#associatedtype.VerifierKey" title="type arecibo::traits::evaluation::EvaluationEngineTrait::VerifierKey">VerifierKey</a>,
Expand Down
Loading

0 comments on commit 79b7fc1

Please sign in to comment.