面向智能合约的可编程自然语言设计

摘要

cqvip:智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等问题。本研究提出了自然语言设计DSL,通过设计智能合约的规约语言,达到了保留自然语言的可读性、规范书写方式、增强语义明确性,能自动转化到智能合约编程语言的目的。并通过研究对比得出自然语言DSL在不违反确定性的情况下可以提高可读性和安全可解析性的结论。