Benepit is a Korea-based blockchain company with global implications: they use blockchain technology to reward mobile phone users with tokens for phone calls and ad consumption for a more efficient and more rewarding advertising experience.
With so much personal data at stake on mobile phones, Benepit partnered with CertiK, the leader in blockchain security, to audit their contracts with Formal Verification and ensure correctness.
With Benepit’s ambitious, tech-first project, they had to ensure the process could guarantee privacy and accuracy to individual users and the ad companies that would make up their new ecosystem.
To protect their users on both fronts, Benepit chose to partner with CertiK to verify their code and system.
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 Benepit’s code to follow good practices. With the delivery of the audit report, CertiK concludes that the contract is not vulnerable to any classically known anti-patterns or security issues.
CertiK would like to congratulate the Benepit 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.