CertiK security audits - v1.0.0
June 18, 2020, 3:05 a.m.
The Token Geyser is a token distribution protocol built to reward liquidity providers and implementation of #RFC1.
We recently completed a thorough security audit by Certik in the Geyser code-base. They performed formal verification, staic analyiss and rigorous manual review, which involved testing for common and uncommon attack vectors, confirmance to best practices and implemntation correctness.
Overall, we found Ampleforth’s smart contracts to follow good practices. With the final update of source code and delivery of the audit report, we conclude that the contract is structurally sound and not vulnerable to any classically known anti-patterns or security issues.
— Follow me at @nithinkrishh, Magizhchi.