ERC高级研究资助授予马泰奥·马菲：为区块链打造坚实安全保障

区块链是比特币等加密货币的技术基础，但它们在当今的许多其他应用中同样发挥着重要作用：它们可以用于处理更复杂的金融交易，甚至用于缔结合同。关键问题在于：这些技术真的安全吗？能否以数学上的确定性保证此类系统不会被滥用？如果不能，又该如何解决？

维也纳工业大学逻辑与计算研究所的安全与隐私研究小组的Matteo Maffei教授及其团队正在区块链技术背景下研究此类安全问题。2018年，Maffei已获得欧洲研究委员会的ERC巩固者奖金，现在他又获得了欧洲最负盛名的研究资助——ERC高级奖金。“BlockSec”项目获得了为期五年、约250万欧元的资助。

数学保证的正确性

区块链可用于在没有中央控制机构的情况下开展业务或达成协议。例如，可以在没有中央银行的情况下创建货币。贷款也可以在没有银行作为贷款人和借款人之间中介的情况下发放。这些以及其他功能由所谓的“智能合约”实现。智能合约由计算机代码组成，类似于公证监督员，以类似方式监控某些预定义流程，然后客观且公正地决定接下来应执行的操作。“所有参与者首先同意该代码，然后代码将自动运行且无法再重写，”Matteo Maffei解释道。

这自然引发了一个问题：此类系统是否会被愚弄？恶意人员能否使用任何技巧来占便宜？

“在这种情况下，仅仅让人们仔细检查代码并在深思熟虑后得出其可能安全的结论是不够的，”Matteo Maffei说道。“由于人们的金钱面临风险，因此需要的是数学可靠性。举个例子，仅在以太坊生态系统中，目前就有约666亿美元的资金正在流通。”

因此，使用了来自软件验证的技术：对于飞机控制软件等特别注重安全的计算机代码，也有必要保证代码不含错误，并且在逻辑上所有可能的情况下都能做出正确决策。这就是为什么要开发验证软件来检查其他软件。这使得可以证明软件在数学上不存在任何错误。Matteo Maffei及其团队使用类似方法来分析区块链技术——并在发现错误时，弥补安全漏洞。

结合软件技术、博弈论和密码学

与旨在提供某种功能并因此表现出某种行为的标准软件不同，用户可以在区块链上执行任何类型的交易。在这种情况下，最重要的安全问题是用户是否有可能以损害他人为代价来占便宜。为了回答这个问题，需要一个以利益为导向的行为模型，这可以由博弈论提供。