EOSIO软件开发商Block.one今天宣布，它已经向Klevoya提供了5万美元的资助，以进一步开发其智能合约验证系统，并促进区块链技术的采用。

“在Klevoya，我们知道建造高质量的dApps是很复杂的。因此，我们的使命是帮助EOSIO dApp开发人员提供无缺陷、安全的代码。在EOS.VC资助计划的支持下，我们将增加我们的Inspect智能合约分析工具可以检测到的漏洞数量，“Klevoya创始人Moti Tabulo说。他补充道：“使用Inspect和Hydra(我们的智能合约执行环境)的开发人员发现，检查智能合约中的漏洞不再是过去那样令人痛苦的经历。”