Package solimpl includes an easy-to-use abstraction around the challenge protocol contracts using their Go bindings and exposes minimal details of Ethereum's internals.

AssertionCreatedInfo from an event creation.

AssertionHash represents a unique identifier for an assertion constructed as a keccak256 hash of some of its internals.

EdgeId is a unique identifier for an edge.

LayerZeroHeights for edges configured as parameters in the challenge manager contract.

OneStepData used for confirming edges by one step proofs.

Assertion represents a top-level claim in the protocol about the chain state created by a validator that stakes on their claim.

AssertionChain can manage assertions in the protocol and retrieve information about them.

ChainBackend to interact with the underlying blockchain.

Protocol --.

ReadOnlyEdge defines methods that only retrieve data from the chain regarding for a given edge.

ReceiptFetcher defines the ability to retrieve transactions receipts from the chain.

SpecChallengeManager implements the research specification.

SpecEdge according to the protocol specification.

ReceiptFetcher defines the ability to retrieve transactions receipts from the chain.

VerifiedRoyalEdge marks edges that are known to be royal.

ChallengeLevel corresponds to the different challenge levels in the protocol.

ClaimId is the unique identifier of the commitment of a level zero edge corresponds to.

EdgeStatus of an edge in the protocol.

Height if defined as the height of a history commitment in the specification.

InheritedTimer for an edge from its children or claiming edges.

MutualId is a unique identifier for an edge's start commitment and edge type.

OriginId is the id of the item that originated a challenge an edge is a part of.