Struct bellperson::groth16::aggregate::Key [−][src]
pub struct Key<G: CurveAffine> { pub a: Vec<G>, pub b: Vec<G>, }
Expand description
Key is a generic commitment key that is instanciated with g and h as basis, and a and b as powers.
Fields
a: Vec<G>
Exponent is a
b: Vec<G>
Exponent is b
Implementations
impl<G> Key<G> where
G: CurveAffine,
[src]
impl<G> Key<G> where
G: CurveAffine,
[src]pub fn has_correct_len(&self, n: usize) -> bool
[src]
pub fn has_correct_len(&self, n: usize) -> bool
[src]Returns true if commitment keys have the exact required length. It is necessary for the IPP scheme to work that commitment key have the exact same number of arguments as the number of proofs to aggregate.
pub fn scale(&self, s_vec: &[G::Scalar]) -> Result<Self, SynthesisError>
[src]
pub fn scale(&self, s_vec: &[G::Scalar]) -> Result<Self, SynthesisError>
[src]Returns both vectors scaled by the given vector entrywise. In other words, it returns ${v_i^{s_i}}$
pub fn split(self, at: usize) -> (Self, Self)
[src]
pub fn split(self, at: usize) -> (Self, Self)
[src]Returns the left and right commitment key part. It makes copy.
Trait Implementations
impl<G: Clone + CurveAffine> Clone for Key<G>
[src]
impl<G: Clone + CurveAffine> Clone for Key<G>
[src]Auto Trait Implementations
impl<G> RefUnwindSafe for Key<G> where
G: RefUnwindSafe,
G: RefUnwindSafe,
impl<G> Send for Key<G>
impl<G> Sync for Key<G>
impl<G> Unpin for Key<G> where
G: Unpin,
G: Unpin,
impl<G> UnwindSafe for Key<G> where
G: UnwindSafe,
G: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,