asterisc

Documentation

Index

• 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 StateConverter
  • func NewStateConverter(vmConfig vm.Config) *StateConverter
  • func (c *StateConverter) ConvertStateToProof(ctx context.Context, statePath string) (*utils.ProofData, uint64, bool, error)
• type VMState

Types

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 StateConverter

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

func NewStateConverter

func NewStateConverter(vmConfig vm.Config) *StateConverter

func (*StateConverter) ConvertStateToProof

func (c *StateConverter) ConvertStateToProof(ctx context.Context, statePath string) (*utils.ProofData, uint64, bool, error)

type VMState

type VMState struct {
	PC        uint64        `json:"pc"`
	Exited    bool          `json:"exited"`
	Step      uint64        `json:"step"`
	Witness   hexutil.Bytes `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.