合约一致性校验新工具

[Thors_girl]

给身边的唯链开发者小伙伴们推荐，最近注意到唯链官方开发者信息中心 Readme最新推的文 Smart Contract Consistency Verification 没？？？ 通俗的说，就是保验证公开源代码和链上运行智能合约的一致性的工具。

感兴趣的开发者给我留言来一起讨论下。