TechFlow 소식. 8월 15일, 스마트 계약 보안 분석 프로젝트 Certora의 형식 검증 서비스가 이더리움 프로그래밍 언어 Vyper를 지원하게 되어, 스마트 계약 개발자들이 코드 배포 전에 오류를 감사하고 탐지할 수 있게 되었다.
즐겨찾기 추가
소셜 미디어 공유
TechFlow 소식. 8월 15일, 스마트 계약 보안 분석 프로젝트 Certora의 형식 검증 서비스가 이더리움 프로그래밍 언어 Vyper를 지원하게 되어, 스마트 계약 개발자들이 코드 배포 전에 오류를 감사하고 탐지할 수 있게 되었다.