面向加密货币软件的集合论模型
软件工程
2019-08-05 v1
摘要
Emin Gün Sirer 曾言：编写一个健壮、安全的智能合约显然需要极高的严谨性。这更像是为核反应堆编写代码，而非编写松散的网页代码……然而，当前的 Solidity 语言和底层 EVM 似乎更多是为后者设计的。形式化方法（FM）是基于数学的软件开发方法，旨在产出“核反应堆级别的代码”。也就是说，恰当应用形式化方法可以生产出无缺陷、零错误、构造即正确、有保证且经过认证的软件。然而，软件行业很少使用形式化方法。造成这种局面的主要原因之一是存在一种看法（这很可能也是事实），即形式化方法会增加软件成本。另一方面，形式化方法可以部分应用，从而生产出高质量的软件，尽管不一定完全没有缺陷。在本文中，我们概述了一些与形式化方法相关的技术，加密货币社区应考虑采用这些技术，因为它们可以弥合“松散网页代码”与“核反应堆级别代码”之间的鸿沟。
引用
@article{arxiv.1908.00591,
title = {Set-Based Models for Cryptocurrency Software},
author = {Gustavo Betarte and Maximiliano Cristiá and Carlos Luna and Adrián Silveira and Dante Zanarini},
journal= {arXiv preprint arXiv:1908.00591},
year = {2019}
}