Verifereum

Verifereum是一種以高階邏輯（＃HOL4）實現的以太坊的正式模型，旨在驗證以太坊生態系統（#EVM）中的應用和工具，從智能合約到編譯器，以防止黑客攻擊，並提供最高的保證並提供安全保證的無漏洞代碼。