Secured smart contracts

Smart contract programs may call functions offered by the host system and/or third-party libraries. Also, programs running on different computers in a distributed framework do not provide any guarantee for execution time. Such openness and decentralization are the reflection of the essential spirit of blockchains, but give birth to various sources of security threats. In fact, the lack of security is plaguing the smart contracts. The Metrx AI blockchain is equipped with a power AI security engine consisting of four major components,

1) a rulebased semantic and syntactic analysis engine for smart contracts,

2) a formal verification toolkit to prove the security properties of smart contracts,

3) an AI-based detection engine for transaction model identification and security checking, and

4) a deep learning based platform for dynamic security verification and enhancement.