ChainCatcher 메시지, Web3 보안 회사 Certora가 스마트 계약 언어 Vyper 팀과 협력하여 모든 사용자에게 Prover 도구를 개방하여 Vyper 코드의 보안을 강화하는 데 도움을 주겠다고 발표했습니다.Vyper 커뮤니티의 키 소유자로서, 사용자는 2023년 12월 31일까지 Certora Prover를 사용하여 Vyper 코드를 검증할 수 있습니다.

ChainCatcher 메시지, 이스라엘 보안 회사 Certora가 Lido V2 스마트 계약에 대한 감사 보고서를 공개했습니다. Certora는 감사 중 총 23개의 문제를 발견했으며, 이 중 2개는 주요 문제이고 5개는 심각한 문제입니다. Lido 팀은 이러한 문제에 대해 신속하고 세심하게 대응했습니다.（출처 링크）

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