Certora 简介
Certora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。Certora 拥有称为 AEV 自动精确验证的独特技术，能够检查智能合约的所有执行是否满足一系列要求。AEV 技术可作为智能合约的现有编译器和调试器的补充工具。Certora 为区块链生态系统中的所有参与者提供两种独特的解决方案：智能合约正式验证 CFV，适用于采用智能合约的企业，持续监控所有新发现的漏洞或可能暴露新问题的变更合约；开发者的质量开发环境 QDE 允许在开发期间检测问题，在合约部署时最大限度地提高安全性。
Certora 投资方
Certora 相关信息
BitClout
比特币在分散资产，BitClout 在分散社交。
Brian Brooks
Binance.US 首席执行官。
CoinTracker
加密投资组合与缴税管理工具。
Ken Chan
Ribbon Finance 开发工程师。
Spacemesh
改进区块链达成共识的方式。
Routefire
将先进的交易基础架构带入快速发展的加密货币市场。
Vauld
从前叫做 Bank of Hodlers。
Luke Youngblood
负责开发 Coinbase “Mining 2.0” 服务。
Notional
固定利率借贷协议。