基于可认证数据结构的区块链语义分析的方法

摘要

本发明公开了基于可认证数据结构的区块链语义分析的方法，通过完整展示将可认证数据结构的操作性语义转化为指示性语义的过程，由于monad概念过于抽象，所以本文重点描述了auth和unauth代码的分析过程，以具体实例展示如何将非纯函数组合在一起。采用monad方法可直接借助源编译器语言实现新的语言功能，因此可避免修改编译器的语法树，同时便于在不同程序编译器之间移植新的语言功能。