智能合约构建与执行的综合性综述：范式、工具与系统

智能合约被视为区块链技术中最具前景和吸引力的概念之一。其自执行和事件驱动特性使得一些在线活动无需可信第三方即可进行。然而，诸如各类攻击、隐私泄露和处理速率低等问题阻碍了其广泛应用。人们已提出多种方案和工具以促进安全智能合约的构建与执行。然而，针对这些提案的综合性综述尚缺，阻碍了新研究人员和开发者快速入门。本文综述了 2008–2020 年间关于智能合约构建与执行的文献和在线资源。我们将研究分为三类：（1）给出合约构建示例与模式的设计范式，（2）促进安全智能合约开发的设计工具，以及（3）提升系统隐私或效率的扩展与替代方案。我们首先将相关构建方案归入前两类。随后我们审阅第三类中的执行机制，并将最先进的解决方案进一步分为三类：带额外工具的私有合约、链下通道，以及核心功能的扩展。最后，我们总结了若干挑战并指明了朝向开发安全、隐私保护且高效的智能合约的未来研究方向。