We determined that the best way to maximise security would be to combine our fuzzing and internal review efforts with more traditional security audits paired with higher-level formal modelling. Therefore, we partnered with five leading independent security auditors to protect against logical errors and/or potential failure modes in the contract logic.
Damian Rusinek - Smart contract Auditor at Securing. Date:- December 13th, 2021
Lucash-dev - a recipient of the Whitehat Scholarship from Immunefi, one of the highest-paid bug bounty hunters at Hackerone.
Audit Date:- September 30th, 2021
Mudit Gupta - Mudit is CISO at Polygon, formerly was the lead blockchain security researcher at Sushiswap and the lead Ethereum developer.
ABDK Consulting - Traditional audit.
Audit Date:- April 26th, 2022
Watchpug - Top #1 at Code4rena researcher.
Audit Date:- September 6th, 2022
Riley Holterhus - Security Auditor.
Audit Date:- October 17th, 2022
Our efforts from all five security tracks have resulted in the discovery of a number of bugs, including some high- and critical-severity issues. We’ve taken steps to evaluate and mitigate these issues, and we will continue to work with auditors to verify that we have completely addressed them pre-DeFiedge launch.