tendermint

type Application[V types.Hashable[H], H types.Hash] interface {
	// Value returns the value to the Tendermint consensus algorithm which can be proposed to other validators.
	Value() V

	// Valid returns true if the provided value is valid according to the application context.
	Valid(V) bool
}

type CachedProposal[V types.Hashable[H], H types.Hash, A types.Addr] struct {
	types.Proposal[V, H, A]
	Valid bool
	ID    *H
}

type Slasher[M types.Message[V, H, A], V types.Hashable[H], H types.Hash, A types.Addr] interface {
	// Equivocation informs the slasher that a validator has sent conflicting messages. Thus it can decide whether to
	// slash the validator and by how much.
	Equivocation(msgs ...M)
}

type StateMachine[V types.Hashable[H], H types.Hash, A types.Addr] interface {
	ReplayWAL()
	ProcessStart(types.Round) []types.Action[V, H, A]
	ProcessTimeout(types.Timeout) []types.Action[V, H, A]
	ProcessProposal(*types.Proposal[V, H, A]) []types.Action[V, H, A]
	ProcessPrevote(*types.Prevote[H, A]) []types.Action[V, H, A]
	ProcessPrecommit(*types.Precommit[H, A]) []types.Action[V, H, A]
}