Certora
Certora provides security analysis tools for smart contracts using formal verification (math proofs) to ensure that algorithms are behaving as intended, automating security auditing for DeFi protocols like Lido, MakerDAO, Aave, among others.
Read More