neovm

package
v0.0.0-...-86e039a Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Dec 11, 2019 License: LGPL-3.0 Imports: 14 Imported by: 0

Documentation

Overview

* Copyright (C) 2019 The onyxchain Authors * This file is part of The onyxchain library. * * The onyxchain is free software: you can redistribute it and/or modify * it under the terms of the GNU Lesser General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * The onyxchain is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License * along with The onyxchain. If not, see <http://www.gnu.org/licenses/>.

Index

Constants

View Source 
const (
	STACK_LIMIT               uint32 = 2 * 1024
	MAX_INVOCATION_STACK_SIZE        = 1024
	MAX_SIZE_FOR_BIGINTEGER          = 32
	MAX_BYTEARRAY_SIZE        uint32 = 1024 * 1024
	MAX_ARRAY_SIZE            uint32 = 1024
)

Variables

View Source 
var (
	OpExecList = [256]OpExec{

		PUSH0:       {Opcode: PUSH0, Name: "PUSH0", Exec: opPushData},
		PUSHBYTES1:  {Opcode: PUSHBYTES1, Name: "PUSHBYTES1", Exec: opPushData},
		PUSHBYTES75: {Opcode: PUSHBYTES75, Name: "PUSHBYTES75", Exec: opPushData},
		PUSHDATA1:   {Opcode: PUSHDATA1, Name: "PUSHDATA1", Exec: opPushData},
		PUSHDATA2:   {Opcode: PUSHDATA2, Name: "PUSHDATA2", Exec: opPushData},
		PUSHDATA4:   {Opcode: PUSHDATA4, Name: "PUSHDATA4", Exec: opPushData, Validator: validatorPushData4},
		PUSHM1:      {Opcode: PUSHM1, Name: "PUSHM1", Exec: opPushData},
		PUSH1:       {Opcode: PUSH1, Name: "PUSH1", Exec: opPushData},
		PUSH2:       {Opcode: PUSH2, Name: "PUSH2", Exec: opPushData},
		PUSH3:       {Opcode: PUSH3, Name: "PUSH3", Exec: opPushData},
		PUSH4:       {Opcode: PUSH4, Name: "PUSH4", Exec: opPushData},
		PUSH5:       {Opcode: PUSH5, Name: "PUSH5", Exec: opPushData},
		PUSH6:       {Opcode: PUSH6, Name: "PUSH6", Exec: opPushData},
		PUSH7:       {Opcode: PUSH7, Name: "PUSH7", Exec: opPushData},
		PUSH8:       {Opcode: PUSH8, Name: "PUSH8", Exec: opPushData},
		PUSH9:       {Opcode: PUSH9, Name: "PUSH9", Exec: opPushData},
		PUSH10:      {Opcode: PUSH10, Name: "PUSH10", Exec: opPushData},
		PUSH11:      {Opcode: PUSH11, Name: "PUSH11", Exec: opPushData},
		PUSH12:      {Opcode: PUSH12, Name: "PUSH12", Exec: opPushData},
		PUSH13:      {Opcode: PUSH13, Name: "PUSH13", Exec: opPushData},
		PUSH14:      {Opcode: PUSH14, Name: "PUSH14", Exec: opPushData},
		PUSH15:      {Opcode: PUSH15, Name: "PUSH15", Exec: opPushData},
		PUSH16:      {Opcode: PUSH16, Name: "PUSH16", Exec: opPushData},

		NOP:      {Opcode: NOP, Name: "NOP", Exec: opNop},
		JMP:      {Opcode: JMP, Name: "JMP", Exec: opJmp},
		JMPIF:    {Opcode: JMPIF, Name: "JMPIF", Exec: opJmp},
		JMPIFNOT: {Opcode: JMPIFNOT, Name: "JMPIFNOT", Exec: opJmp},
		CALL:     {Opcode: CALL, Name: "CALL", Exec: opCall, Validator: validateCall},
		RET:      {Opcode: RET, Name: "RET", Exec: opRet},
		APPCALL:  {Opcode: APPCALL, Name: "APPCALL"},

		SYSCALL: {Opcode: SYSCALL, Name: "SYSCALL"},

		DUPFROMALTSTACK: {Opcode: DUPFROMALTSTACK, Name: "DUPFROMALTSTACK", Exec: opToDupFromAltStack, Validator: validateAltStackCount1},
		TOALTSTACK:      {Opcode: TOALTSTACK, Name: "TOALTSTACK", Exec: opToAltStack, Validator: validateCount1},
		FROMALTSTACK:    {Opcode: FROMALTSTACK, Name: "FROMALTSTACK", Exec: opFromAltStack, Validator: validateAltStackCount1},
		XDROP:           {Opcode: XDROP, Name: "XDROP", Exec: opXDrop, Validator: validateXDrop},
		XSWAP:           {Opcode: XSWAP, Name: "XSWAP", Exec: opXSwap, Validator: validateXSwap},
		XTUCK:           {Opcode: XTUCK, Name: "XTUCK", Exec: opXTuck, Validator: validateXTuck},
		DEPTH:           {Opcode: DEPTH, Name: "DEPTH", Exec: opDepth},
		DROP:            {Opcode: DROP, Name: "DROP", Exec: opDrop, Validator: validateCount1},
		DUP:             {Opcode: DUP, Name: "DUP", Exec: opDup, Validator: validateCount1},
		NIP:             {Opcode: NIP, Name: "NIP", Exec: opNip, Validator: validateCount2},
		OVER:            {Opcode: OVER, Name: "OVER", Exec: opOver, Validator: validateCount2},
		PICK:            {Opcode: PICK, Name: "PICK", Exec: opPick, Validator: validatePick},
		ROLL:            {Opcode: ROLL, Name: "ROLL", Exec: opRoll, Validator: validateRoll},
		ROT:             {Opcode: ROT, Name: "ROT", Exec: opRot, Validator: validateCount3},
		SWAP:            {Opcode: SWAP, Name: "SWAP", Exec: opSwap, Validator: validateCount2},
		TUCK:            {Opcode: TUCK, Name: "TUCK", Exec: opTuck, Validator: validateCount2},

		CAT:    {Opcode: CAT, Name: "CAT", Exec: opCat, Validator: validateCat},
		SUBSTR: {Opcode: SUBSTR, Name: "SUBSTR", Exec: opSubStr, Validator: validateSubStr},
		LEFT:   {Opcode: LEFT, Name: "LEFT", Exec: opLeft, Validator: validateLeft},
		RIGHT:  {Opcode: RIGHT, Name: "RIGHT", Exec: opRight, Validator: validateRight},
		SIZE:   {Opcode: SIZE, Name: "SIZE", Exec: opSize, Validator: validateCount1},

		INVERT: {Opcode: INVERT, Name: "INVERT", Exec: opInvert, Validator: validateCount1},
		AND:    {Opcode: AND, Name: "AND", Exec: opBigIntZip, Validator: validateCount2},
		OR:     {Opcode: OR, Name: "OR", Exec: opBigIntZip, Validator: validateCount2},
		XOR:    {Opcode: XOR, Name: "XOR", Exec: opBigIntZip, Validator: validateCount2},
		EQUAL:  {Opcode: EQUAL, Name: "EQUAL", Exec: opEqual, Validator: validateCount2},

		INC:         {Opcode: INC, Name: "INC", Exec: opBigInt, Validator: validateInc},
		DEC:         {Opcode: DEC, Name: "DEC", Exec: opBigInt, Validator: validateDec},
		SIGN:        {Opcode: SIGN, Name: "SIGN", Exec: opSign, Validator: validateSign},
		NEGATE:      {Opcode: NEGATE, Name: "NEGATE", Exec: opBigInt, Validator: validateCount1},
		ABS:         {Opcode: ABS, Name: "ABS", Exec: opBigInt, Validator: validateCount1},
		NOT:         {Opcode: NOT, Name: "NOT", Exec: opNot, Validator: validateCount1},
		NZ:          {Opcode: NZ, Name: "NZ", Exec: opNz, Validator: validateCount1},
		ADD:         {Opcode: ADD, Name: "ADD", Exec: opBigIntZip, Validator: validateAdd},
		SUB:         {Opcode: SUB, Name: "SUB", Exec: opBigIntZip, Validator: validateSub},
		MUL:         {Opcode: MUL, Name: "MUL", Exec: opBigIntZip, Validator: validateMul},
		DIV:         {Opcode: DIV, Name: "DIV", Exec: opBigIntZip, Validator: validateDiv},
		MOD:         {Opcode: MOD, Name: "MOD", Exec: opBigIntZip, Validator: validateMod},
		SHL:         {Opcode: SHL, Name: "SHL", Exec: opBigIntZip, Validator: validateShiftLeft},
		SHR:         {Opcode: SHR, Name: "SHR", Exec: opBigIntZip, Validator: validateShift},
		BOOLAND:     {Opcode: BOOLAND, Name: "BOOLAND", Exec: opBoolZip, Validator: validateCount2},
		BOOLOR:      {Opcode: BOOLOR, Name: "BOOLOR", Exec: opBoolZip, Validator: validateCount2},
		NUMEQUAL:    {Opcode: NUMEQUAL, Name: "NUMEQUAL", Exec: opBigIntComp, Validator: validateCount2},
		NUMNOTEQUAL: {Opcode: NUMNOTEQUAL, Name: "NUMNOTEQUAL", Exec: opBigIntComp, Validator: validateCount2},
		LT:          {Opcode: LT, Name: "LT", Exec: opBigIntComp, Validator: validateCount2},
		GT:          {Opcode: GT, Name: "GT", Exec: opBigIntComp, Validator: validateCount2},
		LTE:         {Opcode: LTE, Name: "LTE", Exec: opBigIntComp, Validator: validateCount2},
		GTE:         {Opcode: GTE, Name: "GTE", Exec: opBigIntComp, Validator: validateCount2},
		MIN:         {Opcode: MIN, Name: "MIN", Exec: opBigIntZip, Validator: validateCount2},
		MAX:         {Opcode: MAX, Name: "MAX", Exec: opBigIntZip, Validator: validateCount2},
		WITHIN:      {Opcode: WITHIN, Name: "WITHIN", Exec: opWithIn, Validator: validateCount3},

		SHA1:    {Opcode: SHA1, Name: "SHA1", Exec: opHash, Validator: validateCount1},
		SHA256:  {Opcode: SHA256, Name: "SHA256", Exec: opHash, Validator: validateCount1},
		HASH160: {Opcode: HASH160, Name: "HASH160", Exec: opHash, Validator: validateCount1},
		HASH256: {Opcode: HASH256, Name: "HASH256", Exec: opHash, Validator: validateCount1},
		VERIFY:  {Opcode: VERIFY, Name: "VERIFY"},

		ARRAYSIZE: {Opcode: ARRAYSIZE, Name: "ARRAYSIZE", Exec: opArraySize, Validator: validateCount1},
		PACK:      {Opcode: PACK, Name: "PACK", Exec: opPack, Validator: validatePack},
		UNPACK:    {Opcode: UNPACK, Name: "UNPACK", Exec: opUnpack, Validator: validateUnpack},
		PICKITEM:  {Opcode: PICKITEM, Name: "PICKITEM", Exec: opPickItem, Validator: validatePickItem},
		SETITEM:   {Opcode: SETITEM, Name: "SETITEM", Exec: opSetItem, Validator: validatorSetItem},
		NEWARRAY:  {Opcode: NEWARRAY, Name: "NEWARRAY", Exec: opNewArray, Validator: validateNewArray},
		NEWMAP:    {Opcode: NEWMAP, Name: "NEWMAP", Exec: opNewMap},
		NEWSTRUCT: {Opcode: NEWSTRUCT, Name: "NEWSTRUCT", Exec: opNewStruct, Validator: validateNewStruct},
		APPEND:    {Opcode: APPEND, Name: "APPEND", Exec: opAppend, Validator: validateAppend},
		REVERSE:   {Opcode: REVERSE, Name: "REVERSE", Exec: opReverse, Validator: validatorReverse},
		REMOVE:    {Opcode: REMOVE, Name: "REMOVE", Exec: opRemove, Validator: validatorRemove},

		THROW:      {Opcode: THROW, Name: "THROW", Exec: opThrow},
		THROWIFNOT: {Opcode: THROWIFNOT, Name: "THROWIFNOT", Exec: opThrowIfNot, Validator: validatorThrowIfNot},
	}
)

