Struct snarkvm_gadgets::algorithms::signature::aleo::AleoSignatureSchemeGadget
source · [−]pub struct AleoSignatureSchemeGadget<TE: TwistedEdwardsParameters<BaseField = F>, F: PrimeField + PoseidonDefaultParametersField> { /* private fields */ }
Trait Implementations
sourceimpl<TE: TwistedEdwardsParameters<BaseField = F>, F: PrimeField + PoseidonDefaultParametersField> AllocGadget<AleoSignatureScheme<TE>, F> for AleoSignatureSchemeGadget<TE, F>
impl<TE: TwistedEdwardsParameters<BaseField = F>, F: PrimeField + PoseidonDefaultParametersField> AllocGadget<AleoSignatureScheme<TE>, F> for AleoSignatureSchemeGadget<TE, F>
fn alloc_constant<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<AleoSignatureScheme<TE>>, CS: ConstraintSystem<F>>(
_cs: CS,
value_gen: Fn
) -> Result<Self, SynthesisError>
fn alloc<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<AleoSignatureScheme<TE>>, CS: ConstraintSystem<F>>(
_cs: CS,
_value_gen: Fn
) -> Result<Self, SynthesisError>
fn alloc_input<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<AleoSignatureScheme<TE>>, CS: ConstraintSystem<F>>(
_cs: CS,
_value_gen: Fn
) -> Result<Self, SynthesisError>
fn alloc_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn
) -> Result<Self, SynthesisError>
fn alloc_input_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
cs: CS,
f: Fn
) -> Result<Self, SynthesisError>
sourceimpl<TE: TwistedEdwardsParameters<BaseField = F>, F: PrimeField + PoseidonDefaultParametersField> SignatureGadget<AleoSignatureScheme<TE>, F> for AleoSignatureSchemeGadget<TE, F>
impl<TE: TwistedEdwardsParameters<BaseField = F>, F: PrimeField + PoseidonDefaultParametersField> SignatureGadget<AleoSignatureScheme<TE>, F> for AleoSignatureSchemeGadget<TE, F>
type ComputeKeyGadget = AleoComputeKeyGadget
type PublicKeyGadget = AleoSignaturePublicKeyGadget<TE, F>
type SignatureGadget = AleoSignatureGadget<TE, F>
fn compute_key<CS: ConstraintSystem<F>>(
&self,
cs: CS,
signature: &Self::SignatureGadget
) -> Result<Self::ComputeKeyGadget, SynthesisError>
fn verify<CS: ConstraintSystem<F>>(
&self,
cs: CS,
public_key: &Self::PublicKeyGadget,
message: &[UInt8],
signature: &Self::SignatureGadget
) -> Result<Boolean, SynthesisError>
Auto Trait Implementations
impl<TE, F> RefUnwindSafe for AleoSignatureSchemeGadget<TE, F> where
F: RefUnwindSafe,
impl<TE, F> Send for AleoSignatureSchemeGadget<TE, F>
impl<TE, F> Sync for AleoSignatureSchemeGadget<TE, F>
impl<TE, F> Unpin for AleoSignatureSchemeGadget<TE, F> where
F: Unpin,
impl<TE, F> UnwindSafe for AleoSignatureSchemeGadget<TE, F> where
F: UnwindSafe + RefUnwindSafe,
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