|
1 | 1 | <!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Represent variable of a Plonk verifying key."><title>VerifyingKeyVar in jf_plonk::circuit::plonk_verifier - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Italic-81dc35de.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-MediumItalic-ccf7e434.woff2,FiraSans-Medium-e1aa3f0a.woff2,SourceCodePro-Regular-8badfe75.ttf.woff2,SourceCodePro-Semibold-aa29a496.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../../../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../../../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../../../static.files/rustdoc-84e720fa.css"><meta name="rustdoc-vars" data-root-path="../../../" data-static-root-path="../../../static.files/" data-current-crate="jf_plonk" data-themes="" data-resource-suffix="" data-rustdoc-version="1.89.0 (29483883e 2025-08-04)" data-channel="1.89.0" data-search-js="search-92309212.js" data-settings-js="settings-5514c975.js" ><script src="../../../static.files/storage-4e99c027.js"></script><script defer src="sidebar-items.js"></script><script defer src="../../../static.files/main-fd3af306.js"></script><noscript><link rel="stylesheet" href="../../../static.files/noscript-32bb7600.css"></noscript><link rel="alternate icon" type="image/png" href="../../../static.files/favicon-32x32-6580c154.png"><link rel="icon" type="image/svg+xml" href="../../../static.files/favicon-044be391.svg"></head><body class="rustdoc struct"><!--[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="../../../jf_plonk/index.html">jf_<wbr>plonk</a><span class="version">0.6.0</span></h2></div><div class="sidebar-elems"><section id="rustdoc-toc"><h2 class="location"><a href="#">Verifying<wbr>KeyVar</a></h2><h3><a href="#implementations">Methods</a></h3><ul class="block method"><li><a href="#method.new" title="new">new</a></li><li><a href="#method.partial_verify_circuit" title="partial_verify_circuit">partial_verify_circuit</a></li><li><a href="#method.to_vec" title="to_vec">to_vec</a></li></ul><h3><a href="#trait-implementations">Trait Implementations</a></h3><ul class="block trait-implementation"><li><a href="#impl-Clone-for-VerifyingKeyVar%3CE%3E" title="Clone">Clone</a></li><li><a href="#impl-Debug-for-VerifyingKeyVar%3CE%3E" title="Debug">Debug</a></li><li><a href="#impl-Eq-for-VerifyingKeyVar%3CE%3E" title="Eq">Eq</a></li><li><a href="#impl-PartialEq-for-VerifyingKeyVar%3CE%3E" title="PartialEq">PartialEq</a></li><li><a href="#impl-StructuralPartialEq-for-VerifyingKeyVar%3CE%3E" title="StructuralPartialEq">StructuralPartialEq</a></li></ul><h3><a href="#synthetic-implementations">Auto Trait Implementations</a></h3><ul class="block synthetic-implementation"><li><a href="#impl-Freeze-for-VerifyingKeyVar%3CE%3E" title="Freeze">Freeze</a></li><li><a href="#impl-RefUnwindSafe-for-VerifyingKeyVar%3CE%3E" title="RefUnwindSafe">RefUnwindSafe</a></li><li><a href="#impl-Send-for-VerifyingKeyVar%3CE%3E" title="Send">Send</a></li><li><a href="#impl-Sync-for-VerifyingKeyVar%3CE%3E" title="Sync">Sync</a></li><li><a href="#impl-Unpin-for-VerifyingKeyVar%3CE%3E" title="Unpin">Unpin</a></li><li><a href="#impl-UnwindSafe-for-VerifyingKeyVar%3CE%3E" title="UnwindSafe">UnwindSafe</a></li></ul><h3><a href="#blanket-implementations">Blanket Implementations</a></h3><ul class="block blanket-implementation"><li><a href="#impl-Any-for-T" title="Any">Any</a></li><li><a href="#impl-Borrow%3CT%3E-for-T" title="Borrow<T>">Borrow<T></a></li><li><a href="#impl-BorrowMut%3CT%3E-for-T" title="BorrowMut<T>">BorrowMut<T></a></li><li><a href="#impl-CloneToUninit-for-T" title="CloneToUninit">CloneToUninit</a></li><li><a href="#impl-Downcast-for-T" title="Downcast">Downcast</a></li><li><a href="#impl-DowncastSync-for-T" title="DowncastSync">DowncastSync</a></li><li><a href="#impl-DynClone-for-T" title="DynClone">DynClone</a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q" title="Equivalent<K>">Equivalent<K></a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q-1" title="Equivalent<K>">Equivalent<K></a></li><li><a href="#impl-From%3CT%3E-for-T" title="From<T>">From<T></a></li><li><a href="#impl-Into%3CU%3E-for-T" title="Into<U>">Into<U></a></li><li><a href="#impl-IntoEither-for-T" title="IntoEither">IntoEither</a></li><li><a href="#impl-Pointable-for-T" title="Pointable">Pointable</a></li><li><a href="#impl-Same-for-T" title="Same">Same</a></li><li><a href="#impl-ToOwned-for-T" title="ToOwned">ToOwned</a></li><li><a href="#impl-TryFrom%3CU%3E-for-T" title="TryFrom<U>">TryFrom<U></a></li><li><a href="#impl-TryInto%3CU%3E-for-T" title="TryInto<U>">TryInto<U></a></li><li><a href="#impl-VZip%3CV%3E-for-T" title="VZip<V>">VZip<V></a></li></ul></section><div id="rustdoc-modnav"><h2><a href="index.html">In jf_<wbr>plonk::<wbr>circuit::<wbr>plonk_<wbr>verifier</a></h2></div></div></nav><div class="sidebar-resizer" title="Drag to resize sidebar"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><div class="rustdoc-breadcrumbs"><a href="../../index.html">jf_plonk</a>::<wbr><a href="../index.html">circuit</a>::<wbr><a href="index.html">plonk_verifier</a></div><h1>Struct <span class="struct">VerifyingKeyVar</span><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><rustdoc-toolbar></rustdoc-toolbar><span class="sub-heading"><a class="src" href="../../../src/jf_plonk/circuit/plonk_verifier/mod.rs.html#36-53">Source</a> </span></div><pre class="rust item-decl"><code>pub struct VerifyingKeyVar<E: Pairing> { <span class="comment">/* private fields */</span> }</code></pre><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>Represent variable of a Plonk verifying key.</p> |
2 | 2 | </div></details><h2 id="implementations" class="section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-VerifyingKeyVar%3CE%3E" class="impl"><a class="src rightside" href="../../../src/jf_plonk/circuit/plonk_verifier/mod.rs.html#55-278">Source</a><a href="#impl-VerifyingKeyVar%3CE%3E" class="anchor">§</a><h3 class="code-header">impl<E: Pairing> <a class="struct" href="struct.VerifyingKeyVar.html" title="struct jf_plonk::circuit::plonk_verifier::VerifyingKeyVar">VerifyingKeyVar</a><E></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.new" class="method"><a class="src rightside" href="../../../src/jf_plonk/circuit/plonk_verifier/mod.rs.html#57-84">Source</a><h4 class="code-header">pub fn <a href="#method.new" class="fn">new</a><F, P>( |
3 | | - circuit: &mut PlonkCircuit<F>, |
| 3 | + circuit: &mut <a class="struct" href="../../../jf_relation/constraint_system/struct.PlonkCircuit.html" title="struct jf_relation::constraint_system::PlonkCircuit">PlonkCircuit</a><F>, |
4 | 4 | verify_key: &<a class="struct" href="../../proof_system/structs/struct.VerifyingKey.html" title="struct jf_plonk::proof_system::structs::VerifyingKey">VerifyingKey</a><E>, |
5 | | -) -> <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, CircuitError><div class="where">where |
| 5 | +) -> <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, <a class="enum" href="../../../jf_relation/enum.CircuitError.html" title="enum jf_relation::CircuitError">CircuitError</a>><div class="where">where |
6 | 6 | E: Pairing<BaseField = F, G1Affine = Affine<P>>, |
7 | | - F: PrimeField + SWToTEConParam, |
| 7 | + F: PrimeField + <a class="trait" href="../../../jf_relation/gadgets/ecc/conversion/trait.SWToTEConParam.html" title="trait jf_relation::gadgets::ecc::conversion::SWToTEConParam">SWToTEConParam</a>, |
8 | 8 | P: SWParam<BaseField = F>,</div></h4></section></summary><div class="docblock"><p>Create a variable for a Plonk verifying key.</p> |
9 | | -</div></details><details class="toggle method-toggle" open><summary><section id="method.to_vec" class="method"><a class="src rightside" href="../../../src/jf_plonk/circuit/plonk_verifier/mod.rs.html#87-98">Source</a><h4 class="code-header">pub fn <a href="#method.to_vec" class="fn">to_vec</a>(&self) -> <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><Variable> <a href="#" class="tooltip" data-notable-ty="Vec<Variable>">ⓘ</a></h4></section></summary><div class="docblock"><p>Convert to a list of variables.</p> |
| 9 | +</div></details><details class="toggle method-toggle" open><summary><section id="method.to_vec" class="method"><a class="src rightside" href="../../../src/jf_plonk/circuit/plonk_verifier/mod.rs.html#87-98">Source</a><h4 class="code-header">pub fn <a href="#method.to_vec" class="fn">to_vec</a>(&self) -> <a class="struct" href="https://doc.rust-lang.org/1.89.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><<a class="type" href="../../../jf_relation/constraint_system/type.Variable.html" title="type jf_relation::constraint_system::Variable">Variable</a>> <a href="#" class="tooltip" data-notable-ty="Vec<Variable>">ⓘ</a></h4></section></summary><div class="docblock"><p>Convert to a list of variables.</p> |
10 | 10 | </div></details><details class="toggle method-toggle" open><summary><section id="method.partial_verify_circuit" class="method"><a class="src rightside" href="../../../src/jf_plonk/circuit/plonk_verifier/mod.rs.html#151-277">Source</a><h4 class="code-header">pub fn <a href="#method.partial_verify_circuit" class="fn">partial_verify_circuit</a><F, P>( |
11 | | - circuit: &mut PlonkCircuit<F>, |
12 | | - beta_g: &TEPoint<F>, |
13 | | - generator_g: &TEPoint<F>, |
| 11 | + circuit: &mut <a class="struct" href="../../../jf_relation/constraint_system/struct.PlonkCircuit.html" title="struct jf_relation::constraint_system::PlonkCircuit">PlonkCircuit</a><F>, |
| 12 | + beta_g: &<a class="struct" href="../../../jf_relation/gadgets/ecc/struct.TEPoint.html" title="struct jf_relation::gadgets::ecc::TEPoint">TEPoint</a><F>, |
| 13 | + generator_g: &<a class="struct" href="../../../jf_relation/gadgets/ecc/struct.TEPoint.html" title="struct jf_relation::gadgets::ecc::TEPoint">TEPoint</a><F>, |
14 | 14 | merged_vks: &[Self], |
15 | | - shared_public_input_vars: &[FpElemVar<F>], |
| 15 | + shared_public_input_vars: &[<a class="struct" href="../../../jf_relation/gadgets/ultraplonk/mod_arith/struct.FpElemVar.html" title="struct jf_relation::gadgets::ultraplonk::mod_arith::FpElemVar">FpElemVar</a><F>], |
16 | 16 | batch_proof: &<a class="struct" href="struct.BatchProofVar.html" title="struct jf_plonk::circuit::plonk_verifier::BatchProofVar">BatchProofVar</a><F>, |
17 | | - blinding_factor: Variable, |
18 | | -) -> <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><(PointVariable, PointVariable), CircuitError><div class="where">where |
| 17 | + blinding_factor: <a class="type" href="../../../jf_relation/constraint_system/type.Variable.html" title="type jf_relation::constraint_system::Variable">Variable</a>, |
| 18 | +) -> <a class="enum" href="https://doc.rust-lang.org/1.89.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><(<a class="struct" href="../../../jf_relation/gadgets/ecc/struct.PointVariable.html" title="struct jf_relation::gadgets::ecc::PointVariable">PointVariable</a>, <a class="struct" href="../../../jf_relation/gadgets/ecc/struct.PointVariable.html" title="struct jf_relation::gadgets::ecc::PointVariable">PointVariable</a>), <a class="enum" href="../../../jf_relation/enum.CircuitError.html" title="enum jf_relation::CircuitError">CircuitError</a>><div class="where">where |
19 | 19 | E: Pairing<BaseField = F, G1Affine = Affine<P>>, |
20 | | - F: RescueParameter + SWToTEConParam, |
| 20 | + F: RescueParameter + <a class="trait" href="../../../jf_relation/gadgets/ecc/conversion/trait.SWToTEConParam.html" title="trait jf_relation::gadgets::ecc::conversion::SWToTEConParam">SWToTEConParam</a>, |
21 | 21 | P: SWParam<BaseField = F> + TEParam,</div></h4></section></summary><div class="docblock"><p>Circuit for partially verifying a batched proof without performing the |
22 | 22 | pairing. Return the variables for the two group elements used in the |
23 | 23 | final pairing. |
|
0 commit comments