Struct aleo_wasm::programs::verifying_key::VerifyingKey

pub struct VerifyingKey(/* private fields */);

Verifying key for a function within an Aleo program

Implementations

impl VerifyingKey

pub fn bond_public_verifier() -> VerifyingKey

Returns the verifying key for the bond_public function

@returns {VerifyingKey} Verifying key for the bond_public function

pub fn claim_unbond_public_verifier() -> VerifyingKey

Returns the verifying key for the claim_delegator function

@returns {VerifyingKey} Verifying key for the claim_unbond_public function

pub fn fee_private_verifier() -> VerifyingKey

Returns the verifying key for the fee_private function

@returns {VerifyingKey} Verifying key for the fee_private function

pub fn fee_public_verifier() -> VerifyingKey

Returns the verifying key for the fee_public function

@returns {VerifyingKey} Verifying key for the fee_public function

pub fn inclusion_verifier() -> VerifyingKey

Returns the verifying key for the inclusion function

@returns {VerifyingKey} Verifying key for the inclusion function

pub fn join_verifier() -> VerifyingKey

Returns the verifying key for the join function

@returns {VerifyingKey} Verifying key for the join function

pub fn set_validator_state_verifier() -> VerifyingKey

Returns the verifying key for the set_validator_state function

@returns {VerifyingKey} Verifying key for the set_validator_state function

pub fn split_verifier() -> VerifyingKey

Returns the verifying key for the split function

@returns {VerifyingKey} Verifying key for the split function

pub fn transfer_private_verifier() -> VerifyingKey

Returns the verifying key for the transfer_private function

@returns {VerifyingKey} Verifying key for the transfer_private function

pub fn transfer_private_to_public_verifier() -> VerifyingKey

Returns the verifying key for the transfer_private_to_public function

@returns {VerifyingKey} Verifying key for the transfer_private_to_public function

pub fn transfer_public_verifier() -> VerifyingKey

Returns the verifying key for the transfer_public function

@returns {VerifyingKey} Verifying key for the transfer_public function

pub fn transfer_public_to_private_verifier() -> VerifyingKey

Returns the verifying key for the transfer_public_to_private function

@returns {VerifyingKey} Verifying key for the transfer_public_to_private function

pub fn unbond_delegator_as_validator_verifier() -> VerifyingKey

Returns the verifying key for the unbond_delegator_as_delegator function

@returns {VerifyingKey} Verifying key for the unbond_delegator_as_delegator function

pub fn unbond_public_verifier() -> VerifyingKey

Returns the verifying key for the unbond_delegator_as_delegator function

@returns {VerifyingKey} Verifying key for the unbond_delegator_as_delegator function

pub fn is_bond_public_verifier(&self) -> bool

Returns the verifying key for the bond_public function

@returns {VerifyingKey} Verifying key for the bond_public function

pub fn is_claim_unbond_public_verifier(&self) -> bool

Verifies the verifying key is for the claim_delegator function

@returns {bool}

pub fn is_fee_private_verifier(&self) -> bool

Verifies the verifying key is for the fee_private function

@returns {bool}

pub fn is_fee_public_verifier(&self) -> bool

Verifies the verifying key is for the fee_public function

@returns {bool}

pub fn is_inclusion_verifier(&self) -> bool

Verifies the verifying key is for the inclusion function

@returns {bool}

pub fn is_join_verifier(&self) -> bool

Verifies the verifying key is for the join function

@returns {bool}

pub fn is_set_validator_state_verifier(&self) -> bool

Verifies the verifying key is for the set_validator_state function

@returns {bool}

pub fn is_split_verifier(&self) -> bool

Verifies the verifying key is for the split function

@returns {bool}

pub fn is_transfer_private_verifier(&self) -> bool

Verifies the verifying key is for the transfer_private function

@returns {bool}

pub fn is_transfer_private_to_public_verifier(&self) -> bool

Verifies the verifying key is for the transfer_private_to_public function

@returns {bool}

pub fn is_transfer_public_verifier(&self) -> bool

Verifies the verifying key is for the transfer_public function

