VerX

VerX

智能合约验证。

安全

VerX 简介

以太坊智能合约的全功能验证。由 ChainSecurity AG 创建。

VerX 投资方

ChainSecurity

ChainSecurity

VerX 相关信息

Runtime Verification

Runtime Verification

提升软件系统的安全性、可靠性和正确性。
派盾科技

派盾科技

区块链安全公司。
Spatium

Spatium

去中心化的数字资产管理解决方案。
Symbolic Software

Symbolic Software

专注于对应用加密系统进行现代洞察。
Cloudbric

Cloudbric

保护你的加密资产安全。
博欧科技

博欧科技

面向未来的银行级加密货币管理解决方案。
Umar Salim

Umar Salim

Visa 网络安全软件开发工程师。
CertiK

CertiK

通过形式化验证，确保智能合约及区块链系统的安全性。
NRI SECURE

NRI SECURE

网络安全，不妥协。
Benjamin Small

Benjamin Small

ThreatKey 联合创始人。