Struct ckb_verification::ScriptVerifyState

pub struct ScriptVerifyState {
    pub current: usize,
    pub vms: Vec<ResumableMachine>,
    pub current_cycles: u64,
    pub limit_cycles: u64,
    pub machine_context: Arc<Mutex<MachineContext>>,
}

Struct specifies which script has verified so far. State lifetime bound with vm machine.

Fields

current: usize

current suspended script index

vms: Vec<ResumableMachine>

vm states

current_cycles: u64

current consumed cycle

limit_cycles: u64

limit cycles

machine_context: Arc<Mutex<MachineContext>>

machine context for the vms included in this state

Implementations

impl TransactionState

pub fn new( vms: Vec<ResumableMachine>, machine_context: Arc<Mutex<MachineContext>>, current: usize, current_cycles: u64, limit_cycles: u64 ) -> TransactionState

Creates a new TransactionState struct

pub fn next_limit_cycles( &self, step_cycles: u64, max_cycles: u64 ) -> (u64, bool)

Return next limit cycles according to max_cycles and step_cycles

Trait Implementations

impl Debug for TransactionState

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

Formats the value using the given formatter.

impl TryFrom<TransactionState> for TransactionSnapshot

type Error = Error

The type returned in the event of a conversion error.

fn try_from( state: TransactionState ) -> Result<TransactionSnapshot, <TransactionSnapshot as TryFrom<TransactionState>>::Error>

Performs the conversion.