@returns {bool}

pub fn is_transfer_public_to_private_verifier(&self) -> bool

Verifies the verifying key is for the transfer_public_to_private function

@returns {bool}

pub fn is_unbond_delegator_as_validator_verifier(&self) -> bool

Verifies the verifying key is for the unbond_delegator_as_delegator function

@returns {bool}

pub fn is_unbond_public_verifier(&self) -> bool

Verifies the verifying key is for the unbond_public function

@returns {bool}

impl VerifyingKey

pub fn checksum(&self) -> String

Get the checksum of the verifying key

@returns {string} Checksum of the verifying key

pub fn copy(&self) -> VerifyingKey

Create a copy of the verifying key

@returns {VerifyingKey} A copy of the verifying key

pub fn from_bytes(bytes: &[u8]) -> Result<VerifyingKey, String>

Construct a new verifying key from a byte array

@param {Uint8Array} bytes Byte representation of a verifying key @returns {VerifyingKey | Error}

pub fn from_string(string: &str) -> Result<VerifyingKey, String>

Create a verifying key from string

@param {String} string String representation of a verifying key @returns {VerifyingKey | Error}

pub fn to_bytes(&self) -> Result<Vec<u8>, String>

Create a byte array from a verifying key

@returns {Uint8Array | Error} Byte representation of a verifying key

pub fn to_string(&self) -> String

Get a string representation of the verifying key

@returns {String} String representation of the verifying key

Methods from Deref<Target = VerifyingKey<Testnet3>>

pub fn verify( &self, function_name: &str, inputs: &[<N as Environment>::Field], proof: &Proof<N> ) -> bool

Returns true if the proof is valid for the given public inputs.

Methods from Deref<Target = CircuitVerifyingKey<<N as Environment>::PairingCurve>>

pub fn iter(&self) -> impl Iterator<Item = &KZGCommitment<E>>

Iterate over the commitments to indexed polynomials in self.

Trait Implementations

impl Clone for VerifyingKey

fn clone(&self) -> VerifyingKey

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyingKey

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

Formats the value using the given formatter.

impl Deref for VerifyingKey

type Target = VerifyingKey<Testnet3>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl From<&VerifyingKey> for VerifyingKey<Testnet3>

fn from(verifying_key: &VerifyingKey) -> VerifyingKey<Testnet3>

Converts to this type from the input type.

impl From<VerifyingKey<Testnet3>> for VerifyingKey

fn from(verifying_key: VerifyingKey<Testnet3>) -> VerifyingKey

Converts to this type from the input type.

impl From<VerifyingKey> for JsValue

fn from(value: VerifyingKey) -> Self

Converts to this type from the input type.

impl From<VerifyingKey> for VerifyingKey<Testnet3>

fn from(verifying_key: VerifyingKey) -> VerifyingKey<Testnet3>

Converts to this type from the input type.

impl FromWasmAbi for VerifyingKey

type Abi = u32

The wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi.

impl IntoWasmAbi for VerifyingKey

type Abi = u32

The wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for VerifyingKey

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = Ref<'static, VerifyingKey>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for VerifyingKey

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for VerifyingKey

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl PartialEq for VerifyingKey

fn eq(&self, other: &Self) -> 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 RefFromWasmAbi for VerifyingKey

type Abi = u32

The wasm ABI type references to Self are recovered from.

type Anchor = Ref<'static, VerifyingKey>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don’t persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl RefMutFromWasmAbi for VerifyingKey

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RefMut<'static, VerifyingKey>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl TryFromJsValue for VerifyingKey

type Error = JsValue

The type returned in the event of a conversion error.

fn try_from_js_value(value: JsValue) -> Result<Self, Self::Error>

Performs the conversion.

impl VectorFromWasmAbi for VerifyingKey

type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[VerifyingKey]>

impl VectorIntoWasmAbi for VerifyingKey

type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[VerifyingKey]>) -> Self::Abi

impl WasmDescribe for VerifyingKey

fn describe()

impl WasmDescribeVector for VerifyingKey

fn describe_vector()