Blockchain platform NEO has joined forces with security audit firm CertiK to implement its “formal verification framework” to smart contracts in the platform’s ecosystem, NEO said in a Medium post.
The scope of the deal seems to be quite extensive, as the end result will be a custom-made solution, with multiple features. Other than auditing the smart contracts, the security experts will verify the digital identities on the NEO blockchain.
NEO’s team pointed out that most of the contributions on their ne...
This article appeared first on Cryptovest