deploy: 4b47563

docs/arecibo/traits/snark/trait.DigestHelperTrait.html

@@ -4,4 +4,4 @@
     fn <a href="#tymethod.digest" class="fn">digest</a>(&amp;self) -&gt; E::<a class="associatedtype" href="../trait.Engine.html#associatedtype.Scalar" title="type arecibo::traits::Engine::Scalar">Scalar</a>;
 }</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>A helper trait that defines the behavior of a verifier key of <code>zkSNARK</code></p>
 </div></details><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.digest" class="method"><a class="src rightside" href="../../../src/arecibo/traits/snark.rs.html#102">source</a><h4 class="code-header">fn <a href="#tymethod.digest" class="fn">digest</a>(&amp;self) -&gt; E::<a class="associatedtype" href="../trait.Engine.html#associatedtype.Scalar" title="type arecibo::traits::Engine::Scalar">Scalar</a></h4></section></summary><div class="docblock"><p>Returns the digest of the verifier’s key</p>
-</div></details></div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/batched.rs.html#90-102">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::batched::<a class="struct" href="../../spartan/batched/struct.VerifierKey.html" title="struct arecibo::spartan::batched::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-1" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/batched_ppsnark.rs.html#81-93">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-1" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::batched_ppsnark::<a class="struct" href="../../spartan/batched_ppsnark/struct.VerifierKey.html" title="struct arecibo::spartan::batched_ppsnark::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-2" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/ppsnark.rs.html#453-465">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-2" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::ppsnark::<a class="struct" href="../../spartan/ppsnark/struct.VerifierKey.html" title="struct arecibo::spartan::ppsnark::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-3" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/snark.rs.html#62-74">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-3" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::snark::<a class="struct" href="../../spartan/snark/struct.VerifierKey.html" title="struct arecibo::spartan::snark::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section></div><script src="../../../trait.impl/arecibo/traits/snark/trait.DigestHelperTrait.js" async></script></section></div></main></body></html>
+</div></details></div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/batched.rs.html#90-102">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::batched::<a class="struct" href="../../spartan/batched/struct.VerifierKey.html" title="struct arecibo::spartan::batched::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-1" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/batched_ppsnark.rs.html#81-93">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-1" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::batched_ppsnark::<a class="struct" href="../../spartan/batched_ppsnark/struct.VerifierKey.html" title="struct arecibo::spartan::batched_ppsnark::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-2" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/ppsnark.rs.html#453-465">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-2" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::ppsnark::<a class="struct" href="../../spartan/ppsnark/struct.VerifierKey.html" title="struct arecibo::spartan::ppsnark::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section><section id="impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-3" class="impl"><a class="src rightside" href="../../../src/arecibo/spartan/snark.rs.html#66-78">source</a><a href="#impl-DigestHelperTrait%3CE%3E-for-VerifierKey%3CE,+EE%3E-3" class="anchor">§</a><h3 class="code-header">impl&lt;E: <a class="trait" href="../trait.Engine.html" title="trait arecibo::traits::Engine">Engine</a>, EE: <a class="trait" href="../evaluation/trait.EvaluationEngineTrait.html" title="trait arecibo::traits::evaluation::EvaluationEngineTrait">EvaluationEngineTrait</a>&lt;E&gt;&gt; <a class="trait" href="trait.DigestHelperTrait.html" title="trait arecibo::traits::snark::DigestHelperTrait">DigestHelperTrait</a>&lt;E&gt; for arecibo::spartan::snark::<a class="struct" href="../../spartan/snark/struct.VerifierKey.html" title="struct arecibo::spartan::snark::VerifierKey">VerifierKey</a>&lt;E, EE&gt;</h3></section></div><script src="../../../trait.impl/arecibo/traits/snark/trait.DigestHelperTrait.js" async></script></section></div></main></body></html>