interop

Documentation

Index

• Constants
• Variables
• func ReceiptsToExecutingMessages(depset depset.ChainIndexFromID, receipts ethtypes.Receipts) (map[uint32]*supervisortypes.ExecutingMessage, uint32, error)
• func RunConsolidation(logger log.Logger, bootInfo *boot.BootInfoInterop, l1PreimageOracle l1.Oracle, ...) (eth.Bytes32, error)
• func RunInteropProgram(logger log.Logger, bootInfo *boot.BootInfoInterop, l1PreimageOracle l1.Oracle, ...) error
• type ConsolidateCheckDeps
• type ConsolidateOracle
  • func NewConsolidateOracle(oracle l2.Oracle, transitionState *interopTypes.TransitionState) *ConsolidateOracle
  • func (o *ConsolidateOracle) BlockByHash(blockHash common.Hash, chainID eth.ChainID) *types.Block
  • func (o *ConsolidateOracle) BlockDataByHash(agreedBlockHash, blockHash common.Hash, chainID eth.ChainID) *types.Block
  • func (o *ConsolidateOracle) CodeByHash(codeHash common.Hash, chainID eth.ChainID) []byte
  • func (o *ConsolidateOracle) Hinter() l2Types.OracleHinter
  • func (o *ConsolidateOracle) KeyValueStore() l2.KeyValueStore
  • func (o *ConsolidateOracle) NodeByHash(nodeHash common.Hash, chainID eth.ChainID) []byte
  • func (o *ConsolidateOracle) OutputByRoot(root common.Hash, chainID eth.ChainID) eth.Output
  • func (o *ConsolidateOracle) ReceiptsByBlockHash(blockHash common.Hash, chainID eth.ChainID) (*types.Block, types.Receipts)
  • func (o *ConsolidateOracle) TransitionStateByRoot(root common.Hash) *interopTypes.TransitionState

Constants

const (
	ConsolidateStep = 127
)

Variables

var (
	ErrIncorrectOutputRootType = errors.New("incorrect output root type")
	ErrL1HeadReached           = errors.New("l1 head reached")
	ErrInvalidPrestate         = errors.New("invalid prestate")

	InvalidTransition     = []byte("invalid")
	InvalidTransitionHash = crypto.Keccak256Hash(InvalidTransition)
)

var ErrInvalidBlockReplacement = errors.New("invalid block replacement error")

Functions

func ReceiptsToExecutingMessages

func ReceiptsToExecutingMessages(depset depset.ChainIndexFromID, receipts ethtypes.Receipts) (map[uint32]*supervisortypes.ExecutingMessage, uint32, error)

ReceiptsToExecutingMessages returns the executing messages in the receipts indexed by their position in the log.

func RunConsolidation

func RunConsolidation(
	logger log.Logger,
	bootInfo *boot.BootInfoInterop,
	l1PreimageOracle l1.Oracle,
	l2PreimageOracle l2.Oracle,
	transitionState *types.TransitionState,
	superRoot *eth.SuperV1,
	tasks taskExecutor,
) (eth.Bytes32, error)

func RunInteropProgram

func RunInteropProgram(logger log.Logger, bootInfo *boot.BootInfoInterop, l1PreimageOracle l1.Oracle, l2PreimageOracle l2.Oracle, validateClaim bool) error

Types

type ConsolidateCheckDeps

type ConsolidateCheckDeps interface {
	cross.UnsafeFrontierCheckDeps
	cross.CycleCheckDeps
	cross.UnsafeStartDeps
}

type ConsolidateOracle

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

ConsolidateOracle extends another l2.Oracle with consolidated state data. The consolidated state data includes data from deposits-only replacement blocks.

func NewConsolidateOracle

func NewConsolidateOracle(oracle l2.Oracle, transitionState *interopTypes.TransitionState) *ConsolidateOracle

func (*ConsolidateOracle) BlockByHash

func (o *ConsolidateOracle) BlockByHash(blockHash common.Hash, chainID eth.ChainID) *types.Block

func (*ConsolidateOracle) BlockDataByHash

func (o *ConsolidateOracle) BlockDataByHash(agreedBlockHash, blockHash common.Hash, chainID eth.ChainID) *types.Block

func (*ConsolidateOracle) CodeByHash

func (o *ConsolidateOracle) CodeByHash(codeHash common.Hash, chainID eth.ChainID) []byte

func (*ConsolidateOracle) Hinter

func (o *ConsolidateOracle) Hinter() l2Types.OracleHinter

func (*ConsolidateOracle) KeyValueStore

func (o *ConsolidateOracle) KeyValueStore() l2.KeyValueStore

func (*ConsolidateOracle) NodeByHash

func (o *ConsolidateOracle) NodeByHash(nodeHash common.Hash, chainID eth.ChainID) []byte

func (*ConsolidateOracle) OutputByRoot

func (o *ConsolidateOracle) OutputByRoot(root common.Hash, chainID eth.ChainID) eth.Output

func (*ConsolidateOracle) ReceiptsByBlockHash

func (o *ConsolidateOracle) ReceiptsByBlockHash(blockHash common.Hash, chainID eth.ChainID) (*types.Block, types.Receipts)

func (*ConsolidateOracle) TransitionStateByRoot

func (o *ConsolidateOracle) TransitionStateByRoot(root common.Hash) *interopTypes.TransitionState