Intelligent Contracts — the AI Solution for the Issue of Security and Smart Contracts

Technical flaws in smart contracts and their solutions

Figure 1. The SMT loophole in codes

The loophole about additive overflow: a bloody incident caused by simple multiplication!

Figure 2. The BEC loophole in code

The three challenges in the face of smart contracts

Intelligent contracts, the solution to smart contracts

Realization of the advanced technology of MATRIX intelligent contracts

Figure 3. Formal verification of smart contracts
Figure 5. Generation of smart contract codes

Conclusion

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store