prover

Documentation

Index

• type DebugProver
  • func NewDebugProver() *DebugProver
  • func (l *DebugProver) CaptureEnd(output []byte, gasUsed uint64, t time.Duration, err error)
  • func (l *DebugProver) CaptureEnter(typ vm.OpCode, from common.Address, to common.Address, input []byte, ...)
  • func (l *DebugProver) CaptureExit(output []byte, gasUsed uint64, err error)
  • func (l *DebugProver) CaptureFault(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, depth int, ...)
  • func (l *DebugProver) CaptureStart(env *vm.EVM, from common.Address, to common.Address, create bool, input []byte, ...)
  • func (l *DebugProver) CaptureState(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, ...)
  • func (l *DebugProver) CaptureTxEnd(restGas uint64)
  • func (l *DebugProver) CaptureTxStart(gasLimit uint64)
• type GeneratedState
• type OneStepProver
  • func NewProver(target common.Hash, step uint64) *OneStepProver
  • func (l *OneStepProver) CaptureEnd(output []byte, gasUsed uint64, t time.Duration, err error)
  • func (l *OneStepProver) CaptureEnter(typ vm.OpCode, from common.Address, to common.Address, input []byte, ...)
  • func (l *OneStepProver) CaptureExit(output []byte, gasUsed uint64, err error)
  • func (l *OneStepProver) CaptureFault(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, depth int, ...)
  • func (l *OneStepProver) CaptureStart(env *vm.EVM, from common.Address, to common.Address, create bool, input []byte, ...)
  • func (l *OneStepProver) CaptureState(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, ...)
  • func (l *OneStepProver) CaptureTxEnd(restGas uint64)
  • func (l *OneStepProver) CaptureTxStart(gasLimit uint64)
  • func (l *OneStepProver) GetProof() (*proof.OneStepProof, error)
• type PlaceHolderProof
  • func (p *PlaceHolderProof) Encode() []byte
• type StateGenerator
  • func NewStateGenerator() *StateGenerator
  • func (l *StateGenerator) CaptureEnd(output []byte, gasUsed uint64, t time.Duration, err error)
  • func (l *StateGenerator) CaptureEnter(typ vm.OpCode, from common.Address, to common.Address, input []byte, ...)
  • func (l *StateGenerator) CaptureExit(output []byte, gasUsed uint64, err error)
  • func (l *StateGenerator) CaptureFault(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, depth int, ...)
  • func (l *StateGenerator) CaptureStart(env *vm.EVM, from common.Address, to common.Address, create bool, input []byte, ...)
  • func (l *StateGenerator) CaptureState(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, ...)
  • func (l *StateGenerator) CaptureTxEnd(restGas uint64)
  • func (l *StateGenerator) CaptureTxStart(gasLimit uint64)
  • func (l *StateGenerator) GetGeneratedStates() ([]GeneratedState, error)

Types

type DebugProver

type DebugProver struct{}

func NewDebugProver

func NewDebugProver() *DebugProver

func (*DebugProver) CaptureEnd

func (l *DebugProver) CaptureEnd(output []byte, gasUsed uint64, t time.Duration, err error)

func (*DebugProver) CaptureEnter

func (l *DebugProver) CaptureEnter(typ vm.OpCode, from common.Address, to common.Address, input []byte, gas uint64, value *big.Int)

func (*DebugProver) CaptureExit

func (l *DebugProver) CaptureExit(output []byte, gasUsed uint64, err error)

func (*DebugProver) CaptureFault

func (l *DebugProver) CaptureFault(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, depth int, err error)

func (*DebugProver) CaptureStart

func (l *DebugProver) CaptureStart(env *vm.EVM, from common.Address, to common.Address, create bool, input []byte, gas uint64, value *big.Int)

func (*DebugProver) CaptureState

func (l *DebugProver) CaptureState(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, rData []byte, depth int, err error)

func (*DebugProver) CaptureTxEnd

func (l *DebugProver) CaptureTxEnd(restGas uint64)

func (*DebugProver) CaptureTxStart

func (l *DebugProver) CaptureTxStart(gasLimit uint64)

type GeneratedState

type GeneratedState struct {
	VMHash common.Hash
	Gas    uint64
}

type OneStepProver

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

func NewProver

func NewProver(target common.Hash, step uint64) *OneStepProver

func (*OneStepProver) CaptureEnd

func (l *OneStepProver) CaptureEnd(output []byte, gasUsed uint64, t time.Duration, err error)

func (*OneStepProver) CaptureEnter

func (l *OneStepProver) CaptureEnter(typ vm.OpCode, from common.Address, to common.Address, input []byte, gas uint64, value *big.Int)

func (*OneStepProver) CaptureExit

func (l *OneStepProver) CaptureExit(output []byte, gasUsed uint64, err error)

func (*OneStepProver) CaptureFault

func (l *OneStepProver) CaptureFault(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, depth int, err error)

func (*OneStepProver) CaptureStart

func (l *OneStepProver) CaptureStart(env *vm.EVM, from common.Address, to common.Address, create bool, input []byte, gas uint64, value *big.Int)

func (*OneStepProver) CaptureState

func (l *OneStepProver) CaptureState(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, rData []byte, depth int, err error)

func (*OneStepProver) CaptureTxEnd

func (l *OneStepProver) CaptureTxEnd(restGas uint64)

func (*OneStepProver) CaptureTxStart

func (l *OneStepProver) CaptureTxStart(gasLimit uint64)

func (*OneStepProver) GetProof

func (l *OneStepProver) GetProof() (*proof.OneStepProof, error)

type PlaceHolderProof

type PlaceHolderProof struct{}

func (*PlaceHolderProof) Encode

func (p *PlaceHolderProof) Encode() []byte

type StateGenerator

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

func NewStateGenerator

func NewStateGenerator() *StateGenerator

func (*StateGenerator) CaptureEnd

func (l *StateGenerator) CaptureEnd(output []byte, gasUsed uint64, t time.Duration, err error)

func (*StateGenerator) CaptureEnter

func (l *StateGenerator) CaptureEnter(typ vm.OpCode, from common.Address, to common.Address, input []byte, gas uint64, value *big.Int)

func (*StateGenerator) CaptureExit

func (l *StateGenerator) CaptureExit(output []byte, gasUsed uint64, err error)

func (*StateGenerator) CaptureFault

func (l *StateGenerator) CaptureFault(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, depth int, err error)

func (*StateGenerator) CaptureStart

func (l *StateGenerator) CaptureStart(env *vm.EVM, from common.Address, to common.Address, create bool, input []byte, gas uint64, value *big.Int)

func (*StateGenerator) CaptureState

func (l *StateGenerator) CaptureState(pc uint64, op vm.OpCode, gas, cost uint64, scope *vm.ScopeContext, rData []byte, depth int, err error)

func (*StateGenerator) CaptureTxEnd

func (l *StateGenerator) CaptureTxEnd(restGas uint64)

func (*StateGenerator) CaptureTxStart

func (l *StateGenerator) CaptureTxStart(gasLimit uint64)

func (*StateGenerator) GetGeneratedStates

func (l *StateGenerator) GetGeneratedStates() ([]GeneratedState, error)