Certora 简介
Certora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。Certora 拥有称为 AEV 自动精确验证的独特技术，能够检查智能合约的所有执行是否满足一系列要求。AEV 技术可作为智能合约的现有编译器和调试器的补充工具。Certora 为区块链生态系统中的所有参与者提供两种独特的解决方案：智能合约正式验证 CFV，适用于采用智能合约的企业，持续监控所有新发现的漏洞或可能暴露新问题的变更合约；开发者的质量开发环境 QDE 允许在开发期间检测问题，在合约部署时最大限度地提高安全性。
Certora 投资方
Certora 相关信息
SoHo Token Labs
前 QUANTSTAMP 安全审计负责人 Jonathan Haas 参与创办的安全服务机构。
Crypto Watchtower
专注于识别诈骗、高风险代币，以防止加密货币投资者蒙受损失。
Andrey Petrov
纽约首席网络安全架构师。
Galdius
用区块链做 DDoS 网络安全防护。
Escarro
控制你的加密货币转账。
The Arcadia Group
以加密为中心的开发机构，行业开拓者。
Breaking Bitcoin
探讨比特币安全的大会。
Nicholas J. Percoco
Kraken 首席安全官。
Paladin
将 DeFi 投票转变为资产。