8BTCCI: 10243.81 8BTCVI: 9217.57 24H成交额: ¥3837.30亿 总市值: ¥12260.33亿
加密货币研究学者提出一种更为简单的智能合约调试方法

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

Joie 发布在 快讯 6272

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

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