am_dist

Documentation

Overview

The algorithm here follows the specification `WaspChainAccessNodesV4.tla`. The specification actions are mapped to GPA inputs here as follows:

• ChainActivate -- first reception of inputAccessNodes.
• ChainDeactivate -- inputChainDisabled.
• AccessNodeAdd -- inputAccessNodes, then compare with info we had before.
• AccessNodeDel -- inputAccessNodes, then compare with info we had before.
• Reboot -- inputTrustedNodes.

Index

• func NewInputAccessNodes(chainID isc.ChainID, accessNodes []*cryptolib.PublicKey) gpa.Input
• func NewInputChainDisabled(chainID isc.ChainID) gpa.Input
• func NewInputTrustedNodes(trustedNodes []*cryptolib.PublicKey) gpa.Input
• type AccessMgr
  • func NewAccessMgr(pubKeyToNodeID func(*cryptolib.PublicKey) gpa.NodeID, ...) AccessMgr
• type Output

Functions

func NewInputAccessNodes

func NewInputAccessNodes(chainID isc.ChainID, accessNodes []*cryptolib.PublicKey) gpa.Input

func NewInputChainDisabled

func NewInputChainDisabled(chainID isc.ChainID) gpa.Input

func NewInputTrustedNodes

func NewInputTrustedNodes(trustedNodes []*cryptolib.PublicKey) gpa.Input

Types

type AccessMgr

type AccessMgr interface {
	AsGPA() gpa.GPA
}

func NewAccessMgr

func NewAccessMgr(
	pubKeyToNodeID func(*cryptolib.PublicKey) gpa.NodeID,
	serversUpdatedCB func(chainID isc.ChainID, servers []*cryptolib.PublicKey),
	dismissPeerCB func(*cryptolib.PublicKey),
	log *logger.Logger,
) AccessMgr

type Output

type Output interface {
	ChainServerNodes(chainID isc.ChainID) []*cryptolib.PublicKey
}