VeriSol

VeriSol新闻快讯文章, VeriSol深度文章, VeriSol快讯, 区块链VeriSol, VeriSol是什么, VeriSol介绍, VeriSol解读, VeriSol项目, 三分钟了解VeriSol, 秒懂VeriSol, 如何评价VeriSol, VeriSol怎么样, VeriSol创始人, VeriSol招聘, VeriSol融资, VeriSol价格, VeriSol技术, VeriSol社区, VeriSol论坛, VeriSol浏览器, VeriSol排名, VeriSol白皮书, VeriSol本质, VeriSol意义, VeriSol代码, VeriSol游戏, VeriSol什么意思, VeriSol学习, VeriSol培训, VeriSol教程, VeriSol投资, VeriSol赚钱, VeriSol安全, VeriSol漏洞

2019年6月4日 20:10

微软提出开源形式验证工具 VeriSol，提升智能合约质量

微软研究院在博客中提出开源形式验证工具 VeriSol （Verifier for Solidity），目的是提高使用 Solidity （为以太坊区块链构建的编程语言）子集编写的智能合约的质量。微软研究院表示，尽管 VeriSol 迄今仍然是一个主要由 Azure 智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。

以太坊技术智能合约 VeriSol

链闻 ChainNews 区块链新闻快讯资讯媒体

VeriSol

微软提出开源形式验证工具 VeriSol，提升智能合约质量

下载链闻 App

24 小时追踪区块链行业资讯、热点头条、事实报道、深度洞察。

VeriSol

微软提出开源形式验证工具 VeriSol，提升智能合约质量

下载链闻 App

24 小时追踪区块链行业资讯、热点头条、事实报道、深度洞察。

邮件订阅

金融科技决策者们都在看的每日简报与深度分析，「链闻」帮你划重点。