proofs

package
v1.13.7 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Sep 19, 2025 License: MIT Imports: 26 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

Types

type ArtifactBytecode added in v1.13.6 

type ArtifactBytecode struct {
	Object string `json:"object"`
}

type ArtifactJSON added in v1.13.6 

type ArtifactJSON struct {
	Bytecode ArtifactBytecode `json:"bytecode"`
	ABI      json.RawMessage  `json:"abi"`
}

type Claim 

type Claim struct {
	Index uint64
	// contains filtered or unexported fields
}

func (*Claim) Attack 

func (c *Claim) Attack(eoa *dsl.EOA, newClaim common.Hash) *Claim

func (*Claim) Claimant added in v1.13.6 

func (c *Claim) Claimant() common.Address

func (*Claim) Depth 

func (c *Claim) Depth() uint64

func (*Claim) String added in v1.13.6 

func (c *Claim) String() string

func (*Claim) Value 

func (c *Claim) Value() common.Hash

func (*Claim) VerifyNoCounterClaim added in v1.13.6 

func (c *Claim) VerifyNoCounterClaim()

func (*Claim) WaitForCounterClaim 

func (c *Claim) WaitForCounterClaim(ignoreClaims ...*Claim) *Claim

WaitForCounterClaim waits for the claim to be countered by another claim being posted. Return the new claim that counters this claim.

type DisputeGameFactory 

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

func NewDisputeGameFactory 

func NewDisputeGameFactory(t devtest.T, l1Network *dsl.L1Network, ethClient apis.EthClient, dgfAddr common.Address, supervisor *dsl.Supervisor) *DisputeGameFactory

func (*DisputeGameFactory) Address added in v1.13.6 

func (f *DisputeGameFactory) Address() common.Address

func (*DisputeGameFactory) CreateHelperEOA added in v1.13.6 

func (f *DisputeGameFactory) CreateHelperEOA(eoa *dsl.EOA) *GameHelperEOA

func (*DisputeGameFactory) GameAtIndex 

func (f *DisputeGameFactory) GameAtIndex(idx int64) *FaultDisputeGame

func (*DisputeGameFactory) GameCount 

func (f *DisputeGameFactory) GameCount() int64

func (*DisputeGameFactory) StartSuperCannonGame 

func (f *DisputeGameFactory) StartSuperCannonGame(eoa *dsl.EOA, opts ...GameOpt) *SuperFaultDisputeGame

func (*DisputeGameFactory) WaitForGame 

func (f *DisputeGameFactory) WaitForGame() *FaultDisputeGame

type FaultDisputeGame 

type FaultDisputeGame struct {
	Address common.Address
	// contains filtered or unexported fields
}

func NewFaultDisputeGame 

func NewFaultDisputeGame(t devtest.T, require *require.Assertions, addr common.Address, helperProvider gameHelperProvider, game *bindings.FaultDisputeGame) *FaultDisputeGame

func (*FaultDisputeGame) Attack 

func (g *FaultDisputeGame) Attack(eoa *dsl.EOA, claimIdx uint64, newClaim common.Hash)

func (*FaultDisputeGame) ClaimAtIndex 

func (g *FaultDisputeGame) ClaimAtIndex(claimIndex uint64) *Claim

func (*FaultDisputeGame) GameData added in v1.13.6 

func (g *FaultDisputeGame) GameData() string

func (*FaultDisputeGame) L2SequenceNumber 

func (g *FaultDisputeGame) L2SequenceNumber() *big.Int

func (*FaultDisputeGame) LogGameData added in v1.13.6 

func (g *FaultDisputeGame) LogGameData()

func (*FaultDisputeGame) MaxDepth 

func (g *FaultDisputeGame) MaxDepth() challengerTypes.Depth

func (*FaultDisputeGame) PerformMoves added in v1.13.6 

func (g *FaultDisputeGame) PerformMoves(eoa *dsl.EOA, moves ...GameHelperMove) []*Claim

func (*FaultDisputeGame) RootClaim 

func (g *FaultDisputeGame) RootClaim() *Claim

func (*FaultDisputeGame) SplitDepth 

func (g *FaultDisputeGame) SplitDepth() uint64

type GameCfg 

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

func NewGameCfg 

func NewGameCfg(opts ...GameOpt) *GameCfg

type GameHelper added in v1.13.6 

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

func DeployGameHelper added in v1.13.6 

func DeployGameHelper(t devtest.T, deployer *dsl.EOA) *GameHelper

func (*GameHelper) AuthEOA added in v1.13.6 

func (gs *GameHelper) AuthEOA(eoa *dsl.EOA) *GameHelper

func (*GameHelper) CreateGameWithClaims added in v1.13.6 

func (gs *GameHelper) CreateGameWithClaims(
	eoa *dsl.EOA,
	factory *DisputeGameFactory,
	gameType challengerTypes.GameType,
	rootClaim common.Hash,
	extraData []byte,
	moves []GameHelperMove,
) common.Address

func (*GameHelper) PerformMoves added in v1.13.6 

func (gs *GameHelper) PerformMoves(eoa *dsl.EOA, game *FaultDisputeGame, moves []GameHelperMove) []*Claim

type GameHelperEOA added in v1.13.6 

type GameHelperEOA struct {
	EOA *dsl.EOA
	// contains filtered or unexported fields
}

func (*GameHelperEOA) Address added in v1.13.6 

func (a *GameHelperEOA) Address() common.Address

func (*GameHelperEOA) PerformMoves added in v1.13.6 

func (a *GameHelperEOA) PerformMoves(game *FaultDisputeGame, moves ...GameHelperMove) []*Claim

type GameHelperMove added in v1.13.6 

type GameHelperMove struct {
	ParentIdx *big.Int
	Claim     common.Hash
	Attack    bool
}

func Move added in v1.13.6 

func Move(parentIdx int64, claim common.Hash, attack bool) GameHelperMove

type GameOpt 

type GameOpt interface {
	Apply(cfg *GameCfg)
}

func WithFutureProposal 

func WithFutureProposal() GameOpt

func WithRootClaim added in v1.13.6 

func WithRootClaim(claim common.Hash) GameOpt

func WithUnsafeProposal 

func WithUnsafeProposal() GameOpt

type SuperFaultDisputeGame 

type SuperFaultDisputeGame struct {
	*FaultDisputeGame
}

func NewSuperFaultDisputeGame 

func NewSuperFaultDisputeGame(t devtest.T, require *require.Assertions, addr common.Address, helperProvider gameHelperProvider, game *bindings.FaultDisputeGame) *SuperFaultDisputeGame

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.