将可定制的去中心化加密经济作为数据类型暴露

该协议刻意采用模块化设计，支持对若干协议属性进行定制，包括所实现的共识属性、区块链类型、所用根以及虚拟机操作码等。这些模块使实施方能够以最小的代价控制其经济体的行为，且不牺牲参与者的加密经济质量。本工作还展示了如何通过抽象隐藏所有技术细节（基本的基于 CRUD 的操作除外）并使用多种编程语言，从而简化开发者体验。我们展示了所采用的机制设计方法，并形式化了一个大规模部署区块链经济体群的过程。所示框架包含用于仿真、开发、部署、维护以及基于分析的决策的适当工具。最后，我们引入了一种富有表现力的编程语言，用于创建并与实施开发者所设计的加密经济进行交互。