金字塔，智能合约审计平台正式上线！

智能合约是现今每条公链上都需要开发的产品，而智能合约自从在ETH上出现后，安全事件持续不断，智能合约一方面极大地扩展了区块链的应用场景与现实意义，另一方面频发的安全事故严重阻碍了它的发展，在此发展背景下，智能合约安全性问题的研究就显得尤为关键。学术界普遍认为，基于形式化验证的方法是解决智能合约安全检测的重要手段。

 

目前，金字塔智能合约审计平台已支持主流区块链平台（如以太坊等）智能合约的形式化验证，并将很快上线深度检测引擎，面向对于安全要求更高的用户和机构，进行智能合约上线前的代码深度审计以及逻辑漏洞检测。致力帮助企业构建区块链智能合约的智能安全审计系统，以及提供行业领先的智能合约安全审计服务，为区块链项目方提供可靠的安全防护方案。

 

金字塔深耕互联网生态安全，多年以来一直专注新兴技术领域的研发工作，熟悉各种智能合约的代码编写规律，并能精准发现代码级别漏洞，针对目前主流的以太坊应用，金字塔能够提供专业权威的智能合约审计服务，规避因合约安全问题导致的财产损失，推动区块链技术快速安全落地，引领数字经济行业迈入安全稳定的4.0时代。

后记：

智能合约（Smart Contract）：是一种基于区块链技术࿰