Crate ckb_verification
source ·Expand description
CKB verification
This crate implements CKB non-contextual verification by newtypes abstraction struct
Modules
TX verification cache
Structs
Errors due the fact that the block rule is not respected.
Errors occur during block transactions verification.
Block verifier that are independent of context.
The block version is unexpected.
Perform inputs and outputs
capacity field related verificationContext-dependent verification checks for transaction
Context-dependent checks exclude script
The genesis verification
Errors due the fact that the header rule is not respected.
Context-dependent verification checks for block header
The block’s parent is marked as invalid.
Context-independent verification checks for block transactions
Context-independent verification checks for transaction
The block number is not equal to parent number +
1.
Specially genesis block number is 0.Perform rules verification describe in CKB script, also check cycles limit
Struct specifies which script has verified so far.
State lifetime bound with vm machine.
The struct define wrapper for (unsigned 64-bit integer) tx field since
The time-related TX verification
Struct specifies which script has verified so far.
Snapshot is lifetime free, but capture snapshot need heavy memory copy
Full tx verification checks
The environment that transactions are in.
Cannot access the parent block to the cannonical chain.
Enums
A list specifying categories of ckb block error.
Errors due to the fact that the cellbase rule is not respected.
Errors due to the fact that the 2pc rule is not respected.
Errors due to the fact that the block epoch is not expected.
A list specifying categories of ckb header error.
Errors due to the fact that the pow rule is not respected.
Script execution error.
The script group type.
Enum represent resumable verify result
Metric represent value
Errors due to the fact that the block timestamp rule is not respected.
The error types to transactions.
Errors due to the fact that the uncle rule is not respected.
Constants
Maximum amount of time that a block timestamp is allowed to exceed the
current time before the block will be accepted.