List of all items

Structs

• ChainIdSet
• ChainStateView
• ChainTipState
• StreamCounts
• block::Block
• block::BlockBody
• block::BlockHeader
• block::ConfirmedBlock
• block::PreviousEventBlocksMap
• block::PreviousMessageBlocksMap
• block::Timeout
• block::ValidatedBlock
• data_types::BlockExecutionOutcome
• data_types::BlockProposal
• data_types::BundleExecutionPolicy
• data_types::ChainAndHeight
• data_types::IncomingBundle
• data_types::LiteValue
• data_types::LiteVote
• data_types::MessageBundle
• data_types::OperationMetadata
• data_types::OperationResult
• data_types::PostedMessage
• data_types::ProposalContent
• data_types::ProposedBlock
• data_types::SignatureAggregator
• data_types::TransactionMetadata
• data_types::Vote
• data_types::VoteValue
• data_types::metadata::AdminOperationMetadata
• data_types::metadata::ApplicationPermissionsMetadata
• data_types::metadata::ChainOwnershipMetadata
• data_types::metadata::ChangeApplicationPermissionsMetadata
• data_types::metadata::ChangeOwnershipOperationMetadata
• data_types::metadata::CheckpointAckMessageMetadata
• data_types::metadata::ClaimOperationMetadata
• data_types::metadata::CreateApplicationOperationMetadata
• data_types::metadata::CreditMessageMetadata
• data_types::metadata::MessageMetadata
• data_types::metadata::OpenChainOperationMetadata
• data_types::metadata::OwnerWithWeight
• data_types::metadata::PublishDataBlobMetadata
• data_types::metadata::PublishModuleMetadata
• data_types::metadata::SystemMessageMetadata
• data_types::metadata::SystemOperationMetadata
• data_types::metadata::TimeoutConfigMetadata
• data_types::metadata::TransferOperationMetadata
• data_types::metadata::UpdateStreamMetadata
• data_types::metadata::VerifyBlobMetadata
• data_types::metadata::WithdrawMessageMetadata
• justification::CommittedQuorum
• justification::JustificationChain
• justification::JustificationLink
• justification::JustifiedConfirmation
• justification::ValidatedQuorum
• manager::ChainManager
• manager::ChainManagerInfo
• manager::ManagerSafetySnapshot
• test::BlockBuilder
• test::HttpServer
• types::ConfirmedBlockCertificate
• types::GenericCertificate
• types::LiteCertificate
• types::ValidatedBlockCertificate

Enums

• BlockExecution
• BlockExecutionPhase
• ChainError
• ChainExecutionContext
• block::BlockBodyField
• block::ConversionError
• data_types::BundleFailurePolicy
• data_types::MessageAction
• data_types::OriginalProposal
• data_types::Transaction
• justification::EquivocationProof
• manager::LockingBlock
• manager::Outcome
• types::Certificate
• types::CertificateKind

Traits

