[][src]Crate ckb_verification

CKB verification

This crate implements CKB verification by newtypes abstraction struct

Modules

cache

TX verification cache

Structs

BlockError

/// TODO(doc): @keroro520

BlockTransactionsError

TODO(doc): @keroro520

BlockVerifier

Block verifier that are independent of context.

BlockVersionError

TODO(doc): @keroro520

ContextualBlockVerifier

Context-dependent verification checks for block

ContextualTransactionVerifier

Context-dependent verification checks for transaction

GenesisVerifier

The genesis verification

HeaderError

/// TODO(doc): @keroro520

HeaderResolverWrapper

Context wrapper for Context-dependent HeaderVerifier.

HeaderVerifier

Context-dependent verification checks for block header

InvalidParentError

TODO(doc): @keroro520

NonContextualBlockTxsVerifier

Context-independent verification checks for block transactions

NonContextualTransactionVerifier

Context-independent verification checks for transaction

NumberError

TODO(doc): @keroro520

ScriptVerifier

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

Since

The struct define wrapper for (unsigned 64-bit integer) tx field since

TimeRelativeTransactionVerifier

The time-related TX verification

TransactionVerifier

Full tx verification checks

UnknownParentError

TODO(doc): @keroro520

VerifyContext

Context for context-dependent block verification

Enums

BlockErrorKind

TODO(doc): @keroro520

CellbaseError

TODO(doc): @keroro520

CommitError

TODO(doc): @keroro520

EpochError

TODO(doc): @keroro520

HeaderErrorKind

TODO(doc): @keroro520

PowError

TODO(doc): @keroro520

SinceMetric

Metric represent value

TimestampError

TODO(doc): @keroro520

TransactionError

TODO(doc): @keroro520

UnclesError

TODO(doc): @keroro520

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.

Traits

HeaderResolver

Context abstract trait for HeaderVerifier

Switch

The trait abstract for particular verification

Verifier

Trait for verification