Most Protocol brings algorithmic-stable tokens into the crypto world in a fully trustless manner. The protocol aims to build a mechanism to incentivize token holders to sell tokens when in high demand, and hold when over circulated. Key advantages includes:
CertiK and Most Protocol worked together to audit and verify the $MOST ERC20 token.
The overall objective of the audit was to review the implementation and design of the Most ERC20 smart contracts. A comprehensive examination has been performed, utilizing the following techniques:
CertiK’s auditing process paid special attention to the following considerations:
“With regards to the codebase, the main recommendation we can make is the expansion of the documentation to address the functionalities of the contracts from an external perspective rather than an on-code perspective. Additionally, we advise that all our findings are carefully considered and assimilated in the codebase of the project to ensure that the highest code standard is achieved,” stated by CertiK’s engineers.
Overall the codebase of the contracts should be refactored to assimilate the findings in the CertiK report, enforce linters and coding styles, as well as correct any spelling errors and mistakes that appear throughout the code.
While most of the issues CertiK pinpointed were of negligible importance, the development team behind Most was able to swiftly deal with the issues identified in the report. Throughout the audit, CertiK and Most maintained a direct communication channel to amend any issues found in the report.
CertiK is a technology-led blockchain security company founded by Computer Science professors from Yale University and Columbia University built to prove the security and correctness of smart contracts and blockchain protocols.
CertiK’s mission of every audit is to apply different approaches and detection methods, ranging from manual, static, and dynamic analysis to ensure that the project is checked against known attacks and potential vulnerabilities. CertiK leverages a team of seasoned engineers and security auditors to apply testing methodologies and verifications on the project, in turn creating a more secure and robust software system.
CertiK has serviced more than 100 clients with high quality auditing and consulting services, ranging from stablecoins such as Binance’s BGBP and Paxos Gold to decentralized oracles such as Band Protocol and Tellor.
Consult with one of our experts at firstname.lastname@example.org