Mycro is a blockchain project that connects and empowers people to solutions on both sides of the gig economy, connecting short-term work projects to an active freelance network. By adapting the system to a blockchain network, payments and reviews become secure and reliable, empowering the consumers.
Mycro is a blockchain enabled platform aimed at offering small jobs in local communities. This system is built on a blockchain enabled review platform, allowing users to earn verifiable and legitimate reviews for their services or job postings, enabling users to build up trust and reputation for their projects and postings.
Mycro has an ambitious, people-first project that requires safety and trust not only for financial purposes but to guarantee the authenticity of their review system as well. To protect their users on both fronts, Mycro required a security partner that could scale alongside them to provide data and financial protection for users across multiple points of access.
To this end, Mycro chose to partner with CertiK for unrivaled security capabilities to verify their code and system.
The Audit Process
The auditing was conducted by CertiK’s team of experienced security engineers and consultants, and was conducted utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review.
Overall, the team found Mycro’s code to follow good practices. With the final update of source code and delivery of the audit report, we conclude that the contract is not vulnerable to any classically known anti-patterns or security issues.
CertiK would like to congratulate the team for passing the rigorous verification process.
CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance Labs, Certik has strategic partnerships with the world’s leading crypto exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain.
CertiK’s formal verification method works differently than traditional testing approaches: rather than working manually, CertiK mathematically proves blockchain ecosystem and smart contracts are hacker-resistant and bug-free at scale. CertiK has secured over $4B in asset value, auditing several projects across all major protocols, including BNB, Terra, Crypto.com, and TUSD.
To request the audit/verification of your smart contracts, please email email@example.com or visit certik.org to submit the request.