• ExecutionResultExt
• data_types::OutgoingMessageExt
• data_types::proof::objects::Certificate
• data_types::proof::objects::JustificationCommitment
• data_types::proof::objects::SignedProposal
• data_types::proof::objects::SignedVotePayload
• data_types::proof::objects::UnlockingRound
• data_types::proof::objects::ValidatorVote
• data_types::proof::quorum::CertificateCarriesCorrectVote
• data_types::proof::quorum::CertificateEmbedsQuorum
• data_types::proof::quorum::CertificateSignaturesVerify
• data_types::proof::quorum::CorrectSignerCastItsVote
• data_types::proof::quorum::CorrectValidatorInIntersection
• data_types::proof::quorum::CorrectValidatorsFormQuorum
• data_types::proof::quorum::Intersection
• data_types::proof::quorum::Quorum
• data_types::proof::quorum::QuorumAssembly
• data_types::proof::quorum::ThresholdArithmetic
• justification::proof::AccountabilityScope
• justification::proof::AccountableSafety
• justification::proof::ChainAuditability
• justification::proof::ChainTilesRounds
• justification::proof::ConflictCompleteness
• justification::proof::DoubleValidationCompleteness
• justification::proof::DoubleVoteSoundness
• justification::proof::FirstRoundSoundness
• justification::proof::InvalidJustificationSoundness
• justification::proof::LockViolationSoundness
• justification::proof::MisbehaviourProof
• justification::proof::ProofSoundness
• justification::proof::SoundChain
• manager::proof::commit::CertifiedBlockWasExecuted
• manager::proof::commit::CommitRestsOnValidation
• manager::proof::commit::CommittedBlock
• manager::proof::commit::EventReadsResolveLocally
• manager::proof::commit::IncomingBundlesMatchTheLocalInbox
• manager::proof::commit::TipAdvancesOnlyOnValidCertificate
• manager::proof::locking::CastValidationRoundFloor
• manager::proof::locking::ConfirmedVoteRoundMonotone
• manager::proof::locking::Lock
• manager::proof::locking::LockRoundMonotone
• manager::proof::locking::NoValidatedBlockInFastRound
• manager::proof::locking::OneConfirmationVotePerRound
• manager::proof::locking::OneValidationVotePerRound
• manager::proof::locking::SafetyStateRecovery
• manager::proof::locking::SimultaneousVotes
• manager::proof::locking::UniqueValidatedBlockPerRound
• manager::proof::model::ConflictingBlocks
• manager::proof::model::ConsensusInstance
• manager::proof::model::CorrectValidator
• manager::proof::model::DeterministicExecution
• manager::proof::model::DurablePersistence
• manager::proof::model::EpochAgreement
• manager::proof::model::MaxByzantineWeight
• manager::proof::model::RoundOrder
• manager::proof::model::SequentialChainState
• manager::proof::model::StorageAtomicity
• manager::proof::model::UnforgeableSignatures
• manager::proof::rounds::CurrentRound
• manager::proof::rounds::CurrentRoundMonotone
• manager::proof::rounds::RoundFloor
• manager::proof::rounds::VoteRoundBelowCurrentRound
• manager::proof::safety::Accountability
• manager::proof::safety::CommitAgreement
• manager::proof::safety::FastRetryPreservesBlock
• manager::proof::safety::LockPreservation
• manager::proof::safety::SafetyScope
• manager::proof::safety::UniqueChain
• manager::proof::safety::UnlockingJustification
• manager::proof::timeouts::FallbackVote
• manager::proof::timeouts::LeaderEligibility
• manager::proof::timeouts::MultiLeaderRoundsAreLocal
• manager::proof::timeouts::RoundsWithoutTimeout
• manager::proof::timeouts::SingleLeaderRoundsNeedTimeout
• manager::proof::timeouts::TimeoutCertificateAdvancesRound
• manager::proof::timeouts::TimeoutCertificateProvesRoundReached
• manager::proof::timeouts::TimeoutVoteConditions
• manager::proof::voting::ConfirmationNeedsValidatedCertificate
• manager::proof::voting::ConfirmationOnlyInCurrentRound
• manager::proof::voting::FastConfirmationNeedsEmptyLock
• manager::proof::voting::NoValidationInFastRound
• manager::proof::voting::ProposalGate
• manager::proof::voting::UnlockingRequiresHigherCertificate
• manager::proof::voting::ValidationRoundStrictlyIncreases
• manager::proof::voting::VoteConstructionSites
• proof::checkpoints::AcknowledgedMessagesMayBeForgotten
• proof::checkpoints::CheckpointPreservesBlobAvailability
• proof::checkpoints::CheckpointPreservesConsumptionBoundary
• proof::checkpoints::CheckpointRecertifiesReferencedBlocks
• proof::checkpoints::CheckpointRestoresExecutionState
• proof::checkpoints::CheckpointSummarizesUserStreams
• proof::checkpoints::EventFloorTracksCheckpoints
• proof::epochs::CommitteeKnowledgeIsWellFounded
• test::BlockTestExt
• test::MessageTestExt
• test::VoteTestExt
• types::CertificateValue
• types::Certified

Functions

• init_metrics
• justification::audit_confirmation
• justification::extract_double_validations
• justification::extract_equivocations
• test::make_child_block
• test::make_first_block

Type Aliases

• manager::ValidatedOrConfirmedVote
• types::TimeoutCertificate