Functions

func BigIntComp 

func BigIntComp(bigint *big.Int, op OpCode) bool

func BigIntMultiComp 

func BigIntMultiComp(ints1 *big.Int, ints2 *big.Int, op OpCode) bool

func BigIntOp 

func BigIntOp(bi *big.Int, op OpCode) *big.Int

func BigIntZip 

func BigIntZip(ints1 *big.Int, ints2 *big.Int, op OpCode) *big.Int

func BoolZip 

func BoolZip(bi1 bool, bi2 bool, op OpCode) bool

func CheckBigInteger 

func CheckBigInteger(value *big.Int) bool

func Concat 

func Concat(array1 []byte, array2 []byte) []byte

func Count 

func Count(e *ExecutionEngine) int

func EvaluationStackCount 

func EvaluationStackCount(e *ExecutionEngine) int

func Hash 

func Hash(b []byte, e *ExecutionEngine) []byte

func LogStackTrace 

func LogStackTrace(e *ExecutionEngine, needStackCount int, desc string) error

func NewStackItem 

func NewStackItem(data interface{}) types.StackItems

func PeekArray 

func PeekArray(e *ExecutionEngine) ([]types.StackItems, error)

func PeekBigInteger 

func PeekBigInteger(e *ExecutionEngine) (*big.Int, error)

