8BTCCI: 13968.44 +2.17% 8BTCVI: 6758.68 +3.46% 24H成交额: ¥4098.31亿 -2.86% 总市值: ¥19074.83亿 +1.31%
加密货币研究学者提出一种更为简单的智能合约调试方法

加密货币研究学者提出一种更为简单的智能合约调试方法

Joie 发布在 快讯 7303

据外媒近日报道,区块链技术社区知名人士、IOHK教授Christian Seberino提出了一种调试智能合约的新方法——“设计调试”,会比目前常用的“形式验证”简便很多。据称,该调试方法已被科技行业的知名人士使用,Amazon和Microsoft都在使用一种名为TLA+的相关语言来发现其产品和服务中的漏洞。

评论
登录 账号发表你的看法,还没有账号?立即免费 注册