machine

Mar 30, 2021

Changes in this version

+ type ArbStorage interface

+ CloseArbStorage func() bool

+ GetNodeStore func() NodeStore

+ Initialize func(contractPath string) error

+ Initialized func() bool

type BlockInfo

+ LogCount uint64

+ func (b *BlockInfo) InitialLogIndex() uint64

+ type EVMRequestInfo struct

+ LogIndex uint64

+ RequestId common.Hash

type Machine

+ ExecuteAssertionAdvanced func(maxGas uint64, goOverGas bool, messages []inbox.InboxMessage, ...) (*protocol.ExecutionAssertion, []value.Value, uint64)

type NodeStore

+ BlockCount func() (uint64, error)

+ GetBlockInfo func(height uint64) (*BlockInfo, error)

+ GetMessageBatch func(batchNum *big.Int) *uint64

+ GetPossibleBlock func(blockHash common.Hash) *uint64

+ GetPossibleRequestInfo func(requestId common.Hash) *uint64

+ Reorg func(height uint64) error

+ SaveBlock func(header *types.Header, logIndex, logCount uint64, requests []EVMRequestInfo) error

+ SaveMessageBatch func(batchNum *big.Int, logIndex uint64) error

Nov 24, 2020

Changes in this version

type BlockInfo

+ Header *types.Header

+ type DataNotFoundError struct

+ Key []byte

+ func (e *DataNotFoundError) Error() string

+ type MachineNotFoundError struct

+ HashValue common.Hash

+ func (e *MachineNotFoundError) Error() string

+ type ValueCache interface

+ Clear func()

+ type ValueNotFoundError struct

+ HashValue common.Hash

+ func (e *ValueNotFoundError) Error() string

Aug 31, 2020

Changes in this version

+ type BlockInfo struct

+ BlockLog value.Value

+ Bloom types.Bloom

+ Hash common.Hash

type CheckpointStorage

+ Initialize func(contractPath string) error

+ Initialized func() bool

type Machine

+ ExecuteCallServerAssertion func(maxSteps uint64, inboxMessages []inbox.InboxMessage, ...) (*protocol.ExecutionAssertion, uint64)

+ ExecuteSideloadedAssertion func(maxSteps uint64, messages []inbox.InboxMessage, sideloadValue value.TupleValue, ...) (*protocol.ExecutionAssertion, uint64)

+ MarshalState func() ([]byte, error)

Jun 19, 2020

Changes in this version

+ type ConfirmedNodeStore interface

+ Empty func() bool

+ GetNode func(height uint64, hash common.Hash) ([]byte, error)

+ GetNodeHash func(height uint64) (common.Hash, error)

+ GetNodeHeight func(hash common.Hash) (uint64, error)

+ MaxHeight func() uint64

+ PutNode func(height uint64, hash common.Hash, data []byte) error

Jun 9, 2020

Changes in this version

+ type BlockStore interface

+ BlocksAtHeight func(height *common.TimeBlocks) []*common.BlockId

+ DeleteBlock func(id *common.BlockId) error

+ GetBlock func(id *common.BlockId) ([]byte, error)

+ IsBlockStoreEmpty func() bool

+ MaxBlockStoreHeight func() *common.TimeBlocks

+ MinBlockStoreHeight func() *common.TimeBlocks

+ PutBlock func(id *common.BlockId, data []byte) error

+ type NodeStore interface

+ Empty func() bool

+ GetNode func(height uint64, hash common.Hash) ([]byte, error)

+ GetNodeHash func(height uint64) (common.Hash, error)

+ GetNodeHeight func(hash common.Hash) (uint64, error)

+ MaxHeight func() uint64

+ PutNode func(height uint64, hash common.Hash, data []byte) error

Feb 14, 2020

Changes in this version

type CheckpointStorage

+ GetMachine func(machineHash common.Hash) (Machine, error)

Feb 11, 2020

Changes in this version

type BreakpointBlocked

+ func (b BreakpointBlocked) String() string

+ type CheckpointStorage interface

+ CloseCheckpointStorage func() bool

+ DeleteCheckpoint func(machineHash common.Hash) bool

+ DeleteData func(key []byte) bool

+ DeleteValue func(hashValue common.Hash) bool

