Struct arkworks_gadgets::keypair::vanchor::constraints::KeypairVar
source · [−]pub struct KeypairVar<F: PrimeField, H: CRH, HG: CRHGadget<H, F>> {
pub private_key: FpVar<F>,
/* private fields */
}
Fields
private_key: FpVar<F>
Implementations
sourceimpl<F: PrimeField, H: CRH, HG: CRHGadget<H, F>> KeypairVar<F, H, HG>
impl<F: PrimeField, H: CRH, HG: CRHGadget<H, F>> KeypairVar<F, H, HG>
pub fn new(private_key_in: &FpVar<F>) -> Result<Self, SynthesisError>
pub fn public_key(
&self,
parameters2: &HG::ParametersVar
) -> Result<<HG as CRHGadget<H, F>>::OutputVar, SynthesisError>
pub fn signature(
&self,
commitment: &HG::OutputVar,
index: &FpVar<F>,
h_w4: &HG::ParametersVar
) -> Result<HG::OutputVar, SynthesisError>
Trait Implementations
sourceimpl<F: PrimeField, H2: CRH, HG2: CRHGadget<H2, F>> AllocVar<Keypair<F, H2>, F> for KeypairVar<F, H2, HG2>
impl<F: PrimeField, H2: CRH, HG2: CRHGadget<H2, F>> AllocVar<Keypair<F, H2>, F> for KeypairVar<F, H2, HG2>
sourcefn new_variable<T: Borrow<Keypair<F, H2>>>(
into_ns: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>,
mode: AllocationMode
) -> Result<Self, SynthesisError>
fn new_variable<T: Borrow<Keypair<F, H2>>>(
into_ns: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>,
mode: AllocationMode
) -> Result<Self, SynthesisError>
Allocates a new variable of type Self
in the ConstraintSystem
cs
.
The mode of allocation is decided by mode
. Read more
sourcefn new_constant(
cs: impl Into<Namespace<F>>,
t: impl Borrow<V>
) -> Result<Self, SynthesisError>
fn new_constant(
cs: impl Into<Namespace<F>>,
t: impl Borrow<V>
) -> Result<Self, SynthesisError>
Allocates a new constant of type Self
in the ConstraintSystem
cs
. Read more
sourcefn new_input<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
fn new_input<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
Allocates a new public input of type Self
in the ConstraintSystem
cs
. Read more
sourcefn new_witness<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
fn new_witness<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
T: Borrow<V>,
Allocates a new private witness of type Self
in the ConstraintSystem
cs
. Read more
sourceimpl<F: Clone + PrimeField, H: Clone + CRH, HG: Clone + CRHGadget<H, F>> Clone for KeypairVar<F, H, HG>
impl<F: Clone + PrimeField, H: Clone + CRH, HG: Clone + CRHGadget<H, F>> Clone for KeypairVar<F, H, HG>
sourcefn clone(&self) -> KeypairVar<F, H, HG>
fn clone(&self) -> KeypairVar<F, H, HG>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
Auto Trait Implementations
impl<F, H, HG> !RefUnwindSafe for KeypairVar<F, H, HG>
impl<F, H, HG> !Send for KeypairVar<F, H, HG>
impl<F, H, HG> !Sync for KeypairVar<F, H, HG>
impl<F, H, HG> Unpin for KeypairVar<F, H, HG> where
F: Unpin,
H: Unpin,
HG: Unpin,
impl<F, H, HG> !UnwindSafe for KeypairVar<F, H, HG>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into
)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>,
pub fn vzip(self) -> V
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more