In a recent blog post from Runtime Verification they announced that the audit on the Earth Node NFT Claiming Contract has been completed. Runtime Verification is a software company founded in 2010 that specializes in formal verification, runtime monitoring, and security for complex systems. The company was started by a group of researchers and engineers from the University of Illinois at Urbana-Champaign, and it has since grown to become a leading provider of software verification tools and services.
Runtime Verification conducted a manual code review for a period of 3 weeks and delivered a detailed report on December 29th, 2022.
To ensure the correctness and security of the Earthnode NFT Contract, World Mobile engaged Runtime Verification to perform a thorough audit of the code. The audit process included manual code review, automated testing, and formal verification techniques which found a number of minor issues that were promptly addressed by the World Mobile development team.
The audit identified and highlighted some issues along with some informative findings. Runtime Verification conducted a best-effort review of code fixes and worked with the World Mobile Group team to incorporate code fixes into the smart contract.
Overall, the audit confirmed the correctness and security of the ENNFT Contract and gave World Mobile confidence in its ability to provide a reliable and secure mobile network infrastructure. Readers interested in a more detailed and technical explanation of the findings can review the full report in Runtime Verification’s GitHub repository.