Struct ckb_verification::ScriptVerifier

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

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

See:

• ckb-vm
• vm-cycle-limits

Implementations

impl<DL: CellDataProvider + HeaderProvider + ExtensionProvider + Send + Sync + Clone + 'static> ScriptVerifier<DL>

pub fn new( resolved_transaction: Arc<ResolvedTransaction>, data_loader: DL, consensus: Arc<Consensus>, tx_env: Arc<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, 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<DL>

Explicitly dereferencing operation