solver

package

v1.7.4 Latest Latest Go to latest Published: Apr 23, 2024 License: MIT Imports: 11 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

This section is empty.

View Source

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

This section is empty.

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

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 struct {
	LeafClaim  types.Claim
	IsAttack   bool
	PreState   []byte
	ProofData  []byte
	OracleData *types.PreimageOracleData
}