func PeekInt 

func PeekInt(e *ExecutionEngine) (int, error)

func PeekInteropInterface 

func PeekInteropInterface(e *ExecutionEngine) (interfaces.Interop, error)

func PeekNBigInt 

func PeekNBigInt(i int, e *ExecutionEngine) (*big.Int, error)

func PeekNByteArray 

func PeekNByteArray(i int, e *ExecutionEngine) ([]byte, error)

func PeekNStackItem 

func PeekNStackItem(i int, e *ExecutionEngine) types.StackItems

func PeekStackItem 

func PeekStackItem(e *ExecutionEngine) types.StackItems

func PopArray 

func PopArray(e *ExecutionEngine) ([]types.StackItems, error)

func PopBigInt 

func PopBigInt(e *ExecutionEngine) (*big.Int, error)

func PopBoolean 

func PopBoolean(e *ExecutionEngine) (bool, error)

func PopByteArray 

func PopByteArray(e *ExecutionEngine) ([]byte, error)

func PopInt 

func PopInt(e *ExecutionEngine) (int, error)

func PopInteropInterface 

func PopInteropInterface(e *ExecutionEngine) (interfaces.Interop, error)

func PopStackItem 

func PopStackItem(e *ExecutionEngine) types.StackItems

func Push 

func Push(e *ExecutionEngine, element types.StackItems)

func PushData 

func PushData(e *ExecutionEngine, data interface{})

func ToBigInt 

func ToBigInt(data interface{}) *big.Int

func WithInOp 

func WithInOp(int1 *big.Int, int2 *big.Int, int3 *big.Int) bool

Types

type BigIntSorter 

type BigIntSorter []big.Int

func (BigIntSorter) Len 

func (c BigIntSorter) Len() int

func (BigIntSorter) Less 

func (c BigIntSorter) Less(i, j int) bool

func (BigIntSorter) Swap 

func (c BigIntSorter) Swap(i, j int)

type ExecutionContext 

type ExecutionContext struct {
	Code               []byte
	OpReader           *utils.VmReader
	InstructionPointer int
	// contains filtered or unexported fields
}

func NewExecutionContext 

func NewExecutionContext(engine *ExecutionEngine, code []byte) *ExecutionContext

func (*ExecutionContext) Clone 

func (ec *ExecutionContext) Clone() *ExecutionContext

func (*ExecutionContext) GetInstructionPointer 

func (ec *ExecutionContext) GetInstructionPointer() int

func (*ExecutionContext) NextInstruction 

func (ec *ExecutionContext) NextInstruction() OpCode

func (*ExecutionContext) SetInstructionPointer 

func (ec *ExecutionContext) SetInstructionPointer(offset int64)

type ExecutionEngine 

type ExecutionEngine struct {
	EvaluationStack *RandomAccessStack
	AltStack        *RandomAccessStack
	State           VMState
	Contexts        []*ExecutionContext
	Context         *ExecutionContext
	OpCode          OpCode
	OpExec          OpExec
}

func NewExecutionEngine 

func NewExecutionEngine() *ExecutionEngine

func (*ExecutionEngine) CurrentContext 

func (this *ExecutionEngine) CurrentContext() *ExecutionContext

func (*ExecutionEngine) Execute 

func (this *ExecutionEngine) Execute() error

func (*ExecutionEngine) ExecuteCode 

func (this *ExecutionEngine) ExecuteCode() error

func (*ExecutionEngine) ExecuteOp 

func (this *ExecutionEngine) ExecuteOp() (VMState, error)

func (*ExecutionEngine) PopContext 

func (this *ExecutionEngine) PopContext()

func (*ExecutionEngine) PushContext 

func (this *ExecutionEngine) PushContext(context *ExecutionContext)

func (*ExecutionEngine) StepInto 

func (this *ExecutionEngine) StepInto() error

func (*ExecutionEngine) ValidateOp 

func (this *ExecutionEngine) ValidateOp() error

type OpCode 

type OpCode byte
const (
	// Constants
	PUSH0       OpCode = 0x00 // An empty array of bytes is pushed onto the stack.
	PUSHF       OpCode = PUSH0
	PUSHBYTES1  OpCode = 0x01 // 0x01-0x4B The next opcode bytes is data to be pushed onto the stack
	PUSHBYTES75 OpCode = 0x4B
	PUSHDATA1   OpCode = 0x4C // The next byte contains the number of bytes to be pushed onto the stack.
	PUSHDATA2   OpCode = 0x4D // The next two bytes contain the number of bytes to be pushed onto the stack.
	PUSHDATA4   OpCode = 0x4E // The next four bytes contain the number of bytes to be pushed onto the stack.
	PUSHM1      OpCode = 0x4F // The number -1 is pushed onto the stack.
	PUSH1       OpCode = 0x51 // The number 1 is pushed onto the stack.
	PUSHT       OpCode = PUSH1
	PUSH2       OpCode = 0x52 // The number 2 is pushed onto the stack.
	PUSH3       OpCode = 0x53 // The number 3 is pushed onto the stack.
	PUSH4       OpCode = 0x54 // The number 4 is pushed onto the stack.
	PUSH5       OpCode = 0x55 // The number 5 is pushed onto the stack.
	PUSH6       OpCode = 0x56 // The number 6 is pushed onto the stack.
	PUSH7       OpCode = 0x57 // The number 7 is pushed onto the stack.
	PUSH8       OpCode = 0x58 // The number 8 is pushed onto the stack.
	PUSH9       OpCode = 0x59 // The number 9 is pushed onto the stack.
	PUSH10      OpCode = 0x5A // The number 10 is pushed onto the stack.
	PUSH11      OpCode = 0x5B // The number 11 is pushed onto the stack.
	PUSH12      OpCode = 0x5C // The number 12 is pushed onto the stack.
	PUSH13      OpCode = 0x5D // The number 13 is pushed onto the stack.
	PUSH14      OpCode = 0x5E // The number 14 is pushed onto the stack.
	PUSH15      OpCode = 0x5F // The number 15 is pushed onto the stack.
	PUSH16      OpCode = 0x60 // The number 16 is pushed onto the stack.

	// Flow control
	NOP      OpCode = 0x61 // Does nothing.
	JMP      OpCode = 0x62
	JMPIF    OpCode = 0x63
	JMPIFNOT OpCode = 0x64
	CALL     OpCode = 0x65
	RET      OpCode = 0x66
	APPCALL  OpCode = 0x67
	SYSCALL  OpCode = 0x68
	TAILCALL OpCode = 0x69

	// Stack
	DUPFROMALTSTACK OpCode = 0x6A
	TOALTSTACK      OpCode = 0x6B // Puts the input onto the top of the alt stack. Removes it from the main stack.
	FROMALTSTACK    OpCode = 0x6C // Puts the input onto the top of the main stack. Removes it from the alt stack.
	XDROP           OpCode = 0x6D
	XSWAP           OpCode = 0x72
	XTUCK           OpCode = 0x73
	DEPTH           OpCode = 0x74 // Puts the number of stack items onto the stack.
	DROP            OpCode = 0x75 // Removes the top stack item.
	DUP             OpCode = 0x76 // Duplicates the top stack item.
	NIP             OpCode = 0x77 // Removes the second top stack item.
	OVER            OpCode = 0x78 // Copies the second top stack item to the top.
	PICK            OpCode = 0x79 // The item n back in the stack is copied to the top.
	ROLL            OpCode = 0x7A // The item n back in the stack is moved to the top.
	ROT             OpCode = 0x7B // Move third top item on the top of stack.
	SWAP            OpCode = 0x7C // The top two items on the stack are swapped.
	TUCK            OpCode = 0x7D // The item at the top of the stack is copied and inserted before the second-to-top item.

	// Splice
	CAT    OpCode = 0x7E // Concatenates two strings.
	SUBSTR OpCode = 0x7F // Returns a section of a string.
	LEFT   OpCode = 0x80 // Keeps only characters left of the specified point in a string.
	RIGHT  OpCode = 0x81 // Keeps only characters right of the specified point in a string.
	SIZE   OpCode = 0x82 // Returns the length of the input string.

	// Bitwise logic
	INVERT OpCode = 0x83 // Flips all of the bits in the input.
	AND    OpCode = 0x84 // Boolean and between each bit in the inputs.
	OR     OpCode = 0x85 // Boolean or between each bit in the inputs.
	XOR    OpCode = 0x86 // Boolean exclusive or between each bit in the inputs.
	EQUAL  OpCode = 0x87 // Returns 1 if the inputs are exactly equal, 0 otherwise.

	// Arithmetic
	// Note: Arithmetic inputs are limited to signed 32-bit integers, but may overflow their output.
	INC         OpCode = 0x8B // 1 is added to the input.
	DEC         OpCode = 0x8C // 1 is subtracted from the input.
	SIGN        OpCode = 0x8D
	NEGATE      OpCode = 0x8F // The sign of the input is flipped.
	ABS         OpCode = 0x90 // The input is made positive.
	NOT         OpCode = 0x91 // If the input is 0 or 1, it is flipped. Otherwise the output will be 0.
	NZ          OpCode = 0x92 // Returns 0 if the input is 0. 1 otherwise.
	ADD         OpCode = 0x93 // a is added to b.
	SUB         OpCode = 0x94 // b is subtracted from a.
	MUL         OpCode = 0x95 // a is multiplied by b.
	DIV         OpCode = 0x96 // a is divided by b.
	MOD         OpCode = 0x97 // Returns the remainder after dividing a by b.
	SHL         OpCode = 0x98 // Shifts a left b bits, preserving sign.
	SHR         OpCode = 0x99 // Shifts a right b bits, preserving sign.
	BOOLAND     OpCode = 0x9A // If both a and b are not 0, the output is 1. Otherwise 0.
	BOOLOR      OpCode = 0x9B // If a or b is not 0, the output is 1. Otherwise 0.
	NUMEQUAL    OpCode = 0x9C // Returns 1 if the numbers are equal, 0 otherwise.
	NUMNOTEQUAL OpCode = 0x9E // Returns 1 if the numbers are not equal, 0 otherwise.
	LT          OpCode = 0x9F // Returns 1 if a is less than b, 0 otherwise.
	GT          OpCode = 0xA0 // Returns 1 if a is greater than b, 0 otherwise.
	LTE         OpCode = 0xA1 // Returns 1 if a is less than or equal to b, 0 otherwise.
	GTE         OpCode = 0xA2 // Returns 1 if a is greater than or equal to b, 0 otherwise.
	MIN         OpCode = 0xA3 // Returns the smaller of a and b.
	MAX         OpCode = 0xA4 // Returns the larger of a and b.
	WITHIN      OpCode = 0xA5 // Returns 1 if x is within the specified range (left-inclusive), 0 otherwise.

	// Crypto
	//RIPEMD160 = 0xA6 // The input is hashed using RIPEMD-160.
	SHA1          OpCode = 0xA7 // The input is hashed using SHA-1.
	SHA256        OpCode = 0xA8 // The input is hashed using SHA-256.
	HASH160       OpCode = 0xA9
	HASH256       OpCode = 0xAA
	CHECKSIG      OpCode = 0xAC // The entire transaction's outputs inputs and script (from the most recently-executed CODESEPARATOR to the end) are hashed. The signature used by CHECKSIG must be a valid signature for this hash and public key. If it is 1 is returned 0 otherwise.
	VERIFY        OpCode = 0xAD
	CHECKMULTISIG OpCode = 0xAE // For each signature and public key pair CHECKSIG is executed. If more public keys than signatures are listed some key/sig pairs can fail. All signatures need to match a public key. If all signatures are valid 1 is returned 0 otherwise. Due to a bug one extra unused value is removed from the stack.

	// Array
	ARRAYSIZE OpCode = 0xC0
	PACK      OpCode = 0xC1
	UNPACK    OpCode = 0xC2
	PICKITEM  OpCode = 0xC3
	SETITEM   OpCode = 0xC4
	NEWARRAY  OpCode = 0xC5
	NEWSTRUCT OpCode = 0xC6
	NEWMAP    OpCode = 0xC7
	APPEND    OpCode = 0xC8
	REVERSE   OpCode = 0xC9
	REMOVE    OpCode = 0xCA
	HASKEY    OpCode = 0xCB
	KEYS      OpCode = 0xCC
	VALUES    OpCode = 0xCD

	//Exception
	THROW      = 0xF0
	THROWIFNOT = 0xF1
)

