8월 15일자 뉴스에 따르면 스마트 계약 보안 분석 프로젝트 Certora의 정식 검증 서비스는 이더리움 프로그래밍 언어 Vyper를 지원하여 스마트 계약 개발자가 코드 배포 후 감사 전에 오류를 감지할 수 있도록 했습니다.
8월 15일자 뉴스에 따르면 스마트 계약 보안 분석 프로젝트 Certora의 정식 검증 서비스는 이더리움 프로그래밍 언어 Vyper를 지원하여 스마트 계약 개발자가 코드 배포 후 감사 전에 오류를 감지할 수 있도록 했습니다.
모든 댓글