Struct solana_libra_bytecode_verifier::verifier::VerifiedScript

pub struct VerifiedScript(_);

A script that has been verified for internal consistency.

This does not include cross-module checking -- that needs to be done separately.

Methods

impl VerifiedScript

pub fn new(
    script: CompiledScript
) -> Result<Self, (CompiledScript, Vec<VMStatus>)>

Verifies this CompiledScript, returning a VerifiedScript on success.

On failure, returns the original CompiledScript and a list of verification errors.

Verification of a script is done in two steps:

• Convert the script into a module and run all the usual verification performed on a module
• Check the signature of the main function of the script

This approach works because critical operations such as MoveFrom, MoveToSender, and BorrowGlobal that are not allowed in the script function take a StructDefinitionIndex as an argument. Since the module constructed from a script is guaranteed to have an empty vector of struct definitions, the bounds checker will catch any occurrences of these illegal operations.

pub fn into_module(self) -> VerifiedModule

Returns the corresponding VerifiedModule for this script.

Every VerifiedScript is a VerifiedModule, but the inverse is not true, so there's no corresponding VerifiedModule::into_script function.

pub fn serialize(&self, buf: &mut Vec<u8>) -> Result<(), Error>

Serializes this script into the provided buffer.

This is merely a convenience wrapper around script.as_inner().serialize(buf).

VerifiedScript instances cannot be deserialized directly, since the input is potentially untrusted. Instead, one must go through CompiledScript.

pub fn deserialize(binary: &[u8]) -> BinaryLoaderResult<Self>

Deserializes a &u8 slice into a VerifiedScript instance.

pub fn as_inner(&self) -> &CompiledScript

Returns a reference to the CompiledScript within.

pub fn into_inner(self) -> CompiledScript

Returns the CompiledScript within. Conversion back to VerifiedScript will require going through the verifier again.

Trait Implementations

impl Clone for VerifiedScript

fn clone(&self) -> VerifiedScript

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedScript

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

Formats the value using the given formatter.

impl Display for VerifiedScript

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

Formats the value using the given formatter.

impl Eq for VerifiedScript

impl PartialEq<VerifiedScript> for VerifiedScript

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

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

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

This method tests for !=.

impl ScriptAccess for VerifiedScript

fn as_script(&self) -> &CompiledScript

Returns the CompiledScript that will be used for accesses.

fn module_handle_at(&self, idx: ModuleHandleIndex) -> &ModuleHandle

fn struct_handle_at(&self, idx: StructHandleIndex) -> &StructHandle

fn function_handle_at(&self, idx: FunctionHandleIndex) -> &FunctionHandle

fn type_signature_at(&self, idx: TypeSignatureIndex) -> &TypeSignature

fn function_signature_at(
    &self,
    idx: FunctionSignatureIndex
) -> &FunctionSignature

fn locals_signature_at(&self, idx: LocalsSignatureIndex) -> &LocalsSignature

fn identifier_at(&self, idx: IdentifierIndex) -> &IdentStr

fn byte_array_at(&self, idx: ByteArrayPoolIndex) -> &ByteArray

fn address_at(&self, idx: AddressPoolIndex) -> &AccountAddress

fn module_handles(&self) -> &[ModuleHandle]

fn struct_handles(&self) -> &[StructHandle]

fn function_handles(&self) -> &[FunctionHandle]

fn type_signatures(&self) -> &[TypeSignature]

fn function_signatures(&self) -> &[FunctionSignature]

fn locals_signatures(&self) -> &[LocalsSignature]

fn byte_array_pool(&self) -> &[ByteArray]

fn address_pool(&self) -> &[AccountAddress]

fn identifiers(&self) -> &[Identifier]

fn main(&self) -> &FunctionDefinition

impl StructuralEq for VerifiedScript

impl StructuralPartialEq for VerifiedScript