Verifereum

Verifereum은 이더리움의 공식 모델로, 고차 논리(#HOL4)를 사용하여 구현되었으며, 이더리움 생태계(#EVM) 내의 스마트 계약부터 컴파일러에 이르기까지 애플리케이션과 도구를 검증하기 위해 설계되었습니다. 그 목적은 해커 공격을 방지하고 버그가 없는 코드를 제공하여 최고 수준의 보안을 보장하는 것입니다.