分片项目Elrond采用K框架工具，进一步完善开发工具包
据官方消息，分片项目 Elrond 宣布正在使用运行验证（Runtime Verification）来完成一组基于 K 框架的正式工具来补充和完善 Elorand 开发工具包。（巴比特） [原文链接]
据官方消息，分片项目 Elrond 宣布正在使用运行验证（Runtime Verification）来完成一组基于 K 框架的正式工具来补充和完善 Elorand 开发工具包。（巴比特） [原文链接]
邮件：contact@dappchaser.com
