ChainCatcher 메시지, 탈중앙화 거래 프로토콜 Balancer와 스마트 계약 보안 분석 도구 Certora가 협력하여 Balancer Certora 보안 가속기를 출시했습니다. 이 가속기는 코드 검토를 제공하고 Certora 형식 검증 증명 프로그램에 대한 접근 권한을 부여하여 Balancer가 구축한 프로젝트의 코드 보안을 강화하고 코드베이스의 안전성을 높이며 향후 진행될 프로젝트의 상장 프로세스를 간소화하는 것을 목표로 합니다.（출처 링크）