proofs

package
v1.16.2 Latest Latest
Warning

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

 Go to latest Published: Nov 14, 2025 License: MIT Imports: 35 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) Bond added in v1.16.2 

func (c *Claim) Bond() *big.Int

func (*Claim) Claimant added in v1.13.6 

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

func (*Claim) Defend added in v1.16.2 

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

func (*Claim) Depth 

func (c *Claim) Depth() types.Depth

func (*Claim) Position added in v1.16.2 

func (c *Claim) Position() types.Position

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.

func (*Claim) WaitForCountered added in v1.16.2 

func (c *Claim) WaitForCountered()

WaitForCountered waits until the claim is countered either by a child claim or by a step call.

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,
	l2CL *dsl.L2CLNode,
	l2EL *dsl.L2ELNode,
	supervisor *dsl.Supervisor,
	challengerCfg *challengerConfig.Config,
) *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) GameArgs added in v1.14.1 

func (f *DisputeGameFactory) GameArgs(gameType challengerTypes.GameType) []byte

func (*DisputeGameFactory) GameAtIndex 

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

func (*DisputeGameFactory) GameCount 

func (f *DisputeGameFactory) GameCount() int64

func (*DisputeGameFactory) GameImpl added in v1.14.1 

func (f *DisputeGameFactory) GameImpl(gameType challengerTypes.GameType) *FaultDisputeGame

func (*DisputeGameFactory) StartCannonGame added in v1.16.2 

func (f *DisputeGameFactory) StartCannonGame(eoa *dsl.EOA, opts ...GameOpt) *FaultDisputeGame

func (*DisputeGameFactory) StartCannonKonaGame added in v1.16.2 

func (f *DisputeGameFactory) StartCannonKonaGame(eoa *dsl.EOA, opts ...GameOpt) *FaultDisputeGame

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,
	honestTrace func(game *FaultDisputeGame) challengerTypes.TraceAccessor,
	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) Defend added in v1.16.2 

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

func (*FaultDisputeGame) DisputeL2SequenceNumber added in v1.16.2 

func (g *FaultDisputeGame) DisputeL2SequenceNumber(eoa *dsl.EOA, startClaim *Claim, l2SequenceNumber uint64) *Claim

func (*FaultDisputeGame) DisputeToStep added in v1.16.2 

func (g *FaultDisputeGame) DisputeToStep(eoa *dsl.EOA, startClaim *Claim, traceIndex uint64) *Claim

func (*FaultDisputeGame) GameData added in v1.13.6 

func (g *FaultDisputeGame) GameData() string

func (*FaultDisputeGame) GameType added in v1.16.2 

func (g *FaultDisputeGame) GameType() challengerTypes.GameType

func (*FaultDisputeGame) L1Head added in v1.16.2 

func (g *FaultDisputeGame) L1Head() common.Hash

func (*FaultDisputeGame) L2SequenceNumber 

func (g *FaultDisputeGame) L2SequenceNumber() uint64

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() challengerTypes.Depth

func (*FaultDisputeGame) StartingL2SequenceNumber added in v1.16.2 

func (g *FaultDisputeGame) StartingL2SequenceNumber() 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, honestTraceProvider func(game *FaultDisputeGame) challengerTypes.TraceAccessor) *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) DisputeL2SequenceNumber added in v1.16.2 

func (gs *GameHelper) DisputeL2SequenceNumber(eoa *dsl.EOA, game *FaultDisputeGame, startClaim *Claim, l2SequenceNumber uint64) *Claim

func (*GameHelper) DisputeToStep added in v1.16.2 

func (gs *GameHelper) DisputeToStep(eoa *dsl.EOA, game *FaultDisputeGame, startClaim *Claim, traceIndex uint64) *Claim

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 WithL2SequenceNumber added in v1.16.2 

func WithL2SequenceNumber(seqNum uint64) 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

func (*SuperFaultDisputeGame) StartingL2SequenceNumber added in v1.16.2 

func (g *SuperFaultDisputeGame) StartingL2SequenceNumber() uint64

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.