沙僧科技-数字钱包开发-区块链商城开发-智慧城市开发-直销软件开发-app软件开发

全国加盟咨询热线:

18569989555

你的当前位置:主页»区块链新闻»区块链头条»

区块链程序开发者看智能合约和形式验证

文章出处:未知 浏览次数:发表时间:2018-07-26
今天我想来谈谈一个相关的话题:以太坊式的智能合约的形式验证。有些人声称要实现基于“深度学习”的,自动的智能合约形式验证(formal verification),用于确保合约的正确性。然而今天我要告诉你的是,跟自动编程一样,完全自动的合约验证,也是不可能实现的。

随着区块链技术的愈演愈烈,很多人开始在以太坊(Ethereum)的“智能合约语言”上做文章。其中一部分是搞 PL 的人,他们试图对 Solidity 之类语言写的智能合约进行形式验证,号称要用严密的数理逻辑方法,自动的验证智能合约的正确性。其中一种方法是用“深度学习”,经过训练之后,自动生成 Hoare Logic 的“前条件”和“后条件”。

回顶部