Certora란?

Certora는 스마트 계약 개발자가 코드 감사를 완료한 후 배포 전에 실수를 감지할 수 있도록 합니다. Aave, Balancer, Compound Finance, MakerDao, Sushi 등 DeFi 프로토콜은 코드 감사가 완료된 후 최종 점검으로 Certora를 사용하여 스마트 계약을 출시 전에 버그로부터 보호합니다.