asterisc

Documentation

Index

• type AsteriscPreStateProvider
  • func NewPrestateProvider(prestate string) *AsteriscPreStateProvider
  • func (p *AsteriscPreStateProvider) AbsolutePreStateCommitment(_ context.Context) (common.Hash, error)
  • func (p *AsteriscPreStateProvider) PrestatePath() string
• type AsteriscTraceProvider
  • func NewTraceProvider(logger log.Logger, m vm.Metricer, cfg vm.Config, vmCfg vm.OracleServerExecutor, ...) *AsteriscTraceProvider
  • func (p *AsteriscTraceProvider) Get(ctx context.Context, pos types.Position) (common.Hash, error)
  • func (p *AsteriscTraceProvider) GetL2BlockNumberChallenge(_ context.Context) (*types.InvalidL2BlockNumberChallenge, error)
  • func (p *AsteriscTraceProvider) GetStepData(ctx context.Context, pos types.Position) ([]byte, []byte, *types.PreimageOracleData, error)
• type AsteriscTraceProviderForTest
  • func NewTraceProviderForTest(logger log.Logger, m vm.Metricer, cfg *config.Config, ...) *AsteriscTraceProviderForTest
  • func (p *AsteriscTraceProviderForTest) FindStep(ctx context.Context, start uint64, preimage utils.PreimageOpt) (uint64, error)
• type VMState

Types

type AsteriscPreStateProvider

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

func NewPrestateProvider

func NewPrestateProvider(prestate string) *AsteriscPreStateProvider

func (*AsteriscPreStateProvider) AbsolutePreStateCommitment

func (p *AsteriscPreStateProvider) AbsolutePreStateCommitment(_ context.Context) (common.Hash, error)

func (*AsteriscPreStateProvider) PrestatePath

func (p *AsteriscPreStateProvider) PrestatePath() string

type AsteriscTraceProvider

type AsteriscTraceProvider struct {
	types.PrestateProvider
	// contains filtered or unexported fields
}

func NewTraceProvider

func NewTraceProvider(logger log.Logger, m vm.Metricer, cfg vm.Config, vmCfg vm.OracleServerExecutor, prestateProvider types.PrestateProvider, asteriscPrestate string, localInputs utils.LocalGameInputs, dir string, gameDepth types.Depth) *AsteriscTraceProvider

func (*AsteriscTraceProvider) Get

func (p *AsteriscTraceProvider) Get(ctx context.Context, pos types.Position) (common.Hash, error)

func (*AsteriscTraceProvider) GetL2BlockNumberChallenge

func (p *AsteriscTraceProvider) GetL2BlockNumberChallenge(_ context.Context) (*types.InvalidL2BlockNumberChallenge, error)

func (*AsteriscTraceProvider) GetStepData

func (p *AsteriscTraceProvider) GetStepData(ctx context.Context, pos types.Position) ([]byte, []byte, *types.PreimageOracleData, error)

type AsteriscTraceProviderForTest

type AsteriscTraceProviderForTest struct {
	*AsteriscTraceProvider
}

AsteriscTraceProviderForTest is a AsteriscTraceProvider that can find the step referencing the preimage read Only to be used for testing

func NewTraceProviderForTest

func NewTraceProviderForTest(logger log.Logger, m vm.Metricer, cfg *config.Config, localInputs utils.LocalGameInputs, dir string, gameDepth types.Depth) *AsteriscTraceProviderForTest

func (*AsteriscTraceProviderForTest) FindStep

func (p *AsteriscTraceProviderForTest) FindStep(ctx context.Context, start uint64, preimage utils.PreimageOpt) (uint64, error)

type VMState

type VMState struct {
	PC        uint64      `json:"pc"`
	Exited    bool        `json:"exited"`
	Step      uint64      `json:"step"`
	Witness   []byte      `json:"witness"`
	StateHash common.Hash `json:"stateHash"`
}

The state struct will be read from json. other fields included in json are specific to FPVM implementation, and not required for trace provider.