PRT普瑞缇系统开发demo逻辑案例版

详情描述：

Source code WeChat：Congge420
由于每个区块都包含WeChat—kaifa873一段时间内系统进行的所有交易数据，因此完整的区块链数据包含了自创世区块以来，系统所有进行的交易及交易前后的关联信息。同时，得益于区块链信息的不可篡改特性，使得这种可追溯性是可靠可信的。

desugar item:AST->AST=

match item{

　AssemblyFunctionDefinition(‘function’name’(‘arg1,…,argn’)’’->’(‘(‘ret1,…,retm’)’body)->

<name>:

{

jump($<name>_start)

let$retPC:=0 let argn:=0…let arg1:=0

$<name>_start:

let ret1:=0…let retm:=0

{desugar(body)}

swap and pop items so that only ret1,…retm,$retPC are left on the stack

jump

0(1 n times)to compensate removal of arg1,…,argn and$retPC

 } 作者：vx_kaifa873 https://www.bilibili.com/read/cv23065056?jump_opus=1 出处：bilibili