QooryBeta
Verifereum

Verifereum

项目

以太坊智能合约验证工具

开发者平台基础设施安全解决方案

简介

Verifereum 是以太坊的形式化模型,采用高阶逻辑 (#HOL) 实现,旨在验证以太坊生态系统 (#EVM) 中的应用和工具,从智能合约到编译器,以防止黑客攻击并提供最高程度无漏洞代码的保障。标签:Infra、开发平台、安全解决方案、生态系统():Ethereum、成立时间:

社交信号
热度0/100
成立年份
2024 · 2年
信任评分计算中…

历史

2024
2024年1月1日founded

Founded