prover

package

v0.0.0-...-4547e52 Latest Latest Go to latest Published: Oct 3, 2023 License: GPL-3.0, Apache-2.0 Imports: 5 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/specularl2/specular

Documentation ¶

Index ¶

type DebugProver
- func NewDebugProver() *DebugProver
type GeneratedState
type OneStepProver
- func NewProver(target common.Hash, step uint64) *OneStepProver
type PlaceHolderProof
- func (p *PlaceHolderProof) Encode() []byte
type StateGenerator
- func NewStateGenerator() *StateGenerator

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

This section is empty.

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)

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL