ProTradex(PRT)普瑞緹/提智慧合約系統開發實現技術方案及原始碼詳情

區塊鏈是分散式資料儲存、點對點傳輸、共識機制、加密演算法等計算機技術的新型應用模式。

　　區塊鏈助推供應鏈上的資料更加透明，供應鏈上的企業可以準確的使用端到端的透明資料，區塊鏈技術可以有效的對供應鏈上企業的交易進行數字化的處理，並且可以建立一個分散式的不可更改的所有交易記錄，可以實現資料的實時共享，有效的降低資料資訊獲取的時間成本。

　　狹義來講，區塊鏈是一種按照時間順序將資料區塊以順序相連的方式組合成的一種鏈式資料結構，並以密碼學方式保證的不可篡改和不可偽造的分散式賬本。

　　廣義來講，區塊鏈技術是利用塊鏈式資料結構來驗證與儲存資料、模式設計：利用分散式節點共識演算法來生成和更新資料、利用密碼學的方式保證資料傳輸和訪問的安全、利用由自動化指令碼程式碼組成的智慧合約來程式設計和運算元據的一種全新的分散式基礎架構與計算方式。

　　AssemblyBlock='{'AssemblyItem*'}'

　　AssemblyItem=

　　Identifier|

　　AssemblyBlock|

　　FunctionalAssemblyExpression|

　　AssemblyLocalDefinition|

　　FunctionalAssemblyAssignment|

　　AssemblyAssignment|

　　LabelDefinition|

　　AssemblySwitch|

　　AssemblyFunctionDefinition|

　　AssemblyFor|

　　'break'|'continue'|

　　SubAssembly|'dataSize''('Identifier')'|

　　LinkerSymbol|

　　'errorLabel'|'bytecodeSize'|

　　NumberLiteral|StringLiteral|HexLiteral

　　Identifier=[a-zA-Z_$][a-zA-Z_0-9]*

　　FunctionalAssemblyExpression=Identifier'('(AssemblyItem(','AssemblyItem)*)?')'

　　AssemblyLocalDefinition='let'IdentifierOrList':='FunctionalAssemblyExpression

　　FunctionalAssemblyAssignment=IdentifierOrList':='FunctionalAssemblyExpression

　　IdentifierOrList=Identifier|'('IdentifierList')'

　　IdentifierList=Identifier(','Identifier)*

　　AssemblyAssignment='=:'Identifier

　　LabelDefinition=Identifier':'

　　AssemblySwitch='switch'FunctionalAssemblyExpression AssemblyCase*

　　('default'AssemblyBlock)?

　　AssemblyCase='case'FunctionalAssemblyExpression AssemblyBlock

　　AssemblyFunctionDefinition='function'Identifier'('IdentifierList?')'

　　('->''('IdentifierList')')?AssemblyBlock

　　AssemblyFor='for'(AssemblyBlock|FunctionalAssemblyExpression)

　　FunctionalAssemblyExpression(AssemblyBlock|FunctionalAssemblyExpression)AssemblyBlock

　　SubAssembly='assembly'Identifier AssemblyBlock

　　LinkerSymbol='linkerSymbol''('StringLiteral')'

　　NumberLiteral=HexNumber|DecimalNumber

　　HexLiteral='hex'('"'([0-9a-fA-F]{2})*'"'|'''([0-9a-fA-F]{2})*''')

　　StringLiteral='"'([^"rn]|''.)*'"'

　　HexNumber='0x'[0-9a-fA-F]+

　　DecimalNumber=[0-9]+

　　{

　　mstore(0x40,0x60)//store the"free memory pointer"

　　//function dispatcher

　　switch div(calldataload(0),exp(2,226))

　　case 0xb3de648b{

　　let(r)=f(calldataload(4))

　　let ret:=$allocate(0x20)

　　mstore(ret,r)

　　return(ret,0x20)

　　}

　　default{revert(0,0)}

　　//memory allocator

　　function$allocate(size)->pos{

　　pos:=mload(0x40)

　　mstore(0x40,add(pos,size))

　　}

　　//the contract function

　　function f(x)->y{

　　y:=1

　　for{let i:=0}lt(i,x){i:=add(i,1)}{

　　y:=mul(2,y)

　　}

　　}

　　}