Verifereum

Verifereum是一个基于高阶逻辑（#HOL4）实现的以太坊形式化模型，旨在验证以太坊生态系统（#EVM）内的应用程序和工具，涵盖从智能合约到编译器的各个层面。其目标是通过提供无缺陷且安全性有保障的代码，防止黑客攻击并确保最高级别的安全。