solver

Documentation

Index

• Variables
• type GameSolver
  • func NewGameSolver(gameDepth types.Depth, trace types.TraceAccessor) *GameSolver
  • func (s *GameSolver) AgreeWithRootClaim(ctx context.Context, game types.Game) (bool, error)
  • func (s *GameSolver) CalculateNextActions(ctx context.Context, game types.Game) ([]types.Action, error)
• type StepData

Variables

var (
	ErrStepNonLeafNode = errors.New("cannot step on non-leaf claims")
)

Types

type GameSolver

type GameSolver struct {
	// contains filtered or unexported fields
}

func NewGameSolver

func NewGameSolver(gameDepth types.Depth, trace types.TraceAccessor) *GameSolver

func (*GameSolver) AgreeWithRootClaim

func (s *GameSolver) AgreeWithRootClaim(ctx context.Context, game types.Game) (bool, error)

func (*GameSolver) CalculateNextActions

func (s *GameSolver) CalculateNextActions(ctx context.Context, game types.Game) ([]types.Action, error)

type StepData

type StepData struct {
	LeafClaim  types.Claim
	IsAttack   bool
	PreState   []byte
	ProofData  []byte
	OracleData *types.PreimageOracleData
}