小葱APP讯，据官方消息，智能合约审计公司ChainSecurity宣布推出首个针对以太坊智能合约的自动验证器VerX，用于监测安全漏洞和验证以太坊智能合约的自定义功能要求。