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