Verifereum

Verifereumは、高階論理（#HOL4）を使用して実装されたEthereumの形式的モデルであり、スマートコントラクトからコンパイラまで、Ethereumエコシステム（#EVM）内のアプリケーションとツールを検証するように設計されています。その目的は、ハッカー攻撃を防ぎ、保証された安全性を持つバグのないコードを提供することで、最高レベルのセキュリティを確保することです。