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
