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

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

时间:2019-2-14 分享到:

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

版权所有:http://www.139770.com 转载请注明出处