Certora는 Vyper와 협력하여 사용자에게 Prover 도구를 개방하여 Vyper 코드의 안전성을 보장합니다
2024-09-19 02:09:29
공유하십시오 
ChainCatcher 메시지, Web3 보안 회사 Certora가 스마트 계약 언어 Vyper 팀과 협력하여 모든 사용자에게 Prover 도구를 개방하여 Vyper 코드의 보안을 강화하는 데 도움을 주겠다고 발표했습니다.
Vyper 커뮤니티의 키 소유자로서, 사용자는 2023년 12월 31일까지 Certora Prover를 사용하여 Vyper 코드를 검증할 수 있습니다.
관련 프로젝트
최신 뉴스
데이터: 만약 ETH가 3,341 달러 이하로 떨어지면, 주요 CEX의 누적 매수 청산 강도는 11.55억 달러에 이를 것입니다
CoinNess
2025-11-10 02:30:26
데이터: 만약 BTC가 98,513 달러 이하로 떨어지면, 주요 CEX의 누적 매수 청산 강도는 161억 9천만 달러에 이를 것입니다
CoinNess
2025-11-10 02:30:23
데이터: 지난 24시간 전 네트워크에서 청산된 금액은 2.35억 달러, 매수 포지션 청산 금액은 9,517.97만 달러, 매도 포지션 청산 금액은 1.4억 달러입니다
CoinNess
2025-11-10 00:30:24
데이터: ETH 현재 전체 네트워크 8시간 평균 자금 비용률은 0.0031%입니다
CoinNess
2025-11-10 00:00:21
데이터: BTC 현재 전체 네트워크 8시간 평균 자금 비용률은 0.0054%입니다
CoinNess
2025-11-10 00:00:19
