Struct snarkvm_circuit::signature::Signature

pub struct Signature<A> where
    A: Aleo, { /* private fields */ }

Implementations

impl<A> Signature<A> where
    A: Aleo, 

pub fn verify(&self, address: &Address<A>, message: &[Field<A>]) -> Boolean<A>

Returns true if the signature is valid for the given address and message.

impl<A> Signature<A> where
    A: Aleo, 

pub const fn challenge(&self) -> &Scalar<A>

Returns the challenge.

pub const fn response(&self) -> &Scalar<A>

Returns the response.

pub const fn compute_key(&self) -> &ComputeKey<A>

Returns the account compute key.

Trait Implementations

impl<A> Eject for Signature<A> where
    A: Aleo, 

fn eject_mode(&self) -> Mode

Ejects the mode of the signature.

fn eject_value(&self) -> <Signature<A> as Eject>::Primitive

Ejects the signature.

type Primitive = Signature<<A as Environment>::Network>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

impl<A> Inject for Signature<A> where
    A: Aleo, 

fn new(
    mode: Mode,
    signature: <Signature<A> as Inject>::Primitive
) -> Signature<A>

Initializes a signature from the given mode and native signature.

type Primitive = Signature<<A as Environment>::Network>

fn constant(value: Self::Primitive) -> Self

Initializes a constant of the given primitive value.