+ GetData func(key []byte) []byte

+ GetInitialMachine func() (Machine, error)

+ GetValue func(hashValue common.Hash) value.Value

+ SaveData func(key []byte, serializedValue []byte) bool

+ SaveValue func(val value.Value) bool

type ErrorBlocked

+ func (b ErrorBlocked) String() string

type HaltBlocked

+ func (b HaltBlocked) String() string

type InboxBlocked

+ Timeout value.IntValue

+ func (b InboxBlocked) String() string

type Machine

+ Checkpoint func(storage CheckpointStorage) bool

+ IsBlocked func(currentTime *common.TimeBlocks, newMessages bool) BlockReason

+ PrintState func()

+ RestoreCheckpoint func(storage CheckpointStorage, machineHash common.Hash) bool

Aug 28, 2019

Changes in this version

+ func IsMachineBlocked(machine Machine, currentTime uint64) bool

+ type AssertionDefender struct

+ func NewAssertionDefender(assertion *protocol.Assertion, precondition *protocol.Precondition, ...) AssertionDefender

+ func (ad AssertionDefender) GetAssertion() *protocol.Assertion

+ func (ad AssertionDefender) GetMachineState() Machine

+ func (ad AssertionDefender) GetPrecondition() *protocol.Precondition

+ func (ad AssertionDefender) NBisect(slices uint32) []AssertionDefender

+ func (ad AssertionDefender) NumSteps() uint32

+ func (ad AssertionDefender) SolidityOneStepProof() ([]byte, error)

+ type BlockReason interface

+ Equals func(b BlockReason) bool

+ IsBlocked func(m Machine, currentTime uint64) bool

+ type BreakpointBlocked struct

+ func (b BreakpointBlocked) Equals(a BlockReason) bool

+ func (b BreakpointBlocked) IsBlocked(m Machine, currentTime uint64) bool

+ type Context interface

+ GetTimeBounds func() value.Value

+ LoggedValue func(value.Value)

+ NotifyStep func()

+ OutMessageCount func() int

+ Send func(message protocol.Message)

+ type ErrorBlocked struct

+ func (b ErrorBlocked) Equals(a BlockReason) bool

+ func (b ErrorBlocked) IsBlocked(m Machine, currentTime uint64) bool

+ type HaltBlocked struct

+ func (b HaltBlocked) Equals(a BlockReason) bool

+ func (b HaltBlocked) IsBlocked(m Machine, currentTime uint64) bool

+ type InboxBlocked struct

+ Inbox value.HashOnlyValue

+ func (b InboxBlocked) Equals(a BlockReason) bool

+ func (b InboxBlocked) IsBlocked(m Machine, currentTime uint64) bool

+ type Machine interface

+ CanSpend func(tokenType protocol.TokenType, currency *big.Int) bool

+ Clone func() Machine

+ CurrentStatus func() Status

+ DeliverOnchainMessage func()

+ ExecuteAssertion func(maxSteps int32, timeBounds protocol.TimeBounds) *protocol.Assertion

+ Hash func() [32]byte

+ InboxHash func() value.HashOnlyValue

+ LastBlockReason func() BlockReason

+ MarshalForProof func() ([]byte, error)

+ PendingMessageCount func() uint64

+ SendOffchainMessages func([]protocol.Message)

+ SendOnchainMessage func(protocol.Message)

+ func ChooseAssertionToChallenge(m Machine, assertions []*protocol.AssertionStub, ...) (uint16, Machine, error)

+ type NoContext struct

+ func (m *NoContext) CanSpend(tokenType value.IntValue, currency value.IntValue) bool

+ func (m *NoContext) GetTimeBounds() value.Value

+ func (m *NoContext) LoggedValue(data value.Value)

+ func (m *NoContext) NotifyStep()

+ func (m *NoContext) OutMessageCount() int

+ func (m *NoContext) Send(message protocol.Message)

+ type SendBlocked struct

+ Currency *big.Int

+ TokenType protocol.TokenType

+ func (b SendBlocked) Equals(a BlockReason) bool

+ func (b SendBlocked) IsBlocked(m Machine, currentTime uint64) bool

+ type Status int

+ const ErrorStop

+ const Extensive

+ const Halt