The latest update for Ethereum comes from ChainSecurity who recently announced its first fully automated verification for certifying custom functional requirements of Ethereum smart contracts. The newly released verification security is termed VerX by a company of Swiss security experts from ETH Zurich. VerX is a second-generation automated security tool which is purposefully designed in …The post ChainSecurity Brings Out First Automated Verification for Ethereum Smart Contracts appeared first on CryptoNewsZ.