pub struct PedersenEmulatedKeyVar<C: SonobeCurve, const H: bool> { /* private fields */ }Expand description
PedersenEmulatedKeyVar is the in-circuit variable for PedersenKey,
whose generators are encoded in the emulated form.
Trait Implementations§
Source§impl<C: SonobeCurve, const H: bool> AllocVar<PedersenKey<C, H>, <C as PrimeGroup>::ScalarField> for PedersenEmulatedKeyVar<C, H>
impl<C: SonobeCurve, const H: bool> AllocVar<PedersenKey<C, H>, <C as PrimeGroup>::ScalarField> for PedersenEmulatedKeyVar<C, H>
Source§fn new_variable<T: Borrow<PedersenKey<C, H>>>(
cs: impl Into<Namespace<CF1<C>>>,
f: impl FnOnce() -> Result<T, SynthesisError>,
mode: AllocationMode,
) -> Result<Self, SynthesisError>
fn new_variable<T: Borrow<PedersenKey<C, H>>>( cs: impl Into<Namespace<CF1<C>>>, 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.Source§fn 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>
Source§fn 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.Source§fn 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.Source§fn new_variable_with_inferred_mode<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>,
) -> Result<Self, SynthesisError>where
T: Borrow<V>,
fn new_variable_with_inferred_mode<T>(
cs: impl Into<Namespace<F>>,
f: impl FnOnce() -> Result<T, SynthesisError>,
) -> Result<Self, SynthesisError>where
T: Borrow<V>,
Allocates a new constant or private witness of type
Self in the
ConstraintSystem cs with the allocation mode inferred from cs.
A constant is allocated if cs is None, and a private witness is
allocated otherwise. Read moreAuto Trait Implementations§
impl<C, const H: bool> !RefUnwindSafe for PedersenEmulatedKeyVar<C, H>
impl<C, const H: bool> !Send for PedersenEmulatedKeyVar<C, H>
impl<C, const H: bool> !Sync for PedersenEmulatedKeyVar<C, H>
impl<C, const H: bool> !UnwindSafe for PedersenEmulatedKeyVar<C, H>
impl<C, const H: bool> Freeze for PedersenEmulatedKeyVar<C, H>where
<C as Val>::Var: Sized,
<C as CurveGroup>::Config: Sized,
<<C as CurveGroup>::BaseField as Val>::Var: for<'a> Sized,
<C as CurveGroup>::BaseField: Sized,
<<C as PrimeGroup>::ScalarField as Val>::Var: for<'a> Sized,
<C as PrimeGroup>::ScalarField: Sized,
impl<C, const H: bool> Unpin for PedersenEmulatedKeyVar<C, H>where
<C as Val>::Var: Sized,
<C as CurveGroup>::Config: Sized,
<<C as CurveGroup>::BaseField as Val>::Var: for<'a> Sized,
<C as CurveGroup>::BaseField: Sized + Unpin,
<<C as PrimeGroup>::ScalarField as Val>::Var: for<'a> Sized,
<C as PrimeGroup>::ScalarField: Sized + Unpin,
impl<C, const H: bool> UnsafeUnpin for PedersenEmulatedKeyVar<C, H>where
<C as Val>::Var: Sized,
<C as CurveGroup>::Config: Sized,
<<C as CurveGroup>::BaseField as Val>::Var: for<'a> Sized,
<C as CurveGroup>::BaseField: Sized,
<<C as PrimeGroup>::ScalarField as Val>::Var: for<'a> Sized,
<C as PrimeGroup>::ScalarField: Sized,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more