Expand description
CKB verification
This crate implements CKB non-contextual verification by newtypes abstraction struct
Modules§
- cache
- TX verification cache
Structs§
- Block
Error - Errors due the fact that the block rule is not respected.
- Block
Transactions Error - Errors occur during block transactions verification.
- Block
Verifier - Block verifier that are independent of context.
- Block
Version Error - The block version is unexpected.
- Capacity
Verifier - Perform inputs and outputs
capacityfield related verification - Contextual
Transaction Verifier - Context-dependent verification checks for transaction
- DaoScript
Size Verifier - Verifies that deposit cell and withdrawing cell in Nervos DAO use same sized lock scripts. It provides a temporary solution till Nervos DAO script can be properly upgraded.
- Genesis
Verifier - The genesis verification
- Header
Error - Errors due the fact that the header rule is not respected.
- Header
Verifier - Context-dependent verification checks for block header
- Invalid
Parent Error - The block’s parent is marked as invalid.
- NonContextual
Block TxsVerifier - Context-independent verification checks for block transactions
- NonContextual
Transaction Verifier - Context-independent verification checks for transaction
- Number
Error - The block number is not equal to parent number +
1. Specially genesis block number is0. - Script
Verify State - Struct specifies which script has verified so far. State is lifetime free, but capture snapshot need heavy memory copy
- Since
- The struct define wrapper for (unsigned 64-bit integer) tx field since
- Time
Relative Transaction Verifier - The time-related TX verification
- TxVerify
Env - The environment that transactions are in.
- Unknown
Parent Error - Cannot access the parent block to the canonical chain.
Enums§
- Block
Error Kind - A list specifying categories of ckb block error.
- Cellbase
Error - Errors due to the fact that the cellbase rule is not respected.
- Commit
Error - Errors due to the fact that the 2pc rule is not respected.
- Epoch
Error - Errors due to the fact that the block epoch is not expected.
- Header
Error Kind - A list specifying categories of ckb header error.
- PowError
- Errors due to the fact that the pow rule is not respected.
- Script
Error - Script execution error.
- Script
Group Type - The script group type.
- Script
Verify Result - Enum represent resumable verify result
- Since
Metric - Metric represent value
- Timestamp
Error - Errors due to the fact that the block timestamp rule is not respected.
- Transaction
Error - The error types to transactions.
- Uncles
Error - Errors due to the fact that the uncle rule is not respected.
Constants§
- ALLOWED_
FUTURE_ BLOCKTIME - Maximum amount of time that a block timestamp is allowed to exceed the current time before the block will be accepted.
Type Aliases§
- Script
Verifier - Perform rules verification describe in CKB script, also check cycles limit