Enum essential_constraint_vm::asm::Crypto

pub enum Crypto {
    Sha256,
    VerifyEd25519,
    RecoverSecp256k1,
}

Operations providing cryptographic functionality.

Variants

Sha256

0x50

Produce a SHA 256 hash from the specified data.

Stack Input

[data, data_len]

Stack Output

[hash_w0, hash_w1, hash_w2, hash_w3]

VerifyEd25519

0x51

Validate an Ed25519 signature against a public key.

Stack Input

[data, data_len, sig_w0, sig_w1, sig_w2, sig_w3, sig_w4, sig_w5, sig_w6, sig_w7, key_w0, key_w1, key_w2, key_w3]

Stack Output

[bool]

RecoverSecp256k1

0x52

Recover the public key from a secp256k1 signature.

If the signature is invalid, the operation will return all zeros.

Stack Input

[hash_0, hash_1, hash_2, hash_3, sig_w0, sig_w1, sig_w2, sig_w3, sig_w4, sig_w5, sig_w6, sig_w7, sig_8]

Stack Output

[pub_key_w0, pub_key_w1, pub_key_w2, pub_key_w3, pub_key_4]

Trait Implementations

impl Clone for Crypto

fn clone(&self) -> Crypto

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Crypto

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl From<Crypto> for Constraint

fn from(subgroup: Crypto) -> Constraint

Converts to this type from the input type.

impl Hash for Crypto

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Crypto

fn cmp(&self, other: &Crypto) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Crypto

fn eq(&self, other: &Crypto) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Crypto

fn partial_cmp(&self, other: &Crypto) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl ToBytes for Crypto

type Bytes = Crypto

The iterator yielding bytes.

fn to_bytes(&self) -> <Crypto as ToBytes>::Bytes

Convert the operation to its serialized form in bytes.

impl ToOpcode for Crypto

type Opcode = Crypto

The associated Opcode type.

fn to_opcode(&self) -> <Crypto as ToOpcode>::Opcode

The opcode associated with this operation.

impl TryFromBytes for Crypto

type Error = FromBytesError

Represents any error that might occur while parsing an op from bytes.

fn try_from_bytes( bytes: &mut impl Iterator<Item = u8>, ) -> Option<Result<Crypto, <Crypto as TryFromBytes>::Error>>

Parse a single operation from the given iterator yielding bytes.

impl Copy for Crypto

impl Eq for Crypto

impl StructuralPartialEq for Crypto