type OpExec 

type OpExec struct {
	Opcode    OpCode
	Name      string
	Exec      func(*ExecutionEngine) (VMState, error)
	Validator func(*ExecutionEngine) error
}

type ParamsBuilder 

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

func NewParamsBuilder 

func NewParamsBuilder(buffer *bytes.Buffer) *ParamsBuilder

func (*ParamsBuilder) Emit 

func (p *ParamsBuilder) Emit(op OpCode)

func (*ParamsBuilder) EmitPushBool 

func (p *ParamsBuilder) EmitPushBool(data bool)

func (*ParamsBuilder) EmitPushByteArray 

func (p *ParamsBuilder) EmitPushByteArray(data []byte)

func (*ParamsBuilder) EmitPushCall 

func (p *ParamsBuilder) EmitPushCall(address []byte)

func (*ParamsBuilder) EmitPushInteger 

func (p *ParamsBuilder) EmitPushInteger(data *big.Int)

func (*ParamsBuilder) ToArray 

func (p *ParamsBuilder) ToArray() []byte

type RandomAccessStack 

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

func NewRandAccessStack 

func NewRandAccessStack() *RandomAccessStack

func (*RandomAccessStack) CopyTo 

func (r *RandomAccessStack) CopyTo(stack *RandomAccessStack)

func (*RandomAccessStack) Count 

func (r *RandomAccessStack) Count() int

func (*RandomAccessStack) Insert 

func (r *RandomAccessStack) Insert(index int, t types.StackItems)

func (*RandomAccessStack) Peek 

func (r *RandomAccessStack) Peek(index int) types.StackItems

func (*RandomAccessStack) Pop 

func (r *RandomAccessStack) Pop() types.StackItems

func (*RandomAccessStack) Push 

func (r *RandomAccessStack) Push(t types.StackItems)

func (*RandomAccessStack) Remove 

func (r *RandomAccessStack) Remove(index int) types.StackItems

func (*RandomAccessStack) Set 

func (r *RandomAccessStack) Set(index int, t types.StackItems)

func (*RandomAccessStack) Swap 

func (r *RandomAccessStack) Swap(i, j int)

type VMState 

type VMState byte
const (
	NONE  VMState = 0
	HALT  VMState = 1 << 0
	FAULT VMState = 1 << 1
	BREAK VMState = 1 << 2

	INSUFFICIENT_RESOURCE VMState = 1 << 4
)

Source Files

View all Source files

Directories

Path Synopsis

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.