비교:
기본 정보
베리페레움은 고차 논리(#HOL4)로 구현된 이더리움의 공식 모델로, 스마트 계약에서 컴파일러에 이르기까지 이더리움 생태계(#EVM) 내의 애플리케이션과 도구의 검증을 가능하게 하여 해킹을 방지하고 가능한 한 가장 높은 수준의 취약성 없는 코드 보장을 제공하는 것을 목표로 합니다.
Verifereum에 대한 오늘 당신의 감정은 어떠십니까?
역사 총 투표 수: 898
상승세
하향추세
Verifereum은 어떻습니까?
의견은 사용자가 게시하고 재정적 조언을 구성하지 않습니다
