VeriSol

VeriSol区块链新闻快讯文章, 区块链VeriSol, VeriSol是什么, VeriSol新闻, VeriSol快讯, VeriSol网站, VeriSol解读, VeriSol怎么样, VeriSol创始人, VeriSol招聘, VeriSol融资, VeriSol价格

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

微软研究院在博客中提出开源形式验证工具 VeriSol (Verifier for Solidity),目的是提高使用 Solidity (为以太坊区块链构建的编程语言)子集编写的智能合约的质量。微软研究院表示,尽管 VeriSol 迄今仍然是一个主要由 Azure 智能合约驱动的原型,但研究人员对其期望很高,同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。
下载链闻 APP
区块链比特币媒体新闻快讯资讯iOS苹果Android安卓客户端下载
链闻 App
扫码下载
WeChatWeiboFacebookTwitterLinkedInTelegramMediumGitHubRSS收藏区块链搜索区块链移动 AppsEmail区块链文章Up