certo

Web3 보안 회사 Certora가 이더리움 재단의 지원을 받았다고 발표했으며, 구체적인 금액은 공개되지 않았습니다. 관련 자금은 자동으로 미리 컴파일된 정확성을 검증하는 데 사용될 예정입니다. 자동 미리 컴파일은 제로 지식 계산에서 중요한 최적화 기술로, Powdr Labs가 이더리움 재단의 zkEVM 프로젝트를 위해 개발했습니다. Certora는 개발한 규격, 증명 및 검증 프레임워크를 오픈 소스화할 계획이라고 전해졌습니다.

ChainCatcher 메시지, 중앙화된 스테이블코인 대출 프로토콜 Certo가 테스트넷 플랫폼에서 USD Coin (USDC) 예치 및 대출 지원을 추가한다고 발표했습니다.stUSD는 Certo를 이용해 이자를 발생시키는 스테이블코인입니다. USDC의 추가로, Certo 생태계의 참여자들은 이제 유연하게 USDT와 USDC를 예치하여 stUSD를 받을 수 있습니다. 이 기능 향상은 사용자가 Certo 인터페이스 내에서 자신의 투자가 시간이 지남에 따라 어떻게 이자를 발생시키는지 미리 볼 수 있도록 합니다.

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가 구축한 프로젝트의 코드 보안을 강화하고 코드베이스의 안전성을 높이며 향후 진행될 프로젝트의 상장 프로세스를 간소화하는 것을 목표로 합니다.（출처 링크）