Tezos Shell - Main entry point of the validation scheduler.
val create :
Tezos_store.Store.t ->
Distributed_db.t ->
Peer_validator.limits ->
Block_validator.limits ->
Block_validator_process.t ->
Prevalidator.limits ->
Chain_validator.limits ->
start_testchain:bool ->
(t, Tezos_error_monad.TzCore.error list) result Lwt.tval activate :
t ->
start_prevalidator:bool ->
validator_process:Block_validator_process.t ->
Tezos_store.Store.chain_store ->
(Chain_validator.t, Tezos_error_monad.TzCore.error list) result Lwt.tStart the validation scheduler of a given chain.
val get :
t ->
Tezos_crypto.Chain_id.t ->
(Chain_validator.t, Tezos_error_monad.TzCore.error list) resultval get_active_chains : t -> Tezos_crypto.Chain_id.t listval validate_block :
t ->
?force:bool ->
?chain_id:Tezos_crypto.Chain_id.t ->
Bytes.t ->
Tezos_base.Operation.t list list ->
(Tezos_crypto.Block_hash.t
* (unit, Tezos_error_monad.TzCore.error list) result Lwt.t,
Tezos_error_monad.TzCore.error list)
result
Lwt.tForce the validation of a block.
val watcher : t -> Tezos_store.Store.Block.t Lwt_stream.t * Lwt_watcher.stopperMonitor all the valid block (for all activate chains).
val chains_watcher :
t ->
(Tezos_crypto.Chain_id.t * bool) Lwt_stream.t * Lwt_watcher.stopperval inject_operation :
t ->
?chain_id:Tezos_crypto.Chain_id.t ->
force:bool ->
Tezos_base.Operation.t ->
(unit, Tezos_error_monad.TzCore.error list) result Lwt.tinject_operation t ?chain_id ~force op notifies the prevalidator worker associated with the chain_id of a new injected operation. Fails if the branch in op is not known in the given chain_id or if no prevalidator is associated with the chain_id. If no chain_id is provided, try to recover a chain_id from the branch in the operation data. Fails if no chain_id can be recovered unless force is set. If force is set, notify all the known prevalidator workers.
val distributed_db : t -> Distributed_db.t