Documentation ¶
Index ¶
- Constants
- Variables
- func CheckMultisigPar(v *VM, curve elliptic.Curve, h []byte, pkeys [][]byte, sigs [][]byte) bool
- func DynamicOnUnload(v *VM, ctx *Context, commit bool) error
- func GetInteropID(parameter []byte) uint32
- func IsMultiSigContract(script []byte) bool
- func IsScriptCorrect(script []byte, methods bitfield.Field) error
- func IsSignatureContract(script []byte) bool
- func IsStandardContract(script []byte) bool
- func ParseMultiSigContract(script []byte) (int, [][]byte, bool)
- func ParseSignatureContract(script []byte) ([]byte, bool)
- type Context
- func (c *Context) BreakPoints() []int
- func (c *Context) CurrInstr() (int, opcode.Opcode)
- func (c *Context) DumpArgumentsSlot() string
- func (c *Context) DumpLocalSlot() string
- func (c *Context) DumpStaticSlot() string
- func (c *Context) Estack() *Stack
- func (c *Context) GetCallFlags() callflag.CallFlag
- func (c *Context) GetNEF() *nef.File
- func (c *Context) IP() int
- func (c *Context) IsCalledByEntry() bool
- func (c *Context) IsDeployed() bool
- func (c *Context) Jump(pos int)
- func (c *Context) LenInstr() int
- func (c *Context) MarshalJSON() ([]byte, error)
- func (c *Context) Next() (opcode.Opcode, []byte, error)
- func (c *Context) NextIP() int
- func (c *Context) NextInstr() (int, opcode.Opcode)
- func (c *Context) NumOfReturnVals() int
- func (c *Context) Program() []byte
- func (c *Context) ScriptHash() util.Uint160
- type ContextUnloadCallback
- type Element
- func (e Element) Array() []stackitem.Item
- func (e Element) BigInt() *big.Int
- func (e Element) Bool() bool
- func (e Element) Bytes() []byte
- func (e Element) BytesOrNil() []byte
- func (e Element) Interop() *stackitem.Interop
- func (e Element) Item() stackitem.Item
- func (e Element) String() string
- func (e Element) Value() any
- type Stack
- func (s *Stack) Back() Element
- func (s *Stack) Clear()
- func (s *Stack) Dup(n int) Element
- func (s *Stack) InsertAt(e Element, n int)
- func (s *Stack) Iter(f func(Element))
- func (s *Stack) IterBack(f func(Element))
- func (s *Stack) Len() int
- func (s *Stack) MarshalJSON() ([]byte, error)
- func (s *Stack) Peek(n int) Element
- func (s *Stack) Pop() Element
- func (s *Stack) PopSigElements() ([][]byte, error)
- func (s *Stack) Push(e Element)
- func (s *Stack) PushItem(i stackitem.Item)
- func (s *Stack) PushVal(v any)
- func (s *Stack) RemoveAt(n int) Element
- func (s *Stack) ReverseTop(n int) error
- func (s *Stack) Roll(n int) error
- func (s *Stack) Swap(n1, n2 int) error
- func (s *Stack) ToArray() []stackitem.Item
- func (s *Stack) Top() Element
- type StateMessage
- type SyscallHandler
- type VM
- func (v *VM) AddBreakPoint(n int)
- func (v *VM) AddBreakPointRel(n int)
- func (v *VM) AddGas(gas int64) bool
- func (v *VM) AtBreakpoint() bool
- func (v *VM) Call(offset int)
- func (v *VM) Context() *Context
- func (v *VM) ContractHasTryBlock() bool
- func (v *VM) DumpEStack() string
- func (v *VM) DumpIStack() string
- func (v *VM) EnableInvocationTree()
- func (v *VM) Estack() *Stack
- func (v *VM) GasConsumed() int64
- func (v *VM) GetCallingScriptHash() util.Uint160
- func (v *VM) GetCurrentScriptHash() util.Uint160
- func (v *VM) GetEntryScriptHash() util.Uint160
- func (v *VM) GetInvocationTree() *invocations.Tree
- func (v *VM) HasFailed() bool
- func (v *VM) HasHalted() bool
- func (v *VM) HasStopped() bool
- func (v *VM) Istack() []*Context
- func (v *VM) Load(prog []byte)
- func (v *VM) LoadDynamicScript(b []byte, f callflag.CallFlag)
- func (v *VM) LoadFileWithFlags(path string, f callflag.CallFlag) error
- func (v *VM) LoadNEFMethod(exe *nef.File, caller util.Uint160, hash util.Uint160, f callflag.CallFlag, ...)
- func (v *VM) LoadScript(b []byte)
- func (v *VM) LoadScriptWithFlags(b []byte, f callflag.CallFlag)
- func (v *VM) LoadScriptWithHash(b []byte, hash util.Uint160, f callflag.CallFlag)
- func (v *VM) LoadWithFlags(prog []byte, f callflag.CallFlag)
- func (v *VM) PopResult() any
- func (v *VM) PrintOps(out io.Writer)
- func (v *VM) PushContextScriptHash(n int) error
- func (v *VM) Ready() bool
- func (v *VM) Reset(t trigger.Type)
- func (v *VM) Run() error
- func (v *VM) SetPriceGetter(f func(opcode.Opcode, []byte) int64)
- func (v *VM) State() vmstate.State
- func (v *VM) Step() error
- func (v *VM) StepInto() error
- func (v *VM) StepOut() error
- func (v *VM) StepOver() error
Constants ¶
const ( // MaxInvocationStackSize is the maximum size of an invocation stack. MaxInvocationStackSize = 1024 // MaxTryNestingDepth is the maximum level of TRY nesting allowed, // that is you can't have more exception handling contexts than this. MaxTryNestingDepth = 16 // MaxStackSize is the maximum number of items allowed to be // on all stacks at once. MaxStackSize = 2 * 1024 )
const MaxMultisigKeys = 1024
MaxMultisigKeys is the maximum number of keys allowed for correct multisig contract.
Variables ¶
var ErrMultiRet = errors.New("multiple return values in a cross-contract call")
ErrMultiRet is returned when caller does not expect multiple return values from callee.
Functions ¶
func CheckMultisigPar ¶
CheckMultisigPar checks if the sigs contains sufficient valid signatures.
func DynamicOnUnload ¶
DynamicOnUnload implements OnUnload script for dynamic calls, if no exception has occurred it checks that the context has exactly 0 (in which case a `Null` is pushed) or 1 returned value.
func GetInteropID ¶
GetInteropID converts instruction parameter to an interop ID.
func IsMultiSigContract ¶
IsMultiSigContract checks whether the passed script is a multi-signature contract.
func IsScriptCorrect ¶
IsScriptCorrect checks the script for errors and mask provided for correctness wrt instruction boundaries. Normally, it returns nil, but it can return some specific error if there is any.
func IsSignatureContract ¶
IsSignatureContract checks whether the passed script is a signature check contract.
func IsStandardContract ¶
IsStandardContract checks whether the passed script is a signature or multi-signature contract.
func ParseMultiSigContract ¶
ParseMultiSigContract returns the number of signatures and a list of public keys from the verification script of the contract.
func ParseSignatureContract ¶
ParseSignatureContract parses a simple signature contract and returns a public key.
Types ¶
type Context ¶
type Context struct {
// contains filtered or unexported fields
}
Context represents the current execution context of the VM.
func NewContextWithParams ¶
NewContextWithParams creates new Context objects using script, parameter count, return value count and initial position in script.
func (*Context) BreakPoints ¶
BreakPoints returns the current set of Context's breakpoints.
func (*Context) DumpArgumentsSlot ¶
DumpArgumentsSlot returns json formatted representation of the given slot.
func (*Context) DumpLocalSlot ¶
DumpLocalSlot returns json formatted representation of the given slot.
func (*Context) DumpStaticSlot ¶
DumpStaticSlot returns json formatted representation of the given slot.
func (*Context) GetCallFlags ¶
GetCallFlags returns the calling flags which the context was created with.
func (*Context) IsCalledByEntry ¶
IsCalledByEntry checks parent script contexts and return true if the current one is an entry script (the first loaded into the VM) or one called by it.
func (*Context) IsDeployed ¶
IsDeployed returns whether this context contains a deployed contract.
func (*Context) Jump ¶
Jump unconditionally moves the next instruction pointer to the specified location.
func (*Context) MarshalJSON ¶
MarshalJSON implements the JSON marshalling interface.
func (*Context) Next ¶
Next returns the next instruction to execute with its parameter if any. The parameter is not copied and shouldn't be written to. After its invocation, the instruction pointer points to the instruction returned.
func (*Context) NumOfReturnVals ¶
NumOfReturnVals returns the number of return values expected from this context.
func (*Context) ScriptHash ¶
ScriptHash returns a hash of the script in the current context.
type ContextUnloadCallback ¶
ContextUnloadCallback is a callback method used on context unloading from istack.
type Element ¶
type Element struct {
// contains filtered or unexported fields
}
Element represents an element on the stack. Technically, it's a wrapper around stackitem.Item interface to provide some API simplification for the VM.
func NewElement ¶
NewElement returns a new Element object, with its underlying value inferred to the corresponding type.
func (Element) Array ¶
Array attempts to get the underlying value of the element as an array of other items. It will panic if the item type is different, which will be caught by the VM.
func (Element) BigInt ¶
BigInt attempts to get the underlying value of the element as a big integer. It will panic if the assertion has failed, which will be caught by the VM.
func (Element) Bool ¶
Bool converts the underlying value of the element to a boolean if it's possible to do so. Otherwise, it will panic.
func (Element) Bytes ¶
Bytes attempts to get the underlying value of the element as a byte array. It will panic if the assertion has failed, which will be caught by the VM.
func (Element) BytesOrNil ¶
BytesOrNil attempts to get the underlying value of the element as a byte array or nil. It will panic if the assertion has failed, which will be caught by the VM.
func (Element) Interop ¶
Interop attempts to get the underlying value of the element as an interop item.
type Stack ¶
type Stack struct {
// contains filtered or unexported fields
}
Stack represents a Stack backed by a slice of Elements.
func (*Stack) Clear ¶
func (s *Stack) Clear()
Clear clears all elements on the stack and set its length to 0.
func (*Stack) Dup ¶
Dup duplicates and returns the element at position n. Dup is used for copying elements on the top of its own stack.
s.Push(s.Peek(0)) // will result in unexpected behavior. s.Push(s.Dup(0)) // is the correct approach.
func (*Stack) InsertAt ¶
InsertAt inserts the given item (n) deep on the stack. Be very careful using it and _always_ check n before invocation as it will panic otherwise.
func (*Stack) Iter ¶
Iter iterates over all elements int the stack, starting from the top of the stack.
s.Iter(func(elem *Element) { // do something with the element. })
func (*Stack) IterBack ¶
IterBack iterates over all elements of the stack, starting from the bottom of the stack.
s.IterBack(func(elem *Element) { // do something with the element. })
func (*Stack) MarshalJSON ¶
MarshalJSON implements the JSON marshalling interface.
func (*Stack) Peek ¶
Peek returns the element (n) far in the stack beginning from the top of the stack. For n == 0 it's, effectively, the same as Top, but it'll panic if the stack is empty.
func (*Stack) Pop ¶
Pop removes and returns the element on top of the stack. It panics if the stack is empty.
func (*Stack) PopSigElements ¶
PopSigElements pops keys or signatures from the stack as needed for CHECKMULTISIG.
func (*Stack) PushVal ¶
PushVal pushes the given value on the stack. It will infer the underlying Item to its corresponding type.
func (*Stack) RemoveAt ¶
RemoveAt removes the element (n) deep on the stack beginning from the top of the stack. It panics if called with out of bounds n.
func (*Stack) ReverseTop ¶
ReverseTop reverses top n items of the stack.
func (*Stack) Roll ¶
Roll brings an item with the given index to the top of the stack moving all other elements down accordingly. It does all of that without popping and pushing elements.
type StateMessage ¶
type StateMessage string
StateMessage is a vm state message which could be used as an additional info, for example by cli.
type SyscallHandler ¶
SyscallHandler is a type for syscall handler.
type VM ¶
type VM struct { GasLimit int64 // SyscallHandler handles SYSCALL opcode. SyscallHandler func(v *VM, id uint32) error // LoadToken handles CALLT opcode. LoadToken func(id int32) error // contains filtered or unexported fields }
VM represents the virtual machine.
func NewWithTrigger ¶
NewWithTrigger returns a new VM for executions triggered by t.
func (*VM) AddBreakPoint ¶
AddBreakPoint adds a breakpoint to the current context.
func (*VM) AddBreakPointRel ¶
AddBreakPointRel adds a breakpoint relative to the current instruction pointer.
func (*VM) AddGas ¶
AddGas consumes the specified amount of gas. It returns true if gas limit wasn't exceeded.
func (*VM) AtBreakpoint ¶
AtBreakpoint returns whether the VM is at breakpoint.
func (*VM) Context ¶
Context returns the current executed context. Nil if there is no context, which implies no program is loaded.
func (*VM) ContractHasTryBlock ¶
ContractHasTryBlock checks if the currently executing contract has a TRY block in one of its contexts.
func (*VM) DumpEStack ¶
DumpEStack returns json formatted representation of the execution stack.
func (*VM) DumpIStack ¶
DumpIStack returns json formatted representation of the invocation stack.
func (*VM) EnableInvocationTree ¶
func (v *VM) EnableInvocationTree()
CollectInvocationTree enables collecting invocation tree data.
func (*VM) GasConsumed ¶
GasConsumed returns the amount of GAS consumed during execution.
func (*VM) GetCallingScriptHash ¶
GetCallingScriptHash implements the ScriptHashGetter interface.
func (*VM) GetCurrentScriptHash ¶
GetCurrentScriptHash implements the ScriptHashGetter interface.
func (*VM) GetEntryScriptHash ¶
GetEntryScriptHash implements the ScriptHashGetter interface.
func (*VM) GetInvocationTree ¶
func (v *VM) GetInvocationTree() *invocations.Tree
GetInvocationTree returns the current invocation tree structure.
func (*VM) HasFailed ¶
HasFailed returns whether the VM is in the failed state now. Usually, it's used to check status after Run.
func (*VM) HasStopped ¶
HasStopped returns whether the VM is in the Halt or Failed state.
func (*VM) LoadDynamicScript ¶
LoadDynamicScript loads the given script with the given flags. This script is considered to be dynamic, it can either return no value at all or return exactly one value.
func (*VM) LoadFileWithFlags ¶
LoadFileWithFlags loads a program in NEF format from the given path, ready to execute it.
func (*VM) LoadNEFMethod ¶
func (v *VM) LoadNEFMethod(exe *nef.File, caller util.Uint160, hash util.Uint160, f callflag.CallFlag, hasReturn bool, methodOff int, initOff int, onContextUnload ContextUnloadCallback)
LoadNEFMethod allows to create a context to execute a method from the NEF file with the specified caller and executing hash, call flags, return value, method and _initialize offsets.
func (*VM) LoadScript ¶
LoadScript loads a script from the internal script table. It will immediately push a new context created from this script to the invocation stack and starts executing it.
func (*VM) LoadScriptWithFlags ¶
LoadScriptWithFlags loads script and sets call flag to f.
func (*VM) LoadScriptWithHash ¶
LoadScriptWithHash is similar to the LoadScriptWithFlags method, but it also loads the given script hash directly into the Context to avoid its recalculations and to make it possible to override it for deployed contracts with special hashes (the function assumes that it is used for deployed contracts setting context's parameters accordingly). It's up to the user of this function to make sure the script and hash match each other.
func (*VM) LoadWithFlags ¶
LoadWithFlags initializes the VM with the program and flags given.
func (*VM) PopResult ¶
PopResult is used to pop the first item of the evaluation stack. This allows us to test the compiler and the vm in a bi-directional way.
func (*VM) PushContextScriptHash ¶
PushContextScriptHash pushes the script hash of the invocation stack element number n to the evaluation stack.
func (*VM) Ready ¶
Ready returns true if the VM is ready to execute the loaded program. It will return false if no program is loaded.
func (*VM) Reset ¶
Reset allows to reuse existing VM for subsequent executions making them somewhat more efficient. It reuses invocation and evaluation stacks as well as VM structure itself.
func (*VM) SetPriceGetter ¶
SetPriceGetter registers the given PriceGetterFunc in v. f accepts vm's Context, current instruction and instruction parameter.
func (*VM) StepInto ¶
StepInto behaves the same as “step over” in case the line does not contain a function. Otherwise, the debugger will enter the called function and continue line-by-line debugging there.