Certora는 Vyper와 협력하여 사용자에게 Prover 도구를 개방하여 Vyper 코드의 안전성을 보장합니다
2024-09-19 02:09:29
Chia sẻ để 
ChainCatcher 메시지, Web3 보안 회사 Certora가 스마트 계약 언어 Vyper 팀과 협력하여 모든 사용자에게 Prover 도구를 개방하여 Vyper 코드의 보안을 강화하는 데 도움을 주겠다고 발표했습니다.
Vyper 커뮤니티의 키 소유자로서, 사용자는 2023년 12월 31일까지 Certora Prover를 사용하여 Vyper 코드를 검증할 수 있습니다.
Dự án liên quan
Tin tức mới nhất
Không có dữ liệu
