Statemind
Statemind offers audits for smart contracts written in Solidity and Vyper for leading DeFi protocols (Lido, Yearn, Arrakis, 1inch, etc.) It was ranked among the top 10 blockchain hacking methods by OpenZeppelin and has safeguarded 350M USD in assets through 0-day vulnerabilities.
