Struct ckb_verification::ScriptVerifier

pub struct ScriptVerifier<'a, DL> { /* private fields */ }

Perform rules verification describe in CKB script, also check cycles limit

See:

• ckb-vm
• vm-cycle-limits

Implementations

impl<'a, DL: CellDataProvider + HeaderProvider> ScriptVerifier<'a, DL>

pub fn new(
    resolved_transaction: &'a ResolvedTransaction,
    consensus: &'a Consensus,
    data_loader: &'a DL,
    tx_env: &'a TxVerifyEnv
) -> Self

Creates a new ScriptVerifier

pub fn verify(&self, max_cycles: Cycle) -> Result<Cycle, Error>

Perform script verification

pub fn resumable_verify(
    &self,
    limit_cycles: Cycle
) -> Result<VerifyResult<'_>, Error>

Perform resumable script verification

pub fn resume_from_snap(
    &self,
    snapshot: &TransactionSnapshot,
    limit_cycles: Cycle
) -> Result<VerifyResult<'_>, Error>

Perform verification resume from snapshot

pub fn resume_from_state(
    &self,
    state: TransactionState<'a>,
    limit_cycles: Cycle
) -> Result<VerifyResult<'_>, Error>

Perform verification resume from snapshot

pub fn complete(
    &self,
    snapshot: &TransactionSnapshot,
    max_cycles: Cycle
) -> Result<Cycle, Error>

Perform complete verification

pub fn inner(&self) -> &TransactionScriptsVerifier<'a, DL>

Explicitly dereferencing operation